कूरेंट बीजगणित: Difference between revisions

From Vigyanwiki
(Created page with "गणित के क्षेत्र में जिसे विभेदक ज्यामिति के रूप में जाना जाता है,...")
 
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित के क्षेत्र में जिसे [[ विभेदक ज्यामिति ]] के रूप में जाना जाता है, एक सामान्यीकृत जटिल संरचना मूल रूप से 1997 में झांग-जू लियू, एलन वेनस्टीन और पिंग जू द्वारा ली बायलगेब्रॉइड्स के युगल की जांच में पेश की गई थी।<ref>Z-J. Liu, A. Weinstein, and P. Xu: [https://arxiv.org/abs/dg-ga/9508013  Manin triples for Lie Bialgebroids], Journ. of Diff.geom. 45 pp.647–574 (1997).</ref> लियू, वीनस्टीन और जू ने इसका नाम [[थियोडोर जेम्स कूरेंट]] के नाम पर रखा, जिन्होंने 1990 में इसकी योजना बनाई थी।<ref>T.J. Courant: ''Dirac Manifolds'', Transactions of the American Mathematical Society, vol. 319, pp.631–661 (1990).</ref> तिरछा सममित ब्रैकेट की खोज के माध्यम से कूरेंट बीजगणित का मानक प्रोटोटाइप <math>TM\oplus T^*M</math>, जिसे आज कूरेंट ब्रैकेट कहा जाता है, जो जैकोबी पहचान को संतुष्ट करने में विफल रहता है। यह मानक उदाहरण और ली बायलजेब्रा का डबल दोनों कूरेंट बीजगणित के विशेष उदाहरण हैं।
गणित के क्षेत्र में जिसे [[ विभेदक ज्यामिति |विभेदक ज्यामिति]] के रूप में जाना जाता है, सामान्यीकृत जटिल संरचना मूल रूप से 1997 में झांग-जू लियू, एलन वेनस्टीन और पिंग जू के लिए ली बायलगेब्रॉइड्स के युगल की जांच में प्रस्तुत की गई थी।<ref>Z-J. Liu, A. Weinstein, and P. Xu: [https://arxiv.org/abs/dg-ga/9508013  Manin triples for Lie Bialgebroids], Journ. of Diff.geom. 45 pp.647–574 (1997).</ref> लियू, वीनस्टीन और जू ने इसका नाम [[थियोडोर जेम्स कूरेंट]] के नाम पर रखा है, जिन्होंने 1990 में इसकी योजना बनाई थी।<ref>T.J. Courant: ''Dirac Manifolds'', Transactions of the American Mathematical Society, vol. 319, pp.631–661 (1990).</ref> तिरछा सममित ब्रैकेट की खोज के माध्यम से कूरेंट बीजगणित का मानक प्रोटोटाइप <math>TM\oplus T^*M</math>, जिसे आज कूरेंट ब्रैकेट कहा जाता है, जो जैकोबी पहचान को संतुष्ट करने में विफल रहता है। यह मानक उदाहरण और ली बायलजेब्रा का डबल दोनों कूरेंट बीजगणित के विशेष उदाहरण हैं।


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


:<math>[\phi, [\chi, \psi]] = [[\phi, \chi], \psi] + [\chi, [\phi, \psi]]</math>
:<math>[\phi, [\chi, \psi]] = [[\phi, \chi], \psi] + [\chi, [\phi, \psi]]</math>
Line 8: Line 8:
:<math>[\phi,\phi]= \tfrac12 D\langle \phi,\phi\rangle</math>
:<math>[\phi,\phi]= \tfrac12 D\langle \phi,\phi\rangle</math>
:<math>\rho(\phi)\langle \psi,\psi\rangle= 2\langle [\phi,\psi],\psi\rangle </math>
:<math>\rho(\phi)\langle \psi,\psi\rangle= 2\langle [\phi,\psi],\psi\rangle </math>
कहाँ <math>\phi, \chi, \psi</math> ई के खंड हैं और एफ बेस मैनिफोल्ड एम पर एक सुचारू कार्य है। डी संयोजन है <math>\kappa^{-1}\rho^T d</math> डी डी राम अंतर के साथ, <math>\rho^T</math> का दोहरा मानचित्र <math>\rho</math>, और κ E से मानचित्र <math>E^*</math> आंतरिक उत्पाद से प्रेरित.
यहाँ <math>\phi, \chi, \psi</math> ई के खंड हैं और F बेस मैनिफोल्ड M पर सुचारू कार्य है। D संयोजन है <math>\kappa^{-1}\rho^T d</math> D डी रहम अंतर के साथ, <math>\rho^T</math> का दोहरा मानचित्र <math>\rho</math>, और κ E से मानचित्र <math>E^*</math> आंतरिक उत्पाद के माधयम से प्रेरित किया गया है


===तिरछा-सममित परिभाषा===
===तिरछा-सममित परिभाषा===


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


: <math>[[\phi,\psi]]= \tfrac12\big([\phi,\psi]-[\psi,\phi]\big.)</math>
: <math>[[\phi,\psi]]= \tfrac12\big([\phi,\psi]-[\psi,\phi]\big.)</math>
यह अब उपरोक्त जैकोबी-पहचान सिद्धांत को संतुष्ट नहीं करता है। इसके बजाय यह एक समस्थानिक जैकोबी-पहचान को पूरा करता है।
यह अब उपरोक्त जैकोबी-पहचान सिद्धांत को संतुष्ट नहीं करता है। इसके अतिरिक्त यह समस्थानिक जैकोबी-पहचान को पूरा करता है।


:<math> [[\phi,[[\psi,\chi]]\,]] +\text{cycl.} = DT(\phi,\psi,\chi)</math>
:<math> [[\phi,[[\psi,\chi]]\,]] +\text{cycl.} = DT(\phi,\psi,\chi)</math>
Line 21: Line 21:


: <math>T(\phi,\psi,\chi)=\frac13\langle [\phi,\psi],\chi\rangle +\text{cycl.}</math>
: <math>T(\phi,\psi,\chi)=\frac13\langle [\phi,\psi],\chi\rangle +\text{cycl.}</math>
लीबनिज़ नियम और अदिश उत्पाद की अपरिवर्तनीयता संबंध द्वारा संशोधित हो जाती है <math> [[\phi,\psi]] = [\phi,\psi] -\tfrac12 D\langle \phi,\psi\rangle</math> और तिरछा-समरूपता का उल्लंघन स्वयंसिद्ध द्वारा प्रतिस्थापित हो जाता है
लीबनिज़ नियम और अदिश उत्पाद की अपरिवर्तनीयता संबंध के लिए संशोधित हो जाती है <math> [[\phi,\psi]] = [\phi,\psi] -\tfrac12 D\langle \phi,\psi\rangle</math> और तिरछा-समरूपता का उल्लंघन स्वयंसिद्ध के लिए प्रतिस्थापित हो जाता है
::<math> \rho\circ D = 0 </math>
::<math> \rho\circ D = 0 </math>
तिरछा-सममित ब्रैकेट व्युत्पत्ति डी और जैकोबीएटर टी के साथ मिलकर एक दृढ़ता से समस्थानिक झूठ बीजगणित बनाता है।
तिरछा-सममित ब्रैकेट व्युत्पत्ति D और जैकोबीएटर T के साथ मिलकर दृढ़ता से समस्थानिक झूठ बीजगणित बनाता है।


==गुण==
==गुण==
ब्रैकेट तिरछा-सममित नहीं है जैसा कि तीसरे सिद्धांत से देखा जा सकता है। इसके बजाय यह एक निश्चित जैकोबी-पहचान (पहला स्वयंसिद्ध) और लाइबनिज़ नियम (दूसरा स्वयंसिद्ध) को पूरा करता है। इन दो सिद्धांतों से कोई यह निष्कर्ष निकाल सकता है कि एंकर मानचित्र ρ कोष्ठक का एक रूपवाद है:
ब्रैकेट तिरछा-सममित नहीं है जैसा कि तीसरे सिद्धांत से देखा जा सकता है। इसके अतिरिक्त यह निश्चित जैकोबी-पहचान (पहला स्वयंसिद्ध) और लाइबनिज़ नियम (दूसरा स्वयंसिद्ध) को पूरा करता है। इन दो सिद्धांतों से कोई एक निष्कर्ष निकाल सकता है कि एंकर मानचित्र ρ कोष्ठक का रूपवाद है:
::<math> \rho[\phi,\psi] = [\rho(\phi),\rho(\psi)] .</math>
::<math> \rho[\phi,\psi] = [\rho(\phi),\rho(\psi)] .</math>
चौथा नियम ब्रैकेट के नीचे आंतरिक उत्पाद का अपरिवर्तनीयता है। ध्रुवीकरण की ओर ले जाता है
चौथा नियम ब्रैकेट के नीचे आंतरिक उत्पाद का अपरिवर्तनीयता है। ध्रुवीकरण की ओर ले जाता है|
::<math> \rho(\phi)\langle \chi,\psi\rangle= \langle [\phi,\chi],\psi\rangle +\langle \chi,[\phi,\psi]\rangle .</math>
 


<math> \rho(\phi)\langle \chi,\psi\rangle= \langle [\phi,\chi],\psi\rangle +\langle \chi,[\phi,\psi]\rangle .</math>
==उदाहरण==
==उदाहरण==
कूरेंट बीजगणित का एक उदाहरण [[डोर्फ़मैन ब्रैकेट]] है<ref>I.Y. Dorfman: ''Dirac structures of integrable evolution equations'', Physics Letters A, vol.125, pp.240–246 (1987).</ref> सीधे योग पर <math>TM\oplus T^*M</math> सेवेरा द्वारा प्रस्तुत एक ट्विस्ट के साथ,<ref>P. Ševera: [http://sophia.dtp.fmph.uniba.sk/~severa/letters/no1.ps Letters to A. Weinstein], unpublished.</ref> (1998) को इस प्रकार परिभाषित किया गया है:
कूरेंट बीजगणित का उदाहरण [[डोर्फ़मैन ब्रैकेट]] है<ref>I.Y. Dorfman: ''Dirac structures of integrable evolution equations'', Physics Letters A, vol.125, pp.240–246 (1987).</ref> सीधे योग पर <math>TM\oplus T^*M</math> सेवेरा के लिए प्रस्तुत ट्विस्ट के साथ,<ref>P. Ševera: [http://sophia.dtp.fmph.uniba.sk/~severa/letters/no1.ps Letters to A. Weinstein], unpublished.</ref> (1998) को इस प्रकार परिभाषित किया गया है:
::<math> [X+\xi, Y+\eta] = [X,Y]+(\mathcal{L}_X\,\eta -i(Y) d\xi +i(X)i(Y)H)</math>
::<math> [X+\xi, Y+\eta] = [X,Y]+(\mathcal{L}_X\,\eta -i(Y) d\xi +i(X)i(Y)H)</math>
जहां X,Y वेक्टर क्षेत्र हैं, ξ,η 1-रूप हैं और H ब्रैकेट को घुमाने वाला एक बंद 3-रूप है। इस ब्रैकेट का उपयोग [[सामान्यीकृत जटिल ज्यामिति]] की अभिन्नता का वर्णन करने के लिए किया जाता है।
जहां X,Y वेक्टर क्षेत्र हैं, ξ,η 1-रूप हैं और H ब्रैकेट को घुमाने वाला बंद 3-रूप है। इस ब्रैकेट का उपयोग [[सामान्यीकृत जटिल ज्यामिति]] की अभिन्नता का वर्णन करने के लिए किया जाता है।


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


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


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


:<math>[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)</math>
:<math>[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)</math>


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


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


Line 55: Line 55:


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


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


== सामान्यीकृत जटिल संरचनाएँ ==
== सामान्यीकृत जटिल संरचनाएँ ==
(मुख्य लेख सामान्यीकृत जटिल ज्यामिति भी देखें)
इसके आंतरिक(मुख्य लेख सामान्यीकृत जटिल ज्यामिति भी देखें) गए है|


विभाजित हस्ताक्षर के आंतरिक उत्पाद के साथ एक कूरेंट बीजगणित दिया गया है। एक सामान्यीकृत जटिल संरचना एल एम अतिरिक्त संपत्ति के साथ जटिलीकरण कूरेंट बीजगणित में एक डायराक संरचना है
इसके विभाजित हस्ताक्षर के आंतरिक उत्पाद के साथ कूरेंट बीजगणित दिया गया है। सामान्यीकृत जटिल संरचना ''L M'' अतिरिक्त संपत्ति के साथ जटिलीकरण कूरेंट बीजगणित में डायराक संरचना है
:<math> L \cap \bar{L} = 0</math>
:<math> L \cap \bar{L} = 0</math>
कहाँ <math>\bar{\ }</math> जटिलता पर मानक जटिल संरचना के संबंध में जटिल संयुग्मन का मतलब है।
जहाँ <math>\bar{\ }</math> जटिलता पर मानक जटिल संरचना के संबंध में जटिल संयुग्मन का तात्पर्य है।


जैसा कि गुआल्टिएरी द्वारा विस्तार से अध्ययन किया गया है<ref>M. Gualtieri: ''Generalized complex geometry'', Ph.D. thesis, Oxford university, (2004)</ref> सामान्यीकृत जटिल संरचनाएं जटिल मैनिफोल्ड के अनुरूप ज्यामिति के अध्ययन की अनुमति देती हैं।
जैसा कि गुआल्टिएरी के लिए विस्तार से अध्ययन किया गया है<ref>M. Gualtieri: ''Generalized complex geometry'', Ph.D. thesis, Oxford university, (2004)</ref> सामान्यीकृत जटिल संरचनाएं जटिल मैनिफोल्ड के अनुरूप ज्यामिति के अध्ययन की अनुमति देती हैं।


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


==संदर्भ==
==संदर्भ==
Line 77: Line 77:
==अग्रिम पठन==
==अग्रिम पठन==
* Dmitry Roytenberg: [https://arxiv.org/abs/math.DG/9910078  Courant algebroids, derived brackets, and even symplectic supermanifolds], PhD thesis Univ. of California Berkeley (1999)
* Dmitry Roytenberg: [https://arxiv.org/abs/math.DG/9910078  Courant algebroids, derived brackets, and even symplectic supermanifolds], PhD thesis Univ. of California Berkeley (1999)
[[Category: विभेदक ज्यामिति]]


[[Category: Machine Translated Page]]
[[Category:Created On 04/07/2023]]
[[Category:Created On 04/07/2023]]
[[Category:Machine Translated Page]]
[[Category:विभेदक ज्यामिति]]

Latest revision as of 09:34, 15 July 2023

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

परिभाषा

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

यहाँ ई के खंड हैं और F बेस मैनिफोल्ड M पर सुचारू कार्य है। D संयोजन है D डी रहम अंतर के साथ, का दोहरा मानचित्र , और κ E से मानचित्र आंतरिक उत्पाद के माधयम से प्रेरित किया गया है

तिरछा-सममित परिभाषा

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

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

जहाँ T है

लीबनिज़ नियम और अदिश उत्पाद की अपरिवर्तनीयता संबंध के लिए संशोधित हो जाती है और तिरछा-समरूपता का उल्लंघन स्वयंसिद्ध के लिए प्रतिस्थापित हो जाता है

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

गुण

ब्रैकेट तिरछा-सममित नहीं है जैसा कि तीसरे सिद्धांत से देखा जा सकता है। इसके अतिरिक्त यह निश्चित जैकोबी-पहचान (पहला स्वयंसिद्ध) और लाइबनिज़ नियम (दूसरा स्वयंसिद्ध) को पूरा करता है। इन दो सिद्धांतों से कोई एक निष्कर्ष निकाल सकता है कि एंकर मानचित्र ρ कोष्ठक का रूपवाद है:

चौथा नियम ब्रैकेट के नीचे आंतरिक उत्पाद का अपरिवर्तनीयता है। ध्रुवीकरण की ओर ले जाता है|

उदाहरण

कूरेंट बीजगणित का उदाहरण डोर्फ़मैन ब्रैकेट है[3] सीधे योग पर सेवेरा के लिए प्रस्तुत ट्विस्ट के साथ,[4] (1998) को इस प्रकार परिभाषित किया गया है:

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

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

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

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

डिराक संरचनाएं

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

अर्थात,

,
,
.

उदाहरण

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

उदाहरणों का दूसरा वर्ग बायवेक्टर्स से उत्पन्न होता है जिसका ग्राफ अधिकतम रूप से आइसोट्रोपिक और पूर्णांक है यदि [Π,Π] = 0, अर्थात Π एम पर पॉइसन मैनिफ़ोल्ड है।

सामान्यीकृत जटिल संरचनाएँ

इसके आंतरिक(मुख्य लेख सामान्यीकृत जटिल ज्यामिति भी देखें) गए है|

इसके विभाजित हस्ताक्षर के आंतरिक उत्पाद के साथ कूरेंट बीजगणित दिया गया है। सामान्यीकृत जटिल संरचना L → M अतिरिक्त संपत्ति के साथ जटिलीकरण कूरेंट बीजगणित में डायराक संरचना है

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

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

उदाहरण

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

संदर्भ

  1. Z-J. Liu, A. Weinstein, and P. Xu: Manin triples for Lie Bialgebroids, Journ. of Diff.geom. 45 pp.647–574 (1997).
  2. T.J. Courant: Dirac Manifolds, Transactions of the American Mathematical Society, vol. 319, pp.631–661 (1990).
  3. I.Y. Dorfman: Dirac structures of integrable evolution equations, Physics Letters A, vol.125, pp.240–246 (1987).
  4. P. Ševera: Letters to A. Weinstein, unpublished.
  5. M. Gualtieri: Generalized complex geometry, Ph.D. thesis, Oxford university, (2004)


अग्रिम पठन