सिम्प्लेक्टोमोर्फिज्म: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Isomorphism of symplectic manifolds}}
{{Short description|Isomorphism of symplectic manifolds}}
गणित में, एक सिम्प्लेक्टोमोर्फिज्म या सिम्प्लेक्टिक मैप [[ सिंपलेक्टिक मैनिफोल्ड ]] की [[ श्रेणी (गणित) ]] में एक [[ समाकृतिकता ]] है। [[ शास्त्रीय यांत्रिकी ]] में, एक सिम्प्लेक्टोमोर्फिज्म [[ चरण स्थान ]] के परिवर्तन का प्रतिनिधित्व करता है जो [[ मात्रा-संरक्षण ]] है और चरण स्थान की [[ सहानुभूतिपूर्ण संरचना ]] को संरक्षित करता है, और इसे एक [[ विहित परिवर्तन ]] कहा जाता है।
गणित में, सिम्प्लेक्टोमोर्फिज्म या सिम्प्लेक्टिक मैप [[ सिंपलेक्टिक मैनिफोल्ड ]] की [[ श्रेणी (गणित) ]] में [[ समाकृतिकता ]] है। [[ शास्त्रीय यांत्रिकी ]] में, सिम्प्लेक्टोमोर्फिज्म [[ चरण स्थान ]] के परिवर्तन का प्रतिनिधित्व करता है जो [[ मात्रा-संरक्षण ]] है और चरण स्थान की [[ सहानुभूतिपूर्ण संरचना ]] को संरक्षित करता है, और इसे [[ विहित परिवर्तन ]] कहा जाता है।


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


