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

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:


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


== संवेग मानचित्रों के उदाहरण==
== संवेग मानचित्रों के उदाहरण==
Line 24: Line 24:
एक और मौलिक मामला तब घटित होता है जब <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> का गति मानचित्र हैं।


== सांकेतिक भागफल ==
== '''सांकेतिक भागफल''' ==
मान लीजिए कि सिंपलेक्टिक मैनिफोल्ड (एम, ω) पर ली समूह G की कार्रवाई हैमिल्टनियन है, जैसा कि ऊपर परिभाषित किया गया है, समतुल्य गति मानचित्र के साथ <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}}, सिंपलेक्टिक भागफल, या M का ''G'' द्वारा सिंपलेक्टिक कमी और निरूपित किया जाता है <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 के आयाम के दोगुने के सामान्तर है।


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

Revision as of 00:07, 24 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)

संदर्भ