Capı́tulo 6

Raı́ces de una álgebra de Lie

semisimple

En este capı́tulo nos concentraremos más en el estudio de la estructura de las

álgebras de Lie semisimples y encontraremos la relación entre los sistemas de
raı́ces estudiados en el capı́tulo 2 y las álgebras de Lie semisimples haciendo
uso del Teorema 2.9. Además, presentamos algunos resultados importantes
como el Teorema de Isomorfismo para álgebras de Lie y el Teorema de Serre.

Recordemos que en todo este capı́tulo, el campo F se supone algebraica-

mente cerrado y de caracterı́stica cero.

6.1 Descomposición de Cartan

En esta sección, estudiaremos una descomporsición de una álgebra d eLie
semisimple g en suma directa de subespacios proporcionada por los oper-
adores adjuntos de una determinada subálgebra de g. Para esto, necesitamos
determinar cuales subálgebras nos son de utilidad.

Subálgebras torales y subálgebras de Cartan

Si una álgebra de Lie está compuesta por elementos ad-nilpotentes, entonces
es nilpotente (Engel). Ahora, si v es un elemento de una álgebra de Lie
g con ad v diagonalizable (ad-semisimple), entonces la subálgebra que éste
elemento genera es una álgebra compuesta por elementos ad-semisimples.

101
102 Raı́ces de una álgebra de Lie semisimple

Sin embargo, tal subálgebra no es semisimple. Ésto muestra que existen

subálgebras con todos sus elementos ad-semisimples.

En el caso cuando g es semisimple, sabemos que g ∼ = ad g y ası́, a los

elementos ad-semisimples los llamaremos sólo semisimples.
Definición 6.1. Sea g una álgebra de Lie. Una subálgebra h con todos sus
elementos ad-semisimples se llama una subálgebra toral de g.
Ejemplo 6.1.1. Considere el álgebra sl(2, C). Por las relaciones (4.3) dadas
en el ejemplo 4.4.1 (p. 72) para los elemetos
µ ¶ µ ¶ µ ¶
1 0 0 1 0 0
h= , x= y y= ,
0 −1 0 0 1 0
podemos verificar que sl(2, C) es una álgebra de Lie simple cono sigue:

Si i 6= 0 es un ideal de sl(2, C), entonces contiene a algúno de los elemen-

tos básicos x, y, h. Suponga que h ∈ i, entonces [h, 12 x] = x y [h, − 12 y] = y
deben de ser elementos de i y vemos ası́ que i = sl(2, C). Los casos cuando
x ∈ i y y ∈ i son análogos. De esto se concluye que sl(2, C) es una álgebra
de Lie simple.

Por el Teorema 5.4, sl(2, C) es semisimple y se puede ver que Span{h}

sólo contiene elementos semisimples, es decir, Span{h} es una subálgebra
toral de sl(2, C).
Un primer resultado para álgebras torales es el siguiente.
Proposición 6.1. Toda subálgebra toral de una álgebra de Lie g es abeliana.
Demostración. Si h es una subálgebra toral de g, basta con probar que los
valores propios de ad v : h → h son ceros para todos los v ∈ h. Supongamos
que existe un valor propio a 6= 0 de ad v y sea w un vector propio asoci-
ado a dicho valor propio, entonces ad w(v) = −aw es un vector propio de
ad w : h → h asociado al valor propio cero. Por otra parte, como ad w es
diagonalizable, existe una base de g formada por vectores propios de ad w,
digamos {w1 , w2 , . . . , wn }, y ası́, podemos escribir a v como suma de vec-
trores propios de ad w. Despues de aplicar ad w a v, tenemos una suma no
cero de vectores propios correspondientes a valores propios distintos de cero,
lo que es absurdo.
6.1 Descomposición de Cartan 103

Ahora, fijemos una subálgebra toral maximal h. Por la Proposición 6.1,

