लूप बीजगणित

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

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

ज्यामितीय परिभाषा
यदि $$\mathfrak{g}$$ एक लाई बीजगणित है, जिसमें $C^{∞}(S^{1})$ के साथ $$\mathfrak{g}$$ का प्रदिश गुणनफल, अनेक वृत्त $S^{1}$ पर (सम्मिश्र) निष्कोण फलनों का बीजगणित है(तुल्यतः, निर्धारित अवधि के निष्कोण सम्मिश्र-मान आवर्ती फलन),$$\mathfrak{g}\otimes C^\infty(S^1),$$लाई कोष्ठक द्वारा दिया गया एक अनंत-आयामी लाई बीजगणित है $$[g_1\otimes f_1,g_2 \otimes f_2]=[g_1,g_2]\otimes f_1 f_2.$$

यहाँ $g_{1}$ और $g_{2}$, $$\mathfrak{g}$$ के तत्व हैं तथा $f_{1}$ और $f_{2}$, $C^{∞}(S^{1})$ के तत्व हैं.

यह यथावत् वैसा नहीं है जो सहजता प्रतिबंध के कारण $S^{1}$ में प्रत्येक बिंदु के लिए एक $$\mathfrak{g}$$, के असीमित अनेक प्रतियों के प्रत्यक्ष फलन के अनुरूप होगा। इसके अतिरिक्त, इसे अन्य शब्दों में $$\mathfrak{g}$$ में एक सहज पैरामिट्रीकृत लूप $S^{1}$ से $$\mathfrak{g}$$ तक सुचारू योजना के संदर्भ में विचारा जा सकता है। इसीलिए इसे लूप बीजगणित कहा जाता है।

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

विशेषतः, कोष्ठक 'शून्य-प्रणाली' उपबीजगणित $$\mathfrak{g}_0 \cong \mathfrak{g}$$ तक प्रतिबंधित है।

व्युत्पत्ति
लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से $$d$$ निरूपित किया गया है जो निम्न प्रकार कार्य करता है $$d: L\mathfrak{g} \rightarrow L\mathfrak{g}$$$$d(X\otimes t^n) = nX\otimes t^n$$और इसलिए औपचारिक रूप से $$d = t\frac{d}{dt}$$. के रूप में व्यक्त किया जा सकता है।

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

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

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

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

सहचक्र
लाई बीजगणित सहसमरूपता की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2- सहचक्र का उपयोग करके वर्णित किया जा सकता है। यह मैप है$$\varphi: L\mathfrak g \times L\mathfrak g \rightarrow \mathbb{C}$$जो संतुष्ट करता है$$\varphi(X\otimes t^m, Y\otimes t^n) = mB(X,Y)\delta_{m+n,0}.$$तो कोष्ठक में याेजित अतिरिक्त शब्द है

$$\varphi(X\otimes t^m, Y\otimes t^n)\hat k.$$

एफ़िन लाई बीजगणित
भौतिकी में, केंद्रीय विस्तार $$L\mathfrak g \oplus \mathbb C \hat k$$ कभी-कभी एफ़िन लाई बीजगणित के रूप में जाना जाता है। गणित में यह अपर्याप्त है तथा पूर्ण एफ़िन लाई बीजगणित सदिश समष्टि है $$\hat \mathfrak{g} = L\mathfrak{g} \oplus \mathbb C \hat k \oplus \mathbb C d$$

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

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