पॉइसन मैनिफ़ोल्ड

विभेदक ज्योमेट्री में, गणित का एक क्षेत्र, पॉइसन मैनिफोल्ड, पॉइसन संरचना से युक्त एक स्मूथ मैनिफोल्ड है। पॉइसन मैनिफोल्ड की धारणा सिंपलेक्टिक मैनिफोल्ड को सामान्य बनाती है, जो बदले में हैमिल्टनियन यांत्रिकी से चरण स्थान को सामान्य बनाती है।

एक स्मूथ मैनिफोल्ड पर एक पॉइसन संरचना (या पॉइसन ब्रैकेट)। $M$ एक फ़ंक्शन है

$$\{\cdot ,\cdot \}:{\mathcal {C}}^{\infty }(M)\times {\mathcal {C}}^{\infty }(M)\to {\mathcal {C}}^{\infty }(M)$$

सदिश स्थल पर ${C^{\infty }}(M)$ सुचारू कार्य पर $M$, इसे एक उत्पाद नियम (जिसे पॉइसन बीजगणित के रूप में भी जाना जाता है) के अधीन एक लाई बीजगणित में बना दिया गया है।

मैनिफोल्ड्स पर पॉइसन संरचनाएं 1977 में आंद्रे लिचनेरोविक्ज़ द्वारा प्रस्तुत की गईं और विश्लेषणात्मक यांत्रिकी पर उनके कार्यों में उनकी प्रारंभिक उपस्थिति के कारण, फ्रांसीसी गणितज्ञ शिमोन डेनिस पॉइसन के नाम पर रखा गया है।

परिचय

मौलिक यांत्रिकी के चरण स्थानों से लेकर सिंपलेक्टिक और पॉइसन मैनिफोल्ड्स तक

मौलिक यांत्रिकी में, एक भौतिक प्रणाली के चरण स्थान में स्थिति के सभी संभावित मान और प्रणाली द्वारा अनुमत गति चर सम्मिलित होते हैं। यह स्वाभाविक रूप से पॉइसन ब्रैकेट/सिंपलेक्टिक फॉर्म (नीचे देखें) से संपन्न है, जो किसी को हैमिल्टन समीकरण तैयार करने और समय में चरण स्थान के माध्यम से प्रणाली की गतिशीलता का वर्णन करने की अनुमति देता है।