ad h es una familia de endomorfismos semisimples de g que conmutan. Por
el Teorema
` 1.6, podemos escribir a g como una suma directa de subespacios
g = gα , donde
def
gα = {v ∈ g : ad h(v) = α(h)v para todo h ∈ h} ,

con α ∈ h∗ . Claramente, sólo un número finito α ∈ h∗ satisfacen la condición

gα 6= 0. Por la Proposición 6.1, C(h) contiene a h es claro que g0 = C(h).

Al conjunto de todos los funcionales α para los que gα 6= 0 lo denotaremos

por Φ y llamaremos a sus elementos raı́ces de g con respecto a h.
Definición 6.2. Sean g una álgebra de Lie semisimple y h una subálgebra
toral maximal de g. La descomposición
a
g = C(h) ∐ gα ,
α∈Φ

se le llama descomposición de Cartan de g.

Despues veremos que la descomposición de Cartan no depende de manera
fuerte de la subálgerba toral maximal que elijamos.

A continuación, presentamos algunas propiedades de la descomposición

de Cartan de una álgebra de Lie semisimple g.
Teorema 6.2. Si g es una álgebra de Lie semisimple
` y h una subálgebra toral
maximal de g de tal manera que g = C(h) ∐ α∈Φ gα es su descomposición
de Cartan, entonces
1. Para α, β ∈ h∗ , tenemos [gα , gβ ] ⊂ gα+β .

2. Si v ∈ gα y α 6= 0, entonces ad v es nilpotente.

3. Si α + β 6= 0, los espacios gα y gβ son ortogonales con respecto a la

forma de Killing.

4. La restricción de la forma de Killing a C(h) es no-degenerada.

Demostración. 1. Se sigue de la identidad de Jacobi y bilinealidad del
corchete de Lie.
104 Raı́ces de una álgebra de Lie semisimple

2. Se sigue de la parte 1.

3. Sea h ∈ h tal que (α + β)(h) 6= 0, enotnces para v ∈ gα , w ∈ gβ

tenemos

α(h)κ(v, w) = κ([h, w], w) = −κ(v, [h, w]) = −β(h)κ(v, w).

4. C(h) es ortogonal a todos los gα , con α 6= 0. Si v ∈ C(h) es ortogonal

a C(h), entonces es ortogonal a todo g y κ es no-degenerada.

Ahora, presentaremos mas propiedades de la descomposicón de Cartan

que la simplificaran un poco.
Proposición 6.3. Sean g una álgebra de Lie semisimple, h una subálgebra
toral maximal y Φ el conjunto de raı́ces de g con respecto a h. Si α ∈ Φ,
entonces −α ∈ Φ
Demostración. Si −α ∈ / Φ, entonces g−α = 0 y ası́, [gα , gβ ] = 0 para todo
β ∈ h∗ . Por tanto, κ(gα , g) = 0, lo que es absurdo, pues κ es no-degenerada
y gα 6= 0.
Ahora, veremos que h es autocentralizada.
Proposición 6.4. Sean g una álgebra de Lie semisimple y h una subálgebra
toral maximal de g, entonces h = C(h).
La prueba se hace por pasos. Para ver los detalles, consulte [4] (p. 36).
(1) C(h) contiene las partes semisimples y nilpotentes de todos sus elemen-
tos.

(2) Todas las partes semisimples de los elementos de C(h) está en h.

(3) La restricción de κ a h es no-degenerada.

(4) C(h) es nilpotente.

(5) La intersección de h con (C(h))′ es cero.

(6) C(h) es abeliana.

(7) h es autocentralizada.
6.1 Descomposición de Cartan 105

Para uso posterior, enunciaremos el siguiente resultado.

Corolario 6.5. La foram de Killing κ de g restringida a h es no-degenerada.

Éste corolario nos permite identificar a h con su dual h∗ mediante la

relación α(h) = κ(kα , h) como se presenta en la Proposición 1.7. Gracias
a la Proposición 6.4, la descomposición de Cartan de una álgebra de Lie
semisimple queda de la siguiente manera:
a
g=h∐ gα . (6.1)
α∈Φ

Definición 6.3. Sea g una álgebra de Lie. Una subálgebra de Cartan de

g es una subálgebra nilpotente h que es auto-normalizada, es decir, N (h) = h
(ver p. 58).

El concepto de subálgebra de Cartan es la manera en que los textos

clásicos (ver [11], [6]) abordan el estudio de las álgebras de Lie semisimples
y el concepto de subálgebra toral, es una manera alternativa (ver [4]). En el
caso cuando se trabaja con subálgebras de Cartan, se puede demostrar que
si g es una álgebra de Lie semisimple, entonces las subálgebras de Cartan
de g son precisamente las subálgebras torales maximales (ver [11], p. 36).
Aquı́, mostraremos mas adelante que las subálgebras torales maximales de
las álgebras de Lie semisimples son subálgebras de Cartan para ası́ tener la
equivalencia de estos dos conceptos.

