एफ़िन लाई बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(25 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में, एफ़िन लाई बीजगणित अनंत-आयामी लाई बीजगणित है, जो परिमित-आयामी सरल लाई बीजगणित से विहित फैशन में निर्मित होता है। एफ़िन लाई बीजगणित को देखते हुए, नीचे वर्णित अनुसार, संबंधित एफ़िन केएसी-मूडी बीजगणित भी बना सकता है। विशुद्ध रूप से गणितीय दृष्टिकोण से, एफ़िन लाई बीजगणित रोचक हैं क्योंकि उनके [[प्रतिनिधित्व सिद्धांत]], परिमित-आयामी अर्ध-सरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत के जैसे, सामान्य केएसी-मूडी बीजगणित की तुलना में अधिक उत्तम समझा जाता है। जैसा कि विक्टर केएसी द्वारा देखा गया है, एफाइन लाइ बीजगणित के निरूपण के लिए [[वेइल-केएसी वर्ण सूत्र|वर्ण सूत्र]] कुछ संयुक्त पहचान, [[मैकडोनाल्ड पहचान]] का अर्थ है।
गणित में, '''एफ़िन लाई बीजगणित''' अनंत-आयामी लाई बीजगणित है, जो परिमित-आयामी सरल लाई बीजगणित से विहित व्यवहार में निर्मित होता है। एफ़िन लाई बीजगणित को देखते हुए, नीचे वर्णित अनुसार, संबंधित एफ़िन केएसी-मूडी बीजगणित भी बना सकता है। विशुद्ध रूप से गणितीय दृष्टिकोण से, एफ़िन लाई बीजगणित रोचक हैं क्योंकि उनके [[प्रतिनिधित्व सिद्धांत]], परिमित-आयामी अर्ध-सरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत के जैसे, सामान्य केएसी-मूडी बीजगणित की तुलना में अधिक उत्तम समझा जाता है। जैसा कि विक्टर केएसी द्वारा देखा गया है, एफ़िन लाई बीजगणित के निरूपण के लिए [[वेइल-केएसी वर्ण सूत्र|वर्ण सूत्र]] कुछ संयुक्त पहचान, [[मैकडोनाल्ड पहचान]] का अर्थ है।


एफ़िन लाई बीजगणित [[स्ट्रिंग सिद्धांत]] और [[द्वि-आयामी अनुरूप क्षेत्र सिद्धांत]] में महत्वपूर्ण भूमिका निभाते हैं जिस प्रकार से वे निर्मित होते हैं: साधारण [[झूठ बीजगणित|लाई बीजगणित]] से प्रारंभ <math>\mathfrak{g}</math>, [[पाश बीजगणित|लूप बीजगणित]] पर विचार करता है, <math>L\mathfrak{g}</math>, द्वारा गठित <math>\mathfrak{g}</math> बिंदुवार कम्यूटेटर के साथ वृत्त (बंद स्ट्रिंग के रूप में व्याख्या) पर मूल्यवान कार्य होता है। द एफ़िन लाइ बीजगणित <math>\hat{\mathfrak{g}}</math> लूप बीजगणित में अतिरिक्त आयाम जोड़कर और गैर-अल्प प्रकार से कम्यूटेटर को संशोधित करके प्राप्त किया जाता है, जिसे भौतिक विज्ञानी [[विसंगति (भौतिकी)|क्वांटम विसंगति]] कहते हैं (इस स्थिति में, WZW प्रारूप की विसंगति) और गणितज्ञ केंद्रीय विस्तार है। सामान्यतः अधिक,
एफ़िन लाई बीजगणित [[स्ट्रिंग सिद्धांत]] और [[द्वि-आयामी अनुरूप क्षेत्र सिद्धांत]] में महत्वपूर्ण भूमिका निभाते हैं जिस प्रकार से वे निर्मित होते हैं: साधारण [[झूठ बीजगणित|लाई बीजगणित]] से प्रारंभ <math>\mathfrak{g}</math>, [[पाश बीजगणित|लूप बीजगणित]] पर विचार करता है, <math>L\mathfrak{g}</math>, द्वारा गठित <math>\mathfrak{g}</math> बिंदुवार कम्यूटेटर के साथ वृत्त (बंद स्ट्रिंग के रूप में व्याख्या) पर मूल्यवान कार्य होता है। द एफ़िन लाई बीजगणित <math>\hat{\mathfrak{g}}</math> लूप बीजगणित में अतिरिक्त आयाम जोड़कर और गैर-अल्प प्रकार से कम्यूटेटर को संशोधित करके प्राप्त किया जाता है, जिसे भौतिक विज्ञानी [[विसंगति (भौतिकी)|क्वांटम विसंगति]] कहते हैं (इस स्थिति में, डब्ल्यूजेडडब्ल्यू प्रारूप की विसंगति) और गणितज्ञ केंद्रीय विस्तार है। सामान्यतः यदि σ सरल लाई बीजगणित का [[automorphism|ऑटोमोर्फिज्म]] है <math>\mathfrak{g}</math> इसके [[डायनकिन आरेख]], ट्विस्टेड लूप बीजगणित के ऑटोमोर्फिज्म से जुड़ा हुआ है, जो <math>L_\sigma\mathfrak{g}</math> में सम्मिलित हैं, <math>\mathfrak{g}</math> वास्तविक रेखा पर -मूल्यवान कार्य f जो ट्विस्टेड आवधिकता की स्थिति {{math|''f''(''x'' + 2''π'') {{=}} ''σ f''(''x'')}} को संतुष्ट करते हैं। उनके केंद्रीय विस्तार त्रुटिहीन रूप से मुड़े हुए चक्कर वाले बीजगणित हैं। स्ट्रिंग सिद्धांत के दृष्टिकोण से एफ़िन लाई बीजगणित के विभिन्न गुणों का अध्ययन करने में सहायता मिलती है, जैसे तथ्य यह है कि उनके प्रतिनिधित्व के [[बीजगणितीय वर्ण|पात्र]] [[मॉड्यूलर समूह]] के अंतर्गत आपस में परिवर्तित होते हैं।
अगर σ साधारण लाई बीजगणित का [[automorphism]] है <math>\mathfrak{g}</math> इसके [[डायनकिन आरेख]], मुड़ लूप बीजगणित के ऑटोमोर्फिज्म से जुड़ा हुआ है <math>L_\sigma\mathfrak{g}</math> के होते हैं <math>\mathfrak{g}</math>वास्तविक रेखा पर -मूल्यवान कार्य f जो संतुष्ट करते हैं
मुड़ आवधिकता की स्थिति {{math|''f''(''x'' + 2''π'') {{=}} ''σ f''(''x'')}}. उनके केंद्रीय विस्तार सटीक रूप से मुड़े हुए चक्कर वाले बीजगणित हैं। स्ट्रिंग थ्योरी के दृष्टिकोण से एफ़िन ले बीजगणित के कई गहरे गुणों को समझने में मदद मिलती है, जैसे तथ्य यह है कि उनके प्रतिनिधित्व के [[बीजगणितीय वर्ण]] [[मॉड्यूलर समूह]] के तहत आपस में बदलते हैं।


== Affine लाई बीजगणित सरल लाई बीजगणित == से
== सरल लाई बीजगणित से एफ़िन लाई बीजगणित ==


=== परिभाषा ===
=== परिभाषा ===


अगर <math>\mathfrak{g}</math> परिमित-आयामी सरल लाई बीजगणित है, संगत
यदि <math>\mathfrak{g}</math> परिमित-आयामी सरल लाई बीजगणित है, तो संबंधित एफ़िन लाई बीजगणित <math>\hat{\mathfrak{g}}</math> लूप बीजगणित के केंद्रीय विस्तार के रूप में <math>\mathfrak{g}\otimes\mathbb{\Complex}[t,t^{-1}]</math> बनाया गया है, आयामी केंद्र के साथ <math>\mathbb{\Complex}c</math> होता है,
affine लाई बीजगणित <math>\hat{\mathfrak{g}}</math> लूप बीजगणित के लाई बीजगणित विस्तार #Central के रूप में बनाया गया है <math>\mathfrak{g}\otimes\mathbb{\Complex}[t,t^{-1}]</math>, आयामी केंद्र के साथ <math>\mathbb{\Complex}c.</math>
 
सदिश स्थान के रूप में,
सदिश स्थान के रूप में,


: <math>\widehat{\mathfrak{g}}=\mathfrak{g}\otimes\mathbb{\Complex}[t,t^{-1}]\oplus\mathbb{\Complex}c,</math>
: <math>\widehat{\mathfrak{g}}=\mathfrak{g}\otimes\mathbb{\Complex}[t,t^{-1}]\oplus\mathbb{\Complex}c,</math>
कहाँ <math>\mathbb{\Complex}[t,t^{-1}]</math> अनिश्चित टी में [[लॉरेंट श्रृंखला]] का जटिल वेक्टर स्थान है। लाइ ब्रैकेट सूत्र द्वारा परिभाषित किया गया है
जहाँ <math>\mathbb{\Complex}[t,t^{-1}]</math> अनिश्चित ''t'' में [[लॉरेंट श्रृंखला]] का जटिल सदिश स्थान है। जिसे लाई ब्रैकेट सूत्र द्वारा परिभाषित किया गया है:


: <math>[a\otimes t^n+\alpha c, b\otimes t^m+\beta c]=[a,b]\otimes t^{n+m}+\langle a|b\rangle n\delta_{m+n,0}c</math>
: <math>[a\otimes t^n+\alpha c, b\otimes t^m+\beta c]=[a,b]\otimes t^{n+m}+\langle a|b\rangle n\delta_{m+n,0}c</math>
सभी के लिए <math>a,b\in\mathfrak{g}, \alpha,\beta\in\mathbb{\Complex}</math> और <math>n,m\in\mathbb{Z}</math>, कहाँ <math>[a,b]</math> लाई बीजगणित में लाई ब्रैकेट है <math>\mathfrak{g}</math> और <math>\langle\cdot |\cdot\rangle</math> [[ मारक रूप ]] है|कार्टन-किलिंग फॉर्म चालू है <math>\mathfrak{g}.</math>
सभी के लिए <math>a,b\in\mathfrak{g}, \alpha,\beta\in\mathbb{\Complex}</math> और <math>n,m\in\mathbb{Z}</math>, जहाँ <math>[a,b]</math> लाई बीजगणित में लाई ब्रैकेट है, <math>\mathfrak{g}</math> और <math>\langle\cdot |\cdot\rangle</math> [[ मारक रूप |किलिंग रूप]] है। कार्टन-किलिंग रूप <math>\mathfrak{g}</math> है।  
परिमित-आयामी अर्ध-सरल लाई बीजगणित के संगत एफ़िन लाइ बीजगणित, एफ़िन लाई बीजगणित का सीधा योग है जो इसके सरल सारांश के अनुरूप है। द्वारा परिभाषित affine Lie बीजगणित की  विशिष्ट व्युत्पत्ति है


: <math> \delta (a\otimes t^m+\alpha c) = t{d\over dt} (a\otimes t^m).</math>
परिमित-आयामी अर्ध-सरल लाई बीजगणित के संगत एफ़िन लाई बीजगणित का सीधा योग है जो इसके सरल सारांश के अनुरूप है। परिभाषित एफ़िन लाई बीजगणित की विशिष्ट व्युत्पत्ति है:
संबंधित affine Kac–Moody बीजगणित को अतिरिक्त जनरेटर ''d'' जोड़कर [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में परिभाषित किया गया है जो संतुष्ट करता है [''d'', ''A''] = ''δ''(''A'' ).
 
: <math> \delta (a\otimes t^m+\alpha c) = t{d\over dt} (a\otimes t^m)</math>
संबंधित एफ़िन केएसी-मूडी बीजगणित को अतिरिक्त जनरेटर ''d'' जोड़कर [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में परिभाषित किया गया है जो [''d'', ''A''] = ''δ''(''A'' ) को संतुष्ट करता है।


=== डायकिन आरेखों का निर्माण===
=== डायकिन आरेखों का निर्माण===


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


{| class=wikitable width=660
{| class=wikitable width=660
|+ एफाइन लाई एल्जेब्रस के लिए [[Dynkin diagram|डाइनकिन डायग्राम]]  
|+ एफ़िन लाई एल्जेब्रस के लिए [[Dynkin diagram|डाइनकिन डायग्राम]]
|- align=center
|- align=center
|valign=top|[[File:Affine Dynkin diagrams.png|360px]]<BR>हरे रंग में जोड़े गए नोड्स के साथ विस्तारित (अनट्विस्टेड) ​​एफ़ाइन डाइकिन आरेखों का समूह  
|valign=top|[[File:Affine Dynkin diagrams.png|360px]]<BR>हरे रंग में जोड़े गए नोड्स के साथ विस्तारित (अनट्विस्टेड) ​​एफ़ाइन डाइकिन आरेखों का समूह  
|[[File:Twisted affine Dynkin diagrams.png|300px]]<BR>"ट्विस्टेड" एफाइन फॉर्म का नाम (2) या (3) सुपरस्क्रिप्ट के साथ रखा गया है।<BR>(''k'' ग्राफ में नोड्स की संख्या है।)
|[[File:Twisted affine Dynkin diagrams.png|300px]]<BR>"ट्विस्टेड" एफ़िन फॉर्म का नाम (2) या (3) सुपरस्क्रिप्ट के साथ रखा गया है।<BR>(''k'' ग्राफ में नोड्स की संख्या है।)
|}
|}


=== केंद्रीय विस्तार का वर्गीकरण ===
=== केंद्रीय विस्तार का वर्गीकरण ===


इसी सरल लाई बीजगणित के डायनकिन आरेख के लिए अतिरिक्त नोड का लगाव निम्नलिखित निर्माण से मेल खाता है। affine Lie बीजगणित हमेशा  समूह विस्तार के रूप में बनाया जा सकता है # संबंधित सरल लाई बीजगणित के पाश बीजगणित का केंद्रीय विस्तार। यदि कोई इसके बजाय अर्ध-सरल लाई बीजगणित के साथ शुरू करना चाहता है, तो उसे अर्ध-सरल बीजगणित के सरल घटकों की संख्या के बराबर तत्वों की संख्या से केंद्रीय रूप से विस्तार करने की आवश्यकता है। भौतिकी में, इसके बजाय अक्सर  अर्ध-सरल बीजगणित और एबेलियन बीजगणित के प्रत्यक्ष योग पर विचार किया जाता है <math>\mathbb{\Complex}^n</math>. इस मामले में n एबेलियन जनरेटर के लिए n और केंद्रीय तत्वों को जोड़ने की भी आवश्यकता है।
इसी सरल लाई बीजगणित के डायनकिन आरेख के लिए अतिरिक्त नोड का सम्बन्ध निम्नलिखित निर्माण से युग्मित होता है। एफ़िन लाई बीजगणित सदैव समूह विस्तार के रूप में बनाया जा सकता है, संबंधित सरल लाई बीजगणित के लूप बीजगणित का केंद्रीय विस्तार होता है। यदि कोई इसके अतिरिक्त अर्ध-सरल लाई बीजगणित के साथ प्रारंभ करना चाहता है, तो उसे अर्ध-सरल बीजगणित के सरल घटकों की संख्या के समान तत्वों की संख्या से केंद्रीय रूप से विस्तार करने की आवश्यकता है। भौतिकी में, इसके अतिरिक्त अर्ध-सरल बीजगणित और एबेलियन बीजगणित के प्रत्यक्ष योग <math>\mathbb{\Complex}^n</math> पर विचार किया जाता है, इस स्थिति में n एबेलियन जनरेटर के लिए और n केंद्रीय तत्वों को जोड़ने की भी आवश्यकता है।


इसी सरल कॉम्पैक्ट लाई समूह के लूप समूह का दूसरा इंटीग्रल कोहोलॉजी पूर्णांकों के लिए आइसोमोर्फिक है। एकल जनरेटर द्वारा एफ़िन लाइ समूह के केंद्रीय विस्तार इस मुक्त लूप समूह पर टोपोलॉजिकल रूप से सर्कल बंडल हैं, जिन्हें दो-श्रेणी द्वारा वर्गीकृत किया जाता है जिसे [[कंपन]] के पहले [[चेर्न वर्ग]] के रूप में जाना जाता है। इसलिए, एफ़िन ली ग्रुप के केंद्रीय एक्सटेंशन को पैरामीटर के द्वारा वर्गीकृत किया जाता है जिसे भौतिकी साहित्य में स्तर कहा जाता है, जहां यह पहली बार दिखाई देता है। Affine कॉम्पैक्ट समूहों का एकात्मक उच्चतम वजन प्रतिनिधित्व केवल तभी मौजूद होता है जब k प्राकृतिक संख्या हो। अधिक सामान्यतः, यदि कोई अर्ध-सरल बीजगणित पर विचार करता है, तो प्रत्येक साधारण घटक के लिए केंद्रीय शुल्क होता है।
इसी सरल सघन लाई समूह के लूप समूह का दूसरा इंटीग्रल कोहोलॉजी पूर्णांकों के लिए आइसोमोर्फिक है। एकल जनरेटर द्वारा एफ़िन लाई समूह के केंद्रीय विस्तार इस मुक्त लूप समूह पर टोपोलॉजिकल रूप से वृत्त बंडल हैं, जिन्हें दो-श्रेणी द्वारा वर्गीकृत किया जाता है जिसे [[कंपन]] के प्रथम [[चेर्न वर्ग]] के रूप में जाना जाता है। इसलिए, एफ़िन लाई समूह के केंद्रीय प्रारूप को पैरामीटर के द्वारा वर्गीकृत किया जाता है जिसे भौतिकी साहित्य में स्तर कहा जाता है, जहां यह प्रथम बार दिखाई देता है। एफ़िन सघन समूहों का एकात्मक उच्चतम वजन प्रतिनिधित्व केवल तभी उपस्थित होता है जब k प्राकृतिक संख्या हो। सामान्यतः, यदि कोई अर्ध-सरल बीजगणित पर विचार करता है, तो प्रत्येक साधारण घटक के लिए केंद्रीय शुल्क होता है।


== संरचना ==
== संरचना ==


=== कार्टन-वील आधार ===
=== कार्टन-वील आधार ===
जैसा कि परिमित मामले में, कार्टन-वेइल आधार का निर्धारण एफाइन लाइ अलजेब्रस की संरचना का निर्धारण करने में महत्वपूर्ण कदम है।
जैसा कि परिमित स्थिति में, कार्टन-वेइल आधार का निर्धारण एफ़िन लाई अलजेब्रस की संरचना का निर्धारण करने में महत्वपूर्ण चरण है।


परिमित-आयामी, सरल, जटिल लाई बीजगणित को ठीक करें <math>\mathfrak{g}</math> [[यह सबलजेब्रा परीक्षण]] के साथ <math>\mathfrak{h}</math> और विशेष जड़ प्रणाली <math>\Delta</math>. अंकन का परिचय <math>X_n = X\otimes t^n,</math>, कोई कार्टन-वेइल आधार का विस्तार करने का प्रयास कर सकता है <math>\{H^i\} \cup \{E^\alpha|\alpha \in \Delta\}</math> के लिए <math>\mathfrak{g}</math> affine Lie बीजगणित के लिए एक, द्वारा दिया गया <math>\{H^i_n\} \cup \{c\} \cup \{E^\alpha_n\}</math>, साथ <math>\{H^i_0\} \cup \{c\}</math>  एबेलियन सबलजेब्रा बनाना।
परिमित-आयामी, सरल, जटिल लाई बीजगणित <math>\mathfrak{g}</math> को उचित करता है, [[यह सबलजेब्रा परीक्षण|कार्टन उपबीजगणित]] के साथ <math>\mathfrak{h}</math> और विशेष जड़ प्रणाली <math>\Delta</math> है। अंकन का परिचय <math>X_n = X\otimes t^n,</math> कोई कार्टन-वेइल आधार का विस्तार करने का प्रयास कर सकता है <math>\{H^i\} \cup \{E^\alpha|\alpha \in \Delta\}</math> के लिए <math>\mathfrak{g}</math> एफ़िन लाई  बीजगणित के लिए दिया गया है। <math>\{H^i_n\} \cup \{c\} \cup \{E^\alpha_n\}</math>, के साथ <math>\{H^i_0\} \cup \{c\}</math>  एबेलियन उपबीजगणित बनाता है।


के eigenvalues <math>ad(H^i_0)</math> और <math>ad(c)</math> पर <math>E^\alpha_n</math> हैं <math>\alpha^i</math> और <math>0</math> क्रमशः और स्वतंत्र रूप से <math>n</math>. इसलिए जड़ <math>\alpha</math> इस एबेलियन सबलजेब्रा के संबंध में असीम रूप से पतित है। एबेलियन सबलजेब्रा में ऊपर वर्णित व्युत्पत्ति को लागू करने से एबेलियन सबलजेब्रा एफाइन लाइ बीजगणित के लिए कार्टन सबलजेब्रा में बदल जाता है, ईगेनवैल्यू के साथ <math>(\alpha^1, \cdots, \alpha^{dim \mathfrak{h}}, 0, n)</math> के लिए <math>E^\alpha_n.</math>
ईगेनवैल्यू <math>ad(H^i_0)</math> और <math>ad(c)</math> पर <math>E^\alpha_n</math> हैं, <math>\alpha^i</math> और <math>0</math> क्रमशः और स्वतंत्र रूप से <math>n</math> है। इसलिए <math>\alpha</math> इस एबेलियन उपबीजगणित के संबंध में अनंत रूप से पतित है। एबेलियन उपबीजगणित में ऊपर वर्णित व्युत्पत्ति को प्रारम्भ करने से एफ़िन लाई बीजगणित के लिए कार्टन उपबीजगणित में परिवर्तित हो जाता है, ईगेनवैल्यू <math>(\alpha^1, \cdots, \alpha^{dim \mathfrak{h}}, 0, n)</math> के लिए <math>E^\alpha_n</math> है।
=== हत्या रूप ===
=== किलिंग रूप ===
इसकी अचल संपत्ति का उपयोग करके हत्या का रूप लगभग पूरी तरह से निर्धारित किया जा सकता है। अंकन का उपयोग करना <math>B</math> किलिंग फॉर्म के लिए <math>\mathfrak{g}</math> और <math>\hat B</math> एफिन केएसी-मूडी बीजगणित पर किलिंग फॉर्म के लिए,
इसकी अचल संपत्ति का उपयोग करके किलिंग का रूप लगभग प्रत्येक प्रकार से निर्धारित किया जा सकता है। अंकन का उपयोग करना <math>B</math> किलिंग रूप के लिए <math>\mathfrak{g}</math> और <math>\hat B</math> एफिन केएसी-मूडी बीजगणित पर किलिंग रूप के लिए इस प्रकार है,
<math display=block>\hat B(X_n, Y_m) = B(X,Y)\delta_{n+m,0},</math>  
<math display=block>\hat B(X_n, Y_m) = B(X,Y)\delta_{n+m,0},</math><math display=block>\hat B(X_n, c) = 0, \hat B(X_n, d) = 0</math><math display=block>\hat B(c, c) = 0, \hat B(c, d) = 1, \hat B(d,d) = 0,</math>
<math display=block>\hat B(X_n, c) = 0, \hat B(X_n, d) = 0</math>
जहां केवल अंतिम समीकरण को निश्चरता से स्थिर नहीं किया जाता है और इसके अतिरिक्त सम्मेलन द्वारा चयन किया जाता है। विशेष रूप से, <math>\hat B</math> का प्रतिबंध <math>c,d</math> तक उपस्थान हस्ताक्षर के साथ बिलिनियर फॉर्म देता है, <math>(+,-)</math>
<math display=block>\hat B(c, c) = 0, \hat B(c, d) = 1, \hat B(d,d) = 0,</math>
जहां केवल अंतिम समीकरण को निश्चरता से तय नहीं किया जाता है और इसके बजाय सम्मेलन द्वारा चुना जाता है। विशेष रूप से, का प्रतिबंध <math>\hat B</math> तक <math>c,d</math> सबस्पेस हस्ताक्षर के साथ बिलिनियर फॉर्म देता है <math>(+,-)</math>.


से संबद्ध ऐफिन रूट लिखिए <math>E^\alpha_n</math> जैसा <math>\hat \alpha = (\alpha;0;n)</math>. परिभाषित <math>\delta = (0,0,1)</math>, इसे फिर से लिखा जा सकता है
से संबद्ध ऐफिन रूट <math>E^\alpha_n</math> लिखिए, जैसा <math>\hat \alpha = (\alpha;0;n)</math> परिभाषित <math>\delta = (0,0,1)</math>, इसे पुनः लिखा जा सकता है:
<math display=block>\hat \alpha = \alpha + n\delta.</math>
<math display=block>\hat \alpha = \alpha + n\delta.</math>
जड़ों का पूरा सेट है
जड़ों का पूर्ण समूह है:
<math display = block>\hat \Delta = \{\alpha + n\delta|n \in \mathbb Z, \alpha \in \Delta\}\cup \{n\delta|n \in \mathbb Z, n \neq 0\}.</math>
<math display = block>\hat \Delta = \{\alpha + n\delta|n \in \mathbb Z, \alpha \in \Delta\}\cup \{n\delta|n \in \mathbb Z, n \neq 0\}.</math>
तब <math>\delta</math> असामान्य है क्योंकि इसकी लंबाई शून्य है: <math>(\delta, \delta) = 0</math> कहाँ <math>(\cdot,\cdot)</math> किलिंग फॉर्म से प्रेरित जड़ों पर द्विरेखीय रूप है।
तब <math>\delta</math> असामान्य है क्योंकि इसकी लंबाई शून्य है: <math>(\delta, \delta) = 0</math> जहाँ <math>(\cdot,\cdot)</math> किलिंग रूप से प्रेरित जड़ों पर द्विरेखीय रूप है।


=== सरल रूट === एफ़िन करें
=== एफ़िन सरल रूट ===
एफ़िन बीजगणित के लिए सरल जड़ों का आधार प्राप्त करने के लिए,  अतिरिक्त सरल जड़ को जोड़ा जाना चाहिए, और इसके द्वारा दिया गया है
एफ़िन बीजगणित के लिए सरल जड़ों का आधार प्राप्त करने के लिए,  अतिरिक्त सरल जड़ को जोड़ा जाना चाहिए, और इसके द्वारा दिया गया है:
<math display=block>\alpha_0 = -\theta + \delta</math>
<math display="block">\alpha_0 = -\theta + \delta</math>
कहाँ <math>\theta</math> का उच्चतम मूल है <math>\mathfrak{g}</math>, रूट की ऊंचाई की सामान्य धारणा का उपयोग करते हुए। यह विस्तारित [[कार्टन मैट्रिक्स]] और विस्तारित [[डायनकिन आरेख]]ों की परिभाषा की अनुमति देता है।
जहाँ <math>\theta</math> का उच्चतम मूल <math>\mathfrak{g}</math> है, रूट की ऊंचाई की सामान्य धारणा का उपयोग करते हुए। यह विस्तारित [[कार्टन मैट्रिक्स|कार्टन आव्यूह]] और विस्तारित [[डायनकिन आरेख|डायनकिन आरेखों]] की परिभाषा की अनुमति देता है।


== प्रतिनिधित्व सिद्धांत ==
== प्रतिनिधित्व सिद्धांत ==
एफ़िन लाई बीजगणित के लिए प्रतिनिधित्व सिद्धांत आमतौर पर [[वर्मा मॉड्यूल]] का उपयोग करके विकसित किया जाता है। अर्ध-सरल लाई बीजगणित के मामले में, ये उच्चतम वजन वाले मॉड्यूल हैं। कोई परिमित-आयामी निरूपण नहीं हैं; यह इस तथ्य से अनुसरण करता है कि परिमित-आयामी वर्मा मॉड्यूल के अशक्त वैक्टर आवश्यक रूप से शून्य हैं; जबकि affine लाई बीजगणित के लिए नहीं हैं। मोटे तौर पर, यह इस प्रकार है क्योंकि किलिंग फॉर्म लोरेंट्ज़ियन में है <math>c,\delta</math> दिशा, इस प्रकार <math>(z, \bar{z})</math> स्ट्रिंग पर कभी-कभी लाइटकोन निर्देशांक कहलाते हैं। रेडियल ऑर्डर किए गए [[वर्तमान बीजगणित]] उत्पादों को समय-समय पर सामान्य रूप से ऑर्डर करके समझा जा सकता है <math>z=\exp(\tau + i\sigma)</math> साथ <math>\tau</math> स्ट्रिंग [[ विश्व पत्रक ]] के साथ समय जैसी दिशा और <math>\sigma</math> स्थानिक दिशा।
एफ़िन लाई बीजगणित के लिए प्रतिनिधित्व सिद्धांत सामान्यतः [[वर्मा मॉड्यूल]] का उपयोग करके विकसित किया जाता है। अर्ध-सरल लाई बीजगणित की स्थिति में, ये उच्चतम वजन वाले मॉड्यूल हैं। कोई परिमित-आयामी निरूपण नहीं हैं; यह इस तथ्य से अनुसरण करता है कि परिमित-आयामी वर्मा मॉड्यूल के अशक्त सदिश आवश्यक रूप से शून्य हैं; जबकि एफ़िन लाई बीजगणित के लिए नहीं हैं। सामान्यतः, यह इस प्रकार है क्योंकि किलिंग रूप लोरेंट्ज़ियन <math>c,\delta</math> दिशा में है, इस प्रकार <math>(z, \bar{z})</math> स्ट्रिंग पर कभी-कभी लाइटकोन निर्देशांक कहलाते हैं। रेडियल ऑर्डर किए गए [[वर्तमान बीजगणित]] उत्पादों को समय-समय पर सामान्य रूप से ऑर्डर करके समझा जा सकता है <math>z=\exp(\tau + i\sigma)</math> साथ <math>\tau</math> स्ट्रिंग[[ विश्व पत्रक ]]के साथ समय जैसी दिशा और <math>\sigma</math> स्थानिक दिशा होती है।


=== रैंक k === का निर्वात प्रतिनिधित्व
=== रैंक k का निर्वात प्रतिनिधित्व ===
अभ्यावेदन अधिक विस्तार से निम्नानुसार निर्मित किए गए हैं।<ref name="schottenloher">{{cite book |last1=Schottenloher |first1=Martin |title=अनुरूप क्षेत्र सिद्धांत का एक गणितीय परिचय|series=Lecture Notes in Physics |date=11 September 2008 |volume=759 |publisher=Springer-Verlag |location=Berlin |isbn=978-3-540-68625-5 |pages=196–7 |doi=10.1007/978-3-540-68628-6 |edition=2 |url=https://link.springer.com/book/10.1007/978-3-540-68628-6 |access-date=16 January 2023}}</ref>
अभ्यावेदन अधिक विस्तार से निम्नानुसार निर्मित किए गए हैं।<ref name="schottenloher">{{cite book |last1=Schottenloher |first1=Martin |title=अनुरूप क्षेत्र सिद्धांत का एक गणितीय परिचय|series=Lecture Notes in Physics |date=11 September 2008 |volume=759 |publisher=Springer-Verlag |location=Berlin |isbn=978-3-540-68625-5 |pages=196–7 |doi=10.1007/978-3-540-68628-6 |edition=2 |url=https://link.springer.com/book/10.1007/978-3-540-68628-6 |access-date=16 January 2023}}</ref>
लाई बीजगणित ठीक करें <math>\mathfrak{g}</math> और आधार <math>\{J^\rho\}</math>. तब <math>\{J^\rho_n\} = \{J^\rho \otimes t^n\}</math> संबंधित पाश बीजगणित के लिए  आधार है, और <math>\{J^\rho_n\}\cup \{c\}</math> affine लाई बीजगणित का आधार है <math>\hat \mathfrak{g}</math>.


रैंक का निर्वात प्रतिनिधित्व <math>k</math>, निरूपित <math>V_k(\mathfrak g)</math> कहाँ <math>k \in \mathbb C</math> आधार के साथ जटिल प्रतिनिधित्व है
लाई बीजगणित <math>\mathfrak{g}</math> और आधार <math>\{J^\rho\}</math> को उचित करता है। तब <math>\{J^\rho_n\} = \{J^\rho \otimes t^n\}</math> संबंधित लूप बीजगणित के लिए आधार है, और <math>\{J^\rho_n\}\cup \{c\}</math> एफ़िन लाई बीजगणित का आधार <math>\hat \mathfrak{g}</math> है।
<math display=block>\{v^{\rho_1\cdots \rho_m}_{n_1\cdots n_m}:n_1\geq \cdots \geq n_m \geq 1, \rho_1 \leq \cdots \leq \rho_m\} \cup \{\Omega\}</math>
 
और की क्रिया को परिभाषित करें <math>\hat \mathfrak{g}</math> पर <math>V = V_k(\mathfrak{g})</math> द्वारा (के साथ <math>n > 0</math>)
रैंक का निर्वात प्रतिनिधित्व <math>k</math>, निरूपित <math>V_k(\mathfrak g)</math> जहाँ <math>k \in \mathbb C</math> आधार के साथ जटिल प्रतिनिधित्व है।
<math display=block>c = k\text{id}_V, \, J^\rho_n \Omega = 0,</math>
<math display="block">\{v^{\rho_1\cdots \rho_m}_{n_1\cdots n_m}:n_1\geq \cdots \geq n_m \geq 1, \rho_1 \leq \cdots \leq \rho_m\} \cup \{\Omega\}</math>
<math display=block>J^\rho_{-n}\Omega = v^\rho_n \, J^\rho_{-n}v^{\rho_1\cdots \rho_m}_{n_1\cdots n_m} = v^{\rho\rho_1\cdots \rho_m}_{n n_1\cdots n_m}.</math>
और क्रिया को परिभाषित करता है <math>\hat \mathfrak{g}</math> पर <math>V = V_k(\mathfrak{g})</math> द्वारा (के साथ <math>n > 0</math>)
<math display="block">c = k\text{id}_V, \, J^\rho_n \Omega = 0,</math><math display="block">J^\rho_{-n}\Omega = v^\rho_n \, J^\rho_{-n}v^{\rho_1\cdots \rho_m}_{n_1\cdots n_m} = v^{\rho\rho_1\cdots \rho_m}_{n n_1\cdots n_m}.</math>
=== एफिन वर्टेक्स बीजगणित ===
=== एफिन वर्टेक्स बीजगणित ===
{{See also | Vertex operator algebra#Example: WZW vacuum modules}}
{{See also |वर्टेक्स ऑपरेटर बीजगणित उदाहरण: डब्ल्यूजेडडब्ल्यू वैक्यूम मॉड्यूल}}
वास्तव में निर्वात प्रतिनिधित्व शीर्ष बीजगणित संरचना से सुसज्जित किया जा सकता है, जिस स्थिति में इसे 'रैंक का एफ़िन वर्टेक्स बीजगणित' कहा जाता है <math>k</math>. एफ़िन लाइ बीजगणित स्वाभाविक रूप से अंतर के साथ, काक-मूडी बीजगणित तक फैली हुई है <math>d</math> अनुवाद ऑपरेटर द्वारा प्रतिनिधित्व किया <math>T</math> शीर्ष बीजगणित में।
वास्तव में निर्वात प्रतिनिधित्व शीर्ष बीजगणित संरचना से सुसज्जित किया जा सकता है, जिस स्थिति में इसे 'रैंक का एफ़िन वर्टेक्स बीजगणित' <math>k</math> कहा जाता है, एफ़िन लाई बीजगणित स्वाभाविक रूप से अंतर के साथ, केएसी-मूडी बीजगणित तक विस्तारित है <math>d</math> अनुवाद ऑपरेटर द्वारा प्रतिनिधित्व किया गया है, शीर्ष बीजगणित में <math>T</math> है।


== वेइल समूह और वर्ण ==
== वेइल समूह और वर्ण ==
{{main|Weyl-Kac character formula}}
{{main|वेइल-केएसी वर्ण सूत्र}}


एफ़िन लाइ बीजगणित के [[वेइल समूह]] को शून्य-मोड बीजगणित (लूप बीजगणित को लूप बीजगणित को परिभाषित करने के लिए उपयोग किया जाता है) और कोरूट जाली के वेइल समूह के [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में लिखा जा सकता है।
एफ़िन लाई बीजगणित के [[वेइल समूह]] को शून्य-मोड बीजगणित (लूप बीजगणित को परिभाषित करने के लिए उपयोग किया जाता है) और कोरूट जाली के वेइल समूह के [[अर्ध-प्रत्यक्ष उत्पाद]] के रूप में लिखा जा सकता है।


एफाइन लाई बीजगणित के बीजगणितीय वर्णों का [[वेइल वर्ण सूत्र]], वेइल-केएसी वर्ण सूत्र के लिए सामान्यीकरण करता है। इनमें से कई रोचक निर्माण अनुसरण करते हैं। कोई जैकोबी थीटा प्रकार्य के सामान्यीकरण का निर्माण कर सकता है। ये थीटा कार्य मॉड्यूलर समूह के अंतर्गत रूपांतरित होते हैं। अर्ध-सरल लाई बीजगणित की सामान्य भाजक पहचान भी सामान्यीकृत होती है; क्योंकि पात्रों को विकृतियों या उच्चतम वजन के [[क्यू-एनालॉग]] के रूप में लिखा जा सकता है, इसने कई नई संयोजक पहचानों को जन्म दिया, जिसमें [[डेडेकाइंड और फंक्शन]] के लिए कई पूर्व अज्ञात पहचान शामिल हैं। इन सामान्यीकरणों को [[लैंगलैंड्स कार्यक्रम]] के व्यावहारिक उदाहरण के रूप में देखा जा सकता है।
एफ़िन लाई बीजगणित के बीजगणितीय वर्णों का [[वेइल वर्ण सूत्र]], वेइल-केएसी वर्ण सूत्र के लिए सामान्यीकरण करता है। इनमें से विभिन्न रोचक निर्माण अनुसरण करते हैं। जैकोबी थीटा प्रकार्य के सामान्यीकरण का निर्माण कर सकता है। ये थीटा कार्य मॉड्यूलर समूह के अंतर्गत रूपांतरित होते हैं। अर्ध-सरल लाई बीजगणित की सामान्य भाजक पहचान भी सामान्यीकृत होती है; क्योंकि पात्रों को विकृतियों या उच्चतम वजन के [[क्यू-एनालॉग]] के रूप में लिखा जा सकता है, इसने विभिन्न नई संयोजक पहचानों को उत्पन्न किया है, जिसमें [[डेडेकाइंड और फंक्शन]] के लिए विभिन्न पूर्व अज्ञात पहचान सम्मिलित हैं। इन सामान्यीकरणों को [[लैंगलैंड्स कार्यक्रम]] के व्यावहारिक उदाहरण के रूप में देखा जा सकता है।


== अनुप्रयोग ==
== अनुप्रयोग ==


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


== उदाहरण ==
== उदाहरण ==
[[हाइजेनबर्ग बीजगणित]]<ref name="BYB">P. Di Francesco, P. Mathieu, and D. Sénéchal, ''Conformal Field Theory'', 1997, {{ISBN|0-387-94785-X}}</ref> जनरेटर द्वारा परिभाषित <math>a_n, n \in \mathbb{Z}</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>a_n, n \in \mathbb{Z}</math> रूपांतरण संबंधों को इस प्रकार लिख सकते हैं:
<math display=block>[a_m, a_n] = m\delta_{m+n,0}c</math>
<math display=block>[a_m, a_n] = m\delta_{m+n,0}c</math>
affine लाई बीजगणित के रूप में महसूस किया जा सकता है <math>\hat \mathfrak u(1)</math>.
एफ़िन लाई बीजगणित <math>\hat \mathfrak u(1)</math> के रूप में अनुभूत किया जा सकता है।


==संदर्भ==
==संदर्भ==
Line 106: Line 103:
*{{citation|first1=Andrew|last1=Pressley|first2=Graeme|last2=Segal|authorlink2=Graeme Segal|title=Loop groups|publisher=Oxford University Press|year=1986|isbn=0-19-853535-X}}
*{{citation|first1=Andrew|last1=Pressley|first2=Graeme|last2=Segal|authorlink2=Graeme Segal|title=Loop groups|publisher=Oxford University Press|year=1986|isbn=0-19-853535-X}}


[[Category: बीजगणित झूठ बोलो]] [[Category: प्रतिनिधित्व सिद्धांत]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 18/04/2023]]
[[Category:Created On 18/04/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:प्रतिनिधित्व सिद्धांत]]
[[Category:बीजगणित झूठ बोलो]]

Latest revision as of 13:21, 30 October 2023

गणित में, एफ़िन लाई बीजगणित अनंत-आयामी लाई बीजगणित है, जो परिमित-आयामी सरल लाई बीजगणित से विहित व्यवहार में निर्मित होता है। एफ़िन लाई बीजगणित को देखते हुए, नीचे वर्णित अनुसार, संबंधित एफ़िन केएसी-मूडी बीजगणित भी बना सकता है। विशुद्ध रूप से गणितीय दृष्टिकोण से, एफ़िन लाई बीजगणित रोचक हैं क्योंकि उनके प्रतिनिधित्व सिद्धांत, परिमित-आयामी अर्ध-सरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत के जैसे, सामान्य केएसी-मूडी बीजगणित की तुलना में अधिक उत्तम समझा जाता है। जैसा कि विक्टर केएसी द्वारा देखा गया है, एफ़िन लाई बीजगणित के निरूपण के लिए वर्ण सूत्र कुछ संयुक्त पहचान, मैकडोनाल्ड पहचान का अर्थ है।

एफ़िन लाई बीजगणित स्ट्रिंग सिद्धांत और द्वि-आयामी अनुरूप क्षेत्र सिद्धांत में महत्वपूर्ण भूमिका निभाते हैं जिस प्रकार से वे निर्मित होते हैं: साधारण लाई बीजगणित से प्रारंभ , लूप बीजगणित पर विचार करता है, , द्वारा गठित बिंदुवार कम्यूटेटर के साथ वृत्त (बंद स्ट्रिंग के रूप में व्याख्या) पर मूल्यवान कार्य होता है। द एफ़िन लाई बीजगणित लूप बीजगणित में अतिरिक्त आयाम जोड़कर और गैर-अल्प प्रकार से कम्यूटेटर को संशोधित करके प्राप्त किया जाता है, जिसे भौतिक विज्ञानी क्वांटम विसंगति कहते हैं (इस स्थिति में, डब्ल्यूजेडडब्ल्यू प्रारूप की विसंगति) और गणितज्ञ केंद्रीय विस्तार है। सामान्यतः यदि σ सरल लाई बीजगणित का ऑटोमोर्फिज्म है इसके डायनकिन आरेख, ट्विस्टेड लूप बीजगणित के ऑटोमोर्फिज्म से जुड़ा हुआ है, जो में सम्मिलित हैं, वास्तविक रेखा पर -मूल्यवान कार्य f जो ट्विस्टेड आवधिकता की स्थिति f(x + 2π) = σ f(x) को संतुष्ट करते हैं। उनके केंद्रीय विस्तार त्रुटिहीन रूप से मुड़े हुए चक्कर वाले बीजगणित हैं। स्ट्रिंग सिद्धांत के दृष्टिकोण से एफ़िन लाई बीजगणित के विभिन्न गुणों का अध्ययन करने में सहायता मिलती है, जैसे तथ्य यह है कि उनके प्रतिनिधित्व के पात्र मॉड्यूलर समूह के अंतर्गत आपस में परिवर्तित होते हैं।

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

परिभाषा

यदि परिमित-आयामी सरल लाई बीजगणित है, तो संबंधित एफ़िन लाई बीजगणित लूप बीजगणित के केंद्रीय विस्तार के रूप में बनाया गया है, आयामी केंद्र के साथ होता है,

सदिश स्थान के रूप में,

जहाँ अनिश्चित t में लॉरेंट श्रृंखला का जटिल सदिश स्थान है। जिसे लाई ब्रैकेट सूत्र द्वारा परिभाषित किया गया है:

सभी के लिए और , जहाँ लाई बीजगणित में लाई ब्रैकेट है, और किलिंग रूप है। कार्टन-किलिंग रूप है।

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

संबंधित एफ़िन केएसी-मूडी बीजगणित को अतिरिक्त जनरेटर d जोड़कर अर्ध-प्रत्यक्ष उत्पाद के रूप में परिभाषित किया गया है जो [d, A] = δ(A ) को संतुष्ट करता है।

डायकिन आरेखों का निर्माण

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

एफ़िन लाई एल्जेब्रस के लिए डाइनकिन डायग्राम
Affine Dynkin diagrams.png
हरे रंग में जोड़े गए नोड्स के साथ विस्तारित (अनट्विस्टेड) ​​एफ़ाइन डाइकिन आरेखों का समूह
Twisted affine Dynkin diagrams.png
"ट्विस्टेड" एफ़िन फॉर्म का नाम (2) या (3) सुपरस्क्रिप्ट के साथ रखा गया है।
(k ग्राफ में नोड्स की संख्या है।)

केंद्रीय विस्तार का वर्गीकरण

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

इसी सरल सघन लाई समूह के लूप समूह का दूसरा इंटीग्रल कोहोलॉजी पूर्णांकों के लिए आइसोमोर्फिक है। एकल जनरेटर द्वारा एफ़िन लाई समूह के केंद्रीय विस्तार इस मुक्त लूप समूह पर टोपोलॉजिकल रूप से वृत्त बंडल हैं, जिन्हें दो-श्रेणी द्वारा वर्गीकृत किया जाता है जिसे कंपन के प्रथम चेर्न वर्ग के रूप में जाना जाता है। इसलिए, एफ़िन लाई समूह के केंद्रीय प्रारूप को पैरामीटर के द्वारा वर्गीकृत किया जाता है जिसे भौतिकी साहित्य में स्तर कहा जाता है, जहां यह प्रथम बार दिखाई देता है। एफ़िन सघन समूहों का एकात्मक उच्चतम वजन प्रतिनिधित्व केवल तभी उपस्थित होता है जब k प्राकृतिक संख्या हो। सामान्यतः, यदि कोई अर्ध-सरल बीजगणित पर विचार करता है, तो प्रत्येक साधारण घटक के लिए केंद्रीय शुल्क होता है।

संरचना

कार्टन-वील आधार

जैसा कि परिमित स्थिति में, कार्टन-वेइल आधार का निर्धारण एफ़िन लाई अलजेब्रस की संरचना का निर्धारण करने में महत्वपूर्ण चरण है।

परिमित-आयामी, सरल, जटिल लाई बीजगणित को उचित करता है, कार्टन उपबीजगणित के साथ और विशेष जड़ प्रणाली है। अंकन का परिचय कोई कार्टन-वेइल आधार का विस्तार करने का प्रयास कर सकता है के लिए एफ़िन लाई बीजगणित के लिए दिया गया है। , के साथ एबेलियन उपबीजगणित बनाता है।

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

किलिंग रूप

इसकी अचल संपत्ति का उपयोग करके किलिंग का रूप लगभग प्रत्येक प्रकार से निर्धारित किया जा सकता है। अंकन का उपयोग करना किलिंग रूप के लिए और एफिन केएसी-मूडी बीजगणित पर किलिंग रूप के लिए इस प्रकार है,

जहां केवल अंतिम समीकरण को निश्चरता से स्थिर नहीं किया जाता है और इसके अतिरिक्त सम्मेलन द्वारा चयन किया जाता है। विशेष रूप से, का प्रतिबंध तक उपस्थान हस्ताक्षर के साथ बिलिनियर फॉर्म देता है,

से संबद्ध ऐफिन रूट लिखिए, जैसा परिभाषित , इसे पुनः लिखा जा सकता है:

जड़ों का पूर्ण समूह है:
तब असामान्य है क्योंकि इसकी लंबाई शून्य है: जहाँ किलिंग रूप से प्रेरित जड़ों पर द्विरेखीय रूप है।

एफ़िन सरल रूट

एफ़िन बीजगणित के लिए सरल जड़ों का आधार प्राप्त करने के लिए, अतिरिक्त सरल जड़ को जोड़ा जाना चाहिए, और इसके द्वारा दिया गया है:

जहाँ का उच्चतम मूल है, रूट की ऊंचाई की सामान्य धारणा का उपयोग करते हुए। यह विस्तारित कार्टन आव्यूह और विस्तारित डायनकिन आरेखों की परिभाषा की अनुमति देता है।

प्रतिनिधित्व सिद्धांत

एफ़िन लाई बीजगणित के लिए प्रतिनिधित्व सिद्धांत सामान्यतः वर्मा मॉड्यूल का उपयोग करके विकसित किया जाता है। अर्ध-सरल लाई बीजगणित की स्थिति में, ये उच्चतम वजन वाले मॉड्यूल हैं। कोई परिमित-आयामी निरूपण नहीं हैं; यह इस तथ्य से अनुसरण करता है कि परिमित-आयामी वर्मा मॉड्यूल के अशक्त सदिश आवश्यक रूप से शून्य हैं; जबकि एफ़िन लाई बीजगणित के लिए नहीं हैं। सामान्यतः, यह इस प्रकार है क्योंकि किलिंग रूप लोरेंट्ज़ियन दिशा में है, इस प्रकार स्ट्रिंग पर कभी-कभी लाइटकोन निर्देशांक कहलाते हैं। रेडियल ऑर्डर किए गए वर्तमान बीजगणित उत्पादों को समय-समय पर सामान्य रूप से ऑर्डर करके समझा जा सकता है साथ स्ट्रिंगविश्व पत्रक के साथ समय जैसी दिशा और स्थानिक दिशा होती है।

रैंक k का निर्वात प्रतिनिधित्व

अभ्यावेदन अधिक विस्तार से निम्नानुसार निर्मित किए गए हैं।[1]

लाई बीजगणित और आधार को उचित करता है। तब संबंधित लूप बीजगणित के लिए आधार है, और एफ़िन लाई बीजगणित का आधार है।

रैंक का निर्वात प्रतिनिधित्व , निरूपित जहाँ आधार के साथ जटिल प्रतिनिधित्व है।

और क्रिया को परिभाषित करता है पर द्वारा (के साथ )

एफिन वर्टेक्स बीजगणित

वास्तव में निर्वात प्रतिनिधित्व शीर्ष बीजगणित संरचना से सुसज्जित किया जा सकता है, जिस स्थिति में इसे 'रैंक का एफ़िन वर्टेक्स बीजगणित' कहा जाता है, एफ़िन लाई बीजगणित स्वाभाविक रूप से अंतर के साथ, केएसी-मूडी बीजगणित तक विस्तारित है अनुवाद ऑपरेटर द्वारा प्रतिनिधित्व किया गया है, शीर्ष बीजगणित में है।

वेइल समूह और वर्ण

एफ़िन लाई बीजगणित के वेइल समूह को शून्य-मोड बीजगणित (लूप बीजगणित को परिभाषित करने के लिए उपयोग किया जाता है) और कोरूट जाली के वेइल समूह के अर्ध-प्रत्यक्ष उत्पाद के रूप में लिखा जा सकता है।

एफ़िन लाई बीजगणित के बीजगणितीय वर्णों का वेइल वर्ण सूत्र, वेइल-केएसी वर्ण सूत्र के लिए सामान्यीकरण करता है। इनमें से विभिन्न रोचक निर्माण अनुसरण करते हैं। जैकोबी थीटा प्रकार्य के सामान्यीकरण का निर्माण कर सकता है। ये थीटा कार्य मॉड्यूलर समूह के अंतर्गत रूपांतरित होते हैं। अर्ध-सरल लाई बीजगणित की सामान्य भाजक पहचान भी सामान्यीकृत होती है; क्योंकि पात्रों को विकृतियों या उच्चतम वजन के क्यू-एनालॉग के रूप में लिखा जा सकता है, इसने विभिन्न नई संयोजक पहचानों को उत्पन्न किया है, जिसमें डेडेकाइंड और फंक्शन के लिए विभिन्न पूर्व अज्ञात पहचान सम्मिलित हैं। इन सामान्यीकरणों को लैंगलैंड्स कार्यक्रम के व्यावहारिक उदाहरण के रूप में देखा जा सकता है।

अनुप्रयोग

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

उदाहरण

हाइजेनबर्ग बीजगणित[2] जनरेटर द्वारा परिभाषित रूपांतरण संबंधों को इस प्रकार लिख सकते हैं:

एफ़िन लाई बीजगणित के रूप में अनुभूत किया जा सकता है।

संदर्भ

  1. Schottenloher, Martin (11 September 2008). अनुरूप क्षेत्र सिद्धांत का एक गणितीय परिचय. Lecture Notes in Physics. Vol. 759 (2 ed.). Berlin: Springer-Verlag. pp. 196–7. doi:10.1007/978-3-540-68628-6. ISBN 978-3-540-68625-5. Retrieved 16 January 2023.
  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
  • Goddard, Peter; Olive, David (1988), Kac-Moody and Virasoro algebras: A Reprint Volume for Physicists, Advanced Series in Mathematical Physics, vol. 3, World Scientific, ISBN 9971-5-0419-7
  • Kac, Victor (1990), Infinite dimensional Lie algebras (3 ed.), Cambridge University Press, ISBN 0-521-46693-8
  • Kohno, Toshitake (1998), Conformal Field Theory and Topology, American Mathematical Society, ISBN 0-8218-2130-X
  • Pressley, Andrew; Segal, Graeme (1986), Loop groups, Oxford University Press, ISBN 0-19-853535-X