लूप बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
Line 9: Line 9:
=== ज्यामितीय परिभाषा ===
=== ज्यामितीय परिभाषा ===
यदि <math>\mathfrak{g}</math> एक लाई बीजगणित है, जिसमें <math>\mathfrak{g}</math> के साथ {{math|''C''<sup>∞</sup>(''S''<sup>1</sup>)}} का प्रदिश गुणनफल है, तो वृत्त मैनिफोल्ड {{math|''S''<sup>1</sup>}} पर (सम्मिश्र) सुचारु फलनों का बीजगणित (तुल्यतः, किसी दिए गए अवधि के सुचारु सम्मिश्र-मान आवधिक फलन),<math display=block>\mathfrak{g}\otimes C^\infty(S^1),</math>लाई कोष्ठक द्वारा दिया गया एक अनंत-आयामी लाई बीजगणित है <math display=block>[g_1\otimes f_1,g_2 \otimes f_2]=[g_1,g_2]\otimes f_1 f_2.</math>
यदि <math>\mathfrak{g}</math> एक लाई बीजगणित है, जिसमें <math>\mathfrak{g}</math> के साथ {{math|''C''<sup>∞</sup>(''S''<sup>1</sup>)}} का प्रदिश गुणनफल है, तो वृत्त मैनिफोल्ड {{math|''S''<sup>1</sup>}} पर (सम्मिश्र) सुचारु फलनों का बीजगणित (तुल्यतः, किसी दिए गए अवधि के सुचारु सम्मिश्र-मान आवधिक फलन),<math display=block>\mathfrak{g}\otimes C^\infty(S^1),</math>लाई कोष्ठक द्वारा दिया गया एक अनंत-आयामी लाई बीजगणित है <math display=block>[g_1\otimes f_1,g_2 \otimes f_2]=[g_1,g_2]\otimes f_1 f_2.</math>




Line 15: Line 16:
यह यथावत् वैसा नहीं है जो सुचारुता प्रतिबंध के कारण {{math|''S''<sup>1</sup>}} में प्रत्येक बिंदु के लिए एक <math>\mathfrak{g}</math>, के अनंत प्रतियों के प्रत्यक्ष उत्पाद के अनुरूप होगा। इसके अलावा, इसे {{math|''S''<sup>1</sup>}} से <math>\mathfrak{g}</math> तक के सुचारू मैप अर्थात् <math>\mathfrak{g}</math>, पैरामिट्रीकृत लूप के संदर्भ में विचारा जा सकता है। इसीलिए इसे लूप बीजगणित कहा जाता है।
यह यथावत् वैसा नहीं है जो सुचारुता प्रतिबंध के कारण {{math|''S''<sup>1</sup>}} में प्रत्येक बिंदु के लिए एक <math>\mathfrak{g}</math>, के अनंत प्रतियों के प्रत्यक्ष उत्पाद के अनुरूप होगा। इसके अलावा, इसे {{math|''S''<sup>1</sup>}} से <math>\mathfrak{g}</math> तक के सुचारू मैप अर्थात् <math>\mathfrak{g}</math>, पैरामिट्रीकृत लूप के संदर्भ में विचारा जा सकता है। इसीलिए इसे लूप बीजगणित कहा जाता है।


== पदक्रम ==
== वर्गीकरण ==
परिभाषित <math>\mathfrak{g}_i</math> [[रैखिक उपस्थान]] होना <math>\mathfrak{g}_i = \mathfrak{g}\otimes t^i < L\mathfrak{g},</math> ब्रैकेट किसी उत्पाद तक सीमित है<math display=block>[\cdot\, , \, \cdot]: \mathfrak{g}_i \times \mathfrak{g}_j \rightarrow \mathfrak{g}_{i+j},</math>
<math>\mathfrak{g}_i</math>को [[रैखिक उपस्थान|रैखिक उपसमष्टि]] <math>\mathfrak{g}_i = \mathfrak{g}\otimes t^i < L\mathfrak{g},</math> के रूप में परिभाषित करते हुए कोष्ठक किसी उत्पाद <math display=block>[\cdot\, , \, \cdot]: \mathfrak{g}_i \times \mathfrak{g}_j \rightarrow \mathfrak{g}_{i+j},</math><br />तक प्रतिबंधित है, अतः लूप बीजगणित को <math>\mathbb{Z}</math>-वर्गीकृत लाई बीजगणित संरचना दिया गया है।




