GEOMETRIA DIFERENCIAL

19 de Janeiro de 2016

Contedo
1

lgebras de Lie de um Grupo de Lie

1.1 Campos Esquerda-Invariantes sobre um Grupo de Lie
1.2 lgebra de Lie g de um Grupo de Lie G . . . . . . . .
1.3 lgebras de Lie como linearizaes de Grupos de Lie
1.4 A aplicao exponencial . . . . . . . . . . . . . . . . .
1.4.1 A Formula de Campbell-Baker-Hausdorff . .
1.5 Relaoes entre Grupos de Lie e lgebras de Lie . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

2
2
4
4
6
6
7

lgebras de Lie
2.1 lgebras de Lie abstractas . . . . . . . . . . . . . . . . . . . . .
2.1.1 Constantes de Estrutura . . . . . . . . . . . . . . . . . .
2.1.2 Homomorfismos entre lgebras . . . . . . . . . . . . .
2.2 Exemplos de lgebras de Lie . . . . . . . . . . . . . . . . . . .
2.2.1 k como lgebra de Lie unidimensional . . . . . . . . .
2.2.2 sln ou An1 . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.3 oB,V ou lgebras ortogonais . . . . . . . . . . . . . . . .
2.2.4 so2n+1 ou Bn . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.5 so2n ou Dn . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.6 sp2n ou Cn . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.7 tn , nn , dn . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.8 Classificao das lgebras de Lie de dimenso 1, 2 e 3
2.3 Representaes . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1 Definies . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 A representao Adjunta . . . . . . . . . . . . . . . . .
2.4 lgebras nilpotentes e lgebras Solveis . . . . . . . . . . . .
2.5 Grupos de Lie Classicos e lgebras associadas . . . . . . . . .

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

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

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

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

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

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

8
8
9
11
11
12
12
12
12
13
13
13
13
14
14
15
16
17

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

Captulo 1
lgebras de Lie de um Grupo de Lie
Nesse captulo iremos introduzir uma estrutura lgebrica que resulter muito til na
anlise dos Grupos de Lie ou seja a de lgebra de Lie g de um Grupo de Lie G.
Em primeiro lugar iremos definir essa estrutura como a lgebra dos campos esquerdainvariantes de um Grupo de Lie, i.e. L ( G ), fornecido com um produto que o mesmo
comutador dos campos vetoriais [, ]. Sucessivamente iremos provar que possvel
fornecer um produto e uma estrutura de lgebra ao Espao Tangente do Grupo de Lie
na identidade do Grupo, i.e. Te ( G ), tal que possvel definir um isomorfismo de lgebras de Lie entre o Espao Tangente Te ( G ) e os campos esquerda-invariantes L ( G ).
Portanto iremos demonstrar que ambivalentemente possvel pensar numa lgebra
de Lie g de um Grupo de Lie G como o Espao Tangente na identidade de um Grupo
de Lie.
Na parte sucessiva do captulo iremos encontrar uma aplicao, i.e. a aplicao
exponential, que nos perimitir de encontrar um difeomorfismo local entre as lgebras
de Lie e os Grupos de Lie. A importncia desse resultado reside no facto que o estudo
das lgebras de Lie em geral muito mais simples do estudo dos Grupos de Lie sendo
as lgebras de Lie espaos vetoriais cujo estudo parte da lgebra Linear, no enquanto
os Grupos de Lie so simplesmente Variedades Diferenciveis.
Na ltima seco do captulo iremos ver a dimenso dessa corrispondncia entre
lgebras de Lie e Grupos de Lie.

1.1

Campos Esquerda-Invariantes sobre um Grupo de Lie

No captulo rpecedente vimos como um difeomorfismo entre pontos da variedade

possa induzir um difeomorfismo entre os espaos tangentes desses pontos que permite
de relacionar os vetores de um com os vetores do outro. Chammos de paralelizveis
as variedades com a carateristca de tiver uma base do espao tangente globalmente
definida.
No caso em que G seja um Grupo de Lie, ou seja no caso de uma variedade suave
com operaes de grupo diferenciveis, ento temos alguns difeomorfismos de G em
G cannicos derivantes d mesma estrutura de grupo de G i.e.:
(AO ESQUERDA)
(AO DIREITA)
(ADJUNTA)

L g : G 3 p L g ( p) = g p G
R g : G 3 p R g ( p) = p g G

(1.1.1)
(1.1.2)

Ad g : G 3 p Ad g ( p) = g p g1 G

(1.1.3)

Esses difeomorfismos podem ser utilizados para relacionar os espaos tangentes

nos pontos diferentes da variedade utilizando a noo de push-forward.
2

CAPTULO 1. LGEBRAS DE LIE DE UM GRUPO DE LIE

Nos captulos precedentes nos consideramos a noo de push-forward de um vetor

