En matemáticas , la descomposición de Iwasawa (también conocida como KAN por su expresión) de un grupo de Lie semisimple generaliza la forma en que se puede escribir una matriz real cuadrada como producto de una matriz ortogonal y una matriz triangular superior ( descomposición QR , una consecuencia de Gram-Schmidt ortogonalización ). Lleva el nombre de Kenkichi Iwasawa , el matemático japonés que desarrolló este método. [1]
Definición
- G es un grupo de Lie real semisimple conexo .
es el álgebra de Lie de G
es la complejización de .![{\displaystyle {\mathfrak {g}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- θ es una involución de Cartan de
![{\displaystyle {\mathfrak {g}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es la descomposición de Cartan correspondiente
es una subálgebra abeliana máxima de![{\displaystyle {\mathfrak {p}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Σ es el conjunto de raíces restringidas de , correspondientes a valores propios de actuar sobre .
![{\displaystyle {\mathfrak {a}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {a}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Σ + es una elección de raíces positivas de Σ
es un álgebra de Lie nilpotente dada como la suma de los espacios de raíces de Σ +- K , A , N , son los subgrupos de Lie de G generados por y .
![{\displaystyle {\mathfrak {k}}_{0},{\mathfrak {a}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {n}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces la descomposición de Iwasawa es![{\displaystyle {\mathfrak {g}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}_{0}={\mathfrak {k}}_{0}\oplus {\mathfrak {a}}_{0}\oplus {\mathfrak {n}}_{ 0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y la descomposición de Iwasawa de G es
![{\displaystyle G=KAN}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
lo que significa que hay un difeomorfismo analítico (pero no un homomorfismo de grupo) de la variedad al grupo de Lie , enviando .![{\displaystyle K\veces A\veces N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (k,a,n)\mapsto kan}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La dimensión de A (o equivalente de ) es igual al rango real de G .![{\displaystyle {\mathfrak {a}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las descomposiciones de Iwasawa también son válidas para algunos grupos semisimples G desconectados , donde K se convierte en un subgrupo compacto máximo (desconectado) siempre que el centro de G sea finito.
La descomposición del espacio raíz restringido es
![{\displaystyle {\mathfrak {g}}_{0}={\mathfrak {m}}_{0}\oplus {\mathfrak {a}}_{0}\oplus _{\lambda \in \Sigma } {\mathfrak {g}}_{\lambda}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde es el centralizador de in y es el espacio raíz. El número se llama multiplicidad de .![{\displaystyle {\mathfrak {m}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {a}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {k}}_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}_{\lambda }=\{X\in {\mathfrak {g}}_{0}:[H,X]=\lambda (H)X\;\;\ para todos H\in {\mathfrak {a}}_{0}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m_{\lambda }={\text{dim}}\,{\mathfrak {g}}_{\lambda }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle\lambda}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
Si G = SL n ( R ), entonces podemos tomar K como las matrices ortogonales, A como las matrices diagonales positivas con determinante 1 y N como el grupo unipotente que consta de matrices triangulares superiores con unos en la diagonal.
Para el caso de n = 2 , la descomposición de Iwasawa de G = SL(2, R ) es en términos de
![{\displaystyle \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),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {A} =\left\{{\begin{pmatrix}r&0\\0&r^{-1}\end{pmatrix}}\in SL(2,\mathbb {R} )\ |\ r >0\derecha\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {N} =\left\{{\begin{pmatrix}1&x\\0&1\end{pmatrix}}\in SL(2,\mathbb {R} )\ |\ x\in \mathbf { R}\derecha\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para el grupo simpléctico G = Sp(2n , R ) , una posible descomposición de Iwasawa es en términos de
![{\displaystyle \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),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {A} =\left\{{\begin{pmatrix}D&0\\0&D^{-1}\end{pmatrix}}\in Sp(2n,\mathbb {R} )\ |\ D {\text{positivo, diagonal}}\right\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbf {N} =\left\{{\begin{pmatrix}N&M\\0&N^{-T}\end{pmatrix}}\in Sp(2n,\mathbb {R} )\ |\ N {\text{ triangular superior con elementos diagonales = 1}},\ NM^{T}=MN^{T}\right\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Descomposición de Iwasawa no arquimediana
Hay una analogía a la descomposición de Iwasawa anterior para un campo no de Arquímedes : en este caso, el grupo se puede escribir como un producto del subgrupo de matrices triangulares superiores y el subgrupo (compacto máximo) , donde está el anillo de números enteros. de . [2]![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle GL_{n}(F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle GL_{n}(O_{F})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle O_{F}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ Iwasawa, Kenkichi (1949). "Sobre algunos tipos de grupos topológicos". Anales de Matemáticas . 50 (3): 507–558. doi :10.2307/1969548. JSTOR 1969548.
- ^ Bump, Daniel (1997), Formas y representaciones automórficas , Cambridge: Cambridge University Press, doi :10.1017/CBO9780511609572, ISBN 0-521-55098-X, Proposición 4.5.2