सिंपलेक्टिक मैनिफ़ोल्ड

विभेदक ज्यामिति में, गणित का विषय, सिम्प्लेक्टिक मैनिफोल्ड डिफरेंशियल मैनिफोल्ड#परिभाषा है, $$ M $$, बंद और सटीक अंतर रूपों से सुसज्जित गैर-अपक्षयी रूप विभेदक रूप | अंतर 2-रूप $$ \omega $$, सिंपलेक्टिक फॉर्म कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स के अध्ययन को सिंपलेक्टिक ज्यामिति या सिंपलेक्टिक टोपोलॉजी कहा जाता है। सिंपलेक्टिक मैनिफोल्ड्स शास्त्रीय यांत्रिकी और विश्लेषणात्मक यांत्रिकी के अमूर्त फॉर्मूलेशन में मैनिफोल्ड्स के कोटैंजेंट बंडलों के रूप में स्वाभाविक रूप से उत्पन्न होते हैं। उदाहरण के लिए, शास्त्रीय यांत्रिकी के हैमिल्टनियन यांत्रिकी में, जो क्षेत्र के लिए प्रमुख प्रेरणाओं में से प्रदान करता है, प्रणाली के सभी संभावित विन्यासों के सेट को कई गुना के रूप में तैयार किया जाता है, और यह कई गुना कोटैंजेंट बंडल सिस्टम के चरण स्थान का वर्णन करता है।

प्रेरणा
शास्त्रीय यांत्रिकी से सिंपलेक्टिक मैनिफ़ोल्ड उत्पन्न होते हैं; विशेष रूप से, वे बंद प्रणाली के चरण स्थान का सामान्यीकरण हैं। उसी तरह से हैमिल्टन समीकरण किसी को अंतर समीकरणों के सेट से सिस्टम के समय के विकास को प्राप्त करने की अनुमति देते हैं, सहानुभूतिपूर्ण रूप से किसी को हैमिल्टनियन फ़ंक्शन एच के अंतर डीएच से सिस्टम के प्रवाह का वर्णन करने वाला वेक्टर क्षेत्र प्राप्त करने की अनुमति मिलनी चाहिए।. इसलिए हमें रेखीय मानचित्र की आवश्यकता है TM → T∗M स्पर्शरेखा मैनिफोल्ड टीएम से को[[ स्पर्शरेखा अनेक गुना ]] टी तक∗M, या समकक्ष, का तत्व T∗M ⊗ T∗M. मान लीजिए कि ω खंड (फाइबर बंडल) को दर्शाता है T∗M ⊗ T∗M, आवश्यकता यह है कि ω विकृत रूप हो | गैर-डीजेनरेट यह सुनिश्चित करता है कि प्रत्येक अंतर डीएच के लिए अद्वितीय संगत वेक्टर फ़ील्ड वी हैHऐसा है कि dH = ω(VH, · ). चूँकि कोई चाहता है कि हैमिल्टनियन प्रवाह रेखाओं के साथ स्थिर रहे, तो उसे ऐसा करना चाहिए ω(VH, VH) = dH(VH) = 0, जिसका अर्थ है कि ω वैकल्पिक रूप है और इसलिए 2-रूप है। अंत में, कोई यह आवश्यकता करता है कि ω को प्रवाह रेखाओं के तहत नहीं बदलना चाहिए, यानी कि वी के साथ ω का झूठ व्युत्पन्नHगायब हो जाता है. कार्टन होमोटॉपी फॉर्मूला|कार्टन के फॉर्मूला को लागू करने पर, इसका मतलब (यहाँ) है $$ \iota_X$$ आंतरिक उत्पाद है):


 * $$\mathcal{L}_{V_H}(\omega) = 0\;\Leftrightarrow\;\mathrm d (\iota_{V_H} \omega) + \iota_{V_H} \mathrm d\omega= \mathrm d (\mathrm d\,H) + \mathrm d\omega(V_H) = \mathrm d\omega(V_H)=0$$