Teorema 6.6. Sea g una álgerba de Lie semisimple y h una subálgerba toral
maximal de g, entonces h es una subálgebra de Cartan de g.

Demostración. Por la Proposición 6.1, h es abeliana y por tanto, nilpotente.

Para ver que es auto-normalizada, sea x ∈ g tal que [x, h] ∈ h para todo
h ∈ h. Por la descomposicón
P de Cartan en su forma reducida (6.1), podemos
escribir x = hx + α∈Φ xα donde hx ∈ h y xα ∈ gα para α ∈ Φ. Por el
Teorema 6.2 parte 1, [h, gα ] ⊂ gα y ası́, [x, h] ∈ h si y sólo si [xα , h] = 0 para
toda α ∈ Φ. Ası́ se concluye que x ∈ h.

La ventaja de trabajar ahora con subálgebras de Cartan es que podremos

probar que la descomposicón de Cartan no depende de la subálgebra de
Cartan que se elija, como se mostrará en la siguiente subsección.
106 Raı́ces de una álgebra de Lie semisimple

Conjugación de subálgebras de Cartan

Éste teorema nos permite justificar la definición del rango de una álgebra de
Lie y también nos dice que Φ no depende de h en la correspondencia (6.2).
Recordemos que el grupo de automorfismos interiores es denotado por Inn g.

Teorema 6.7. Cualesquiera dos subálgebras de Cartan de una álgebra de Lie

semisimple g son conjugadas bajo algún automorfismo A ∈ Inn g.

Para la demostración se siguen los siguientes pasos, donde g denotará una

álgebra de Lie arbitraria:

1. Para cada elemento v ∈ g, se define una descomposición

