Grupo de mentiras simples

Grupo de Lie no abeliano conectado que carece de subgrupos normales conectados no triviales

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 . R {\displaystyle \mathbb {R} } R {\displaystyle \mathbb {R} }

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.

Definición

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. R {\displaystyle \mathbb {R} }

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. R {\displaystyle \mathbb {R} }

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.

Alternativas

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 degenerada de Killing , 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 . I {\displaystyle -I}

Grupos de Lie semisimples

Un grupo de Lie semisimple es un grupo de Lie conexo de modo que su único subgrupo normal abeliano conexo cerrado es el subgrupo trivial. Todo grupo de Lie simple es semisimple. De manera más general, cualquier producto de grupos de Lie simples es semisimple, y cualquier cociente de un grupo de Lie semisimple por un subgrupo cerrado es semisimple. Todo grupo de Lie semisimple se puede formar tomando un producto de grupos de Lie simples y cociente por un subgrupo de su centro. En otras palabras, todo grupo de Lie semisimple es un producto central de grupos de Lie simples. Los grupos de Lie semisimples son exactamente los grupos de Lie cuyas álgebras de Lie son álgebras de Lie semisimples .

Álgebras de Lie simples

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.

Espacios simétricos

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.

Espacios simétricos hermíticos

Un espacio simétrico con una estructura compleja compatible se llama 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.

Notación

R , C , H , O {\displaystyle \mathbb {R,C,H,O} }   representan números reales, números complejos, cuaterniones y octoniones .

En 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).

Clasificación completa

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 K π 1 ( G ) {\displaystyle K\subset \pi _{1}(G)} G {\displaystyle G} G ~ K {\displaystyle {\tilde {G}}^{K}} K {\displaystyle K} K π 1 ( G ) {\displaystyle K\subset \pi _{1}(G)} G ~ K = π 1 ( G ) {\displaystyle {\tilde {G}}^{K=\pi _{1}(G)}} G {\displaystyle G} G ~ {\displaystyle {\tilde {G}}} g . {\displaystyle {\mathfrak {g}}.}

Grupos de Lie compactos

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 ).

Diagramas de Dynkin

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.

Visión general de la clasificación

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 + 12 .

Lista

Abeliano

DimensiónGrupo de automorfismos externosDimensión del espacio simétricoEspacio simétricoObservaciones
R {\displaystyle \mathbb {R} } (Abeliano)1 R {\displaystyle \mathbb {R} ^{*}} 1 R {\displaystyle \mathbb {R} }

Notas

^† El grupono es "simple" como grupo abstracto y, según la mayoría de las definiciones (pero no todas), no es un grupo de Lie simple. Además, la mayoría de los autores no consideran su álgebra de Lie como un álgebra de Lie simple. Se incluye aquí para que la lista de "espacios simétricos simplemente conexos irreducibles" esté completa. Nótese quees el único espacio simétrico no compacto sin un dual compacto (aunque tiene un cociente compacto S 1 ). R {\displaystyle \mathbb {R} } R {\displaystyle \mathbb {R} }

Compacto

DimensiónRango real
Grupo fundamental

Grupo de automorfismos externos
Otros nombresObservaciones
A n ( n ≥ 1 ) compacton ( n +2)0Cíclico, orden n +11 si n = 1 , 2 si n > 1 .grupo unitario especial proyectivo
PSU( n + 1)
A 1 es lo mismo que B 1 y C 1
B n ( n ≥ 2 ) compacton (2n + 1)021grupo ortogonal especial
SO 2 n +1 ( R )
B 1 es lo mismo que A 1 y C 1 .
B 2 es lo mismo que C 2 .
C n ( n ≥ 3 ) compacton (2n + 1)021grupo simpléctico compacto proyectivo
PSp( n ), PSp(2 n ), PUSp( n ), PUSp(2 n )
Hermítico. Estructuras complejas de H n . Copias del espacio proyectivo complejo en el espacio proyectivo cuaterniónico.
D n ( n ≥ 4 ) compacton (2n - 1)0Orden 4 (cíclico cuando n es impar).2 si n > 4 , S 3 si n = 4grupo ortogonal especial proyectivo
PSO 2 n ( R )
D 3 es lo mismo que A 3 , D 2 es lo mismo que A 1 2 y D 1 es abeliano.
E 6 −78 compacto78032
E 7 −133 compacto133021
E 8 −248 compacto248011
F 4 −52 compacto52011
G 2 −14 compacto14011Este es el grupo de automorfismos del álgebra de Cayley.

Dividir

DimensiónRango real
Subgrupo compacto máximo

Grupo fundamental