उदाहरण के लिए, $n$-आयामी यूक्लिडियन स्पेस (अथार्थ कॉन्फ़िगरेशन स्पेस के रूप में $\mathbb {R} ^{n}$ में स्वतंत्र रूप से घूमने वाले एक कण में चरण स्पेस $\mathbb {R} ^{2n}$ होता है। निर्देशांक $(q^{1},...,q^{n},p_{1},...,p_{n})$ क्रमशः स्थिति और सामान्यीकृत संवेग का वर्णन करते हैं। वेधशालाओं का स्थान, अथार्थ $\mathbb {R} ^{2n}$ पर सुचारू कार्य, स्वाभाविक रूप से पॉइसन ब्रैकेट नामक एक बाइनरी ऑपरेशन से संपन्न है, जिसे $\{f,g\}:=\sum _{i=1}^{n}\left({\frac {\partial f}{\partial p_{i}}}{\frac {\partial g}{\partial q_{i}}}-{\frac {\partial f}{\partial q^{i}}}{\frac {\partial g}{\partial p_{i}}}\right)$ के रूप में परिभाषित किया गया है। ऐसा ब्रैकेट लाई ब्रैकेट के मानक गुणों को संतुष्ट करता है, जो कि साथ ही फ़ंक्शंस के उत्पाद, अर्थात् लीबनिज़ पहचान $\{f,g\cdot h\}=g\cdot \{f,h\}+\{f,g\}\cdot h$ के साथ एक और अनुकूलता प्रदान करता है। समान रूप से, $\mathbb {R} ^{2n}$ पर पॉइसन ब्रैकेट को सिंपलेक्टिक फॉर्म $\omega :=\sum _{i=1}^{n}dp_{i}\wedge dq^{i}$ का उपयोग करके पुन: तैयार किया जा सकता है। वास्तव में , यदि कोई फ़ंक्शन $f$ से जुड़े हैमिल्टनियन सदिश क्षेत्र $X_{f}:=\sum _{i=1}^{n}{\frac {\partial f}{\partial p_{i}}}\partial _{q_{i}}-{\frac {\partial f}{\partial q_{i}}}\partial _{p_{i}}$ पर विचार करता है, तो पॉइसन ब्रैकेट को $\{f,g\}=\omega (X_{f},X_{g}).$के रूप में फिर से लिखा जा सकता है।

अधिक अमूर्त विभेदक ज्यामितीय शब्दों में, कॉन्फ़िगरेशन स्थान एक $n$-आयामी स्मूथ मैनिफोल्ड $Q$ है, और चरण स्थान इसका कोटैंजेंट बंडल $T^{*}Q$ (आयाम $2n$ का मैनिफोल्ड) है। उत्तरार्द्ध स्वाभाविक रूप से एक विहित सहानुभूतिपूर्ण रूप से सुसज्जित है, जो विहित निर्देशांक में ऊपर वर्णित के साथ मेल खाता है। सामान्य रूप से , डार्बौक्स प्रमेय के अनुसार, कोई भी इच्छित सिंपलेक्टिक मैनिफोल्ड $(M,\omega )$ विशेष निर्देशांक स्वीकार करता है, जहां फॉर्म $\omega$ और ब्रैकेट $\{f,g\}=\omega (X_{f},X_{g})$ क्रमशः, सिंपलेक्टिक फॉर्म और $\mathbb {R} ^{2n}$ के पॉइसन ब्रैकेट के समान होते हैं। इसलिए सिम्प्लेक्टिक ज्यामिति मौलिक हैमिल्टनियन यांत्रिकी का वर्णन करने के लिए प्राकृतिक गणितीय सेटिंग है।

पॉइसन मैनिफोल्ड्स सिम्प्लेक्टिक मैनिफोल्ड्स के आगे सामान्यीकरण हैं, जो $\mathbb {R} ^{2n}$ पर पॉइसन ब्रैकेट द्वारा संतुष्ट गुणों को स्वयंसिद्ध करने से उत्पन्न होते हैं। अधिक स्पष्ट रूप से, एक पॉइसन मैनिफोल्ड में एक अमूर्त ब्रैकेट $\{\cdot ,\cdot \}:{\mathcal {C}}^{\infty }(M)\times {\mathcal {C}}^{\infty }(M)\to {\mathcal {C}}^{\infty }(M)$ के साथ एक स्मूथ मैनिफोल्ड $M$ (जरूरी नहीं कि समान आयाम का हो) होता है, जिसे अभी भी पॉइसन ब्रैकेट कहा जाता है, जो जरूरी नहीं कि एक सहानुभूतिपूर्ण रूप $\omega$ से उत्पन्न होता है, किन्तु समान बीजगणित को संतुष्ट गुण करता है ।

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

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

इतिहास

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

वास्तव में, सिमोन डेनिस पॉइसन ने गति के नए अभिन्न अंग प्राप्त करने के लिए 1809 में जिसे हम पॉइसन ब्रैकेट कहते हैं, प्रस्तुत किया, अथार्थ वे मात्राएँ जो गति के समय संरक्षित रहती हैं। अधिक स्पष्ट रूप से, उन्होंने सिद्ध किया कि, यदि दो फलन f और g गतियों के अभिन्न अंग हैं, तो एक तीसरा फलन है, जिसे $\{f,g\}$ द्वारा निरूपित किया जाता है, जो गति का भी अभिन्न अंग है। यांत्रिकी के हैमिल्टनियन सूत्रीकरण में, जहां किसी भौतिक प्रणाली की गतिशीलता को किसी दिए गए फ़ंक्शन $h$ (समान्य रूप से प्रणाली की ऊर्जा) द्वारा वर्णित किया जाता है, गति का एक अभिन्न अंग केवल एक फ़ंक्शन f होता है, जो पॉइसन-h के साथ संचार करता है, अर्थात ऐसा कि $\{f,h\}=0$ प्रमेय के नाम से जाना जाएगा, उसे इस प्रकार तैयार किया जा सकता है

$$\{f,h\}=0,\{g,h\}=0\Rightarrow \{\{f,g\},h\}=0.$$

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

$$X_{\{f,g\}}=[X_{f},X_{g}],$$

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

बीसवीं सदी में आधुनिक विभेदक ज्यामिति का विकास हुआ, किन्तु केवल 1977 में आंद्रे लिचनेरोविक्ज़ ने स्मूथ मैनिफ़ोल्ड पर ज्यामितीय वस्तुओं के रूप में पॉइसन संरचनाओं को प्रस्तुत किया। पॉइसन मैनिफोल्ड्स का एलन वेनस्टीन के मूलभूत 1983 के पेपर में आगे अध्ययन किया गया, जहां अनेक बुनियादी संरचना प्रमेयों को पहली बार सिद्ध किया गया था।

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

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

पॉइसन संरचनाओं को परिभाषित करने के लिए दो मुख्य दृष्टिकोण हैं: उनके बीच स्विच करना प्रथागत और सुविधाजनक है।

कोष्ठक के रूप में

मान लीजिए कि $M$ एक सहज मैनिफोल्ड है और ${C^{\infty }}(M)$ $M$ पर सुचारू वास्तविक-मूल्य वाले कार्यों के वास्तविक बीजगणित को दर्शाता है, जहां गुणन को बिंदुवार परिभाषित किया गया है। $M$ पर एक पॉइसन ब्रैकेट (या पॉइसन संरचना) एक $\mathbb {R}$ -बिलिनियर मानचित्र है

$\{\cdot ,\cdot \}:{C^{\infty }}(M)\times {C^{\infty }}(M)\to {C^{\infty }}(M)$

पॉइसन बीजगणित की संरचना को परिभाषित करना ${C^{\infty }}(M)$, अथार्थ निम्नलिखित तीन नियमो को पूरा करना:

• तिरछी समरूपता: $\{f,g\}=-\{g,f\}$.
• जैकोबी पहचान: $\{f,\{g,h\}\}+\{g,\{h,f\}\}+\{h,\{f,g\}\}=0$.
• सामान्य लाइबनिज नियम या लीबनिज का नियम: $\{fg,h\}=f\{g,h\}+g\{f,h\}$.

पहली दो स्थितियाँ सुनिश्चित करती हैं कि $\{\cdot ,\cdot \}$ ${C^{\infty }}(M)$ पर एक लाई-बीजगणित संरचना को परिभाषित करता है, जबकि तीसरी गारंटी देती है कि, प्रत्येक $f\in {C^{\infty }}(M)$ के लिए, रैखिक मानचित्र $X_{f}:=\{f,\cdot \}:{C^{\infty }}(M)\to {C^{\infty }}(M)$ बीजगणित की व्युत्पत्ति है ${C^{\infty }}(M)$, अथार्त , यह एक सदिश क्षेत्र $X_{f}\in {\mathfrak {X}}(M)$ को परिभाषित करता है जिसे $f$ से संबंधित हैमिल्टनियन सदिश क्षेत्र कहा जाता है।

स्थानीय निर्देशांक चुनना $(U,x^{i})$, कोई भी पॉइसन ब्रैकेट द्वारा दिया गया है

$$\{f,g\}_{\mid U}=\sum _{i,j}\pi ^{ij}{\frac {\partial f}{\partial x^{i}}}{\frac {\partial g}{\partial x^{j}}},$$

$\pi ^{ij}=\{x^{i},x^{j}\}$ के लिए समन्वय कार्यों का पॉइसन ब्रैकेट।

बायसदिश के रूप में

स्मूथ मैनिफोल्ड $M$ पर एक पॉइसन बायसदिश एक बायसदिश क्षेत्र $\pi \in {\mathfrak {X}}^{2}(M):=\Gamma {\big (}\wedge ^{2}TM{\big )}$ है जो गैर-रेखीय आंशिक विभेदक समीकरण $[\pi ,\pi ]=0$ को संतुष्ट करता है, जहां

$[\cdot ,\cdot ]:{{\mathfrak {X}}^{p}}(M)\times {{\mathfrak {X}}^{q}}(M)\to {{\mathfrak {X}}^{p+q-1}}(M)$

मल्टीसदिश क्षेत्र पर स्काउटन-निजेनहुइस ब्रैकेट को दर्शाता है। स्थानीय निर्देशांक चुनना $(U,x^{i})$, कोई भी पॉइसन बायसदिश द्वारा दिया जाता है

$$\pi _{\mid U}=\sum _{i,j}\pi ^{ij}{\frac {\partial }{\partial x^{i}}}{\frac {\partial }{\partial x^{j}}},$$

$U$ पर $\pi ^{ij}$ तिरछा-सममित सुचारू कार्यों के लिए।

परिभाषाओं की समतुल्यता

होने देना $\{\cdot ,\cdot \}$ लीबनिज़ के नियम को संतुष्ट करने वाला एक द्विरेखीय तिरछा-सममित ब्रैकेट (जिसे लगभग लाई ब्रैकेट भी कहा जाता है) बनें; फिर फ़ंक्शन $\{f,g\}$ का वर्णन किया जा सकता है

$$\{f,g\}=\pi (df\wedge dg),$$

एक अद्वितीय स्मूथ द्विसदिश क्षेत्र $\pi \in {\mathfrak {X}}^{2}(M)$ के लिए। इसके विपरीत, M पर किसी भी स्मूथ द्विसदिश क्षेत्र $\pi$ को देखते हुए, वही सूत्र $\{f,g\}=\pi (df\wedge dg)$ लगभग लाई ब्रैकेट $\{\cdot ,\cdot \}$ को परिभाषित करता है जो स्वचालित रूप से लाइबनिज़ के नियम का पालन करता है।

फिर निम्नलिखित अभिन्नता स्थितियाँ समतुल्य हैं:

• $\{\cdot ,\cdot \}$ जैकोबी पहचान को संतुष्ट करता है (इसलिए यह एक पॉइसन ब्रैकेट है);
• $\pi$ संतुष्ट $[\pi ,\pi ]=0$ (इसलिए यह एक पॉइसन बायसदिश है);
• मानचित्र ${C^{\infty }}(M)\to {\mathfrak {X}}(M),f\mapsto X_{f}$ एक झूठ बीजगणित समरूपता है, अथार्त हैमिल्टनियन सदिश क्षेत्र $[X_{f},X_{g}]=X_{\{f,g\}}$ को संतुष्ट करते हैं।
• लेखाचित्र ${\rm {Graph}}(\pi )\subset TM\oplus T^{*}M$ एक डिराक संरचना को परिभाषित करता है, अथार्थ एक लैग्रेंजियन सबबंडल $D\subset TM\oplus T^{*}M$ जो मानक कूरेंट ब्रैकेट के अंतर्गत बंद है।

उपरोक्त चार आवश्यकताओं में से किसी के बिना एक पॉइसन संरचना को लगभग पॉइसन संरचना भी कहा जाता है।

होलोमॉर्फिक पॉइसन संरचनाएं

वास्तविक स्मूथ मैनिफ़ोल्ड के लिए पॉइसन संरचना की परिभाषा को जटिल स्थिति में भी अनुकूलित किया जा सकता है।

एक होलोमोर्फिक पॉइसन मैनिफोल्ड एक जटिल मैनिफोल्ड $M$ है जिसका होलोमोर्फिक कार्यों का शीफ ${\mathcal {O}}_{M}$ पॉइसन बीजगणित का एक शीफ है। समान रूप से, याद रखें कि एक जटिल मैनिफोल्ड $M$ पर एक होलोमोर्फिक द्विसदिश क्षेत्र $\pi$ एक खंड $\pi \in \Gamma (\wedge ^{2}T^{1,0}M)$ है जैसे कि ${\bar {\partial }}\pi =0$ फिर $M$ पर एक होलोमोर्फिक पॉइसन संरचना एक होलोमोर्फिक द्विसदिश क्षेत्र है जो समीकरण $[\pi ,\pi ]=0$} को संतुष्ट करता है। होलोमॉर्फिक पॉइसन मैनिफोल्ड्स को पॉइसन-निजेनहुइस संरचनाओं के संदर्भ में भी चित्रित किया जा सकता है

