GEOMETRIA DIFERENCIAL

19 de Janeiro de 2016

Contedo
1

Classificao das lgebras de Lie simples sobre C

1.1 Sumas Direitas, Semi-Direitas e Complexificao de lgebras de Lie
1.1.1 Sumas Direitas, Semi-Direitas . . . . . . . . . . . . . . . . . . .
1.1.2 Complexificao de uma lgebra de Lie . . . . . . . . . . . . .
1.2 Forma de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Sub-lgebra de Cartan . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Peso, Vector de Peso e Espao de Peso . . . . . . . . . . . . . .
1.3.2 Sub-lgebra de Cartan . . . . . . . . . . . . . . . . . . . . . . .
1.3.3 Raizes da lgebra de Cartan . . . . . . . . . . . . . . . . . . .
1.4 Raizes Fundamentais e Grupo de Weyl . . . . . . . . . . . . . . . . .
1.4.1 Raizes fundamentais . . . . . . . . . . . . . . . . . . . . . . . .
1.4.2 Transformada e Grupo de Weyl . . . . . . . . . . . . . . . . . .
1.5 Matrizes de Cartan e Diagramas de Dynkin . . . . . . . . . . . . . . .
1.5.1 As Matrizes de Cartan . . . . . . . . . . . . . . . . . . . . . . .
1.5.2 Diagramas de Dynkin . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

2
2
2
3
3
4
4
5
5
5
5
6
7
7
7

Captulo 1
Classificao das lgebras de Lie
simples sobre C
Nesse captulo iremos apresentar um dos resultados mais interessantes da Teoria de
Lie. Precedentemente temos visto como por cada Grupo de Lie seja possvel associar
uma lgebra de Lie. Nesse captulo iremos ver que cada lgebra de Lie Real pode
ser extensa a uma lgebra de Lie Complexa com um procedimento chamado de complexificao. Sucessivamente possvel demonstrar que cada lgebra de Lie pode ser
escrita como suma semi-direita de lgebras de Lie Unidimensionais (e portanto abelianas) e lgebras de Lie Simples.








...
L 0 1 L 1 2 L 2 3 L 3 . . .  n L n
(1.0.1)
Portanto no final o estudo das lgebras de Lie Simples sobre o campo dos numeros
Complexos e a classificao desses lgebras um dos assuntos mais importantes da
Teoria de Lie.
Grupos de Lie

lgebras de Lie

lgebras de Lie Complexas

'
lgebras de Lie Simples Complexas
J vimos nos captulos anteriores como cada lgebra de Lie simples tenha uma
representao fil (a representao adjunta) e portanto seja linear e possa ser considerada uma sub-algebra de gl (V ). gora iremos ver como cada lgebra smples possua
uma sub-lgebra de Cartan e as raizes dessa lgebras nos permitam uma classificao
completa das lgebras simples.

1.1
1.1.1

Sumas Direitas, Semi-Direitas e Complexificao de

lgebras de Lie
Sumas Direitas, Semi-Direitas

Sejam g e h duas lgebras de Lie e consideramos a + b g  h onde a g e b h. A

suma direita como espao vetorial resulta facilmente definida com a esteno natural
2

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

da adio e da multiplicao por escalar. De facto por cada a, a0 g, b, b0 h e k

temos:

( a + b) + ( a0 + b0 ) = ( a + a0 ) + (b + b0 ) g  h
( a + b) = a + b
gh

(1.1.1)
(1.1.2)

Todavia se quisermos preservar a estrutura de lgebra de Lie tambm preciso

requerir que pelo meno um dos sub-espaos seja um ideal sendo


 
 
 
 

(1.1.3)
( a + b) , a0 + b0 = a, a0 + b, a0 + a, b0 + b, b0
Se L for um ideal ento [ a, a0 ],[b, a0 ] , [ a, b0 ] g e [b, b0 ] M levando [( a + b) , ( a0 + b0 )]
g  h. Podemos tambm notar que se considerarmos a representao adjunta






 



(1.1.4)
( a + b) , a0 + b0 = a, a0 + ad (b) a0 ad b0 ( a) + b, b0
Essas consideraes nos levam a definir a suma semidireita no jeito seguinte:
Definio 1. (!!!!!!!! CONTROLAR !!!!!!!!!) Sejam g e h duas lgebras de Lie sobre o
mesmo campo ke seja : h gl (g) uma representao, ento definimos a suma
semidireita g  h como a suma direita dos espaos vetoriais e o produto [, ] assim
definido por cada a, a0 g, b, b0 h :









(1.1.5)
( a, b) , a0 , b0 = a, a0 + (b) a0 b0 a, b, b0

1.1.2

Complexificao de uma lgebra de Lie

