Uma Introducao as Algebras de Lie

Aline de Souza Lima

Departamento de Matematica e Estatstica Universidade Federal de Goias
alinelima@mat.ufg.br Resumo. Algebras de Lie surgem naturalmente como espacos vetoriais de transformacoes lineares dotados com uma nova operacao a qual, em geral, nao e comutativa nem associativa. Apresentamos aqui exemplos, principais propriedades como espaco vetorial e as similaridades entre a estrutura de algebras de Lie e a de grupos. Palavras-chave: Algebras de Lie, Espaco vetorial, Grupos..

Introducao

Uma algebra de Lie consiste de um espaco vetorial L munido de um produto [, ] (chamado colchete ou comutador) bilinear [, ] : L L L que satisfaz a propriedade anti-sim trica, isto e, e [x, y] = [y, x] para x, y L , e tamb m satisfaz a Identidade de Jacobi e [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0, onde x, y, z L. As algebras de Lie formam o aparato b sico da teoria conhecida por teoria de a Lie. Esse nome e devido ao fato de que as algebras de Lie surgiram na d cada de e 1870 com as pesquisas do matem tico noruegu s Sophus Lie (1842 1899) dentro a e de seu programa de estender as equacoes diferenciais a teoria de Galois existente para as equacoes alg bricas. e ` A ideia inicial era estender as equacoes diferenciais a teoria de Galois. Devido ` as suas descobertas, Lie abandona seu objetivo inicial voltado para as equacoes diferenciais e passa a pesquisar as algebras de Lie. O vasto corpo desta teoria desenvolveu-se a partir do conhecimento matem tico dos grupos innitesimais, a descobertos por Lie . Fazendo analogia com a teoria dos grupos, Lie introduziu os conceitos de subgrupos, subgrupos normais, homomorsmos sobrejetivos e mostrou que eles corres pondem as nocoes de sub lgebra, ideais e homomorsmos sobrejetivos de algebras a
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 157

de Lie, respectivamente. Outras nocoes foram detalhadas em trabalhos escritos juntamente com F. Engel e foram introduzidos os grupos derivados e sol veis e u a relacao entre os produtos nas algebras e comutadores nos grupos. Assim, as algebras de Lie aparecem como objetos innitesimais associados aos grupos de transformacoes com o produto da algebra correspondendo ao comutador do grupo. Desta forma, a teoria recebe uma consideracao mais alg brica. e Atualmente a teoria de Lie forma um vasto e coerente corpo do conhecimento matem tico e possui ramicacoes nas diversas areas da matem tica e de suas aplicacoes. a a Na primeira parte desse trabalho, apresentamos a denicao de algebras de Lie e o exemplo da algebra linear geral. Posteriormente observamos as similaridades entre algebras de Lie e a teoria de grupos.

Denicoes e exemplos

Uma algebra A (n o necessariamente associativa) sobre um corpo K e um a espaco vetorial sobre K no qual uma composicao bilinear est denida. Assim, a para cada par (x, y) A A podemos associar o produto xy A e isto satisfaz as condicoes de bilinearidade : 1. (x1 + x2 )y = x1 y + x2 y e x(y1 + y2 ) = xy1 + xy2 ; 2. (xy) = (x)y = x(y). Para todos x1 , x2 , y1 , y2 , x, y A e K Chamamos uma algebra A de associativa se sua multiplicacao satisfaz x(yz) = (xy)z . A dimens o da algebra associativa A sobre o corpo K e sua dimens o como a a a K-espaco vetorial. Seja L um espaco vetorial L sobre um corpo K. Suponhamos que L e munido com uma operacao L L L denotada por (a, b) [a, b]. L e dito uma algebra de Lie, ou uma algebra de Lie sobre K, se a operacao satisfaz as seguintes condicoes, para todos a, b, c L, r, s K, 1. [a, a] = 0; 2. [ra + sb, c] = r[a, c] + s[b, c]; 3. [a, rb + sc] = r[a, b] + s[a, c]; 4. [[a, b], c] + [[b, c], a] + [[c, a], b] = 0, (Identidade de Jacobi).
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 158

Pelo item (1), temos que [a + b, a + b] = 0, para todos a, b L, o que implica que em qualquer algebra de Lie [x, y] = [y, x]. Assim, o produto de Lie e uma aplicacao K-bilinear antisim trica. e Algebras de Lie surgem naturalmente como espacos vetoriais de transformacoes lineares dotados com uma nova operacao a qual, em geral, n o e comutativa nem a associativa. Por exemplo: [x, y] = xy yx (onde as operacoes no lado direito da igualdade s o as usuais). a Usaremos [, ] para denotar a operacao produto em uma algebra de Lie. Um subespaco T de uma algebra de Lie L e chamado uma sub lgebra (de Lie) a se [x, y] T para todos x, y T . Em particular, T e uma algebra de Lie com as operacoes herdadas de L. Entendemos por dimens o de uma algebra de Lie a sua dimens o como espaco a a vetorial. Todas as vezes que mencionarmos L como sendo uma algebra de Lie, estaremos considerando L de dimens o nita. a Exemplo 1: Algebra Linear Geral. Seja V um espaco vetorial de dimensao nita sobre um corpo F , digamos dimV = n. Denotamos por EndV o conjunto de todas as transformacoes lineares de V em V . Como um espaco vetorial sobre F ` , EndV possui dimensao e EndV e uma algebra associativa em relacao a operacao de produto usual. Denamos uma nova operacao [x, y] = xy yx , o comutador de x e y. Com esta operacao, EndV se torna uma algebra de Lie sobre F . Note que os axiomas (1), (2) e (3) s o imediatos e para vericar (4) basta alguns calculos: a [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = [x, yz zy] + [y, zx xz] + [z, xy yx] = 0. Para distinguir esta nova estrutura alg brica da algebra associativa formada pee las transformacoes lineares em V com o produto usual, vamos escrever gl(V ) para EndV visto como algebra de Lie e a chamaremos de algebra Linear Geral (este nome e devido ao fato de estar relacionada com o Grupo Linear Geral GL(V ), que consiste de todos os endomorsmos inversiveis sobre V ). Qualquer subalgebra de uma algebra de Lie gl(V ) e chamada uma algebra de Lie linear. Lembremos que, quando tratamos de transformacoes lineares em um espaco vetorial n-dimensional V , podemos trabalhar no espaco das matrizes, bas tando para isso, xar uma base de V e identicar gl(V ) com o conjunto de todas as matrizes n n sobre o corpo F , denotado por gl(n, F ). Este procedimento se torna muito conveniente para realizacao de c lculos. Para referencia, escrevemos a a ` seguir a tabela de multiplicacao para gl(n, F ) relativa a base can nica, consistindo o das matrizes eij . Como eij ekl = jk eil , segue que [eij , ekl ] = jk eil li ekj , onde ij denota a funcao de Kronecker para i e j. Observe que os coecientes s o todos 1, 1 ou 0. a
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 159

 Na verdade, podemos observar que algebras de Lie surgem de algebras associativas de uma forma muito simples. Seja A uma algebra associativa. Sejam x, y A e dena o produto de Lie (ou comutador) de x e y como [x, y] = xy yx. Facilmente se verica os axiomas da denicao de algebra de Lie. A algebra de Lie obtida desta maneira e chamada a algebra de Lie da algebra associativa A . Ela e denotada por AL . Assim, vemos que a algebra de Lie gl(V ) do exemplo acima e um caso particu lar de algebras de Lie obtidas de algebras associativas. Se H e K s o subalgebras de uma algebra de Lie L , ent o [H, K] denota o a a subespaco de L gerado por todos os comutadores [x, y] com x H e y K. Exemplo : Sejam T (n, F ) o conjunto das matrizes triangulares superiores (aij ) , onde aij = 0 se i > j , N (n, F ) o conjunto das matrizes triangulares estritamente a superiores aij = 0 se i j ) e D(n, F ) o conjunto das matrizes diagonais. E f cil vericar que cada um desses conjuntos e fechado para a operacao [, ] denida para gl(n, F ) . Eles s o subalgebras de gl(n, F ), que desempenham um papel importante a dentro desta teoria. Observe que temos t mbem que T (n, F ) e a soma direta dos a espacos vetoriais D(n, F ) e N (n, F ) al m disso [D(n, F ), N (n, F )] = N (n, F ) e e [T (n, F ), T (n, F )] = N (n, F ).

