संवेग मानचित्र: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, विशेष रूप से सहानुभूति ज्यामिति में, संवेग मानचित्र (या, गलत व्युत्पत्ति विज्ञान द्वारा, संवेग मानचित्र<ref>''Moment map'' is a misnomer and physically incorrect. It is an erroneous translation of the French notion ''application moment''. See [https://mathoverflow.net/q/242468 this mathoverflow question] for the history of the name.</ref>) सहानुभूति मैनिफोल्ड पर [[झूठ समूह]] के [[हैमिल्टनियन कार्रवाई]] ग्रुप एक्शन (गणित) से जुड़ा उपकरण है, जिसका उपयोग एक्शन के लिए संरक्षित मात्राओं का निर्माण करने के लिए किया जाता है। संवेग मानचित्र रैखिक और कोणीय संवेग की शास्त्रीय धारणाओं को सामान्यीकृत करता है। यह [[सिंपलेक्टिक मैनिफ़ोल्ड]] के विभिन्न निर्माणों में आवश्यक घटक है, जिसमें सिंपलेक्टिक (मार्सडेन-वेनस्टीन) भागफल, नीचे चर्चा की गई है, और [[सिंपलेक्टिक कट]]्स और सिंपलेक्टिक योग शामिल हैं।
गणित में, विशेष रूप से सहानुभूति ज्यामिति में, संवेग मानचित्र (या, गलत व्युत्पत्ति विज्ञान द्वारा, संवेग मानचित्र<ref>''Moment map'' is a misnomer and physically incorrect. It is an erroneous translation of the French notion ''application moment''. See [https://mathoverflow.net/q/242468 this mathoverflow question] for the history of the name.</ref>) सहानुभूति मैनिफोल्ड पर [[झूठ समूह]] के [[हैमिल्टनियन कार्रवाई]] ग्रुप एक्शन (गणित) से जुड़ा उपकरण है, जिसका उपयोग एक्शन के लिए संरक्षित मात्राओं का निर्माण करने के लिए किया जाता है। संवेग मानचित्र रैखिक और कोणीय संवेग की मौलिक  धारणाओं को सामान्यीकृत करता है। यह [[सिंपलेक्टिक मैनिफ़ोल्ड]] के विभिन्न निर्माणों में आवश्यक घटक है, जिसमें सिंपलेक्टिक (मार्सडेन-वेनस्टीन) भागफल, नीचे चर्चा की गई है, और [[सिंपलेक्टिक कट]]्स और सिंपलेक्टिक योग सम्मिलित हैं।


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
Line 5: Line 5:


:<math>\langle \, \cdot, \cdot\rangle : \mathfrak{g}^* \times \mathfrak{g} \to \mathbb{R}</math>
:<math>\langle \, \cdot, \cdot\rangle : \mathfrak{g}^* \times \mathfrak{g} \to \mathbb{R}</math>
दोनों के बीच जोड़ी. कोई भी ξ में <math>\mathfrak{g}</math> एम पर सदिश क्षेत्र ρ(ξ) प्रेरित करता है जो ξ की अतिसूक्ष्म क्रिया का वर्णन करता है। सटीक होने के लिए, M वेक्टर में बिंदु x पर <math>\rho(\xi)_x</math> है
दोनों के बीच जोड़ी. कोई भी ξ में <math>\mathfrak{g}</math> एम पर सदिश क्षेत्र ρ(ξ) प्रेरित करता है जो ξ की अतिसूक्ष्म क्रिया का वर्णन करता है। त्रुटिहीन होने के लिए, M वेक्टर में बिंदु x पर <math>\rho(\xi)_x</math> है


:<math>\left.\frac{d}{dt}\right|_{t = 0} \exp(t \xi) \cdot x,</math>
:<math>\left.\frac{d}{dt}\right|_{t = 0} \exp(t \xi) \cdot x,</math>
कहाँ <math>\exp : \mathfrak{g} \to G</math> [[घातीय मानचित्र (झूठ सिद्धांत)]] और है <math>\cdot</math> एम पर जी-क्रिया को दर्शाता है।<ref>The vector field ρ(ξ) is called sometimes the [[Killing vector field#Generalizations|Killing vector field]] relative to the action of the [[Exponential map (Lie theory)#Definitions|one-parameter subgroup]] generated by ξ. See, for instance, {{harv|Choquet-Bruhat|DeWitt-Morette|1977}}</ref> होने देना <math>\iota_{\rho(\xi)} \omega \,</math> इस सदिश क्षेत्र के [[आंतरिक उत्पाद]] को ω से निरूपित करें। चूँकि G लक्षणात्मकता द्वारा कार्य करता है, यह उसी का अनुसरण करता है <math>\iota_{\rho(\xi)} \omega \,</math> बंद और सटीक अंतर रूप है (सभी ξ के लिए)। <math>\mathfrak{g}</math>).
कहाँ <math>\exp : \mathfrak{g} \to G</math> [[घातीय मानचित्र (झूठ सिद्धांत)]] और है <math>\cdot</math> एम पर जी-क्रिया को दर्शाता है।<ref>The vector field ρ(ξ) is called sometimes the [[Killing vector field#Generalizations|Killing vector field]] relative to the action of the [[Exponential map (Lie theory)#Definitions|one-parameter subgroup]] generated by ξ. See, for instance, {{harv|Choquet-Bruhat|DeWitt-Morette|1977}}</ref> होने देना <math>\iota_{\rho(\xi)} \omega \,</math> इस सदिश क्षेत्र के [[आंतरिक उत्पाद]] को ω से निरूपित करें। चूँकि G लक्षणात्मकता द्वारा कार्य करता है, यह उसी का अनुसरण करता है <math>\iota_{\rho(\xi)} \omega \,</math> बंद और त्रुटिहीन अंतर रूप है (सभी ξ के लिए)। <math>\mathfrak{g}</math>).


लगता है कि <math>\iota_{\rho(\xi)} \omega \,</math> न केवल बंद है बल्कि सटीक भी है, इसलिए <math>\iota_{\rho(\xi)} \omega = d H_\xi</math> किसी समारोह के लिए <math>H_\xi : M \to \mathbb{R}</math>. यदि यह बात कायम रहती है, तो कोई इसे चुन सकता है <math>H_\xi</math> नक्शा बनाने के लिए <math>\xi \mapsto H_\xi</math> रैखिक. (''M'', ω) पर ''G''-क्रिया के लिए संवेग मानचित्र मानचित्र है <math>\mu : M \to \mathfrak{g}^*</math> ऐसा है कि
लगता है कि <math>\iota_{\rho(\xi)} \omega \,</math> न केवल बंद है किंतु त्रुटिहीन भी है, इसलिए <math>\iota_{\rho(\xi)} \omega = d H_\xi</math> किसी समारोह के लिए <math>H_\xi : M \to \mathbb{R}</math>. यदि यह बात कायम रहती है, तो कोई इसे चुन सकता है <math>H_\xi</math> नक्शा बनाने के लिए <math>\xi \mapsto H_\xi</math> रैखिक. (''M'', ω) पर ''G''-क्रिया के लिए संवेग मानचित्र मानचित्र है <math>\mu : M \to \mathfrak{g}^*</math> ऐसा है कि


:<math>d(\langle \mu, \xi \rangle) = \iota_{\rho(\xi)} \omega</math>
:<math>d(\langle \mu, \xi \rangle) = \iota_{\rho(\xi)} \omega</math>
सभी के लिए ξ में <math>\mathfrak{g}</math>. यहाँ <math>\langle \mu, \xi \rangle</math> M से 'R' तक का फलन परिभाषित है <math>\langle \mu, \xi \rangle(x) = \langle \mu(x), \xi \rangle</math>. संवेग मानचित्र को एकीकरण के योगात्मक स्थिरांक (प्रत्येक जुड़े घटक पर) तक विशिष्ट रूप से परिभाषित किया गया है।
सभी के लिए ξ में <math>\mathfrak{g}</math>. यहाँ <math>\langle \mu, \xi \rangle</math> M से 'R' तक का फलन परिभाषित है <math>\langle \mu, \xi \rangle(x) = \langle \mu(x), \xi \rangle</math>. संवेग मानचित्र को एकीकरण के योगात्मक स्थिरांक (प्रत्येक जुड़े घटक पर) तक विशिष्ट रूप से परिभाषित किया गया है।


एक <math>G</math>-एक सिंपलेक्टिक मैनिफोल्ड पर कार्रवाई <math>(M, \omega)</math> यदि यह सहानुभूतिपूर्ण है और यदि कोई संवेग मानचित्र मौजूद है तो इसे हैमिल्टनियन कहा जाता है।
एक <math>G</math>-एक सिंपलेक्टिक मैनिफोल्ड पर कार्रवाई <math>(M, \omega)</math> यदि यह सहानुभूतिपूर्ण है और यदि कोई संवेग मानचित्र उपस्तिथ है तो इसे हैमिल्टनियन कहा जाता है।


एक गति मानचित्र की भी अक्सर आवश्यकता होती है<math>G</math>-समतुल्य, जहां ''जी'' कार्य करता है <math>\mathfrak{g}^*</math> [[सहसंयुक्त क्रिया]] के माध्यम से, और कभी-कभी इस आवश्यकता को हैमिल्टनियन समूह क्रिया की परिभाषा में शामिल किया जाता है। यदि समूह सघन या अर्धसरल है, तो संवेग मानचित्र को सहसंयुक्त समतुल्य बनाने के लिए एकीकरण के स्थिरांक को हमेशा चुना जा सकता है। हालाँकि, सामान्य तौर पर मानचित्र को समतुल्य बनाने के लिए सह-संयुक्त क्रिया को संशोधित किया जाना चाहिए (उदाहरण के लिए [[यूक्लिडियन समूह]] के लिए यह मामला है)। यह संशोधन 1-समूह सह-समरूपता द्वारा समूह पर मूल्यों के साथ किया गया है <math>\mathfrak{g}^*</math>, जैसा कि सबसे पहले सौरियाउ (1970) द्वारा वर्णित है।
एक गति मानचित्र की भी अधिकांशतः आवश्यकता होती है<math>G</math>-समतुल्य, जहां ''जी'' कार्य करता है <math>\mathfrak{g}^*</math> [[सहसंयुक्त क्रिया]] के माध्यम से, और कभी-कभी इस आवश्यकता को हैमिल्टनियन समूह क्रिया की परिभाषा में सम्मिलित किया जाता है। यदि समूह सघन या अर्धसरल है, तो संवेग मानचित्र को सहसंयुक्त समतुल्य बनाने के लिए एकीकरण के स्थिरांक को हमेशा चुना जा सकता है। चूँकि, सामान्यतः मानचित्र को समतुल्य बनाने के लिए सह-संयुक्त क्रिया को संशोधित किया जाना चाहिए (उदाहरण के लिए [[यूक्लिडियन समूह]] के लिए यह मामला है)। यह संशोधन 1-समूह सह-समरूपता द्वारा समूह पर मूल्यों के साथ किया गया है <math>\mathfrak{g}^*</math>, जैसा कि सबसे पहले सौरियाउ (1970) द्वारा वर्णित है।


== संवेग मानचित्रों के उदाहरण==
== संवेग मानचित्रों के उदाहरण==
सर्कल की हैमिल्टनियन कार्रवाई के मामले में <math>G = U(1)</math>, झूठ बीजगणित द्वैत <math>\mathfrak{g}^*</math> स्वाभाविक रूप से पहचाना जाता है <math>\mathbb{R}</math>, और संवेग मानचित्र केवल हैमिल्टनियन फ़ंक्शन है जो वृत्त क्रिया उत्पन्न करता है।
सर्कल की हैमिल्टनियन कार्रवाई के स्थितियोंमें <math>G = U(1)</math>, झूठ बीजगणित द्वैत <math>\mathfrak{g}^*</math> स्वाभाविक रूप से पहचाना जाता है <math>\mathbb{R}</math>, और संवेग मानचित्र केवल हैमिल्टनियन फ़ंक्शन है जो वृत्त क्रिया उत्पन्न करता है।


एक और शास्त्रीय मामला तब घटित होता है जब <math>M</math> का [[कोटैंजेंट बंडल]] है <math>\mathbb{R}^3</math> और <math>G</math> घूर्णन और अनुवाद द्वारा उत्पन्न यूक्लिडियन समूह है। वह है, <math>G</math> छह-आयामी समूह है, जिसका [[अर्धप्रत्यक्ष उत्पाद]] है <math>SO(3)</math> और <math>\mathbb{R}^3</math>. संवेग मानचित्र के छह घटक तीन कोणीय संवेग और तीन रैखिक संवेग हैं।
एक और मौलिक  मामला तब घटित होता है जब <math>M</math> का [[कोटैंजेंट बंडल]] है <math>\mathbb{R}^3</math> और <math>G</math> घूर्णन और अनुवाद द्वारा उत्पन्न यूक्लिडियन समूह है। वह है, <math>G</math> छह-आयामी समूह है, जिसका [[अर्धप्रत्यक्ष उत्पाद]] है <math>SO(3)</math> और <math>\mathbb{R}^3</math>. संवेग मानचित्र के छह घटक तीन कोणीय संवेग और तीन रैखिक संवेग हैं।


होने देना <math>N</math> चिकनी कई गुना हो और चलो <math>T^*N</math> प्रक्षेपण मानचित्र के साथ इसका कोटैंजेंट बंडल बनें <math>\pi : T^*N \rightarrow N</math>. होने देना <math>\tau</math> [[टॉटोलॉजिकल एक-रूप]]|टॉटोलॉजिकल 1-फॉर्म को निरूपित करें <math>T^*N</math>. कल्पना करना <math>G</math> पर कार्य करता है <math>N</math>. की प्रेरित कार्रवाई <math>G</math> सिंपलेक्टिक मैनिफोल्ड पर <math>(T^*N, \mathrm{d}\tau)</math>, द्वारा दिए गए <math>g \cdot \eta := (T_{\pi(\eta)}g^{-1})^* \eta</math> के लिए <math>g \in G, \eta \in T^*N</math> गति मानचित्र के साथ हैमिल्टनियन है <math>-\iota_{\rho(\xi)} \tau</math> सभी के लिए <math>\xi \in \mathfrak{g}</math>. यहाँ <math>\iota_{\rho(\xi)}\tau</math> वेक्टर क्षेत्र के आंतरिक उत्पाद को दर्शाता है <math>\rho(\xi)</math>, की अतिसूक्ष्म क्रिया <math>\xi</math>, [[1-रूप]] के साथ <math>\tau</math>.
होने देना <math>N</math> चिकनी कई गुना हो और चलो <math>T^*N</math> प्रक्षेपण मानचित्र के साथ इसका कोटैंजेंट बंडल बनें <math>\pi : T^*N \rightarrow N</math>. होने देना <math>\tau</math> [[टॉटोलॉजिकल एक-रूप]]|टॉटोलॉजिकल 1-फॉर्म को निरूपित करें <math>T^*N</math>. कल्पना करना <math>G</math> पर कार्य करता है <math>N</math>. की प्रेरित कार्रवाई <math>G</math> सिंपलेक्टिक मैनिफोल्ड पर <math>(T^*N, \mathrm{d}\tau)</math>, द्वारा दिए गए <math>g \cdot \eta := (T_{\pi(\eta)}g^{-1})^* \eta</math> के लिए <math>g \in G, \eta \in T^*N</math> गति मानचित्र के साथ हैमिल्टनियन है <math>-\iota_{\rho(\xi)} \tau</math> सभी के लिए <math>\xi \in \mathfrak{g}</math>. यहाँ <math>\iota_{\rho(\xi)}\tau</math> वेक्टर क्षेत्र के आंतरिक उत्पाद को दर्शाता है <math>\rho(\xi)</math>, की अतिसूक्ष्म क्रिया <math>\xi</math>, [[1-रूप]] के साथ <math>\tau</math>.
Line 31: Line 31:
होने देना <math>G, H</math> लाई बीजगणित के साथ लाई समूह बनें <math>\mathfrak{g}, \mathfrak{h}</math>, क्रमश।
होने देना <math>G, H</math> लाई बीजगणित के साथ लाई समूह बनें <math>\mathfrak{g}, \mathfrak{h}</math>, क्रमश।


# होने देना <math>\mathcal{O}(F), F \in \mathfrak{g}^*</math> [[सहसंयुक्त कक्षा]] बनें। फिर वहाँ पर अद्वितीय सहानुभूतिपूर्ण संरचना मौजूद है <math>\mathcal{O}(F)</math> ऐसा समावेशन मानचित्र <math>\mathcal{O}(F) \hookrightarrow \mathfrak{g}^*</math> गति मानचित्र है.
# होने देना <math>\mathcal{O}(F), F \in \mathfrak{g}^*</math> [[सहसंयुक्त कक्षा]] बनें। फिर वहाँ पर अद्वितीय सहानुभूतिपूर्ण संरचना उपस्तिथ है <math>\mathcal{O}(F)</math> ऐसा समावेशन मानचित्र <math>\mathcal{O}(F) \hookrightarrow \mathfrak{g}^*</math> गति मानचित्र है.
# होने देना <math>G</math> सिंपलेक्टिक मैनिफोल्ड पर कार्य करें <math>(M, \omega)</math> साथ <math>\Phi_G : M \rightarrow \mathfrak{g}^*</math> कार्रवाई के लिए गति मानचित्र, और <math>\psi : H \rightarrow G</math> झूठ समूह समरूपता हो, जो क्रिया को प्रेरित करती हो <math>H</math> पर <math>M</math>. फिर की कार्रवाई <math>H</math> पर <math>M</math> हैमिल्टनियन भी है, गति मानचित्र द्वारा दिया गया है <math>(\mathrm{d}\psi)_{e}^* \circ \Phi_G</math>, कहाँ <math>(\mathrm{d}\psi)_{e}^* : \mathfrak{g}^* \rightarrow \mathfrak{h}^*</math> का दोहरा मानचित्र है <math>(\mathrm{d}\psi)_{e} : \mathfrak{h} \rightarrow \mathfrak{g}</math> (<math>e</math> के पहचान तत्व को दर्शाता है <math>H</math>). विशेष रुचि का मामला है जब <math>H</math> का झूठ उपसमूह है <math>G</math> और <math>\psi</math> समावेशन मानचित्र है.
# होने देना <math>G</math> सिंपलेक्टिक मैनिफोल्ड पर कार्य करें <math>(M, \omega)</math> साथ <math>\Phi_G : M \rightarrow \mathfrak{g}^*</math> कार्रवाई के लिए गति मानचित्र, और <math>\psi : H \rightarrow G</math> झूठ समूह समरूपता हो, जो क्रिया को प्रेरित करती हो <math>H</math> पर <math>M</math>. फिर की कार्रवाई <math>H</math> पर <math>M</math> हैमिल्टनियन भी है, गति मानचित्र द्वारा दिया गया है <math>(\mathrm{d}\psi)_{e}^* \circ \Phi_G</math>, कहाँ <math>(\mathrm{d}\psi)_{e}^* : \mathfrak{g}^* \rightarrow \mathfrak{h}^*</math> का दोहरा मानचित्र है <math>(\mathrm{d}\psi)_{e} : \mathfrak{h} \rightarrow \mathfrak{g}</math> (<math>e</math> के पहचान तत्व को दर्शाता है <math>H</math>). विशेष रुचि का मामला है जब <math>H</math> का झूठ उपसमूह है <math>G</math> और <math>\psi</math> समावेशन मानचित्र है.
# होने देना <math>(M_1, \omega_1)</math> हैमिल्टनियन बनें <math>G</math>-कई गुना और <math>(M_2, \omega_2)</math> हैमिल्टनियन <math>H</math>-कई गुना. फिर की स्वाभाविक क्रिया <math>G \times H</math> पर <math>(M_1 \times M_2, \omega_1 \times \omega_2)</math> हैमिल्टनियन है, गति मानचित्र के साथ दो गति मानचित्रों का सीधा योग है <math>\Phi_G</math> और <math>\Phi_H</math>. यहाँ <math>\omega_1 \times \omega_2 := \pi_1^*\omega_1 + \pi_2^*\omega_2</math>, कहाँ <math>\pi_i : M_1 \times M_2 \rightarrow M_i</math> प्रक्षेपण मानचित्र को दर्शाता है।
# होने देना <math>(M_1, \omega_1)</math> हैमिल्टनियन बनें <math>G</math>-कई गुना और <math>(M_2, \omega_2)</math> हैमिल्टनियन <math>H</math>-कई गुना. फिर की स्वाभाविक क्रिया <math>G \times H</math> पर <math>(M_1 \times M_2, \omega_1 \times \omega_2)</math> हैमिल्टनियन है, गति मानचित्र के साथ दो गति मानचित्रों का सीधा योग है <math>\Phi_G</math> और <math>\Phi_H</math>. यहाँ <math>\omega_1 \times \omega_2 := \pi_1^*\omega_1 + \pi_2^*\omega_2</math>, कहाँ <math>\pi_i : M_1 \times M_2 \rightarrow M_i</math> प्रक्षेपण मानचित्र को दर्शाता है।
Line 41: Line 41:
अब मान लें कि G स्वतंत्र रूप से और ठीक से कार्य करता है <math>\mu^{-1}(0)</math>. इसका तात्पर्य यह है कि 0 नियमित मान है <math>\mu</math>, इसलिए <math>\mu^{-1}(0)</math> और इसका [[भागफल स्थान (टोपोलॉजी)]] <math>\mu^{-1}(0) / G</math> दोनों चिकने मैनिफोल्ड हैं। भागफल को M से सहानुभूतिपूर्ण रूप प्राप्त होता है; अर्थात्, भागफल पर अद्वितीय सहानुभूतिपूर्ण रूप होता है जिसका [[पुलबैक (विभेदक ज्यामिति)]] होता है <math>\mu^{-1}(0)</math> ω के प्रतिबंध के बराबर है <math>\mu^{-1}(0)</math>. इस प्रकार, भागफल सिम्प्लेक्टिक मैनिफोल्ड है, जिसे मार्सडेन-वेनस्टीन भागफल कहा जाता है। {{harv|मार्सडेन|वीन्स्टीन|1974}}, सिंपलेक्टिक भागफल, या ''एम'' का ''जी'' द्वारा सिंपलेक्टिक कमी और निरूपित किया जाता है <math>M/\!\!/G</math>. इसका आयाम M के आयाम को घटाकर G के आयाम के दोगुने के बराबर है।
अब मान लें कि G स्वतंत्र रूप से और ठीक से कार्य करता है <math>\mu^{-1}(0)</math>. इसका तात्पर्य यह है कि 0 नियमित मान है <math>\mu</math>, इसलिए <math>\mu^{-1}(0)</math> और इसका [[भागफल स्थान (टोपोलॉजी)]] <math>\mu^{-1}(0) / G</math> दोनों चिकने मैनिफोल्ड हैं। भागफल को M से सहानुभूतिपूर्ण रूप प्राप्त होता है; अर्थात्, भागफल पर अद्वितीय सहानुभूतिपूर्ण रूप होता है जिसका [[पुलबैक (विभेदक ज्यामिति)]] होता है <math>\mu^{-1}(0)</math> ω के प्रतिबंध के बराबर है <math>\mu^{-1}(0)</math>. इस प्रकार, भागफल सिम्प्लेक्टिक मैनिफोल्ड है, जिसे मार्सडेन-वेनस्टीन भागफल कहा जाता है। {{harv|मार्सडेन|वीन्स्टीन|1974}}, सिंपलेक्टिक भागफल, या ''एम'' का ''जी'' द्वारा सिंपलेक्टिक कमी और निरूपित किया जाता है <math>M/\!\!/G</math>. इसका आयाम M के आयाम को घटाकर G के आयाम के दोगुने के बराबर है।


अधिक आम तौर पर, यदि जी स्वतंत्र रूप से कार्य नहीं करता है (लेकिन फिर भी ठीक से), तो {{harv|सजामार|लर्मन|1991}} पता चला है कि <math>M/\!\!/G = \mu^{-1}(0)/G</math> स्तरीकृत सहानुभूति स्थान है, यानी स्तरों पर संगत सहानुभूति संरचनाओं के साथ स्तरीकृत स्थान।
अधिक सामान्यतः, यदि जी स्वतंत्र रूप से कार्य नहीं करता है (किन्तु फिर भी ठीक से), तो {{harv|सजामार|लर्मन|1991}} पता चला है कि <math>M/\!\!/G = \mu^{-1}(0)/G</math> स्तरीकृत सहानुभूति स्थान है, अर्थात स्तरों पर संगत सहानुभूति संरचनाओं के साथ स्तरीकृत स्थान।


==सतह पर समतल कनेक्शन==
==सतह पर समतल कनेक्शन==

Revision as of 23:52, 21 July 2023

गणित में, विशेष रूप से सहानुभूति ज्यामिति में, संवेग मानचित्र (या, गलत व्युत्पत्ति विज्ञान द्वारा, संवेग मानचित्र[1]) सहानुभूति मैनिफोल्ड पर झूठ समूह के हैमिल्टनियन कार्रवाई ग्रुप एक्शन (गणित) से जुड़ा उपकरण है, जिसका उपयोग एक्शन के लिए संरक्षित मात्राओं का निर्माण करने के लिए किया जाता है। संवेग मानचित्र रैखिक और कोणीय संवेग की मौलिक धारणाओं को सामान्यीकृत करता है। यह सिंपलेक्टिक मैनिफ़ोल्ड के विभिन्न निर्माणों में आवश्यक घटक है, जिसमें सिंपलेक्टिक (मार्सडेन-वेनस्टीन) भागफल, नीचे चर्चा की गई है, और सिंपलेक्टिक कट्स और सिंपलेक्टिक योग सम्मिलित हैं।

औपचारिक परिभाषा

मान लीजिए कि M सहानुभूतिपूर्ण रूप ω वाला मैनिफोल्ड है। मान लीजिए कि झूठ समूह जी, एम पर लक्षणरूपता के माध्यम से कार्य करता है (अर्थात, जी में प्रत्येक जी की क्रिया ω को संरक्षित करती है)। होने देना G का झूठ बीजगणित हो, इसका दोहरा स्थान, और

दोनों के बीच जोड़ी. कोई भी ξ में एम पर सदिश क्षेत्र ρ(ξ) प्रेरित करता है जो ξ की अतिसूक्ष्म क्रिया का वर्णन करता है। त्रुटिहीन होने के लिए, M वेक्टर में बिंदु x पर है

कहाँ घातीय मानचित्र (झूठ सिद्धांत) और है एम पर जी-क्रिया को दर्शाता है।[2] होने देना इस सदिश क्षेत्र के आंतरिक उत्पाद को ω से निरूपित करें। चूँकि G लक्षणात्मकता द्वारा कार्य करता है, यह उसी का अनुसरण करता है बंद और त्रुटिहीन अंतर रूप है (सभी ξ के लिए)। ).

लगता है कि न केवल बंद है किंतु त्रुटिहीन भी है, इसलिए किसी समारोह के लिए . यदि यह बात कायम रहती है, तो कोई इसे चुन सकता है नक्शा बनाने के लिए रैखिक. (M, ω) पर G-क्रिया के लिए संवेग मानचित्र मानचित्र है ऐसा है कि

सभी के लिए ξ में . यहाँ M से 'R' तक का फलन परिभाषित है . संवेग मानचित्र को एकीकरण के योगात्मक स्थिरांक (प्रत्येक जुड़े घटक पर) तक विशिष्ट रूप से परिभाषित किया गया है।

एक -एक सिंपलेक्टिक मैनिफोल्ड पर कार्रवाई यदि यह सहानुभूतिपूर्ण है और यदि कोई संवेग मानचित्र उपस्तिथ है तो इसे हैमिल्टनियन कहा जाता है।

एक गति मानचित्र की भी अधिकांशतः आवश्यकता होती है-समतुल्य, जहां जी कार्य करता है सहसंयुक्त क्रिया के माध्यम से, और कभी-कभी इस आवश्यकता को हैमिल्टनियन समूह क्रिया की परिभाषा में सम्मिलित किया जाता है। यदि समूह सघन या अर्धसरल है, तो संवेग मानचित्र को सहसंयुक्त समतुल्य बनाने के लिए एकीकरण के स्थिरांक को हमेशा चुना जा सकता है। चूँकि, सामान्यतः मानचित्र को समतुल्य बनाने के लिए सह-संयुक्त क्रिया को संशोधित किया जाना चाहिए (उदाहरण के लिए यूक्लिडियन समूह के लिए यह मामला है)। यह संशोधन 1-समूह सह-समरूपता द्वारा समूह पर मूल्यों के साथ किया गया है , जैसा कि सबसे पहले सौरियाउ (1970) द्वारा वर्णित है।

संवेग मानचित्रों के उदाहरण

सर्कल की हैमिल्टनियन कार्रवाई के स्थितियोंमें , झूठ बीजगणित द्वैत स्वाभाविक रूप से पहचाना जाता है , और संवेग मानचित्र केवल हैमिल्टनियन फ़ंक्शन है जो वृत्त क्रिया उत्पन्न करता है।

एक और मौलिक मामला तब घटित होता है जब का कोटैंजेंट बंडल है और घूर्णन और अनुवाद द्वारा उत्पन्न यूक्लिडियन समूह है। वह है, छह-आयामी समूह है, जिसका अर्धप्रत्यक्ष उत्पाद है और . संवेग मानचित्र के छह घटक तीन कोणीय संवेग और तीन रैखिक संवेग हैं।

होने देना चिकनी कई गुना हो और चलो प्रक्षेपण मानचित्र के साथ इसका कोटैंजेंट बंडल बनें . होने देना टॉटोलॉजिकल एक-रूप|टॉटोलॉजिकल 1-फॉर्म को निरूपित करें . कल्पना करना पर कार्य करता है . की प्रेरित कार्रवाई सिंपलेक्टिक मैनिफोल्ड पर , द्वारा दिए गए के लिए गति मानचित्र के साथ हैमिल्टनियन है सभी के लिए . यहाँ वेक्टर क्षेत्र के आंतरिक उत्पाद को दर्शाता है , की अतिसूक्ष्म क्रिया , 1-रूप के साथ .

नीचे उल्लिखित तथ्यों का उपयोग गति मानचित्रों के अधिक उदाहरण उत्पन्न करने के लिए किया जा सकता है।

गति मानचित्रों के बारे में कुछ तथ्य

होने देना लाई बीजगणित के साथ लाई समूह बनें , क्रमश।

  1. होने देना सहसंयुक्त कक्षा बनें। फिर वहाँ पर अद्वितीय सहानुभूतिपूर्ण संरचना उपस्तिथ है ऐसा समावेशन मानचित्र गति मानचित्र है.
  2. होने देना सिंपलेक्टिक मैनिफोल्ड पर कार्य करें साथ कार्रवाई के लिए गति मानचित्र, और झूठ समूह समरूपता हो, जो क्रिया को प्रेरित करती हो पर . फिर की कार्रवाई पर हैमिल्टनियन भी है, गति मानचित्र द्वारा दिया गया है , कहाँ का दोहरा मानचित्र है ( के पहचान तत्व को दर्शाता है ). विशेष रुचि का मामला है जब का झूठ उपसमूह है और समावेशन मानचित्र है.
  3. होने देना हैमिल्टनियन बनें -कई गुना और हैमिल्टनियन -कई गुना. फिर की स्वाभाविक क्रिया पर हैमिल्टनियन है, गति मानचित्र के साथ दो गति मानचित्रों का सीधा योग है और . यहाँ , कहाँ प्रक्षेपण मानचित्र को दर्शाता है।
  4. होने देना हैमिल्टनियन बनें -कई गुना, और का उपमान के अंतर्गत अपरिवर्तनीय इस प्रकार कि सिम्प्लेक्सिक फॉर्म का प्रतिबंध पर को गैर पतित है. यह सिम्पलेक्सिक संरचना प्रदान करता है प्राकृतिक तरीके से. फिर की कार्रवाई पर हैमिल्टनियन भी है, गति मानचित्र के साथ समावेशन मानचित्र की संरचना का गति मानचित्र.

सांकेतिक भागफल

मान लीजिए कि सिंपलेक्टिक मैनिफोल्ड (एम, ω) पर ली समूह जी की कार्रवाई हैमिल्टनियन है, जैसा कि ऊपर परिभाषित किया गया है, समतुल्य गति मानचित्र के साथ . हैमिल्टनियन स्थिति से, यह इस प्रकार है G के अंतर्गत अपरिवर्तनीय है।

अब मान लें कि G स्वतंत्र रूप से और ठीक से कार्य करता है . इसका तात्पर्य यह है कि 0 नियमित मान है , इसलिए और इसका भागफल स्थान (टोपोलॉजी) दोनों चिकने मैनिफोल्ड हैं। भागफल को M से सहानुभूतिपूर्ण रूप प्राप्त होता है; अर्थात्, भागफल पर अद्वितीय सहानुभूतिपूर्ण रूप होता है जिसका पुलबैक (विभेदक ज्यामिति) होता है ω के प्रतिबंध के बराबर है . इस प्रकार, भागफल सिम्प्लेक्टिक मैनिफोल्ड है, जिसे मार्सडेन-वेनस्टीन भागफल कहा जाता है। (मार्सडेन & वीन्स्टीन 1974), सिंपलेक्टिक भागफल, या एम का जी द्वारा सिंपलेक्टिक कमी और निरूपित किया जाता है . इसका आयाम M के आयाम को घटाकर G के आयाम के दोगुने के बराबर है।

अधिक सामान्यतः, यदि जी स्वतंत्र रूप से कार्य नहीं करता है (किन्तु फिर भी ठीक से), तो (सजामार & लर्मन 1991) पता चला है कि स्तरीकृत सहानुभूति स्थान है, अर्थात स्तरों पर संगत सहानुभूति संरचनाओं के साथ स्तरीकृत स्थान।

सतह पर समतल कनेक्शन

अंतरिक्ष तुच्छ बंडल पर कनेक्शन की सतह पर अनंत आयामी सहानुभूतिपूर्ण रूप होता है

गेज समूह संयुग्मन द्वारा कनेक्शन पर कार्य करता है . पहचान करना एकीकरण युग्मन के माध्यम से. फिर नक्शा

जो अपनी वक्रता के लिए कनेक्शन भेजता है वह कनेक्शन पर गेज समूह की कार्रवाई के लिए क्षण मानचित्र है। विशेष रूप से फ्लैट कनेक्शन मॉड्यूलो गेज तुल्यता का मॉड्यूल स्पेस सिम्प्लिक्टिक रिडक्शन द्वारा दिया गया है।

यह भी देखें

टिप्पणियाँ

  1. Moment map is a misnomer and physically incorrect. It is an erroneous translation of the French notion application moment. See this mathoverflow question for the history of the name.
  2. The vector field ρ(ξ) is called sometimes the Killing vector field relative to the action of the one-parameter subgroup generated by ξ. See, for instance, (Choquet-Bruhat & DeWitt-Morette 1977)

संदर्भ