Grupo de automorfismos externos
Otros nombresDimensión del
espacio simétrico

Espacio simétrico compacto

Espacio simétrico no compacto
Observaciones
Una división de I ( n ≥ 1)n ( n +2)norteD n /2 o B ( n −1)/2Cíclico infinito si n = 1
2 si n ≥ 2
1 si n = 1
2 si n ≥ 2.
grupo lineal especial proyectivo
PSL n +1 (R)
n ( n +3)/2Estructuras reales en C n +1 o conjunto de RP n en CP n . Hermítica si n = 1 , en cuyo caso es la 2-esfera.Estructuras euclidianas en R n +1 . Hermítica si n = 1 , cuando es el semiplano superior o disco complejo unitario.
B n I ( n ≥ 2) divisiónn (2n + 1)norteSO( n )SO( n +1)No cíclico, orden 41componente identidad del grupo ortogonal especial
SO( n , n +1)
n ( n +1)B 1 es lo mismo que A 1 .
C n I ( n ≥ 3) divisiónn (2n + 1)norteUn n −1 S 1Cíclico infinito1grupo simpléctico proyectivo
PSp 2 n ( R ), PSp(2 n , R ), PSp(2 n ), PSp( n , R ), PSp( n )
n ( n +1)Hermítico. Estructuras complejas de H n . Copias del espacio proyectivo complejo en el espacio proyectivo cuaterniónico.Hermítico. Estructuras complejas en R 2 n compatibles con una forma simpléctica. Conjunto de espacios hiperbólicos complejos en el espacio hiperbólico cuaterniónico. Espacio de la mitad superior de Siegel.C 2 es lo mismo que B 2 , y C 1 es lo mismo que B 1 y A 1 .
D n I ( n ≥ 4) divisiónn (2n - 1)norteSO( n )SO( n )Orden 4 si n es impar, 8 si n es par2 si n > 4 , S 3 si n = 4componente identidad del grupo ortogonal especial proyectivo
PSO( n , n )
número 2D 3 es lo mismo que A 3 , D 2 es lo mismo que A 1 2 y D 1 es abeliano.
E 6 6 me dividí786C 4Orden 2Orden 2EI42
E 7 7 V dividido1337Un 7Cíclico, orden 4Orden 270
E 8 8 VIII división2488D821El VIII128@ E8
F 4 4 I dividido524C 3 × A 1Orden 21ES28Planos proyectivos cuaterniónicos en el plano proyectivo de Cayley.Planos proyectivos cuaterniónicos hiperbólicos en el plano proyectivo hiperbólico de Cayley.
G 2 2 me dividí142Un 1 × Un 1Orden 21soldado americano8Subálgebras cuaterniónicas del álgebra de Cayley. Quaternion-Kähler.Subálgebras cuaterniónicas no divisionales del álgebra de Cayley no divisional. Quaternion-Kähler.

Complejo

Dimensión realRango real
Subgrupo compacto máximo

Grupo fundamental

Grupo de automorfismos externos
Otros nombresDimensión del
espacio simétrico

Espacio simétrico compacto

Espacio simétrico no compacto
Un complejo n ( n ≥ 1)2n ( n +2 )norteUnCíclico, orden n +12 si n = 1 , 4 (no cíclico) si n ≥ 2 .grupo lineal especial complejo proyectivo
PSL n +1 ( C )
n ( n +2)Grupo compacto A nFormas hermíticas en C n +1

con volumen fijo.

Complejo B n ( n ≥ 2)2n ( 2n +1 )norteBn2Orden 2 (conjugación compleja)grupo ortogonal especial complejo
SO 2 n +1 ( C )
n (2n + 1)Grupo compacto B n
Complejo C n ( n ≥ 3)2n ( 2n +1 )norteC n2Orden 2 (conjugación compleja)grupo simpléctico complejo proyectivo
PSp 2 n ( C )
n (2n + 1)Grupo compacto C n
D n ( n ≥ 4) complejo2n ( 2n - 1 )norteDnOrden 4 (cíclico cuando n es impar)No cíclico de orden 4 para n > 4 , o el producto de un grupo de orden 2 y el grupo simétrico S 3 cuando n = 4 .grupo ortogonal especial complejo proyectivo
PSO 2 n ( C )
n (2n - 1)Grupo compacto D n
Complejo E61566E63Orden 4 (no cíclica)78Grupo compacto E 6
Complejo E72667E72Orden 2 (conjugación compleja)133Grupo compacto E 7
Complejo E84968E81Orden 2 (conjugación compleja)248Grupo compacto E 8
Complejo F 41044F41252Grupo compacto F 4
Complejo G2282G21Orden 2 (conjugación compleja)14Grupo compacto G 2