Ideais e Homomorsmos

Os ideais t m lugar especial na teoria das algebras de Lie. Sua aplicabilidade e ` se assemelha aquela desempenhada pelos subgrupos normais na Teoria dos Grupos e pelos ideais na Teoria dos An is, eles surgem como n cleos de homomorsmos. e u Denicao: Um subespaco I de L e dito um ideal da algebra de Lie L, I R L, se [I, L] I, ou equivalentemente, [L, I] I. Claramente podemos ver que L e o subespaco formado apenas pelo vetor nulo s o ideais de L. a Exemplo: O centro de uma algebra de Lie L, Z(L) = {z L/[x, z] = 0, x L} e um ideal de L. Para vericar isto, mostraremos que Z(L) e um subespaco vetorial de L e que [x, y] Z(L) para todos x L e y Z(L). (i) Sejam x, y Z(L) e F . Assim, [x, z] = 0 = [y, z] , para todo z L. Temos ainda [x + y, z] = [x, z] + [y, z] = 0 . Logo, x + y Z(L); (ii) Sejam x L e yinZ(L). Isto implica que [x, y] = 0 e, assim, [x, y]inZ(L). Denicao: Uma algebra de Lie L e dita abeliana se [x, y] = 0, para todos x, y L.
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 160

 Logo, uma algebra de Lie e abeliana se, e somente se, Z(L) = L Exemplo: Um outro exemplo interessante de ideal de uma algebra de Lie L e a a algebra derivada de L, denotada por [L, L] , que e an loga ao subgrupo comuta dor de um grupo. Esta algebra e constituida de todas as combinacoes lineares dos comutadores [x, y] com x, y L. Assim, podemos escrever que L e abeliana se, e somente se, [L, L] = 0. E natural analisar a estrutura de uma algebra de Lie L olhando para seus ideais. Se L n o possui ideais, exceto L e o espaco formado apenas pelo vetor nulo, e se al m a e disso, [L, L] = 0 (isto e, L n o e abeliana), L e chamada simples. a Observe que L simples implica que Z(L) = 0 e L = [L, L]. No caso de uma algebra de Lie L nao ser simples (e n o unidimensional), e possivel extrair de L a um ideal proprio I nao-nulo e assim obter uma algebra de Lie de dimens o menor. a A construcao de uma algebra quociente L (I um ideal de L ) e formalmente o I mesmo tipo de construcao feita para um anel quociente. Como espaco vetorial, L e I exatamente o espaco quociente, enquanto seu produto de Lie e denido da seguinte forma [x + I, y + I] = [x, y] + I.

` Resultados analogos a grupos