Por cada lgebra de Lie g sobre R possvel definir uma lgebra complexa g sobre C
definida como g ig e chamada de complexificao de g.
Definio 2. Seja (g, +, , [, ]) uma lgebra de Lie sobre R ento diz-se complexificao de g lgebra de Lie g = (g ig, +, , [, ]) onde por cada g, g0 , h, h0 g e por
cada C temos






(1.1.6)
( g + ih) + g0 + ih0 = g + g0 + i h + h0
( g + ih) = g + ih
(1.1.7)


 




  0
0
0
0
0
0
(1.1.8)
( g + ih) , g + ih = g, g + i h, g + i g, h h, h
Alguns resultados notveis so que se g semi-simples ento g semisimples e se g
for simples ento g ou simpls tambm ou isomorfa suma direita de dois lgebras
simpls.

1.2

Forma de Killing

Seja g uma lgebra de Lie e seja : g gl (V ) uma representao, ento chama-se

forma da Traa a forma bilinear:

( a, b) = Tr ( ( a) (b))

a, b g

No caso da representao adjunta a forma toma um nome espcifico:

(1.2.1)

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

Definio 3. Seja g uma lgebra de Lie e seja ad : g 3 a [ a, ] gl (g) uma representao, ento chama-se forma de Killing a forma bilinear:
( a, b) = Tr ( ad ( a) ad (b))

a, b g

(1.2.2)


Observao 4. Se considerarmos uma base {ei }iI de g e definirmos i iI a base ca

nnica do dual de g onde i e j = ji , ento as componentes da representao adjunta
so
ad (ei )kj = Cijk

(1.2.3)

e as componentes da Forma de Killing so

Kij = (ei , e j ) = Tr ad (ei ) ad e j

Ciq Cjp

a, b

(1.2.4)

p=1..3
q=1..3

Teorema 5. Seja g uma lgebra de Lie, ento g solvel (, ) no degenerada (i.e.

@h 6= 0 tal que (h, g) = 0 por cada g g.

1.3
1.3.1

Sub-lgebra de Cartan
Peso, Vector de Peso e Espao de Peso

Cada lgebra de Lie em particular um espao vetorial e cada lgebra g tem pelo
menos uma representao em gl (g) ou seja nos automorfismos de um espao vetorial.
portanto interessante analisar os vetores prprios dos elementos da lgebras de Lie.
Definio 6. Seja g uma lgebra de Lie e uma representao em V, i.e.: : g
gl (V ). Ento definimos um espao de peso V1 no respeito do peso g
V1 = {v V | ( a) v = ( a) v

a g}

(1.3.1)

Observao 7. Cada vetor v V1 , que se chama vetor de peso, um vetor proprio de

cada automorfismo imagem de elementos de g. Os conceitos de peso, vetor de peso, e
espao de peso so os equivalentes sobre uma inteira lgebra de endomorfismos do que
era o valor prprio, vetor prprio e o espao invariante no caso do singulo endomorfismo.
Definio 8. Seja g uma lgebra de Lie e uma representao em V, i.e.: : g
gl (V ). Ento definimos um espao de peso geralizado V no respeito do peso g
n
o
V = v V | k N : ( ( a) ( a) I )k v = v a h
(1.3.2)
Teorema 9. Seja g uma lgebra de Lie nilpotente e uma representao em V, i.e.: : g
gl (V ) ento
V = V1  V2  . . .  Vk
(1.3.3)
onde V1 o espao de peso geralizado de .

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

1.3.2

Sub-lgebra de Cartan

Definio 10. Seja g uma lgebra de Lie e seja h uma sub-lgebra, ento Ng (h) =
{ a g | [ a, h] h} chama-se de normalizador de h em g .
Definio 11. Seja g uma lgebra de Lie e seja h uma sub-lgebra, ento h diz-se sublgebra de Cartan se:
1. h nilpotente;
2. Ng (h) = h.
Observao 12. Dado que Ng (h) = h, cada h sub-lgebra di Cartan uma sub-lgebra
nilpotente maximal.
Teorema 13. Cada lgebra de Lie de dimenso finida possue uma sub-lgebra de Cartan h e se
g semi-simples ento h abeliana.

1.3.3

Raizes da lgebra de Cartan

Teorema 14. Seja h uma sub-algebra de Cartan e ad () a representao adjunta, i.e.: : g

gl (g) ento
g = g1  g2  . . .  g k
(1.3.4)
onde gi so os espaos de peso geralizados no respeito da representao ad () i.e.
n
o
g i = v g | k N : ( ( a ) i ( a ) I ) k v = v a h

(1.3.5)

.
Os pesos i so chama-dos raizes da sub-lgebra de Cartan h os vetores de peso so
chamados vetores radicais e os g1 so chamados espaos radicais.
Definio 15. O conjunto = {i } g chamado conjunto das raizes.
Observao 16. Se i ento i tambm

1.4
1.4.1

Raizes Fundamentais e Grupo de Weyl

Raizes fundamentais

As raizes so funcionais lineares no dual da sub-lgebra de Cartan = {i } h

possvel escolher um subconjunto desses raizes chamado de sub-conjunto de raizes
fundamentais tal que todos os i sejam linearmente indipendentes e por
cada raiz i existe um e {+1, 1} e n1 , ..., nd N tal que
d

i = e

ni i

(1.4.1)

i =1

Esses raizes fundamentais possuem as informaes fundamentais da lgebra. Da

facto:
spanN () as combinaes lineares positivas ou negativas com coeficientes
nos numeros naturais das raizes fundamentais so origem de todas as raizes;

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

as combinaes lineares com coeficientes reais das raizes fun spanR () = hR

damentais produzem uma sub-lgebra da lgebra de Cartan onde iremos definir
um produto interno que permiter de classificar as lgebras;

spanC () = h as combinaes lineares com coeficientes complexas das raizes

fundamentais produzem a sub-lgebra de Cartan;
O espao gerado das combinaes a coeficientes reais das raizes fundamentais i.e.
um espao importante porque sobre esso possvel definir um
spanR () = hR
produto interno derivado da forma de Killing. De facto considerando
: h 3 h (h) = (h, ) h

(1.4.2)

Sendo a forma bilinear no degenere, podemos definir




1
1
(, ) : h h 3 (v, w) (v) , (w) C

(1.4.3)

essa
O aspeito mais importante dessa forma bilinear que restringida no espao hR
forma torna-se um produto interno.
h R um produto interno
Proposio 17. A forma bilinear (, ) : hR
R

Sendo (, ) um produto interno possvel definir

p
uma norma pela raiz i.e.kk = (, )
um angulo entre dois raizes ] () i.e. cos (] ()) =