ताकि, विभिन्न सुचारू कार्यों के लिए इस तर्क को दोहराया जा सके $$H$$ इस प्रकार कि संगत $$V_H$$ प्रत्येक बिंदु पर स्पर्शरेखा स्थान का विस्तार करें जिस पर तर्क लागू किया गया है, हम देखते हैं कि प्रवाह के साथ लुप्त होने वाले लाई व्युत्पन्न की आवश्यकता है $$V_H$$ मनमाने ढंग से चिकनी के अनुरूप $$H$$ इस आवश्यकता के समतुल्य है कि ω को बंद किया जाना चाहिए और सटीक अंतर रूप होना चाहिए।

परिभाषा
चिकने कई गुना पर सिम्प्लेक्टिक रूप $$ M $$ बंद गैर-पतित अंतर 2-रूप है $$ \omega $$. यहां अ-विक्षिप्त का मतलब है कि हर बिंदु के लिए $$ p \in M $$, स्पर्शरेखा स्थान पर तिरछा-सममित युग्मन $$ T_p M $$ द्वारा परिभाषित $$ \omega $$ गैर पतित है. कहने का तात्पर्य यह है कि यदि कोई अस्तित्व में है $$ X \in T_p M $$ ऐसा है कि $$ \omega( X, Y ) = 0 $$ सभी के लिए $$ Y \in T_p M $$, तब $$ X = 0 $$. चूँकि विषम आयामों में, तिरछा-सममित मैट्रिक्स हमेशा एकवचन होता है, इसलिए यह आवश्यक है $$ \omega $$ अविक्षिप्त होना इसका तात्पर्य है $$ M $$ सम आयाम है. बंद स्थिति का मतलब है कि बाहरी व्युत्पन्न $$ \omega $$ गायब हो जाता है. सिम्प्लेक्टिक मैनिफोल्ड जोड़ी है $$ (M, \omega) $$ कहाँ $$ M $$ चिकनी विविधता है और $$ \omega $$ सांकेतिक रूप है. को सिम्पलेक्सिक फॉर्म निर्दिष्ट करना $$ M $$ देना कहा जाता है $$ M $$ सिम्पलेक्सिक संरचना.

सिंपलेक्टिक वेक्टर रिक्त स्थान
होने देना $$\{v_1, \ldots, v_{2n}\}$$ के लिए आधार बनें $$\R^{2n}.$$ हम इस आधार पर अपने सहानुभूतिपूर्ण रूप ω को इस प्रकार परिभाषित करते हैं:


 * $$\omega(v_i, v_j) = \begin{cases} 1 & j-i =n \text{ with } 1 \leqslant i \leqslant n \\ -1 & i-j =n \text{ with } 1 \leqslant j \leqslant n \\ 0 & \text{otherwise} \end{cases}$$

इस मामले में सिंपलेक्टिक रूप सरल द्विघात रूप में कम हो जाता है। अगर मुझेnn × n पहचान मैट्रिक्स को दर्शाता है तो इस द्विघात रूप का मैट्रिक्स, Ω, द्वारा दिया जाता है 2n × 2n ब्लॉक मैट्रिक्स:


 * $$\Omega = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix}. $$

कोटैंजेंट बंडल
होने देना $$Q$$ आयाम की सहज विविधता बनें $$n$$. फिर कोटैंजेंट बंडल का कुल स्थान $$T^* Q$$ इसका प्राकृतिक सहानुभूतिपूर्ण रूप है, जिसे पोंकारे दो-रूप या विहित सहानुभूतिपूर्ण रूप कहा जाता है


 * $$\omega = \sum_{i=1}^n dp_i \wedge dq^i $$

