कार्टन अपघटन: Difference between revisions
(Created page with "{{Short description|Generalized matrix decomposition for Lie groups and Lie algebras}} गणित में, कार्टन अपघटन एक सेमीसिम...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Generalized matrix decomposition for Lie groups and Lie algebras}} | {{Short description|Generalized matrix decomposition for Lie groups and Lie algebras}} | ||
गणित में, कार्टन अपघटन एक सेमीसिम्पल लाई बीजगणित लाई समूह या लाई बीजगणित का अपघटन है, जो उनके संरचना सिद्धांत और [[प्रतिनिधित्व सिद्धांत]] में महत्वपूर्ण भूमिका निभाता है। यह मेट्रिसेस के [[ध्रुवीय अपघटन]] या एकवचन | गणित में, कार्टन अपघटन एक सेमीसिम्पल लाई बीजगणित लाई समूह या लाई बीजगणित का अपघटन है, जो उनके संरचना सिद्धांत और [[प्रतिनिधित्व सिद्धांत]] में महत्वपूर्ण भूमिका निभाता है। यह मेट्रिसेस के [[ध्रुवीय अपघटन]] या एकवचन मान अपघटन को सामान्य करता है। इसका इतिहास एली कार्टन और [[ विल्हेम हत्या ]] के 1880 के दशक के काम का पता लगाया जा सकता है।<ref>{{harvnb|Kleiner|2007}}</ref> | ||
== लाई बीजगणित पर कार्टन का निवेश == | |||
== लाई बीजगणित | मान लीजिए <math>\mathfrak{g}</math> एक वास्तविक अर्धसरल लाई बीजगणित है और <math>B(\cdot,\cdot)</math> इसका घातक रूप है। <math>\mathfrak{g}</math> पर एक जुड़ाव <math>\mathfrak{g}</math> का झूठा बीजगणित ऑटोमोर्फिज्म <math>\theta</math> है जिसका वर्ग पहचान के समान है। यदि <math>B_\theta(X,Y) := -B(X,\theta Y)</math> एक सकारात्मक निश्चित बिलिनियर रूप है, तो इस तरह के एक समावेशन को <math>\mathfrak{g}</math> पर एक कार्टन समावेशन कहा जाता है। | ||
दो इन्वोल्यूशन <math>\theta_1</math> और <math>\theta_2</math> समतुल्य माने जाते हैं यदि वे केवल एक [[आंतरिक ऑटोमोर्फिज्म]] से भिन्न होते हैं। | दो इन्वोल्यूशन <math>\theta_1</math> और <math>\theta_2</math> समतुल्य माने जाते हैं यदि वे केवल एक [[आंतरिक ऑटोमोर्फिज्म]] से भिन्न होते हैं। | ||
Line 13: | Line 11: | ||
=== उदाहरण === | === उदाहरण === | ||
* | *<math>\mathfrak{sl}_n(\mathbb{R})</math> पर एक कार्टन निवेश <math>\theta(X)=-X^T</math> द्वारा परिभाषित किया गया है, जहाँ <math>X^T</math> ट्रांसपोज़ आव्यूह को <math>X</math> दर्शाता है | ||
* | *<math>\mathfrak{g}</math> पर पहचान मानचित्र एक अंतर्वलन है। यह <math>\mathfrak{g}</math> का अनोखा कार्टन समावेश है यदि और केवल यदि <math>\mathfrak{g}</math> का किलिंग रूप नकारात्मक निश्चित है या, समकक्ष, यदि और केवल यदि <math>\mathfrak{g}</math> लाई है कॉम्पैक्ट सेमीसिंपल लाई समूह का बीजगणित है । | ||
* | *मान लीजिए कि <math>\mathfrak{g}</math> एक वास्तविक अर्ध-सरल लाई बीजगणित <math>\mathfrak{g}_0</math> का जटिलीकरण है, तो <math>\mathfrak{g}</math> का जटिल संयुग्मन <math>\mathfrak{g}</math> का एक अंतर्वलन है। यह <math>\mathfrak{g}</math> पर कार्टन समावेश है यदि और केवल यदि <math>\mathfrak{g}_0</math> कॉम्पैक्ट लाइ समूह का लाई बीजगणित है। | ||
* निम्नलिखित मानचित्र लाई बीजगणित | * निम्नलिखित मानचित्र [[विशेष एकात्मक समूह]] [[SU(n)]] का:लाई बीजगणित <math>\mathfrak{su}(n)</math>के अंतर्वलन हैं | ||
*#पहचान का समावेश <math>\theta_1(X) = X</math>, जो इस | *#पहचान का समावेश <math>\theta_1(X) = X</math>, जो इस स्थिति में अनोखा कार्टन समावेश है। | ||
*# [[जटिल संयुग्मन]], के रूप में अभिव्यक्त <math>\theta_2 (X) = - X^T</math> पर <math>\mathfrak{su}(2)</math>. | *# [[जटिल संयुग्मन]], के रूप में अभिव्यक्त <math>\theta_2 (X) = - X^T</math> पर <math>\mathfrak{su}(2)</math>. | ||
*# | *# यदि <math>n = p+q</math> विचित्र है, <math>\theta_3 (X) = \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix} X \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix}</math>. समावेश (1), (2) और (3) समतुल्य हैं, किंतु पहचान के समतुल्य नहीं हैं <math>\begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix} \notin \mathfrak {{su}}(n)</math>. | ||
*# | *# यदि <math>n = 2m</math> सम है, वहाँ <math>\theta_4 (X) = \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix} X^T \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix}</math>.भी है | ||
== कार्टन जोड़े == | == कार्टन जोड़े == | ||
मान लीजिए<math>\theta</math> लाई बीजगणित <math>\mathfrak{g}</math> पर एक अंतर्वलन है। चूँकि <math>\theta^2=1</math>, रेखीय मानचित्र <math>\theta</math> में दो ईजेनमान <math>\pm1</math> हैं।यदि <math>\mathfrak{k}</math> और <math>\mathfrak{p}</math> क्रमशः +1 और -1 के अनुरूप ईजेनस्पेस को निरूपित करें, फिर <math>\mathfrak{g} = \mathfrak{k}\oplus\mathfrak{p}</math>. तब से <math>\theta</math> एक लाई बीजगणित ऑटोमोर्फिज्म है, इसके दो आइगेनस्पेस का लाई ब्रैकेट उनके आइगेनवैल्यू के उत्पाद के अनुरूप आइगेनस्पेस में समाहित है। यह इस प्रकार है कि | |||
: <math>[\mathfrak{k}, \mathfrak{k}] \subseteq \mathfrak{k}</math>, <math>[\mathfrak{k}, \mathfrak{p}] \subseteq \mathfrak{p}</math>, और <math>[\mathfrak{p}, \mathfrak{p}] \subseteq \mathfrak{k}</math>. | : <math>[\mathfrak{k}, \mathfrak{k}] \subseteq \mathfrak{k}</math>, <math>[\mathfrak{k}, \mathfrak{p}] \subseteq \mathfrak{p}</math>, और <math>[\mathfrak{p}, \mathfrak{p}] \subseteq \mathfrak{k}</math>. | ||
इस प्रकार <math>\mathfrak{k}</math> एक | इस प्रकार <math>\mathfrak{k}</math> एक लाई उपबीजगणित है, जबकि किसी भी उपबीजगणित का <math>\mathfrak{p}</math> क्रमविनिमेय है। | ||
इसके विपरीत, एक अपघटन <math>\mathfrak{g} = \mathfrak{k}\oplus\mathfrak{p}</math> इन अतिरिक्त गुणों के साथ <math>\mathfrak{g}</math> पर एक समावेश <math>\theta</math> निर्धारित करता है <math>\mathfrak{k}</math> पर <math>+1</math> और <math>\mathfrak{p}</math> पर <math>-1</math> है। | |||
ऐसी जोड़ी <math>(\mathfrak{k}, \mathfrak{p})</math> को <math>\mathfrak{g}</math>, और <math>(\mathfrak{g},\mathfrak{k})</math> की कार्टन जोड़ी भी कहा जाता है एक सममित जोड़ी कहा जाता है। यहाँ एक कार्टन जोड़ी की इस धारणा को अलग-अलग धारणा के साथ भ्रमित नहीं होना है जिसमें सापेक्ष लाई बीजगणित कोहोलॉजी <math>H^*(\mathfrak{g},\mathfrak{k})</math> सम्मिलित है। | |||
= | अपघटन {<math>\mathfrak{g} = \mathfrak{k}\oplus\mathfrak{p}</math> कार्टन के समावेश से जुड़ा होता है जिसे <math>\mathfrak{g}</math> का कार्टन अपघटन कहा जाता है। कार्टन अपघटन की विशेष विशेषता यह है कि किलिंग फॉर्म <math>\mathfrak{k}</math> पर नकारात्मक निश्चित और <math>\mathfrak{p}</math> पर सकारात्मक निश्चित है। इसके अतिरिक्त , <math>\mathfrak{k}</math> और <math>\mathfrak{p}</math>, <math>\mathfrak{g}</math> पर किलिंग फॉर्म के संबंध में एक दूसरे के ऑर्थोगोनल पूरक हैं। | ||
== लाई समूह स्तर पर कार्टन अपघटन == | |||
* | चलो <math>G</math> एक गैर-कॉम्पैक्ट सेमीसिम्पल लाइ समूह और <math>\mathfrak{g}</math> इसका झूठा बीजगणित है। <math>\theta</math> को <math>\mathfrak{g}</math> पर एक कार्टन समावेश होने दें और <math>(\mathfrak{k},\mathfrak{p})</math> परिणामी कार्टन जोड़ी बनें। चलो <math>K</math> लाई बीजगणित <math>\mathfrak{k}</math> के साथ <math>G</math> का विश्लेषणात्मक उपसमूह है। तब: | ||
* | * <math>\Theta^2=1</math> को संतुष्ट करने वाली पहचान पर विभेदक <math>\theta</math> के साथ एक लाइ ग्रुप ऑटोमोर्फिज्म <math>\Theta</math> है। | ||
* | * <math>\Theta</math> द्वारा निर्धारित तत्वों का उपसमूह <math>K</math> है ; विशेष रूप से, <math>K</math> एक बंद उपसमूह है। | ||
* उपसमूह <math>K</math> | *<math>(k,X) \mapsto k\cdot \mathrm{exp}(X)</math> द्वारा दिया गया मानचित्रण <math>K\times\mathfrak{p} \rightarrow G</math> एक भिन्नता है। | ||
* उपसमूह <math>K</math> , <math>G</math> का एक अधिकतम कॉम्पैक्ट उपसमूह है , जब भी G का केंद्र परिमित हो। | |||
ऑटोमोर्फिज्म <math>\Theta</math> | ऑटोमोर्फिज्म <math>\Theta</math> को ग्लोबल कार्टन समावेश भी कहा जाता है, और डिफियोमोर्फिज्म <math>K\times\mathfrak{p} \rightarrow G</math> को ग्लोबल कार्टन अपघटन कहा जाता है। यदि हम <math>P=\mathrm{exp}(\mathfrak{p})\subset G</math> लिखते हैं तो यह कहता है कि उत्पाद मानचित्र<math>K\times P \rightarrow G</math>एक भिन्नता है इसलिए <math>G=KP</math>। | ||
यह कहता है कि उत्पाद मानचित्र <math>K\times P \rightarrow G</math> एक भिन्नता है <math>G=KP</math> | |||
सामान्य रैखिक समूह | सामान्य रैखिक समूह <math> X \mapsto (X^{-1})^T </math> के लिए, एक कार्टन समावेश है।{{clarify|reason=Very first talk page section points out that the Killing-form definition won't work for GL(n). A later talk-page section (titled "is this true?") points out that the transpose won't work for the analytic-subgroup claims above. So, for GL(n), is "any old involution" a Cartan involution? See "Inconsistency!" on talk page.|date=October 2020}} | ||
कॉम्पैक्ट या गैर-कॉम्पैक्ट प्रकार के सममित | कॉम्पैक्ट या गैर-कॉम्पैक्ट प्रकार के सममित स्थानों के लिए कार्टन अपघटन का शोधन बताता है कि <math>\mathfrak{p}</math> में अधिकतम एबेलियन सबलगेब्रस<math>\mathfrak{a}</math> <math>K</math> द्वारा संयुग्मन तक अद्वितीय हैं। इसके अतिरिक्त, | ||
:<math>\displaystyle{\mathfrak{p}= \bigcup_{k\in K} \mathrm{Ad}\, k \cdot \mathfrak{a}.} | :<math>\displaystyle{\mathfrak{p}= \bigcup_{k\in K} \mathrm{Ad}\, k \cdot \mathfrak{a}.} | ||
Line 57: | Line 52: | ||
</math> कहाँ <math>A = e^\mathfrak{a}</math>. | </math> कहाँ <math>A = e^\mathfrak{a}</math>. | ||
इस प्रकार कॉम्पैक्ट और नॉनकॉम्पैक्ट | इस प्रकार कॉम्पैक्ट और नॉनकॉम्पैक्ट स्थिति में वैश्विक कार्टन अपघटन का तात्पर्य है | ||
:<math>G = KP = KAK,</math> | :<math>G = KP = KAK,</math> | ||
ज्यामितीय रूप से उपसमूह की छवि <math>A</math> में <math>G/K</math> एक [[पूरी तरह से जियोडेसिक]] | ज्यामितीय रूप से उपसमूह की छवि <math>A</math> में <math>G/K</math> एक [[पूरी तरह से जियोडेसिक]] उपमनीफोल्ड है। | ||
== ध्रुवीय अपघटन से संबंध == | == ध्रुवीय अपघटन से संबंध == | ||
<math>\mathfrak{gl}_n(\mathbb{R})</math> पर कार्टन इनवोल्यूशन <math>\theta(X)=-X^T</math> के साथ विचार करें। फिर<math>\mathfrak{k}=\mathfrak{so}_n(\mathbb{R})</math>तिरछा-सममित आव्यूहों का वास्तविक लाई बीजगणित है, जिससे <math>K=\mathrm{SO}(n)</math>, जबकि <math>\mathfrak{p}</math> सममित आव्यूहों की उपसमष्टि है। इस प्रकार घातीय नक्शा <math>\mathfrak{p}</math> से सकारात्मक निश्चित मैट्रिसेस के स्थान पर एक भिन्नता है। इस घातीय मानचित्र तक, वैश्विक कार्टन अपघटन एक मैट्रिक्स का ध्रुवीय अपघटन है। व्युत्क्रमणीय मैट्रिक्स का ध्रुवीय अपघटन अद्वितीय है। | |||
== यह भी देखें == | == यह भी देखें == | ||
* [[झूठ समूह अपघटन]] | * [[झूठ समूह अपघटन|लाई समूह अपघटन]] | ||
== टिप्पणियाँ == | == टिप्पणियाँ == |
Revision as of 10:37, 5 May 2023
गणित में, कार्टन अपघटन एक सेमीसिम्पल लाई बीजगणित लाई समूह या लाई बीजगणित का अपघटन है, जो उनके संरचना सिद्धांत और प्रतिनिधित्व सिद्धांत में महत्वपूर्ण भूमिका निभाता है। यह मेट्रिसेस के ध्रुवीय अपघटन या एकवचन मान अपघटन को सामान्य करता है। इसका इतिहास एली कार्टन और विल्हेम हत्या के 1880 के दशक के काम का पता लगाया जा सकता है।[1]
लाई बीजगणित पर कार्टन का निवेश
मान लीजिए एक वास्तविक अर्धसरल लाई बीजगणित है और इसका घातक रूप है। पर एक जुड़ाव का झूठा बीजगणित ऑटोमोर्फिज्म है जिसका वर्ग पहचान के समान है। यदि एक सकारात्मक निश्चित बिलिनियर रूप है, तो इस तरह के एक समावेशन को पर एक कार्टन समावेशन कहा जाता है।
दो इन्वोल्यूशन और समतुल्य माने जाते हैं यदि वे केवल एक आंतरिक ऑटोमोर्फिज्म से भिन्न होते हैं।
किसी भी वास्तविक अर्धसरल लाई बीजगणित में एक कार्टन का समावेश होता है, और कोई भी दो कार्टन का समावेशन समतुल्य होता है।
उदाहरण
- पर एक कार्टन निवेश द्वारा परिभाषित किया गया है, जहाँ ट्रांसपोज़ आव्यूह को दर्शाता है
- पर पहचान मानचित्र एक अंतर्वलन है। यह का अनोखा कार्टन समावेश है यदि और केवल यदि का किलिंग रूप नकारात्मक निश्चित है या, समकक्ष, यदि और केवल यदि लाई है कॉम्पैक्ट सेमीसिंपल लाई समूह का बीजगणित है ।
- मान लीजिए कि एक वास्तविक अर्ध-सरल लाई बीजगणित का जटिलीकरण है, तो का जटिल संयुग्मन का एक अंतर्वलन है। यह पर कार्टन समावेश है यदि और केवल यदि कॉम्पैक्ट लाइ समूह का लाई बीजगणित है।
- निम्नलिखित मानचित्र विशेष एकात्मक समूह SU(n) का:लाई बीजगणित के अंतर्वलन हैं
- पहचान का समावेश , जो इस स्थिति में अनोखा कार्टन समावेश है।
- जटिल संयुग्मन, के रूप में अभिव्यक्त पर .
- यदि विचित्र है, . समावेश (1), (2) और (3) समतुल्य हैं, किंतु पहचान के समतुल्य नहीं हैं .
- यदि सम है, वहाँ .भी है
कार्टन जोड़े
मान लीजिए लाई बीजगणित पर एक अंतर्वलन है। चूँकि , रेखीय मानचित्र में दो ईजेनमान हैं।यदि और क्रमशः +1 और -1 के अनुरूप ईजेनस्पेस को निरूपित करें, फिर . तब से एक लाई बीजगणित ऑटोमोर्फिज्म है, इसके दो आइगेनस्पेस का लाई ब्रैकेट उनके आइगेनवैल्यू के उत्पाद के अनुरूप आइगेनस्पेस में समाहित है। यह इस प्रकार है कि
- , , और .
इस प्रकार एक लाई उपबीजगणित है, जबकि किसी भी उपबीजगणित का क्रमविनिमेय है।
इसके विपरीत, एक अपघटन इन अतिरिक्त गुणों के साथ पर एक समावेश निर्धारित करता है पर और पर है।
ऐसी जोड़ी को , और की कार्टन जोड़ी भी कहा जाता है एक सममित जोड़ी कहा जाता है। यहाँ एक कार्टन जोड़ी की इस धारणा को अलग-अलग धारणा के साथ भ्रमित नहीं होना है जिसमें सापेक्ष लाई बीजगणित कोहोलॉजी सम्मिलित है।
अपघटन { कार्टन के समावेश से जुड़ा होता है जिसे का कार्टन अपघटन कहा जाता है। कार्टन अपघटन की विशेष विशेषता यह है कि किलिंग फॉर्म पर नकारात्मक निश्चित और पर सकारात्मक निश्चित है। इसके अतिरिक्त , और , पर किलिंग फॉर्म के संबंध में एक दूसरे के ऑर्थोगोनल पूरक हैं।
लाई समूह स्तर पर कार्टन अपघटन
चलो एक गैर-कॉम्पैक्ट सेमीसिम्पल लाइ समूह और इसका झूठा बीजगणित है। को पर एक कार्टन समावेश होने दें और परिणामी कार्टन जोड़ी बनें। चलो लाई बीजगणित के साथ का विश्लेषणात्मक उपसमूह है। तब:
- को संतुष्ट करने वाली पहचान पर विभेदक के साथ एक लाइ ग्रुप ऑटोमोर्फिज्म है।
- द्वारा निर्धारित तत्वों का उपसमूह है ; विशेष रूप से, एक बंद उपसमूह है।
- द्वारा दिया गया मानचित्रण एक भिन्नता है।
- उपसमूह , का एक अधिकतम कॉम्पैक्ट उपसमूह है , जब भी G का केंद्र परिमित हो।
ऑटोमोर्फिज्म को ग्लोबल कार्टन समावेश भी कहा जाता है, और डिफियोमोर्फिज्म को ग्लोबल कार्टन अपघटन कहा जाता है। यदि हम लिखते हैं तो यह कहता है कि उत्पाद मानचित्रएक भिन्नता है इसलिए ।
सामान्य रैखिक समूह के लिए, एक कार्टन समावेश है।[clarification needed]
कॉम्पैक्ट या गैर-कॉम्पैक्ट प्रकार के सममित स्थानों के लिए कार्टन अपघटन का शोधन बताता है कि में अधिकतम एबेलियन सबलगेब्रस द्वारा संयुग्मन तक अद्वितीय हैं। इसके अतिरिक्त,
- कहाँ .
इस प्रकार कॉम्पैक्ट और नॉनकॉम्पैक्ट स्थिति में वैश्विक कार्टन अपघटन का तात्पर्य है
ज्यामितीय रूप से उपसमूह की छवि में एक पूरी तरह से जियोडेसिक उपमनीफोल्ड है।
ध्रुवीय अपघटन से संबंध
पर कार्टन इनवोल्यूशन के साथ विचार करें। फिरतिरछा-सममित आव्यूहों का वास्तविक लाई बीजगणित है, जिससे , जबकि सममित आव्यूहों की उपसमष्टि है। इस प्रकार घातीय नक्शा से सकारात्मक निश्चित मैट्रिसेस के स्थान पर एक भिन्नता है। इस घातीय मानचित्र तक, वैश्विक कार्टन अपघटन एक मैट्रिक्स का ध्रुवीय अपघटन है। व्युत्क्रमणीय मैट्रिक्स का ध्रुवीय अपघटन अद्वितीय है।
यह भी देखें
टिप्पणियाँ
संदर्भ
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (March 2016) (Learn how and when to remove this template message) |
- Helgason, Sigurdur (1978), Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol. 80, Academic Press, ISBN 0-8218-2848-7, MR 0514561
- Kleiner, Israel (2007). Kleiner, Israel (ed.). A History of Abstract Algebra. Boston, MA: Birkhäuser. doi:10.1007/978-0-8176-4685-1. ISBN 978-0817646844. MR 2347309.
- Knapp, Anthony W. (2005) [1996]. Bass, Hyman; Oesterlé, Joseph; Alan, Weinstein (eds.). Lie groups beyond an introduction. Progress in Mathematics. Vol. 140 (2nd ed.). Boston, MA: Birkhäuser. ISBN 0-8176-4259-5. MR 1920389.