लूप बीजगणित: Difference between revisions
(Created page with "{{Short description|Type of Lie algebra of interest in physics}} {{distinguish|text=quasigroup with an identity element, also called an algebraic loop}} गणित...") |
No edit summary |
||
(11 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Type of Lie algebra of interest in physics}} | {{Short description|Type of Lie algebra of interest in physics}} | ||
{{distinguish|text=[[ | {{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 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|''g''<sub>1</sub>}} और {{math|''g''<sub>2</sub>}} | |||
यह | यह यथावत् वैसा नहीं है जो सहजता प्रतिबंध के कारण {{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 display=block>[\cdot\, , \, \cdot]: \mathfrak{g}_i \times \mathfrak{g}_j \rightarrow \mathfrak{g}_{i+j},</math> | |||
विशेषतः, कोष्ठक 'शून्य-प्रणाली' उपबीजगणित <math>\mathfrak{g}_0 \cong \mathfrak{g}</math> तक प्रतिबंधित है। | |||
== व्युत्पत्ति == | == व्युत्पत्ति == | ||
{{See also| | {{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 | | {{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>[\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 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| | {{See also|लाई बीजगणित एक्सटेंशन#केन्द्रीय}} | ||
[[झूठ बीजगणित सहसंरचना]] की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2- | [[झूठ बीजगणित सहसंरचना|लाई बीजगणित सहसमरूपता]] की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 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 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> | भौतिकी में, केंद्रीय विस्तार <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> ऊपर परिभाषित व्युत्पत्ति है। | ||
<math display=block>\hat \mathfrak{g} = L\mathfrak{g} \oplus \mathbb C \hat k \oplus \mathbb C d</math> | |||
इस | इस समष्टि पर, किलिंग फॉर्म को अनपभ्रष्ट फॉर्म तक विस्तारित किया जा सकता है तथा इस प्रकार एफ़िन ली बीजगणित के मूल तंत्र विश्लेषण की अनुमति प्राप्त होती है। | ||
==संदर्भ== | ==संदर्भ== | ||
Line 73: | Line 57: | ||
*{{citation|first=Jurgen|last= Fuchs|title=Affine Lie Algebras and Quantum Groups|year=1992|publisher=Cambridge University Press|isbn=0-521-48412-X}} | *{{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}} | {{DEFAULTSORT:Loop Algebra}} | ||
{{String theory topics |state=collapsed}} | {{String theory topics |state=collapsed}} | ||
{{algebra-stub}} | {{algebra-stub}} | ||
[[Category:Algebra stubs|Loop Algebra]] | |||
[[Category:All stub articles|Loop Algebra]] | |||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Loop Algebra]] | ||
[[Category:Created On 03/07/2023]] | [[Category:Collapse templates|Loop Algebra]] | ||
[[Category:Created On 03/07/2023|Loop Algebra]] | |||
[[Category:Lua-based templates|Loop Algebra]] | |||
[[Category:Machine Translated Page|Loop Algebra]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Loop Algebra]] | |||
[[Category:Pages with script errors|Loop Algebra]] | |||
[[Category:Sidebars with styles needing conversion|Loop Algebra]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready|Loop Algebra]] | |||
[[Category:Templates generating microformats|Loop Algebra]] | |||
[[Category:Templates that add a tracking category|Loop Algebra]] | |||
[[Category:Templates that are not mobile friendly|Loop Algebra]] | |||
[[Category:Templates that generate short descriptions|Loop Algebra]] | |||
[[Category:Templates using TemplateData|Loop Algebra]] | |||
[[Category:Wikipedia metatemplates|Loop Algebra]] | |||
[[Category:झूठ बीजगणित|Loop Algebra]] |
Latest revision as of 10:16, 28 July 2023
गणित में, लूप बीजगणित में विशेष प्रकार के लाई बीजगणित हैं, जो सैद्धांतिक भौतिकी में विशेष रुचि रखते हैं।
परिभाषा
एक क्षेत्र पर लाई बीजगणित के लिए यदि लॉरेंट बहुपद का समष्टि है, तो
ज्यामितीय परिभाषा
यदि एक लाई बीजगणित है, जिसमें C∞(S1) के साथ का प्रदिश गुणनफल, अनेक वृत्त S1 पर (सम्मिश्र) निष्कोण फलनों का बीजगणित है(तुल्यतः, निर्धारित अवधि के निष्कोण सम्मिश्र-मान आवर्ती फलन),
यहाँ g1 और g2, के तत्व हैं तथा f1 और f2, C∞(S1) के तत्व हैं .
यह यथावत् वैसा नहीं है जो सहजता प्रतिबंध के कारण S1 में प्रत्येक बिंदु के लिए एक , के असीमित अनेक प्रतियों के प्रत्यक्ष फलन के अनुरूप होगा। इसके अतिरिक्त, इसे अन्य शब्दों में में एक सहज पैरामिट्रीकृत लूप S1 से तक सुचारू योजना के संदर्भ में विचारा जा सकता है। इसीलिए इसे लूप बीजगणित कहा जाता है।
वर्गीकरण
को रैखिक उपसमष्टि के रूप में परिभाषित करते हुए कोष्ठक एक फलन तक सीमित करता है
अतः लूप बीजगणित को -वर्गीकृत लाई बीजगणित संरचना प्रदान की गई।
विशेषतः, कोष्ठक 'शून्य-प्रणाली' उपबीजगणित तक प्रतिबंधित है।
व्युत्पत्ति
लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से निरूपित किया गया है जो निम्न प्रकार कार्य करता है
एफ़िन लाई बीजगणित को परिभाषित करना आवश्यक है, जिसका उपयोग भौतिकी, विशेष रूप से अनुकोण क्षेत्र सिद्धांत में किया जाता है।
लूप समूह
इसी प्रकार S1 से लेकर लाई समूह G तक के सभी सहज आरेखों का एक समुच्चय एक अनंत-विमितीय लाई समूह का निर्माण करता है (इस अर्थ में, ली समूह को फलनात्मक व्युत्पन्न से परिभाषित कर सकते हैं) जिसे लूप समूह कहा जाता है। लूप समूह का लाई बीजगणित समरूपी लूप बीजगणित है।
लूप बीजगणित के केंद्रीय विस्तार के रूप में एफ़िन ली बीजगणित
यदि एक अर्धसरल लाई बीजगणित है, तो इसके लूप बीजगणित का असाधारण केंद्रीय विस्तार एफ़िन लाई बीजगणित को उत्पन्न करता है। इसके अतिरिक्त यह केंद्रीय विस्तार अद्वितीय है।[1]केंद्रीय विस्तार एक केंद्रीय तत्व , को सलंग्न करके दिया जाता है अर्थात सभी के लिए
केंद्रीय विस्तार एक सदिश समष्टि के रूप में (इसकी सामान्य परिभाषा में, जैसा कि सामान्यतः होता है, को एक यादृच्छिक क्षेत्र के रूप में लिया जा सकता है)।
सहचक्र
लाई बीजगणित सहसमरूपता की भाषा का उपयोग करते हुए, केंद्रीय विस्तार को लूप बीजगणित पर 2- सहचक्र का उपयोग करके वर्णित किया जा सकता है। यह मैप है
एफ़िन लाई बीजगणित
भौतिकी में, केंद्रीय विस्तार कभी-कभी एफ़िन लाई बीजगणित के रूप में जाना जाता है। गणित में यह अपर्याप्त है तथा पूर्ण एफ़िन लाई बीजगणित सदिश समष्टि है[2]
इस समष्टि पर, किलिंग फॉर्म को अनपभ्रष्ट फॉर्म तक विस्तारित किया जा सकता है तथा इस प्रकार एफ़िन ली बीजगणित के मूल तंत्र विश्लेषण की अनुमति प्राप्त होती है।
संदर्भ
- ↑ Kac 1990 Exercise 7.8.
- ↑ 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