sempre quis saber sobre algebras Tudo o que voce de Lie e teve medo de perguntar

Pedro J Freitas Janeiro de 2006

Denic oes gerais 2 ................................................................................. 3 Denic ao As fam lias classicas ........................................................................ 4 (1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Algumas denic oes simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 sl(2, F ) e (2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Algumas denic oes e modulos Representac oes ................................................................... 8 Indecomponibilidade e irredutibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 adjunta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 A representac ao Forma de Killing. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Resolubilidade e Nilpotencia Denic oes ............................................................................... Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplos (cont). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Algumas propriedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Os radicais. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ad-nilpotencia ............................................................................ Teorema de Engel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pesos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teorema de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . entre nilpotencia Relac oes e resolubilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Revisoes de algebra linear Formas bilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . degenerescencia Nao ...................................................................... Espac os -complementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Semisimplicidade ................................................................................ Denic ao ..................................................................... Primeira decomposic ao de Jordan-Chevalley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Decomposic ao Um exemplo motivador: sl(2, F ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Subalgebras de Cartan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ra zes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . espac Segunda decomposic ao: os-raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . sl(3, F ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35

Propriedades dos espac os-raiz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Um produto interno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 Sistemas de ra zes ................................................................................ Denic ao Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Angulos e quocientes de normas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2........................................................................... Em dimensao Ra zes Fundamentais e Camaras de Weyl Relembrando. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2................................................................... Exemplos em dimensao Ra zes fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Encontrando ra zes fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Camaras de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Propriedades das camaras de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Grupo de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . das Algebras Classicac ao Simples Irredutibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Simplicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Matrizes de Cartan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diagramas de Dynkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Conexidade e simplicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ............................................................................. Classicac ao Algebras simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Unicidade (i). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Unicidade (ii) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Finita de Algebras Representac oes de Dimensao Semisimples Relembrando. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teorema de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reticulado dos pesos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Reticulado das ra zes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo: A2 = sl(3, F ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pesos mais altos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mais uma vez em A2 = sl(3, F ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teorema PBW e Consequencias Teorema PBW . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Consequencias para as algebras semisimples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teoremas de Levi e Ado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Algebras de Lie e Grupos de Lie e exemplos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Denic ao O espac o tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Diferenciando morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A estrutura de algebra de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . de grupos de Lie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Representac oes 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79

 Denic oes gerais

Denic ao
Sophus Lie

2 / 79

um espac Denic ao Uma algebra de Lie sobre um corpo F e o vectorial L, sobre F munido com uma operac ao [ , ], chamada parentese de Lie, bilinear, anti-simetrica e satisfazendo a igualdade de Jacobi: para x, y, z L,

[x, [y, z ]] + [y, [z, x]] + [z, [x, y ]] = 0. Exemplos.

Qualquer espac o vectorial, com [, ] 0. O conjunto de todas as matrizes do tipo n n, com [A, B ] := AB BA. Analogamente, sendo V um espac o vectorial, os endomorsmos lineares de V , com [f, g ] := f g gf . Sendo M uma variedade diferenciavel, os campos vectoriais denidos em V , com [X, Y ] := DY X DX Y . 3 / 79

As fam lias classicas

Alguns subconjuntos do conjunto de todas as matrizes, constituem importantes exemplos de algebras de Lie. As matrizes de trac o 0, notadas por sl(n + 1, F ), ou An . As matrizes que satisfazem XJ + JX = 0, nos seguintes casos:

1 0 0 denotado o(2n + 1, F ) ou Bn . J = 0 0 In . O conjunto e 0 In 0 J= 0 In denotado sp(2n, F ) ou Cn . . O conjunto e In 0 0 In denotado o(2n, F ) ou Dn . . O conjunto e In 0

4 / 79

J=

 Algumas denic oes (1)

Denic ao Seja L uma algebra de Lie sobre um corpo F . Um subespac o K L diz-se uma subalgebra se

x K, y K [x, y ] K.
Uma subalgebra I L diz-se um ideal se

x L, y I [x, y ] I.
tiver ideais proprios. Uma algebra de Lie diz-se simples se nao 5 / 79

simples sl(2, F ) e
sl(2, F ) e simples. Proposic ao Seja F um corpo de caracter stica diferente de 2. Entao Vamos notar Demonstrac ao.

x=

0 1 , 0 0

y=

0 0 , 1 0

e h=

1 0 . 0 1

uma base de sl(2, F ). Temos que Esta e

[h, x] = 2x,

[h, y ] = 2y,

[x, y ] = h.

que 0 = I Suponhamos entao L, e que 0 = ax + by + ch I . Fazendo o parentese com x duas vezes, obtemos 2bx = 0. Fazendo o parentese com y duas vezes, obtemos 2ay = 0. nulos, temos I = L. Assim, se a ou b forem nao Se ambos forem 0, temos h I e I = L. 6 / 79

 Algumas denic oes (2)

Chamamos a [x, y ] um comutador. Sendo K, N L, denimos Se K, N [K, N ] L, entao

[K, N ] := <[x, y ], x K, y N >. L. Se x K , y N e z L, temos

[z, [x, y ]] = [x, [y, z ]] [y, [x, z ]] = [x, [y, z ]] + [[x, z ], y ] [K, N ]
Seja K L. Denimos o centralizador de L como

CL (K ) = {x L : [x, y ] = 0 y K }.
Notamos por Z (L) = C (L), o centro de L. Se Z (L) = L, L diz-se abeliana. Denimos o normalizador de K como

NL (K ) = {x L : [x, y ] K y K }.
7 / 79

Representac oes e modulos

Seja L uma algebra de Lie sobre um corpo F . : L glV , V um espac uma representac de L se Dizemos que uma aplicac ao o vectorial sobre F , e ao linear que respeite o parentese para quaisquer x, y L, for uma aplicac ao de Lie isto e,

([x, y ]) = (x)(y ) (y )(x).

Neste caso, V diz-se um modulo (de Lie) sobre L. V V diz-se um submoduloL de V , se, para todo o x L, (x)(V ) V . 8 / 79

Indecomponibilidade e irredutibilidade
: L glV diz-se irredut admitir submodulos dos triviais L Uma representac ao vel se V nao L, para alem e 0. Neste caso, V diz-se um modulo simples. : L glV diz-se indecompon admitir uma expressao como V = U W , Uma representac ao vel se V nao com U, W submodulosL. : L glV diz-se completamente decompon Uma representac ao vel se existirem V1 , . . . , Vk submodulos simples de V tais que

V = V1 . . . Vk .
nita, isto e equivalente a pedir que qualquer submodulo Em dimensao U V tenha um complemento, isto outro submodulo e, U V com V = U W . 9 / 79

adjunta A representac ao
de L para glL, a representac adjunta: para x, y L, Existe uma representac ao ao

(ad x)(y ) := [x, y ],

que tem como nucleo o centro de L:

Z (L) := {x L : [x, y ] = 0 y L},

um ideal de L. que e simples se e so se a representac adjunta for irredut Nota: L e ao vel isto porque um submodulo para a adjunta e um ideal de L. representac ao 10 / 79

Forma de Killing
Wilhelm Killing

Denic ao Seja L uma algebra de Lie. Denimos a forma de Killing de L como

(x, y ) := tr(ad x ad y ).
simples de ver que a forma e simetrica. E (f (x), f (y )) = (x, y ). Se f for um automorsmo de L, entao dada por Nas algebras classicas, sl(n, F ), o(n, F ) e sp(n, F ), a forma e

(x, y ) = C (n) tr(xy T ),

uma constante. em que C (n) F e 11 / 79

Resolubilidade e Nilpotencia
Denic oes
Denimos em L as seguintes series descendentes de ideais: Serie Derivada Serie Central Inferior

12 / 79

L(0) = L L(1) = [L, L] L(2) = [L(1) , L(1) ] L(i+1) = [L(i) , L(i) ]

L0 = L L1 = [L, L] L2 = [L, L1 ] Li+1 = [L, Li ]

Se a serie derivada chegar a 0, a algebra diz-se resoluvel . Se a serie central inferior chegar a 0, a algebra diz-se nilpotente. resoluvel. Como L(i) Li para todo o i, toda a algebra nilpotente e 13 / 79

Exemplos
resoluvel, Exemplo: A algebra das matrizes triangulares superiores t(n, K ) e e a algebra das matrizes trian nilpotente. gulares superiores de diagonal nula n(n, K ) e Para vericar isto, denimos o n vel de uma matriz triangular superior como a primeira sobre-diagonal onde aparece o primeiro elemento diferente de zero, tendo n vel 0 a diagonal principal. j i. Formalmente, se esse elemento aparece na entrada (i, j ) o n vel e respectivamente, n Exemplos: as seguintes matrizes tem, veis 0, 1 e 2.

1 1 2 0 1 1 0 0 1

0 1 2 0 0 1 0 0 0

0 0 2 0 0 0 0 0 0

simples de vericar que, para A, B t(n, F ), temos que E

nv(AB ) = nv(A) + nv(B ),

e portanto

nv([A, B ]) nv(A) + nv(B ).

Se A e B forem de n vel 0, [A, B ] vem de n vel maior ou igual a 1. 14 / 79

Exemplos (cont)
Notamos por tk (n, F ) as matrizes de t(n, F ) de n vel maior ou igual a k . Em particular t0 (n, F ) = t(n, F ), simples de ver agora que t1 (n, F ) = n(n, F ). E

[tk (n, F ), tl (n, F )] = tk+l (n, K ).

Portanto, as series derivada e central inferior para t(n, F ) sao:

t(n, F )(i) = t2i1 (n, F ),

2

i > 1,

t(n, F ) = [t(n, F ), t(n, F )] = n(n, F ), t(n, F )i = [t(n, F ), n(n, F )] = n(n, F ).

A serie central inferior para n(n, F ) e:

n(n, F )i = ti+1 (n, F ).

resoluvel, nilpotente, enquanto n(n, F ) = [t(n, F ), t(n, F )] e nilpotente (logo, Portanto, t(n, f ) e mas nao resoluvel). tambem 15 / 79

Algumas propriedades
Seja L uma algebra de Lie, I, J

L. Temos as seguintes propriedades:

Se L for resoluvel ou nilpotente, o mesmo se passa com I e com L/I . Se L/I e I forem resoluveis, o mesmo se passa com L. Se L/Z (L) for nilpotente, o mesmo se passa com L. Se I e J forem resoluveis ou nilpotentes, o mesmo se passa com I + J . da ultima muito diferente para os casos resoluvel A demonstrac ao propriedade e e nilpotente. resoluvel. resoluvel, resoluvel. No primeiro caso, temos que (I + J )/I = J/(I J ), logo e Como I e I +J e da forma No segundo caso, os geradores de (I + J )n+1 sao

[x1 , [x2 , . . . [xn1 , xn ] . . .]],

em I ou em J . Portanto se I r = 0 e J s = 0, tomando n + 1 > r + s, temos que estes em que cada xi esta que estar ou em I r ou em J s , logo I + J e nilpotente. elementos tem 16 / 79

Os radicais
` ultima poss nita: Devido a propriedade do slide anterior, e vel denir, numa algebra de Lie L de dimensao O ideal resoluvel maximo, chamado o radical, ou radical resoluvel, e O ideal nilpotente maximo, chamado o nilradical. 17 / 79

 ad-nilpotencia
uma algebra Suponhamos que L e de Lie nilpotente. Isso quer dizer que, para um certo n N, e quaisquer x1 , . . . , xn , y L,

[x1 , [x2 , . . . [xn , y ] . . .]] = 0.

Escrito doutra maneira,

(ad x1 )(ad x2 ) . . . (ad xn )(y ) = 0.

nilpotente, para qualquer x L. Dizemos entao que L e ad-nilpotente. Em particular ad x e esse o enunciado do teorema tambem (surpreendentemente) verdadeira! E Em caracter stica zero, a rec proca e de Engel. 18 / 79

Teorema de Engel
Suponhamos que F tem caracter stica 0. n, uma subalgebra Teorema. Seja L glV , com V de dimensao constitu da por endomorsmos nilpotentes. existe uma base de V em relac a ` qual as matrizes dos elementos de L estao em n(n, F ). Entao ao nilpotente. Entao Le nilpotente. Teorema de Engel. Seja L uma algebra de Lie para a qual, se x L, ad x e 19 / 79

10

Pesos
algebricamente fechado. Suponhamos agora que F tem caracter stica 0 e e n, associado a ` Teorema. Seja L uma algebra nilpotente, e V um moduloL indecompon vel, de dimensao . Entao existe uma base B de V em relac a ` qual as matrizes de (L) sao do tipo representac ao ao

M ((x), B ) = (x)In + N (x),

com N (x) n(n, F ), para cada x. , do teorema anterior, e uma aplicac linear de L em F , isto e, e um elemento de L . Se existe A aplicac ao ao diagonal determinada por L , entao e um modulo V , indecompon vel, tal que as matrizes de (L) tem chamado um peso de L. E como se fosse um valor proprio para toda a algebra ao mesmo tempo. 20 / 79

Teorema de Lie
Seja agora F um corpo algebricamente fechado de caracter stica 0. nita sobre Teorema de Lie. Seja L glV uma algebra de Lie resoluvel, com V espac o vectorial de dimensao existe em V um vector proprio F . Entao comum a todos os elementos de V . Daqui segue que os elementos de simultaneamente triangularizaveis. L sao ao caso nilpotente, e que os elementos da diagonal principal nao tem que ser A diferenc a principal em relac ao indecompon iguais nas representac oes veis. exemplos muito importantes de resolubilidade e nilpotencia, Assim, vemos que t(n, F ) e n(n, F ) sao respectivamente. 21 / 79

11

 Relac oes entre nilpotencia e resolubilidade

entre nilpotencia Destes resultados saem as seguintes relac oes e resolubilidade. Teorema Seja L uma algebra de Lie e a sua forma de Killing. Temos que nilpotente, e identicamente nula. Se L e resoluvel se ([L, L], L) = 0. Le se e so Le resoluvel se [L, L] e nilpotente. Se car(F ) = 0, entao se e so 22 / 79

Revisoes de algebra linear

Formas bilineares

23 / 79

n sobre F , isto e, uma aplicac bilinear Seja uma forma bilinear, denida em V , espac o vectorial de dimensao ao V V F. a uma base de V , {e1 , . . . , en } como a matriz do tipo n n, em que a Dene-se a matriz de em relac ao dada por (ei , ej ). entrada (i, j ) e degenerada se tivermos qualquer uma das seguintes condic equivalentes: A forma diz-se nao oes Para qualquer 0 = v V , temos (v, ) 0. a qualquer base de V e invert A matriz de em relac ao vel. a uma dada base de V e invert A matriz de em relac ao vel. 24 / 79

12

 degenerescencia Nao
uma forma nao degenerada denida em V . Entao esta dene um isomorsmo de V para V := Seja entao L(V, F ):

v (v, )
injectiva por causa de ser nao degenerada: se v = 0, (v, ) = 0, logo o nucleo Trata-se de uma aplicac ao da e zero. aplicac ao e um isomorsmo. Como dim V = dim V , temos que a aplicac ao 25 / 79

Espac os -complementares
denida em V uma forma nao degenerada. Continuamos a supor Para W V , denimos o conjunto

W := {v V : w W (w, v ) = 0}.
um subespac dim V dim W . o vectorial de V de dimensao Temos que W e semelhante ao que se passa quando e o produto interno num espac Tudo isto e o vectorial real. 26 / 79

13

Semisimplicidade
Denic ao

27 / 79

o ideal resoluvel Lembramos que, para uma algebra de Lie L, o radical de L e maximo, que notaremos Rad L. Denic ao Se Rad L = 0, L diz-se semisimples. semisimples. Isto porque um ideal resoluvel Exemplo: L/ Rad L e de L/ Rad L teria a forma I/ Rad L, com I ideal resoluvel de L. Algumas propriedades. semisimples se e so se a sua forma de Killing e nao degenerada. Le semisimples, entao a representac ad e injectiva, pois o seu centro, Z (L), se nao fosse zero, seria Se L e ao nulo. resoluvel e nao 28 / 79

Primeira decomposic ao
uma algebra A partir de agora, L sera de Lie semisimples sobre um corpo algebricamente fechado de caracter stica 0. soma directa de Temos que L = I1 . . . Ik , com Ij ideais simples, 1 j k . Mais: qualquer ideal de L e alguns destes ideais. o mesmo que dizer que a representac adjunta e completamente decompon Isto e ao vel. Se quisermos encontrar um complemento para um ideal I , este e

I = {x L : (x, I ) = 0}
degenerada. que satisfaz o pretendido, entre outras coisas, por causa de ser nao 29 / 79

14

 de Jordan-Chevalley Decomposic ao
Camille Jordan unica, Para x L, existe uma decomposic ao da forma

x= s+n
a decomposic de Jordan-Chevalley, que coincide com ad s diagonalizavel, ad n nilpotente e ns = sn. Esta e ao com a habitual se L glV . Mais geralmente: de Jordan generalizada, e : L glV for uma representac entao (s) e Se x = s + n for a decomposic ao ao, nilpotente. diagonalizavel, e (n) e 30 / 79

Um exemplo motivador: sl(2, F )

Vamos a partir de agora denir as ra zes de uma algebra de Lie semisimples. simples, com base Exemplo: Considere-se sl(2, F ), que e

x=

0 1 , 0 0

h=

1 0 , 0 1

y=

0 0 . 1 0

de ad h em L, que e diagonalizavel: precisamente x, h, y : Considere-se a acc ao os vectores proprios sao

(ad h)(x) = [h, x] = 2x,

(ad h)(h) = 0,

(ad h)(y ) = 2y.

sl(2, F ) = <h> <x> <y>, com <x>, <h>, <y> espac de h. Entao os proprios para a acc ao sao ideais! Lembramos que sl(2, F ) e simples. Nota: Estes espac os nao 31 / 79

15

 Subalgebras de Cartan
Cartan Elie uma subalgebra Para uma algebra semisimples L, em geral, o que vai fazer o papel de h sl(2, F ) e nilpotente contida em L. uma subalgebra Dizemos que H L e de Cartan se H for nilpotente e NL (H ) = H . uma subalgebra Dizemos que H L e toral maximal se for uma subalgebra maximal entre as fomadas por elementos x com ad x diagonalizavel. semisimples, estas duas denic sao equivalentes. Como L e oes que sao abelianas. Por isso, ad H e formado por elementos Uma propriedade importante destas subalgebras e simultaneamente diagonalizaveis. dimensao 1, de acordo Por outras palavras, considerando L como moduloH , os seus submodulos irredut veis tem ligados a submodulos com o que estudamos sobre as algebras nilpotentes. Assim, os pesos estao indecom 1. pon veis de dimensao 32 / 79

Ra zes
decompor L em espac Podemos entao os proprios para todos os elementos de H : tomamos, para H ,

L := {x L : h H (ad h)(x) = (h)x}.

nao nulo sao chamadas as ra As formas H para as quais existe um submodulo L L e zes de L em a H. relac ao entao os pesos de L, como representac de H , pela acc adjunta. As ra zes sao ao ao dissemos, eles sao como valores proprios Como ja para toda a algebra H ao mesmo tempo. 33 / 79

16

 espac Segunda decomposic ao: os-raiz

L := {x L : h H (ad h)(x) = (h)x}.

Temos que H = L0 . Tomando como o conjunto dos elementos H diferentes de 0, com L = 0, entao podemos escrever

L=H (

L ).

valido especial aqui e que as matrizes de ad H sao diagonais, Isto e para qualquer algebra nilpotente. O que e mais do que triangulares superiores. Os espac os L , com chamam-se espac os-raiz. espac Em sl(2, F ) = <h> <x> <y>, os espac os <x> e <y> sao os-raiz, e H = <h>. 34 / 79

sl(3, F )
Exemplo. Para sl(3, F ) = {X M (3, F ) : tr X = 0}, H = <diag(1, 1, 0), diag(0, 1, 1)> = sl(3, F ) diag(3, F ).
Para 1 i 3, notemos i : diag(3, F ) F , com

i (diag(a1 , a2 , a3 )) = ai .
Para cada par (i, j ), com 1 i = j 3, temos que

Lij = F Eij = <Eij >

um espac ` raiz ij = i j . e o-raiz, associado a 35 / 79

17

Propriedades dos espac os-raiz

a ` subalgebra Sejam , ra zes de L em relac ao H . Temos as seguintes propriedades. 1. L tem dimensao [L , L ] = L+ . Se = , (L , L ) 0. Se , . Para x L , existe y L , tal que, pondo h := [x , y ] H , temos

<x , y , h > = sl(2, F ).

bem denidos, nao dependem da escolha de x . Os elementos h estao (h ) Z. 36 / 79

Um produto interno
degenerada. Isto da um isomorsmo Temos que , a forma de Killing de L, pode ser restrita a H , continuando nao H H , o que permite igualmente transportar para H . degenerada, e, mais ainda, denida positiva. Como F tem A forma, quando restrita a Q H continua nao o espac caracter stica 0, temos que, a menos de isomorsmo, Q F . Considere-se entao o vectorial real

E := R Q Q H
um produto interno, e portanto pode ser usado para denir comprimentos Temos que |Q e prolongada a E e das ra zes, e angulos entre elas. Temos que

(h ) =

2(, ) Z. (, )
37 / 79

18

Sistemas de ra zes
Denic ao

38 / 79

Consideremos agora E , espac o vectorial real com produto interno (espac o euclideano), dado por (, ). em relac ao hiperplano perpendicular a . Para , notemos a reexao ao Temos as seguintes propriedades denidoras de : nito, gera E , e 0 . e em sao . Se , os unicos multiplos de que estao Se , () = . 2(, ) Z. 4. Se , , <, > := (, ) 1. 2. 3. chama-se um sistema Todo o conjunto , contido num espac o euclideano E satisfazendo estas quatro condic oes de ra zes. Temos que todo o conjunto de ra zes de uma algebra de Lie semisimples satisfaz estas condic oes. Surpreenden sistema de ra temente, qualquer conjunto satisfazendo estas quatro condic oes e zes de alguma algebra de Lie semisimples. 39 / 79

Propriedades
Sejam , , e o angulo entre elas. Temos (, ) = ||||.|| ||. cos , e portanto

<, > =

|||| 2(, ) =2 cos . (, ) || || 2(, ) 2(, ) = 4 cos2 . (, ) (, )

Da propriedade denidora 4, temos que o seguinte numero tem que ser inteiro:

<, ><, > =

Daqui saem as duas primeiras propriedades dos sistemas de ra zes: pode ser /6, /4, /3, /2, 2/3, 3/4 ou 5/6. O angulo entre duas ra zes = so Este angulo determina o quociente ||||/|| || se = /2. um sistema de ra um sistema de ra 1 2 e um sistema de Se 1 e zes em E1 , e 2 e zes em E2 , entao ra zes em E1 E2 . 40 / 79

19

 Angulos e quocientes de normas

angulo quociente das normas indeterminado 1 2 3

/2 /3 ou 2/3 /4 ou 3/4 /6 ou 5/6

2. Terminamos mostrando os sistemas de ra zes em dimensao 41 / 79

2 Em dimensao

A1 A1

A2

B2

G2

42 / 79

20

 Ra zes Fundamentais e Camaras de Weyl

Relembrando. . .

43 / 79

Chamamos um sistema de ra zes a qualquer subconjunto E , espac o euclideano, satisfazendo as seguintes propriedades. 1. 2. 3. nito, gera E , e 0 . e em sao . Se , os unicos multiplos de que estao a reexao relativa ao hiperplano perpendicular a , que designaremos Se , () = , em que e por P . 2(, ) Z. 4. Se , , <, > := (, ) Temos () = <, > . adjunta de H Quando tomamos uma algebra de Lie semisimples L e uma subalgebra de Cartan H , a acc ao origem a um sistema de ra em L da zes que satisfaz estas quatro propriedades. e verdadeira: qualquer sistema de ra de uma algebra Veremos que a rec proca tambem zes provem de Lie semisimples. 44 / 79

2 Exemplos em dimensao

A1 A1

A2

B2

G2

todos os exemplos poss 2. A partir de agora vamos tomar A2 e G2 para exemplicar Estes sao veis em dimensao os varios conceitos que vamos denir. 45 / 79

21

Ra zes fundamentais
. Seja um sistema de ra um sistema de ra Denic ao zes. Dizemos que e zes fundamentais (SRF), ou irredut tambem veis ou simples se for uma base de E e os coecientes dos elementos de nessa base forem negativos ou nao positivos. todos ou nao sempre Proposic ao Existe sempre um SRF em qualquer sistema de ra zes. O angulo entre duas ra zes do SRF e recto ou obtuso.

Exemplo. Sistemas de ra zes fundamentais em A2 e G2 :

46 / 79

Encontrando ra zes fundamentais

Para encontrar sistemas de ra zes fundamentais, podemos seguir o seguinte algoritmo.

+ +

contenha nenhuma raiz. Toma-se um hiperplano que nao dum dos lados do hiperplano, e negativas as restantes. Denotamos Declaram-se positivas as ra zes que estao + as ra zes positivas e negativas por e , respectivamente. Temos = + . as que nao podem ser escritas como soma Tomam-se, dentro das ra zes positivas, as indecompon veis, isto e, de duas ra zes positivas. 47 / 79

22

 Camaras de Weyl
Hermann Weyl . Seja um sistema de ra Denic ao zes fundamentais. Chamamos camara de Weyl associada a ao conjunto

{ : (, ) > 0 }. Exemplo. Em A2 e G2 , temos

uma bijecc entre as camaras Ha ao de Weyl e os SRFs. 48 / 79

Propriedades das camaras de Weyl

ser obtidas como as componentes conexas de E , depois de se retirarem As camaras de Weyl podem tambem ` ra os hiperplanos P perpendiculares as zes. no interior de alguma camara fora de todos os hiperplanos P Aos elementos que estao de Weyl isto e, chamamos elementos regulares.

Exemplo. Em A2 e G2 , temos

49 / 79

23

O Grupo de Weyl
en relac ao plano perpendicular a . Denimos o Denic ao Seja um sistema de ra zes, a reexao ao grupo de Weyl de como o subgrupo de GL(V ) gerado pelos elementos . os grupos de Weyl para as fam Exemplos. Estes sao lias classicas.

An : Sn . Bn e Cn : Zn 2 Sn . n1 Dn : Z2 Sn .

nito, e e isomorfo a um subgrupo de Sn , em que Proposic ao O grupo de Weyl de um sistema de ra zes e disso, os elementos do grupo de Weyl sao isometrias, isto e, preservam o produto interno. n = ||. Alem Proposic ao O grupo de Weyl de actua duma forma simplesmente transitiva no conjunto dos SRFs de . O as acc correspondem uma a ` outra. mesmo se passa no conjunto das camaras de Weyl; alias, oes 50 / 79

das Algebras Classicac ao Simples

Irredutibilidade

51 / 79

Voltamos agora ao quadro das algebras de Lie semisimples sobre corpos algebricamente fechados de carac ter stica zero. Seja L uma algebra de Lie semisimples, H uma subalgebra de Cartan, o sistema de ra zes de L a H , um SRF, = {1 , . . . , n }, W o seu grupo de Weyl. em relac ao irredut puder ser decomposto como uniao de dois subconjuntos Denic ao Dizemos que (ou ) e vel se nao se for imposs ortogonais, isto e, vel ter = 1 2 , com (, ) = 0 se 1 e 2 . redut irredut Exemplo. A1 A1 e vel, e B2 e vel.

A1 A1

B2
52 / 79

24

Simplicidade
L, H , , , W . Mantemos toda a notac ao sao equivalentes. Proposic ao As seguintes armac oes simples. Le irredut e vel. irredut e vel. de L como soma de ideais simples, temos que = 1 . . . t , Mais, se L = I1 . . . It for a decomposic ao poss em que e vel identicar k naturalmente com o sistema de ra zes de Ik , para cada k . uma relac muito estreita entre L e o seu sistema de ra Como vemos, ha ao zes. 53 / 79

Matrizes de Cartan
L, H , , , W . Mantemos toda a notac ao indecompon que L e simples. Vamos agora supor que e vel, isto e, a ) a ` matriz Chamamos matriz de Cartan de (em relac ao

<i , j > =
Temos as seguintes propriedades.

2(i , j ) : 1 i, j n . (j , j )

2. Os elementos da diagonal principal sao a mesma, ou obtem-se por uma Para outro SRF de a matriz de Cartan e de esta por meio de conjugac ao Isto porque os elementos de W sao isometrias e actuam transitivamente no conjunto matriz de permutac ao. dos SRFs. Os inteiros <i , j > chamam-se inteiros de Cartan. 54 / 79

25

Diagramas de Dynkin
Evgenii Dynkin i , j . Vimos que <i , j ><j , i > = 4 cos2 , em que = (i , j ). Sejam entao Sabemos que este numero tem que ser um inteiro, logo, como (i , j ) /2, temos as seguintes possibilidades.

(i , j ) ||i ||/||j || <i , j ><j , i >

/2 2/3 3 /4 5 /6 1 2 3 0 1 2 3

o diagrama de Dynkin de (ou de , ou de L) como o multigrafo orientado seguinte. Denimos entao Temos um vertice por cada elemento de . Entre dois vertices i e j , temos <i , j ><j , i > arestas. ` de Se i e j tiverem comprimentos diferentes, poe-se uma seta apontando para o vertice correspondendo a menor comprimento. 55 / 79

Exemplos

(i , j ) ||i ||/||j || <i , j ><j , i >

/2 2/3 3 /4 5 /6 1 2 3 0 1 2 3

2, temos: Exemplos. Para os sistemas de ra zes de dimensao

A1 A1

A2

B2

G2

56 / 79

26

Conexidade e simplicidade

(i , j ) ||i ||/||j || <i , j ><j , i >

/2 2/3 3 /4 5 /6 1 2 3 0 1 2 3

sao equivalentes. Proposic ao As seguintes armac oes simples. Le irredut e vel. irredut e vel. conexo. O diagrama de Dynkin de (ou , ou L) e os diagramas de Dynkin conexos, obtemos uma classicac das algebras Caracterizando entao ao simples. 57 / 79

Classicac ao
os seguintes. Teorema. Os unicos diagramas de Dynkin conexos que existem sao ... ... ... ...

An (n 1) Bn (n 2) Cn (n 3) Dn (n 4)

E6 E7 E8 F4 G2

58 / 79

27

 Algebras simples
formadas por algebras O teorema anterior prova assim que as fam lias classicas sao simples, quando o corpo e estes. algebricamente fechado de caracter stica 0. Lembramos que conjuntos sao as matrizes de trac An = sl(n + 1, F ) sao o 0. As matrizes que satisfazem XJ + JX = 0, nos seguintes casos: 1 0 0 Para Bn = o(2n + 1, F ), J = 0 0 In . 0 In 0 0 In Para Cn = sp(2n, F ), J = . In 0 Para Dn = o(2n, F ), J =

0 In . In 0

destas ha entao mais 5 algebras notadas E6 , E7 , E8 , F4 e G2 . Para alem simples, que sao 59 / 79

Unicidade (i)
No processo de obter o diagrama de Dynkin de uma algebra de Lie L zemos duas escolhas. Primeiro, escolhe mos uma subalgebra de Cartan H , depois, em escolhemos um SRF . Ora, qualquer outra escolha nos levaria ao mesmo diagrama de Dynkin, devido aos seguintes resultados. Teorema. Seja L uma algebra de Lie semisimples sobre um corpo algebricamente fechado de caracter sitca 0. quaisquer duas subalgebras conjugadas: existe um automorsmo de L, f , tal que Entao de Cartan H e H sao H = f (H ). Teorema. O grupo de Weyl actua duma forma simplesmente transitiva no conjunto dos SRFs de . bem denido. Assim, o sistema de ra zes de uma algebra de Lie semisimples esta 60 / 79

28

Unicidade (ii)
isomorfas? E pode um sistema de ra zes provir de duas algebras de Lie nao nao, pois existe um algoritmo (determinista) que permite construir a algebra Tambem de Lie a partir dum diagrama de Dynkin, retrocedendo cada passo. estao nas 4 fam Assim se podem construir, por exemplo, as 5 algebras simples que nao lias classicas. uma correspondencia isomorfas e os diagramas de Dynkin apreAssim, ha bijectiva entre algebras simples nao sentados. 61 / 79

Finita de Algebras Representac oes de Dimensao Semisimples

Relembrando. . .

62 / 79

de dimensao nita de algebras Vamos agora estudar as representac oes semisimples. Comec amos por xar uma em L. Sabemos que L se decomopoe em espac subalgebra de Cartan H e estudar a sua acc ao os proprios para toda a subalgebra simultaneamente, indexados pelas ra zes, que fazem o papel dos valores proprios generalizados:

L := {x L : h H (ad h)(x) = (h)x}.

Temos que: 1 e [L , L ] = L+ . L tem dimensao Para x L , existe y L , tal que, pondo h := [x , y ] H , temos

<x , y , h > = sl(2, F ).

bem denidos (nao dependem da escolha de x ) e (h ) Z. Os elementos h estao 63 / 79

29

Teorema de Weyl
que L = I1 . . . Ik , ideais simples. Isto e dizer que a representac adjunta e completaSabemos tambem ao um caso particular de um teorema mais geral. mente decompon vel. Na verdade, isto e duma algebra completamente decompon Teorema de Weyl. Qualquer representac ao de Lie semisimples e vel. : L glV uma representac irredut da decomposic Seja entao ao vel. Sabemos tambem, pela conservac ao ao formado por elementos de Jordan-Chevalley (x = s + n, com s ad-diagonalizavel e n ad-nilpotente), que (H ) e simultaneamente diagonalizaveis . associados tambem a subespac Portanto, podemos falar dos pesos de H em V , que estao os de V de dimensao modulos 1, que sao H irredut veis. 64 / 79

Reticulado dos pesos

H um peso de H em V , isto e, o seguinte espac maior que 0: Seja entao o tem dimensao

V = {v V : h H h.v = (h)v }
. Temos que, se , (h ) Z. Proposic ao se passava com as ra adjunta. Isto ja zes, que eram os pesos da representac ao o conjunto Tomemos entao

W = { H : (h ) Z},
a que chamaremos o reticulado dos pesos. 65 / 79

30

Reticulado das ra zes

Reticulado dos pesos:

W = { H : (h ) Z}.
vimos W , e portanto Pelo que ja

Z W .

nito. Chamamos a R := Z o reticulado das ra zes. Temos que W /R e Vejamos estes dois reticulados no sistema de ra zes de sl(3, F ) = A2 . 66 / 79

Exemplo: A2 = sl(3, F )
Reticulados das ra zes (a preto) e dos pesos (a cinzento) de A3

67 / 79

31

Pesos mais altos

Teorema. Seja W um elemento do reticulado dos pesos, que esteja dentro da camara de Weyl fechada.

existe uma representac irredut nita, que admite esse peso Entao ao vel de L, : L glV , de dimensao de H , isto e, todos os outros pesos se obtem somando a ra como peso mais alto, para a acc ao zes negativas (ou subtra ndo positivas).

os elementos de W contidos no poliedro limitado por { () : } Os pesos que aparecem em V sao e que se podem obter como foi dito acima. Os pesos que aparecem em V formam um conjunto invariante pelo grupo de Weyl. (x)(v ) V+ . Se x L L, e v V , com W um peso que aparece em V , entao 68 / 79

Mais uma vez em A2 = sl(3, F )

69 / 79

32

 Teorema PBW e Consequencias

Teorema PBW

70 / 79

Seja L uma algebra de Lie qualquer. Vamos agora construir uma algebra associativa que contenha L, a menos de isomorsmo, em que [x, y ] = xy yx. um quociente da algebra Esta algebra, chamada algebra envolvente universal, e tensorial de L:

U (L) := (nN n V )/<x y y x [x, y ]>.

o teorema de Poincare-Birkhoff-Witt, O resultado mais importante sobre esta algebra e que apresentamos a seguir.
r uma base o conjunto dos monomios Teorema PBW. Seja {x1 , . . . , xr } uma base de L. Entao {x11 . . . xi r }e de U (L).

Este teorema diz que a algebra envolvente universal, neste aspecto, se comporta como a algebra simetica. 71 / 79

Consequencias para as algebras semisimples

um passo importante nas demonstrac de existencia ` algebras O teorema PBW e oes relativas as semisimples. poss Por exemplo, usa-se para provar que e vel encontrar uma algebra de Lie semisimples com um dado sistema unica de ra zes (que e a menos de isomorsmo). tambem usado na demonstrac do teorema de Ado, que vamos ver a seguir. E ao 72 / 79

33

Teoremas de Levi e Ado

nita. Entao existe um complemento para o seu Teorema de Levi. Seja L uma algebra de Lie de dimensao radical,

L = Rad L M,
sao conjugadas. chamada uma algebra de Levi. Todas as algebras que satisfazem esta condic ao nita admite uma representac el de dimensao nita. Teorema de Ado. Toda a algebra de Lie de dimensao ao 73 / 79

Algebras de Lie e Grupos de Lie

e exemplos Denic ao

74 / 79

diz-se um grupo de Lie se (G, .) for um grupo e uma variedade Denic ao Um conjunto G com uma operac ao C , em que as operac oes

sejam C .

GG G (g, h) g.h

G G g g 1

Exemplos. Seja J2n =

0 In grupos de Lie. . Os seguintes conjuntos sao In 0 Sp(2n, C) = {X M (n, C) : X t J2n X = J2n }, SL(n, C) = {X M (n, C) : det X = 1},

SO(n, C) = {X M (n, C) : X t In X = In , det X = 1}.

variedades denidas por equac . Em qualquer dos casos, os grupos sao oes 75 / 79

34

O espac o tangente
um homomorsmo de grupos de Lie se for um homomorDizemos que f : G G , entre dois grupos de Lie, e smo de grupos suave. Como f (e) = (e ), temos que Df : T Ge T G e . do tipo (x) = c, o espac denido por Ora, para variedades denidas por equac oes o tangente na identidade e De (X ) = 0, se esta derivada for sobrejectiva. Assim, as algebras classicas aparecem como os espac os tangentes a estes grupos de Lie, pois, para uma matriz K xa,

D (det)In (X ) = tr(X ), D (ZKZ )In (X ) = KX + XK.

das algebras a identidade, foi para Se, na denic ao o(n, C) escolhemos outras matrizes simetricas, que nao a formar a subalgebra termos matrizes diagonais que vem de Cartan. 76 / 79

Diferenciando morsmos
` procura da estrutura dos espac Vamos agora a os tangentes na identidade preservada pela derivada de qualquer homomorsmo de grupos de Lie. por um elemento g G, cg (h) = ghg 1 . Notamos por cg a conjugac ao Vamos notar Adg := D (cg )e . Temos Adg : Te G Te G. Tomamos agora a derivada de g Adg , na identidade, chamamos-lhe ad. Temos que, para X, Y Te G,

ad(X ) TI (Aut(Te G)) = End(Te G),

encarar ad como uma aplicac bilinear anti-simetrica, portanto ad(X )(Y ) Te G. Podemos entao ao que vem a satisfazer a igualdade de Jacobi. 77 / 79

35

 A estrutura de algebra de Lie

Adg := D (cg )e . a derivada de g Adg , na identidade. ad e bilinear, anti-simetrica Para X, Y Te G, ad(X )(Y ) e e satisfaz a igualdade de Jacobi.
Assim, pondo

[X, Y ] := ad(X )(Y ),

que se prova ser invariante pelas derivadas de morsmos de grupos de Lie, e que confere obtemos uma operac ao a Te G uma estrutura de algebra de Lie. 78 / 79

Representac oes de grupos de Lie

entre representac de algebras a seguinte. A relac ao oes de Lie semisimples e grupos de Lie e uma correspondencia uma certa algebra Teorema. Ha bijectiva entre os grupos de Lie G que tem de Lie semisimples L e os reticulados com

R W .
o unico simplesmente conexo. O grupo correspondente a W e que e irredut origem a uma representac irredut Mais, uma representac ao vel de L, de peso mais alto , da ao vel de G se . Em particular, se G e simplesmente conexo, todas as representac origem a se e so oes de L dao de G. representac oes 79 / 79

36