इवासावा अपघटन

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

परिभाषा

 * G जुड़ा हुआ अर्धसरल वास्तविक ली समूह है।
 * $$ \mathfrak{g}_0 $$ G का ली बीजगणित है
 * $$ \mathfrak{g} $$ $$ \mathfrak{g}_0 $$ की सम्मिश्र्ता है.
 * θ $$ \mathfrak{g}_0 $$ का कार्टन इन्वॉल्वमेंट है
 * $$ \mathfrak{g}_0 = \mathfrak{k}_0 \oplus \mathfrak{p}_0 $$ संगत कार्टन अपघटन है
 * $$ \mathfrak{a}_0 $$ $$ \mathfrak{p}_0 $$ का अधिकतम एबेलियन उपबीजगणित है
 * Σ $$ \mathfrak{a}_0 $$ प्रतिबंधित जड़ों का समुच्चय है, जो $$ \mathfrak{g}_0 $$ पर कार्य कर रहे $$ \mathfrak{a}_0 $$ के eigenvalues ​​​​के अनुरूप होते है.
 * Σ+ Σ की धनात्मक जड़ों का विकल्प है
 * $$ \mathfrak{n}_0 $$ शून्य-शक्तिशाली बीजगणित है जिसे के Σ+ के मूल स्थानों के योग के रूप में उपयोग किया जाता है
 * K, A, N, G के Lie उपसमूह हैं जो $$ \mathfrak{k}_0, \mathfrak{a}_0 $$ और $$ \mathfrak{n}_0 $$ द्वारा उत्पन्न होते है

अर्थात इवासावा का विघटन $$ \mathfrak{g}_0 $$ है
 * $$\mathfrak{g}_0 = \mathfrak{k}_0 \oplus \mathfrak{a}_0 \oplus \mathfrak{n}_0$$

और G का इवासावा अपघटन है
 * $$G=KAN                                                                                                                               $$

इसका अर्थ यह है कि मैनिफोल्ड $$ K \times A \times N $$ लाई समूह $$ G $$ से विश्लेषणात्मक भिन्नता (किन्तु समूह समरूपता नहीं) है जो $$ (k,a,n) \mapsto kan $$, के लिए उपयोग किया जाता है.

A का आयाम (या $$ \mathfrak{a}_0 $$ समकक्ष) बीजगणितीय टोरस या फ्लैट उप-स्थान और G के सममित स्थानों की रैंक के समान्तर है।

इस प्रकार इवासावा अपघटन में कुछ असंबद्ध अर्धसरल समूहों G के लिए भी प्रयुक्त होता है, जहां K (असंबद्ध) अधिकतम सघन उपसमूह बन जाता है, परंतु G का केंद्र परिमित होना चाहिए ।

प्रतिबंधित मूल स्थान अपघटन है
 * $$ \mathfrak{g}_0 = \mathfrak{m}_0\oplus\mathfrak{a}_0\oplus_{\lambda\in\Sigma}\mathfrak{g}_{\lambda} $$

जहाँ $$\mathfrak{m}_0$$, $$\mathfrak{a}_0$$ इंच का केंद्रीकरणकर्ता है $$\mathfrak{k}_0$$ और $$\mathfrak{g}_{\lambda} = \{X\in\mathfrak{g}_0: [H,X]=\lambda(H)X\;\;\forall H\in\mathfrak{a}_0 \}$$ मूल स्थान है. जो नंबर $$m_{\lambda}= \text{dim}\,\mathfrak{g}_{\lambda}$$ को $$\lambda$$ की बहुलता कहलाती है.

उदाहरण
यदि G=SLn(R) तो हम K को ओर्थोगोनल आव्यूह के रूप में ले सकते हैं, A को निर्धारक 1 के साथ धनात्मक विकर्ण आव्यूह के रूप में ले सकते हैं, और N को विकर्ण पर 1s के साथ ऊपरी त्रिकोणीय आव्यूहों से युक्त एकशक्तिशाली समूह के रूप में ले सकते हैं।

n=2 के स्तिथियों के लिए, G=SL(2,'R') का इवासावा अपघटन के संदर्भ में है
 * $$ \mathbf{K} = \left\{

\begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} \in SL(2,\mathbb{R}) \ | \ \theta\in\mathbf{R}  \right\} \cong SO(2) , $$

\mathbf{A} = \left\{ \begin{pmatrix} r & 0 \\ 0 & r^{-1} \end{pmatrix} \in SL(2,\mathbb{R}) \ | \ r > 0  \right\}, $$

\mathbf{N} = \left\{ \begin{pmatrix} 1 & x \\ 0 & 1 \end{pmatrix} \in SL(2,\mathbb{R}) \ | \  x\in\mathbf{R} \right\}. $$ सहानुभूति समूह G=Sp(2n, 'R' ) के लिए, संभावित इवासावा अपघटन के संदर्भ में है


 * $$ \mathbf{K} = Sp(2n,\mathbb{R})\cap SO(2n)

= \left\{ \begin{pmatrix} A & B \\ -B & A \end{pmatrix} \in Sp(2n,\mathbb{R}) \ | \  A+iB \in U(n) \right\} \cong U(n) , $$

\mathbf{A} = \left\{ \begin{pmatrix} D & 0 \\ 0 & D^{-1} \end{pmatrix} \in Sp(2n,\mathbb{R}) \ | \ D \text{ positive, diagonal} \right\}, $$

\mathbf{N} = \left\{ \begin{pmatrix} N & M \\ 0 & N^{-T} \end{pmatrix} \in Sp(2n,\mathbb{R}) \ | \ N \text{ upper triangular with diagonal elements = 1},\ NM^T = MN^T \right\}. $$

गैर-आर्किमिडीयन इवासावा अपघटन
गैर-आर्किमिडीयन क्षेत्र $$F$$ के लिए उपरोक्त इवासावा अपघटन का एनालॉग है : इस स्तिथियों में, समूह $$GL_n(F)$$ ऊपरी-त्रिकोणीय आव्युह के उपसमूह और (अधिकतम कॉम्पैक्ट) उपसमूह के उत्पाद के रूप में लिखा जा सकता है $$GL_n(O_F)$$, जहाँ $$O_F$$ के पूर्णांकों का वलय है $$F$$.

यह भी देखें
 * ली समूह विघटन
 * अर्ध-सरल ली बीजगणित की मूल प्रणाली