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

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
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>) सिंपलेक्टिक मैनिफोल्ड पर [[झूठ समूह|लाई समूह]] के [[हैमिल्टनियन कार्रवाई]] से जुड़ा उपकरण है, जिसका उपयोग एक्शन के लिए संरक्षित मात्राओं का निर्माण करने के लिए किया जाता है। संवेग मानचित्र रैखिक और कोणीय संवेग की मौलिक धारणाओं को सामान्यीकृत करता है। यह [[सिंपलेक्टिक मैनिफ़ोल्ड]] के विभिन्न निर्माणों में आवश्यक घटक है, जिसमें '''सिंपलेक्टिक (मार्सडेन-वेनस्टीन) भागफल,''' नीचे चर्चा की गई है, और [[सिंपलेक्टिक कट]]और सिंपलेक्टिक योग सम्मिलित हैं।


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
मान लीजिए कि M सहानुभूतिपूर्ण रूप ω वाला मैनिफोल्ड है। मान लीजिए कि झूठ समूह जी, एम पर [[लक्षणरूपता]] के माध्यम से कार्य करता है (अर्थात, जी में प्रत्येक जी की क्रिया ω को संरक्षित करती है)। होने देना <math>\mathfrak{g}</math> G का [[झूठ बीजगणित]] हो, <math>\mathfrak{g}^*</math> इसका दोहरा स्थान, और
मान लीजिए कि M सहानुभूतिपूर्ण रूप ω वाला मैनिफोल्ड है। इस प्रकार मान लीजिए कि लाई समूह G, M पर [[लक्षणरूपता|सिम्प्लेक्टोमोर्फिज्म]] के माध्यम से कार्य करता है (अर्थात, G में प्रत्येक G की क्रिया ω को संरक्षित करती है)। होने देना <math>\mathfrak{g}</math> G का [[झूठ बीजगणित|लाई बीजगणित]] हो, <math>\mathfrak{g}^*</math> इसका दोहरा स्थान, और


:<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 पर सदिश क्षेत्र ρ(ξ) प्रेरित करता है जो ξ की अतिसूक्ष्म क्रिया का वर्णन करता है। त्रुटिहीन होने के लिए, 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> M पर G -क्रिया को दर्शाता है।<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>-'''समतुल्य''', जहां ''G'' कार्य करता है <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> [[टॉटोलॉजिकल एक-रूप]] को निरूपित करें <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>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> प्रक्षेपण मानचित्र को दर्शाता है।
# होने देना <math>M</math> हैमिल्टनियन बनें <math>G</math>-कई गुना, और <math>N</math> का उपमान <math>M</math> के अंतर्गत अपरिवर्तनीय <math>G</math> इस प्रकार कि सिम्प्लेक्सिक फॉर्म का प्रतिबंध पर <math>M</math> को <math>N</math> गैर पतित है. यह सिम्पलेक्सिक संरचना प्रदान करता है <math>N</math> प्राकृतिक तरीके से. फिर की कार्रवाई <math>G</math> पर <math>N</math> हैमिल्टनियन भी है, गति मानचित्र के साथ समावेशन मानचित्र की संरचना <math>M</math>का गति मानचित्र.
# होने देना <math>M</math> हैमिल्टनियन बनें <math>G</math>-अनेक गुना, और <math>N</math> का उपमान <math>M</math> के अंतर्गत अपरिवर्तनीय <math>G</math> इस प्रकार कि सिम्प्लेक्सिक फॉर्म का प्रतिबंध पर <math>M</math> को <math>N</math> गैर पतित है. यह सिम्पलेक्सिक संरचना प्रदान करता है <math>N</math> प्राकृतिक तरीके से. फिर की कार्रवाई <math>G</math> पर <math>N</math> हैमिल्टनियन भी है, गति मानचित्र के साथ समावेशन मानचित्र की संरचना <math>M</math> का गति मानचित्र हैं।


