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

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

एक स्मूथ मैनिफोल्ड पर एक पॉइसन संरचना (या पॉइसन ब्रैकेट)। $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}.$$

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

$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})$ यह फिर से एक पॉइसन मैनिफोल्ड है।
• मान लीजिए कि $M$ पर आयाम $2r$ का (नियमित) पर्णसमूह (नियमित) है और $\omega \in {\Omega ^{2}}({\mathcal {F}})$ एक बंद पर्ण दो-रूप में है, जिसके लिए शक्ति $\omega ^{r}$ कहीं लुप्त नहीं हो रही है। यह विशिष्ट रूप से $M$ पर एक नियमित पॉइसन संरचना को निर्धारित करता है, जिसके लिए $\pi$ की सिंपलेक्टिक लीफ को प्रेरित सिंपलेक्टिक रूप $\omega |_{S}$ से सुसज्जित ${\mathcal {F}}$ की लीफ $S$ की आवश्यकता होती है।
• मान लीजिए कि $G$ एक लाई समूह है जो पॉइसन डिफियोमोर्फिज्म द्वारा पॉइसन मैनिफोल्ड $(M,\pi )$ पर कार्य करता है। यदि कार्रवाई स्वतंत्र और उचित है, तो भागफल मैनिफोल्ड $M/G$ को $\pi$ से एक पॉइसन संरचना $\pi _{M/G}$ विरासत में मिलती है (अर्थात्, यह एकमात्र ऐसा है कि विसर्जन $(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 ,-]$ $\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 )$ अनंत सूक्ष्म विकृतियों को वास्तविक विकृतियों तक विस्तारित करने के लिए अवरोधों का समष्टि है।

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

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

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

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

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

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

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

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

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

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

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

• पॉइसन ब्रैकेट $\{\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}$, जबकि सिंपलेक्टिक मानचित्र प्रचुर मात्रा में हैं।

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

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

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

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

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

सिंपलेक्टिक समूहबद्ध एक लाई समूहबद्ध ${\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}}$ स्वचालित रूप से एक सिंपलेक्टिक समूहबद्ध है।

इसीलिए, पॉइसन मैनिफोल्ड के लिए अभिन्नता समस्या में एक (सिम्पलेक्टिक) लाई समूहबद्ध खोजना सम्मिलित है जो इसके कोटैंजेंट बीजगणित को एकीकृत करता है; जब ऐसा होता है, तो पॉइसन संरचना को इंटीग्रेबल कहा जाता है।

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

किसी दिए गए पॉइसन मैनिफोल्ड $(M,\pi )$ को एकीकृत करने वाले सिंपलेक्टिक समूहबद्ध के लिए उम्मीदवार $\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.

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