यहाँ $$(q^1, \ldots, q^n)$$ क्या कोई स्थानीय निर्देशांक चालू हैं? $$Q$$ और $$(p_1, \ldots, p_n)$$ कोटैंजेंट वैक्टर के संबंध में फाइबरवाइज निर्देशांक हैं $$dq^1, \ldots, dq^n$$. कोटैंजेंट बंडल शास्त्रीय यांत्रिकी के प्राकृतिक चरण स्थान हैं। ऊपरी और निचले सूचकांकों को अलग करने का बिंदु मीट्रिक टेंसर वाले मैनिफोल्ड के मामले से प्रेरित होता है, जैसा कि रीमैनियन मैनिफोल्ड्स के मामले में होता है। ऊपरी और निचले सूचकांक समन्वय फ्रेम के परिवर्तन के तहत विपरीत और सहसंयोजक रूप से बदलते हैं। कोटैंजेंट वैक्टर के संबंध में फ़ाइबरवाइज कोऑर्डिनेट वाक्यांश का अर्थ यह बताना है कि संवेग $$p_i$$ वेगों के सोल्डर रूप हैं $$dq^i$$. सोल्डरिंग इस विचार की अभिव्यक्ति है कि वेग और संवेग एकरेखीय हैं, इसमें दोनों ही दिशा में चलते हैं, और पैमाने के कारक से भिन्न होते हैं।

काहलर मैनिफोल्ड्स
काहलर मैनिफोल्ड संगत एकीकृत जटिल संरचना से सुसज्जित सहानुभूतिपूर्ण मैनिफोल्ड है। वे जटिल विविधताओं का विशेष वर्ग बनाते हैं। उदाहरणों का बड़ा वर्ग जटिल बीजगणितीय ज्यामिति से आता है। कोई भी चिकनी जटिल प्रक्षेप्य किस्म $$V \subset \mathbb{CP}^n$$ इसका सहानुभूतिपूर्ण रूप है जो फ़ुबिनी-अध्ययन मीट्रिक का प्रतिबंध है|फ़ुबिनी-प्रक्षेप्य स्थान पर अध्ययन प्रपत्र $$\mathbb{CP}^n$$.

लगभग-जटिल कई गुना
रीमैनियन के साथ कई गुना होता है $$\omega$$-संगत लगभग जटिल संरचना को लगभग-जटिल मैनिफोल्ड्स कहा जाता है। वे काहलर मैनिफोल्ड्स का सामान्यीकरण करते हैं, जिसमें उन्हें एकीकृत होने की आवश्यकता नहीं है। अर्थात्, वे आवश्यक रूप से अनेक गुना जटिल संरचना से उत्पन्न नहीं होते हैं।

लैग्रेंजियन और अन्य सबमेनिफोल्ड्स
सिम्प्लेक्टिक मैनिफोल्ड के सबमैनिफोल्ड की कई प्राकृतिक ज्यामितीय धारणाएँ हैं $$ (M, \omega) $$:


 * के सिम्प्लेक्टिक सबमैनिफोल्ड्स $$ M $$ (संभावित रूप से किसी भी सम आयाम के) उपमानव हैं $$ S \subset M $$ ऐसा है कि $$ \omega|_S $$ पर प्रतीकात्मक रूप है $$ S $$.
 * आइसोट्रोपिक सबमैनिफोल्ड्स सबमैनिफोल्ड्स हैं जहां सहानुभूति रूप शून्य तक सीमित है, यानी प्रत्येक स्पर्शरेखा स्थान परिवेश मैनिफोल्ड के स्पर्शरेखा स्थान का आइसोट्रोपिक उपस्थान है। इसी प्रकार, यदि किसी सबमैनिफोल्ड का प्रत्येक स्पर्शरेखा उप-स्थान सह-आइसोट्रोपिक (एक आइसोट्रोपिक उप-स्थान का द्वैत) है, तो सबमैनिफोल्ड को सह-आइसोट्रोपिक कहा जाता है।
 * सिंपलेक्टिक मैनिफोल्ड के लैग्रेंजियन सबमैनिफोल्ड्स $$(M,\omega)$$ उपमानव हैं जहां सहानुभूति रूप का प्रतिबंध है $$\omega$$ को $$L\subset M$$ लुप्त हो रहा है, अर्थात $$\omega|_L=0$$ और $$\text{dim }L=\tfrac{1}{2}\dim M$$. लैग्रेंजियन सबमैनिफोल्ड्स अधिकतम आइसोट्रोपिक सबमैनिफोल्ड्स हैं।