इसलिए लूप बीजगणित a दिया जा रहा है <math>\mathbb{Z}</math>-वर्गीकृत झूठ बीजगणित संरचना।
विशेषतः, कोष्ठक 'शून्य-मोड' उपबीजगणित <math>\mathfrak{g}_0 \cong \mathfrak{g}</math> तक प्रतिबंधित है।


विशेष रूप से, ब्रैकेट 'शून्य-मोड' उपबीजगणित तक सीमित है <math>\mathfrak{g}_0 \cong \mathfrak{g}</math>.
== व्युत्पत्ति ==
{{See also|व्युत्पत्ति (अवकल बीजगणित)}}


== व्युत्पत्ति ==
लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से <math>d</math> निरूपित किया गया है जो निम्न प्रकार कार्य करता है <math display=block>d: L\mathfrak{g} \rightarrow L\mathfrak{g}</math><math display=block>d(X\otimes t^n) = nX\otimes t^n</math>और इसलिए औपचारिक रूप से <math>d = t\frac{d}{dt}</math>. के रूप में व्यक्त किया जा सकता है।
{{See also|Derivation (differential algebra)}}
लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से दर्शाया गया है <math>d</math> के रूप में कार्य
<math display=block>d: L\mathfrak{g} \rightarrow L\mathfrak{g}</math>
<math display=block>d(X\otimes t^n) = nX\otimes t^n</math>
और औपचारिक रूप से ऐसा सोचा जा सकता है <math>d = t\frac{d}{dt}</math>.


[[एफ़िन लाई बीजगणित]] को परिभाषित करना आवश्यक है, जिसका उपयोग भौतिकी, विशेष रूप से [[अनुरूप क्षेत्र सिद्धांत]] में किया जाता है।
[[एफ़िन लाई बीजगणित]] को परिभाषित करना आवश्यक है, जिसका उपयोग भौतिकी, विशेष रूप से [[अनुरूप क्षेत्र सिद्धांत]] में किया जाता है।


==लूप समूह==
==लूप समूह==
इसी प्रकार, सभी सुचारू मानचित्रों का एक सेट {{math|''S''<sup>1</sup>}} एक [[झूठ समूह]] के लिए {{math|''G''}} एक अनंत-आयामी झूठ समूह बनाता है (झूठ समूह इस अर्थ में कि हम इसके ऊपर [[कार्यात्मक व्युत्पन्न]] को परिभाषित कर सकते हैं) जिसे लूप समूह कहा जाता है। लूप समूह का झूठ बीजगणित संगत लूप बीजगणित है।
इसी प्रकार {{math|''S''<sup>1</sup>}} से लेकर [[झूठ समूह|लाई समूह]] {{math|''G''}} तक के सभी सुचारू मैप के समुच्चय एक अनंत-विमितीय [[झूठ समूह|लाई]] समूह बनाता है (इस अर्थ में, ली समूह को फलनात्मक व्युत्पन्न से परिभाषित कर सकते हैं) जिसे लूप समूह कहा जाता है। लूप समूह का [[झूठ समूह|लाई]] बीजगणित समरूपी लूप बीजगणित है।


