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

गणित के क्षेत्र में जिसे विभेदक ज्यामिति के रूप में जाना जाता है, सामान्यीकृत जटिल संरचना मूल रूप से 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)