` relativa al
operador lineal ad v en subespacios invariantes g = ga (ad v), donde

def
ga (ad v) = {w ∈ g : [v, w] = aw}.

2. Las subálgebras g0 (ad v) se llaman subálgebras de Engel. Se demuestra

que las subálgebras de Engel son auto-normalizadas.

3. Se define subálgebra de Cartan para g de la misma forma que en el

caso semisimple (recuerde que g no necesariamente es semisimple).

4. Se demuestra que una subálgebra h de g es de Cartan si y sólo si es de

Engel y es minimal.

5. Decimos que v es fuertemente ad-nilpotente si existe un vector w ∈ g

tal que v ∈ ga (ad w), para algún a 6= 0. Denote por sn(g) el conjunto
de todos los elementos fuertemente ad-nilpotentes de g y por E (g) al
subgrupo de Inn g generado por expad v , con v ∈ sn.

6. Se demuestra que cuando g es semisimple, E (g) = Inn g.

7. Se demuestra que las subálgebras de Cartan de g son conjugadas bajo

E (g), en el caso cuando g es soluble.

8. Se demuestra que las subálgebras solubles maximales son conjugadas

bajo E (g).
6.1 Descomposición de Cartan 107

Ahora, si h es una subálgebra de Cartan de una álgebra de Lie semisimple g,

entonces h es nilpotente y por tanto, soluble. Luego, debe estar contenida en
alguna subálgebra soluble maximal, que por el paso 8, son conjugadas bajo
Inn g. Finalmente, por el paso 7, se tiene el resultado. Para ver los detalles,
consulte [4] en la página 78.

Ahora, se puede ver que el rango de una álgebra de Lie semisimple g, con
subálgebra de Cartan h, es igual al rango del sistema de raı́ces asociado a h
y de la relación (6.1) y la Proposición 6.9, se tiene la fórmula
dim g = rank Φ + |Φ|,
donde |Φ| denota la cardinalidad de Φ.

Recordemos el álgebra de las matrices diagonales d(n, F). Sabemos que

es una álgebra abeliana y que además, es auto-normalizada, es decir, es una
subálgebra de Cartan de gl(n, F). Luego, las subálgebras
d(n, F) ∩ sl(n, F) ⊂ sl(n, F),
d(n, F) ∩ o(n, F) ⊂ o(n, F)
y
d(n, F) ∩ sp(n, F) ⊂ sp(n, F)
son subálgebras de Cartan de sl(n, F), o(n, F) y sp(n, F), respectivamente,
y por el Teorema de Conjugación (6.7), sabemos que se pueden tomar estas
subálgebras de Cartan para el caso de álgebras lineales.

En el caso de las álgebras excepcionales se puede recurrir al Teorema

de Serre que presentaremos a continuación. Para un caso particular, puede
consultar [3] en la página 339 o bien [4] en la página 103, donde se construye
el álgebra G2 y se determina una subálgebra de Cartan para esta.
Nota. A lo largo de este texto, no se ha demostrado que las álgebras clásicas
Aℓ , Bℓ , Cℓ , Dℓ sean semisimples. Una idea para la demostración se en-
cuentra en [4] en la página 102. Además, se puede demostrar que los
primeros cuatro sistemas de raı́ces que se presentan en el Teorema 3.13
corresponden a las álgebras Aℓ , Bℓ , Cℓ , Dℓ , respectivamente (es por tal
motivo que se denotan con los mismos sı́mbolos).
Para encontrar ejemplos donde se traten las álgebras excepcionales F4 , E6 , E7 , E8
puede consultar [3], en la página 359.
108 Raı́ces de una álgebra de Lie semisimple

6.2 Propiedades de las raı́ces de una álgebra

de Lie semisimple
En esta sección nos ocuparemos de vincular las propiedades del conjunto Φ
de raı́ces de una álgebra de Lie semisimple g con respecto a una subálgebra
de Cartan h y la definición de sistema de raı́ces dada en el capı́tulo 2.

Relaciones con la forma de Killing

En esta subsección veremos algunas consecuencias que tiene a no-degeneración
de la foram de Killing en la propiedades de las raı́ces de una álgebra de Lie
semisimple.

En toda esta subsección, g denotará una álgebra de Lie semisimple, h una

subálgebra de Cartan de g, Φ el conjunto de raı́ces de g con respecto a h y κ
la forma de Killing de g.

Proposición 6.8. El conjunto Φ genera a todo el espacio h∗ .

Demostración. Si no fuese ası́, existiera un vector h 6= 0 en h tal que α(h) = 0

para toda α ∈ Φ, es decir, [h, gα ] = 0 para todo α ∈ Φ. Como h es abeliana,
[h, h] = 0. Por tanto, [h, g] = 0 y h ∈ Z(g) = 0, lo que es absurdo.

Veamos las relciones de conmutación para los espacios gα .

Proposición 6.9. Para α ∈ Φ, seleccione x ∈ gα y y ∈ g−α , entonces

[x, y] = κ(x, y)kα , donde α(h) = κ(kα , h) para toda h ∈ h. Además, {kα }
es base de [gα , g−α ].

Demostración. La segunda aseveración se sigue de la Proposición 6.3 y de la

primera. Si h ∈ h, entonces

κ(h, [x, y]) = κ([h, x], y) = α(h)κ(x, y) = κ(kα , h)κ(x, y)

= κ(h, kα )κ(x, y) = κ(h, κ(x, y)kα ),

por lo que [x, y] − κ(x, y)kα es ortogonal a h. La igualdad se sigue del

Corolario 6.5.
6.2 Propiedades de las raı́ces de una álgebra de Lie semisimple 109

Es claro que si α ∈ Φ, entonces α(kα ) 6= 0. En efecto, si α(kα ) = 0,

tendrı́amos que [kα , gα ] = [kα , g−α ] = 0. Seleccione xα ∈ gα y y α ∈ g−α
tales que κ(xα , y α ) = 1 para tener [xα , y α ] = kα . Luego, la subálgebra de
g generada por xα , y α , kα es soluble, en particular, su álgebra derivada es
nilpotente. Ası́, ad kα es semisimple y nilpotente a la vez, lo que implica que
ad kα = 0. Por tanto, kα ∈ Z(g) = 0, lo que es absurdo. Éste hecho tiene la
siguiente consecuencia.

Proposición 6.10. Si α ∈ Φ y x es un elemento no nulo de gα , entonces ex-

iste y ∈ g−α tal que la subálgebra generada por x, y y h = [x, y] es isomorfa
a sl(2, F). Además, hα = κ(kα2,kα ) kα y kα = −k−α .

Demostración. Por la Proposición 6.3, podemos encontrar y ∈ g−α tal que

κ(x, y) = κ(kα2,kα ) . Luego, definamos h = κ(kα2,kα ) kα para tener [x, y] = h.
Mediante un cálculo rutinario, se muestra que éstos tres vectores satisfacen
las relaciones
µ ¶ [h, x]µ= 2x y¶ [h, y] = µ −2y.
¶ Luego, si definimos la función
0 1 1 0 0 0
x 7→ , h 7→ , y 7→ y la extendemos linealmente, se
0 0 0 −1 1 0
obtine un isomorfismo como el que se requiere. La segunda aseveración se
sigue por la manera en que se define h.

Integridad y racionalidad de las raı́ces

En esta subsección haremos uso de los resultados recopilados en la sección
4.5 para desarrollar algunas de las propiedades más importantes de las raı́ces
de una álgebra de Lie semisimple g con respecto a la subálgerba de Cartan
h.

Como se ve en la Proposición 6.10, para cada par de raı́ces α y −α, ten-

emos una subálgebra sα ∼
= sl(2, F) y gracias a los resultados de la subsección
anterior, podemos dar una descripción completa de los sα -modulos, en par-
ticular, podemos describir ad sα .

En este resultado se muestra además que el conjunto de raı́ces de una

álgebra de Lie semisimple satisface el axioma (R2) de la Definición 2.2.

Proposición 6.11. Para cada raı́z α, el subespacio gα es unidimensional y

los únicos múltiplos de α que son raı́ces son ±α.
110 Raı́ces de una álgebra de Lie semisimple

Demostración. Consideremos el subespacio a de g generado por h y todos los

subespacios gcα , con c ∈ F. Como [gcα , gc′ α ] ⊂ g(c+c′ )α , a es un sα -submodulo
y por el Teorema 4.10, los pesos de hα son los enteros 0 y 2c = cα(hα ), para
c 6= 0 con gcα 6= 0; en particular, todos los posibles valores de c son múltiplos
enteros de 12 . Ahora, sα actúa trivialmente en Ker α ∼= h/ Span{hα }, mientras
que sα es un submodulo irreducible de a sobre sı́ mismo. Ası́, Ker α y sα
agotan la ocurrencia del peso 0 de hα y los únicos pesos pares en a son ±2,
es decir, el doble de una raı́z no es una raı́z. Ésto implica que 21 α no es
raı́z, por lo que 1 no es peso de hα en a y como los pesos forman una serie
aritmética con diferencia 2, se sigue la segunda aseveración de la proposición.
Finalmente, el Corolario 4.11 muestra que a = h + sα ; en particular, cada
subespacio gα tiene dimensión 1.
Para examinar la acción de sα en los subespacios gβ , definimos la α-cadena
que pasa por β, o bien la α-cadena por β, como el conjunto de todas las raı́ces
de la forma β + kα, para k ∈ Z y α 6= ±β.
Proposición 6.12. Si la suma de dos raı́ces α y β es nuevamente una raı́z,
entonces [gα , gβ ] = gα+β . Además, el número β(hα ) es un entero y β −
β(hα )α ∈ Φ. Más aún, si q y r son los enteros no negativos más grandes
para los que β − rα y β + qα son raı́ces, entonces β + kα ∈ Φ, para todo
entero −r ≤ k ≤ q y r − q = β(hα ).
P
Demostración. Sea b = k∈Z gβ+kα . Por la Proposición 6.11, cada gβ+kα
tiene dimensión 1 y β 6= kα, por lo que b es un sα -submodulo de g cuyo
espacio correspondiente al peso β(hα ) + 2k es unidimensional, para los dis-
tintos valores de k. Como los únicos pesos que aquı́ aparecen son 0 y 1, el
Corolario 4.11 implica que b es irreducible. Si q y r son seleccionados como
en el enunciado de la proposición, entonces el peso más alto es β(hα ) + 2q y
el más bajo es β(hα ) − 2r. Los pesos en b forman una progresión aritmética
con diferencia 2, lo que implica que las raı́ces β + kα forman una cadena.
Nótese también que (β − rα)(hα ) = −(β + qα)(hα ). Finalmente, la imagen
de gβ bajo ad gα es gα+β , por la Proposición 4.9.
Podemos ver que la Proposición 6.12 muestra que el conjunto Φ de raı́ces
de una álgebra de Lie semisimple g con respecto a una subálgebra de Cartan h
satisface las condiciones del Teorema 2.9 de la Página 19. Otra concecuencia
importante de la Proposicón 6.12 es la siguiente.
Corolario 6.13. g es generada, como álgebra de Lie, por los espacios gα .
6.2 Propiedades de las raı́ces de una álgebra de Lie semisimple 111

Por el Corolario 6.5, podemos definir en h∗ una forma bilineal a travéz

def
de la forma de Killing, hα, βi = κ(kα , kβ ). Sea ∆ = α1 , α2 , . . . , αℓ una base
de h∗ conformada por raı́ces. El siguiente resultado nos muestra la especial
naturaleza de ésta base.
Proposición 6.14. Si β es una raı́z, entonces β se expresa como combi-
nación lineal racional de las raı́ces αi . Además, la forma h, i es racional en
el Q-subespacio Q de h∗ generado por las raı́ces.
Pℓ
Demostración. Escribamos β =
Pℓ i=1 ci αi . Para cada j ∈ {1, 2, . . . , ℓ},
hβ, αj i = i=1 ci hαi , αj i y multilpicando ambos lados por hαj2,αj i , se tiene
ℓ
X 2 hαi , αj i
hβ, αj i
2 = ci ,
hαj , αj i i=1
hαj , αj i

lo que podemos interpretar como un sistema de ecuaciones lineales con co-

eficientes enteros de orden ℓ × ℓ. Como ∆ es una base y la forma h, i es
no-degenerada, la matriz
 
hαi , αj i · · · hαi , αj i
 .. ... .. 
 . . 
hαi , αj i · · · hαi , αj i
tiene determinante distinto de cero, por lo que la matriz del sistema también
satisface tal condición. Por tanto, existe una única solución sobre Q. Ası́ se
tiene la primera aseveración.

Ahora, para γ, δ ∈ h∗ , tenemos que

X X
hγ, δi = κ(kγ , kδ ) = α(kγ )α(kδ ) = hα, γi hα, δi ;
α∈Φ α∈Φ
P
en particular, para β ∈ Φ, se tiene hβ, βi = α∈Φ hα, βi2 y dividiendo por
hβ, βi2 , tenemos
1 X µ hα, βi ¶2
= ∈ Q,
hβ, βi α∈Φ hβ, βi

pues 2 hα,βi
hβ,βi
∈ Z. Se concluye que hβ, βi es racional y por bilinealidad, todos
los productos de raı́ces son racionales. Como Φ genera a Q, se sigue la
segunda afirmación.
112 Raı́ces de una álgebra de Lie semisimple

Corolario 6.15. La forma h, i es positiva definida en Q.

P
Demostración. Para γ ∈ Q, tenemos hγ, γi = hα, γi2 , es decir, hγ, γi es
suma de cuadrados de números racionales y por tanto, es positivo.

Ahora, consideremos el espacio E = R ⊗Q Q y definamos las siguientes

operaciones

(a ⊗ v) + (b ⊗ w) = (a + b) ⊗ (v + w)
α(a ⊗ v) = (αa) ⊗ v.

Es claro que E es un espacio vectorial sobre el campo de los números reales

y que dimR E = dimQ Q = ℓ.

Además, con la forma bilineal h, i : Q × Q → Q definiremos una forma en

E de la siguiente manera: para a ⊗ v, b ⊗ w ∈ E definimos ha ⊗ v, b ⊗ wi =
hv, wi .

Inmediatamente se verifica que la función h, i : E × E → R es una forma

bilineal simétrica positiva definida. Ası́, (E, h, i) es un espacio euclidiano y
se tiene el siguiente resultado.

Teorema 6.16. Sean g una álgebra de Lie semisipmle, h una subálgebra de

Cartan de g y Φ el conjunto de raı́ces de g con respecto a h, entonces Φ es
un sistema de raı́ces en el sentido de la definición 2.2

Ası́, hemos establecido una correspondencia

(g, h) 7→ (E, Φ). (6.2)

A continuación, veremos que la asignación (6.2) es uno-a-uno.

6.3 Teorema de isomorfismo

La importancia del teorema de isomorismo es que muestra que si dos álgerbas
de Lie semisimples tienen el mismo sistema de raı́ces, entonces son isomorfas,
es decir, la correspondencia (6.2) es uno-a-uno. Primero, reduciremos el
problema al caso cuando g es simple.
6.3 Teorema de isomorfismo 113

Proposición 6.17. Si g es una álgebra de Lie simple con subálgebra de

Cartan h y sistema de raı́ces Φ, entonces Φ es irreducible.

Demostración. Supongamos que la conclusión de la proposición es falsa, en-

tonces Φ se puede descomponer como la unión de dos subconjuntos, digamos
Φ1 y Φ2 , no vacı́os mutuamente ortogonales. Si α ∈ Φ1 y β ∈ Φ2 , entonces
hα + β, γi =
6 0 para γ ∈ {α, β} y ası́, α + β no es una raı́z y [gα , gβ ] = 0.
Luego, la subálgebra a generada por los espacios gα , con α ∈ Φ1 , es central-
izada por todos los espacios gβ , con β ∈ Φ2 ; en particular, a es una subálgebra
propia de g, pues Z(g) = 0. Más aún, para α ∈ Φ1 tenemos gα ⊂ N (a) y
por tanto, N (a) = g, es decir, a es un ideal propio de g. Esto contradice la
simplicidad de g.

En adelante, g será una álgebra de Lie semisimple con subálgebra de

Cartan h y sistema de raı́ces Φ.
L
Corolario 6.18. Si g = gi es la descomposición en ideales simples, en-
tonces hi = h ∩ gi son subálgebras de Cartan de gi y el correspondiente
S
sistema de raı́ces irreducible Φi es un subsistema de Φ tal que Φ = Φi es
la descomposición en sus componentes conexas.
L L L
Demostración. Es claro que h = h ∩ g = h ∩ gi = h ∩ gi = hi y que
cada hi es una subálgebra toral de gi . La maximalidad de hi es como sigue:
Si b es una subálgebra toral de gi que contiene propiamente a hi , entonces b
es subálgebra toral de g, centraliza a todas las subálgebras hj para toda j 6= i
y se genera con b y hj una subálgebra de g que contiene propiamente a h, lo
que es absurdo. Ahora, si α ∈ Φi , entonces podemos extender el funcional
α a un funcional en h definiendolo como 0 en hj , para j 6= i. Ası́, α es un
raı́z de g relativa a h. Recı́procamente, si α ∈ Φ, existe un ı́ndice i tal que
[hi , gα ] 6= 0 y por tal razón, gα ⊂ gi . Concluimos que α|hi es una raı́z de gi
relativa a hi .

Este resultado reduce el problema de caracterizar las álgebras de Lie

semisimples por su sistema de raı́ces al problema de caracterizar las álgebras
simples por su sistema de raı́ces irreducible. Ahora, encontraremos un con-
junto de generadores para g.

Proposición 6.19. g es generado por los espacios gα y g−α con α ∈ ∆.

114 Raı́ces de una álgebra de Lie semisimple

Demostración. Sea β una raı́z positiva, por el Corolario 2.15, existen raı́ces
simples α1 , α2 , . . . , αk (no necesariamente diferentes) tales que
β = α1 + α2 + · · · + αk
y para 1 ≤ j ≤ k cada suma parcial α1 + · · · + αj es una raı́z positiva y por
la Proposición 6.12, sabemos que si γ y δ son raı́ces cuya suma también es
raı́z, entonces [gγ , gδ ] = gγ+δ . Usando inducción sobre k, podemos mostrar
que gβ esta contenida en la subálgebra de g generada por los espacios gα ,
con α simple; similarmente, si β es negativa, esta contenida en la subálgebra
generada
` P espacios g−α , con α simple. Finalmente, como g = h ∐
por los
α∈Φ gα y h = α∈Φ [gα , g−α ], se sigue el resultado.