Otros

DimensiónRango real
Subgrupo compacto máximo

Grupo fundamental

Grupo de automorfismos externos
Otros nombresDimensión del
espacio simétrico

Espacio simétrico compacto

Espacio simétrico no compacto
Observaciones
A 2 n −1 II
( n ≥ 2)
(2n - 1)(2n + 1)n - 1C nOrden 2SL n ( H ), SU (2 n )( n - 1)(2n + 1)Estructuras cuaterniónicas en C 2 n compatibles con la estructura hermíticaCopias del espacio hiperbólico cuaterniónico (de dimensión n − 1 ) en el espacio hiperbólico complejo (de dimensión 2 n − 1 ).
A n III
( n ≥ 1)
p + q = n + 1
(1 ≤ pq )
n ( n +2)pagUna p −1 Una q −1 S 1SU( p , q ), A III2 piezasHermítico .
Grassmaniano de subespacios p de C p + q .
Si p o q es 2; cuaternión-Kähler.
Hermítico.
Grassmaniano de subespacios definidos positivos máximos
de C p , q .
Si p o q es 2, cuaternión-Kähler
Si p = q =1, dividir
Si | pq | ≤ 1, cuasi-dividir
B n I
( n > 1)
p + q = 2 n + 1
n (2n + 1)mín( p , q )SO( p )SO( q )Entonces( p , q )pqGrassmaniano de R p s en R p + q .
Si p o q es 1, espacio proyectivo
Si p o q es 2; hermítico
Si p o q es 4, cuaternión-Kähler
Grassmaniano de R p s positivo definido en R p , q .
Si p o q es 1, espacio hiperbólico.
Si p o q es 2, hermítico.
Si p o q es 4, cuaternión-Kähler.
Si | pq | ≤ 1, dividir.
C norte II
( norte > 2)
norte = p + q
(1 ≤ pq )
n (2n + 1)mín( p , q )CpCqOrden 21 si pq , 2 si p = q .Sp2p , 2q ( R )4 piezasGrassmanniano de H p s en H p + q .
Si p o q es 1, espacio proyectivo cuaterniónico
en cuyo caso es cuaternión-Kähler.
H p s en H p , q .
Si p o q es 1, espacio hiperbólico cuaterniónico
en cuyo caso es cuaternión-Kähler.
D n I
( n ≥ 4)
p + q = 2 n
n (2n - 1)mín( p , q )SO( p )SO( q )Si p y q ≥ 3, orden 8.Entonces( p , q )pqGrassmaniano de R p s en R p + q .
Si p o q es 1, espacio proyectivo
Si p o q es 2 ; Hermitiano
Si p o q es 4, cuaternión-Kähler
Grassmaniano de R p s positivo definido en R p , q .
Si p o q es 1, espacio hiperbólico.
Si p o q es 2, hermítico.
Si p o q es 4, cuaternión-Kähler.
Si p = q , dividir
Si | pq | ≤ 2, cuasi-división
D n III
( n ≥ 4)
n (2n - 1)n /2⌋Un n -1 R 1Cíclico infinitoOrden 2ASI QUE * (2n)n ( n - 1)Hermítico.
Estructuras complejas en R 2 n compatibles con la estructura euclidiana.
Hermítico.
Formas cuadráticas cuaterniónicas en R 2 n .
E 6 2 II
(cuasi-división)
784Un 5 Un 1Cíclico, orden 6Orden 2El II40Cuaternión-Kähler.Cuaternión-Kähler.Cuasi-escisión pero no división.
E 6 −14 III782D 5 S 1Cíclico infinitoTrivialEl III32Hermítico.
Plano proyectivo elíptico de Rosenfeld sobre los números de Cayley complejizados.
Hermítico.
Plano proyectivo hiperbólico de Rosenfeld sobre los números de Cayley complejizados.
E6−26 IV782F4TrivialOrden 2E IV26Conjunto de planos proyectivos de Cayley en el plano proyectivo sobre los números de Cayley complejizados.Conjunto de planos hiperbólicos de Cayley en el plano hiperbólico sobre los números de Cayley complejizados.
E 7 −5 VI1334D6A1No cíclico, orden 4TrivialE VI64Cuaternión-Kähler.Cuaternión-Kähler.
E 7 −25 VII1333E6S1Cíclico infinitoOrden 2El VII54Hermitiano.Hermitiano.
E8−24 IX2484E7 × A1Orden 21El IX112Cuaternión-Kähler.Cuaternión-Kähler.
F 4 −20 II521B 4 (Giro 9 ( R ))Orden 21F II16Plano proyectivo de Cayley. Cuaternión-Kähler.Plano proyectivo hiperbólico de Cayley. Quaternion-Kähler.

