En matemáticas, un grupo de Lie simple es un grupo de Lie no abeliano conexo G que no tiene subgrupos normales conexos no triviales . La lista de grupos de Lie simples se puede utilizar para leer la lista de álgebras de Lie simples y espacios simétricos de Riemann .
Junto con el grupo de Lie conmutativo de los números reales, , y el de los números complejos de magnitud unitaria, U(1) (el círculo unitario), los grupos de Lie simples dan los "bloques" atómicos que forman todos los grupos de Lie conexos (de dimensión finita) mediante la operación de extensión de grupo . Muchos grupos de Lie que se encuentran comúnmente son simples o están "cerca" de ser simples: por ejemplo, el llamado " grupo lineal especial " SL( n , ) de matrices n por n con determinante igual a 1 es simple para todo n impar > 1, cuando es isomorfo al grupo lineal especial proyectivo .
La primera clasificación de grupos de Lie simples fue realizada por Wilhelm Killing y luego fue perfeccionada por Élie Cartan . La clasificación final se conoce como clasificación de Killing-Cartan.
Lamentablemente, no existe una definición universalmente aceptada de un grupo de Lie simple. En particular, no siempre se define como un grupo de Lie simple como un grupo abstracto. Los autores difieren en si un grupo de Lie simple tiene que ser conexo, si se permite que tenga un centro no trivial o si es un grupo de Lie simple.
La definición más común es que un grupo de Lie es simple si es conexo, no abeliano y cada subgrupo normal conexo cerrado es la identidad o el grupo completo. En particular, se permite que los grupos simples tengan un centro no trivial, pero no son simples.
En este artículo se enumeran los grupos de Lie simples conexos con centro trivial. Una vez conocidos estos, los que tienen centro no trivial son fáciles de enumerar de la siguiente manera. Cualquier grupo de Lie simple con centro trivial tiene un recubrimiento universal , cuyo centro es el grupo fundamental del grupo de Lie simple. Los grupos de Lie simples correspondientes con centro no trivial se pueden obtener como cocientes de este recubrimiento universal por un subgrupo del centro.
Una definición equivalente de un grupo de Lie simple se desprende de la correspondencia de Lie : Un grupo de Lie conexo es simple si su álgebra de Lie es simple . Un punto técnico importante es que un grupo de Lie simple puede contener subgrupos normales discretos . Por esta razón, la definición de un grupo de Lie simple no es equivalente a la definición de un grupo de Lie que es simple como un grupo abstracto .
Los grupos de Lie simples incluyen muchos grupos de Lie clásicos , que proporcionan una base teórica de grupos para la geometría esférica , la geometría proyectiva y geometrías relacionadas en el sentido del programa de Erlangen de Felix Klein . En el curso de la clasificación de los grupos de Lie simples surgió que también existen varias posibilidades excepcionales que no corresponden a ninguna geometría familiar. Estos grupos excepcionales dan cuenta de muchos ejemplos y configuraciones especiales en otras ramas de las matemáticas, así como en la física teórica contemporánea .
Como contraejemplo, el grupo lineal general no es ni simple ni semisimple . Esto se debe a que los múltiplos de la identidad forman un subgrupo normal no trivial, evadiendo así la definición. De manera equivalente, el álgebra de Lie correspondiente tiene una forma de Killing degenerada , porque los múltiplos de la identidad se asignan al elemento cero del álgebra. Por lo tanto, el álgebra de Lie correspondiente tampoco es ni simple ni semisimple. Otro contraejemplo son los grupos ortogonales especiales en dimensión par. Estos tienen la matriz en el centro , y este elemento está conectado por trayectorias al elemento identidad, y por lo tanto estos grupos evaden la definición. Ambos son grupos reductivos .
El álgebra de Lie de un grupo de Lie simple es un álgebra de Lie simple. Se trata de una correspondencia biunívoca entre grupos de Lie simples conexos con centro trivial y álgebras de Lie simples de dimensión mayor que 1. (Los autores difieren en cuanto a si el álgebra de Lie unidimensional debe considerarse simple).
Sobre los números complejos las álgebras de Lie semisimples se clasifican por sus diagramas de Dynkin , de tipo "ABCDEFG". Si L es un álgebra de Lie simple real, su complejización es un álgebra de Lie compleja simple, a menos que L ya sea la complejización de un álgebra de Lie, en cuyo caso la complejización de L es un producto de dos copias de L. Esto reduce el problema de clasificar las álgebras de Lie simples reales al de encontrar todas las formas reales de cada álgebra de Lie simple compleja (es decir, álgebras de Lie reales cuya complejización es el álgebra de Lie compleja dada). Siempre hay al menos 2 de tales formas: una forma partida y una forma compacta, y suele haber algunas otras. Las diferentes formas reales corresponden a las clases de automorfismos de orden como máximo 2 del álgebra de Lie compleja.
Los espacios simétricos se clasifican de la siguiente manera.
En primer lugar, la cobertura universal de un espacio simétrico sigue siendo simétrica, por lo que podemos reducirla al caso de espacios simétricos simplemente conexos. (Por ejemplo, la cobertura universal de un plano proyectivo real es una esfera).
En segundo lugar, el producto de espacios simétricos es simétrico, por lo que también podemos clasificar los irreducibles simplemente conexos (donde irreducibles significa que no pueden escribirse como un producto de espacios simétricos más pequeños).
Los espacios simétricos irreducibles simplemente conexos son la recta real, y exactamente dos espacios simétricos correspondientes a cada grupo de Lie simple no compacto G , uno compacto y otro no compacto. El no compacto es una cobertura del cociente de G por un subgrupo compacto maximalista H , y el compacto es una cobertura del cociente de la forma compacta de G por el mismo subgrupo H . Esta dualidad entre espacios simétricos compactos y no compactos es una generalización de la bien conocida dualidad entre geometría esférica e hiperbólica.
Un espacio simétrico con una estructura compleja compatible se denomina hermítico. Los espacios simétricos hermíticos irreducibles, compactos y simplemente conexos se dividen en 4 familias infinitas, con 2 familias excepcionales restantes, y cada una de ellas tiene un dual no compacto. Además, el plano complejo también es un espacio simétrico hermítico; esto da la lista completa de espacios simétricos hermíticos irreducibles.
Las cuatro familias son los tipos A III, B I y D I para p = 2 , D III y C I, y las dos excepcionales son los tipos E III y E VII de dimensiones complejas 16 y 27.
representan números reales, números complejos, cuaterniones y octoniones .
En los símbolos como E 6 −26 para los grupos excepcionales, el exponente −26 es la firma de una forma bilineal simétrica invariante que es definida negativamente en el subgrupo compacto maximalista. Es igual a la dimensión del grupo menos el doble de la dimensión de un subgrupo compacto maximalista.
El grupo fundamental que figura en la tabla siguiente es el grupo fundamental del grupo simple con centro trivial. Otros grupos simples con la misma álgebra de Lie corresponden a subgrupos de este grupo fundamental (módulo de la acción del grupo de automorfismos externos).
Los grupos de Lie simples están completamente clasificados. La clasificación suele indicarse en varios pasos, a saber:
Se puede demostrar que el grupo fundamental de cualquier grupo de Lie es un grupo conmutativo discreto . Dado un subgrupo (no trivial) del grupo fundamental de algún grupo de Lie , se puede utilizar la teoría de espacios de recubrimiento para construir un nuevo grupo con en su centro. Ahora bien, cualquier grupo de Lie (real o complejo) se puede obtener aplicando esta construcción a grupos de Lie sin centro. Nótese que los grupos de Lie reales obtenidos de esta manera podrían no ser formas reales de ningún grupo complejo. Un ejemplo muy importante de un grupo real de este tipo es el grupo metapléctico , que aparece en la teoría de la representación de dimensión infinita y en la física. Cuando se toma como grupo fundamental completo, el grupo de Lie resultante es la cobertura universal del grupo de Lie sin centro , y es simplemente conexo. En particular, cada álgebra de Lie (real o compleja) también corresponde a un único grupo de Lie conexo y simplemente conexo con esa álgebra de Lie, llamada el "grupo de Lie simplemente conexo" asociado a
Cada álgebra de Lie compleja simple tiene una forma real única cuyo grupo de Lie sin centro correspondiente es compacto . Resulta que el grupo de Lie simplemente conexo en estos casos también es compacto. Los grupos de Lie compactos tienen una teoría de representación particularmente manejable debido al teorema de Peter-Weyl . Al igual que las álgebras de Lie complejas simples, los grupos de Lie compactos sin centro se clasifican mediante diagramas de Dynkin (clasificados por primera vez por Wilhelm Killing y Élie Cartan ).
Para las series infinitas (A, B, C, D) de diagramas de Dynkin, un grupo de Lie compacto conexo asociado a cada diagrama de Dynkin puede describirse explícitamente como un grupo matricial, y el correspondiente grupo de Lie compacto sin centro se describe como el cociente de un subgrupo de matrices escalares. Para los de tipo A y C podemos encontrar representaciones matriciales explícitas del correspondiente grupo de Lie simplemente conexo como grupos matriciales.
Un r tiene como grupo compacto simplemente conexo asociado el grupo unitario especial SU ( r + 1) y como grupo compacto sin centro asociado el grupo unitario proyectivo PU( r + 1) .
B r tiene como grupos compactos sin centro asociados los grupos ortogonales especiales impares SO ( 2 r + 1) . Sin embargo, este grupo no está simplemente conexo: su cobertura universal (doble) es el grupo de espín .
C r tiene como grupo simplemente conexo asociado el grupo de matrices simplécticas unitarias Sp ( r ) y como grupo sin centro asociado el grupo de Lie PSp( r ) = Sp( r )/{I, −I} de matrices simplécticas unitarias proyectivas. Los grupos simplécticos tienen una doble cobertura por el grupo metapléctico .
D r tiene como grupo compacto asociado los grupos ortogonales especiales pares SO(2 r ) y como grupo compacto asociado sin centro el grupo ortogonal especial proyectivo PSO(2 r ) = SO(2 r )/{I, −I}. Al igual que con la serie B, SO(2 r ) no está simplemente conexo; su recubrimiento universal es nuevamente el grupo de espín , pero este último nuevamente tiene un centro (cf. su artículo).
El diagrama D 2 son dos nodos aislados, lo mismo que A 1 ∪ A 1 , y esta coincidencia corresponde al homomorfismo de la función de recubrimiento de SU(2) × SU(2) a SO(4) dado por la multiplicación de cuaterniones ; ver cuaterniones y rotación espacial . Por lo tanto, SO(4) no es un grupo simple. Además, el diagrama D 3 es el mismo que A 3 , lo que corresponde a un homomorfismo de la función de recubrimiento de SU(4) a SO(6).
Además de las cuatro familias A i , B i , C i y D i anteriores, existen cinco diagramas de Dynkin excepcionales denominados G 2 , F 4 , E 6 , E 7 y E 8 ; estos diagramas de Dynkin excepcionales también tienen asociados grupos compactos simplemente conexos y sin centro. Sin embargo, los grupos asociados a las familias excepcionales son más difíciles de describir que los asociados a las familias infinitas, en gran medida porque sus descripciones hacen uso de objetos excepcionales . Por ejemplo, el grupo asociado a G 2 es el grupo de automorfismos de los octoniones , y el grupo asociado a F 4 es el grupo de automorfismos de cierta álgebra de Albert .
Véase también E 7 + 1 ⁄ 2 .
La siguiente tabla enumera algunos grupos de Lie con álgebras de Lie simples de pequeña dimensión. Todos los grupos de una línea dada tienen la misma álgebra de Lie. En el caso de dimensión 1, los grupos son abelianos y no simples.
Un grupo de enlaces simples es un grupo de Lie cuyo diagrama de Dynkin solo contiene enlaces simples y, por lo tanto, todas las raíces no nulas del álgebra de Lie correspondiente tienen la misma longitud. Los grupos de las series A, D y E están todos enlazados de manera simple, pero ningún grupo de los tipos B, C, F o G está enlazado de manera simple.