La demostración se puede encontrar en [4] en la página 74. Este resul-

tado nos dice que es suficiente concentrarnos en las raı́ces simples en lugar
de trabajar con todo el sistema de raı́ces.

Recordemos que un isomorfismo de sistemas de raı́ces proviene de un

isomorfismo de los espacios euclidianos donde los sistemas se encuentran.
Además, el isomorfismo puede tomarse como una isometrı́a, pues los axiomas
de sistemas de raı́ces no se afectan si multiplicamos por un escalar positivo
al producto interior, pues sólo aparecen razones de los productos interiores
de las raı́ces.
Teorema 6.20. (Teorema de Isomorfismo). Sea e g una álgebra simple con
e e
subálgebra de Cartan h y sistema de raı́ces Φ. Supongamos que φ : Φ → Φ e es
un isomorfismo, entonces φ induce un isomorfismo ϕ entre las subálgebras
de Cartan h y e h. Para cada α ∈ ∆, seleccione isomorfismos de álgebras
de Lie ϕα : gα → e gαe , entonces existe un único isomorfismo que extiende al
isomorfismo ϕ y a todos los ϕα .
Demostración. (Unicidad). Cada xα 6= 0 en gα determina un único vector
y α en g−α tal que [xα , y α ] = hα , para cada α ∈ ∆; por la Proposición 6.19,
{xα , y α : α ∈ ∆} es un conjunto de generadores para g. Si ϕ̄ y ψ son dos
extensiones de ϕ y de los ϕα , entonces ϕ̄ = ϕα = ψ en cada gα , con α ∈ ∆.
Por linealidad, ϕ̄ = ψ.