एक प्रमुख उदाहरण यह है कि उत्पाद सिंपलेक्टिक मैनिफोल्ड में लक्षणरूपता का ग्राफ (M × M, ω × −ω) लैग्रेन्जियन है। उनके चौराहे कठोरता गुणों को प्रदर्शित करते हैं जो चिकनी मैनिफोल्ड्स के पास नहीं होते हैं; अर्नोल्ड अनुमान स्मूथ केस में यूलर विशेषता के बजाय, स्मूथ लैग्रेंजियन सबमैनिफोल्ड के स्वयं प्रतिच्छेदन की संख्या के लिए निचली सीमा के रूप में सबमैनिफोल्ड की बेट्टी संख्याओं का योग देता है।

उदाहरण
होने देना $$\R^{2n}_{\textbf{x},\textbf{y}}$$ वैश्विक निर्देशांक लेबल किए गए हैं $$(x_1, \dotsc, x_n, y_1, \dotsc, y_n)$$. फिर, हम सुसज्जित कर सकते हैं $$\R_{\textbf{x},\textbf{y}}^{2n}$$ विहित सहानुभूतिपूर्ण रूप के साथ


 * $$\omega =\mathrm{d}x_1\wedge \mathrm{d}y_1 + \dotsb + \mathrm{d}x_n\wedge \mathrm{d}y_n.$$ द्वारा दिया गया मानक लैग्रेंजियन सबमैनिफोल्ड है $$\R^n_{\mathbf{x}} \to \R^{2n}_{\mathbf{x},\mathbf{y}}$$. फार्म $$\omega$$ पर गायब हो जाता है $$\R^n_{\mathbf{x}}$$ क्योंकि स्पर्शरेखा सदिशों का कोई जोड़ा दिया गया है $$X= f_i(\textbf{x}) \partial_{x_i}, Y=g_i(\textbf{x})\partial_{x_i},$$ हमारे पास वह है $$\omega(X,Y) = 0.$$ स्पष्ट करने के लिए, मामले पर विचार करें $$n=1$$. तब, $$X = f(x)\partial_x, Y=g(x)\partial_x,$$ और $$\omega = \mathrm{d}x\wedge \mathrm{d}y$$. ध्यान दें कि जब हम इसका विस्तार करते हैं


 * $$\omega(X,Y) = \omega(f(x)\partial_x,g(x)\partial_x) = \frac{1}{2}f(x)g(x)(\mathrm{d}x(\partial_x)\mathrm{d}y(\partial_x) - \mathrm{d}y(\partial_x)\mathrm{d}x(\partial_x))$$

दोनों शर्तें हमारे पास हैं $$\mathrm{d}y(\partial_x)$$ कारक, जो परिभाषा के अनुसार 0 है।

उदाहरण: कोटैंजेंट बंडल
मैनिफोल्ड के कोटैंजेंट बंडल को पहले उदाहरण के समान स्थान पर स्थानीय रूप से तैयार किया गया है। यह दिखाया जा सकता है कि हम इन एफ़िन सिम्प्लेक्टिक रूपों को गोंद कर सकते हैं इसलिए यह बंडल सिम्प्लेक्टिक मैनिफोल्ड बनाता है। लैग्रेंजियन सबमैनिफोल्ड का कम तुच्छ उदाहरण मैनिफोल्ड के कोटैंजेंट बंडल का शून्य खंड है। उदाहरण के लिए, चलो


 * $$X = \{(x,y) \in \R^2 : y^2 - x = 0\}.$$