(,)
kkk k

uma distncia entre raizes d(, ) = k k |

Com esses definies podemos definir as ferramentas necessarias para obter todas as
raizes da lgebra partendo das raizes fundamentais.

1.4.2

Transformada e Grupo de Weyl

Definio 18. Seja o conjunto das raizes de uma lgebra de Cartan, e seja (, ) a
forma bilinear derivada d forma de killing da lgebra. Seja uma raiz, ento
3 s ( ) h tal que
chama-se de trasformao de Weyl a aplicao linear s : hR

R
s () := 2

(, )

(, )

(1.4.4)

O grupo formado de todas as transformaes W = {s | } com a operao de

composio chamado de Grupo de Weyl .
O Grupo de Weyl age como uma permutao do conjunto das raizes e permite de
reconstruir todas as raizes partendo dao subconjunto das raizes fundamentais. De
facto o teorema seguinte veradeiro:
Teorema 19. Seja o conjunto das raizes de uma lgebra de Cartan e W = {s | } o
Grupo de Weyl associado. Ento:
(i) o Grupo de Weyl gerado das transformaes associadas s raizes fundamentais i.e.:
w W, 1 , ..., n tal que w = s1 ... sn .
(ii) Cada raiz originada da uma transformao de Weyl de uma raiz fundamental, i.e.
, , w W tal que = w ( ).
(iii) Ademais o Grupo de Weyl permuta as raizes, i.e. w W, ento w ()

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

1.5
1.5.1

Matrizes de Cartan e Diagramas de Dynkin

As Matrizes de Cartan

Sendo pelo teorema a imagem de cada transformao de Weyl de uma raiz no conjunto
das raizes i.e. w () e dado que cada raiz pode ser decomposta numa forma
d

= e ni i ento podemos encontrar por cada w () um e {+1, 1} e

i =1

n1 , ..., nd N tal que

d

w () = e

ni i

(1.5.1)

i =1

Analizando essa decomposio no caso de w j = si j com i , j obtemos que




i , j
s i j = j 2

(1.5.2)
( i , i ) i
e portanto


i , j
N i , j
(1.5.3)
2
( i , i )
Definio 20. Chama-se Matriz de Cartan (C )ij a matriz obtida sobre as raizes fondamentais de uma lgebra de Cartan com coeficientes:


i , j
Cij := 2
( i , i )

(1.5.4)

A partir da Matriz de Cartan podemos tambm definir outros coeficientes chamados nmeros de ligao:







i , j j , i

= 4cos2 ] i j
(1.5.5)
nij := Cij Cji = 4
( i , i ) j , j
Enfim o numero de nij possvel muito limitado sendo

1.5.2

Cij
0

Cji
0

nij
0

1
2

2
1

1
3

3
1

Diagramas de Dynkin

No final podemos definir as seguintes regras:

um circulo para cada raiz fundamental

(1.5.6)

CAPTULO 1. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C

.
Figura 1.5.1: Diagrama de Dynkin
um numero de linhas entre circulos equivalntes ao numero de ligao entre raizes
se o numero 2 ou 3 preciso indicar com um sinho de minor ou maior a raiz
com coeficientes de Cartan maior.

Parte I