View source for लूप बीजगणित

{{Short description|Type of Lie algebra of interest in physics}}
{{distinguish|text=[[अर्द्धसमूह]] एक [[तत्समक अवयव ]] के साथ, जिसे बीजगणितीय लूप भी कहा जाता है}}

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

==परिभाषा==
एक क्षेत्र <math>K</math> पर लाई बीजगणित <math>\mathfrak{g}</math> के लिए यदि <math>K[t,t^{-1}]</math> [[लॉरेंट बहुपद]] का समष्टि है, तो <math display=block>L\mathfrak{g} := \mathfrak{g}\otimes K[t,t^{-1}],</math>निहित कोष्ठक के साथ<math display=block>[X\otimes t^m, Y\otimes t^n] = [X,Y]\otimes t^{m+n}.</math>

=== ज्यामितीय परिभाषा ===
यदि <math>\mathfrak{g}</math> एक लाई बीजगणित है, जिसमें {{math|''C''<sup>∞</sup>(''S''<sup>1</sup>)}} के साथ <math>\mathfrak{g}</math> का प्रदिश गुणनफल, अनेक वृत्त {{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|''g''<sub>1</sub>}} और {{math|''g''<sub>2</sub>}},  <math>\mathfrak{g}</math> के तत्व हैं तथा {{math|''f''<sub>1</sub>}} और {{math|''f''<sub>2</sub>}}, {{math|''C''<sup>∞</sup>(''S''<sup>1</sup>)}} के तत्व हैं .

यह यथावत् वैसा नहीं है जो सहजता प्रतिबंध के कारण {{math|''S''<sup>1</sup>}} में प्रत्येक बिंदु के लिए एक <math>\mathfrak{g}</math>, के असीमित अनेक प्रतियों के प्रत्यक्ष फलन के अनुरूप होगा। इसके अतिरिक्त, इसे अन्य शब्दों में <math>\mathfrak{g}</math> में एक सहज पैरामिट्रीकृत लूप {{math|''S''<sup>1</sup>}} से <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><br />अतः लूप बीजगणित को <math>\mathbb{Z}</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>. के रूप में व्यक्त किया जा सकता है।

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

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

==लूप बीजगणित के केंद्रीय विस्तार के रूप में एफ़िन ली बीजगणित ==
{{See also |लाई बीजगणित एक्सटेंशन#बहुपद पाश-बीजगणित|एफ़िन लाई बीजगणित}}

यदि <math>\mathfrak{g}</math> एक [[अर्धसरल झूठ बीजगणित|अर्धसरल लाई बीजगणित]] है, तो इसके लूप बीजगणित <math>L\mathfrak g</math> का असाधारण केंद्रीय विस्तार एफ़िन लाई बीजगणित को उत्पन्न करता है। इसके अतिरिक्त यह केंद्रीय विस्तार अद्वितीय है।<ref>{{harvnb|Kac|1990}} Exercise 7.8.</ref>केंद्रीय विस्तार एक केंद्रीय तत्व <math>\hat k</math>, को सलंग्न करके दिया जाता है अर्थात सभी <math>X\otimes t^n \in L\mathfrak{g}</math> के लिए
<math display=block>[\hat k, X\otimes t^n] = 0,</math>
और लूप बीजगणित पर कोष्ठक को संशोधित करके
<math display=block>[X\otimes t^m, Y\otimes t^n] = [X,Y] \otimes t^{m + n} + mB(X,Y) \delta_{m+n,0} \hat k,</math>
जहाँ <math>B(\cdot, \cdot)</math> [[संहार रूप|किलिंग फॉर्म]] है.

केंद्रीय विस्तार एक सदिश समष्टि के रूप में <math>L\mathfrak{g} \oplus \mathbb{C}\hat k</math> (इसकी सामान्य परिभाषा में, जैसा कि सामान्यतः होता है, <math>\mathbb{C}</math> को एक यादृच्छिक क्षेत्र के रूप में लिया जा सकता है)।

=== सहचक्र ===
{{See also|लाई बीजगणित एक्सटेंशन#केन्द्रीय}}
[[झूठ बीजगणित सहसंरचना|लाई बीजगणित सहसमरूपता]] की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2- सहचक्र का उपयोग करके वर्णित किया जा सकता है। यह मैप है<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>\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 display=block>\hat \mathfrak{g} = L\mathfrak{g} \oplus \mathbb C \hat k \oplus \mathbb C d</math>जहाँ <math>d</math> ऊपर परिभाषित व्युत्पत्ति है।

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

==संदर्भ==
{{reflist}}
*{{citation|first=Jurgen|last= Fuchs|title=Affine Lie Algebras and Quantum Groups|year=1992|publisher=Cambridge University Press|isbn=0-521-48412-X}}

{{DEFAULTSORT:Loop Algebra}}[[Category: झूठ बीजगणित]] 
{{String theory topics |state=collapsed}}
{{algebra-stub}}



[[Category: Machine Translated Page]]
[[Category:Created On 03/07/2023]]