कूरेंट बीजगणित

गणित के क्षेत्र में जिसे विभेदक ज्यामिति  के रूप में जाना जाता है, एक सामान्यीकृत जटिल संरचना मूल रूप से 1997 में झांग-जू लियू, एलन वेनस्टीन और पिंग जू द्वारा ली बायलगेब्रॉइड्स के युगल की जांच में पेश की गई थी। लियू, वीनस्टीन और जू ने इसका नाम थियोडोर जेम्स कूरेंट के नाम पर रखा, जिन्होंने 1990 में इसकी योजना बनाई थी। तिरछा सममित ब्रैकेट की खोज के माध्यम से कूरेंट बीजगणित का मानक प्रोटोटाइप $$TM\oplus T^*M$$, जिसे आज कूरेंट ब्रैकेट कहा जाता है, जो जैकोबी पहचान को संतुष्ट करने में विफल रहता है। यह मानक उदाहरण और ली बायलजेब्रा का डबल दोनों कूरेंट बीजगणित के विशेष उदाहरण हैं।

परिभाषा
कूरेंट बीजगणित में डेटा का एक वेक्टर बंडल होता है $$E\to M$$ ब्रैकेट के साथ $$[.,.]:\Gamma E \times \Gamma E \to \Gamma E$$, एक गैर विकृत फाइबर-वार आंतरिक उत्पाद $$\langle.,.\rangle: E\times E\to M\times\R$$, और एक बंडल मानचित्र $$\rho:E\to TM $$ निम्नलिखित सिद्धांतों के अधीन,


 * $$[\phi, [\chi, \psi]] = \phi, \chi], \psi] + [\chi, [\phi, \psi$$
 * $$[\phi, f\psi] = \rho(\phi)f\psi +f[\phi, \psi]$$
 * $$[\phi,\phi]= \tfrac12 D\langle \phi,\phi\rangle$$
 * $$\rho(\phi)\langle \psi,\psi\rangle= 2\langle [\phi,\psi],\psi\rangle $$

कहाँ $$\phi, \chi, \psi$$ ई के खंड हैं और एफ बेस मैनिफोल्ड एम पर एक सुचारू कार्य है। डी संयोजन है $$\kappa^{-1}\rho^T d$$ डी डी राम अंतर के साथ, $$\rho^T$$ का दोहरा मानचित्र $$\rho$$, और κ E से मानचित्र $$E^*$$ आंतरिक उत्पाद से प्रेरित.

तिरछा-सममित परिभाषा
ब्रैकेट को द्विरेखीय रूप#सममित, तिरछा-सममित और वैकल्पिक रूप|तिरछा-सममित बनाने के लिए एक वैकल्पिक परिभाषा दी जा सकती है


 * $$\phi,\psi= \tfrac12\big([\phi,\psi]-[\psi,\phi]\big.)$$

यह अब उपरोक्त जैकोबी-पहचान सिद्धांत को संतुष्ट नहीं करता है। इसके बजाय यह एक समस्थानिक जैकोबी-पहचान को पूरा करता है।


 * $$ \phi,[[\psi,\chi\,]] +\text{cycl.} = DT(\phi,\psi,\chi)$$

जहाँ T है


 * $$T(\phi,\psi,\chi)=\frac13\langle [\phi,\psi],\chi\rangle +\text{cycl.}$$

लीबनिज़ नियम और अदिश उत्पाद की अपरिवर्तनीयता संबंध द्वारा संशोधित हो जाती है $$ \phi,\psi = [\phi,\psi] -\tfrac12 D\langle \phi,\psi\rangle$$ और तिरछा-समरूपता का उल्लंघन स्वयंसिद्ध द्वारा प्रतिस्थापित हो जाता है
 * $$ \rho\circ D = 0 $$

तिरछा-सममित ब्रैकेट व्युत्पत्ति डी और जैकोबीएटर टी के साथ मिलकर एक दृढ़ता से समस्थानिक झूठ बीजगणित बनाता है।

गुण
ब्रैकेट तिरछा-सममित नहीं है जैसा कि तीसरे सिद्धांत से देखा जा सकता है। इसके बजाय यह एक निश्चित जैकोबी-पहचान (पहला स्वयंसिद्ध) और लाइबनिज़ नियम (दूसरा स्वयंसिद्ध) को पूरा करता है। इन दो सिद्धांतों से कोई यह निष्कर्ष निकाल सकता है कि एंकर मानचित्र ρ कोष्ठक का एक रूपवाद है:
 * $$ \rho[\phi,\psi] = [\rho(\phi),\rho(\psi)] .$$

चौथा नियम ब्रैकेट के नीचे आंतरिक उत्पाद का अपरिवर्तनीयता है। ध्रुवीकरण की ओर ले जाता है
 * $$ \rho(\phi)\langle \chi,\psi\rangle= \langle [\phi,\chi],\psi\rangle +\langle \chi,[\phi,\psi]\rangle .$$

उदाहरण
कूरेंट बीजगणित का एक उदाहरण डोर्फ़मैन ब्रैकेट है सीधे योग पर $$TM\oplus T^*M$$ सेवेरा द्वारा प्रस्तुत एक ट्विस्ट के साथ, (1998) को इस प्रकार परिभाषित किया गया है:
 * $$ [X+\xi, Y+\eta] = [X,Y]+(\mathcal{L}_X\,\eta -i(Y) d\xi +i(X)i(Y)H)$$

जहां X,Y वेक्टर क्षेत्र हैं, ξ,η 1-रूप हैं और H ब्रैकेट को घुमाने वाला एक बंद 3-रूप है। इस ब्रैकेट का उपयोग सामान्यीकृत जटिल ज्यामिति की अभिन्नता का वर्णन करने के लिए किया जाता है।

एक अधिक सामान्य उदाहरण एक झूठ बीजगणित ए से उत्पन्न होता है जिसका प्रेरित अंतर होता है $$A^*$$ पुनः d लिखा जायेगा। फिर उसी फॉर्मूले का उपयोग करें जो डॉर्फ़मैन ब्रैकेट के लिए एच के साथ ए-3-फॉर्म डी के तहत बंद है।

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

वीनस्टीन एट अल द्वारा पेपर में वर्णित उदाहरण। एक ली बायलजेब्रॉइड से आता है, यानी ए ए लाई अलजेब्रॉइड (एंकर के साथ)। $$\rho_A$$ और ब्रैकेट $$[.,.]_A$$), यह भी दोहरा है $$A^*$$ एक झूठ बीजगणित (अंतर उत्प्रेरण)। $$d_{A^*}$$ पर $$\wedge^* A$$) और $$d_{A^*}[X,Y]_A=[d_{A^*}X,Y]_A+[X,d_{A^*}Y]_A$$ (आरएचएस पर जहां आप ए-ब्रैकेट का विस्तार करते हैं $$\wedge^*A$$ श्रेणीबद्ध लीबनिज नियम का उपयोग करते हुए)। यह धारणा ए और में सममित है $$A^*$$ (रॉयटेनबर्ग देखें)। यहाँ $$E=A\oplus A^*$$ लंगर के साथ $$\rho(X+\alpha)=\rho_A(X)+\rho_{A^*}(\alpha)$$ और ब्रैकेट एक्स और α में उपरोक्त का तिरछा-सममितीकरण है (समान रूप से वाई और β में):


 * $$[X+\alpha,Y+\beta]= ([X,Y]_A +\mathcal{L}^{A^*}_{\alpha}Y-i_\beta d_{A^*}X) +([\alpha,\beta]_{A^*} +\mathcal{L}^A_X\beta-i_Yd_{A}\alpha)$$