Grupos de Lie simples de pequeña dimensión

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.

OscuroGruposEspacio simétricoCompacto dualRangoOscuro
1ℝ, S 1 = U(1) = SO 2 (ℝ) = Espín(2)AbelianoLínea real01
3S 3 = Sp(1) = SU(2) = Espín(3), SO 3 (ℝ) = PSU(2)Compacto
3SL2 (ℝ) = Sp2 ( ), SO2,1 ( ℝ)Dividida, hermítica, hiperbólicaPlano hiperbólico H 2 {\displaystyle \mathbb {H} ^{2}} Esfera S 212
6SL2 (ℂ) = Sp2 ( ℂ), SO3,1 ( ℝ), SO3 ()ComplejoEspacio hiperbólico H 3 {\displaystyle \mathbb {H} ^{3}} Esfera S 313
8SL 3 (ℝ)DividirEstructuras euclidianas en R 3 {\displaystyle \mathbb {R} ^{3}} Estructuras reales en C 3 {\displaystyle \mathbb {C} ^{3}} 25
8SU(3)Compacto
8SU(1,2)Hermítico, cuasi-dividido, cuaterniónicoPlano hiperbólico complejoPlano proyectivo complejo14
10Sp(2) = Espín(5), SO 5 (ℝ)Compacto
10SO 4,1 (ℝ), Sp 2,2 (ℝ)Hiperbólico, cuaterniónicoEspacio hiperbólico H 4 {\displaystyle \mathbb {H} ^{4}} Esfera S 414
10SO 3,2 (ℝ), Sp 4 (ℝ)Dividir, hermitianoEspacio de la mitad superior de SiegelEstructuras complejas en H 2 {\displaystyle \mathbb {H} ^{2}} 26
14G2Compacto
14G2Dividido, cuaterniónicoSubálgebras cuaterniónicas no divisionales de octoniones no divisionalesSubálgebras cuaterniónicas de octoniones28
15SU(4) = Espín(6), SO 6 (ℝ)Compacto
15SL 4 (ℝ), SO 3,3 (ℝ)Dividir3 en ℝ 3,3G de Grassman (3,3)39
15SU(3,1)HermitianoEspacio hiperbólico complejoEspacio proyectivo complejo16
15SU(2,2), SO4,2 ( ℝ)Hermítico, cuasi-dividido, cuaterniónico2 en ℝ 2,4G de Grassman (2,4)28
15SL 2 (ℍ), SO 5,1 (ℝ)HiperbólicoEspacio hiperbólico H 5 {\displaystyle \mathbb {H} ^{5}} Esfera S 515
16SL 3 (ℂ)ComplejoSU(3)28
20SO 5 (ℂ), Sp 4 (ℂ)ComplejoGirar 5 (ℝ)210
21SO 7 (ℝ)Compacto
21SO 6,1 (ℝ)HiperbólicoEspacio hiperbólico H 6 {\displaystyle \mathbb {H} ^{6}} Esfera S 6
21SO 5,2 (ℝ)Hermitiano
21SO 4,3 (ℝ)Dividido, cuaterniónico
21Sp(3)Compacto
21Sp 6 (ℝ)Dividido, hermitiano
21Sp 4,2 (ℝ)Cuaterniónico
24SU(5)Compacto
24SL 5 (ℝ)Dividir
24SU 4,1Hermitiano
24Su 3,2Hermitiano, cuaterniónico
28SO 8 (ℝ)Compacto
28SO 7,1 (ℝ)HiperbólicoEspacio hiperbólico H 7 {\displaystyle \mathbb {H} ^{7}} Esfera S 7
28SO 6,2 (ℝ)Hermitiano
28SO 5,3 (ℝ)Cuasi-división
28SO 4,4 (ℝ)Dividido, cuaterniónico
28SO 8 (ℝ)Hermitiano
28sol 2 (ℂ)Complejo
30SL 4 (ℂ)Complejo

Grupos simplemente enlazados

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.

Véase también

Referencias

Lectura adicional

  • Besse, variedades de Einstein ISBN 0-387-15279-2 
  • Helgason, Geometría diferencial, grupos de Lie y espacios simétricos . ISBN 0-8218-2848-7 
  • Fuchs y Schweigert, Simetrías, álgebras de Lie y representaciones: un curso de posgrado para físicos. Cambridge University Press, 2003. ISBN 0-521-54119-0 
Retrieved from "https://en.wikipedia.org/w/index.php?title=Simple_Lie_group&oldid=1252619276"