फिर, हम प्रस्तुत कर सकते हैं $$T^*X$$ जैसा


 * $$T^*X = \{(x,y,\mathrm{d}x,\mathrm{d}y) \in \R^4 : y^2 - x = 0, 2y\mathrm{d}y - \mathrm{d}x = 0\}$$

जहां हम प्रतीकों का इलाज कर रहे हैं $$\mathrm{d}x,\mathrm{d}y$$ के निर्देशांक के रूप में $$\R^4 = T^*\R^2$$. हम उस उपसमुच्चय पर विचार कर सकते हैं जहां निर्देशांक हैं $$\mathrm{d}x=0$$ और $$\mathrm{d}y=0$$, हमें शून्य अनुभाग दे रहा है। इस उदाहरण को सुचारु कार्यों के लुप्त हो रहे स्थान द्वारा परिभाषित किसी भी मैनिफोल्ड के लिए दोहराया जा सकता है $$f_1,\dotsc,f_k$$ और उनके अंतर $$\mathrm{d}f_1,\dotsc,df_k$$.

उदाहरण: पैरामीट्रिक सबमैनिफोल्ड
विहित स्थान पर विचार करें $$\R^{2n}$$ निर्देशांक के साथ $$(q_1,\dotsc ,q_n,p_1,\dotsc ,p_n)$$. पैरामीट्रिक सबमैनिफोल्ड $$L$$ का $$\R^{2n}$$ वह है जो निर्देशांक द्वारा मानकीकृत है $$(u_1,\dotsc,u_n)$$ ऐसा है कि
 * $$q_i=q_i(u_1,\dotsc,u_n) \quad p_i=p_i(u_1,\dotsc,u_n)$$

यदि लैग्रेंज ब्रैकेट है तो यह मैनिफोल्ड लैग्रेंजियन सबमैनिफोल्ड है $$[u_i,u_j]$$ सभी के लिए गायब हो जाता है $$i,j$$. अर्थात यह लैग्रेन्जियन है यदि


 * $$[u_i,u_j]=\sum_k \frac {\partial q_k}{\partial u_i}\frac {\partial p_k}{\partial u_j}

- \frac {\partial p_k}{\partial u_i}\frac {\partial q_k}{\partial u_j} = 0$$ सभी के लिए $$i,j$$. इसे विस्तार करके देखा जा सकता है

\frac {\partial }{\partial u_i}= \frac {\partial q_k}{\partial u_i} \frac {\partial}{\partial q_k} + \frac {\partial p_k}{\partial u_i} \frac {\partial}{\partial p_k} $$ लैग्रेंजियन सबमैनिफोल्ड की स्थिति में $$L$$. इसका मतलब यह है कि स्पर्शरेखा मैनिफोल्ड पर सहानुभूतिपूर्ण रूप गायब हो जाना चाहिए $$TL$$; अर्थात्, यह सभी स्पर्शरेखा सदिशों के लिए लुप्त हो जाना चाहिए:
 * $$\omega\left( \frac {\partial}{\partial u_i}, \frac {\partial}{\partial u_j} \right)=0$$

सभी के लिए $$i,j$$. विहित सहानुभूति प्रपत्र का उपयोग करके परिणाम को सरल बनाएं $$\R^{2n}$$:



\omega\left( \frac {\partial }{\partial q_k}, \frac {\partial}{\partial p_k}\right) = -\omega\left( \frac {\partial }{\partial p_k}, \frac {\partial}{\partial q_k}\right) = 1 $$ और अन्य सभी गायब हो रहे हैं।

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