दो सिम्प्लेक्टिक मैनिफोल्ड के बीच एक अंतर <math>f: (M,\omega) \rightarrow (N,\omega')</math> यदि एक सिम्प्लेक्टोमोर्फिज्म कहा जाता है
दो सिम्प्लेक्टिक मैनिफोल्ड के बीच अंतर <math>f: (M,\omega) \rightarrow (N,\omega')</math> यदि सिम्प्लेक्टोमोर्फिज्म कहा जाता है
:<math>f^*\omega'=\omega,</math>
:<math>f^*\omega'=\omega,</math>
कहां <math>f^*</math> का [[ पुलबैक (अंतर ज्यामिति) ]] है <math>f</math>. से सहानुभूतिपूर्ण भिन्नता <math>M</math> को <math>M</math> एक (छद्म-) समूह हैं, जिसे सिम्प्लेक्टोमोर्फिज्म समूह कहा जाता है (नीचे देखें)।
कहां <math>f^*</math> का [[ पुलबैक (अंतर ज्यामिति) ]] है <math>f</math>. से सहानुभूतिपूर्ण भिन्नता <math>M</math> को <math>M</math> (छद्म-) समूह हैं, जिसे सिम्प्लेक्टोमोर्फिज्म समूह कहा जाता है (नीचे देखें)।


सिम्प्लेक्टोमोर्फिज्म का अतिसूक्ष्म संस्करण सिम्प्लेक्टिक वेक्टर फ़ील्ड देता है। एक वेक्टर क्षेत्र <math>X \in \Gamma^{\infty}(TM)</math> symplectic अगर कहा जाता है
सिम्प्लेक्टोमोर्फिज्म का अतिसूक्ष्म संस्करण सिम्प्लेक्टिक वेक्टर फ़ील्ड देता है। वेक्टर क्षेत्र <math>X \in \Gamma^{\infty}(TM)</math> symplectic अगर कहा जाता है
:<math>\mathcal{L}_X\omega=0.</math>
:<math>\mathcal{L}_X\omega=0.</math>
भी, <math>X</math> प्रवाह अगर सहानुभूतिपूर्ण है <math>\phi_t: M\rightarrow M</math> का <math>X</math> प्रत्येक के लिए एक सिम्पेक्टोमोर्फिज्म है <math>t</math>.
भी, <math>X</math> प्रवाह अगर सहानुभूतिपूर्ण है <math>\phi_t: M\rightarrow M</math> का <math>X</math> प्रत्येक के लिए सिम्पेक्टोमोर्फिज्म है <math>t</math>.
ये सदिश क्षेत्र एक लाइ सबलजेब्रा का निर्माण करते हैं <math>\Gamma^{\infty}(TM)</math>.
ये सदिश क्षेत्र लाइ सबलजेब्रा का निर्माण करते हैं <math>\Gamma^{\infty}(TM)</math>.
यहां, <math>\Gamma^{\infty}(TM)</math> [[ चिकना समारोह ]] [[ वेक्टर क्षेत्र ]] ऑन का सेट है <math>M</math>, और <math>\mathcal{L}_X</math> सदिश क्षेत्र के साथ [[ झूठ व्युत्पन्न ]] है <math>X.</math>
यहां, <math>\Gamma^{\infty}(TM)</math> [[ चिकना समारोह ]] [[ वेक्टर क्षेत्र ]] ऑन का सेट है <math>M</math>, और <math>\mathcal{L}_X</math> सदिश क्षेत्र के साथ [[ झूठ व्युत्पन्न ]] है <math>X.</math>
सिम्पेक्टोमोर्फिज्म के उदाहरणों में शास्त्रीय यांत्रिकी और [[ सैद्धांतिक भौतिकी ]] के कैनोनिकल ट्रांसफॉर्मेशन, किसी भी हैमिल्टनियन फ़ंक्शन से जुड़े प्रवाह, मैनिफोल्ड्स के किसी भी डिफियोमोर्फिज्म से प्रेरित [[ स्पर्शरेखा बंडल ]] पर नक्शा, और एक सहसंयोजक कक्षा पर लाइ समूह के एक तत्व की सहसंयोजक क्रिया शामिल है।
सिम्पेक्टोमोर्फिज्म के उदाहरणों में शास्त्रीय यांत्रिकी और [[ सैद्धांतिक भौतिकी ]] के कैनोनिकल ट्रांसफॉर्मेशन, किसी भी हैमिल्टनियन फ़ंक्शन से जुड़े प्रवाह, मैनिफोल्ड्स के किसी भी डिफियोमोर्फिज्म से प्रेरित [[ स्पर्शरेखा बंडल ]] पर नक्शा, और सहसंयोजक कक्षा पर लाइ समूह के तत्व की सहसंयोजक क्रिया शामिल है।


== प्रवाह ==  
== प्रवाह ==  
सिम्पलेक्टिक मैनिफोल्ड पर कोई भी सुचारू कार्य, परिभाषा के अनुसार, हैमिल्टनियन वेक्टर फ़ील्ड को जन्म देता है और ऐसे सभी वेक्टर फ़ील्ड्स का सेट [[ सहानुभूति वेक्टर क्षेत्र ]] के लाई बीजगणित का एक सबलजेब्रा बनाता है। एक सिम्पलेक्टिक वेक्टर क्षेत्र के प्रवाह का एकीकरण एक सिम्पेक्टोमोर्फिज्म है। चूंकि सिम्प्लेक्टोमॉर्फिज्म [[ सहानुभूतिपूर्ण रूप ]]|सिम्पलेक्टिक 2-फॉर्म को संरक्षित करता है और इसलिए सिम्प्लेक्टिक फॉर्म#वॉल्यूम फॉर्म, लिउविल की प्रमेय (हैमिल्टनियन)|[[ हैमिल्टनियन यांत्रिकी ]] में लिउविल की प्रमेय इस प्रकार है। [[ हैमिल्टनियन वेक्टर क्षेत्र ]]ों से उत्पन्न होने वाले सिम्प्लेक्टोमोर्फिज्म को हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के रूप में जाना जाता है।
सिम्पलेक्टिक मैनिफोल्ड पर कोई भी सुचारू कार्य, परिभाषा के अनुसार, हैमिल्टनियन वेक्टर फ़ील्ड को जन्म देता है और ऐसे सभी वेक्टर फ़ील्ड्स का सेट [[ सहानुभूति वेक्टर क्षेत्र ]] के लाई बीजगणित का सबलजेब्रा बनाता है। सिम्पलेक्टिक वेक्टर क्षेत्र के प्रवाह का एकीकरण सिम्पेक्टोमोर्फिज्म है। चूंकि सिम्प्लेक्टोमॉर्फिज्म [[ सहानुभूतिपूर्ण रूप ]]|सिम्पलेक्टिक 2-फॉर्म को संरक्षित करता है और इसलिए सिम्प्लेक्टिक फॉर्म#वॉल्यूम फॉर्म, लिउविल की प्रमेय (हैमिल्टनियन)|[[ हैमिल्टनियन यांत्रिकी ]] में लिउविल की प्रमेय इस प्रकार है। [[ हैमिल्टनियन वेक्टर क्षेत्र ]]ों से उत्पन्न होने वाले सिम्प्लेक्टोमोर्फिज्म को हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के रूप में जाना जाता है।


तब से {{math|1={''H'', ''H''} = ''X''<sub>''H''</sub>(''H'') = 0,}} हैमिल्टनियन वेक्टर क्षेत्र का प्रवाह भी संरक्षित करता है {{math|''H''}}. भौतिकी में इसकी व्याख्या [[ ऊर्जा ]] के संरक्षण के नियम के रूप में की जाती है।
तब से {{math|1={''H'', ''H''} = ''X''<sub>''H''</sub>(''H'') = 0,}} हैमिल्टनियन वेक्टर क्षेत्र का प्रवाह भी संरक्षित करता है {{math|''H''}}. भौतिकी में इसकी व्याख्या [[ ऊर्जा ]] के संरक्षण के नियम के रूप में की जाती है।
Line 25: Line 25:


== (हैमिल्टनियन) सिम्प्लेक्टोमोर्फिज्म का समूह ==
== (हैमिल्टनियन) सिम्प्लेक्टोमोर्फिज्म का समूह ==
कई गुना पीछे से खुद पर एक अनंत-आयामी छद्म समूह बनाते हैं। संबंधित लाई बीजगणित में सहानुभूति सदिश क्षेत्र होते हैं।
कई गुना पीछे से खुद पर अनंत-आयामी छद्म समूह बनाते हैं। संबंधित लाई बीजगणित में सहानुभूति सदिश क्षेत्र होते हैं।
हैमिल्टनियन सिम्प्लेक्टोमोर्फिम्स एक उपसमूह बनाते हैं, जिसका झूठा बीजगणित हैमिल्टनियन वेक्टर क्षेत्रों द्वारा दिया जाता है।
हैमिल्टनियन सिम्प्लेक्टोमोर्फिम्स उपसमूह बनाते हैं, जिसका झूठा बीजगणित हैमिल्टनियन वेक्टर क्षेत्रों द्वारा दिया जाता है।
उत्तरार्द्ध चिकने के ले बीजगणित के लिए आइसोमोर्फिक है
उत्तरार्द्ध चिकने के ले बीजगणित के लिए आइसोमोर्फिक है
[[ पॉइसन ब्रैकेट ]] के संबंध में मैनिफोल्ड पर कार्य करता है, स्थिरांक मॉड्यूल।
[[ पॉइसन ब्रैकेट ]] के संबंध में मैनिफोल्ड पर कार्य करता है, स्थिरांक मॉड्यूल।
Line 32: Line 32:
के हैमिल्टनियन सिम्पेक्टोमोर्फिज्म का समूह <math>(M,\omega)</math> आमतौर पर के रूप में दर्शाया गया है <math>\operatorname{Ham}(M,\omega)</math>.
के हैमिल्टनियन सिम्पेक्टोमोर्फिज्म का समूह <math>(M,\omega)</math> आमतौर पर के रूप में दर्शाया गया है <math>\operatorname{Ham}(M,\omega)</math>.


[[ ऑगस्टिन विदेशी ]] के एक प्रमेय द्वारा हैमिल्टनियन भिन्नताओं के समूह [[ सरल झूठ समूह ]] हैं। उनके पास [[ हॉफर मानदंड ]] द्वारा दी गई प्राकृतिक ज्यामिति है। कुछ सरल सिम्प्लेक्टिक [[ चार गुना ]] के लिए समरूपता समूह का [[ होमोटॉपी प्रकार ]], जैसे कि गोले के उत्पाद, मिखाइल ग्रोमोव (गणितज्ञ) के [[ स्यूडोहोलोमॉर्फिक वक्र ]] के सिद्धांत का उपयोग करके गणना की जा सकती है।
[[ ऑगस्टिन विदेशी ]] के प्रमेय द्वारा हैमिल्टनियन भिन्नताओं के समूह [[ सरल झूठ समूह ]] हैं। उनके पास [[ हॉफर मानदंड ]] द्वारा दी गई प्राकृतिक ज्यामिति है। कुछ सरल सिम्प्लेक्टिक [[ चार गुना ]] के लिए समरूपता समूह का [[ होमोटॉपी प्रकार ]], जैसे कि गोले के उत्पाद, मिखाइल ग्रोमोव (गणितज्ञ) के [[ स्यूडोहोलोमॉर्फिक वक्र ]] के सिद्धांत का उपयोग करके गणना की जा सकती है।


== रीमानियन ज्यामिति के साथ तुलना ==
== रीमानियन ज्यामिति के साथ तुलना ==
[[ रीमैनियन कई गुना ]]्स के विपरीत, सिम्प्लेक्टिक मैनिफोल्ड्स बहुत कठोर नहीं हैं: डार्बौक्स के प्रमेय से पता चलता है कि समान आयाम के सभी सिम्प्लेक्टिक मैनिफोल्ड स्थानीय रूप से आइसोमोर्फिक हैं। इसके विपरीत, रिमेंनियन ज्योमेट्री में आइसोमेट्री को रिमेंन वक्रता टेन्सर को संरक्षित करना चाहिए, जो इस प्रकार रीमैनियन मैनिफोल्ड का एक स्थानीय अपरिवर्तनीय है।
[[ रीमैनियन कई गुना ]]्स के विपरीत, सिम्प्लेक्टिक मैनिफोल्ड्स बहुत कठोर नहीं हैं: डार्बौक्स के प्रमेय से पता चलता है कि समान आयाम के सभी सिम्प्लेक्टिक मैनिफोल्ड स्थानीय रूप से आइसोमोर्फिक हैं। इसके विपरीत, रिमेंनियन ज्योमेट्री में आइसोमेट्री को रिमेंन वक्रता टेन्सर को संरक्षित करना चाहिए, जो इस प्रकार रीमैनियन मैनिफोल्ड का स्थानीय अपरिवर्तनीय है।
इसके अलावा, एक सहानुभूतिपूर्ण मैनिफोल्ड पर प्रत्येक फ़ंक्शन एच एक हैमिल्टनियन वेक्टर फ़ील्ड एक्स को परिभाषित करता है<sub>''H''</sub>, जो हैमिल्टनियन भिन्नता के [[ एक-पैरामीटर समूह ]] को प्रतिपादित करता है। यह इस प्रकार है कि सहानुभूति का समूह हमेशा बहुत बड़ा होता है, और विशेष रूप से, अनंत-आयामी। दूसरी ओर, रिमेंनियन मैनिफोल्ड के [[ आइसोमेट्री ]] का समूह हमेशा एक (परिमित-आयामी) झूठ समूह होता है। इसके अलावा, बड़े समरूपता समूहों के साथ रीमैनियन मैनिफोल्ड्स बहुत खास हैं, और एक सामान्य रीमैनियन मैनिफोल्ड में कोई गैर-समरूपता नहीं है।
इसके अलावा, सहानुभूतिपूर्ण मैनिफोल्ड पर प्रत्येक फ़ंक्शन एच हैमिल्टनियन वेक्टर फ़ील्ड एक्स को परिभाषित करता है<sub>''H''</sub>, जो हैमिल्टनियन भिन्नता के [[ एक-पैरामीटर समूह ]] को प्रतिपादित करता है। यह इस प्रकार है कि सहानुभूति का समूह हमेशा बहुत बड़ा होता है, और विशेष रूप से, अनंत-आयामी। दूसरी ओर, रिमेंनियन मैनिफोल्ड के [[ आइसोमेट्री ]] का समूह हमेशा (परिमित-आयामी) झूठ समूह होता है। इसके अलावा, बड़े समरूपता समूहों के साथ रीमैनियन मैनिफोल्ड्स बहुत खास हैं, और सामान्य रीमैनियन मैनिफोल्ड में कोई गैर-समरूपता नहीं है।


== परिमाणीकरण ==
== परिमाणीकरण ==
हिल्बर्ट रिक्त स्थान पर सिम्प्लेक्टोमोर्फिज्म के समूह के परिमित-आयामी उपसमूहों के प्रतिनिधित्व (सामान्य रूप से ħ-विरूपण के बाद) को परिमाणीकरण कहा जाता है।
हिल्बर्ट रिक्त स्थान पर सिम्प्लेक्टोमोर्फिज्म के समूह के परिमित-आयामी उपसमूहों के प्रतिनिधित्व (सामान्य रूप से ħ-विरूपण के बाद) को परिमाणीकरण कहा जाता है।
जब लाइ समूह एक हैमिल्टनियन द्वारा परिभाषित किया जाता है, तो इसे ऊर्जा द्वारा परिमाणीकरण कहा जाता है।
जब लाइ समूह हैमिल्टनियन द्वारा परिभाषित किया जाता है, तो इसे ऊर्जा द्वारा परिमाणीकरण कहा जाता है।
निरंतर रेखीय संचालकों के लाई बीजगणित से लाई बीजगणित के संगत संकारक को कभी-कभी परिमाणीकरण भी कहा जाता है; यह भौतिकी में इसे देखने का अधिक सामान्य तरीका है।
निरंतर रेखीय संचालकों के लाई बीजगणित से लाई बीजगणित के संगत संकारक को कभी-कभी परिमाणीकरण भी कहा जाता है; यह भौतिकी में इसे देखने का अधिक सामान्य तरीका है।


Line 48: Line 48:
== अर्नोल्ड अनुमान ==
== अर्नोल्ड अनुमान ==
{{main|Arnold conjecture}}
{{main|Arnold conjecture}}
[[ व्लादिमीर अर्नोल्ड ]] का एक प्रसिद्ध अनुमान एक हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के लिए [[ निश्चित बिंदु (गणित) ]] की न्यूनतम संख्या से संबंधित है <math>\varphi: M \to M</math>, यदि <math>M</math> [[ मोर्स सिद्धांत ]] के लिए एक कॉम्पैक्ट सिम्प्लेक्टिक मैनिफोल्ड है (देखें <ref>{{cite book |last1=Arnolʹd |first1=Vladimir |title=Mathematical methods of classical mechanics |series=Graduate Texts in Mathematics |date=1978 |volume=60 |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4757-1693-1 |isbn=978-1-4757-1693-1 |url=https://link.springer.com/book/10.1007/978-1-4757-1693-1}}</ref>). अधिक सटीक रूप से, अनुमान बताता है कि <math>\varphi</math> कम से कम उतने निश्चित बिंदु होते हैं, जितने [[ महत्वपूर्ण बिंदु (गणित) ]] होते हैं, जिन पर सुचारू कार्य होता है <math>M</math> होना आवश्यक है। इस अनुमान के कुछ कमजोर संस्करण सिद्ध हुए हैं: कब <math>\varphi</math> nondegenerate है, निश्चित बिंदुओं की संख्या नीचे से बेट्टी संख्याओं के योग से बंधी है <math>M</math> (देखो,<ref>{{cite journal |last1=Fukaya |first1=Kenji |last2=Ono |first2=Kaoru |title=Arnold conjecture and Gromov-Witten invariants |journal=Topology |date=September 1999 |volume=38 |issue=5 |pages=933–1048 |doi=10.1016/S0040-9383(98)00042-1 |url=https://www.sciencedirect.com/science/article/pii/S0040938398000421}}</ref><ref>{{cite journal |last1=Liu |first1=Gang |last2=Tian |first2=Gang |title=Floer homology and Arnold conjecture |journal=Journal of Differential Geometry |date=1998 |volume=49 |issue=1 |pages=1–74 |doi=10.4310/jdg/1214460936 |url=https://projecteuclid.org/journals/journal-of-differential-geometry/volume-49/issue-1/Floer-homology-and-Arnold-conjecture/10.4310/jdg/1214460936.full}}</ref>). इस प्रसिद्ध अनुमान से प्रेरित सहानुभूति ज्यामिति में सबसे महत्वपूर्ण विकास [[ फ्लोर होमोलॉजी ]] का जन्म है (देखें <ref>{{cite journal |last1=Floer |first1=Andreas |title=Symplectic fixed points and holomorphic spheres |journal=Communications in Mathematical Physics |date=1989 |volume=120 |issue=4 |pages=575–611 |doi=10.1007/BF01260388 |s2cid=123345003 |url=https://link.springer.com/article/10.1007/BF01260388}}</ref>), [[ एंड्रियास फ्लोर ]] के नाम पर।
[[ व्लादिमीर अर्नोल्ड ]] का प्रसिद्ध अनुमान हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के लिए [[ निश्चित बिंदु (गणित) ]] की न्यूनतम संख्या से संबंधित है <math>\varphi: M \to M</math>, यदि <math>M</math> [[ मोर्स सिद्धांत ]] के लिए कॉम्पैक्ट सिम्प्लेक्टिक मैनिफोल्ड है (देखें <ref>{{cite book |last1=Arnolʹd |first1=Vladimir |title=Mathematical methods of classical mechanics |series=Graduate Texts in Mathematics |date=1978 |volume=60 |publisher=Springer-Verlag |location=New York |doi=10.1007/978-1-4757-1693-1 |isbn=978-1-4757-1693-1 |url=https://link.springer.com/book/10.1007/978-1-4757-1693-1}}</ref>). अधिक सटीक रूप से, अनुमान बताता है कि <math>\varphi</math> कम से कम उतने निश्चित बिंदु होते हैं, जितने [[ महत्वपूर्ण बिंदु (गणित) ]] होते हैं, जिन पर सुचारू कार्य होता है <math>M</math> होना आवश्यक है। इस अनुमान के कुछ कमजोर संस्करण सिद्ध हुए हैं: कब <math>\varphi</math> nondegenerate है, निश्चित बिंदुओं की संख्या नीचे से बेट्टी संख्याओं के योग से बंधी है <math>M</math> (देखो,<ref>{{cite journal |last1=Fukaya |first1=Kenji |last2=Ono |first2=Kaoru |title=Arnold conjecture and Gromov-Witten invariants |journal=Topology |date=September 1999 |volume=38 |issue=5 |pages=933–1048 |doi=10.1016/S0040-9383(98)00042-1 |url=https://www.sciencedirect.com/science/article/pii/S0040938398000421}}</ref><ref>{{cite journal |last1=Liu |first1=Gang |last2=Tian |first2=Gang |title=Floer homology and Arnold conjecture |journal=Journal of Differential Geometry |date=1998 |volume=49 |issue=1 |pages=1–74 |doi=10.4310/jdg/1214460936 |url=https://projecteuclid.org/journals/journal-of-differential-geometry/volume-49/issue-1/Floer-homology-and-Arnold-conjecture/10.4310/jdg/1214460936.full}}</ref>). इस प्रसिद्ध अनुमान से प्रेरित सहानुभूति ज्यामिति में सबसे महत्वपूर्ण विकास [[ फ्लोर होमोलॉजी ]] का जन्म है (देखें <ref>{{cite journal |last1=Floer |first1=Andreas |title=Symplectic fixed points and holomorphic spheres |journal=Communications in Mathematical Physics |date=1989 |volume=120 |issue=4 |pages=575–611 |doi=10.1007/BF01260388 |s2cid=123345003 |url=https://link.springer.com/article/10.1007/BF01260388}}</ref>), [[ एंड्रियास फ्लोर ]] के नाम पर।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 18:44, 7 July 2023

गणित में, सिम्प्लेक्टोमोर्फिज्म या सिम्प्लेक्टिक मैप सिंपलेक्टिक मैनिफोल्ड की श्रेणी (गणित) में समाकृतिकता है। शास्त्रीय यांत्रिकी में, सिम्प्लेक्टोमोर्फिज्म चरण स्थान के परिवर्तन का प्रतिनिधित्व करता है जो मात्रा-संरक्षण है और चरण स्थान की सहानुभूतिपूर्ण संरचना को संरक्षित करता है, और इसे विहित परिवर्तन कहा जाता है।

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

दो सिम्प्लेक्टिक मैनिफोल्ड के बीच अंतर यदि सिम्प्लेक्टोमोर्फिज्म कहा जाता है

कहां का पुलबैक (अंतर ज्यामिति) है . से सहानुभूतिपूर्ण भिन्नता को (छद्म-) समूह हैं, जिसे सिम्प्लेक्टोमोर्फिज्म समूह कहा जाता है (नीचे देखें)।

सिम्प्लेक्टोमोर्फिज्म का अतिसूक्ष्म संस्करण सिम्प्लेक्टिक वेक्टर फ़ील्ड देता है। वेक्टर क्षेत्र symplectic अगर कहा जाता है

भी, प्रवाह अगर सहानुभूतिपूर्ण है का प्रत्येक के लिए सिम्पेक्टोमोर्फिज्म है . ये सदिश क्षेत्र लाइ सबलजेब्रा का निर्माण करते हैं . यहां, चिकना समारोह वेक्टर क्षेत्र ऑन का सेट है , और सदिश क्षेत्र के साथ झूठ व्युत्पन्न है सिम्पेक्टोमोर्फिज्म के उदाहरणों में शास्त्रीय यांत्रिकी और सैद्धांतिक भौतिकी के कैनोनिकल ट्रांसफॉर्मेशन, किसी भी हैमिल्टनियन फ़ंक्शन से जुड़े प्रवाह, मैनिफोल्ड्स के किसी भी डिफियोमोर्फिज्म से प्रेरित स्पर्शरेखा बंडल पर नक्शा, और सहसंयोजक कक्षा पर लाइ समूह के तत्व की सहसंयोजक क्रिया शामिल है।

प्रवाह

सिम्पलेक्टिक मैनिफोल्ड पर कोई भी सुचारू कार्य, परिभाषा के अनुसार, हैमिल्टनियन वेक्टर फ़ील्ड को जन्म देता है और ऐसे सभी वेक्टर फ़ील्ड्स का सेट सहानुभूति वेक्टर क्षेत्र के लाई बीजगणित का सबलजेब्रा बनाता है। सिम्पलेक्टिक वेक्टर क्षेत्र के प्रवाह का एकीकरण सिम्पेक्टोमोर्फिज्म है। चूंकि सिम्प्लेक्टोमॉर्फिज्म सहानुभूतिपूर्ण रूप |सिम्पलेक्टिक 2-फॉर्म को संरक्षित करता है और इसलिए सिम्प्लेक्टिक फॉर्म#वॉल्यूम फॉर्म, लिउविल की प्रमेय (हैमिल्टनियन)|हैमिल्टनियन यांत्रिकी में लिउविल की प्रमेय इस प्रकार है। हैमिल्टनियन वेक्टर क्षेत्र ों से उत्पन्न होने वाले सिम्प्लेक्टोमोर्फिज्म को हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के रूप में जाना जाता है।

तब से {H, H} = XH(H) = 0, हैमिल्टनियन वेक्टर क्षेत्र का प्रवाह भी संरक्षित करता है H. भौतिकी में इसकी व्याख्या ऊर्जा के संरक्षण के नियम के रूप में की जाती है।

यदि किसी कनेक्टेड सिम्पलेक्टिक मैनिफोल्ड की पहली बेट्टी संख्या शून्य है, सिम्पलेक्टिक और हैमिल्टनियन वेक्टर फ़ील्ड मेल खाते हैं, तो हैमिल्टनियन आइसोटोप और सिम्प्लेक्टोमोर्फिज्म के सिम्प्लेक्टिक आइसोटोप की धारणाएँ मेल खाती हैं।

यह दिखाया जा सकता है कि जियोडेसिक के समीकरणों को हैमिल्टनियन प्रवाह के रूप में तैयार किया जा सकता है, हैमिल्टनियन प्रवाह के रूप में जियोडेसिक्स के रूप में देखें।

(हैमिल्टनियन) सिम्प्लेक्टोमोर्फिज्म का समूह

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

के हैमिल्टनियन सिम्पेक्टोमोर्फिज्म का समूह आमतौर पर के रूप में दर्शाया गया है .

ऑगस्टिन विदेशी के प्रमेय द्वारा हैमिल्टनियन भिन्नताओं के समूह सरल झूठ समूह हैं। उनके पास हॉफर मानदंड द्वारा दी गई प्राकृतिक ज्यामिति है। कुछ सरल सिम्प्लेक्टिक चार गुना के लिए समरूपता समूह का होमोटॉपी प्रकार , जैसे कि गोले के उत्पाद, मिखाइल ग्रोमोव (गणितज्ञ) के स्यूडोहोलोमॉर्फिक वक्र के सिद्धांत का उपयोग करके गणना की जा सकती है।

रीमानियन ज्यामिति के साथ तुलना

रीमैनियन कई गुना ्स के विपरीत, सिम्प्लेक्टिक मैनिफोल्ड्स बहुत कठोर नहीं हैं: डार्बौक्स के प्रमेय से पता चलता है कि समान आयाम के सभी सिम्प्लेक्टिक मैनिफोल्ड स्थानीय रूप से आइसोमोर्फिक हैं। इसके विपरीत, रिमेंनियन ज्योमेट्री में आइसोमेट्री को रिमेंन वक्रता टेन्सर को संरक्षित करना चाहिए, जो इस प्रकार रीमैनियन मैनिफोल्ड का स्थानीय अपरिवर्तनीय है। इसके अलावा, सहानुभूतिपूर्ण मैनिफोल्ड पर प्रत्येक फ़ंक्शन एच हैमिल्टनियन वेक्टर फ़ील्ड एक्स को परिभाषित करता हैH, जो हैमिल्टनियन भिन्नता के एक-पैरामीटर समूह को प्रतिपादित करता है। यह इस प्रकार है कि सहानुभूति का समूह हमेशा बहुत बड़ा होता है, और विशेष रूप से, अनंत-आयामी। दूसरी ओर, रिमेंनियन मैनिफोल्ड के आइसोमेट्री का समूह हमेशा (परिमित-आयामी) झूठ समूह होता है। इसके अलावा, बड़े समरूपता समूहों के साथ रीमैनियन मैनिफोल्ड्स बहुत खास हैं, और सामान्य रीमैनियन मैनिफोल्ड में कोई गैर-समरूपता नहीं है।

परिमाणीकरण

हिल्बर्ट रिक्त स्थान पर सिम्प्लेक्टोमोर्फिज्म के समूह के परिमित-आयामी उपसमूहों के प्रतिनिधित्व (सामान्य रूप से ħ-विरूपण के बाद) को परिमाणीकरण कहा जाता है। जब लाइ समूह हैमिल्टनियन द्वारा परिभाषित किया जाता है, तो इसे ऊर्जा द्वारा परिमाणीकरण कहा जाता है। निरंतर रेखीय संचालकों के लाई बीजगणित से लाई बीजगणित के संगत संकारक को कभी-कभी परिमाणीकरण भी कहा जाता है; यह भौतिकी में इसे देखने का अधिक सामान्य तरीका है।


अर्नोल्ड अनुमान

व्लादिमीर अर्नोल्ड का प्रसिद्ध अनुमान हैमिल्टनियन सिम्प्लेक्टोमोर्फिज्म के लिए निश्चित बिंदु (गणित) की न्यूनतम संख्या से संबंधित है , यदि मोर्स सिद्धांत के लिए कॉम्पैक्ट सिम्प्लेक्टिक मैनिफोल्ड है (देखें [1]). अधिक सटीक रूप से, अनुमान बताता है कि कम से कम उतने निश्चित बिंदु होते हैं, जितने महत्वपूर्ण बिंदु (गणित) होते हैं, जिन पर सुचारू कार्य होता है होना आवश्यक है। इस अनुमान के कुछ कमजोर संस्करण सिद्ध हुए हैं: कब nondegenerate है, निश्चित बिंदुओं की संख्या नीचे से बेट्टी संख्याओं के योग से बंधी है (देखो,[2][3]). इस प्रसिद्ध अनुमान से प्रेरित सहानुभूति ज्यामिति में सबसे महत्वपूर्ण विकास फ्लोर होमोलॉजी का जन्म है (देखें [4]), एंड्रियास फ्लोर के नाम पर।

यह भी देखें

संदर्भ

  1. Arnolʹd, Vladimir (1978). Mathematical methods of classical mechanics. Graduate Texts in Mathematics. Vol. 60. New York: Springer-Verlag. doi:10.1007/978-1-4757-1693-1. ISBN 978-1-4757-1693-1.
  2. Fukaya, Kenji; Ono, Kaoru (September 1999). "Arnold conjecture and Gromov-Witten invariants". Topology. 38 (5): 933–1048. doi:10.1016/S0040-9383(98)00042-1.
  3. Liu, Gang; Tian, Gang (1998). "Floer homology and Arnold conjecture". Journal of Differential Geometry. 49 (1): 1–74. doi:10.4310/jdg/1214460936.
  4. Floer, Andreas (1989). "Symplectic fixed points and holomorphic spheres". Communications in Mathematical Physics. 120 (4): 575–611. doi:10.1007/BF01260388. S2CID 123345003.
Symplectomorphism groups