Escolar Documentos
Profissional Documentos
Cultura Documentos
4-005 Notas Geometria Diferencial
4-005 Notas Geometria Diferencial
19 de Janeiro de 2016
Contedo
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
1.1
1.1.1
( a + b) + ( a0 + b0 ) = ( a + a0 ) + (b + b0 ) g h
( a + b) = a + b
gh
(1.1.1)
(1.1.2)
1.1.2
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
( a, b) = Tr ( ( a) (b))
a, b g
(1.2.1)
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)
Ciq Cjp
a, b
(1.2.4)
p=1..3
q=1..3
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)
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
(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
i = e
ni i
(1.4.1)
i =1
(1.4.2)
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
(,)
kkk k
1.4.2
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)
1.5
1.5.1
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
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
(1.5.6)
.
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