(Existencia). Se puede resumir en los siguientes tres pasos:

1. Si g y g′ son escencialmente la misma álgebra de Lie, entonces g ⊕ g′
contiene una subálgebra d = {(v, v) : v ∈ g} ∼
= g.
6.4 Teorema de Serre 115

2. Muestre que d es una subálgebra propia.

3. Muestre que las proyecciones de d sobre el primer y segundo factor es

un isomorfismo de álgebras de Lie.

Para los detalles, vease [4] (p. 75).

6.4 Teorema de Serre

Éste Teorema nos permite relacionar a cada Sistema de raı́ces Φ una álgebra
de Lie de dimensión finita que resulta ser semisimple y su sistema de raı́ces
es presisamente Φ, es decir, es la asignación inversa de (6.2).

Teorema 6.21. (Serre). Sean Φ un sistema de raı́ces, con base ∆ = {α1 , . . . , αℓ },

y g una álgebra de Lie generada por los 3ℓ generadores xi , y i , hi sujetos a las
siguientes relaciones:

(S1) [hi , hj ] = 0;

(S2) [xi , y i ] = hi y si i 6= j, [xi , y j ] = 0;

(S3) [hi , xj ] = hαj , αi i xj y [hi , y j ] = − hαj , αi i y j .

−hαj ,αi i+1