डिराक संरचनाएं
आंतरिक उत्पाद के साथ एक कूरेंट बीजगणित दिया गया है $$\langle.,.\rangle$$ विभाजित हस्ताक्षर का (उदाहरण के लिए मानक वाला)। $$TM\oplus T^*M$$), तो एक डायराक संरचना एक अधिकतम आइसोट्रोपिक इंटीग्रेबल वेक्टर सबबंडल एल → एम है, यानी।
 * $$ \langle L,L\rangle \equiv 0$$,


 * $$ \mathrm{rk}\,L=\tfrac12\mathrm{rk}\,E$$,


 * $$ [\Gamma L,\Gamma L]\subset \Gamma L$$.

उदाहरण
जैसा कि कूरेंट द्वारा खोजा गया और डॉर्फमैन द्वारा समानांतर, 2-फॉर्म ω ∈ Ω का ग्राफ2(M) अधिकतम रूप से आइसोट्रोपिक है और इसके अलावा पूर्णांकीय है यदि dω = 0, यानी 2-फॉर्म डी राम अंतर के तहत बंद है, यानी एक प्रीसिम्पलेक्टिक संरचना।

उदाहरणों का दूसरा वर्ग बायवेक्टर्स से उत्पन्न होता है $$\Pi\in\Gamma(\wedge^2 TM)$$ जिसका ग्राफ अधिकतम रूप से आइसोट्रोपिक और पूर्णांक है यदि [Π,Π] = 0, यानी Π एम पर एक पॉइसन मैनिफ़ोल्ड है।

सामान्यीकृत जटिल संरचनाएँ
(मुख्य लेख सामान्यीकृत जटिल ज्यामिति भी देखें)

विभाजित हस्ताक्षर के आंतरिक उत्पाद के साथ एक कूरेंट बीजगणित दिया गया है। एक सामान्यीकृत जटिल संरचना एल → एम अतिरिक्त संपत्ति के साथ जटिलीकरण कूरेंट बीजगणित में एक डायराक संरचना है
 * $$ L \cap \bar{L} = 0$$

कहाँ $$\bar{\ }$$ जटिलता पर मानक जटिल संरचना के संबंध में जटिल संयुग्मन का मतलब है।

जैसा कि गुआल्टिएरी द्वारा विस्तार से अध्ययन किया गया है सामान्यीकृत जटिल संरचनाएं जटिल मैनिफोल्ड के अनुरूप ज्यामिति के अध्ययन की अनुमति देती हैं।

उदाहरण
उदाहरण प्रीसिंप्लेक्टिक और पॉइसन संरचनाओं के अलावा कॉम्प्लेक्स मैनिफोल्ड#लगभग जटिल संरचनाओं जे: टीएम → टीएम का ग्राफ भी हैं।

अग्रिम पठन

 * Dmitry Roytenberg: Courant algebroids, derived brackets, and even symplectic supermanifolds, PhD thesis Univ. of California Berkeley (1999)