==लूप बीजगणित के केंद्रीय विस्तार के रूप में एफ़िन लाई बीजगणित==
==लूप बीजगणित के केंद्रीय विस्तार के रूप में एफ़िन ली बीजगणित ==
{{See also |Lie algebra extension#Polynomial loop-algebra |Affine Lie algebra}}
{{See also |Lie algebra extension#Polynomial loop-algebra |Affine Lie algebra}}
अगर <math>\mathfrak{g}</math> एक [[अर्धसरल झूठ बीजगणित]] है, फिर एक गैर-तुच्छ समूह विस्तार#इसके लूप बीजगणित का केंद्रीय विस्तार <math>L\mathfrak g</math> एक एफ़िन लाई बीजगणित को जन्म देता है। इसके अलावा यह केंद्रीय विस्तार अद्वितीय है।<ref>{{harvnb|Kac|1990}} Exercise 7.8.</ref>
अगर <math>\mathfrak{g}</math> एक [[अर्धसरल झूठ बीजगणित]] है, फिर एक गैर-तुच्छ समूह विस्तार#इसके लूप बीजगणित का केंद्रीय विस्तार <math>L\mathfrak g</math> एक एफ़िन लाई बीजगणित को जन्म देता है। इसके अलावा यह केंद्रीय विस्तार अद्वितीय है।<ref>{{harvnb|Kac|1990}} Exercise 7.8.</ref>
Line 50: Line 47:
[[झूठ बीजगणित सहसंरचना]] की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2-कोसायकल का उपयोग करके वर्णित किया जा सकता है। यह नक्शा है
[[झूठ बीजगणित सहसंरचना]] की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2-कोसायकल का उपयोग करके वर्णित किया जा सकता है। यह नक्शा है
<math display=block>\varphi: L\mathfrak g \times L\mathfrak g \rightarrow \mathbb{C}</math>
<math display=block>\varphi: L\mathfrak g \times L\mathfrak g \rightarrow \mathbb{C}</math>
संतुष्टि देने वाला
संतुष्टि देने वाला<math display=block>\varphi(X\otimes t^m, Y\otimes t^n) = mB(X,Y)\delta_{m+n,0}.</math>
<math display=block>\varphi(X\otimes t^m, Y\otimes t^n) = mB(X,Y)\delta_{m+n,0}.</math>
फिर कोष्ठक में जोड़ा गया अतिरिक्त शब्द है <math>\varphi(X\otimes t^m, Y\otimes t^n)\hat k.</math>




फिर कोष्ठक में जोड़ा गया अतिरिक्त शब्द है <math>\varphi(X\otimes t^m, Y\otimes t^n)\hat k.</math>
===एफ़िन लाई बीजगणित===
===एफ़िन लाई बीजगणित===
भौतिकी में, केंद्रीय विस्तार <math>L\mathfrak g \oplus \mathbb C \hat k</math> इसे कभी-कभी एफ़िन लाई बीजगणित के रूप में जाना जाता है। गणित में, यह अपर्याप्त है, और पूर्ण एफ़िन ले बीजगणित वेक्टर स्थान है<ref name="BYB">P. Di Francesco, P. Mathieu, and D. Sénéchal, ''Conformal Field Theory'', 1997, {{ISBN|0-387-94785-X}}</ref>
भौतिकी में, केंद्रीय विस्तार <math>L\mathfrak g \oplus \mathbb C \hat k</math> इसे कभी-कभी एफ़िन लाई बीजगणित के रूप में जाना जाता है। गणित में, यह अपर्याप्त है, और पूर्ण एफ़िन ले बीजगणित वेक्टर स्थान है<ref name="BYB">P. Di Francesco, P. Mathieu, and D. Sénéchal, ''Conformal Field Theory'', 1997, {{ISBN|0-387-94785-X}}</ref>

Revision as of 22:04, 6 July 2023

गणित में, लूप बीजगणित कुछ प्रकार के लाई बीजगणित हैं, जो सैद्धांतिक भौतिकी में विशेष रुचि रखते हैं।

परिभाषा

एक क्षेत्र पर लाई बीजगणित के लिए यदि लॉरेंट बहुपद का समष्टि है, तो

निहित कोष्ठक के साथ

ज्यामितीय परिभाषा

यदि एक लाई बीजगणित है, जिसमें के साथ C(S1) का प्रदिश गुणनफल है, तो वृत्त मैनिफोल्ड S1 पर (सम्मिश्र) सुचारु फलनों का बीजगणित (तुल्यतः, किसी दिए गए अवधि के सुचारु सम्मिश्र-मान आवधिक फलन),

लाई कोष्ठक द्वारा दिया गया एक अनंत-आयामी लाई बीजगणित है


यहाँ g1 और g2, के तत्व हैं तथा f1 और f2, C(S1) के तत्व हैं .

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

वर्गीकरण

को रैखिक उपसमष्टि के रूप में परिभाषित करते हुए कोष्ठक किसी उत्पाद


तक प्रतिबंधित है, अतः लूप बीजगणित को -वर्गीकृत लाई बीजगणित संरचना दिया गया है।


विशेषतः, कोष्ठक 'शून्य-मोड' उपबीजगणित तक प्रतिबंधित है।

व्युत्पत्ति

लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से निरूपित किया गया है जो निम्न प्रकार कार्य करता है

और इसलिए औपचारिक रूप से . के रूप में व्यक्त किया जा सकता है।

एफ़िन लाई बीजगणित को परिभाषित करना आवश्यक है, जिसका उपयोग भौतिकी, विशेष रूप से अनुरूप क्षेत्र सिद्धांत में किया जाता है।

लूप समूह

इसी प्रकार S1 से लेकर लाई समूह G तक के सभी सुचारू मैप के समुच्चय एक अनंत-विमितीय लाई समूह बनाता है (इस अर्थ में, ली समूह को फलनात्मक व्युत्पन्न से परिभाषित कर सकते हैं) जिसे लूप समूह कहा जाता है। लूप समूह का लाई बीजगणित समरूपी लूप बीजगणित है।

लूप बीजगणित के केंद्रीय विस्तार के रूप में एफ़िन ली बीजगणित

अगर एक अर्धसरल झूठ बीजगणित है, फिर एक गैर-तुच्छ समूह विस्तार#इसके लूप बीजगणित का केंद्रीय विस्तार एक एफ़िन लाई बीजगणित को जन्म देता है। इसके अलावा यह केंद्रीय विस्तार अद्वितीय है।[1] केंद्रीय विस्तार एक केंद्रीय तत्व को जोड़कर दिया जाता है , अर्थात सभी के लिए ,

और लूप बीजगणित पर ब्रैकेट को संशोधित करना
कहाँ संहार रूप है.

केंद्रीय विस्तार, एक सदिश समष्टि के रूप में है, (इसकी सामान्य परिभाषा में, जैसा कि आम तौर पर होता है, एक मनमाना क्षेत्र के रूप में लिया जा सकता है)।

कोसाइकिल

झूठ बीजगणित सहसंरचना की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2-कोसायकल का उपयोग करके वर्णित किया जा सकता है। यह नक्शा है

संतुष्टि देने वाला


फिर कोष्ठक में जोड़ा गया अतिरिक्त शब्द है

एफ़िन लाई बीजगणित

भौतिकी में, केंद्रीय विस्तार इसे कभी-कभी एफ़िन लाई बीजगणित के रूप में जाना जाता है। गणित में, यह अपर्याप्त है, और पूर्ण एफ़िन ले बीजगणित वेक्टर स्थान है[2]

कहाँ ऊपर परिभाषित व्युत्पत्ति है।

इस स्थान पर, किलिंग फॉर्म को गैर-पतित फॉर्म तक बढ़ाया जा सकता है, और इस प्रकार एफ़िन लाई बीजगणित के रूट सिस्टम विश्लेषण की अनुमति मिलती है।

संदर्भ

  1. Kac 1990 Exercise 7.8.
  2. P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, 1997, ISBN 0-387-94785-X
  • Fuchs, Jurgen (1992), Affine Lie Algebras and Quantum Groups, Cambridge University Press, ISBN 0-521-48412-X