atrves de uma aplicao induzida entre espaos tangentes:


L g : Tp G 3 X p L g X p TLg ( p) G
(1.1.4)
onde por cada vetor do espao tangente em p assocamos um vetor no espao tangente em L g ( p) dado por




L g X p ( f ) := X f L g ( p)
(1.1.5)
Agora queremos extendir a noo de pushforward a um campo vetorial.
Definio 1. Seja F : M N um difeomorfismo entre M, N variedades suaves e seja
X ( TM) um campo vetorial sobre M, ento podemos definir um campo vetorial
Y ( TN ) sobre N chamado de push-forward de X:
Y = F ( X )
onde por cada p N e cada f C ( N )





1
( F ( X )) p ( f ) := F XF1 ( p) ( f ) = X ( f F ) F ( p)

(1.1.6)

(1.1.7)

Observao 2. No caso dos grupos de Lie, considerando o difeomorfismo L g : G 3

p L g ( p) = g p G obtemos que o push-forward do campo vetorial X ( TG )
por L g o campo vetorial L g ( X ) ( TG ) assim definido





(1.1.8)
L g ( X ) p ( f ) := X f L g L g1 ( p)
Definio 3. Seja ( G, ) um Grupo de Lie e X ( TG ) um campo vetorial sobre G,
chamamos X de campo esquerda-invariante se por cada g G
L g ( X ) = X

(1.1.9)

Observao 4. A equao L g ( X ) = X quer dizer que se o campo vetorial X esquerdainvariante ento g, p G e f C ( G ) temos que





L g ( X ) p ( f ) = X f L g L g 1 ( p ) = X p ( f )
(1.1.10)
Exemplo 5. O campo X =


R2 , + . Nesse caso

x1

esquerda-invariante sobre o Grupo de Lie G =

L g : R2 3 p L g ( p) = g + p R2


Por cada g, p R2 e f C R2 temos que
 !




L g
f Lg
=
(f) =
x1 p
x1
L g 1 ( p )




L g ( x )
f
=
=
x1 Lg ( p g)
x1
( p g)


f
=
= Xp ( f )
x1 p

(1.1.11)

(1.1.12)
(1.1.13)
(1.1.14)

CAPTULO 1. LGEBRAS DE LIE DE UM GRUPO DE LIE

1.2

lgebra de Lie g de um Grupo de Lie G

Proposio 6. Seja G um grupo de Lie, ento os campos vetoriais esquerda invariantes sobre
G i.e.L ( G ), com o comutador entre campo vetoriais [, ] formam uma lgebra de Lie.
Definio 7. Seja ( G, ) grupo de Lie ento diz-se lgebra de Lie associada ao grupo de
Lie G e indica-se g a lgebra de Lie obtida das campos vetoriais esquerda-invariantes
L ( G ) com o comutador entre campos vetoriais.
Teorema 8. Seja G um grupo de Lie, ento existe um produto J, K sobre Te G tal que existe
um isomorfismo entre algebras de Lie entre ( Te G, J, K) e (L ( G ) , [, ]).
Demonstrao. Definimos a aplicao
j : Te G 3 Xe j ( Xe ) L ( G )


onde g G e f C R2 temos
j ( Xe ) g ( f ) := L g ( Xe ) ( f )

(1.2.1)

(1.2.2)

Para obter uma lgebra de Lie sobre Te G precisamos definir o produto J, K a partir da o comutador em (L ( G ) , [, ]). De facto [ j ( X ) , j (Y )] novamente um campo
vetorial que definido em e tambm, portanto podemos considerar:
JX, YK := [ j ( X ) , j (Y )]e

(1.2.3)

no jeito que seja realizado automaticamente um isomorfismo de lgebras de Lie