(S+
ij ) (ad xi ) (xi ) = 0, y

−hαj ,αi i+1

(S−
ij ) (ad y i ) (y i ) = 0,

Entonces g es una álgebra de Lie semisimple, con subálgebra de Cartan h

generada por los hi y con sistema de raı́ces Φ.

Aquı́, hi = hαi con hαi , αj i = αi (hj ).

La demostración requiere del estudio de álgebras de Lie definidas por gen-

eradores y relaciones que dan origen a lo que se conoce como una presentación
del álgebra de Lie y se puede encontrar en [4] (p. 95).
116 Raı́ces de una álgebra de Lie semisimple

6.5 Teorema de clasificación de álgebras de

Lie simples
Como consecuencia de la vinculación de los sistemas de raı́ces y las álgebras
de Lie semisimples, vemos que el Teorema de Clasificación de los sistemas de
raı́ces irreducibles son genera un Teorema de Clasificación para las álgebras
de Lie simples. En esta sección, enunciaremos este Teorema.

Teorema 6.22. Las álgebras de Lie simples a las cuales se les asocian los
sistemas de raı́ces irreducibles clasificados en el Teorema 3.13 están descritas
por la siguiente tabla:

Tabla 6.1: Álgebras de Lie simples.

Sistema de raı́ces Álgebra de Lie Rango Dimensión
Aℓ sl(ℓ + 1, F) ℓ≥1 ℓ(ℓ + 2)
Bℓ o(2ℓ + 1, F) ℓ≥2 ℓ(2ℓ + 1)
Cℓ sp(2ℓ, F) ℓ≥3 ℓ(2ℓ + 1)
Dℓ o(2ℓ, F) ℓ≥4 ℓ(2ℓ − 1)
E6 e6 6 78
E7 e7 7 133
E8 e8 8 248
F4 f4 4 52
G2 g2 2 14