उदाहरण: मोर्स सिद्धांत
लैग्रेंजियन सबमैनिफोल्ड्स का अन्य उपयोगी वर्ग मोर्स सिद्धांत में पाया जाता है। मोर्स फ़ंक्शन दिया गया $$f:M\to\R$$ और काफी छोटे के लिए $$\varepsilon$$ कोई लुप्त हो रहे स्थान द्वारा दिए गए लैग्रेंजियन सबमैनिफोल्ड का निर्माण कर सकता है $$\mathbb{V}(\varepsilon\cdot \mathrm{d}f) \subset T^*M$$. सामान्य मोर्स फ़ंक्शन के लिए हमारे पास लैग्रेन्जियन प्रतिच्छेदन है जो इसके द्वारा दिया गया है $$M \cap \mathbb{V}(\varepsilon\cdot \mathrm{d}f) = \text{Crit}(f)$$.

विशेष लैग्रेंजियन सबमैनिफोल्ड्स
काहलर मैनिफोल्ड्स (या कैलाबी-यॉ मैनिफोल्ड्स) के मामले में हम विकल्प चुन सकते हैं $$\Omega=\Omega_1+\mathrm{i}\Omega_2$$ पर $$M$$ होलोमोर्फिक एन-फॉर्म के रूप में, जहां $$\Omega_1$$ असली हिस्सा है और $$\Omega_2$$ काल्पनिक. लैग्रेंजियन सबमैनिफोल्ड $$L$$ विशेष कहा जाता है यदि उपरोक्त लैग्रेंजियन स्थिति के अतिरिक्त प्रतिबंध हो $$\Omega_2$$ को $$L$$ लुप्त हो रहा है. दूसरे शब्दों में, वास्तविक भाग $$\Omega_1$$ पर प्रतिबंधित $$L$$ वॉल्यूम फॉर्म को आगे ले जाता है $$L$$. निम्नलिखित उदाहरणों को विशेष लैग्रेंजियन सबमैनिफोल्ड्स के रूप में जाना जाता है, कैलाबी-याउ मैनिफोल्ड्स की वास्तविक संरचना के # निश्चित बिंदु। एसवाईजेड अनुमान दर्पण समरूपता (स्ट्रिंग सिद्धांत) में विशेष लैग्रेंजियन सबमैनिफोल्ड्स के अध्ययन से संबंधित है; देखना.
 * 1) हाइपरकेहलर मैनिफोल्ड्स के जटिल लैग्रेंजियन सबमैनिफोल्ड्स,

थॉमस-याउ अनुमान भविष्यवाणी करता है कि लैग्रैंगियंस के हैमिल्टनियन आइसोटोप वर्गों में कैलाबी-याउ मैनिफोल्ड्स पर विशेष लैग्रैन्जियन सबमैनिफोल्ड्स का अस्तित्व मैनिफोल्ड की फुकाया श्रेणी पर ब्रिजलैंड स्थिरता की स्थिति के संबंध में स्थिरता के बराबर है।

लैग्रेंजियन कंपन
सिम्प्लेक्टिक मैनिफोल्ड एम का लैग्रेंजियन फ़िब्रेशन फ़िब्रेशन है जहां सभी फ़ाइबर बंडल#औपचारिक परिभाषा लैग्रैन्जियन सबमैनिफ़ोल्ड्स हैं। चूंकि एम सम-आयामी है इसलिए हम स्थानीय निर्देशांक ले सकते हैं (p1,&hellip;,pn, q1,&hellip;,qn), और डार्बौक्स के प्रमेय द्वारा सहानुभूतिपूर्ण रूप ω को, कम से कम स्थानीय रूप से, इस प्रकार लिखा जा सकता है ω = &sum; dpk &and; dqk, जहां d बाहरी व्युत्पन्न को दर्शाता है और ∧ बाहरी उत्पाद को दर्शाता है। इस फॉर्म को पोंकारे टू-फॉर्म या कैनोनिकल टू-फॉर्म कहा जाता है। इस सेट-अप का उपयोग करके हम स्थानीय रूप से एम को कोटैंजेंट बंडल के रूप में सोच सकते हैं $$T^*\R^n,$$ और लैग्रेंजियन फ़िब्रेशन को तुच्छ फ़िब्रेशन के रूप में $$\pi: T^*\R^n \to \R^n.$$ यह विहित चित्र है.

