View source for कार्टन उप बीजगणित

{{footnotes}}
{{Lie groups |nbjvdsh1+78+9}}{{Short description|Nilpotent subalgebra of a Lie algebra}}
गणित में, एक कार्टन [[subalgebra]], जिसे अक्सर सीएसए के रूप में संक्षिप्त किया जाता है, एक [[निलपोटेंट ले बीजगणित]] सबलजेब्रा है <math>\mathfrak{h}</math> एक [[झूठ बीजगणित]] का <math>\mathfrak{g}</math> यह [[स्व-सामान्यीकरण]] है (यदि <math>[X,Y] \in \mathfrak{h}</math> सभी के लिए <math>X \in \mathfrak{h}</math>, तब <math>Y \in \mathfrak{h}</math>). उन्हें एली कार्टन ने अपने डॉक्टरेट थीसिस में पेश किया था। यह अर्धसरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत को नियंत्रित करता है | अर्ध-सरल लाई बीजगणित का प्रतिनिधित्व सिद्धांत <math>\mathfrak{g}</math> विशेषता के एक क्षेत्र पर <math> 0 </math>.

एक परिमित-विम अर्ध-सरल में बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाइए (उदाहरण के लिए, {{nowrap|<math>\mathbb{C}</math>),}} एक कार्टन सबलजेब्रा एक अधिकतम एबेलियन सबलजेब्रा के समान है जिसमें तत्व x होते हैं जैसे कि [[आसन्न एंडोमोर्फिज्म]] <math>\operatorname{ad}(x) : \mathfrak{g} \to \mathfrak{g}</math> [[अर्धसरल ऑपरेटर]] है (यानी, विकर्ण मैट्रिक्स)। कभी-कभी इस लक्षण वर्णन को कार्टन सबलजेब्रा की परिभाषा के रूप में लिया जाता है।<ref name=":0">{{Cite book|last=Hotta, R. (Ryoshi)|url=https://www.worldcat.org/oclc/316693861|title=डी-मॉड्यूल, विकृत ढेर, और प्रतिनिधित्व सिद्धांत|date=2008|publisher=Birkhäuser|others=Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955-|isbn=978-0-8176-4363-8|edition=English|location=Boston|oclc=316693861}}</ref><sup>पृष्ठ 231</sup>

सामान्य तौर पर, एक सबलजेब्रा को टॉरल सबलजेब्रा कहा जाता है, अगर इसमें सेमीसिंपल तत्व होते हैं। एक बीजगणितीय रूप से बंद क्षेत्र पर, एक [[toral subalgebra]] स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक कार्टन सबलजेब्रा को अधिकतम टॉरल सबलजेब्रा के रूप में भी परिभाषित किया जा सकता है।

केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं।<!-- But those are not called Cartan subalgebras at least in V. Kac, Infinite-dimensional Lie algebras. -->


== अस्तित्व और विशिष्टता ==
जब भी आधार [[क्षेत्र (गणित)]] अनंत होता है, कार्टन सबलजेब्रस परिमित-आयामी लाई बीजगणित के लिए मौजूद होते हैं। कार्टन सबलजेब्रा बनाने का एक तरीका लाइ बीजगणित#ए कार्टन सबलजेब्रा के एक नियमित तत्व और एक नियमित तत्व के माध्यम से है। एक परिमित क्षेत्र में, अस्तित्व का प्रश्न अभी भी खुला है।{{fact|date=January 2020}}

एक परिमित-विम अर्धसरल झूठ बीजगणित के लिए <math>\mathfrak g</math> विशेषता शून्य के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक सरल दृष्टिकोण है: परिभाषा के अनुसार, एक टोरल सबलजेब्रा एक सबलजेब्रा है <math>\mathfrak g</math> जिसमें अर्ध-सरल तत्व होते हैं (एक तत्व अर्ध-सरल है यदि इसके द्वारा प्रेरित आसन्न एंडोमोर्फिज्म विकर्ण मैट्रिक्स है)। कार्टन सबलजेब्रा <math>\mathfrak g</math> तब अधिकतम टोरल सबलजेब्रा के समान ही होता है और एक मैक्सिमल टोरल सबलजेब्रा के अस्तित्व को देखना आसान होता है।

विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर एक परिमित-आयामी लाई बीजगणित में, सभी कार्टन सबलजेब्रस बीजगणित के [[automorphism]] के तहत संयुग्मित होते हैं, और विशेष रूप से सभी समरूपतावाद हैं। कार्टन सबलजेब्रा के सामान्य आयाम को तब बीजगणित के लाइ बीजगणित की कोटि कहा जाता है।

एक परिमित-आयामी जटिल अर्ध-सरल झूठ बीजगणित के लिए, एक कॉम्पैक्ट वास्तविक रूप के अस्तित्व को मानते हुए, कार्टन सबलजेब्रा का अस्तित्व स्थापित करना बहुत आसान है।<ref>{{harvnb|Hall|2015}} Chapter 7</ref> उस मामले में, <math>\mathfrak{h}</math> कॉम्पैक्ट समूह के [[अधिकतम टोरस]] के लाई बीजगणित की जटिलता के रूप में लिया जा सकता है।

अगर <math>\mathfrak{g}</math> एक बीजगणितीय रूप से बंद क्षेत्र पर एक रेखीय झूठ बीजगणित (एक परिमित-आयामी सदिश स्थान V के एंडोमोर्फिज्म के झूठ बीजगणित का झूठा उप बीजगणित) है, फिर कोई कार्टन उप बीजगणित <math>\mathfrak{g}</math> के अधिक से अधिक तोरल लाई बीजगणित का [[केंद्रक]] है <math>\mathfrak{g}</math>.{{fact|date=January 2020}} अगर <math>\mathfrak{g}</math> सेमीसिम्पल है और फ़ील्ड में विशेषता शून्य है, तो एक अधिकतम टोरल सबलजेब्रा स्व-सामान्यीकरण है, और इसलिए संबंधित कार्टन सबलजेब्रा के बराबर है। अगर इसके अलावा <math>\mathfrak g</math> सेमीसिंपल है, तो लाइ समूह का संलग्न प्रतिनिधित्व प्रस्तुत करता है <math>\mathfrak g</math> एक रेखीय झूठ बीजगणित के रूप में, ताकि एक subalgebra का <math>\mathfrak g</math> कार्टन है अगर और केवल अगर यह अधिकतम टोरल सबलजेब्रा है।

== उदाहरण ==

*कोई भी निलपोटेंट लाई बीजगणित उसका अपना कार्टन सबलजेब्रा होता है।
*कार्टन सबलजेब्रा <math>\mathfrak{gl}_{n}</math>, वर्ग आव्यूह का झूठा बीजगणित| <math>n\times n</math> एक क्षेत्र पर आव्यूह, सभी विकर्ण आव्यूहों का बीजगणित है।{{fact|date=October 2020}}
* ट्रेसलेस के विशेष लाई बीजगणित के लिए <math>n\times n</math> मैट्रिक्स <math> \mathfrak{sl}_n(\mathbb{C})</math>, इसमें कार्टन सबलजेब्रा है <math display="block">\mathfrak{h} = \left\{ d(a_1,\ldots,a_n) \mid a_i \in \mathbb{C} \text{ and } \sum_{i=1}^n a_i = 0 \right\}</math> कहाँ <math display="block"> d(a_1,\ldots,a_n) = \begin{pmatrix}
a_1 & 0 & \cdots & 0 \\
0   & \ddots &   & 0 \\
\vdots & & \ddots & \vdots \\
0   & \cdots & \cdots &a_n
\end{pmatrix}
</math> उदाहरण के लिए, में <math>\mathfrak{sl}_2(\mathbb{C})</math> कार्टन सबलजेब्रा मेट्रिसेस का सबलजेब्रा है <math display="block"> \mathfrak{h} = \left\{
\begin{pmatrix}
a & 0 \\
0 & -a
\end{pmatrix} : a \in \mathbb{C}
\right\}</math> मैट्रिक्स कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ।
* झूठ बीजगणित <math>\mathfrak{sl}_{2}(\mathbb{R})</math> का <math>2</math> द्वारा <math>2</math> ट्रेस के मेट्रिसेस <math>0</math> दो गैर-संयुग्मित कार्टन सबलजेब्रस हैं।{{fact|date=October 2020}}<!-- true but we need a ref. -->
* कार्टन सबलजेब्रा का आयाम सामान्य रूप से एबेलियन सबलजेब्रा का अधिकतम आयाम नहीं है, यहां तक कि जटिल सरल ले बीजगणित के लिए भी। उदाहरण के लिए, झूठ बीजगणित <math>\mathfrak{sl}_{2n}(\mathbb{C})</math>का <math>2n</math> द्वारा <math>2n</math> ट्रेस के मेट्रिसेस <math>0</math> रैंक का कार्टन सबलजेब्रा है <math>2n-1</math>लेकिन आयाम का अधिकतम एबेलियन सबलजेब्रा है <math>n^{2}</math> फॉर्म के सभी मैट्रिक्स से मिलकर <math> \begin{pmatrix} 0 & A\\ 0 & 0 \end{pmatrix}</math> साथ <math>A</math> कोई <math>n</math> द्वारा <math>n</math> आव्यूह। कोई सीधे देख सकता है कि यह एबेलियन सबलजेब्रा कार्टन सबलजेब्रा नहीं है, क्योंकि यह सख्ती से ऊपरी त्रिकोणीय मैट्रिसेस के निलपोटेंट बीजगणित में समाहित है (या, चूंकि यह विकर्ण मैट्रिसेस द्वारा सामान्यीकृत है)।

== अर्ध-सरल झूठ बीजगणित == कार्टन सबलजेब्रस
{{see also|Semisimple Lie algebra#Structure}}
{{expand-section|The action of the [[Weyl group]] on the algebra, as in the [[Harish-Chandra isomorphism]]|date=February 2014}}
परिमित-विम अर्धसरल के लिए बीजगणित लीजिए <math>\mathfrak g</math> विशेषता 0 के एक बीजगणितीय रूप से बंद क्षेत्र पर, एक कार्टन सबलजेब्रा <math>\mathfrak h</math> निम्नलिखित गुण हैं:
*<math>\mathfrak h</math> [[एबेलियन ले बीजगणित]] है,
*आसन्न प्रतिनिधित्व के लिए <math>\operatorname{ad} : \mathfrak{g} \to \mathfrak{gl}(\mathfrak{g})</math>, छवि <math>\operatorname{ad}(\mathfrak h)</math> सेमीसिम्पल ऑपरेटर्स (यानी, विकर्ण योग्य मेट्रिसेस) होते हैं।
(जैसा कि पहले उल्लेख किया गया है, एक कार्टन सबलजेब्रा को वास्तव में एक सबलजेब्रा के रूप में चित्रित किया जा सकता है जो उपरोक्त दो गुणों वाले लोगों में अधिकतम है।)

इन दो गुणों का कहना है कि ऑपरेटरों में <math>\operatorname{ad}(\mathfrak h)</math> एक साथ विकर्णीय हैं और इसका प्रत्यक्ष योग अपघटन है <math>\mathfrak{g}</math> जैसा
:<math>\mathfrak{g} = \bigoplus_{\lambda \in \mathfrak{h}^*} \mathfrak{g}_\lambda</math>
कहाँ
:<math>\mathfrak{g}_\lambda = \{ x \in \mathfrak{g} : \text{ad}(h)x = \lambda(h)x, \text{ for } h \in \mathfrak{h}
\}</math>.

होने देना <math>\Phi = \{ \lambda \in \mathfrak{h}^* \setminus \{0\} | \mathfrak{g}_\lambda \ne \{0\} \}</math>. तब <math>\Phi</math> एक [[ मूल प्रक्रिया ]] है और, इसके अलावा, <math>\mathfrak{g}_0 = \mathfrak h</math>; यानी, का केंद्रीकरण <math>\mathfrak{h}</math> के साथ मेल खाता है <math>\mathfrak{h}</math>. उपरोक्त अपघटन को तब इस प्रकार लिखा जा सकता है:
:<math>\mathfrak{g} = \mathfrak{h} \oplus \left(
\bigoplus_{\lambda \in \Phi} \mathfrak{g}_\lambda
\right)</math>
जैसा कि यह निकला, प्रत्येक के लिए <math>\lambda \in \Phi</math>, <math>\mathfrak{g}_{\lambda}</math> आयाम एक और ऐसा है:
:<math>\dim \mathfrak{g} = \dim \mathfrak{h} + \# \Phi</math>.
अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित#संरचना भी देखें।

=== दोहरे कार्टन सबलजेब्रा === के साथ प्रतिनिधित्व को विघटित करना
एक झूठ बीजगणित दिया <math>\mathfrak{g}</math> विशेषता के एक क्षेत्र पर {{nowrap|<math>0</math>,}}{{clarify|Shouldn't it be semisimple?|date=October 2020}} और एक [[झूठ बीजगणित प्रतिनिधित्व]]<math display="block">\sigma: \mathfrak{g}\to \mathfrak{gl}(V)</math> इसके कार्टन सबलजेब्रा से लाई बीजगणित के अपघटन से संबंधित एक अपघटन है। अगर हम सेट करते हैं
<math display="block">V_\lambda = \{v \in V : (\sigma(h))(v) = \lambda(h) v \text{ for } h \in \mathfrak{h} \}</math>
साथ <math>\lambda \in \mathfrak{h}^*</math>, वजन के लिए वजन स्थान कहा जाता है <math>\lambda</math>, इन भार स्थानों के संदर्भ में प्रतिनिधित्व का अपघटन होता है <math display="block">V = \bigoplus_{\lambda \in \mathfrak{h}^*} V_\lambda</math> इसके अलावा जब भी <math>V_\lambda \neq \{0\}</math> हम बुलाते है <math>\lambda </math> का वजन <math>\mathfrak{g}</math>-प्रतिनिधित्व {{nowrap|<math>V</math>.}}

==== वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण ====
{{main|Theorem of the highest weight}}
लेकिन, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए किया जा सकता है <math>\mathfrak{g}</math>. एक परिमित आयामी अलघुकरणीय के लिए <math>\mathfrak{g}</math>-प्रतिनिधित्व {{nowrap|<math>V</math>,}} एक अनूठा वजन मौजूद है <math>\lambda \in \Phi</math> आंशिक आदेश देने के संबंध में <math>\mathfrak{h}^*</math>. इसके अलावा, एक दिया <math>\lambda \in \Phi</math> ऐसा है कि <math>\langle \alpha, \lambda\rangle \in \mathbb{N}</math> हर सकारात्मक जड़ के लिए {{nowrap|<math>\alpha \in \Phi^+</math>,}} एक अद्वितीय अलघुकरणीय प्रतिनिधित्व मौजूद है {{nowrap|<math>L^+(\lambda)</math>.}} इसका मतलब रूट सिस्टम है <math>\Phi</math> के प्रतिनिधित्व सिद्धांत के बारे में सभी जानकारी शामिल है {{nowrap|<math>\mathfrak{g}</math>.<ref name=":0" /><sup>pg 240</sup>}}

== कार्टन सबलजेब्रा को विभाजित करना ==
{{main|Splitting Cartan subalgebra}}

गैर-बीजगणितीय रूप से बंद फ़ील्ड पर, सभी कार्टन सबलजेब्रस संयुग्मी नहीं होते हैं। एक महत्वपूर्ण वर्ग कार्टन सबलजेब्रा को विभाजित कर रहा है: यदि कोई ले बीजगणित एक विभाजित कार्टन सबलजेब्रा को स्वीकार करता है <math>\mathfrak{h}</math> तब इसे स्प्लिटेबल और पेयर कहा जाता है <math>(\mathfrak{g},\mathfrak{h})</math> स्प्लिट लाइ बीजगणित कहा जाता है; एक बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य है। कोई भी दो बंटवारे वाले कार्टन बीजगणित संयुग्मित होते हैं, और वे बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित में कार्टन बीजगणित के समान कार्य को पूरा करते हैं, इसलिए विभाजित अर्ध-सरल लाई बीजगणित (वास्तव में, विभाजन रिडक्टिव लाइ बीजगणित) बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित के साथ कई गुण साझा करते हैं .

हालांकि, एक गैर-बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य नहीं है।

== कार्टन उपसमूह ==
{{For|a Cartan subgroup of a linear algebraic group|Cartan subgroup}}

लाई समूह का एक कार्टन उपसमूह उन उपसमूहों में से एक है जिसका लाई बीजगणित कार्टन उपलजेब्रा है। उपसमूह के [[पहचान घटक]] में समान झूठ बीजगणित होता है। कोई ''मानक'' परिपाटी नहीं है जिसके लिए इस गुण वाले उपसमूहों में से किसी एक को ''द'' कार्टन उपसमूह कहा जाता है, विशेष रूप से डिस्कनेक्ट किए गए समूहों के मामले में। एक कॉम्पैक्ट कनेक्टेड लाई समूह का एक कार्टन उपसमूह एक अधिकतम जुड़ा हुआ एबेलियन उपसमूह (एक अधिकतम टोरस) है। इसका झूठ बीजगणित एक कार्टन सबलजेब्रा है।

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

=== कार्टन उपसमूहों के उदाहरण ===
* जीएल में उपसमूह<sub>2</sub>(आर) विकर्ण matrices से मिलकर।

== संदर्भ ==
<references />




=== टिप्पणियाँ ===

* [https://web.archive.org/web/20191029165616/http://pi.math.cornell.edu/~dmehrle/notes/partiii/liealg_partiii_notes.pdf Lie algebras and their Representations]
* [https://web.archive.org/web/20201006224222/https://www.maths.ed.ac.uk/~igordon/LA1.pdf Infinite-dimensional Lie algebras]


=== संदर्भ ===
*{{Citation | last1=Borel | first1=Armand | author1-link=Armand Borel | title=Linear algebraic groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=[[Graduate Texts in Mathematics]] | isbn=978-0-387-97370-8 | mr=1102012 | year=1991 | volume=126}}
*{{Citation |last=Hall |first=Brian C. |title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction |edition=2nd |series=Graduate Texts in Mathematics |volume=222 |publisher=Springer |year=2015 |isbn=978-3319134666}}
*{{Citation | last1=Jacobson | first1=Nathan | author1-link=Nathan Jacobson | title=Lie algebras | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-63832-4 | mr=559927 | year=1979}}
*{{Citation | last1=Humphreys | first1=James E. | title=Introduction to Lie Algebras and Representation Theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90053-7 | year=1972 | url-access=registration | url=https://archive.org/details/introductiontoli00jame }}
*{{eom|title=Cartan subalgebra|first=V.L.|last= Popov|authorlink=Vladimir L. Popov}}
* {{cite book| author = Anthony William Knapp|author2=David A. Vogan| title = कोहोमोलॉजिकल इंडक्शन और एकात्मक प्रतिनिधित्व| year = 1995| isbn = 978-0-691-03756-1 }}

श्रेणी:झूठे बीजगणित


[[Category: Machine Translated Page]]
[[Category:Created On 18/04/2023]]