वास्तविक पॉइसन संरचनाओं के लिए अनेक परिणाम, उदा. उनकी अभिन्नता के संबंध में, होलोमोर्फिक तक भी विस्तार करें।

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

सिंपलेक्टिक पत्तियां

एक पॉइसन मैनिफोल्ड को स्वाभाविक रूप से संभवतः विभिन्न आयामों के नियमित रूप से विसर्जित सिंपलेक्टिक मैनिफोल्ड में विभाजित किया जाता है, जिसे इसकी सिंपलेक्टिक पत्तियां कहा जाता है। ये हैमिल्टनियन सदिश क्षेत्रों द्वारा फैलाए गए फोलिएशन या फोलिएशन और इंटीग्रैबिलिटी के अधिकतम अभिन्न उपमान के रूप में उत्पन्न होते हैं।

पॉइसन संरचना का पद

याद रखें कि किसी भी द्विसदिश क्षेत्र को तिरछी समरूपता $\pi ^{\sharp }:T^{*}M\to TM,\alpha \mapsto \pi (\alpha ,\cdot )$ के रूप में माना जा सकता है। छवि ${\pi ^{\sharp }}(T^{*}M)\subset TM$ में प्रत्येक $x\in M$ पर मूल्यांकन किए गए सभी हैमिल्टनियन सदिश क्षेत्र के मान ${X_{f}}(x)$ सम्मिलित हैं।

बिंदु $x\in M$ पर $\pi$ की पद प्रेरित रैखिक मानचित्रण $\pi _{x}^{\sharp }$ की पद है। एक बिंदु $x\in M$ को $M$ पर पॉइसन संरचना $\pi$ के लिए नियमित कहा जाता है यदि और केवल यदि $x\in M$ के विवृत निकट पर $\pi$ की पद स्थिर है; अन्यथा, इसे एकवचन बिंदु कहा जाता है। नियमित बिंदु एक विवृत घने उपस्थान $M_{\mathrm {reg} }\subseteq M$ का निर्माण करते हैं जब $M_{\mathrm {reg} }=M$ मानचित्र $\pi ^{\sharp }$ स्थिर पद का होता है, पॉइसन संरचना $\pi$ को नियमित कहा जाता है। नियमित पॉइसन संरचनाओं के उदाहरणों में तुच्छ और गैर-विक्षिप्त संरचनाएं सम्मिलित हैं (नीचे देखें)।

नियमित मामला

नियमित पॉइसन मैनिफोल्ड के लिए, छवि ${\pi ^{\sharp }}(T^{*}M)\subset TM$ एक वितरण (विभेदक ज्यामिति) है; इसलिए, फ्रोबेनियस प्रमेय (विभेदक टोपोलॉजी) द्वारा यह जांचना आसान है कि यह अनैच्छिक है, जिसमे $M$ पत्तों में विभाजन स्वीकार करता है। इसके अतिरिक्त , पॉइसन बाइसदिश प्रत्येक पत्ती को अच्छी तरह से प्रतिबंधित करता है, जो इसलिए सहानुभूतिपूर्ण मैनिफोल्ड बन जाता है।

गैर-नियमित मामला

वितरण के बाद से एक गैर-नियमित पॉइसन मैनिफोल्ड के लिए स्थिति अधिक जटिल है जिसमे ${\pi ^{\sharp }}(T^{*}M)\subset TM$ एकवचन वितरण (विभेदक ज्यामिति) है, अथार्थ सदिश उप-स्थान ${\pi ^{\sharp }}(T_{x}^{*}M)\subset T_{x}M$ अलग-अलग आयाम हैं.

${\pi ^{\sharp }}(T^{*}M)$ के लिए एक इंटीग्रल सबमैनिफोल्ड एक पथ-कनेक्टेड सबमैनिफोल्ड $S\subseteq M$ है जो सभी $x\in S$ के लिए $T_{x}S={\pi ^{\sharp }}(T_{x}^{\ast }M)$ को संतुष्ट करता है। $\pi$ के इंटीग्रल सबमैनिफोल्ड स्वचालित रूप से नियमित रूप से विसर्जित मैनिफोल्ड होते हैं, और $\pi$ के अधिकतम इंटीग्रल सबमैनिफोल्ड को $\pi$ की पत्तियां कहा जाता है।

इसके अतिरिक्त , प्रत्येक पत्ती $S$ सभी $f,g\in {C^{\infty }}(M)$ और $x\in S$ के लिए स्थिति $[{\omega _{S}}(X_{f},X_{g})](x)=-\{f,g\}(x)$ द्वारा निर्धारित एक प्राकृतिक सहानुभूतिपूर्ण रूप $\omega _{S}\in {\Omega ^{2}}(S)$ रखती है, इसलिए , कोई $\pi$ की सहानुभूतिपूर्ण पत्तियों की बात करता है। इसके अतिरिक्त , नियमित बिंदुओं का स्थान $M_{\mathrm {reg} }$ और उसका पूरक दोनों ही सिम्प्लेक्टिक पत्तियों से संतृप्त होते हैं, इसलिए सिम्प्लेक्टिक पत्तियाँ या तो नियमित या एकवचन हो सकती हैं।

वीनस्टीन विभाजन प्रमेय

गैर-नियमित स्थिति में भी सहानुभूतिपूर्ण पत्तियों के अस्तित्व को दिखाने के लिए, कोई वीनस्टीन विभाजन प्रमेय (या डार्बौक्स-वेनस्टीन प्रमेय) का उपयोग कर सकता है। इसमें कहा गया है कि कोई भी पॉइसन मैनिफोल्ड $(M^{n},\pi )$ स्थानीय रूप से एक बिंदु $x_{0}\in M$ के आसपास एक सिंपलेक्टिक मैनिफोल्ड $(S^{2k},\omega )$ और एक अनुप्रस्थ पॉइसन सबमैनिफोल्ड $(T^{n-2k},\pi _{T})$ के उत्पाद के रूप में विभाजित होता है जो $x_{0}$ पर लुप्त हो जाता है। अधिक स्पष्ट रूप से, यदि $\mathrm {rank} (\pi _{x_{0}})=2k$ तो स्थानीय निर्देशांक $(U,p_{1},\ldots ,p_{k},q^{1},\ldots ,q^{k},x^{1},\ldots ,x^{n-2k})$ हैं जैसे कि पॉइसन बायवेक्टर

$$\pi _{\mid U}=\sum _{i=1}^{k}{\frac {\partial }{\partial q^{i}}}{\frac {\partial }{\partial p_{i}}}+{\frac {1}{2}}\sum _{i,j=1}^{n-2k}\phi ^{ij}(x){\frac {\partial }{\partial x^{i}}}{\frac {\partial }{\partial x^{j}}},$$

जहाँ $\phi ^{ij}(x_{0})=0$. ध्यान दें कि, जब पद की $\pi$ अधिकतम है (उदाहरण के लिए पॉइसन संरचना नॉनडीजेनरेट है), कोई सहानुभूति संरचनाओं के लिए मौलिक डार्बौक्स के प्रमेय को पुनः प्राप्त करता है।

उदाहरण

तुच्छ पॉइसन संरचनाएं