` Agora, mencionamos algumas nocoes e conceitos an logos aqueles que sur a gem quando estudamos a Teoria dos Grupos. Vamos tratar tamb m de conceitos e importantes dentro da teoria aqui apresentada. Discutiremos as denicoes de ho momorsmo e representacao de uma algebra de Lie. Seja X um subconjunto de um algebra de Lie L. O centralizador de X em L e denido por CL (X) = {y L|[X, y] = 0} . Utilizando a Identidade de Jacobi verica-se que CL (X) e uma sub lgebra de a L. A sub lgebra CL (L) de L e chamada de centro de L e e denotada por Z(L). a J o normalizador em L deve ser tomado sob uma sub lgebra X e e denido a a por NL (X) = {y L|[X, y] X} . Da mesma forma temos que NL (X) e uma sub lgebra de L. a Denicao: Uma transformacao linear : L L , onde L e L s o algebras de a Lie, e chamada homomorsmo se ([x, y]) = [(x), (y)], onde x, y L.
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 161

 e um monomorsmo se ker = 0, e e um epimorsmo se Im = L . Dize mos que e um isomorsmo se e monomorsmo e epimorsmo. Lema: Seja um homomorsmo de algebras de Lie. Ent o ker e um ideal a de L e Im e uma sub lgebra de L . a A aplicacao quociente : L L/I, denida por a = a + I, para todo a L, e um homomorsmo (de Lie) sobrejetor, chamado homomorsmo can nico onde o o n cleo de e I. u Como em outras estruturas alg bricas, existe uma correspond ncia biunvoca e e natural entre homomorsmos e ideais: para um homomorsmo est associado a ker e para um ideal I est associada a aplicacao can nica x x + I de L para L . a o I Teorema (Teoremas do Homomorsmo): 1. Se : L L e um homomorsmo de algebras de Lie, ent o a 2. Se I e J s o ideais de L tais que I J , ent o a a L isomorfo a J ;
I J L ker

Im; =
L I

e um ideal de

L/I J/I

3. Se I e J s o ideias de L , ent o existe um isomorsmo natural entre a a I . IJ

I+J J

Conclusoes

` Adicionando uma nova operacao a estrutura de espacos vetoriais, a qual cha mamos de colchete de Lie, obtemos uma nova estrutura alg brica, as algebras de e Lie. As algebras de Lie foram introduzidas como ferramenta para o estudo das rotacao innitesimais. Al m da estrutura de espaco vetorial, com essa nova operacao, Lie obteve uma e analogia com a teoria dos grupos, introduzindo os conceitos de subgrupos, sub` grupos normais, homomorsmos sobrejetivos e mostrou que eles correspondem as nocoes de sub lgebra, ideais e homomorsmos sobrejetivos de algebras de Lie, res a pectivamente. Atualmente a teoria de Lie forma um vasto e coerente corpo do conhecimento matem tico e possui ramicacoes nas diversas areas da matem tica e de suas aplicacoes. a a O principal uso est no estudo dos grupos de Lie e das variedades diferenci veis. a a Uma das mais importantes contribuicoes da teoria de Lie foi dada por Zelmanov, E., ganhador da medalha Fields em 1994. Ele utilizou as algebras de Lie como ferramenta na solucao do Problema Restrito de Burnside.
Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a 162

 Referencias
[1] [2] [3] [4] [5] Jacobson, N. Lie algebras. New York, Interscience, 1962. Lipschutz, S. Algebra linear: teoria e problemas. 3.ed., S o Paulo, Maa kron Books do Brasil, 1994. Robinson, D. J. S. A course in the theory of groups. 2.ed., New York, Springer-Verlag, 1995. Samelson, H. Notes on Lie algebras. Van Nostrand Mathematical Studies, 23, 1969. San Martin, L. A. B. Algebras de Lie. Campinas, Editora da Unicamp, 1999.

Anais do II Simp sio de Matem tica e Matem tica Industrial - SIMMI2010, Vol. 1, ISSN 2175-7828 o a a

163