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

From Vigyanwiki
No edit summary
 
(7 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=[[अर्द्धसमूह]] एक [[तत्समक अवयव ]] के साथ, जिसे बीजगणितीय लूप भी कहा जाता है}}


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


==परिभाषा==
==परिभाषा==
Line 8: Line 8:


=== ज्यामितीय परिभाषा ===
=== ज्यामितीय परिभाषा ===
यदि <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|''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>




Line 14: Line 14:
यहाँ {{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>\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|''S''<sup>1</sup>}} से <math>\mathfrak{g}</math> तक के सुचारू मैप अर्थात् <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>\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}_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> तक प्रतिबंधित है।
विशेषतः, कोष्ठक 'शून्य-प्रणाली' उपबीजगणित <math>\mathfrak{g}_0 \cong \mathfrak{g}</math> तक प्रतिबंधित है।


== व्युत्पत्ति ==
== व्युत्पत्ति ==
Line 26: Line 26:
लूप बीजगणित पर एक प्राकृतिक व्युत्पत्ति है, जिसे पारंपरिक रूप से <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>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 |लाई बीजगणित एक्सटेंशन#बहुपद पाश-बीजगणित|एफ़िन लाई बीजगणित}}
{{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>\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>
और लूप बीजगणित पर कोष्ठक को संशोधित करके
और लूप बीजगणित पर कोष्ठक को संशोधित करके
Line 49: Line 49:
<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 display=block>\hat \mathfrak{g} = L\mathfrak{g} \oplus \mathbb C \hat k \oplus \mathbb C d</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>d</math> ऊपर परिभाषित व्युत्पत्ति है।
 
इस समष्टि पर, किलिंग फॉर्म को प्रव्यपजनन फॉर्म तक विस्तारित किया जा सकता है, और इस प्रकार एफ़िन ली बीजगणित के मूल तंत्र विश्लेषण की अनुमति प्राप्त होती है।


==संदर्भ==
==संदर्भ==
Line 61: 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}}[[Category: झूठ बीजगणित]]
{{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: Machine Translated Page]]
[[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]

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

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

संदर्भ

  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