लैग्रेंजियन मैपिंग
मान लीजिए कि L इमर्शन (गणित) द्वारा दिए गए सिंपलेक्टिक मैनिफोल्ड (K,ω) का लैग्रेंजियन सबमैनिफोल्ड है। i : L ↪ K (i को 'लैग्रेंजियन इमर्शन' कहा जाता है)। होने देना &pi; : K ↠ B K का लैग्रेंजियन फ़िब्रेशन दें। समग्र (&pi; ∘ i) : L ↪ K ↠ B लैग्रेंजियन मैपिंग है। π ∘ i के क्रांतिक मान को कास्टिक (गणित) कहा जाता है।

दो लैग्रेंजियन मानचित्र (&pi;1 ∘ i1) : L1 ↪ K1 ↠ B1 और (&pi;2 ∘ i2) : L2 ↪ K2 ↠ B2 को लैग्रेंजियन समतुल्य कहा जाता है यदि σ, τ और ν भिन्नताएं मौजूद हैं जैसे कि सही क्रमविनिमेय आरेख पर दिए गए आरेख के दोनों पक्ष, और τ सहानुभूति रूप को संरक्षित करते हैं. प्रतीकात्मक रूप से:
 * $$ \tau \circ i_1 = i_2 \circ \sigma, \ \nu \circ \pi_1 = \pi_2 \circ \tau, \ \tau^*\omega_2 = \omega_1 \,, $$

कहां τ∗o2 ω के विभेदक रूपों के पुलबैक (विभेदक ज्यामिति)#पुलबैक को दर्शाता है2 τ द्वारा.

विशेष मामले और सामान्यीकरण

 * एक सिंपलेक्टिक मैनिफोल्ड $$(M, \omega)$$ यदि सिंपलेक्टिक रूप सटीक है $$\omega$$ बंद और सटीक विभेदक रूप है। उदाहरण के लिए, चिकने मैनिफोल्ड का कोटैंजेंट बंडल सटीक सिंपलेक्टिक मैनिफोल्ड है। विहित सहानुभूतिपूर्ण रूप सटीक है।
 * एक मीट्रिक टेंसर से संपन्न सिंपलेक्टिक मैनिफोल्ड, जो लगभग जटिल मैनिफोल्ड है # सिंपलेक्टिक रूप के साथ संगत त्रिगुण इस अर्थ में लगभग काहलर मैनिफोल्ड है कि स्पर्शरेखा बंडल में लगभग जटिल संरचना होती है, लेकिन इसके लिए इंटीग्रेबिलिटी स्थिति की आवश्यकता नहीं होती है।
 * सिंपलेक्टिक मैनिफोल्ड्स पॉइसन मैनिफ़ोल्ड के विशेष मामले हैं।
 * डिग्री के का मल्टीसिम्पलेक्टिक मैनिफोल्ड बंद गैर-अपक्षयी के-फॉर्म से सुसज्जित मैनिफोल्ड है।
 * एक पॉलीसिम्पलेक्टिक मैनिफोल्ड लीजेंड्रे बंडल है जो पॉलीसिम्पलेक्टिक स्पर्शरेखा-मूल्य के साथ प्रदान किया जाता है $$(n+2)$$-प्रपत्र; इसका उपयोग हैमिल्टनियन क्षेत्र सिद्धांत में किया जाता है।

यह भी देखें

 * -सिम्प्लेक्टिक मैनिफोल्ड का एक विषम-आयामी समकक्ष।
 * -सिम्प्लेक्टिक मैनिफोल्ड का एक विषम-आयामी समकक्ष।