प्रत्येक मैनिफ़ोल्ड $M$ में तुच्छ पॉइसन संरचना $\{f,g\}=0$ होती है, जिसे द्विसदिश $\pi =0${द्वारा समकक्ष रूप से वर्णित किया गया है। इसलिए $M$ का प्रत्येक बिंदु एक शून्य-आयामी सिंपलेक्टिक पत्ता है।

नॉनडीजेनरेट पॉइसन संरचनाएं

एक द्विसदिश क्षेत्र $\pi$ को नॉनडीजेनरेट कहा जाता है यदि $\pi ^{\sharp }:T^{*}M\to TM$ एक सदिश बंडल आइसोमोर्फिज्म है। नॉनडीजेनरेट पॉइसन द्विसदिश क्षेत्र वास्तव में सिम्पलेक्टिक मैनिफोल्ड्स $(M,\omega )$ के समान ही हैं।

वास्तव में, नॉनडीजेनरेट बायसदिश क्षेत्रों के बीच एक विशेषण पत्राचार है $\pi$ और नॉनडीजेनरेट फॉर्म|नॉनडीजेनरेट 2-फॉर्म $\omega$, द्वारा दिए गए

$$\pi ^{\sharp }=(\omega ^{\flat })^{-1},$$

जहां $\omega$ को $\omega ^{\flat }:TM\to T^{*}M,\quad v\mapsto \omega (v,\cdot )$ द्वारा एन्कोड किया गया है। इसके अतिरिक्त , $\pi$ स्पष्ट रूप से पॉइसन है यदि और केवल यदि $\omega$ बंद है; ऐसे स्थिति में, ब्रैकेट हैमिल्टनियन यांत्रिकी से विहित पॉइसन ब्रैकेट बन जाता है:

$$\{f,g\}:=\omega (X_{f},X_{g}).$$

गैर-पतित पॉइसन संरचनाओं में केवल एक सहानुभूति पत्ती होती है, अर्थात् $M$ स्वयं, और उनका पॉइसन बीजगणित $({\mathcal {C}}^{\infty }(M),\{\cdot ,\cdot \})$ पॉइसन वलय बनें।

रैखिक पॉइसन संरचनाएं

एक पॉइसन संरचना $\{\cdot ,\cdot \}$ एक सदिश स्थान पर $V$ रैखिक तब कहा जाता है जब दो रैखिक फलनों का कोष्ठक अभी भी रैखिक हो।

रैखिक पॉइसन संरचनाओं के साथ सदिश रिक्त स्थान का वर्ग वास्तव में (दोहरे) ले बीजगणित के साथ मेल खाता है। वास्तव में, किसी भी परिमित-आयामी लाई बीजगणित ${\mathfrak {g}}^{*}$ के दोहरे $({\mathfrak {g}},[\cdot ,\cdot ])$ में एक रैखिक पॉइसन ब्रैकेट होता है, जिसे साहित्य में लाई-पॉइसन, किरिलोव-पॉइसन या केकेएस (कोस्टेंट-किरिलोव-सोरियाउ) संरचना के नाम से जाना जाता है:

$$\{f,g\}(\xi ):=\xi ([d_{\xi }f,d_{\xi }g]_{\mathfrak {g}}),$$

जहाँ $f,g\in {\mathcal {C}}^{\infty }({\mathfrak {g}}^{*}),\xi \in {\mathfrak {g}}^{*}$ और व्युत्पन्न $d_{\xi }f,d_{\xi }g:T_{\xi }{\mathfrak {g}}^{*}\to \mathbb {R}$ बिडुअल के तत्वों के रूप में व्याख्या की जाती है ${\mathfrak {g}}^{**}\cong {\mathfrak {g}}$. समान रूप से, पॉइसन बायसदिश को स्थानीय रूप से इस प्रकार व्यक्त किया जा सकता है

$$\pi =\sum _{i,j,k}c_{k}^{ij}x^{k}{\frac {\partial }{\partial x^{i}}}{\frac {\partial }{\partial x^{j}}},$$

जहां $x^{i}$ ${\mathfrak {g}}^{*}$ पर निर्देशांक हैं और $c_{k}^{ij}$ ${\mathfrak {g}}$ से संबंधित संरचना स्थिरांक हैं।

इसके विपरीत, $V$ पर कोई भी रैखिक पॉइसन संरचना $\{\cdot ,\cdot \}$ इस रूप में होनी चाहिए, अथार्थ कि ${\mathfrak {g}}:=V^{*}$ पर प्रेरित एक प्राकृतिक लाई बीजगणित संरचना उपस्थित है जिसका लाई-पॉइसन ब्रैकेट $\{\cdot ,\cdot \}$ को पुनः प्राप्त करता है

${\mathfrak {g}}^{*}$ पर ली-पॉइसन संरचना की सहानुभूति पत्तियाँ ${\mathfrak {g}}^{*}$ पर $G$ की सहसंयुक्त क्रिया की कक्षाएँ हैं।

फ़ाइबरवाइज रैखिक पॉइसन संरचनाएं

पिछले उदाहरण को निम्नानुसार सामान्यीकृत किया जा सकता है। एक सदिश बंडल $E\to M$ के कुल स्थान पर एक पॉइसन संरचना को फ़ाइबरवाइज रैखिक कहा जाता है जब दो सुचारू कार्यों का ब्रैकेट $E\to \mathbb {R}$, जिनके तंतुओं पर प्रतिबंध रैखिक होते हैं, तंतुओं तक सीमित होने पर भी रैखिक होते हैं। समान रूप से, पॉइसन बाइसदिश क्षेत्र $\pi$ को किसी भी $(m_{t})^{*}\pi =t\pi$ के लिए $t>0$ को संतुष्ट करने के लिए कहा जाता है, जहां $m_{t}:E\to E$ अदिश गुणन $v\mapsto tv$ है

रैखिक पॉइसन संरचनाओं के साथ सदिश बंडलों का वर्ग वास्तव में (दोहरे) लेई बीजगणित के साथ मेल खाता है। वास्तव में, द्वैत $A^{*}$ किसी भी लाई बीजगणित का $(A,[\cdot ,\cdot ])$ एक फ़ाइबरवाइज रैखिक पॉइसन ब्रैकेट रखता है, द्वारा विशिष्ट रूप से परिभाषित किया गया है

$$\{\mathrm {ev} _{\alpha },\mathrm {ev} _{\beta }\}:=ev_{[\alpha ,\beta ]}\quad \quad \forall \alpha ,\beta \in \Gamma (A),$$

जहाँ $\mathrm {ev} _{\alpha }:A^{*}\to \mathbb {R} ,\phi \mapsto \phi (\alpha )$ द्वारा मूल्यांकन है जहाँ $\alpha$. समान रूप से, पॉइसन बायसदिश को स्थानीय रूप से इस प्रकार व्यक्त किया जा सकता है

$$\pi =\sum _{i,a}B_{a}^{i}(x){\frac {\partial }{\partial y_{a}}}{\frac {\partial }{\partial x^{i}}}+\sum _{a<b,c}C_{ab}^{c}(x)y_{c}{\frac {\partial }{\partial y_{a}}}{\frac {\partial }{\partial y_{b}}},$$

जहां $x^{i}$ एक बिंदु $x\in M$ के आसपास निर्देशांक हैं $y_{a}$ $A^{*}$ पर फाइबर निर्देशांक हैं, जो $A$ के स्थानीय फ्रेम $e_{a}$ के दोहरे हैं, और $B_{a}^{i}$ और $C_{ab}^{c}$ $A$ के संरचना कार्य हैं, अथार्त । अद्वितीय सुचारू कार्य संतोषजनक है

$$\rho (e_{a})=\sum _{i}B_{a}^{i}(x){\frac {\partial }{\partial x^{i}}},\quad \quad [e_{a},e_{b}]=\sum _{c}C_{ab}^{c}(x)e_{c}.$$

इसके विपरीत, कोई भी फ़ाइबरवाइज रैखिक पॉइसन संरचना $\{\cdot ,\cdot \}$ पर $E$ इस रूप का होना चाहिए, अथार्थ वहां एक प्राकृतिक लाई बीजगणित संरचना उपस्थित है $A:=E^{*}$ जिसका लाई-पॉइसन ब्रैकेट ठीक हो गया है $\{\cdot ,\cdot \}$. की सहानुभूतिपूर्ण पत्तियाँ $A^{*}$ ली बीजगणित#प्रथम गुणों के कोटैंजेंट बंडल हैं ${\mathcal {O}}\subseteq A$; समान रूप से, यदि $A$ एक लाई ग्रुपॉइड के लिए अभिन्न अंग है ${\mathcal {G}}\rightrightarrows M$, वे अन्य लाई ग्रुपॉयड से ली ग्रुपॉइड#कंस्ट्रक्शन की कक्षाओं के जुड़े हुए घटक हैं $T^{*}{\mathcal {G}}\rightrightarrows A^{*}$.

के लिए $M=\{*\}$ एक रैखिक पॉइसन संरचनाओं को पुनः प्राप्त करता है, जबकि के लिए $A=TM$ फ़ाइबरवाइज़ लीनियर पॉइसन संरचना कोटैंजेंट बंडल की कैनोनिकल सिम्पलेक्टिक संरचना द्वारा दी गई नॉनडिजेनरेट संरचना है $T^{*}M$.

अन्य उदाहरण और निर्माण

• सदिश समष्टि पर कोई भी स्थिर द्विसदिश क्षेत्र स्वचालित रूप से एक पॉइसन संरचना है; वास्तव में, जेकोबीएटर में सभी तीन पद शून्य हैं, जो एक स्थिर कार्य वाला ब्रैकेट है।
• सतह पर कोई भी बाइसदिश क्षेत्र (टोपोलॉजी) | 2-आयामी मैनिफोल्ड स्वचालित रूप से एक पॉइसन संरचना है; वास्तव में, $[\pi ,\pi ]$ एक 3-सदिश क्षेत्र है, जो आयाम 2 में सदैव शून्य होता है।
• कोई भी पॉइसन बाइसदिश क्षेत्र दिया गया $\pi$ 3-मैनिफोल्ड|3-आयामी मैनिफोल्ड पर $M$, बायसदिश क्षेत्र $f\pi$, किसी के लिए $f\in {\mathcal {C}}^{\infty }(M)$, स्वचालित रूप से पॉइसन है।
• कार्टेशियन उत्पाद $(M_{0}\times M_{1},\pi _{0}\times \pi _{1})$ दो पॉइसन मैनिफोल्ड्स का $(M_{0},\pi _{0})$ और $(M_{1},\pi _{1})$ यह फिर से एक पॉइसन मैनिफोल्ड है।
• होने देना ${\mathcal {F}}$ आयाम का एक (नियमित) पत्ते बनें $2r$ पर $M$ और $\omega \in {\Omega ^{2}}({\mathcal {F}})$ एक बंद पत्ते दो-रूप जिसके लिए शक्ति $\omega ^{r}$ कहीं गायब नहीं है. यह विशिष्ट रूप से एक नियमित पॉइसन संरचना को निर्धारित करता है $M$ की सहानुभूतिपूर्ण पत्तियों की आवश्यकता के द्वारा $\pi$ पत्ते बनना $S$ का ${\mathcal {F}}$ प्रेरित सिंपलेक्टिक फॉर्म से सुसज्जित $\omega |_{S}$.
• होने देना $G$ एक लाई समूह बनें एक पॉइसन मैनिफोल्ड पर लाई समूह कार्रवाई $(M,\pi )$ पॉइसन डिफियोमोर्फिज्म द्वारा। यदि क्रिया स्वतंत्र क्रिया और उचित क्रिया है, तो भागफल मैनिफोल्ड हो जाता है $M/G$ एक पॉइसन संरचना विरासत में मिली है $\pi _{M/G}$ से $\pi$ (अर्थात्, यह एकमात्र ऐसा है जो सबमर्शन (गणित) $(M,\pi )\to (M/G,\pi _{M/G})$ एक पॉइसन मानचित्र है)।

पॉइसन कोहोमोलॉजी

पॉइसन कोहोमोलॉजी समूह $H^{k}(M,\pi )$ पॉइसन मैनिफोल्ड के कोचेन कॉम्प्लेक्स के कोहोमोलॉजी समूह हैं

$$\ldots \xrightarrow {d_{\pi }} {\mathfrak {X}}^{\bullet }(M)\xrightarrow {d_{\pi }} {\mathfrak {X}}^{\bullet +1}(M)\xrightarrow {d_{\pi }} \ldots \color {white}{\sum ^{i}}$$

जहां ऑपरेटर $d_{\pi }=[\pi ,-]$ Schouten-Nijenhuis ब्रैकेट के साथ है $\pi$. ध्यान दें कि इस तरह के अनुक्रम को प्रत्येक बायसदिश के लिए परिभाषित किया जा सकता है $M$; स्थिति $d_{\pi }\circ d_{\pi }=0$ के बराबर है $[\pi ,\pi ]=0$, अर्थात। $M$ पॉइसन होना.

रूपवाद का उपयोग करना $\pi ^{\sharp }:T^{*}M\to TM$, कोई राम परिसर का से एक रूपवाद प्राप्त करता है $(\Omega ^{\bullet }(M),d_{dR})$ पॉइसन कॉम्प्लेक्स के लिए $({\mathfrak {X}}^{\bullet }(M),d_{\pi })$, एक समूह समरूपता को प्रेरित करना $H_{dR}^{\bullet }(M)\to H^{\bullet }(M,\pi )$. गैर-अपक्षयी स्थिति में, यह एक समरूपता बन जाता है, जिससे कि एक सिम्प्लेक्टिक मैनिफोल्ड की पॉइसन कोहॉमोलॉजी पूरी तरह से अपने उसके पास मेमने की तरह गर्भाशय है को पुनः प्राप्त कर लेती है।

पॉइसन कोहोमोलॉजी की सामान्य रूप से गणना करना कठिन है, किन्तु निम्न डिग्री समूहों में पॉइसन संरचना पर महत्वपूर्ण ज्यामितीय जानकारी होती है:

• $H^{0}(M,\pi )$ कासिमिर फ़ंक्शंस का स्थान है, अथार्थ अन्य सभी के साथ पॉइसन-कम्यूटिंग के सुचारू कार्य (या, समकक्ष, सहानुभूतिपूर्ण पत्तियों पर स्थिर कार्य);
• $H^{1}(M,\pi )$ पोइसन सदिश क्षेत्र मॉड्यूलो हैमिल्टनियन सदिश क्षेत्र का स्थान है;
• $H^{2}(M,\pi )$ पोइसन संरचना मोडुलो तुच्छ विकृतियों के अनंतिम विकृतियों का स्थान है;
• $H^{3}(M,\pi )$ अनंत सूक्ष्म विकृतियों को वास्तविक विकृतियों तक विस्तारित करने के लिए अवरोधों का स्थान है।

मॉड्यूलर वर्ग

पॉइसन मैनिफोल्ड का मॉड्यूलर वर्ग पहले पॉइसन कोहोमोलॉजी समूह में एक वर्ग है, जो हैमिल्टनियन प्रवाह के अनुसार वॉल्यूम फॉर्म अपरिवर्तनीय के अस्तित्व में बाधा है। इसे कोस्ज़ुल द्वारा प्रस्तुत किया गया था और वीनस्टीन. याद रखें कि विचलन#एक सदिश क्षेत्र के वक्ररेखीय निर्देशांक में $X\in {\mathfrak {X}}(M)$ किसी दिए गए वॉल्यूम फॉर्म के संबंध में $\lambda$ कार्य है ${\rm {div}}_{\lambda }(X)\in {\mathcal {C}}^{\infty }(M)$ द्वारा परिभाषित ${\rm {div}}_{\lambda }(X)={\frac {{\mathcal {L}}_{X}\lambda }{\lambda }}$. वॉल्यूम फॉर्म के संबंध में पॉइसन मैनिफ़ोल्ड का मॉड्यूलर सदिश क्षेत्र $\lambda$, सदिश क्षेत्र है $X_{\lambda }$ हैमिल्टनियन सदिश क्षेत्रों के विचलन द्वारा परिभाषित: $X_{\lambda }:f\mapsto {\rm {div}}_{\lambda }(X_{f})$.

मॉड्यूलर सदिश क्षेत्र एक पॉइसन 1-कोसाइकिल है, अथार्थ यह संतुष्ट करता है ${\mathcal {L}}_{X_{\lambda }}\pi =0$. इसके अतिरिक्त , दो वॉल्यूम फॉर्म दिए गए हैं $\lambda _{1}$ और $\lambda _{2}$, के विभेदक $X_{\lambda _{1}}-X_{\lambda _{2}}$ एक हैमिल्टनियन सदिश क्षेत्र है। तदनुसार, पॉइसन कोहोमोलॉजी वर्ग $[X_{\lambda }]_{\pi }\in H^{1}(M,\pi )$ वॉल्यूम फॉर्म की मूल पसंद पर निर्भर नहीं है $\lambda$, और इसे पॉइसन मैनिफोल्ड का मॉड्यूलर वर्ग कहा जाता है।

एक पॉइसन मैनिफोल्ड को यूनिमॉड्यूलर कहा जाता है यदि उसका मॉड्यूलर वर्ग गायब हो जाता है। ध्यान दें कि ऐसा तभी होता है जब वॉल्यूम फॉर्म उपस्थित हो $\lambda$ जैसे कि मॉड्यूलर सदिश क्षेत्र $X_{\lambda }$ गायब हो जाता है, अथार्थ ${\rm {div}}_{\lambda }(X_{f})=0$ हरएक के लिए $f$; दूसरे शब्दों में, $\lambda$ किसी भी हैमिल्टनियन सदिश क्षेत्र के प्रवाह के अनुसार अपरिवर्तनीय है। उदाहरण के लिए:

• सिम्प्लेक्टिक संरचनाएं सदैव एक-मॉड्यूलर होती हैं, क्योंकि लिउविल फॉर्म सभी हैमिल्टनियन सदिश क्षेत्रों के अनुसार अपरिवर्तनीय है;
• रैखिक पॉइसन संरचनाओं के लिए मॉड्यूलर वर्ग अनन्तिमल वर्ण है ${\mathfrak {g}}$, चूंकि मानक लेबेस्ग माप से संबद्ध मॉड्यूलर सदिश क्षेत्र पर है ${\mathfrak {g}}^{*}$ पर स्थिर सदिश क्षेत्र है ${\mathfrak {g}}^{*}$. तब ${\mathfrak {g}}^{*}$ पोइसन मैनिफोल्ड के रूप में यूनिमॉड्यूलर है यदि और केवल यदि यह लाई बीजगणित के रूप में यूनिमॉड्यूलर समूह है;
• नियमित पॉइसन संरचनाओं के लिए मॉड्यूलर वर्ग अंतर्निहित सिंपलेक्टिक फोलिएशन के रीब वर्ग से संबंधित है (पहले लीफवाइज कोहोमोलॉजी समूह का एक तत्व, जो फोलिएशन के स्पर्शरेखा सदिश क्षेत्रों द्वारा वॉल्यूम सामान्य फॉर्म अपरिवर्तनीय के अस्तित्व में बाधा डालता है)।

पॉइसन होमोलॉजी

पॉइसन कोहोमोलॉजी की शुरुआत 1977 में स्वयं लिचनेरोविक्ज़ ने की थी;एक दशक बाद, जीन-ल्यूक ब्रिलिंस्की ने ऑपरेटर का उपयोग करते हुए पॉइसन मैनिफोल्ड्स के लिए एक होमोलॉजी सिद्धांत प्रस्तुत किया $\partial _{\pi }=[d,\iota _{\pi }]$. पॉइसन होमोलॉजी और कोहोमोलॉजी से संबंधित अनेक परिणाम सिद्ध हो चुके हैं। उदाहरण के लिए, ओरिएंटेबल यूनिमॉड्यूलर पॉइसन मैनिफोल्ड्स के लिए, पॉइसन होमोलॉजी पॉइसन कोहोमोलॉजी के लिए आइसोमोर्फिक सिद्ध होती है: यह जू द्वारा स्वतंत्र रूप से सिद्ध किया गया था और इवांस-लू-वेनस्टीन।

पॉइसन मानचित्र

एक सहज मानचित्र $\varphi :M\to N$ पॉइसन मैनिफ़ोल्ड्स के बीच को a कहा जाता हैPoisson map यदि यह पॉइसन संरचनाओं का सम्मान करता है, अथार्थ निम्नलिखित समकक्ष नियमो में से एक रखती है (उपरोक्त पॉइसन संरचनाओं की समकक्ष परिभाषाओं के साथ तुलना करें):

• पॉइसन कोष्ठक $\{\cdot ,\cdot \}_{M}$ और $\{\cdot ,\cdot \}_{N}$ संतुष्ट ${\{f,g\}_{N}}(\varphi (x))={\{f\circ \varphi ,g\circ \varphi \}_{M}}(x)$ हरएक के लिए $x\in M$ और सुचारू कार्य $f,g\in {C^{\infty }}(N)$ * बायसदिश क्षेत्र $\pi _{M}$ और $\pi _{N}$ हैं $\varphi$-संबंधित, अथार्थ $\pi _{N}=\varphi _{*}\pi _{M}$
• हर सुचारु कार्य से जुड़े हैमिल्टनियन सदिश क्षेत्र $H\in {\mathcal {C}}^{\infty }(N)$ हैं $\varphi$-संबंधित, अथार्थ $X_{H}=\varphi _{*}X_{H\circ \phi }$
• विभेदक $d\varphi :(TM,{\rm {Graph}}(\pi _{M}))\to (TN,{\rm {Graph}}(\pi _{N}))$ एक डिराक रूपवाद है।

एक एंटी-पॉइसन मानचित्र एक तरफ ऋण चिह्न के साथ समान स्थितियों को संतुष्ट करता है।

पॉइसन मैनिफोल्ड्स एक श्रेणी की वस्तुएं हैं ${\mathfrak {Poiss}}$, पॉइसन मानचित्रों के साथ रूपवाद। यदि एक पॉइसन मानचित्र $\varphi :M\to N$ यह भी एक भिन्नरूपता है, तो हम कहते हैं $\varphi$ एक पॉइसन-डिफोमोर्फिज्म।

उदाहरण

• उत्पाद पॉइसन मैनिफोल्ड को देखते हुए $(M_{0}\times M_{1},\pi _{0}\times \pi _{1})$, विहित अनुमान $\mathrm {pr} _{i}:M_{0}\times M_{1}\to M_{i}$, के लिए $i\in \{0,1\}$, पॉइसन मानचित्र हैं।
• एक सिम्प्लेक्टिक पत्ती, या एक विवृत उपस्थान का समावेशन मानचित्रण, एक पॉइसन मानचित्र है।
• दो लाई बीजगणित दिए गए हैं ${\mathfrak {g}}$ और ${\mathfrak {h}}$, किसी भी लाई बीजगणित समरूपता का द्वैत ${\mathfrak {g}}\to {\mathfrak {h}}$ एक पॉइसन मानचित्र प्रेरित करता है ${\mathfrak {h}}^{*}\to {\mathfrak {g}}^{*}$ उनकी रैखिक पॉइसन संरचनाओं के बीच।
• दो लाई बीजगणित दिए गए हैं $A\to M$ और $B\to M$, किसी भी लाई बीजगणित रूपवाद का द्वैत $A\to B$ पहचान के ऊपर एक पॉइसन मानचित्र उत्पन्न होता है $B^{*}\to A^{*}$ उनकी फ़ाइबरवाइज रैखिक पॉइसन संरचना के बीच।

किसी को ध्यान देना चाहिए कि पॉइसन मानचित्र की धारणा मूल रूप से सिम्प्लेक्टोमोर्फिज्म से भिन्न है। उदाहरण के लिए, उनकी मानक सहानुभूति संरचनाओं के साथ, कोई पॉइसन मानचित्र उपस्थित नहीं हैं $\mathbb {R} ^{2}\to \mathbb {R} ^{4}$, जबकि सहानुभूतिपूर्ण मानचित्र प्रचुर मात्रा में हैं।

प्रतीकात्मक अनुभूतियाँ

पॉइसन मैनिफोल्ड एम पर एक सिम्पलेक्टिक अहसास में एक सिम्पलेक्टिक मैनिफोल्ड सम्मिलित होता है $(P,\omega )$ पॉइसन मानचित्र के साथ $\phi :(P,\omega )\to (M,\pi )$ जो कि एक विशेषणात्मक निमज्जन है। मोटे रूप से कहें तो, एक सहानुभूतिपूर्ण अहसास की भूमिका एक जटिल (पतित) पॉइसन को एक बड़े, किन्तु आसान (गैर-पतित) से गुजरते हुए मैनिफोल्ड कम करना है।

ध्यान दें कि कुछ लेखक इस अंतिम शर्त के बिना सहानुभूति बोध को परिभाषित करते हैं (ताकि, उदाहरण के लिए, एक सहानुभूति मैनिफोल्ड में एक सहानुभूति पत्ती का समावेश एक उदाहरण हो) और पूर्ण को एक सहानुभूति बोध कहते हैं जहां $\phi$ एक विशेषण निमज्जन है. (पूर्ण) सहानुभूति बोध के उदाहरणों में निम्नलिखित सम्मिलित हैं:

• तुच्छ पॉइसन संरचना के लिए $(M,0)$, एक के रूप में लेता है $P$ कोटैंजेंट बंडल $T^{*}M$, इसके टॉटोलॉजिकल एक-रूप के साथ, और जैसा $\phi$प्रक्षेपण $T^{*}M\to M$.
• एक गैर-पतित पॉइसन संरचना के लिए $(M,\omega )$ एक के रूप में लेता है $P$ मैनिफ़ोल्ड $M$ स्वयं और जैसा $\phi$ पहचान $M\to M$.
• लाई-पोइसन संरचना के लिए ${\mathfrak {g}}^{*}$, एक के रूप में लेता है $P$ कोटैंजेंट बंडल $T^{*}G$ एक लाई समूह का $G$ एकीकृत ${\mathfrak {g}}$ और के रूप में $\phi$ दोहरा मानचित्र $\phi :T^{*}G\to {\mathfrak {g}}^{*}$ (बाएँ या दाएँ) अनुवाद की पहचान में विभेदक का $G\to G$.

एक सिम्पलेक्सिक अहसास $\phi$ पूर्ण कहा जाता है यदि, किसी पूर्ण सदिश क्षेत्र हैमिल्टनियन सदिश क्षेत्र के लिए $X_{H}$, सदिश क्षेत्र $X_{H\circ \phi }$ पूर्ण भी है. जबकि प्रत्येक पॉइसन मैनिफोल्ड के लिए सहानुभूतिपूर्ण अहसास सदैव उपस्थित रहते हैं (और अनेक अलग-अलग प्रमाण उपलब्ध हैं), पूर्ण नहीं होते हैं, और उनका अस्तित्व पॉइसन मैनिफोल्ड्स के लिए इंटीग्रेबिलिटी समस्या में एक मौलिक भूमिका निभाता है (नीचे देखें)।

पॉइसन मैनिफोल्ड्स का एकीकरण

कोई भी पॉइसन मैनिफ़ोल्ड $(M,\pi )$ इसके कोटैंजेंट बंडल पर बीजगणित की एक संरचना उत्पन्न होती है $T^{*}M\to M$, जिसे कोटैंजेंट बीजगणित भी कहा जाता है। एंकर मानचित्र द्वारा दिया गया है $\pi ^{\sharp }:T^{*}M\to TM$ जबकि लेट ब्रैकेट चालू है $\Gamma (T^{*}M)=\Omega ^{1}(M)$ परिभाषित किया जाता है

$$[\alpha ,\beta ]:={\mathcal {L}}_{\pi ^{\sharp }(\alpha )}(\beta )-\iota _{\pi ^{\sharp }(\beta )}d\alpha ={\mathcal {L}}_{\pi ^{\sharp }(\alpha )}(\beta )-{\mathcal {L}}_{\pi ^{\sharp }(\beta )}(\alpha )-d\pi (\alpha ,\beta ).$$

पॉइसन मैनिफोल्ड्स के लिए परिभाषित अनेक धारणाओं की व्याख्या इसके लाई बीजगणित के माध्यम से की जा सकती है $T^{*}M$:

• सिंपलेक्टिक फोलिएशन, लाई अलजेब्रॉइड के एंकर द्वारा प्रेरित सामान्य (एकवचन) फोलिएशन है;
• सहानुभूति पत्तियाँ लाई बीजगणित की कक्षाएँ हैं;
• एक पॉइसन संरचना पर $M$ ठीक ठीक तब नियमित होता है जब संबद्ध लाई बीजगणित होता है $T^{*}M$ है;
• पॉइसन कोहोमोलॉजी समूह ली अलजेब्रॉइड कोहोमोलॉजी समूहों के साथ मेल खाते हैं $T^{*}M$ तुच्छ प्रतिनिधित्व में गुणांक के साथ;
• पॉइसन मैनिफोल्ड का मॉड्यूलर वर्ग संबंधित लाई बीजगणित के मॉड्यूलर वर्ग के साथ मेल खाता है $T^{*}M$.

इस बात पर ध्यान देना अत्यंत महत्वपूर्ण है कि लाई बीजगणित $T^{*}M$ सदैव एक लाई ग्रुपॉइड के साथ एकीकृत नहीं होता है।

सिंपलेक्टिक ग्रुपोइड्स

एsymplectic groupoid एक लाई ग्रुपॉइड है ${\mathcal {G}}\rightrightarrows M$ एक साथ एक सिम्पलेक्सिक फॉर्म के साथ $\omega \in \Omega ^{2}({\mathcal {G}})$ जो गुणक भी है, अथार्थ यह समूह गुणन के साथ निम्नलिखित बीजगणितीय संगतता को संतुष्ट करता है: $m^{*}\omega ={\rm {pr}}_{1}^{*}\omega +{\rm {pr}}_{2}^{*}\omega$. समान रूप से, का ग्राफ $m$ का लैग्रेंजियन सबमैनिफोल्ड होने के लिए कहा गया है $({\mathcal {G}}\times {\mathcal {G}}\times {\mathcal {G}},\omega \oplus \omega \oplus -\omega )$. अनेक परिणामों में से, का आयाम ${\mathcal {G}}$ का आयाम स्वचालित रूप से दोगुना है $M$. सिम्प्लेक्टिक ग्रुपॉइड की धारणा 80 के दशक के अंत में अनेक लेखकों द्वारा स्वतंत्र रूप से प्रस्तुत की गई थी।

एक मौलिक प्रमेय बताता है कि किसी भी सहानुभूति समूह का आधार स्थान एक अद्वितीय पॉइसन संरचना को स्वीकार करता है $\pi$ जैसे कि स्रोत मानचित्र $s:({\mathcal {G}},\omega )\to (M,\pi )$ और लक्ष्य मानचित्र $t:({\mathcal {G}},\omega )\to (M,\pi )$ क्रमशः, एक पॉइसन मानचित्र और एक पॉइसन-विरोधी मानचित्र हैं। इसके अतिरिक्त , लाई बीजगणित ${\rm {Lie}}({\mathcal {G}})$ कोटैंजेंट बीजगणित के समरूपी है $T^{*}M$ पॉइसन मैनिफ़ोल्ड से संबद्ध $(M,\pi )$. इसके विपरीत, यदि कोटैंजेंट बंडल $T^{*}M$ एक पॉइसन मैनिफोल्ड का कुछ लाई ग्रुपॉइड के साथ अभिन्न अंग है ${\mathcal {G}}\rightrightarrows M$, तब ${\mathcal {G}}$ स्वचालित रूप से एक सिंपलेक्टिक ग्रुपॉइड है। तदनुसार, पॉइसन मैनिफोल्ड के लिए इंटीग्रैबिलिटी समस्या में एक (सिम्पलेक्टिक) लाई ग्रुपॉइड ढूंढना सम्मिलित है जो इसके कोटैंजेंट बीजगणित को एकीकृत करता है; जब ऐसा होता है, तो पॉइसन संरचना को इंटीग्रेबल कहा जाता है।

जबकि कोई भी पॉइसन मैनिफोल्ड एक स्थानीय एकीकरण को स्वीकार करता है (अर्थात एक सहानुभूति समूह जहां गुणन को केवल स्थानीय रूप से परिभाषित किया जाता है),इसकी इंटीग्रेबिलिटी में सामान्य टोपोलॉजिकल रुकावटें हैं, जो लाई अलजेब्रॉइड्स के इंटीग्रेबिलिटी सिद्धांत से आ रही हैं। इस तरह की रुकावटों का उपयोग करके, कोई यह दिखा सकता है कि एक पॉइसन मैनिफोल्ड तभी एकीकृत है जब यह पूर्ण सहानुभूतिपूर्ण अहसास को स्वीकार करता है। उम्मीदवार $\Pi (M,\pi )$ किसी दिए गए पॉइसन मैनिफ़ोल्ड को एकीकृत करने वाले सिम्प्लेक्टिक ग्रुपॉइड के लिए $(M,\pi )$ इसे पॉइसन होमोटॉपी ग्रुपॉइड कहा जाता है और यह कोटैंजेंट अलजेब्रॉइड का केवल लाई बीजगणित या वेनस्टीन समूह है $T^{*}M\to M$, जिसमें पथ (टोपोलॉजी) के एक विशेष वर्ग के बानाच स्थान का भागफल सम्मिलित है $T^{*}M$ एक उपयुक्त समकक्ष संबंध द्वारा. समान रूप से, $\Pi (M,\pi )$ इसे अनंत-आयामी सहानुभूति भागफल के रूप में वर्णित किया जा सकता है।

एकीकरण के उदाहरण

• तुच्छ पॉइसन संरचना $(M,0)$ सदैव अभिन्न होती है, सिम्प्लेक्टिक ग्रुपॉइड विहित सिम्पलेक्टिक रूप के साथ एबेलियन (एडिटिव) समूहों $T^{*}M\rightrightarrows M$ का बंडल होता है।
• $M$ पर एक गैर-पतित पोइसन संरचना सदैव पूर्णांक होती है, सिम्प्लेक्टिक ग्रुपॉइड युग्म ग्रुपॉइड $M\times M\rightrightarrows M$ के साथ सिम्प्लेक्टिक फॉर्म $s^{*}\omega -t^{*}\omega$ ($\pi ^{\sharp }=(\omega ^{\flat })^{-1}$ के लिए) होता है।
• ${\mathfrak {g}}^{*}$ पर एक लाई-पॉइसन संरचना सदैव पूर्णांकित होती है, सिम्प्लेक्टिक ग्रुपॉइड (कोएडजॉइंट) एक्शन ग्रुपॉइड $G\times {\mathfrak {g}}^{*}\rightrightarrows {\mathfrak {g}}^{*}$ होता है, $G$ के लिए $T^{*}G\cong G\times {\mathfrak {g}}^{*}$ के कैनोनिकल सिम्पलेक्टिक फॉर्म के साथ, ${\mathfrak {g}}$ का सरल रूप से जुड़ा हुआ एकीकरण होता है। .
• एक लाई-पोइसन संरचना पर $A^{*}$ पूर्णांकीय है यदि और केवल यदि लाई बीजगणित $A\to M$ एक लाई ग्रुपॉइड के लिए अभिन्न अंग है जहाँ ${\mathcal {G}}\rightrightarrows M$, सिम्प्लेक्टिक ग्रुपॉइड कोटैंजेंट ग्रुपॉइड है जो कि $T^{*}{\mathcal {G}}\rightrightarrows A^{*}$ विहित सहानुभूतिपूर्ण रूप के साथ है।

सबमैनिफोल्ड्स

$(M,\pi )$ का एक पॉइसन सबमैनिफोल्ड एक विसर्जित सबमैनिफोल्ड $N\subseteq M$ है, जैसे कि विसर्जन मानचित्र $(N,\pi _{\mid N})\hookrightarrow (M,\pi )$ एक पॉइसन मानचित्र है। समान रूप से, कोई पूछता है कि प्रत्येक हैमिल्टनियन सदिश क्षेत्र $X_{f}$, $f\in {\mathcal {C}}^{\infty }(M)$ के लिए,$N$ की स्पर्शरेखा है

यह परिभाषा बहुत स्वाभाविक है और अनेक अच्छे गुणों को संतुष्ट करती है, जैसे दो पॉइसन सबमैनिफोल्ड की ट्रांसवर्सेलिटी (गणित) फिर से एक पॉइसन सबमैनिफोल्ड है। चूँकि , इसमें कुछ समस्याएँ भी हैं:

• पॉइसन सबमैनिफोल्ड दुर्लभ हैं: उदाहरण के लिए, सिंपलेक्टिक मैनिफोल्ड के एकमात्र पॉइसन सबमैनिफोल्ड विवृत सेट हैं;
• परिभाषा कार्यात्मक रूप से व्यवहार नहीं करती है: यदि $\Phi :(M,\pi _{M})\to (N,\pi _{N})$ एक पॉइसन मानचित्र है जो $N$ के पॉइसन सबमैनिफोल्ड $Q$ के अनुप्रस्थ है, तो $M$ का सबमैनिफोल्ड $\Phi ^{-1}(Q)$ आवश्यक रूप से पॉइसन नहीं है।

इन समस्याओं को दूर करने के लिए, व्यक्ति अधिकांशत: पॉइसन ट्रांसवर्सल (मूल रूप से कोसिम्प्लेक्टिक सबमैनिफोल्ड कहा जाता है) की धारणा का उपयोग करता है इसे एक सबमैनिफोल्ड $X\subseteq M$ के रूप में परिभाषित किया जा सकता है जो प्रत्येक सिंपलेक्टिक लीफ $S$ के लिए अनुप्रस्थ है और इस तरह कि प्रतिच्छेदन $X\cap S$ $(S,\omega _{S})$ का एक सिंपलेक्टिक सबमैनिफोल्ड है। यह इस प्रकार है कि किसी भी पॉइसन ट्रांसवर्सल $X\subseteq (M,\pi )$ को $\pi$ से एक विहित पॉइसन संरचना $\pi _{X}$ प्राप्त होती है। एक गैर-अपक्षयी पॉइसन मैनिफोल्ड $(M,\pi )$ (जिसका एकमात्र सिंपलेक्टिक पत्ता $M$ ही है) के स्थिति में, पॉइसन ट्रांसवर्सल्स सिंपलेक्टिक सबमैनिफोल्ड के समान ही हैं।

सबमैनिफोल्ड्स के अधिक सामान्य वर्ग पॉइसन ज्यामिति में एक महत्वपूर्ण भूमिका निभाते हैं, जिनमें ली-डिराक सबमैनिफोल्ड्स, पॉइसन-डिराक सबमैनिफोल्ड्स, कोइसोट्रोपिक सबमैनिफोल्ड्स और प्री-पॉइसन सबमैनिफोल्ड्स सम्मिलित हैं।

यह भी देखें

• नंबू-पॉइसन मैनिफोल्ड
• पॉइसन-लाई समूह
• पॉइसन सुपरमैनिफोल्ड
• कोंटसेविच परिमाणीकरण सूत्र

किताबें और सर्वेक्षण

• Bhaskara, K. H.; Viswanath, K. (1988). पॉइसन बीजगणित और पॉइसन मैनिफोल्ड्स. Longman. ISBN 0-582-01989-3.
• Cannas da Silva, Ana; Weinstein, Alan (1999). गैर-अनुवांशिक बीजगणित के लिए ज्यामितीय मॉडल. AMS Berkeley Mathematics Lecture Notes, 10.
• Dufour, J.-P.; Zung, N.T. (2005). पॉइसन संरचनाएं और उनके सामान्य रूप. Vol. 242. Birkhäuser Progress in Mathematics.
• Crainic, Marius; Loja Fernandes, Rui; Mărcuț, Ioan (2021). पॉइसन ज्यामिति पर व्याख्यान. Graduate Studies in Mathematics. American Mathematical Society. ISBN 978-1-4704-6667-1. पिछला संस्करण [1] पर उपलब्ध है।
• Guillemin, Victor; Sternberg, Shlomo (1984). भौतिकी में सिम्पलेक्टिक तकनीकें. New York: Cambridge University Press. ISBN 0-521-24866-3.
• Libermann, Paulette; Marle, C.-M. (1987). सिम्प्लेक्टिक ज्यामिति और विश्लेषणात्मक यांत्रिकी. Dordrecht: Reidel. ISBN 90-277-2438-5.
• Vaisman, Izu (1994). पॉइसन मैनिफोल्ड्स की ज्यामिति पर व्याख्यान. Birkhäuser. पिंग जू द्वारा समीक्षा भी देखें एम्स का बुलेटिन.
• Weinstein, Alan (1998). "पॉइसन ज्यामिति". Differential Geometry and Its Applications. 9 (1–2): 213–238. doi:10.1016/S0926-2245(98)00022-9.

श्रेणी:विभेदक ज्यामिति श्रेणी:सिंपलेक्टिक ज्यामिति श्रेणी:स्मूथ मैनिफोल्ड श्रेणी:मैनिफोल्ड्स पर संरचनाएँ