== सांकेतिक भागफल ==
== '''सांकेतिक भागफल''' ==
मान लीजिए कि सिंपलेक्टिक मैनिफोल्ड (एम, ω) पर ली समूह जी की कार्रवाई हैमिल्टनियन है, जैसा कि ऊपर परिभाषित किया गया है, समतुल्य गति मानचित्र के साथ <math>\mu : M\to \mathfrak{g}^*</math>. हैमिल्टनियन स्थिति से, यह इस प्रकार है <math>\mu^{-1}(0)</math> G के अंतर्गत अपरिवर्तनीय है।
मान लीजिए कि सिंपलेक्टिक मैनिफोल्ड (एम, ω) पर ली समूह G की कार्रवाई हैमिल्टनियन है, जैसा कि ऊपर परिभाषित किया गया है, समतुल्य गति मानचित्र के साथ <math>\mu : M\to \mathfrak{g}^*</math>. हैमिल्टनियन स्थिति से, यह इस प्रकार है <math>\mu^{-1}(0)</math> 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 के आयाम के दोगुने के बराबर है।
अभी मान लें कि 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}}, '''सिंपलेक्टिक भागफल''', या M का ''G'' द्वारा '''सिंपलेक्टिक कमी''' और निरूपित किया जाता है <math>M/\!\!/G</math>. इसका आयाम M के आयाम को घटाकर G के आयाम के दोगुने के सामान्तर है।


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


==सतह पर समतल कनेक्शन==
=='''सतह पर समतल कनेक्शन'''==
अंतरिक्ष <math>\Omega^1(\Sigma, \mathfrak{g})</math> तुच्छ बंडल पर कनेक्शन की <math> \Sigma \times G </math> सतह पर अनंत आयामी सहानुभूतिपूर्ण रूप होता है
अंतरिक्ष <math>\Omega^1(\Sigma, \mathfrak{g})</math> तुच्छ बंडल पर कनेक्शनों का <math> \Sigma \times G </math> सतह पर अनंत आयामी सहानुभूतिपूर्ण रूप धारण करता है


:<math>\langle\alpha, \beta \rangle := \int_{\Sigma} \text{tr}(\alpha \wedge \beta).</math>
:<math>\langle\alpha, \beta \rangle := \int_{\Sigma} \text{tr}(\alpha \wedge \beta).</math>
गेज समूह <math> \mathcal{G} = \text{Map}(\Sigma, G) </math> संयुग्मन द्वारा कनेक्शन पर कार्य करता है <math> g \cdot A := g^{-1}(dg) + g^{-1} A g </math>. पहचान करना <math> \text{Lie}(\mathcal{G}) = \Omega^0(\Sigma, \mathfrak{g}) = \Omega^2(\Sigma, \mathfrak{g})^*</math> एकीकरण युग्मन के माध्यम से. फिर नक्शा
गेज समूह <math> \mathcal{G} = \text{Map}(\Sigma, G) </math> संयुग्मन द्वारा कनेक्शन पर कार्य करता है <math> g \cdot A := g^{-1}(dg) + g^{-1} A g </math>. पहचान करना <math> \text{Lie}(\mathcal{G}) = \Omega^0(\Sigma, \mathfrak{g}) = \Omega^2(\Sigma, \mathfrak{g})^*</math> एकीकरण युग्मन के माध्यम से. फिर मानचित्र