entre ( Te G, J, K) e (L ( G ) , [, ]).
Observao 9. As lgebras de Lie g = (L ( G ) , [, ]) definidas a partir da os campos
esquerda-invariantes sobre um grupo de Lie G, podem tambm ser pensadas como o
espao tangente de G no ponto da identidade do Grupo e, i.e.: ( Te G, J, K).
As constantes de estrutura da lgebras so facilmente encontradas com a formula:
{

 

s
n

k
,
(1.2.4)
= Cij
xi e
x k Id
x j e
k =1
onde
s

1.3

xi

 
{






,
, L g
( f ) := L g
(f)
xi e
x j e
x j e e
e

(1.2.5)

lgebras de Lie como linearizaes de Grupos de Lie

Encontrar as constantes de estrutura da lgebra de Lie partendo da o espao dos campos esquerda-invariantes de G pode ser muito elaborado. Nesse caso podemos proceder direitamente com uma linearizao do grupo G numa vizinhana da identidade.
Embora a ideia seja muito simples as ferramentas matemticas necessarias por tornar esse procedimento rigoroso so um pouco abstractas. Portanto antes de desenvolver num jeito matematicamente preciso iremos apresentar um exemplo do que quisermos fazer e depois iremos apresentar todas as ferramentas necessarias.

CAPTULO 1. LGEBRAS DE LIE DE UM GRUPO DE LIE

Exemplo 10. Seja SU (2) o Grupo de Lie
n
o
SU (2)
= U M22 (C) | UU = I, det (U ) = 1

(1.3.1)

O nosso objectivo encontrar uma caraterizao da lgebra de Lie corrispondente

i.e.: su (2). Para fazer isso vamos considerar uma aproximao de um elemento de
SU (2) na proximidade da unidade


1 + eX11
eX12
(1.3.2)
U = I + eX =
eX21
1 + eX22
Para que o elemento possa pertencer a SU (2) preciso que UU = I e que det (U ) =
1 portanto:
UU = I
( I + eX ) ( I + eX ) = I
I + e ( X + X ) + e2 ( XX ) = I


Deixando todos os termos que sejam O e2 obtemos a condio

(X + X ) = 0

(1.3.3)
(1.3.4)
(1.3.5)

(1.3.6)

No enquanto a segunda condio

det (U ) = 1


1 + eX11
eX12
det
= 1 + eTr ( X ) + e2 det ( X )
eX21
1 + eX22

(1.3.7)
(1.3.8)

Deixando todos os termos que sejam O e2 obtemos a condio
Tr ( X ) = 0

(1.3.9)

Portanto obtemos a representao d lgebra de Lie su (2) como lgebra linear

su (2)
= { X gl2 (C) | X = X , Tr ( X ) = 0}

(1.3.10)

Para traduzir esse procedimento de um jeito formal preciso introduzir uma nova
lgebra sobre o campo base K onde identificamos todos os polinomios em e com ordem maior de 2 (cfr. Victor Ka, Lectures Notes, Mit).
 
D := K [e] / e2
(1.3.11)
Depois podemos definir as matrizes com coeficientes na lgebra Mnn ( D ) e requerir
que a lgebra de Lie associada a um grupo G seja formada de todas as matrizes tais
que I + eX satisfaz as condies do Grupo na nova lgebra.
Definio 11. Seja G um grupo de Lie caracterizado da algumas equaes polinomiais
matriciais { P ( A) = 0}I . Chamamos de Grupo lgebrico de Lie sobre a lgebra D o
grupo
G ( D ) := { A Mnn ( D ) | A invertvel, P ( A) = 0 I }

(1.3.12)

CAPTULO 1. LGEBRAS DE LIE DE UM GRUPO DE LIE

E chamamos de lgebra de Lie de um Grupo de Lie G como

( Lie ( G ) , [, ])

(1.3.13)

Lie ( G ) = { X gln (K) | In + eX G ( D )}

(1.3.14)

onde

com a operao induzida da gln (K) i.e.:[ A, B] = AB BA

Essa definio torna-se uma definio equivalente definio que j vimos da lgebra de Lie como campos vetoriais esquerda-invariantes sobre um Grupo de Lie G.

1.4

A aplicao exponencial

Seja A um elemento no espao tangente de G na identidade Te ( G ) e portanto um elemento de g, ento A g podemos definir um campo vetorial X A tal que
 


X A ( f ) = L p ( A ) ( f )
(1.4.1)
p

Agora seja A : R G a curva integral de X A com A (0) = e. Tal curva sempre

existe por o teorema de existncia e unicidade local das equaes ordinrias.
Definio 12. Seja A : R G a curva integral precedentemente definida, ento
diz-se aplicao exponencial exp : g G a aplicao
exp (tA) := A (t)

(1.4.2)

Observao 13. No caso A seja uma matriz, ento a aplicao a usual exponencial de
matrizes definida como
exp ( A) = I + A +

A3
A2
+
+ ...
2!
3!

(1.4.3)

Proposio 14. A aplicao exponecial possue as seguintes propriedades:

exp ((t + s) A) = exp (tA) exp (sA)

(1.4.4)

exp (tA) = (exp (tA))1

(1.4.5)

Alm desses propriedades a propriedade mais importante da aplicao exponencial

que a aplicao exponencial um difeomorfismo local entre a lgebra de Lie g e o
Grupo de Lie G.
Proposio 15. Seja G um grupo de Lie compacto, ento a aplicao exponencial surjectiva
i.e.: exp (g) G.
Observao 16. Se G compacto, exp () no injectiva sendo g um espao vetorial e
portanto um espao no compacto.

1.4.1

A Formula de Campbell-Baker-Hausdorff

exp (tX ) exp (tY ) = 1 + t ( X + Y ) +

t2
t3
(1.4.6)

[ X, Y ] +
([ X, [ X, Y ]] + [Y, [Y, X ]])
2
12

t4
[ X, [Y, [ X, Y ]]] + ...
24

(1.4.7)

CAPTULO 1. LGEBRAS DE LIE DE UM GRUPO DE LIE

1.5

Relaoes entre Grupos de Lie e lgebras de Lie

Proposio 17. Sejam G e H Grupos de Lie, ento se f uma aplicao suave e homomorfismo
entre grupos de Lie temos que o diagrama seguinte comuta:
f

Gx xH

exp
exp

(1.5.1)

i.e.:
f (exp ( A)) = exp ( f ( A))
gruppi a un parametro e relazione fra sottogruppi di G e sottoalgebre di g

(1.5.2)

Captulo 2
lgebras de Lie
As lgebras de Lie que introduzimos no precedente captulo constituem uma ferramenta indispensvel na Geometria Diferencivel contemporanea e podem ser apresentadas em muitos jeitos diferentes. Da facto h pelo menos trs jeitos distinctos e
equivalentes de apresentar essas lgebras:
1. como resultado de uma linearizao de um grupo de Lie ( G, ) numa vizinhana
da identidade;
2. como espao dos campos vetoriais sobre G que so invariantes pela traslao
esquerda L g ;
3. como lgebra abstracta definida sobre um espao vetorial pelas caracteristicas
intrinsecas
Esses abordagens so equivalentes dado que Cartan demonstrou que todas as lgebras
de Lie podem ser originadas a partir de um Grupo de Lie especifico.
Todavia nesse captulo iremos apresentar algumas noes fundamentais das lgebras de Lie partendo da uma noo abstracta. Na primeira seco apresenteremos as
definies bsicas no respeito das lgebras de Lie, das constantes de estrutura e dos
homomorfismos entre lgebras de Lie.
Na segunda seco achmos melhor apresentar numerosos exemplos de lgebras
de Lie para concluir no final apresentando algumas definies bsicas no respeitos das
representaes.

2.1

lgebras de Lie abstractas

Definio 18. (LGEBRA DE L IE) Um espao vetorial (V, +, ) sobre um campo K dizse lgebra de Lie g = (V, [, ]) se alm de ser um espao vetorial no respeito de uma
operao binaria + e um produto escalar, tem um produto chamado parenteses de Lie

[, ] : g g g

(2.1.1)

que satisfaz as seguintes condies:

( BILINEARIDADE)

[X1 + X2 , Y ] = [ X1 , Y ] + [ X2 , Y ]
[ X, Y1 + Y2 ] = [ X, Y1 ] + [ X1 , Y2 ]
(ANTICOMUTATIVIDADE) [ X, Y ] = [Y, X ]
(IDENTIDADE DE J ACOBI) [ X, [Y, Z ] + [Y, [ Z, X ]] + [ Z, [ X, Y ]] = 0
8

(2.1.2)
(2.1.3)
(2.1.4)
(2.1.5)

CAPTULO 2. LGEBRAS DE LIE

Observao 19. A operao [, ] no associativa dado que em geral

[ X, [Y, Z ]] 6= [[ X, Y ] , Z ]

(2.1.6)

De facto um outro jeito de escrever a identidade de Jacobi evidncia como essa

identidade seja na verdade uma generalizao da associatividade sendo:

[ X, [Y, Z ] = [[ X, Y ] , Z ] [Y, [ Z, X ]]

(2.1.7)

Exemplo 20. Seja um espao vetorial (V, +, ) de dimenso finida sobre um campo K.
Ento podemos definir ma lgebra de Lie glK (V) = (End (V) , [, ]) onde

[ A, B] = A B B A A, B End (V)

(2.1.8)

Definio 21. Se uma lgebra de Lie g uma sub-lgebra de glK (V) ento g diz-se uma
lgebra de Lie linear.
Observao 22. Um teorema de Ado-Iwasawa diz que cada lgebra de Lie de dimenso
finida na verdade uma lgebra de Lie linear.
Definio 23. (IDEAL) Seja g uma lgebra de Lie, um subespao linear h diz-se um ideal
se:

[ H, X ] h H h, X g
h0

(2.1.9)

Um ideal h diz-se prprio se 1

/ h e h 6= {0}. Um idealh diz-se maxmal se por cada
ideal prprio de g, temos que se h h0 ento h0 h.

Definio 24. Uma lgebra de Lie diz-se simples se no possue ideais prprios.
Observao 25. se h for um ideal de g ento h uma estrutura de lgebra de Lie sobre
gh para que : g gh seja um homorfismo de lgebras de Lie.

2.1.1

Constantes de Estrutura

Nessa seco iremos supor que a dimenso do espao vetorial V seja finida e portanto
que seja possvel encontrar uma base E = {ei }1in do espao onde cada vetor X possua
umas coordenadas:
n
X = i ei

(2.1.10)

i =1

Nesse caso a bilinearidade das parenteses de Lie nos permite de definir esse produto exclusivamente sobre os vetores da base de V :
"
#
n
n
n


(2.1.11)
[ X, Y ] = i ei , j e j = i j ei , e j
i =1

j =1

i,j=1

Portanto as parenteses de Lie resultam completamente definidas com a definio

das seguintes constantes:
n


ei , e j = Cijk ek
(2.1.12)
i,j,k =1

CAPTULO 2. LGEBRAS DE LIE

10

Definio 26. Seja g = (V, [, ]) uma lgebra de Lie e seja E = {ei }1in uma base de V
ento as constantes Cijk
n


ei , e j = Cijk ek
(2.1.13)
i,j,k =1

so chamadas constantes de estrutura.

Observao 27. As constantes de estrutura so dependentes d escolha de uma base
E = {ei }1in e portanto diferentes bases levam a diferentes constantes
A propriedade da anticomutatividade das parenteses de Lie

[ X, Y ] = [Y, X ]

(2.1.14)

implica que as constantes de estrutura precisam satisfazer:

Cijk = Cjik

(2.1.15)

No enquanto a identidade de Jacobi implica que:

n

m i
i
m i
Cmk = 0
+Ckh
Cmj + Chj
Cjkm Cmh

1i,j,km

(2.1.16)

m =1

Exemplo 28. Seja R3 o espao euclideo de dimenso 3 e definimos as parenteses de Lie

a partire da o produto esterno usual:

[v, w] = v w

(2.1.17)

que pode ser definido d relao

det(v, w, z) = (v w, z)
(2.1.18)


facil demonstrar que R3 , [, ] uma lgebra de Lie e se E = {e1 , e2 , e3 } ento

[ e1 , e2 ] = [ e2 , e1 ] = e3
[ e1 , e3 ] = [ e3 , e1 ] = e2
[ e2 , e3 ] = [ e3 , e2 ] = e1
[ ei , ei ] = 0
Exemplo 29. Seja SO (3) e escolhemos a base

0 1 0
0 0 0
0 0 1
e1 = 0 0 1 e2 = 0 0 0 e3 = 1 0 0
0 1 0
1 0 0
0 0 0

(2.1.19)
(2.1.20)
(2.1.21)
(2.1.22)

(2.1.23)

E partendo da o ordinario produto de matrizes definimos

[ A, B] = AB BA

(2.1.24)

Ento (SO (3) , [, ]) uma lgebra de Lie com constantes

[ e1 , e2 ] = [ e2 , e1 ] = e3
[ e1 , e3 ] = [ e3 , e1 ] = e2
[ e2 , e3 ] = [ e3 , e2 ] = e1
[ ei , ei ] = 0

(2.1.25)
(2.1.26)
(2.1.27)
(2.1.28)

CAPTULO 2. LGEBRAS DE LIE

11

Exemplo 30. Seja SU (2) e escolhemos a base







1
1 i 0
0 i
0 1
1
1 =
2 = 2
3 =
0 i
1 0
2 i 0
2

(2.1.29)

E partendo da o ordinario produto de matrizes definimos

[ A, B] = AB BA

(2.1.30)

Ento (SU (2) , [, ]) uma lgebra de Lie com constantes

[ 1 , 2 ] = [ 2 , 1 ] = 3
[ 1 , 3 ] = [ 3 , 1 ] = 2
[ 2 , 3 ] = [ 3 , 2 ] = 1
[ i , i ] = 0

2.1.2

(2.1.31)
(2.1.32)
(2.1.33)
(2.1.34)

Homomorfismos entre lgebras

Definio 31. ( HOMORFISMO ENTRE LGEBRAS DE L IE ) Sejam (g, [, ]) e (h, J, K) dois

lgebras de Lie, ento uma aplicao : g h chamada de homorfismo entre lgebras
de Lie se
([ X, Y ]) = J ( X ) , (Y )K
(2.1.35)

Observao 32. Seja : g g0 um homorfismo entre lgebras de Lie, ento:

(i)ker g um ideal de g.
(ii)Im g0 uma sub-lgebra de Lie de g0 .
(iii) Existe um isomorfismo entre lgebras de Lie tal que Im
= g ker

Exemplo 33. Seja : (SO (3) , [, ]) (SU (2) , [, ]). Sejam {ei } e {i } as bases de
SO (3) e SU (2) que apresentamos nos exemplos precedentes e seja o homomorfismo
resultante da extenso linear de
( ei ) = i

i = 1, 2, 3

(2.1.36)

i.e. o homomorfismo de lgebras de Lie onde:

!
n

i =1

v i ei

= v i i

(2.1.37)

i =1

Observao 34. No exemplo precedente muito fcil demonstrar que ker = {0} portanto um isomorfismo entre lgebras de Lie embora SO (3) e SU (2) no sejam
grupos de Lie isomorfos. Na verdade iremos ver que as lgebras de Lie s induzem
um homomorfismo local entre Grupos de Lie.

2.2

Exemplos de lgebras de Lie

Muitos exemplos podem ser derivados dao teoerema seguinte:

Teorema 35. Seja ( A, ) uma lgebra associativa ento g = ( A, [, ]) onde

[ a, b] := a b b a

a, b A

(2.2.1)

uma lgebra de Lie

Corolrio 36. gln (K) = ( GL(Kn ), [, ]) onde [ A, B] := AB BA por cada A, B GL (Kn )
uma lgebra de Lie

CAPTULO 2. LGEBRAS DE LIE

2.2.1

12

k como lgebra de Lie unidimensional

Sendo K um campo e portanto uma lgebra comutativa em particular um espao

vetorial de dimenso 1 e possvel estabelecer uma estrutura de lgebra de Lie: k =
(K, [, ]0 ) onde o produto bilinear [ a, b]0 0. Esse exemplo um exemplo de lgebra
de Lie comutativa.

2.2.2

sln ou An1

Sendo gln (K) e k duas lgebras de Lie podemos considerar o homomorfismo entre
lgebras de Lie fornecido pela Traa Tr : gln (K) 3 A Tr ( A) k. De facto a Traa
pertenece a uma classe especial de homomorfismos chamados carcter.
A Traa um homomorfismo entre lgebras de Lie e
Tr ([ A, B]) = Tr ( AB BA) = Tr ( AB) Tr ( BA) = 0

(2.2.2)

Portanto temos queker ( Tr ) = { A gln (K) | Tr ( A) = 0} um ideal de gln (K).

De facto se utilizamos o mesmo produto bilinear de gln (K) obtemos uma lgebra
de Lie:
An = sln+1 = ({ A gln (K) | Tr ( A) = 0} , [, ]) .
(2.2.3)

2.2.3

oB,V ou lgebras ortogonais

Seja gl (V) = ( End (V ) , [, ]) a lgebra de Lie dos endomorfismos com [ a, b] := a b

b a. Ento por cada forma bilinear B (, )
B (, ) : V V 3 (v, w) B (v, w) K

(2.2.4)

podemos definir a lgebra de Lie chamada de lgebra ortogonal:

oB,V = ({ A gl (V) | B ( Av, w) + B (v, Aw) = 0 v, w V} , [, ])

(2.2.5)

De facto imediato verificar que oB,V um sub-espao vetorial e as propriedades

do produto bilinear [, ] so as mesmas propriedades verificadas no caso da algebra
gl (V).
Agora se escolhermos uma base por V e realizarmos o isomorfismos cannico entre V
= Kn ento podemos realizar o isomorfismo cannico entre gl (V)
= Mnn (K),
T
B (v, w) = v Bw onde B agora a representao matricial da forma bilinear B (, ) e
oB,V torna-se
n
o

n
T
oB,V =
A Mn (K) | A B + BA = 0 v, w V , [, ]
(2.2.6)

2.2.4

so2n+1 ou Bn

Supondo o espao vetorial de dimenso 2n + 1 e portanto V

= K2n+1 e supondo a
forma bilinear B (, ) seja simtrica, uma representao matricial da forma bilinear

0
B= .
..
0

00

0 In
In 0

(2.2.7)

Nesse caso a lgebra de Lie ortogonal chama-se

oB,V so2n+1 Bn

(2.2.8)

CAPTULO 2. LGEBRAS DE LIE

2.2.5

13

so2n ou Dn

Supondo o espao vetorial de dimenso 2n e portanto V

= K2n , e supondo a forma
bilinear B (, ) seja simtrica, uma representao matricial da forma bilinear


0 In
B=
(2.2.9)
In 0
Nesse caso a lgebra de Lie ortogonal chama-se
oB,V so2n Dn

2.2.6

(2.2.10)

sp2n ou Cn

Supondo o espao vetorial de dimenso 2n e portanto V

= K2n e supondo a forma
bilinear B (, ) seja anti-simtrica, uma representao matricial da forma bilinear


0 In
B=
(2.2.11)
In 0
Nesse caso a lgebra de Lie ortogonal chama-se
oB,V sp2n Cn

2.2.7

(2.2.12)

tn , nn , dn

Outras lgebras de Lie Lineares e muitos utilizadas so as sub-lgebras de gln :

tn : a lgebra das matrizes n n triangulares superiores tn+ e inferiores tn ;
nn :a lgebra das matrizes n n triangulares superiores nn+ e inferiores nn com
diagonal nula;
dn : a lgebra das matrizes n n diagonales;
Algumas propriedades notaveis so:
tn + = nn + dn
nn+ = [tn+ , tn+ ]
tn = nn dn
nn = [tn , tn- ]

2.2.8

(2.2.13)
(2.2.14)
(2.2.15)
(2.2.16)

Classificao das lgebras de Lie de dimenso 1, 2 e 3

Em geral possvel classificar direitamente as lgebras de Lie de dimenso 1, 2 e 3

sendo:
lgebras de Lie de dimenso 1: a nica lgebra possvel e simplesmente lgebra
abeliana de dimenso 1 i.e.:k = (K, [, ]0 ) onde o produto bilinear [ a, b]0 0 por
cada a, b k.
lgebras de Lie de dimenso 2: sendo g um espao vetorial de dimenso dois
sejam e1 , e2 g uma base de g. As duas lgebras possveis so isomorfas a:
a lgebra abeliana de dimenso 2 onde[, ]0 0 e

CAPTULO 2. LGEBRAS DE LIE

14

a lgebra no abeliana de dimenso 2 onde [e1 , e2 ] = e2 .

lgebras de Lie de dimenso 3: sendo g um espao vetorial de dimenso trs,
sejam e1 , e2 , e3 g uma base de g. As trs lgebras possveis so isomorfas a:
uma lgebra abeliana de dimenso 3 onde[, ]0 0 e


a lgebra do produto esterno R3 , [, ] onde

[ e1 , e2 ] = e3
[ e1 , e3 ] = e2
[ e2 , e3 ] = e1
[ei , ei ] = 0 i = 1, 2, 3

(2.2.17)
(2.2.18)
(2.2.19)
(2.2.20)

a lgebra de Heisenberg onde chamando e1 = p, e2 = q,e3 = h

[ p, q] = h
[h , p] = [h , q] = 0

(2.2.21)
(2.2.22)

Unimodular 3 Dimensional Lie lgebras

2.3
2.3.1

Representaes
Definies

Definio 37. ( REPRESENTAO ) Seja g uma lgebra de Lie sobre um campo k, V um

espao vetorial sobre o mesmo campo k ento um homorfismo entre lgebras de Lie
: g glk (V)

(2.3.1)

diz-se representao da lgebra de Lie. Se ker = {e} ento a representao diz-se

fel.
Exemplo 38. Seja a lgebra de Lie so (3, R) definida sobre a base X1, X2 , X3 ds seguintes constantes de estrutura:

[ X1 , X2 ] = X3
[ X1 , X3 ] = X2
[ X2 , X3 ] = X1
[ Xi , Xi ] = 0

(2.3.2)
(2.3.3)
(2.3.4)
(2.3.5)

Ento podemos definir duas representaes de so (3, R)

1 : so (3, R) gl3 (R)

(2.3.6)

a continuao linear definidas por

0 0 0
0 0 1
0 1 0

1 ( X1 ) = 0 0 1 , 1 ( X2 ) = 0 0 0 , 1 ( X3 ) = 1 0 0(2.3.7)
0 1 0
1 0 0
0 0 0

CAPTULO 2. LGEBRAS DE LIE

e

15

2 : so (3, R) gl3 (R)

(2.3.8)

a continuao linear definidas por

1
2 ( X1 ) =
2

0 i
i 0


, 2 ( X2 ) =

1
2

0 1
1 0

1
, 2 ( X3 ) =
2


i 0
(2.3.9)
0 i

Ambas as aplicaes so homomorfismos entre lgebras de Lie e portanto ambas

so representaes da mesma lgebra so (3, R). Ademais ambas as representaes so
representaes fiis sendo ker 1 = ker 2 = {e}.
Definio 39. ( CARCTER ) Um homomorfismo : g k entre lgebras de Lie
chama-se carcter .
Observao 40. Dado que k uma lgebra de Lie comutativa ento por cada a, b g
temos que
([ a, b]) = [ ( a) , (b)]0 = 0
(2.3.10)
e portanto
|[g,g] 0
onde [g, g] = { g g | g = [ a, b]

(2.3.11)

a, b g}

Exemplo 41. (LGEBRA DE H EISENBERG) Seja g a lgebra de Heisenberg onde chamando e1 = p, e2 = q,e3 = h

[ p, q] = h
[h , p] = [h , q] = 0

(2.3.12)
(2.3.13)

Seja V = k [ x ] o espao dos polinmios no campo k. Ento podemos definir uma

representa de g em V linearmente definida:
: g glK (V)
( p) = x
(q) = x
(h ) = 1

(2.3.14)
(2.3.15)
(2.3.16)
(2.3.17)

Esta uma representao da lgebra de Heisenberg sendo:

[ x , x ] ( p ( x )) = x ( xp ( x )) x x p ( x ) = p ( x )
[ x , 1] ( p ( x )) = [1, x ] ( p ( x )) = 0

2.3.2

(2.3.18)
(2.3.19)

A representao Adjunta

Seja (g, [, ]) uma lgebra de Lie. Em particular g um espao vetorial portanto a

aplicao
ad ( g) : g 3 h ad ( g) (h) = [ g, h] g
(2.3.20)
uma aplicao linear de g em g e portanto
ad ( g) () = [ g, ] gl (g)

(2.3.21)

Portanto qualquer que seja a lgebra de Lie (g, [, ]) resulta definida uma representao ad de g em gl (g) chamada de representao adjunta.

CAPTULO 2. LGEBRAS DE LIE

16

Proposio 42. Seja (g, [, ]) uma lgebra de Lie, ento

ad : g 3 g ad ( g) = [ g, ] gl (g)

(2.3.22)

uma representao e ker ( ad) = Z (g)

Demonstrao. preciso demonstrar que a representao adjunta preserva a estrutura
de lgebra de Lie, i.e.:
ad ([ g, h]) = [ ad ( g) , ad (h)]

(2.3.23)

Mas isso uma direito consequncia da Identidade de Jacobi dado que:

ad ([ g, h]) (k ) =
=
=
=

[[ g, h] , k] =
[[ g, k] , h] [[h, k] , g] =
( ad ( g) ad (h)) (k) ( ad (h) ad ( g)) (k) =
[ ad ( g) , ad (h)] (k)

(2.3.24)
(2.3.25)
(2.3.26)
(2.3.27)

Enfim claro que

ker ( ad) = { g g | [ g, h] = 0

h g} = Z (g)

(2.3.28)

Corolrio 43. Seja (g, [, ]) uma lgebra de Lie simples, i.e. no abeliana e sem ideais no
triviais, ento (g, [, ]) uma lgebra de Lie Linear
Demonstrao. Dado que Z (g) o nucleo de um homomorfismo entre lgebras de
Lie, ento Z (g) um ideal. Dado que g simples ento Z (g) trivial e portanto a
representao adjunta fil. Portanto g isomorfa a uma sub-lgebra de gl (g).
Umas das caratersticas mais importantes da representao adjunta que as suas
componentes no respeito de uma base {ei }iI constam das constantes de estrutura

da lgebra Cijk . De facto se definirmos i iI a base cannica do dual de g onde


i e j = ji , ento as componentes da representao adjunta avaliada nos vetores da
base






ad (ei )kj = k ad (ei ) e j = k ei , e j =
(2.3.29)
!

= k

Cijl el

= Cijk

(2.3.30)

l =1

2.4

lgebras nilpotentes e lgebras Solveis

Proposio 44. Seja (g, [, ]) uma lgebra de Lie, ento

[g, g] = { g g | g = [ a, b] a, b g}
uma sub-lgebra de g.

(2.4.1)

CAPTULO 2. LGEBRAS DE LIE

17

Definio
45. Seja (g, [, ]) uma lgebra de Lie, chama-se de serie central descendente
 i
g iN a serie:
(
g0 = g


(2.4.2)
gi+1 = g, gi
i N
n o
no enquanto chama-se de serie derivada g(i)
a serie
i N

g(0) = g h
i
g( i +1) = g( i ) , g( i )

i N

(2.4.3)

Observao 46. As series constituem constitum uma cadeia discendente

g = g0 g1 . . . g n . . .

(2.4.4)

g = g(0) g(1) . . . g( n ) . . .

(2.4.5)

onde
gn 1 gn
g( n 1) g( n )
gn g( n )

(2.4.6)
(2.4.7)
(2.4.8)

e onde todos gn , g(n) so ideais de g.

Definio 47. Seja (g, [, ]) uma lgebra de Lie, g diz-se:
nilpotente se um elemento da serie central descendente nulo i.e.:i N tal que
i
g = 0;
solvel se um elemento da serie derivada nulo i.e.:i N tal que g(i) = 0;
Observao 48. Se uma lgebra nilpotente ento solvel tambm sendo gn g(n) . Em
geral

sol uvel
! nil potente abelian
(2.4.9)
Exemplo 49. nn (i.e. a lgebra das matrizes n n triangulares superiores com diagonal nula) nilpotente, por enquantotn (i.e. a lgebra das matrizes n n triangulares
superiores) solvel mas no nilpotente.
Proposio 50. Seja g uma lgebra de Lie, ento se g nilpotente e no trivial:
(i) ento cada sub-lgebra nilpotente;
(ii) cada imagem de g atrves de um morfismo nilpotente;
(iii) o centro Z (g) 6= {e};
(iv) g
= g/Z (g) nilpotente
Observao 51. O converso do (iv) tambm veradeiro portanto g nilpotente
g
= g/Z (g) nilpotente

2.5

Grupos de Lie Classicos e lgebras associadas

Lista finale del WorkBook capitolo 7 su