कार्टन उप बीजगणित: Difference between revisions
m (Abhishek moved page यह सबलजेब्रा परीक्षण to कार्टन उप बीजगणित without leaving a redirect) |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, | गणित में, कार्टन [[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>),}} | एक परिमित-विम अर्ध-सरल में बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाइए (उदाहरण के लिए, {{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]] स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन सबलजेब्रा को अधिकतम टॉरल सबलजेब्रा के रूप में भी परिभाषित किया जा सकता है। | |||
केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं। | |||
== अस्तित्व और विशिष्टता == | == अस्तित्व और विशिष्टता == | ||
जब भी आधार [[क्षेत्र (गणित)]] अनंत होता है, कार्टन सबलजेब्रस परिमित-आयामी लाई बीजगणित के लिए मौजूद होते हैं। कार्टन सबलजेब्रा बनाने का | जब भी आधार [[क्षेत्र (गणित)]] अनंत होता है, कार्टन सबलजेब्रस परिमित-आयामी लाई बीजगणित के लिए मौजूद होते हैं। कार्टन सबलजेब्रा बनाने का तरीका लाइ बीजगणित#ए कार्टन सबलजेब्रा के नियमित तत्व और नियमित तत्व के माध्यम से है। परिमित क्षेत्र में, अस्तित्व का प्रश्न अभी भी खुला है। | ||
एक परिमित-विम अर्धसरल झूठ बीजगणित के लिए <math>\mathfrak g</math> विशेषता शून्य के | एक परिमित-विम अर्धसरल झूठ बीजगणित के लिए <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> | अगर <math>\mathfrak{g}</math> बीजगणितीय रूप से बंद क्षेत्र पर रेखीय झूठ बीजगणित (एक परिमित-आयामी सदिश स्थान V के एंडोमोर्फिज्म के झूठ बीजगणित का झूठा उप बीजगणित) है, फिर कोई कार्टन उप बीजगणित <math>\mathfrak{g}</math> के अधिक से अधिक तोरल लाई बीजगणित का [[केंद्रक]] है <math>\mathfrak{g}</math>. अगर <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> | *कार्टन सबलजेब्रा <math>\mathfrak{gl}_{n}</math>, वर्ग आव्यूह का झूठा बीजगणित| <math>n\times n</math> क्षेत्र पर आव्यूह, सभी विकर्ण आव्यूहों का बीजगणित है। | ||
* ट्रेसलेस के विशेष लाई बीजगणित के लिए <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} | * ट्रेसलेस के विशेष लाई बीजगणित के लिए <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 \\ | a_1 & 0 & \cdots & 0 \\ | ||
Line 36: | Line 34: | ||
\end{pmatrix} : a \in \mathbb{C} | \end{pmatrix} : a \in \mathbb{C} | ||
\right\}</math> मैट्रिक्स कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ। | \right\}</math> मैट्रिक्स कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ। | ||
* झूठ बीजगणित <math>\mathfrak{sl}_{2}(\mathbb{R})</math> का <math>2</math> द्वारा <math>2</math> ट्रेस के मेट्रिसेस <math>0</math> दो गैर-संयुग्मित कार्टन सबलजेब्रस हैं। | * झूठ बीजगणित <math>\mathfrak{sl}_{2}(\mathbb{R})</math> का <math>2</math> द्वारा <math>2</math> ट्रेस के मेट्रिसेस <math>0</math> दो गैर-संयुग्मित कार्टन सबलजेब्रस हैं। | ||
* कार्टन सबलजेब्रा का आयाम सामान्य रूप से एबेलियन सबलजेब्रा का अधिकतम आयाम नहीं है, यहां तक कि जटिल सरल ले बीजगणित के लिए भी। उदाहरण के लिए, झूठ बीजगणित <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> आव्यूह। कोई सीधे देख सकता है कि यह एबेलियन सबलजेब्रा कार्टन सबलजेब्रा नहीं है, क्योंकि यह सख्ती से ऊपरी त्रिकोणीय मैट्रिसेस के निलपोटेंट बीजगणित में समाहित है (या, चूंकि यह विकर्ण मैट्रिसेस द्वारा सामान्यीकृत है)। | * कार्टन सबलजेब्रा का आयाम सामान्य रूप से एबेलियन सबलजेब्रा का अधिकतम आयाम नहीं है, यहां तक कि जटिल सरल ले बीजगणित के लिए भी। उदाहरण के लिए, झूठ बीजगणित <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}} | {{see also|Semisimple Lie algebra#Structure}} | ||
परिमित-विम अर्धसरल के लिए बीजगणित लीजिए <math>\mathfrak g</math> विशेषता 0 के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन सबलजेब्रा <math>\mathfrak h</math> निम्नलिखित गुण हैं: | |||
परिमित-विम अर्धसरल के लिए बीजगणित लीजिए <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{g} \to \mathfrak{gl}(\mathfrak{g})</math>, छवि <math>\operatorname{ad}(\mathfrak h)</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} = \bigoplus_{\lambda \in \mathfrak{h}^*} \mathfrak{g}_\lambda</math> | ||
कहाँ | कहाँ | ||
Line 53: | Line 50: | ||
\}</math>. | \}</math>. | ||
होने देना <math>\Phi = \{ \lambda \in \mathfrak{h}^* \setminus \{0\} | \mathfrak{g}_\lambda \ne \{0\} \}</math>. तब <math>\Phi</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( | :<math>\mathfrak{g} = \mathfrak{h} \oplus \left( | ||
\bigoplus_{\lambda \in \Phi} \mathfrak{g}_\lambda | \bigoplus_{\lambda \in \Phi} \mathfrak{g}_\lambda | ||
\right)</math> | \right)</math> | ||
जैसा कि यह निकला, प्रत्येक के लिए <math>\lambda \in \Phi</math>, <math>\mathfrak{g}_{\lambda}</math> आयाम | जैसा कि यह निकला, प्रत्येक के लिए <math>\lambda \in \Phi</math>, <math>\mathfrak{g}_{\lambda}</math> आयाम और ऐसा है: | ||
:<math>\dim \mathfrak{g} = \dim \mathfrak{h} + \# \Phi</math>. | :<math>\dim \mathfrak{g} = \dim \mathfrak{h} + \# \Phi</math>. | ||
अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित#संरचना भी देखें। | अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित#संरचना भी देखें। | ||
=== दोहरे कार्टन सबलजेब्रा === के साथ प्रतिनिधित्व को विघटित करना | === दोहरे कार्टन सबलजेब्रा === के साथ प्रतिनिधित्व को विघटित करना | ||
एक झूठ बीजगणित दिया <math>\mathfrak{g}</math> विशेषता के | एक झूठ बीजगणित दिया <math>\mathfrak{g}</math> विशेषता के क्षेत्र पर {{nowrap|<math>0</math>,}} और [[झूठ बीजगणित प्रतिनिधित्व]]<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 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>.}} | साथ <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>.}} | ||
Line 68: | Line 65: | ||
==== वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण ==== | ==== वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण ==== | ||
{{main|Theorem of the highest weight}} | {{main|Theorem of the highest weight}} | ||
लेकिन, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए किया जा सकता है <math>\mathfrak{g}</math>. | लेकिन, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए किया जा सकता है <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}} | {{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}} | {{For|a Cartan subgroup of a linear algebraic group|Cartan subgroup}} | ||
लाई समूह का | लाई समूह का कार्टन उपसमूह उन उपसमूहों में से है जिसका लाई बीजगणित कार्टन उपलजेब्रा है। उपसमूह के [[पहचान घटक]] में समान झूठ बीजगणित होता है। कोई ''मानक'' परिपाटी नहीं है जिसके लिए इस गुण वाले उपसमूहों में से किसी को ''द'' कार्टन उपसमूह कहा जाता है, विशेष रूप से डिस्कनेक्ट किए गए समूहों के मामले में। कॉम्पैक्ट कनेक्टेड लाई समूह का कार्टन उपसमूह अधिकतम जुड़ा हुआ एबेलियन उपसमूह (एक अधिकतम टोरस) है। इसका झूठ बीजगणित कार्टन सबलजेब्रा है। | ||
डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। [[डेविड वोगन]] द्वारा दिया गया सबसे आम प्रतीत होता है, जो | डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। [[डेविड वोगन]] द्वारा दिया गया सबसे आम प्रतीत होता है, जो कार्टन उपसमूह को तत्वों के समूह के रूप में परिभाषित करता है जो निश्चित अधिकतम टोरस को सामान्य करता है और [[मौलिक वेइल कक्ष]] को ठीक करता है। इसे कभी-कभी बड़ा कार्टन उपसमूह कहा जाता है। छोटा कार्टन उपसमूह भी है, जिसे अधिकतम टोरस के केंद्रक के रूप में परिभाषित किया गया है। इन कार्टन उपसमूहों को सामान्य रूप से एबेलियन होने की आवश्यकता नहीं है। | ||
=== कार्टन उपसमूहों के उदाहरण === | === कार्टन उपसमूहों के उदाहरण === |
Revision as of 22:18, 21 April 2023
गणित में, कार्टन subalgebra, जिसे अक्सर सीएसए के रूप में संक्षिप्त किया जाता है, निलपोटेंट ले बीजगणित सबलजेब्रा है झूठ बीजगणित का यह स्व-सामान्यीकरण है (यदि सभी के लिए , तब ). उन्हें एली कार्टन ने अपने डॉक्टरेट थीसिस में पेश किया था। यह अर्धसरल लाई बीजगणित के प्रतिनिधित्व सिद्धांत को नियंत्रित करता है | अर्ध-सरल लाई बीजगणित का प्रतिनिधित्व सिद्धांत विशेषता के क्षेत्र पर .
एक परिमित-विम अर्ध-सरल में बीजगणित को अभिलाक्षणिक शून्य के बीजगणितीय रूप से बंद क्षेत्र पर ले जाइए (उदाहरण के लिए, ), कार्टन सबलजेब्रा अधिकतम एबेलियन सबलजेब्रा के समान है जिसमें तत्व x होते हैं जैसे कि आसन्न एंडोमोर्फिज्म अर्धसरल ऑपरेटर है (यानी, विकर्ण मैट्रिक्स)। कभी-कभी इस लक्षण वर्णन को कार्टन सबलजेब्रा की परिभाषा के रूप में लिया जाता है।[1]पृष्ठ 231
सामान्य तौर पर, सबलजेब्रा को टॉरल सबलजेब्रा कहा जाता है, अगर इसमें सेमीसिंपल तत्व होते हैं। बीजगणितीय रूप से बंद क्षेत्र पर, toral subalgebra स्वचालित रूप से अबेलियन है। इस प्रकार, विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन सबलजेब्रा को अधिकतम टॉरल सबलजेब्रा के रूप में भी परिभाषित किया जा सकता है।
केएसी-मूडी बीजगणित और सामान्यीकृत केसी-मूडी बीजगणित में भी उप-विषम होते हैं जो अर्ध-सरल ले बीजगणित (विशेषता शून्य के क्षेत्र में) के कार्टन उप-लजेब्रस के समान भूमिका निभाते हैं।
अस्तित्व और विशिष्टता
जब भी आधार क्षेत्र (गणित) अनंत होता है, कार्टन सबलजेब्रस परिमित-आयामी लाई बीजगणित के लिए मौजूद होते हैं। कार्टन सबलजेब्रा बनाने का तरीका लाइ बीजगणित#ए कार्टन सबलजेब्रा के नियमित तत्व और नियमित तत्व के माध्यम से है। परिमित क्षेत्र में, अस्तित्व का प्रश्न अभी भी खुला है।
एक परिमित-विम अर्धसरल झूठ बीजगणित के लिए विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर, सरल दृष्टिकोण है: परिभाषा के अनुसार, टोरल सबलजेब्रा सबलजेब्रा है जिसमें अर्ध-सरल तत्व होते हैं (एक तत्व अर्ध-सरल है यदि इसके द्वारा प्रेरित आसन्न एंडोमोर्फिज्म विकर्ण मैट्रिक्स है)। कार्टन सबलजेब्रा तब अधिकतम टोरल सबलजेब्रा के समान ही होता है और मैक्सिमल टोरल सबलजेब्रा के अस्तित्व को देखना आसान होता है।
विशेषता शून्य के बीजगणितीय रूप से बंद क्षेत्र पर परिमित-आयामी लाई बीजगणित में, सभी कार्टन सबलजेब्रस बीजगणित के automorphism के तहत संयुग्मित होते हैं, और विशेष रूप से सभी समरूपतावाद हैं। कार्टन सबलजेब्रा के सामान्य आयाम को तब बीजगणित के लाइ बीजगणित की कोटि कहा जाता है।
एक परिमित-आयामी जटिल अर्ध-सरल झूठ बीजगणित के लिए, कॉम्पैक्ट वास्तविक रूप के अस्तित्व को मानते हुए, कार्टन सबलजेब्रा का अस्तित्व स्थापित करना बहुत आसान है।[2] उस मामले में, कॉम्पैक्ट समूह के अधिकतम टोरस के लाई बीजगणित की जटिलता के रूप में लिया जा सकता है।
अगर बीजगणितीय रूप से बंद क्षेत्र पर रेखीय झूठ बीजगणित (एक परिमित-आयामी सदिश स्थान V के एंडोमोर्फिज्म के झूठ बीजगणित का झूठा उप बीजगणित) है, फिर कोई कार्टन उप बीजगणित के अधिक से अधिक तोरल लाई बीजगणित का केंद्रक है . अगर सेमीसिम्पल है और फ़ील्ड में विशेषता शून्य है, तो अधिकतम टोरल सबलजेब्रा स्व-सामान्यीकरण है, और इसलिए संबंधित कार्टन सबलजेब्रा के बराबर है। अगर इसके अलावा सेमीसिंपल है, तो लाइ समूह का संलग्न प्रतिनिधित्व प्रस्तुत करता है रेखीय झूठ बीजगणित के रूप में, ताकि subalgebra का कार्टन है अगर और केवल अगर यह अधिकतम टोरल सबलजेब्रा है।
उदाहरण
- कोई भी निलपोटेंट लाई बीजगणित उसका अपना कार्टन सबलजेब्रा होता है।
- कार्टन सबलजेब्रा , वर्ग आव्यूह का झूठा बीजगणित| क्षेत्र पर आव्यूह, सभी विकर्ण आव्यूहों का बीजगणित है।
- ट्रेसलेस के विशेष लाई बीजगणित के लिए मैट्रिक्स , इसमें कार्टन सबलजेब्रा है कहाँउदाहरण के लिए, में कार्टन सबलजेब्रा मेट्रिसेस का सबलजेब्रा हैमैट्रिक्स कम्यूटेटर द्वारा दिए गए लेट ब्रैकेट के साथ।
- झूठ बीजगणित का द्वारा ट्रेस के मेट्रिसेस दो गैर-संयुग्मित कार्टन सबलजेब्रस हैं।
- कार्टन सबलजेब्रा का आयाम सामान्य रूप से एबेलियन सबलजेब्रा का अधिकतम आयाम नहीं है, यहां तक कि जटिल सरल ले बीजगणित के लिए भी। उदाहरण के लिए, झूठ बीजगणित का द्वारा ट्रेस के मेट्रिसेस रैंक का कार्टन सबलजेब्रा है लेकिन आयाम का अधिकतम एबेलियन सबलजेब्रा है फॉर्म के सभी मैट्रिक्स से मिलकर साथ कोई द्वारा आव्यूह। कोई सीधे देख सकता है कि यह एबेलियन सबलजेब्रा कार्टन सबलजेब्रा नहीं है, क्योंकि यह सख्ती से ऊपरी त्रिकोणीय मैट्रिसेस के निलपोटेंट बीजगणित में समाहित है (या, चूंकि यह विकर्ण मैट्रिसेस द्वारा सामान्यीकृत है)।
== अर्ध-सरल झूठ बीजगणित == कार्टन सबलजेब्रस
परिमित-विम अर्धसरल के लिए बीजगणित लीजिए विशेषता 0 के बीजगणितीय रूप से बंद क्षेत्र पर, कार्टन सबलजेब्रा निम्नलिखित गुण हैं:
- एबेलियन ले बीजगणित है,
- आसन्न प्रतिनिधित्व के लिए , छवि सेमीसिम्पल ऑपरेटर्स (यानी, विकर्ण योग्य मेट्रिसेस) होते हैं।
(जैसा कि पहले उल्लेख किया गया है, कार्टन सबलजेब्रा को वास्तव में सबलजेब्रा के रूप में चित्रित किया जा सकता है जो उपरोक्त दो गुणों वाले लोगों में अधिकतम है।)
इन दो गुणों का कहना है कि ऑपरेटरों में साथ विकर्णीय हैं और इसका प्रत्यक्ष योग अपघटन है जैसा
कहाँ
- .
होने देना . तब मूल प्रक्रिया है और, इसके अलावा, ; यानी, का केंद्रीकरण के साथ मेल खाता है . उपरोक्त अपघटन को तब इस प्रकार लिखा जा सकता है:
जैसा कि यह निकला, प्रत्येक के लिए , आयाम और ऐसा है:
- .
अधिक जानकारी के लिए सेमीसिंपल लाई बीजगणित#संरचना भी देखें।
=== दोहरे कार्टन सबलजेब्रा === के साथ प्रतिनिधित्व को विघटित करना एक झूठ बीजगणित दिया विशेषता के क्षेत्र पर , और झूठ बीजगणित प्रतिनिधित्व
वज़न का उपयोग करके अलघुकरणीय अभ्यावेदन का वर्गीकरण
लेकिन, यह पता चला है कि इन भारों का उपयोग लाई बीजगणित के अलघुकरणीय अभ्यावेदन को वर्गीकृत करने के लिए किया जा सकता है . परिमित आयामी अलघुकरणीय के लिए -प्रतिनिधित्व , अनूठा वजन मौजूद है आंशिक आदेश देने के संबंध में . इसके अलावा, दिया ऐसा है कि हर सकारात्मक जड़ के लिए , अद्वितीय अलघुकरणीय प्रतिनिधित्व मौजूद है . इसका मतलब रूट सिस्टम है के प्रतिनिधित्व सिद्धांत के बारे में सभी जानकारी शामिल है .[1]pg 240
कार्टन सबलजेब्रा को विभाजित करना
गैर-बीजगणितीय रूप से बंद फ़ील्ड पर, सभी कार्टन सबलजेब्रस संयुग्मी नहीं होते हैं। महत्वपूर्ण वर्ग कार्टन सबलजेब्रा को विभाजित कर रहा है: यदि कोई ले बीजगणित विभाजित कार्टन सबलजेब्रा को स्वीकार करता है तब इसे स्प्लिटेबल और पेयर कहा जाता है स्प्लिट लाइ बीजगणित कहा जाता है; बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य है। कोई भी दो बंटवारे वाले कार्टन बीजगणित संयुग्मित होते हैं, और वे बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित में कार्टन बीजगणित के समान कार्य को पूरा करते हैं, इसलिए विभाजित अर्ध-सरल लाई बीजगणित (वास्तव में, विभाजन रिडक्टिव लाइ बीजगणित) बीजगणितीय रूप से बंद क्षेत्रों पर अर्ध-सरल लाई बीजगणित के साथ कई गुण साझा करते हैं .
हालांकि, गैर-बीजगणितीय रूप से बंद क्षेत्र पर प्रत्येक अर्ध-सरल लाई बीजगणित विभाजित करने योग्य नहीं है।
कार्टन उपसमूह
लाई समूह का कार्टन उपसमूह उन उपसमूहों में से है जिसका लाई बीजगणित कार्टन उपलजेब्रा है। उपसमूह के पहचान घटक में समान झूठ बीजगणित होता है। कोई मानक परिपाटी नहीं है जिसके लिए इस गुण वाले उपसमूहों में से किसी को द कार्टन उपसमूह कहा जाता है, विशेष रूप से डिस्कनेक्ट किए गए समूहों के मामले में। कॉम्पैक्ट कनेक्टेड लाई समूह का कार्टन उपसमूह अधिकतम जुड़ा हुआ एबेलियन उपसमूह (एक अधिकतम टोरस) है। इसका झूठ बीजगणित कार्टन सबलजेब्रा है।
डिस्कनेक्ट किए गए कॉम्पैक्ट लाई समूहों के लिए कार्टन उपसमूह की कई असमान परिभाषाएँ हैं। डेविड वोगन द्वारा दिया गया सबसे आम प्रतीत होता है, जो कार्टन उपसमूह को तत्वों के समूह के रूप में परिभाषित करता है जो निश्चित अधिकतम टोरस को सामान्य करता है और मौलिक वेइल कक्ष को ठीक करता है। इसे कभी-कभी बड़ा कार्टन उपसमूह कहा जाता है। छोटा कार्टन उपसमूह भी है, जिसे अधिकतम टोरस के केंद्रक के रूप में परिभाषित किया गया है। इन कार्टन उपसमूहों को सामान्य रूप से एबेलियन होने की आवश्यकता नहीं है।
कार्टन उपसमूहों के उदाहरण
- जीएल में उपसमूह2(आर) विकर्ण matrices से मिलकर।
संदर्भ
- ↑ 1.0 1.1 Hotta, R. (Ryoshi) (2008). डी-मॉड्यूल, विकृत ढेर, और प्रतिनिधित्व सिद्धांत. Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955- (English ed.). Boston: Birkhäuser. ISBN 978-0-8176-4363-8. OCLC 316693861.
- ↑ Hall 2015 Chapter 7
टिप्पणियाँ
संदर्भ
- Borel, Armand (1991), Linear algebraic groups, Graduate Texts in Mathematics, vol. 126 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-97370-8, MR 1102012
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666
- Jacobson, Nathan (1979), Lie algebras, New York: Dover Publications, ISBN 978-0-486-63832-4, MR 0559927
- Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90053-7
- Popov, V.L. (2001) [1994], "Cartan subalgebra", Encyclopedia of Mathematics, EMS Press
- Anthony William Knapp; David A. Vogan (1995). कोहोमोलॉजिकल इंडक्शन और एकात्मक प्रतिनिधित्व. ISBN 978-0-691-03756-1.
श्रेणी:झूठे बीजगणित