:<math>\mu: \Omega^1(\Sigma, \mathfrak{g}) \rightarrow \Omega^2(\Sigma, \mathfrak{g}), \qquad A \; \mapsto \; F := dA + \frac{1}{2}[A \wedge A]</math>
:<math>\mu: \Omega^1(\Sigma, \mathfrak{g}) \rightarrow \Omega^2(\Sigma, \mathfrak{g}), \qquad A \; \mapsto \; F := dA + \frac{1}{2}[A \wedge A]</math>
Line 84: Line 84:
*{{citation|last=ऑडिन|first= मिशेल|authorlink= मिशेल ऑडिन|title=सिंपलेक्टिक मैनिफ़ोल्ड्स पर टोरस क्रियाएँ|edition=दूसरा संशोधित|series= गणित में प्रगति|volume=93|publisher= बिरखौसर|year=2004|isbn=3-7643-2176-8}}
*{{citation|last=ऑडिन|first= मिशेल|authorlink= मिशेल ऑडिन|title=सिंपलेक्टिक मैनिफ़ोल्ड्स पर टोरस क्रियाएँ|edition=दूसरा संशोधित|series= गणित में प्रगति|volume=93|publisher= बिरखौसर|year=2004|isbn=3-7643-2176-8}}
*{{citation|last1=Guillemin|first1=Victor|last2=स्टर्नबर्ग|first2=Shlomo|authorlink1=विक्टर गुइलेमिन| authorlink2=श्लोमो स्टर्नबर्ग|title=भौतिकी में सिम्पलेक्टिक तकनीकें|edition=दूसरा |publisher=कैम्ब्रिज यूनिवर्सिटी प्रेस|year=  1990|isbn= 0-521-38990-9}}
*{{citation|last1=Guillemin|first1=Victor|last2=स्टर्नबर्ग|first2=Shlomo|authorlink1=विक्टर गुइलेमिन| authorlink2=श्लोमो स्टर्नबर्ग|title=भौतिकी में सिम्पलेक्टिक तकनीकें|edition=दूसरा |publisher=कैम्ब्रिज यूनिवर्सिटी प्रेस|year=  1990|isbn= 0-521-38990-9}}
*{{citation|first=Chris|last=Woodward|series=Les cours du CIRM|year=2010|volume=1|pages=55–98|publisher=EUDML|title=Moment maps and geometric invariant theory|arxiv=0912.1132|bibcode=2009arXiv0912.1132W}}
*{{citation|first=Chris|last=वुडवर्ड|series=लेस कोर्स डू सीआईआरएम|year=2010|volume=1|pages=55–98|publisher=ईयूडीएमएल|title=क्षण मानचित्र और ज्यामितीय अपरिवर्तनीय सिद्धांत|arxiv=0912.1132|bibcode=2009arXiv0912.1132W}}
*{{citation|last=Bruguières|first=Alain|title=Propriétés de convexité de l'application moment|series=Séminaire Bourbaki|year=1987|journal=Astérisque |volume= 145–146|pages= 63–87|url=http://www.numdam.org/article/SB_1985-1986__28__63_0.pdf}}
*{{citation|last=ब्रुगुएरेस|first=एलेन|title=अनुप्रयोग क्षण के उत्तलता का औचित्य|series=सेमिनायर बॉर्बकी|year=1987|journal=तारांकन |volume= 145–146|pages= 63–87|url=http://www.numdam.org/article/SB_1985-1986__28__63_0.pdf}}
*{{Citation |last1      = Marsden
*{{Citation |last1      = मार्सडेन
  |first1      = Jerrold
  |first1      = जेरोल्ड
  |authorlink1 = Jerrold E. Marsden
  |authorlink1 = जेरोल्ड ई. मार्सडेन
  |first2    = Alan
  |first2    = एलन
  |last2      = Weinstein
  |last2      = वीन्स्टीन
  |authorlink2= Alan Weinstein
  |authorlink2= एलन वेन्स्टीन
  |title      = Reduction of symplectic manifolds with symmetry
  |title      = समरूपता के साथ सिंपलेक्टिक मैनिफोल्ड्स की कमी
  |journal    = Reports on Mathematical Physics
  |journal    = गणितीय भौतिकी पर रिपोर्ट
  |volume    = 5
  |volume    = 5
  |year      = 1974
  |year      = 1974
Line 102: Line 102:
  |url        = https://doi.org/10.1016/0034-4877(74)90021-4
  |url        = https://doi.org/10.1016/0034-4877(74)90021-4
}}
}}
*{{Citation |last1      = Sjamaar
*{{Citation |last1      = सजामार
  |first1    = Reyer
  |first1    = रेयेर
  |first2    = Eugene
  |first2    = यूजीन
  |last2      = Lerman
  |last2      = लर्मन
  |title      = Stratified symplectic spaces and reduction
  |title      = स्तरीकृत सहानुभूतिपूर्ण स्थान और कमी
  |journal    = Annals of Mathematics
  |journal    = गणित के इतिहास
  |volume    = 134
  |volume    = 134
  |year      = 1991
  |year      = 1991
Line 117: Line 117:
}}
}}


{{DEFAULTSORT:Moment Map}}[[Category: सिंपलेक्टिक ज्यामिति]] [[Category: हैमिल्टनियन यांत्रिकी]] [[Category: समूह क्रियाएँ (गणित)]]
{{DEFAULTSORT:Moment Map}}


 
[[Category:CS1|Moment Map]]
 
[[Category:CS1 errors|Moment Map]]
[[Category: Machine Translated Page]]
[[Category:Created On 14/07/2023|Moment Map]]
[[Category:Created On 14/07/2023]]
[[Category:Machine Translated Page|Moment Map]]
[[Category:Pages with script errors|Moment Map]]
[[Category:Templates Vigyan Ready|Moment Map]]
[[Category:समूह क्रियाएँ (गणित)|Moment Map]]
[[Category:सिंपलेक्टिक ज्यामिति|Moment Map]]
[[Category:हैमिल्टनियन यांत्रिकी|Moment Map]]

Latest revision as of 15:26, 31 July 2023

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

अधिक सामान्यतः, यदि 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)

संदर्भ