Subálgebra nilpotente de un álgebra de Lie
En matemáticas , una subálgebra de Cartan , a menudo abreviada como CSA , es una subálgebra nilpotente de un álgebra de Lie que se autonormaliza (si es para todos , entonces ). Fueron presentados por Élie Cartan en su tesis doctoral. Controla la teoría de representación de un álgebra de Lie semisimple sobre un campo de características .
En un álgebra de Lie semisimple de dimensión finita sobre un campo algebraicamente cerrado de característica cero (por ejemplo, ), una subálgebra de Cartan es lo mismo que una subálgebra abeliana máxima que consta de elementos x tales que el endomorfismo adjunto es semisimple (es decir, diagonalizable ). A veces esta caracterización se toma simplemente como la definición de una subálgebra de Cartan. [1] página 231
En general, una subálgebra se llama toral si está formada por elementos semisimples. Sobre un campo algebraicamente cerrado, una subálgebra toral es automáticamente abeliana. Por tanto, sobre un campo algebraicamente cerrado de característica cero, una subálgebra de Cartan también se puede definir como una subálgebra toral máxima.
Las álgebras de Kac-Moody y las álgebras de Kac-Moody generalizadas también tienen subálgebras que desempeñan el mismo papel que las subálgebras de Cartan de las álgebras de Lie semisimples (sobre un campo de característica cero).
Existencia y unicidad
Las subálgebras de Cartan existen para álgebras de Lie de dimensión finita siempre que el campo base sea infinito. Una forma de construir una subálgebra de Cartan es mediante un elemento regular . En un campo finito, la cuestión de la existencia sigue abierta. [ cita necesaria ]
Para un álgebra de Lie semisimple de dimensión finita sobre un campo algebraicamente cerrado de característica cero, existe un enfoque más simple: por definición, una subálgebra toral es una subálgebra de que consta de elementos semisimples (un elemento es semisimple si el endomorfismo adjunto inducido por él es diagonalizable ). Una subálgebra de Cartan es entonces lo mismo que una subálgebra toral máxima y la existencia de una subálgebra toral máxima es fácil de ver.
En un álgebra de Lie de dimensión finita sobre un campo algebraicamente cerrado de característica cero, todas las subálgebras de Cartan son conjugadas bajo automorfismos del álgebra y, en particular, todas son isomorfas . La dimensión común de una subálgebra de Cartan se llama rango del álgebra.
Para un álgebra de Lie semisimple compleja de dimensión finita, la existencia de una subálgebra de Cartan es mucho más sencilla de establecer, suponiendo la existencia de una forma real compacta. [2] En ese caso, puede tomarse como la complejización del álgebra de Lie de un toro máximo del grupo compacto.
Si es un álgebra de Lie lineal (una subálgebra de Lie del álgebra de Lie de endomorfismos de un espacio vectorial de dimensión finita V ) sobre un campo algebraicamente cerrado, entonces cualquier subálgebra de Cartan de es el centralizador de una subálgebra toral máxima de . [ cita necesaria ] Si es semisimple y el campo tiene característica cero, entonces una subálgebra toral máxima se autonormaliza y, por lo tanto, es igual a la subálgebra de Cartan asociada. Si además es semisimple, entonces la representación adjunta se presenta como un álgebra de Lie lineal, de modo que una subálgebra de es Cartan si y sólo si es una subálgebra toral máxima.
Ejemplos
- Cualquier álgebra de Lie nilpotente es su propia subálgebra de Cartan.
- Una subálgebra de Cartan de , el álgebra de Lie de matrices sobre un campo, es el álgebra de todas las matrices diagonales. [ cita necesaria ]
- Para el álgebra de Lie especial de matrices sin rastro , tiene la subálgebra de Cartan donde , por ejemplo, en la subálgebra de Cartan está la subálgebra de matrices con corchete de Lie dada por el conmutador matricial.
- El álgebra de Lie de matrices de traza tiene dos subálgebras de Cartan no conjugadas. [ cita necesaria ]
- La dimensión de una subálgebra de Cartan no es en general la dimensión máxima de una subálgebra abeliana, incluso para álgebras de Lie simples y complejas. Por ejemplo, el álgebra de Lie de matrices de traza tiene una subálgebra de Cartan de rango pero tiene una subálgebra abeliana máxima de dimensión que consta de todas las matrices de la forma con cualquiera de matriz. Se puede ver directamente que esta subálgebra abeliana no es una subálgebra de Cartan, ya que está contenida en el álgebra nilpotente de matrices triangulares estrictamente superiores (o, ya que está normalizada por matrices diagonales).
Subálgebras de Cartan de álgebras de Lie semisimples
Para álgebra de Lie semisimple de dimensión finita sobre un campo algebraicamente cerrado de característica 0, una subálgebra de Cartan tiene las siguientes propiedades:
- es abeliano ,
- Para la representación adjunta , la imagen consta de operadores semisimples (es decir, matrices diagonalizables).
(Como se señaló anteriormente, una subálgebra de Cartan puede de hecho caracterizarse como una subálgebra que es máxima entre aquellas que tienen las dos propiedades anteriores).
Estas dos propiedades dicen que los operadores en son simultáneamente diagonalizables y que hay una descomposición suma directa de as
dónde
- .
Dejar . Entonces es un sistema raíz y, además, ; es decir, el centralizador de coincide con . La descomposición anterior se puede escribir entonces como:
Resulta que para cada uno tiene dimensión uno y así:
- .
Consulte también Álgebra de mentira semisimple#Estructura para obtener más información.
Descomponer representaciones con subálgebra dual de Cartan
Dada un álgebra de Lie sobre un campo de característica , [ se necesita aclaración ] y una representación del álgebra de Lie, hay una descomposición relacionada con la descomposición del álgebra de Lie de su subálgebra de Cartan. Si establecemos
con , llamado espacio de peso para peso , hay una descomposición de la representación en términos de estos espacios de peso. Además, siempre que llamamos un peso de la representación .
Clasificación de representaciones irreducibles mediante pesos.
Pero resulta que estos pesos se pueden utilizar para clasificar las representaciones irreducibles del álgebra de Lie . Para una representación irreducible de dimensión finita , existe un peso único con respecto a un orden parcial en . Además, dado que para cada raíz positiva , existe una representación irreducible única . Esto significa que el sistema raíz contiene toda la información sobre la teoría de representación de . [1] página 240
División de la subálgebra de Cartan
En campos no algebraicamente cerrados, no todas las subálgebras de Cartan son conjugadas. Una clase importante son las subálgebras de Cartan divididas : si un álgebra de Lie admite una subálgebra de Cartan dividida, entonces se llama divisible, y el par se llama álgebra de Lie dividida ; sobre un campo algebraicamente cerrado, cada álgebra de Lie semisimple es divisible. Dos álgebras de Cartan de división cualesquiera son conjugadas y cumplen una función similar a las álgebras de Cartan en álgebras de Lie semisimples sobre campos algebraicamente cerrados, por lo que las álgebras de Lie semisimples divididas (de hecho, las álgebras de Lie reductivas divididas) comparten muchas propiedades con las álgebras de Lie semisimples sobre campos algebraicamente cerrados. .
Sin embargo, en un campo no algebraicamente cerrado, no todas las álgebras de Lie semisimples son divisibles.
Subgrupo Cartan
Un subgrupo de Cartan de un grupo de Lie es uno de los subgrupos cuyo álgebra de Lie es una subálgebra de Cartan. El componente de identidad de un subgrupo tiene la misma álgebra de Lie. No existe una convención estándar sobre cuál de los subgrupos con esta propiedad se denomina subgrupo de Cartan, especialmente en el caso de grupos desconectados. Un subgrupo de Cartan de un grupo de Lie compacto y conectado es un subgrupo abeliano máximo conectado (un toro máximo ). Su álgebra de Lie es una subálgebra de Cartan.
Para grupos de Lie compactos desconectados existen varias definiciones no equivalentes de un subgrupo de Cartan. El más común parece ser el dado por David Vogan , quien define un subgrupo de Cartan como el grupo de elementos que normalizan un toro máximo fijo y fijan la cámara de Weyl fundamental . A esto a veces se le llama el gran subgrupo de Cartan . También hay un pequeño subgrupo de Cartan , definido como el centralizador de un toro máximo. Estos subgrupos de Cartan no necesitan ser abelianos en general.
Ejemplos de subgrupos de Cartan
- El subgrupo en GL 2 ( R ) que consta de matrices diagonales.
Referencias
- ^ ab Hotta, R. (Ryoshi) (2008). Módulos D, gavillas perversas y teoría de la representación. Takeuchi, Kiyoshi, 1967-, Tanisaki, Toshiyuki, 1955- (edición en inglés). Boston: Birkhäuser. ISBN 978-0-8176-4363-8. OCLC 316693861.
- ^ Salón 2015 Capítulo 7
Notas
- Álgebras de mentira y sus representaciones
- Álgebras de Lie de dimensión infinita
Referencias
- Borel, Armand (1991), Grupos algebraicos lineales , Textos de Graduado en Matemáticas , vol. 126 (2ª ed.), Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-97370-8, SEÑOR 1102012
- Hall, Brian C. (2015), Grupos de mentiras, álgebras de mentiras y representaciones: una introducción elemental , Textos de posgrado en matemáticas, vol. 222 (2ª ed.), Springer, ISBN 978-3319134666
- Jacobson, Nathan (1979), Álgebras de mentira , Nueva York: Dover Publications , ISBN 978-0-486-63832-4, señor 0559927
- Humphreys, James E. (1972), Introducción a las álgebras de mentiras y la teoría de la representación , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90053-7
- Popov, VL (2001) [1994], "Cartan subalgebra", Enciclopedia de Matemáticas , EMS Press
- Antonio William Knapp; David A. Vogán (1995). Inducción cohomológica y representaciones unitarias . ISBN 978-0-691-03756-1.