Professional Documents
Culture Documents
3 de Maro de 2016
2
Contedo
1 Introduo 5
1.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
I Grupos topolgicos 15
2 Grupos topolgicos 19
2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2 Vizinhanas do elemento neutro . . . . . . . . . . . . . . . . . . . . . . 23
2.3 Grupos Metrizveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.5 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.6 Aes de grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6.1 Descrio algbrica . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6.2 Aes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.7 Espaos quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.7.1 Grupos quocientes . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.7.2 Grupos compactos e conexos . . . . . . . . . . . . . . . . . . . . 38
2.8 Homeomorsmo G=Gx ! G x . . . . . . . . . . . . . . . . . . . . . . 39
2.9 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3 Medida de Haar 49
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Construo da medida de Haar . . . . . . . . . . . . . . . . . . . . . . 51
3.3 Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.4 Funo modular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
V Apndices 335
A Campos de vetores e colchetes de Lie 337
A.1 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342
ndice 365
s geraes vindouras,
representadas pelos meus netos
Pedro e Joo
Prefcio
O objetivo deste livro oferecer um texto introdutrio aos grupos de Lie, apresentando
a teoria a partir de seus princpios fundamentais.
O conceito de grupo se tornou um dos conceitos bsicos da matemtica contem-
pornea e de suas aplicaes. Isso se deve tanto sua simplicidade como estrutura
algbrica quanto ao fato de que a ideia de simetria, num sentido amplo, formalizada
via invariantes por grupos de transformaes.
Os grupos de Lie formam uma classe especial de grupos, que so estudados via
os mtodos do clculo diferencial e integral. Como estrutura matemtica um grupo
de Lie a combinao da estrutura algbrica de grupo com a estrutura de variedade
diferencivel. Os grupos de Lie comearam a ser estudados por volta de 1870 como
grupos de simetrias de equaes diferenciais e das diversas geometrias que haviam
surgido at ento. Desde essa poca a teoria dos grupos de Lie, ou o que se chama mais
geralmente de teoria de Lie, teve um grande desenvolvimento e estabeleceu ramicaes
nas mais diversas reas da matemtica e de suas aplicaes.
Os mtodos para estudar os grupos de Lie esto baseados na construo de suas
lgebras de Lie, o que foi feito inicialmente por Sophus Lie na dcada de 1870. (Alis,
a teoria leva o seu nome em virtude dessa construo.) Uma vez tendo a lgebra de Lie
de um grupo de Lie a ideia toda consiste em transferir propriedades da lgebra de Lie
a propriedades do grupo de Lie. Esse processo de transferncia muito bem sucedido,
o que permite descrever os grupos de Lie, que so objetos tipicamente no lineares,
atravs da lgebra linear embutida nas lgebras de Lie.
Neste livro so desenvolvidos os resultados que estabelecem a relao entre os grupos
e lgebras de Lie. Ele foi dividido em quatro partes, mais uma quinta parte com
apndices.
O corpo principal da teoria dos grupos de Lie e sua classicao a partir das lgebras
de Lie desenvolvido nas partes 2 e 3. A parte 2 contm 4 captulos aonde se dene
a lgebra de Lie de um grupo de Lie e so demonstradas as frmulas que relacionam,
atravs da aplicao exponencial, o produto no grupo e o colchete de Lie na lgebra.
So considerados a tambm os subgrupos de Lie de um grupo de Lie e suas relaes
com as sublgebras de Lie assim como outros conceitos usuais da teoria de grupos
como homomorsmos, subgrupos normais e os espaos quocientes. Os resultados da
parte 2 desembocam num teorema de existncia e unicidade de grupo de Lie com uma
lgebra de Lie dada. Sendo que a unicidade vale para um grupo de Lie que satisfaa a
propriedade topolgica global de ser conexo e simplesmente conexo.
1
2
Introduo
Este captulo introdutrio tem um carcter informal. Seu objetivo propiciar ao leitor
uma viso panormica da teoria desenvolvida neste livro, discutindo alguns dos resul-
tados principais atravs de exemplos. Os exemplos apresentados so ao mesmo tempo
concretos e ilustrativos e por isso centrais dentro da teoria.
A denio formal de um grupo de Lie ser feita adiante no captulo 5. Para todos
efeitos, um grupo de Lie consiste num grupo G cujo produto
(g; h) 2 G G 7 ! gh 2 G
uma aplicao diferencivel. Um exemplo rico o bastante para cobrir boa parte da
teoria e ao qual deve-se recorrer sempre como guia, o grupo linear geral Gl (n; R). Os
elementos deste grupo so as matrizes n n inversveis com entradas reais, ou, o que
essencialmente a mesma coisa, as transformaes lineares inversveis de um espao
vetorial real de dimenso nita.
A seguir sero discutidos alguns aspectos do grupo Gl (n; R). A primeira observao
2
que este conjunto um aberto do espao vetorial das matrizes n n, isto , de Rn . Ele
formado por duas componentes conexas, determinadas pelo sinal do determinante.
Uma delas
Gl+ (n; R) = fg 2 Gl (n; R) : det g > 0g;
que um subgrupo de Gl (n; R). A outra componente conexa formada pelas matrizes
com determinante < 0 e no um subgrupo.
A estrutura de grupo em Gl (n; R) dada pelo produto usual de matrizes. Se
X = (xij ) e Y 2 (yij ) so matrizes n n, ento Z = XY = (zij ) dado por
X
n
zij = xik ykj ;
k=1
que uma aplicao polinmial de grau dois nas variveis xij ; yij . Portanto, o produto
uma aplicao diferencivel. Por esta razo Gl (n; R) um grupo de Lie.
A grande fora da teoria dos grupos de Lie est baseada na existncia das lgebras
de Lie associadas aos grupos. As lgebras de Lie possibilitam transferir mtodos da
lgebra linear ao estudo de objetos no lineares, como so os grupos de Lie. Uma
5
6 Captulo 1. Introduo
lgebra de Lie uma estrutura algbrica por excelncia. Ela denida como sendo
um espao vetorial g munido de um produto (colchete) [ ; ] : g g ! g que satisfaz as
seguintes propriedades.
o que garante que a soluo da equao (1.1) com condio inicial g (0) = 1 (onde 1
denota a matriz identidade n n) g (t) = etA . Esta soluo est inteiramente contida
em Gl (n; R), pois as exponenciais so matrizes inversveis. Alm do mais, a curva
eX eY = ec(X;Y )
onde c (X; Y ) uma srie (similar a uma srie de Taylor), que envolve apenas X e Y
e seus colchetes sucessivos. Os primeiros termos dessa srie so
1 1 1
c (X; Y ) = X + Y + [X; Y ] + [[X; Y ]; Y ] [[X; Y ]; X] + (1.2)
2 12 12
e os demais termos envolvem colchetes com quatro ou mais elementos. A srie c (X; Y )
converge se X e Y so sucientemente pequenos, mostrando que para esses valores de
X e Y , o produto eX eY completamente determinado pela lgebra de Lie, isto , pelos
colchetes entre seus elementos. Isso acarreta que o produto no grupo completamente
determinado localmente, ao redor do elemento neutro, pelo colchete na lgebra de Lie.
Esse tipo de relao entre o colchete e o produto, pode ser propagado a todo grupo
permitindo mostrar que, a menos de propriedades topolgicas globais (como o grupo
ser conexo e simplesmente conexo), existe um nico grupo de Lie associado a uma
lgebra de Lie dada.
Outra frmula a expanso de Taylor do comutador de exponenciais dado pela
curva
(t) = etB etA e tB e tA (1.3)
no grupo linear Gl (n; R). Usando reiteradamente a derivada
d tA
e = AetA = etA A;
dt
0
verica-se que (0) = 0 e
00
(0) = 2[A; B]:
8 Captulo 1. Introduo
(t) = 1 + t2 [A; B] +
cujo termo relevante [A; B]. Isso apresenta o colchete como o objeto innitesimal
associado ao comutador no grupo. Derivadas deste tipo se estendem a campos de
vetores em geral. Foi essa expanso de Taylor que levou ao conceito de colchete de Lie
de campos de vetores, como denominado hoje em dia. Esse conceito foi introduzido
por Sophus Lie, o que fez com que toda teoria levasse o seu nome.
Essas frmulas, apesar de ilustrativas da relao entre os grupos e as lgebras de
Lie, no so as mais utilizadas como subsidio tcnico da teoria. A passagem dos grupos
de Lie s lgebras de Lie e vice-versa em geral se d atravs das representaes adjuntas
denidas no captulo 5. Essas representaes fornecem frmulas que relacionam con-
jugaes Cg (x) = gxg 1 no grupo, suas diferenciais Ad (g), que so aplicaes lineares
da lgebra de Lie e as diferenciais de Ad (g) que so dadas unicamente pelo colchete
na lgebra de Lie. Ao aplicar essas frmulas para passar dos grupos s lgebras de
Lie deve-se derivar duas vezes (eventualmente funes diferentes). O processo inverso,
da lgebra ao grupo de Lie, envolve duas integrais, que geralmente so obtidas pelos
teoremas de existncia e unicidade de equaes diferenciais ordinrias. A derivada se-
gunda na expanso de Taylor da conjugao em (1.3) d uma idia heurstica de que a
passagem do grupo para a lgebra de Lie se d por intermdio de duas derivadas.
Outros exemplos de grupos de Lie com suas respectivas lgebras de Lie so os
seguintes:
2. Seja
G = O (n) = fg 2 Gl (n; R) : gg T = g T g = 1g
o grupo das matrizes ortogonais. Sua lgebra de Lie a sublgebra de matrizes
anti-simtricas:
so (n) = fA 2 gl (n; R) : A + AT = 0g:
O colchete em so (n) o comutador de matrizes. A razo para isso que A
uma matriz anti-simtrica se, e s se, etA uma matriz ortogonal para todo
t 2 R. De forma alternativa, O (n) uma subvariedade do espao das matrizes
cujo espao tangente no elemento neutro 1 se identica ao subespao das matrizes
anti-simtricas.
1. Dada uma lgebra de Lie g (real de dimenso nita) existe um nico grupo de
Lie Ge conexo e simplesmente conexo com lgebra de Lie g. A unicidade vem do
teorema de extenso mensionado acima: um isomorsmo entre as lgebras de Lie
dene um isomorsmo entre os grupos de Lie conexos e simplesmente conexos. A
existncia provada em dois passos: i) a construo de algum grupo de Lie G com
lgebra de Lie isomorfa a g (no captulo 7 isso feito com o auxlio do teorema
de Ado, que garante que toda lgebra de Lie isomorfa a uma sublgebra Lie de
matrizes). ii) A construo formal de uma estrutura de grupos de Lie no espao
recobrimento universal Ge de um grupo de Lie G.
Essa descrio funciona bem para grupos conexos, uma vez que so esses os gru-
pos que podem ser acessados pelas lgebras de Lie, atravs de solues de equaes
diferenciais.
Um exemplo dado pelos grupos de dimenso 1. O grupo aditivo (R; +) sim-
plesmente conexo e sua lgebra de Lie a nica (a menos de isomorsmo) lgebra de
Lie de dimenso 1. Portanto, qualquer grupo de Lie conexo e simplesmente conexo de
dimenso 1 isomorfo a (R; +). Um subgrupo discreto de R da forma !Z com ! > 0.
Da que qualquer grupo de dimenso 1 isomorfo a R ou a R=!Z S 1 .
Em geral a classicao dos grupos de Lie conexos consta de trs passos: 1) a
classicao das lgebras de Lie reais; 2) determinar, para cada lgebra de Lie real
g (ou melhor, para sua classe de isomorsmo de lgebras de Lie), um grupo de Lie
simplesmente conexo G e cuja lgebra de Lie seja g; 3) encontrar o centro Z G
e de Ge
e os subgrupos discretos Z G e .
A partir desse ponto surge a necessidade de um desenvolvimento mais aprofundado
da teoria de lgebras de Lie. Elas so divididas em duas grandes classes, as lgebras de
Lie solveis e as semi simples. O teorema de decomposio de Levi combina esses dois
tipos de lgebras de Lie, atravs da construo do produto semi-direto, para fornecer
todas as lgebras de Lie de dimenso nita (veja o captulo 9). Essa decomposio
das lgebras de Lie se estende ao grupos de Lie simplesmente conexos, de tal forma
que tudo se reduz a determinar separadamente os grupos simplesmente conexos para
as lgebras de Lie solveis e para as semi simples.
11
No caso solvel prova-se que as variedades subjacentes dos grupos conexos e sim-
plesmente conexos so difeomorfos a espaos Euclidianos Rn . Como comum quando
se trata de lgebras solveis a demonstrao desse fato feita por induo, partindo do
grupo (R; +) de dimenso 1 (veja o captulo 10). Um exemplo tpico de grupo solvel
o grupo das matrizes triangulares superiores
0 1
a1
B .. . . . C
@ . . .. A a1 ; : : : ; an > 0;
0 an
1. SO (n) = fg 2 O (n) : det g = 1g, com lgebra de Lie so (n). Essas lgebras de
Lie so simples se n 6= 2 e n 6= 4. A lgebra so (2) abeliana enquanto que so (4)
12 Captulo 1. Introduo
3. U (n) o mesmo que SU (n) sem a restrio do determinante, com lgebra de Lie
u (n) (que denida como su (n), sem a restrio do trao. Essas lgebras de Lie
no so semi simples.
4. Sp (n), com lgebra de Lie sp (n). Esses grupos so simplesmente conexos. Seus
elementos so dados por matrizes quaternionicas unitrias, isto , matrizes com
entradas em H que satisfazem gg T = id.
0 1n n
J= :
1n n 0
1p p 0
Ip;q = :
0 1q q
1.1 Exerccios
1. Encontre os trs primeiros termos da frmula de Baker-Campbell-Hausdor
(1.2) para o grupo linear Gl (n; R), espandindo o produto etA etB e colocando em
evidncia os termos tk , k = 0; 1; 2; 3.
1.1. Exerccios 13
2. Seja g uma lgebra de Lie que satisfaz [X; [Y; Z]] = 0 para todo X; Y; ; Z 2 g, de
tal forma que a srie de Baker-Campbell-Hausdor se reduz a
1
c (X; Y ) = X + Y + [X; Y ]:
2
Mostre que o produto X Y = c (X; Y ) dene uma estrutura de grupo em g.
P
3. Seja A uma matriz n n. Se exp A = k 0 k!1 Ak mostre que A anti-simtrica
(A + AT = 0) se, e s se, exp tA uma matriz ortogonal para todo t 2 R.
(Sugesto: considere a curva (t) = exp tA (exp tA)T .)
4. Seja Sl (n; R) = fg 2 Gl (n; R) : det g = 1g o grupo das matrizes unimodulares.
Assuma que Sl (n; R) um subgrupo de Lie e verique, usando exponenciais, que
sua lgebra de Lie
Verique que su (2) uma lgebra de Lie real com dim su (2) = 3 (onde o colchete
de Lie dado pelo comutador de matrizes). Verique tambm que su (2) iso-
morfa s seguintes lgebras de Lie: 1) so (3) = fA 2 M3 3 (R) : A + AT = 0g
(com o comutador); 2) R3 munido do produto vetorial ^.
6. Seja H = fa + bi + cj + dk : a; b; c; d 2 Rg a lgebra do quatrnions. Escreva
= a+ib+jc+kd como = (a + ib)+j (c id), isto , = z +jw com z; w 2 C.
A multiplicao esquerda por pode ser vista como uma aplicao linear de
C2 . Calcule a matriz dessa aplicao na base f1; jg e mostre que a aplicao
z w
: a + bi + cj + dk = z + jw 7 ! 2 M2 2 (C)
w z
Grupos topolgicos
15
17
Resumo
Essa parte consta de trs captulos sobre grupos topolgicos. O nico deles cuja leitura
essencial para o resto do livro o captulo 2, que d um tratamento aos conceitos
bsicos da teoria de grupos do ponto de vista topolgico. A funo desse captulo
estabelecer a linguagem que usada ao longo de toda a teoria de grupos de Lie. So
considerados a os conceitos de subgrupos (abertos, fechados, etc.), as componentes
conexas dos grupos topolgicos, os espaos quocientes (que herdam naturalmente a
topologia quociente) e os grupos topolgicos quocientes. Os espaos quocientes, com
suas respectivas topologias, esto intimamente relacionados com as rbitas das aes
contnuas dos grupos topolgicos, por isso feita uma discusso sobre os homeomor-
smos entre as rbitas e os espaos quocientes. Os conceitos topolgicos apresentados
nesse captulo sero posteriormente abordados dentro do universo diferencivel dos
grupos de Lie.
O captulo 3 faz a construo das medidas de Haar em grupos topolgicos localmente
compactos de Hausdor. Sua unicidade, a menos de escala, demonstrada. A medida
de Haar um objeto central na teoria de grupos topolgicos, e em particular de grupos
de Lie, pois ela permite o uso de mtodos do clculo integral no estudo desses grupos. O
ambiente no qual o captulo 3 se desenvolve o da teoria da medida. Ele independente
do resto do livro, mesmo porque a construo da medida de Haar para grupos de Lie se
faz de uma maneira tecnicamente mais simples atravs de formas volumes invariantes
(como descrito na seo 5.6). A leitura do captulo 3 pode ser postergada sem nenhum
prejuzo, a menos da informao contida no enunciado do teorema 3.1.
O captulo 4 traz uma introduo bela teoria de representao de grupos com-
pactos, que generaliza a teoria das sries de Fourier para funes peridicas e que foi
desenvolvida inicialmente por I. Schur e H. Weyl nos primrdios do sculo XX. Os resul-
tados principais desse captulo so as relaes de ortogonalidade de Schur e o teorema
de Peter-Weyl, que dizem de forma clara como o espao L2 de um grupo compacto,
munido de sua medida de Haar. Nesse captulo se usam alguns resultados de anlise
funcional e como o captulo sobre medidas de Haar ele no essencial para o resto do
texto a menos de alguns resultados iniciais sobre decomposies de representaes que
s sero aplicados no captulo 11, sobre grupos de Lie compactos.
18
Captulo 2
Grupos topolgicos
2.1 Introduo
Um grupo topolgico um grupo cujo conjunto subjacente est munido de uma
topologia compatvel com o produto no grupo, no sentido em que
19
20 Captulo 2. Grupos topolgicos
Dg Eh = Eh Dg .
Eg = Dg 1 .
Dg = Eg 1 .
Exemplos:
2. (Rn ; +) com a topologia usual, que inclui (R; +). O grupo multiplicativo (R ; )
tambm topologico com a mesma topologia.
5. O crculo S 1 tem uma estrutura de grupo natural que dada pelo produto de
nmeros complexos de mdulo 1: S 1 = fz 2 C : jzj = 1g. Com a topologia
cannica S 1 um grupo topolgico. De forma alternativa, o produto em S 1
dado pelo quociente S 1 = R=Z, em que o produto dado pela soma mdulo 1
de nmeros reais. (Adiante sero considerados quocientes de grupos topolgicos,
em geral.)
2.1. Introduo 21
6. Exemplos mais gerais que o anterior so dados pelos cilindros Tk Rm = Rm+k =Zk =
Rk =Zk Rm , com topologias cannicas. (Veja abaixo produtos e quocientes de
grupos topolgicos.)
7. Seja (C n f0g; ) munido da topologia gerada pela base de abertos, que formada
pelos intervalos abertos das retas verticais ra = fa + ix 2 C : x 2 Rg. Esse grupo
no topolgico em relao a essa topologia. De fato, a translao esquerda Eei
uma rotao de ngulo 2 R. A imagem do aberto r1 = f1 + ix 2 C : x 2 Rg
no aberto se, por exemplo, = =2.
9. Como caso particular do exemplo anterior, seja fGi gi2I uma Q famlia de grupos
indexada pelo conjunto I. O produto S Cartesiano G = i2I Gi o conjunto
formado pelas aplicaes f : I ! i2I Gi tais que f (i) 2 Gi para todo i 2 I.
O produto Cartesiano admite uma estrutura de grupo em que o produtoQ dado
componente a componente: (f g) Q (i) = f (i) g (i). A topologia produto em i2I Gi
gerada por abertos do tipo i2I Ai com Ai Gi abertos, i 2 I e Ai = Gi a
menos de um nmero nito de ndices (topologia compacto-aberta em que I tem
a topologia discreta). Como o produto feito componente a componente e cada
Gi um grupo topolgico, G grupo topolgico com a topologia produto.
Q
Em particular, se I um conjunto nito, i2I Gi = G1 Gn , seus elementos
so n-uplas g = (g1 ; : : : ; gn ), gi 2 Gi , a multiplicao dada por
gh = (g1 h1 ; : : : ; gn hn )
10. Este exemplo ilustra um grupo com uma topologia em que o produto uma
aplicao contnua, mas (g) = g 1 no contnua. Considere o grupo aditivo
(R; +) com R munido da topologia (topologia de Sorgenfrey) gerada pela base
dada pelos intervalos [a; b), a < b. O produto uma aplicao contnua pois se
x + y 2 [a; b) ento para algum " > 0, x + y + " < b, o que garante que [a; b)
contm [x; x + "=2) + [y; y + "=2) (= fz + w : z 2 [x; x + "=2) e w 2 [x; x + "=2)g).
Isso signica que o aberto [x; x + "=2) [y; y + "=2) est contido em p 1 [a; b),
mostrando que p contnua. Por outro lado, (x) = x no contnua pois, por
exemplo, ( 2; 1] = 1 [1; 2) no aberto.
Proposio 2.2 Seja G um grupo topolgico e denote por V o conjunto das vizin-
hanas abertas do elemento neutro 1. Ento, valem as seguintes propriedades:
1
Cg (x) = gxg contnua. 2
Lema 2.4 Suponha que T seja uma topologia em G invariante esquerda e direita.
Ento, G um grupo topolgico se, e somente se,
1. p contnua em (1; 1) e
2. : G ! G, (g) = g 1 , contnua em 1.
1. A topologia de G Hausdor.
Teorema 2.7 Seja G um grupo topolgico e suponha que exista um sistema de vizin-
hanas da identidade que seja enumervel. Ento, existem dE e dD distncias invari-
antes direita e esquerda, respectivamente, que so compatveis com a topologia de
G.
Em todo caso, vale a pena ressaltar que o teorema garante a existncia tanto de
uma distncia invariante direita quanto de uma invariante esquerda. Porm, pode
no existir uma distncia bi-invariante num grupo metrizvel.
2.4 Homomorsmos
Proposio 2.8 Sejam G e H grupos topolgicos e : G ! H um homomorsmo.
Ento, contnuo se, e somente se, for contnuo no elemento neutro 1 2 G.
2.5 Subgrupos
Seja G um grupo topolgico e H um subgrupo de G. Como H subconjunto de G
ele pode ser munido com a topologia induzida, cujos abertos so da forma A \ H
com A aberto em G. Ento, H torna-se um grupo topolgico. De fato, denote por
pH : H H ! H o produto em H, que a restrio a H do produto p de G. Para todo
subconjunto A G vale pH1 (A \ H) = p 1 (A) \ (H H). Dessa igualdade segue que
se A G aberto ento pH1 (A \ H) um aberto da topologia induzida em H H
pela topologia produto em G G. No entanto, essa topologia induzida coincide com
a topologia produto de H. Da que pH contnua. Da mesma forma se mostra que
1
H (h) = h contnua em H.
Um subgrupo H G com a topologia induzida denominado de subgrupo
topolgico de G.
A seguir sero apresentados alguns resultados envolvendo propriedades topolgicas
dos subgrupos de G. Em algumas demonstraes se usa o seguinte lema de carter
geral.
Por m, ser mostrado o seguinte resultado sobre a forma de gerar grupos conexos,
que bastante til no estudo dos grupos de Lie.
2.6. Aes de grupos 31
Demonstrao:
S S Seja V = U \ U 1 uma vizinhana
S simtricaScontida em U . Como
n n n
n 1 V n 1 U basta mostrar que G = n 1 V . A unio n 1 V n fechada por
S
produtos. Alm do mais, como V simtrico, (V n ) 1 = VSn . Isso implica que Sn 1 V n
n n
um subgrupo de G, que tem interior no vazio pois
S V n n 1 V . Portanto, n 1 V
um subgrupo aberto. Como G conexo, G = n 1 V . 2
1. (1; x) = x e
A relao entre e a a bvia: (g; x) = a (g) (x), isto , a (g) a aplicao parcial
g de quando a primeira coordenada xada: g (x) = (g; x).
A outra aplicao parcial associada a obtida xando x 2 X, isto , x : G ! X,
x (g) = (g; x) = a (g) (x).
Normalmente, os smbolos a ou so suprimidos na notao para aes de grupos.
Assim uma ao esquerda escreve-se apenas g (x), g x ou gx ao invs de a (g) (x).
Para aes direita mais conveniente escrever o valor de a (g) em x como (x) a (g)
aparecendo ento as notaes (x) g, x g ou xg. Com essas notaes uma ao
32 Captulo 2. Grupos topolgicos
Gx = fg 2 G : gx = xg:
claro, a partir das denies, que aes livres so efetivas, no entanto nem toda
ao efetiva livre. Numa ao efetiva ker a = f1g portanto G isomorfo sua imagem
a (G) por a. Por essa razo, uma ao efetiva tambm denominada de ao el.
Deve-se observar que a restrio da ao a uma rbita uma ao transitiva. Por-
tanto, toda armao sobre aes transitivas se aplica restrio da ao a uma rbita.
Um caso particular de ao de grupo se d nos espaos quocientes. Seja H G
um subgrupo e denote por G=H o conjunto das classes laterais gH, g 2 G. Ento
a aplicao (g; g1 H) 7! g (g1 H) = (gg1 ) H dene uma ao esquerda natural de G
em G=H. Denotando por : G ! G=H a aplicao sobrejetora (projeo) cannica
(g) = gH essa ao ca escrita como g (g1 ) = (gg1 ).
Evidentemente a ao de G em G=H transitiva. Por outro lado toda ao tran-
sitiva se identica (ou melhor, est em bijeo) com um espao quociente de G.
G x - X
*
? x
G=H
Uma forma de obter uma ao de um grupo G num espao vetorial V via uma
representao de G em V que um homomorsmo : G ! Gl (V ), onde Gl (V )
o grupo das transformaes lineares inversveis de V . O espao V chamado de
espao da representao e dim V sua dimenso. A representao dene a ao
a : G V ! V dada por a (g; v) = (g) v.
Y
HH f
HH
H
? Hj
H
Y= - Z
f
onde denota o produto em G=H. Ento, da mesma forma que na proposio 2.27
mostra-se que contnua. Por outro lado, a continuidade da inversa em G=H provm
da comutatividade do diagrama
G ! G
# #
G=H ! G=H
juntamente com a proposio 2.24.
Em relao topologia quociente, a projeo : G ! G=H um homomorsmo
contnuo e uma aplicao aberta.
Isso signica que todo F 2 F intercepta a classe lateral gH. Como F uma famlia
completa, se conclu que
claro que se G compacto ento G=H tambm compacto, uma vez que a
projeo cannica : G ! G=H contnua e sobrejetora. Por outro lado, se H
fechado e G compacto ento H tambm compacto. Portanto, a recproca ao teorema
acima verdadeira com a hiptese adicional de que H fechado.
gH = (A [ B) \ gH = (A \ gH) [ (B \ gH) ;
quociente G=Gx . Por intermdio dessa bijeo pode-se colocar uma topologia em G x
declarando que um subconjunto A G x aberto se o conjunto correspondente em
G=Gx for um aberto da topologia quociente.
A discusso a seguir tem por objetivo comparar essas topologias, analisando a
propriedade de homeomorsmo da aplicao x : G=Gx ! G x, no caso de uma ao
transitiva.
A situao ideal seria poder identicar, como espaos topolgicos, o espao X onde
se d uma ao transitiva com o quociente G=Gx . Em geral isso no possvel, pois a
aplicao x pode no ser homeomorsmo por no ser aplicao aberta, como mostra
o exemplo a seguir.
G g - G
*
? g
G=f1g = G
Lema 2.31 Suponha que exista x0 2 X tal que para toda vizinhana aberta U 2 V (1),
o conjunto U x0 = x0 (U ) contm x0 em seu interior. Ento, x uma aplicao
aberta para todo x 2 X e, portanto, um homeomorsmo.
g 1 gn01 (gn0 W x0 ) = g 1 W x0 U x0 ;
concluindo a demonstrao. 2
Por m deve-se observar que no caso de aes diferenciveis de grupos de Lie ser
mostrado posteriormente, com o auxlio do clculo diferencial, que as aplicaes x so
homeomorsmos (na verdade difeomorsmos).
2.9 Exemplos
A seguir so apresentados alguns exemplos de aes de grupos que fornecem homeo-
morsmos entre quocientes e certos espaos concretos.
1 b
(2.1)
0 C
Como consequncia, Gl (n; R) tem duas componentes conexas que so Gl+ (n; R)
e Gl (n; R) = fg 2 Gl (n; R) : det g < 0g, que uma classe lateral de Gl+ (n; R)
em Gl (n; R).
A ao de cannica Gl (n; R) em Rn induz, por restrio, aes de seus subgrupos.
Essas aes so todas contnuas, no entanto a estrutura das rbitas varia de acordo
com o subgrupo. Alguns exemplos so apresentados nos itens a seguir.
Sr = fx 2 Rn : jxj = rg r 0:
1 0
0 C
4. Assim como nos exemplos anteriores pode-se aplicar a proposio 2.29 para
mostrar, via a ao em Cn , que os grupos Gl (n; C) e Sl (n; C) so conexos. A
diferena para o caso real que aqui Gl (1; C) C n f0g conexo (ao contrrio
de R n f0g), permitindo iniciar a induo.
Da mesma forma os grupos U (n) e SU (n) so compactos e conexos.
44 Captulo 2. Grupos topolgicos
2.10 Exerccios
1. Seja G X ! X uma ao contnua do grupo topolgico G no espao topolgico
X. Seja A X um subconjunto G-invariante. Mostre que a restrio G A ! A
da ao a A tambm contnua, com a topologia induzida em A.
22. Seja G um grupo topolgico e suponha que o o grupo derivado [G; G] (isto , o
subgrupo de G gerado pelos comutadores xyx 1 y 1 , x; y 2 G) seja denso. Mostre
que se H um grupo topolgico abeliano e : G ! H um homomorsmo
contnuo, ento trivial, isto , (x) = 1 para todo x 2 G.
25. Mostre que SO (n) conexo por caminhos, sem usar a proposio 2.29. (Sugesto:
escreva a forma cannica de Jordan de uma matriz ortogonal).
26. Considere a ao de Sl (n; R) no espao projetivo real Pn 1 , dada por g[v] = [gv],
onde [v] denota subespao gerado por 0 6= v 2 Rn . Mostre que essa ao
transitiva. Mostre que a restrio dessa ao a SO (n) tambm transitiva.
no transitiva.
30. Denote por S (1) o grupo de todas as bijees (permutaes) de N. Para cada
n 2 N seja S n (1) o subgrupo de S n (1) formado pelos elementos que xam cada
um dos inteiros de f1; : : : ; ng. Mostre que o conjunto S n (1), n 1, forma um
sistema de vizinhanas da identidade de S (1), dando origem a uma topologia
em S (1), que o torna grupo topolgico. Mostre que essa topologia totalmente
desconexa.
Medida de Haar
Uma medida de Haar num grupo topolgico G uma medida sobre a -lgebra dos
conjuntos borelianos de G (isto , a -lgebra gerada pelos conjuntos abertos), que
invariante por translaes no grupo. Pode-se tomar medidas de Haar invariantes
esquerda ou invariantes direita. Neste captulo ser feita a construo de medidas
de Haar em grupos topolgicos localmente compactos. Ser demonstrada tambm a
unicidade da medida de Haar, a menos da multiplicao por uma constante positiva.
A leitura deste captulo requer um conhecimento prvio de teoria da medida.
3.1 Introduo
Seja (X; F; ) um espao de medida onde F uma -lgebra de subconjuntos de X
( -lgebra dos conjuntos mensurveis) e uma medida -nita denida sobre F.
Dada uma aplicao mensurvel g : X ! X em relao a F (isto , g 1 (A) 2 F se
A 2 F), dene-se uma nova medida g sobre F por
g (A) = g 1A :
A medida invariante por g se g = , o que signica que para todo conjunto men-
survel A 2 F, vale (g 1 A) = (A). Em termos de integrais a medida transladada
g satisfaz a igualdade
Z Z
f (x) (g ) (dx) = f g (x) (dx)
49
50 Captulo 3. Medida de Haar
Esse teorema sobre as medidas de Haar ser demonstrado nas sees subsequentes
deste captulo. Na demonstrao pode-se considerar apenas as medidas invariantes
esquerda. Isso porque se uma medida de Haar invariante esquerda em G ento
^ = invariante direita se a inversa de G. De fato, se A um conjunto
Boreliano ento
^ (Ag) = g 1 A 1 = A 1 = ^ (A) :
Vice-versa, se invariante direita ento ^ invariante esquerda. Isso signica
que as medidas de Haar invariantes esquerda e direita so obtidas umas das outras
pela aplicao inversa.
Em geral, as medidas invariantes esquerda e direita no coincidem. Um grupo G
dito unimodular se as medidas de Haar invariante esquerda e direita coincidem,
isto , elas so bi-invariantes. Por exemplo, os grupos abelianos so unimodulares, pois
as translaes esquerda e direita so iguais.
Exemplos:
1. O exemplo guia para as medidas de Haar a medida de Lebesgue em R (ou
mais geralmente em Rn ), que invariante por translaes esquerda ou direita
pois o grupo abeliano. Portanto a medida de Lebesgue uma medidda de Haar
normalizada por ([0; 1]n ) = 1.
Denote por K a famlia dos subconjuntos compactos de G e como antes seja V (1)
o conjunto das vizinhanas abertas de 1.
O mtodo para construir uma medida de Haar segue o que se denomina procedi-
mento de Caratheodory. Ele consiste nos seguintes passos:
Nesse esquema a nica passagem que especca para grupos topolgicos o item
(1). As demais valem em espaos localmente compactos de Hausdor gerais.
Para realizar a construo deve-se xar de uma vez por todas um compacto K0 G
de interior no vazio. A existncia de K0 vem da hiptese de que G localmente
compacto. Esse compacto serve para normalizar a medida de Haar, da mesma forma
que o cubo [0; 1]n normaliza a medida de Lebesgue em Rn .
A denio da pr-medida em K passa pelo seguinte conceito:
Sejam ; =6 K G compacto e ; =
6 V G aberto. Os conjuntos abertos xV ,
x 2 K, recobrem K e portanto existem subrecobrimentos nitos.1 O ndice de
K em relao a V , denotado por (K : V ), o menor n tal que existe um conjunto
nito fx1 ; : : : ; xn g K com
K x1 V [ [ xn V:
Obviamente (K : V ) 1 pois K 6= ;.
(K : V )
V (K) = :
(K0 : V )
1. V (K1 ) V (K2 ) se K1 K2 .
V (gK) = V (K). 2
M (V ) = f U 2 P : U 2 V (1) ; U V g:
V 2 C (V1 ) \ \ C (Vk )
1. (K1 ) (K2 ) se K1 K2 .
2. A demonstrao similar ao item (1), tomando agora as projees pK1 [K2 , pK1 e
pK2 .
56 Captulo 3. Medida de Haar
Por m a ltima armao segue do corolrio 3.6 pelo mesmo argumento de con-
tinuidade. 2
S P
2. -subaditiva, isto , Un n 1 (Un ).
n 1
S P
3. -aditiva: Un = n 1 (Un ) se os abertos so dois a dois disjun-
n 1
tos.
4
Neste lema aparece novamente a necessidade de se trabalhar com espaos Hausdor.
5
O prexo pr se deve a que o conjunto dos abertos no uma -lgebra.
58 Captulo 3. Medida de Haar
S P
Tomando supremo, segue que Un n 1 (Un ).
n 1
Se os abertos da sequncia so dois a dois disjuntos ento para todo inteiro m vale
! !
[ [m Xm
Un Un = (Un ) :
n 1 i=n n=1
mostrando a -aditividade de . 2
1. e (A1 ) e (A2 ) se A1 V2 .
S P
2. e An n 1 e (An ).
n 1
S P
Como " > 0 arbitrrio vale a -subaditividade e An n 1 e (An ). 2
n 1
2
60 Captulo 3. Medida de Haar
c
que equivalente a e (X) e (X \ A) + e (X \ A ) j que e subaditiva. Denote
por M a famlia dos conjuntos e -mensurveis. Ento, valem os seguintes resultados
que no sero demonstrados aqui6 :
S P
2. e -aditiva em M, isto , e An = n 1 e (An ) se os conjuntos An 2
n 1
M so dois a dois disjuntos.
6
Veja, por exemplo a seo 11 de Halmos [19].
3.2. Construo da medida de Haar 61
e (X \ U ) + e (X \ U c ) 2" e (V \ U ) + e (V \ U c ) 2"
(C) + (D) = (C [ D)
(C [ D) (V \ U ) [ (V \ C c ) (V ) :
Mas pela escolha de V , (V ) < e (X) + ". Essas desigualdades mostram que
X
n X
n
(K0 ) (x1 U ) = (U ) = n (U )
i=1 i=1
3.3 Unicidade
Sejam 1 e 2 medidas de Haar invariantes esquerda. Ento,
= 1 + 2
7
Veja, por exemplo a seo 52 de Halmos [19] e mais especicamente o teorema F.
3.4. Funo modular 63
onde Nx = (fxg G) \ N . Isso implica que para -quase todo x vale (Nx ) = 0. Mas,
(x; y) 2 Nx se, e s se, f (y 1 x) 6= f (x). Portanto, se (Nx0 ) = 0 ento f (y 1 x0 ) =
f (x0 ) para todo y a menos de um conjunto de medida nula (o prprio Nx ). Da que
f (x) quase sempre constante, o que mostra que 1 = a1 para a1 > 0.
Por m, os mesmos argumentos mostram que 2 = a2 , a2 > 0, concluindo que
1
1 = a 2 , a = a1 a2 .
(Dg ) = (g) :
Por denio (g) a funo modular de G. Essa denio no depende da
escolha de pois se = a , a > 0, ento (Dg ) (a ) = a (Dg ) ( ) = (g) .
Se o grupo G unimodular ento a medida de Haar invariante esquerda tambm
invariante direita e assim (g) = 1 para todo g. Reciprocamente, se constante
= 1 ento invariante direita e o grupo unimodular.
A funo modular pode ser calculada a partir de um nico conjunto Borel mensu-
rvel A tal que 0 < (A) < 1 (por exemplo, A pode ser um compacto de interior no
vazio). Isso porque por denio (Ag 1 ) = (g) (A) e, portanto,
1
(g) = Ag = (A) :
Esta igualdade mostra tambm que (Ag 1 ) > 0 se 0 < (A) < 1, j que (g) > 0.
Por essa forma de escrever se obtm a seguinte propriedade de homomorsmo de .
A seguir ser demonstrado que contnua. Para isso ser usado o seguinte lema
topolgico.
Demonstrao: Fixe um conjunto mensurvel A tal que 0 < (A) < 1 de tal
forma que (g) = (Ag 1 ) = (A). Essa igualdade mostra, em particular que a funo
g 7! (Ag 1 ) contnua, j que contnua. Por essa continuidade, se K G
compacto ento existe a integral
Z
K (x) Ax 1 (dx) :
G
0
Seja a medida denida por
Z
0
(B) = (x) (dx) :
B
Ento, 0 regular, pois contnua e coincide com b nos compactos. Como b tam-
bm regular, deve-se ter b = 0 , concluindo a demonstrao. 2
66 Captulo 3. Medida de Haar
Por m um comentrio sobre grupos de Lie: para esses grupos a presena da es-
trutura diferencivel permite uma construo bem mais simples das medidas de Haar
via integrao em relao a formas diferenciais. Nesse caso as funes modulares cam
denidas a partir de determinantes de aplicaes lineares dadas pela representao
adjunta. (Veja seo 5.6 do capitulo 5.) A construo via formas volume fornecer
diversos exemplos concretos de medidas de Haar.
3.5 Exerccios
1. Sejam G e H grupos localmente compactos com medidas de Haar G e H , res-
pectivamente. Mostre que G H uma medida de Haar em G H. Generalize
para um produto nito de grupos topolgicos.
2. Seja G um grupo localmente compacto e de Hausdor com medida de Haar
invariante esquerda . Dado um subgrupo compacto K G denote por :
1
G ! G=K a projeo cannica e dena (A) = ( (A)) para um conjunto
Boreliano A G=K (considerado com a topologia quociente). Mostre que
uma medida bem denida sobre os Borelianos de G=K invariante pela ao de
G. Em particular, se K normal ento uma medida de Haar em G=K.
3. Sejam K um grupo compacto Hausdor com medida de Haar e : K ! Gl (V )
uma representao contnua de K no espao vetorial de dimenso nita V . Tome
v 2 V e seja w 2 V dado por
Z
w= ( (k) v) (dk) :
K
Representaes de grupos
compactos
Neste captulo sero provados alguns resultados sobre representaes de grupos com-
pactos. A maior parte das demonstraes envolve integrao em relao medida de
Haar, que nita. Por isso se assume de uma vez por todas que os grupos so de
Hausdor.
O resultado principal o teorema de Peter-Weyl, que juntamente com as relaes
de ortogonalidade de Schur, generaliza a construo das sries de Fourier sobre S 1 .
4.1 Representaes
Um grupo compacto (Hausdor) K unimodular, pois a funo modular : K ! R+
um homomorsmo contnuo. Portanto, sua imagem (K) um subgrupo compacto
do grupo multiplicativo R+ . Como o nico subgrupo compacto de R+ f1g, se conclui
que (K) = f1g e da que constante = 1. Por isso a medida de Haar
bi-invariante e ser escolhida sempre com a normalizao (K) = 1.
O uso de tcnicas de integrao em grupos compactos grandemente favorecido pelo
fato de que funes contnuas so integrveis. Isso porque se f : K ! R contnua
ento f limitada e, portanto as integrais de sua parte positiva f + (x) = maxff (x) ; 0g
e de sua parte negativa f (x) = minff (x) ; 0g so nitas. Da que
Z Z Z
+
f (x) (dx) = f (x) (dx) f (x) (dx)
bem denida. Da mesma forma funes contnuas a valores em espaos vetoriais reais
de dimenso nita so integrveis.
Em muitas situaes a integrao em relao medida de Haar num grupo compacto
utilizada para obter objetos invariantes pela ao do grupo. Por exemplo, seja K um
grupo compacto e : K ! Gl (V ) uma representao de K no espao vetorial real
69
70 Captulo 4. Representaes de grupos compactos
Essa integral bem denida pelo fato de ser uma medida nita e a funo k 2 K 7!
B ( (k) u; (k) v) 2 R (com u e v xados) ser contnua e, portanto, integrvel. Como
B bilinear e simtrica o mesmo vale para ( ; ). Se u = v ento o integrando de (4.1)
B ( (k) u; (k) u) > 0 para todo k 2 K. Isso implica que (u; u) 0 e se u 6= 0 ento
(u; u) > 0 pois B ( (k) u; (k) u) contnua como funo de k. Portanto, ( ; ) de
fato um produto interno em V . Para ver que ele K-invariante, tome g 2 K. Como
(kg) = (k) (g), segue que
Z
( (g) u; (g) v) = B ( (kg) u; (kg) v) (dk)
ZK
= B ( (k) u; (k) v) (Dg ) (dk) :
K
1
O produto interno ou o produto Hermitiano so pontos xos no espao das forma quadrticas ou
das formas sesquilineares.
4.1. Representaes 71
Mas, como invariante por translaes direita, a ltima integral se reduz ao segundo
membro de (4.1), o que mostra que ( (g) u; (g) v) = (u; v), conclundo a demonstrao
no caso real. O caso complexo semelhante. 2
Demonstrao: Em ambos os casos existe P 2 End (V ) tal que (u; v)1 = (P u; v)2 ,
sendo que P simtrica em relao a ( ; )2 , no caso real e Hermitiana, no caso complexo.
Em qualquer dos casos os auto-valores de P so reais. As seguintes igualdades valem
para todo k 2 K e u; v 2 V , j que os dois produtos so invariantes
Ento, Linv linear e satisfaz Linv 1 (k) = 2 (k) Linv para todo k 2 K. Alm do mais
se 1 = 2 = e V1 = V2 = V ento trLinv = trL0 .
1. Se 1 e 2 no so equivalentes ento
Z
fv1 ;v2 (k) fu1 ;u2 (k) (dk) = 0
K
para todo u1 ; u2 2 V1 e v1 ; v2 2 V2 .
2. Se 1 = 2 = e V1 = V2 = V ento
Z
(v1 ; u1 ) (v2 ; u2 )
fv1 ;v2 (k) fu1 ;u2 (k) (dk) = (4.5)
K dim V
para u1 ; u2 ; v1 ; v2 2 V .
da que
Z Z
1
fv1 ;v2 (k) fu1 ;u2 (k) (dk) = v1 ; 2 k L0 1 (k) u1 (dk) = 0
K K
pelo lema de Schur. Portanto, trLinv = dim V . Mas, pela proposio 4.5, trLinv =
trL0 = (v2 ; u2 ) da que
(v2 ; u2 )
Linv = id = id:
dim V
Portanto,
Z Z
1
fv1 ;v2 (k) fu1 ;u2 (k) (dk) = v1 ; 2 k L0 1 (k) u1 (dk)
K K
= (v1 ; Linv u1 )
(v1 ; u1 ) (v2 ; u2 )
=
dim V
conclundo a demonstrao. 2
0 1=2
L=
1=2 0
no matriz escalar. Assim como na demonstrao da proposio 4.6 vale
1
v; 2 k L0 1 (k) u = fv;e1 (k) fu;e2 (k)
(g) = tr ( (g)) :
isto , uma soma de funes entrada de matriz. Das relaes (4.5) segue que
Z n Z
X 1 X
n
2
j (k) j (dk) = fei ;ei (k) fej ;ej (k) (dk) = j (ei ; ei ) j2
K i;j=1 K dim V i=1
e, portanto Z
j (k) j2 (dk) = 1: (4.7)
K
V = W1 Wn
kf k1 = sup jf (k) j
k2K
cuja norma denotada por k k2 . Como K compacto, toda funo contnua integrvel
o que implica que C (K) L2 (K). Na verdade C (K) denso em L2 (K) (na topologia
desse ltimo). Isso se deve a que a medida de Haar regular e em espaos compactos
com medidas regulares o conjunto das funes contnuas denso em L2 (veja o exerccio
5 do captulo 3).
As translaes esquerda e direita de f : K ! C por k 2 K so denidas por
kEk1 f Ek2 f k2 kEk1 f Ek1 hk2 + kEk1 h Ek2 hk2 + kEk2 h Ek2 f k2
< 3"
pois Ek1 e Ek2 so isometrias e kEk1 h Ek2 hk2 kEk1 h Ek2 hk1 .
80 Captulo 4. Representaes de grupos compactos
Demonstrao: Pv linear e por (4.10) ela comuta as representaes. Para ver que
ela injetora deve-se observar que fu;v identicamente nula se, e s se, (x) u ortogo-
nal a v para todo x 2 K. Mas, o subespao gerado por f (x) u : x 2 Kg K-invariante.
Se fu;v = 0 esse subespao est contido em v ? e como a representao irredutvel ele
deve se anular. Isso signica que se fu;v = 0 ento u = 0, o que mostra a injetividade. 2
As mesmas armaes valem para aplicaes do tipo v 7! fu;v com u xado, que
comutam com as translaes esquerda devido a (4.9). A diferena que essas
aplicaes so anti-lineares j que ( ; ) um produto Hermitiano.
Ainda relacionado a representaes equivalentes, a proposio a seguir mostra que
os espaos C (K) so os mesmos para representaes equivalentes.
C (K) = C (K) 1
C (K) s :
Uma funo f num espao C (K) chamada de funo representativa pois pelo
item (1) os seus transladados esquerda e direita geram um subespao de dimenso
nita de C (K) no qual K se representa por translaes.
O espao das funes representativas ser denotado por R (K). Esse espao a soma
dos subespaos C (K) com percorrendo as representaes contnuas de dimenso
nita. Essa soma pode ser tomada apenas sobre as representaes que so irredutveis.
O espao R (K) uma soma de espaos de representaes de dimenso nita de
K. Por outro lado a proposio 4.9 mostra que R (K) contm todas as representaes
irredutveis de dimenso nita de K. O teorema de Peter-Weyl, que ser mostrado
na prxima seo garante que R (K) denso em L2 (K), assim de certa forma as
representaes de dimenso nita exaurem L2 (K).
2. f (x 1 ) = f (x).
Ento, T compacto.
Agora, seja f como no lema 4.12, dena N (x; y) = f (x 1 y) que dene o operador
linear T como em (4.11). Pelo item (2) acima, T compacto. Para aplicar o item (1)
deve-se vericar que T auto-adjunto, o que obtido das propriedades da funo f .
De fato, dados g; h 2 L2 (K), vale
Z Z
(T g; h) = N (x; y) g (y) h (x) (dy) (dx)
ZK K Z
= g (y) N (x; y) h (x) (dx) (dy) :
K K
4.4. Teorema de Peter-Weyl 83
Portanto,
Z Z
(T g; h) = g (y) N (y; x) h (x) (dx) (dy)
K K
= (g; T h) ;
isto , T auto-adjunto.
Seja ento o auto-valor de T cujo auto-espao V de dimenso nita, como
garantido pelos dois resultados enunciados acima. (Est implicito que dim V > 0.)
A representao desejada dada pela restrio a V da translao esquerda
(Ek g) (x) = g (kx) com g 2 L2 (K; ) e k; x 2 K.
Demonstrao: Se g 2 V e k 2 K ento
Z
(T Ek g) (x) = N (x; y) g (ky) (dy)
ZK
= N x; k 1 y g (y) (dy)
K
Os clculos a seguir fornecem uma expresso simples para o produto Hermitiano entre
as coordenadas matriciais fg;g e a funo f do lema 4.12. Se g 2 V ento
Z
(f; fg;g ) = f (y) fg;g (y) (dy)
ZK Z
= f (y) g (y 1 x)g (x) (dx) (dy) :
K K
1
Trocando a ordem de integrao e usando a invarincia de (dy) por y 7! y e pela
multiplicao esquerda por x 1 , a ltima integral ca sendo
Z Z
(f; fg;g ) = f xy 1 g (y 1 )g (x) (dy) (dx)
ZK ZK
= f y 1 x g (y)g (x) (dy) (dx) ;
K K
Lema 4.14 Seja H L2 (K) um subespao fechado invariante Rpor translaes es-
querda e Rdireita. Dados h 2 H e g 2 L2 (K), as funes G (x) = K g (y) h (y 1 x) (dy)
e C (x) = K h (yxy 1 ) (dy) pertencem a H.
?
pois Ey 1 h 2 H. Isso mostra que G 2 H? , que coincide com H, que um subespao
fechado. A demonstrao para C anloga. 2
4.4. Teorema de Peter-Weyl 85
Para facilitar a notao escreva F (x; y) = U (y) (Ey 1 h (x) h (x)). Ento,
Z Z Z
khU hk22 = F (x; y) (dy) F (x; z) (dz) (dx)
ZK
Z ZK K
que pelo lema 4.14 est em E ? . Essa funo contnua, como pode ser vericado da
mesma forma que para hU . Alm do mais, h3 (xyx 1 ) = h3 (y) para todo y 2 K.
Por m, dena f (x) = h3 (x) + h3 (x 1 ). Ento, f satisfaz as condies requeridas
no lema 4.12, conclundo sua demonstrao. 2
4.5 Exerccios
1. Dado um quatrnion q 6= 1 tal que q n = 1 mostre que 1 + q + + qn 1
= 0.
Mostre tambm que se q um quatrnion qualquer ento
Z
(p q) dp = 0
S3
89
91
Resumo
Nessa parte do livro se estabelece o corpo bsico da teoria dos grupos de Lie. No
captulo 5 se introduz a lgebra de Lie de um grupo de Lie. Os conceitos que relacionam
as duas estruturas, de grupo de Lie e lgebra de Lie, so a aplicao exponencial
e as representaes adjuntas do grupo de Lie e de sua lgebra de Lie. Ambas as
representaes so por transformaes lineares na lgebra de Lie. As propriedades dos
grupos de Lie so obtidas a partir de suas lgebras de Lie e vie-versa, so obtidas
por uma articulao desses trs conceitos, que se materializam nas frmulas (5.8) e
(5.9). A primeira dessas frmulas relaciona, atravs da exponencial, a conjugao no
grupo com a representao adjunta do grupo, enquanto que a segunda relaciona as
representaes adjuntas do grupo e da lgebra de Lie. As demonstraes do captulo 5
usam livremente a teoria de existncia e unicidade de equaes diferenciais ordinrias
e os colchetes de Lie de campos de vetores, que se encontram no apndice A. Ainda no
captulo 5 foi includa um a seo sobre equaes diferenciais ordinrias (dependente
do tempo) em grupos de Lie e foi feita a construo da medida de Haar em grupos de
Lie, via formas volume invariantes.
O captulo 6 trata dos subgrupos de Lie de um grupo de Lie e seus quocientes. A
denio de subgrupo de Lie a bvia: um subgrupo que ao mesmo tempo uma
subvariedade diferencivel, tal que o produto diferencivel. No entanto, existe uma
sutileza nessa denio, j que a diferenciabilidade do produto deve ser em relao
estrutura diferencivel intrinseca da subvariedade e no do ambiente. Essa sutileza
discutida com detalhes com o auxlio do conceito de subvariedade quase-mergulhada,
que denida no apndice B. (No nal das contas ser provado que todo subgrupo
que ao mesmo tempo uma subvariedade separvel um sugbrupo de Lie.) A lgebra
de Lie de um subgrupo de Lie uma sublgebra de Lie. Vice-versa, a teoria de inte-
grabilidade de distribuies permite construir um nico subgrupo de Lie conexo com
uma sublgebra de Lie dada. Esse resultado d uma bijeo entre os subgrupos de
Lie conexos e as sublgebras de Lie. Um dos resultados centrais da teoria dos grupos
de Lie o clebre teorema de Cartan do subgrupo fechado, que garante que se um
subgrupo ao mesmo tempo um subconjunto fechado ento ele um subgrupo de
Lie (com uma estrutura de variedade diferencivel construda a posteriori). Um outro
resultado nessa mesma linha do teorema de Cartan o teorema devido a Kuranishi e
Yamabe, que mostra que se um subgrupo ao mesmo tempo um subconjunto conexo
por caminhos ento ele um subgrupo de Lie. No captulo 6 esse teorema demons-
trado com a hiptese adicional de os caminhos so diferenciveis. Por m, a tcnnica
desenvolvida na demonstrao do teorema de Cartan permite construir uma estrutura
de variedade diferencivel num espao quociente, o que leva, em particular, denio
de grupo de Lie quociente. Os resultados desse captulo usam de forma extensiva a
teoria de distribuies, descrita no apndice B.
O captulo 7 de natureza global. O seu desenvolvimento desemboca no teorema
7.15, que estabelece uma bijeo entre as classes de isomorsmo dos grupos de Lie
conexos e simplesmente conexos com as classes de isomorsmo das lgebras de Lie. O
teorema 7.15 mostra tambm que os grupos de Lie conexos so quocientes de grupos
92
simplesmente conexos, com ncleo abeliano (contido no centro). Esse o teorema que
fornece classicaes dos grupos de Lie a partir de eventuais classicaes de lgebras
de Lie.
A demonstrao do teorema dos grupos simplesmente conexos passa por uma anlise
dos homomorsmos diferenciveis de grupos de Lie e de como eles so determinados
pelos respectivos homomorsmos innitesimais (suas diferenciais na origem). Um re-
sultado central o teorema de extenso de homomorsmos, que garante que qualquer
homomorsmo entre as lgebras de Lie a diferencial de um homomorsmo entre os
grupos de Lie, desde que o domnio seja simplesmente conexo. Para a demonstrao
desse teorema se constri um subgrupo do produto cartesiano, que o candidato a
ser o grco do homomorsmo entre os grupos. Em geral esse subgrupo no um
grco de funo. No entanto, a projeo na primeira coordenada uma aplicao de
recobrimento sobre o domnio. Por isso que a hiptese de que o domnio simples-
mente conexo garante que o subgrupo do produto cartesiano de fato o grco de um
homomorsmo. Independente dessa hiptese sobre o domnio, esse mtodo constri
homomorsmos locais entre os grupos, o que permite mostrar que grupos de Lie com
lgebras de Lie isomorfas so localmente isomorfos.
A linha de raciocinio da demonstrao do teorema de extenso usada tambm
na seguinte aplicao interessante do teorema do subgrupo fechado de Cartan: um
homomorsmo contnuo entre grupos de Lie diferencivel.
O teorema de extenso de homomorsmos garante a unicidade (a menos de iso-
morsmo) dos grupos de Lie conexos e simplesmente conexos, com uma lgebra de
Lie dada. A demonstrao da existncia feita em dois passos. Em primeiro lugar se
garante que dada uma lgebra de Lie (real de dimenso nita) existe algum grupo de
Lie com a lgebra de Lie dada. Isso feito aqui de uma forma indireta, atravs do teo-
rema de Ado, que mostra que toda lgebra de Lie de dimenso nita isomorfa a uma
lgebra de Lie de matrizes. O segundo passo consiste em aplicar a teoria dos espaos de
recobrimento para construir uma estrutura de grupo de Lie no recobrimento universal
de um grupo de Lie. Ao nal do captulo foi includo um resumo sobre espaos de
recobrimento.
O captulo 8 dedicado demonstrao de duas frmulas de carter local, que
so dadas por sries de potncias envolvendo o colchete na lgebra de Lie. So elas a
frmula da diferencial da exponencial e a frmula de Baker-Campbell-Hausdor. A srie
da diferencial da exponencial ser utilizada posteriormente para decidir se a aplicao
exponencial num grupo de Lie ou no difeomorsmo (ou ao menos difeomorsmo
local). J a srie de Baker-Campbell-Hausdor permite construir uma estrutura de
variedade analtica num grupo de Lie, de tal forma que o produto e todas as aplicaes
obtidas do mesmo passam a ser aplicaes analticas. A demonstrao dessas frmulas
feita em primeiro lugar para grupos lineares, nos quais as sries so dadas por produtos
de matrizes. A demonstrao num grupo qualquer se faz com o auxlio do teorema de
Ado que garante o isomorsmo local com um grupo linear.
Captulo 5
5.1 Denio
Um grupo de Lie um grupo cujo conjunto subjacente tem uma estrutura de variedade
diferencivel, de tal forma que a aplicao produto
p : (g; h) 2 G G 7 ! gh 2 G
diferencivel.
Tanto a estrutura de variedade diferencivel de G, quanto a diferenciabilidade de p,
pressupoem um grau de diferenciabilidade C k , 1 k !. Para desenvolver boa parte
da teoria necessrio tomar apenas derivadas de primeira ordem em G e no brado
tangente T G, e assim supor que G e p so de classe C 2 . No entanto, no existe perda de
generalidade em assumir que G e p so analticas (C ! ), pois possvel provar que se p
de classe C 2 ento p analtica em relao estrutura de variedade analtica contida
na estrutura C k , 2 k 1 (veja o captulo 8).1 De qualquer maneira se assume que
1
O quinto problema de Hilbert (dos 24 formulados em 1900) pergunta quais grupos topolgicos
so diferenciveis. Como consequncia desse problema foi demonstrado que um grupo topolgico
de Lie se for uma uma variedade topolgica (localmente Euclidiano). Mais geralmente, um grupo
93
94 Captulo 5. Grupos de Lie e suas lgebras de Lie
1
Proposio 5.1 Num grupo de Lie G a aplicao : g 2 G 7! g 2 G um difeo-
morsmo. A diferencial de dada por
d g = (dEg 1 )1 (dDg 1 )g :
Em particular, (d )1 = id.
onde (@j p)(x;y) denota a diferencial de p em relao varivel j = 1; 2, no ponto (x; y).
Essas diferenciais parciais so dadas por (@2 p)(x;y) = d (Ex )y e (@1 p)(x;y) = d (Dy )x .
1
1
Portanto, (@1 p)(g;g 1 ) = d (Dg 1 )g e (@2 p)(g;g 1) = d (Eg )g 1 = d (Eg 1 )1 , de onde
segue a frmula do enunciado.
localmente compacto de Lie se no admite subgrupos pequenos (alguma vizinhana do elemento
neutro s contm o subgrupo trivial). Veja Montgomery-Zippin [42] e Yang [65].
5.1. Denio 95
A proposio acima mostra que todo grupo de Lie um grupo topolgico, conforme
denido no captulo 2.
Muitas vezes conveniente usar a seguinte notao simplicada para as diferenciais
das translaes em um grupo de Lie G. Seja t 7! gt uma curva diferencivel em G e
tome h 2 G. Usando as seguintes notaes
1 0
gt = gt 1 g 0 gt 1 ;
Exemplos:
que um polinmio de grau dois nas variveis xij ; yij e, portanto, uma aplicao
diferencivel. Por esta razo Gl (n; R) um grupo de Lie. Se V um espao
vetorial real de dimenso nita, denote por Gl (V ) o grupos das transformaes
lineares inversveis de V . Tomando uma base de V dene-se um isomorsmo entre
Gl (V ) e Gl (n; R) por h 2 Gl (V ) 7! [h] 2 Gl (n; R) onde [h] denota a matriz de
h em relao base xada. Por esse isomorsmo Gl (V ) um grupo de Lie.
G (A) = fx 2 A : 9x 1 g
ij = ji = k; jk = kj = i; ki = ik = j; i2 = j 2 = k 2 = 1:
Adiante sero demonstrados diversos resultados que garantem que certos subgrupos
de grupos de Lie so tambm grupos de Lie. A partir desses resultados ser fcil
produzir uma ampla gama de exemplos de grupos de Lie.
Os brados tangente T G e cotangente T G de um grupo de Lie G so facilmente
descritos pelas translaes ( esquerda ou direita) em G. De fato, dado g 2 G a
diferencial da translao esquerda d (Eg )1 um isomorsmo entre T1 G e Tg G, pois
Eg um difeomorsmo. Por isso a aplicao
uma bijeo. Essa aplicao pode ser reescrita como @2 p (g; 1) (v) de onde se v
que ela diferencivel pois p de classe C 1 . Sua inversa dada por v 2 T G 7!
(v) ; dE (v) 1 v 2 G T1 G onde : T G ! G a projeo cannica. Essa inversa
tambm diferencivel, o que mostra que T G difeomorfo a G T1 G.
2
Veja [50], captulo 11.
98 Captulo 5. Grupos de Lie e suas lgebras de Lie
Da mesma maneira,
(g; ) 2 G T1 G 7 ! d (Eg 1 )1 ( ) 2 T G e
(g; ) 2 G T1 G 7 ! d (Dg 1 )1 ( ) 2 T G.
para g 2 G e v 2 Tg G.
Uma variedade diferencivel M cujo brado tangente T M trivial chamada de
paralelizvel. As variedades diferenciveis subjacentes a grupos de Lie so paralelizveis,
o que mostra que nem toda variedade admite uma estrutura de grupos de Lie. Por
exemplo a esfera S 2 no uma variedade paralelizvel, portanto no existe nenhum
produto em S 2 que diferencivel e satisfaz os axiomas de grupo. Com o desenvolvi-
mento da teoria sero vistas outras condies necessrias, de carter topolgico, para
que uma variedade diferencivel admita uma estrutura de grupo de Lie. Uma delas
que o grupo fundamental 1 (G) deve ser abeliano (veja o captulo 7).
[A; B] = AB BA:
A seguir ser denida a lgebra de Lie de um grupo de Lie G como uma sublgebra
da lgebra de Lie dos campos de vetores sobre G, formada por campos invariantes em
G.
Denote por Invd o conjunto dos campos invariantes direita. Este conjunto
um subespao vetorial (sobre R) do espao de todos os campos de vetores em G,
j que (Dg ) uma aplicao linear sobre os campos de vetores. Analogamente, o
conjunto Inve dos campos invariantes esquerda tambm um subespao vetorial
(em geral, diferente do subespao dos campos invariantes direita). As aplicaes
A 2 T1 G 7! Ad 2 Invd e A 2 T1 G 7! Ae 2 Inve so isomorsmos entre os espaos
vetoriais correspondentes, cujas inversas so dadas por X 2 Invd;e 7! X (1) 2 T1 G.
Exemplos:
2
lineares de Mn (R) = Rn . O brado tangente a G se identica com G Mn (R).
Da que um campo de vetores X em G nada mais nada menos que uma aplicao
X : G ! Mn (R). Alm do mais, por essa identicao, as transformaes lineares
Eg e Dg satisfazem d (Eg )h = Eg e d (Dg )h = Dg para quaisquer g; h 2 G.
A partir dessas observaes possvel descrever os campos invariantes em Gl (n; R).
Suponha que X : G ! Mn (R) invariante direita. Ento, para todo g 2 G,
dg
= Ag
dt
no espao das matrizes. O uxo de X dado por Xt (g) = etA g, onde eA =
P 1 k
k 0 k! A a exponencial de matrizes.
Lema 5.3 Sejam X e Y campos invariantes direita num grupo de Lie G. Ento,
o colchete de Lie [X; Y ] invariante direita. A mesma armao vale para campos
invariantes esquerda.
1
Lema 5.4 Sejam A 2 T1 G e (g) = g a inversa em G. Ento,
(Eg ) (Y ) = (Eg ) ( ) Ad :
102 Captulo 5. Grupos de Lie e suas lgebras de Lie
Exemplos:
5.2. lgebra de Lie de um grupo de Lie 103
[X; Y ] = dY (X) dX (Y ) :
Para uma matriz A o campo XA se estende uma aplicao linear no espao das
matrizes. Portanto, dXA = XA . Assim, aplicando essa frmula do colchete a XA
e XB , obtm-se
[XA ; XB ] (g) = B (Ag) A (Bg) ;
isto , [XA ; XB ] = XBA AB . Por outro lado, o colchete de Lie de campos in-
variantes esquerda dado por [YA ; YB ] = XAB BA . Dessa forma, as lgebras
de Lie Invd e Inve se identicam com o espao das matrizes n n. Em Invd o
colchete dado por [A; B] = BA AB, enquanto que em Inve o colchete dado
por [A; B] = AB BA.
3. Para o grupo dos quatrnions H sua lgebra de Lie o prprio H com o colchete
dado pelo comutador
[p; q] = qp pq:
x (t) = Xt (1) t 2 ( ; !)
y (t) = Xt !=2 X!=2 (1) t 2 ( + !=2; 3!=2) :
5.3. Aplicao exponencial 105
Se X 2 Invd ento Xt+s (1) = Xt (Xs (1)) = Xt (1) Xs (1) = Xs (1) Xt (1).
Se Y 2 Inve ento Yt+s (1) = Yt (Ys (1)) = Yt (1) Ys (1) = Ys (1) Yt (1).
Essas igualdades implicam que X t (1) = (Xt (1)) 1 e Y t (1) = (Yt (1)) 1 . Da que
se X 2 Invd e Y 2 Inve ento suas trajetrias que passam pela origem
Demonstrao: Basta vericar que a curva (t) = Xt (1) satisfaz a equao difer-
encial g_ = Y (g), o que segue do seguinte clculo de derivada
0 d d
(t) = Xt+s (1)js=0 = Xt (1) Xs (1)js=0
ds ds
= dE (t) 1 (X (1)) = Y ( (t)) :
Uma vez feita essa discusso dos campos invariantes pode-se denir a aplicao
exponencial num grupo de Lie.
Denio 5.9 Seja X 2 T1 G. Ento, exp X = X d t=1 (1) = (X e )t=1 (1). Como
usual exp X tambm se escreve como eX . Isso dene uma aplicao exp : g ! G onde
g = T1 G a lgebra de Lie de G.
Pelas propriedades enunciadas acima dessas trajetrias segue que a aplicao exponen-
cial t 7! exp (tX), X 2 g, um homomorsmo, isto ,
1. Se X campo invariante direita ento Xt = Eexp(tX) , isto , Xt (g) = exp (tX) g.3
3. exp 0 = 1.
Exemplos:
dg
= Ag
dt
no espao das matrizes.
P Sua soluo fundamental dada pela exponencial de
1 k
matrizes exp A = k 0 k! A , que coincide, portanto, com a aplicao exponencial
em Gl (n; R).
d
Demonstrao: Dado X 2 g, (d exp)0 (X) = exp (0 + tX)jt=0 . Mas essa de-
dt
rivada exatamente A pois a curva e soluo de dg=dt = X d (g). Portanto,
tX
Ela satisfaz (0) = 1 e d 0 = id, pois para cada elemento ei da base cannica de Rn ,
vale
@ d
d 0 (ei ) = (0) = (0; : : : ; ti ; : : : ; 0)jti =0 = Xi :
@ti dti
Portanto, d 0 isomorsmo o que acarreta que em alguma vizinhana de 0 2 RN ,
um difeomorsmo. Uma aplicao dessas chamada de sistema de coordenadas
de segunda espcie.
5.4 Homomorsmos
Sejam G e H grupos de Lie. Um homomorsmo : G ! H diferencivel entre G e H
chamado de homomorsmo de grupos de Lie. A mesma terminologia se aplica
a isomorsmos e automorsmos de grupos de Lie.
5.4. Homomorsmos 109
Dg = D (g) Eg = E (g) :
onde Y = d 1 (X).
d( Dg )1 (X) = d D (g) 1
(X) = d D (g) 1 d 1 (X)
Uma outra propriedade dos campos -relacionados que seus colchetes de Lie tam-
bm so -relacionados (veja a proposio A.2 no apndice A). Segue ento do lema
5.14 a propriedade de homomorsmos da diferencial d 1 .
em t = 0 vale trA. Portanto, d (det)1 (A) = trA. Como pode ser vericado direta-
mente, a aplicao A 2 gl (n; R) 7! trA 2 R um homomorsmo de lgebras de Lie.
A frmula (5.5) diz que det eA = etrA . 2
5.4. Homomorsmos 111
5.4.1 Representaes
Um caso particular de homomorsmo entre grupos de Lie quando o contra-domnio
um grupo linear Gl (V ). Nesse caso, o homomorsmo chamado representao
de G no espao vetorial V . O espao V chamado de espao da representao e
dim V sua dimenso. A seguir V um espao vetorial real. (Veja o captulo 4 para
mais informaes sobre representaes de grupos.)
Seja uma representao de dimenso nita (diferencivel) de G em V . A lgebra
de Lie do grupo Gl (V ) denotada por gl (V ), ela coincide com o espao vetorial das
transformaes lineares V ! V com o colchete dado pelo comutador. A diferencial
de na identidade d 1 : g ! gl (V ) um homomorsmo de lgebras de Lie e como
tal uma representao em V da lgebra de Lie g. Essa representao denominada
representao innitesimal associada a . comum denotar a representao in-
nitesimal com a mesma notao (isto , = d 1 ). A frmula que relaciona as duas
representaes dada pela proposio 5.15:
Exemplos:
d tA X
k
tA
e v1 e vk jt=0
= v1 Avi vk :
dt i=1
112 Captulo 5. Grupos de Lie e suas lgebras de Lie
o que implica que d (Cg )1 d (Ch )1 = d (Cgh )1 . Da que a aplicao g 7! d (Cg )1 uma
representao de G em g, isto , um homomorsmo de G em Gl (g).
A representao Ad diferencivel.
De acordo com a proposio 5.16, para qualquer g 2 G, Ad (g) = d (Cg )1 um
homomorsmo de g. Na verdade um automorsmo, uma vez que Ad (g) 1 = Ad (g 1 ).
Isso signica que a imagem de Ad est contida no grupo dos automorsmos Aut (g) de
g (que um grupo de Lie como ser vericado no prximo captulo).
Uma frmula bastante utilizada em relaes envolvendo a representao adjunta
obtida aplicando a proposio 5.15 a = Cg . Dessa proposio se obtm que
Cg (exp X) = exp (dCg )1 (X) , isto ,
1
g exp (X) g = exp (Ad (g) X) : (5.8)
Denio 5.18 Seja g uma lgebra de Lie. Sua representao adjunta, a apli-
cao ad : g ! gl (g) denida por
ad (X) (Y ) = [X; Y ]:
Proposio 5.19 Seja G um grupo de Lie, com lgebra de Lie g, com o colchete dado
pelos campos invariantes esquerda. Ento, d (Ad)1 (X) = ade (X) para todo X 2 g e
vale a igualdade
Ad (exp X) = exp (ade (X)) : (5.9)
(O subndice e foi colocado para enfatizar que o colchete dado pelos campos invari-
antes esquerda).
Ad etX (Y ) = d (EetX De tX )1 (Y )
= d (De tX )etX (d (EetX )1 (Y )) :
d (EetX )1 (Y ) = Y etX :
Agora, o uxo Xt de X dado por Xt = Dexp(tX) . Usando esse uxo a igualdade acima
se reescreve como
Ad etX (Y ) = d (X t )Xt (1) (Y (Xt (1))) :
Derivando esta igualdade em relao a t e usando a frmula que dene o colchete de
Lie de campos de vetores chega-se a
d
Ad etX (Y ) jt=0
= [X; Y ] (1) :
dt
Como X e Y so campos invariantes esquerda, a ltima igualdade signica que
d
Ad etX jt=0
= ade (X) ;
dt
114 Captulo 5. Grupos de Lie e suas lgebras de Lie
A igualdade [X; Y ]e = [X; Y ]d implica que ade (X) = add (X), X 2 g o que
acrescenta um sinal na frmula da proposio anterior, para o caso dos campos invari-
antes direita.
As frmulas (5.8) e (5.9) (ou (5.10)) formam a base para estabelecer relaes entre
as propriedades de um grupo de Lie G e sua lgebra de Lie g. O primeiro membro
de (5.8) envolve o produto em G enquanto que o segundo membro de (5.9) depende
apenas do colchete em g. Ambos so ligados a um termo intermedirio envolvendo
Ad (g), g 2 G. Numa aplicao tpica de (5.8) e (5.9) uma propriedade de G acarreta
numa propriedade Ad (g), g 2 G, derivando (5.8). Uma nova derivada, agora de
(5.9), leva a uma propriedade de ad (X), X 2 g. O procedimento recproco feito
atravs de duas integrais. Esse processo que envolve duas derivadas est no esprito
da proposio A.6 do apndice A, no qual o colchete de Lie interpretado como a
derivada segunda de um comutador.
O caso dos grupos abelianos no exemplo a seguir ilustra o mtodo de aplicar as
frmulas (5.8) e (5.9).
Exemplo: Seja G um grupo abeliano. Ento, sua lgebra de Lie abeliana. De fato,
por (5.7)
etAd(g)X = getX g 1 = etX
para todo g 2 G, X 2 g e t 2 R. A derivada dessa igualdade, em t = 0, fornece
Ad (g) X = X para todo g 2 G, X 2 g, isto , Ad (g) = id para todo g 2 G. Portanto,
por (5.9) se Y 2 g ento id = Ad (exp tY ) = exp (tade (Y )). Derivando esse ltimo
termo em t = 0 se obtm ade (Y ) = 0 para todo Y 2 g, o que signica que a lgebra
de Lie abeliana.
Reciprocamente, G abeliano se for conexo e g for abeliana. Nesse caso deve-se
comear aplicando (5.9) para concluir que
Ad etY = etade (Y ) = 1
Exemplos:
116 Captulo 5. Grupos de Lie e suas lgebras de Lie
todo (t; g) nas vizinhanas de (t0 ; g0 ) a soluo com condio inicial (t; g) est denida
em todo o intervalo (t0 ; t0 + ).
As equaes diferenciais invariantes generalizam as equaes denidas pelos campos
invariantes direita e esquerda e tm propriedades semelhantes s mesmas. Por
exemplo, uma translao direita de uma soluo de (5.11) tambm soluo. De
fato, dados (t) com 0 (t) = A (t) (t) e g 2 G, dena (t) = Dg ( (t)). Ento,
0 0
(t) = dDg ( (t)) = dDg dD (t) (A (t)) = dD (t) (A (t)) ;
Demonstrao: Tome c 2 (a; b) e suponha, para xar as idias que t0 < c. Deve-se
mostrar que a soluo t 7! d (t0 ; t) se prolonga at c. Para isso, observe que para cada
s 2 [t0 ; c] existe s > 0 tal que a soluo com condio inicial (s; 1) est denida no
intervalo (s s ; s + s ). Por compacidade existem nitos elementos s1 < < sk tal
d
que t0 = s1 , c = sk e para cada i a soluo (si ; t) se prolonga at si+1 . Aplicando,
reiteradamente, a frmula (5.13) obtm-se ento que
d d d d
(t0 ; c) = (sk 1 ; c) (s1 ; s2 ) (t0 ; s1 )
g = (dEg 1 )1 2 ^n Tg G:
= jhj :
e = jdet Ad (g)j d :
5.7 Exerccios
1. Mostre que um campo de vetores invariante direita X no grupo de Lie G
tambm invariante esquerda se, e s se, Ad (g) X = X para todo g 2 G.
Mostre tambm que isso ocorre se, e s se, exp tX 2 Z (G) para todo t 2 R.
6. Mostre que num grupo de Lie os campos de vetores invariantes direita comutam
com os campos invariantes esquerda. Mostre que se G conexo ento um campo
de vetores X invariante direita se, e s se, [X; Y ] = 0 para todo campo de
vetores Y invariante esquerda. (Use o fato de que todo elemento de um grupo
de Lie conexo produto de exponenciais.)
7. Seja G um grupo de Lie com lgebra de Lie g, tal que o centro Z (G) de G
subgrupo discreto. Dados g 2 G e X 2 g suponha que Ad (g) comuta com
Ad etX para todo t 2 R e mostre que g comuta com etX , t 2 R.
8. Seja g uma lgebra de Lie real de dimenso nita. Uma derivao de g uma
transformao linear D : g ! g que satisfaz D[X; Y ] = [DX; Y ] + [X; DY ]
para quaisquer X; Y 2 g. Mostre que D derivao se, e s se, exp (tD)
automorsmo de g, para todo t 2 R. (Sugesto: considere as equaes diferenciais
satisfeitas por etD [X; Y ] e [etD X; etD Y ].)
10. Seja G um grupo de Lie. Mostre que existe uma vizinhana U da identidade que
no contm nenhum subgrupo de G, exceto o trivial f1g.
11. Seja G um grupo de Lie. Mostre que para todo n 2 N existe uma vizinhana U
da identidade tal que se x 2 U ento a ordem de x maior do que n.
12. Seja G um grupo de Lie com lgebra de Lie g. Dados X; Y 2 g, use as frmulas
(5.8) e (5.9) para mostrar que [X; Y ] = 0 se, e s se, etX esY = esY etX para todo
s; t 2 R. Mostre tambm que nesse caso eX+Y = eX eY .
14. Mostre que todo subgrupo a 1-parmetro de O (3) fechado. Essa armao
verdadeira em O (n), n > 3?
15. Mostre que exp : gl (2; R) ! Gl+ (2; R) no sobrejetora. (Sugesto: use a
forma cannica de Jordan para mostrar que as partes reais dos auto-valores de
g = exp A so iguais se forem negativas.)
16. Mostre que todo elemento de Sl (2; R) pode ser escrito como um produto eX eY ,
X; Y 2 sl (2; R). (Sugesto: use o processo de ortonormalizao de Gram-
Schmidt para escrever uma matriz g = kt com k matriz ortogonal e t triangular
superior.)
5.7. Exerccios 121
20. Seja G um grupo de Lie compacto com lgebra de Lie g. Mostre que os auto-
valores de ad (X), X 2 g, so puramente imaginrios e conclua que a forma de
Cartan-Killing de g negativa semi-denida (hX; Xi 0 para todo X 2 g).
22. Dado um grupo de Lie conexo G com lgebra de Lie g, sejam z (g) = fX 2 g :
8Y 2 g; [X; Y ] = 0g o centro de g e Z (G) = fg 2 G : 8h 2 G; gh = hgg o
centro de G. Mostre que para todo X 2 z (g), exp X 2 Z (G). Reciprocamente,
X 2 z (g) se para todo t 2 R, exp (tX) 2 Z (G).
23. Seja G um grupo de Lie conexo tal que Z (G) um subgrupo discreto. Seja
H = Ad (G) a imagem da representao adjunta. Mostre que Z (H) = f1g.
(Tome Ad (g) 2 Z (H) e mostre que getX g 1 = etX para t 2 R e X na lgebra de
Lie de G.)
24. Seja g uma lgebra de Lie tal que [X; [Y; Z]] = 0 para todo X; Y; Z 2 g. Mostre
que o produto , dado por
1
X Y = X + Y + [X; Y ]
2
dene em g uma estrutura de grupo. Mostre tambm que esse grupo de Lie se
g uma lgebra de Lie de dimenso nita sobre R, de tal forma que sua lgebra
de Lie coincide com g.
25. No exerccio anterior suponha que g de dimenso nita, de tal forma que torna
g um grupo de Lie, com lgebra de Lie isomorfa a g. Dados X; Y 2 g, considere
a curva (t) = etX etY e tX e tY e calcule 0 (0) e 00 (0).
122 Captulo 5. Grupos de Lie e suas lgebras de Lie
27. Sejam G e H grupos de Lie com lgebras de Lie g e h com G conexo. Mostre
que se ; : G ! H so homomorsmos diferenciveis tais que d 1 = d 1 ento
= . D exemplos para mostrar que o resultado no vale se G no conexo.
28. Sejam G um grupo de Lie conexo com lgebra de Lie g e H um subgrupo de Lie
com sublgebra h g. Suponha que para um elemento g 2 G vale
X
g= Ad (g)k h:
k 0
29. Seja G um grupo de Lie e g_ = A (t) g uma equao diferencial ordinria invariante
direita em G. Denote por gt uma soluo dessa equao. Mostre que ht =
Ad (gt ) satisfaz a equao diferencial h_ = ad (A (t)) h.
32. Seja G um grupo de Lie conexo. Mostre que G unimodular se, e s se,
tr (ad (X)) = 0 para todo X 2 g.
33. Seja G um grupo de Lie conexo com lgebra de Lie g. Mostre que se a lgebra
derivada g0 = [g; g] coincide com g ento G unimodular. (A lgebra derivada
o espao vetorial gerado pelos colchetes [X; Y ] com X; Y 2 g.)
Subgrupos de Lie
Nesse captulo sero estudados os subgrupos de um grupo de Lie sob o ponto de vista do
clculo diferencial. Isso signica que sero considerados os subgrupos que so tambm
grupos de Lie, com uma estrutura de subvariedade diferencivel. A lgebra de Lie de um
subgrupo de Lie uma sublgebra da lgebra de Lie do grupo ambiente (subespao do
espao tangente no elemento neutro). Um dos objetivos estabelecer a bijeo entre
as sublgebras de Lie e os subgrupos de Lie, o que feito recorrendo aos teoremas
de integrabilidade de distribuies. (Um apanhado da teoria de integrabilidade de
distribuies se encontra no apndice B, assim como diversos conceitos e resultados
sobre subvariedades, que so utilizados neste captulo.)
123
124 Captulo 6. Subgrupos de Lie
Exemplos:
1. Se G um grupo de Lie ento a componente conexa do elemento neutro G0 um
subgrupo aberto e portanto subgrupo de Lie, j que as subvariedades abertas so
mergulhadas.
2. Se G um grupo de Lie ento qualquer subgrupo a 1-parmetro
fexp (tX) : X 2 g; t 2 Rg
subgrupo de Lie. De fato, se a curva t 7! exp (tX) fechada tem-se uma
imerso injetora de S 1 ! G. Caso contrrio o grupo a 1-parmetro uma
imerso injetora R ! G. Em ambos os casos, t 7! exp (tX) um homomorsmo
injetor e diferencivel. Portanto, sua imagem um subgrupo de Lie.
3. Se H subgrupo de Lie de G e L um subgrupo de Lie de H ento L tambm
subgrupo de Lie de G, como segue direto da denio. Em particular, a com-
ponente conexa do elemento neutro H0 de H, que um subgrupo normal de H,
tambm subgrupo de Lie de G.
1
Alguns autores adotam essa denio como, por exemplo, Varadarajan [58].
6.1. Denio e exemplos 125
6. Seja O (n) o subgrupo das matrizes ortogonais n n. Para vericar que O (n)
um subgrupo de Lie de Gl (n; R) considere a aplicao : Gl (n; R) ! Mn n (R)
dada por (g) = g T g. claro que O (n) = 1 f1g. Por outro lado, se A uma
T
matriz ento d g (A) = AT g + g T A = g T A + g T A. Da que o ncleo de d g
dado por
1
ker d g = f g T B : B T + B = 0g;
1
que a translao esquerda por g T do espao das matrizes anti-simtricas.
Portanto, tem posto constante em todo ponto de Gl (n; R). Em particular
O (n) = 1 f1g uma subvariedade mergulhada de Gl (n; R), o que mostra que
o grupo ortogonal subgrupo de Lie.
A componente conexa do elemento neutro de O (n) SO (n) = fg 2 O (n) :
det g = 1g, que tambm um subgrupo de Lie.
0 idn n
J= :
idn n 0
Como h sublgebra, cada termo da srie pertence a h. Portanto, a soma da srie est
em h, que um subespao vetorial fechado. 2
Com esse lema pode-se construir variedades integrais das distribuies invariantes.
Teorema 6.4 Sejam G um grupo de Lie com lgebra de Lie g e h g uma sublgebra
de Lie. Ento, as distribuies dh (g) = d (Dg )1 h e eh (g) = d (Eg )1 h so integrveis.
onde zi = eti Xi etk Xx g. Essas derivadas parciais pertencem a dh (zi ), como pode-se
ver por aplicaes sucessivas do lema anterior. Isso signica que a imagem de d t est
contida em dh ( (t)) para todo t 2 Rk Por outro lado,
d
(0) = Xid (g) ;
dti
o que garante que a diferencial d 0 na origem injetora. Portanto, d t injetora numa
vizinhana U de 0 e como as dimenses coincidem, se conclui que a restrio de a U
uma variedade integral de dh .
A distribuio invariante esquerda eh tratada da mesma forma multiplicando
as exponenciais direita: get1 X1 etk Xx . 2
Ihd (g) = Ihd (1) g. Da mesma forma, Ihe (g) = gIhe (1).
Teorema 6.5 Dado um grupo de Lie G com lgebra de Lie g, seja h g uma sub-
d e
lgebra. Ento, as subvariedades integrais conexas maximais Ih (1) e Ih (1) so dadas
por
Ihd (1) = Ihe (1) = feY1 eYs : s 0; Yi 2 hg: (6.2)
Esse conjunto um subgrupo de Lie com lgebra de Lie h. Suas classes laterais so as
variedades integrais maximais Ihd (1) g = Ihd (g) e gIhe (1) = Ihe (g).
g = e Y1 eYs h;
Deve-se ressaltar que Ihd (1) = Ihe (1), como ocorre com os subgrupos a 1-parmetro.
Como complemento ao teorema anterior falta vericar a unicidade do subgrupo de
Lie conexo com sublgebra de Lie dada.
Proposio 6.6 Seja G um grupo de Lie com lgebra de Lie g. Ento, para qualquer
sublgebra de Lie h g, existe um nico subgrupo conexo H G, cuja lgebra de Lie
h.
Notao: O nico subgrupo conexo H com lgebra de Lie h denotado por hexp hi.
Esta notao consistente com a frmula (6.2) que diz que H gerado pelo conjunto
exp h.
Os resultados acima mostram que todo subgrupo de Lie conexo uma variedade
integral de uma distribuio e, consequentemente, uma subvariedade quase-regular.
Em geral, distribuies integrveis admitem cartas adaptadas (veja a seo B.4 no
apndice B). No caso particular da distribuio dh (ou dh ), cujas variedades integrais
so as classes laterais de hexp hi, uma carta adaptada ao redor da identidade dada
pela exponencial em G da seguinte forma:
Proposio 6.7 Sejam G um grupo de Lie com lgebra de Lie g e h g uma subl-
gebra. Suponha que e g um subespao vetorial que complementa h em g = e h.
Ento, existem abertos 0 2 V e, 0 2 U h e 1 2 W G tal que a aplicao
: V U ! W denida por (X; Y ) = (exp X) (exp Y ) um difeomorsmo e,
portanto, uma carta adaptada a h . Em outras palavras, W = (exp V ) (exp U ).
Exemplos:
6.3. Ideais e subgrupos normais 131
1. Seja g uma lgebra de Lie real de dimenso nita. A imagem de sua representao
adjunta ad : g ! gl (g) a lgebra de Lie de transformaes lineares
O nico subgrupo conexo hexp (ad (g))i de Gl (g) cuja lgebra de Lie ad (g)
denotado por Int (g). Como exp ad (X) = Ad (exp X) os elementos de Int (g) so
automorsmos de g. Eles so denominados de automorsmos internos de g.
Se G conexo ento Int (g) a imagem da representao adjunta de G, pois tanto
G quanto hexp (ad (g))i so gerados por exponenciais.
2. O teorema de Ado2 garante que toda lgebra de Lie de dimenso nita g admite
uma representao el (isto , injetora) : g ! gl (V ) de dimenso nita dim V =
n. Nesse caso g isomorfa sua imagem (g). Portanto, se g uma lgebra de
Lie real ento ela isomorfa a uma sublgebra de Lie de gl (n; R) do grupo de Lie
Gl (n; R). Da que o subgrupo G = hexp (g)i um grupo de Lie com lgebra de
Lie isomorfa a g. Em suma, toda lgebra de Lie sobre R (isomorfa) a lgebra
de Lie de algum grupo de Lie. Esse o contedo do que se conhece pelo terceiro
teorema de Lie.
2
Proposio 6.8 Seja H um subgrupo de Lie de G e denote por h sua lgebra de Lie.
Suponha que g 2 G normaliza H, isto , gHg 1 H. Ento, g normaliza h, isto ,
Ad (g) h = h.
2
Veja o captulo 10 de lgebras de Lie [50].
132 Captulo 6. Subgrupos de Lie
getX g 1
= etAd(g)X ;
para todo t 2 R. O fato de que g normaliza H implica que etAd(g)X uma curva em H.
Ela diferencivel em relao estrutura intrnseca de H e sua derivada em t = 0
Ad (g) X. Portanto, Ad (g) X est em T1 H T1 G, isto , em h. Isso mostra a incluso
Ad (g) h h e, portanto, a igualdade Ad (g) h = h. 2
g eX g 1
= eAd(g)X :
Portanto basta mostrar que Ad (g) h = h para todo g 2 G. Para isso tome Y 2 g.
Ento, ad (Y ) h h pois h ideal. Como a transformao linear ad (Y ) deixa h in-
variante, o mesmo ocorre com sua exponencial. Portanto, Ad eY h = ead(Y ) h = h
para todo Y 2 g. Agora usando a hiptese de que G conexo, todo elemento g 2 G
um produto de exponenciais e, portanto, Ad (g) h = h, concluindo a demonstrao. 2
Exemplo: Foi mostrado na proposio 6.10 que num grupo de Lie conexo G o sub-
grupo hexp hi normal se h um ideal. A hiptese de que G conexo essencial,
6.4. Limites de produtos de exponenciais 133
o (1=n)
Como lim = 0, segue que
n!1 1=n
n
1 1
lim exp (X + Y ) + o = exp (X + Y ) ;
n!1 n n
conclundo a demonstrao. 2
Esta proposio ser utilizada abaixo para garantir que o conjunto dos elementos de
g cuja exponencial pertence ao subgrupo fechado H um subespao vetorial. A seguir,
ser demonstrado outro lema que vai garantir que esse conjunto uma sublgebra.
Dados X; Y 2 g, considere a curva
com (t) 2 U g, uma curva diferencivel. Essa curva pode ser escrita em termos de
uxos de campos de vetores em U . De fato, denote por log : W ! U a inversa de exp e
b = log X d o campo de vetores em U induzido por X. Ento, exp leva trajetrias
seja X
de Xb em trajetrias de X. Dessa forma, denindo Yb da mesma forma e levando em
conta que o uxo do campo invariante direita X d dado por Xtd (g) = exp (tX) g, a
curva dada por
(t) = Xbt Ybt X b t Yb t (0) :
As duas primeiras derivadas em t = 0, de uma curva dessas, denida por composta
de uxos de campos de vetores num espao vetorial, pode ser calculada usando as
propriedades dos uxos (veja proposio A.6 no apndice A). Por esses clculos,
0
(0) = 0 e 00
(0) = b Yb ] (0) :
2[X;
etX etY e tX
e tY
= exp t2 [X; Y ]d + o (t) : (6.5)
1
Demonstrao: Substituindo t = em (6.5) ca
n
X Y X Y 1 1
en ene n e n = exp [X; Y ]d + o :
n2 n
6.5. Subgrupos fechados 135
o (1=n)
Como lim 2
= 0, tomando a potncia n2 , segue que
n!1 1=n
n2
1 1
lim exp [X; Y ]d + o = exp ( [X; Y ]d ) ;
n!1 n2 n
conclundo a demonstrao. 2
Com os limites da seo anterior fcil vericar que hH uma sublgebra de Lie de g.
H \ W = eU : (6.7)
136 Captulo 6. Subgrupos de Lie
:U V Rk Rn k
!W G
1. Dado x 2 G seja
Z (x) = fy 2 G : yx = xyg
o centralizador de x em G. Ento, Z (x) um subgrupo fechado se G um grupo
de Lie (ou mesmo se G um grupo topolgico de Hausdor). De fato, y 2 Z (x)
se, e s se, Cx (y) = xyx 1 = y, isto , Z (x) o conjunto dos pontos em que as
aplicaes contnuas Cx e id coincidem. Como G espao topolgico de Hausdor
esse conjunto fechado.
2. Seja
Z (G) = fx 2 G : 8y 2 G; xy = yxg
o centro do grupo G. Ento, Z (G) fechado se G um grupo T
de Lie (ou mesmo
se G um grupo topolgico de Hausdor). De fato, Z (G) = x2G Z (x) e cada
Z (x) fechado pelo exemplo anterior.
3. Seja g uma lgebra de Lie real de dimenso nita. Denote por Aut (g) o grupo dos
automorsmos de g, isto , g 2 Aut (g) se g : g ! g uma transformao linear
inversvel e g[X; Y ] = [gX; gY ] para todo X; Y 2 g. claro que Aut (g) um
subgrupo de Gl (g). Seja gn uma sequncia em Aut (g) tal que g = lim gn est em
Gl (g). Como formas bilineares entre espaos de dimenso nita so contnuas,
as igualdades gn [X; Y ] = [gn X; gn Y ], n 1, passam ao limite, mostrando que
g 2 Aut (g). Portanto, Aut (g) um subgrupo fechado de Gl (g) e como tal um
grupo de Lie. A lgebra de Lie de Aut (g) a lgebra das derivaes Der (g) de
g, pois se D : g ! g uma transformao linear ento exp tD 2 Aut (g) se, e s
se, D 2 Der (g).
4. O grupo Gl (n; C) das transformaes lineares complexas inversveis um sub-
grupo de Gl (2n; R). Uma transformao linear g de R2n complexa se, e s se,
ela comuta com a transformao linear J : R2n ! R2n que corresponde multi-
plicao por i em Cn . A partir da fcil vericar que Gl (n; C) um subgrupo
fechado de Gl (2n; R) e, portanto, um grupo de Lie. Isso pode ser visto em
termos de matrizes j que a multiplicao esquerda de uma matriz complexa
Z = A + iB por elementos de Cn dene uma transformao linear de R2n de
matriz
A B
:
B A
Portanto, Gl (n; C) pode ser visto como o subgrupo de Gl (2n; R) das matrizes
dessa forma. Esse sugbrupo fechado.
5. Uma construo semelhante do item anterior pode ser feita com matrizes quater-
nionicas, com entradas em H. Escreva um quatrnion como
q = a + ib + jc + kd = (a + ib) + j (c id) = z + jw
com z; w 2 C. Ento, o produto de quatrnions ca sendo
(z + jw) (z1 + jw1 ) = (zz1 wz1 ) + j (zw1 + wz1 )
6.5. Subgrupos fechados 139
z w
:
w z
O (n), SO (n), U (n), SU (n), Sp (n), Sl (n; R), Sl (n; C), Sp (n; R), SO (p; q),
SU (p; q).
(a) Sl (n; H), que o grupo das matrizes quaternionicas n n, cuja forma
complexa (6.8) tem determinante 1. Esse grupo tambm denotado por
SU (2n).
(b) Sp (n; C) = fg 2 Gl (2n; C) : gJg T = 1g onde
0 1n n
J= :
1n n 0
1p p 0
Ip;q = :
0 1q q
2
140 Captulo 6. Subgrupos de Lie
cujo domnio um aberto de Rn , que contm a origem. Essa aplicao tem classe C 1 e
suas derivadas parciais na origem so dadas por
@
(0) = Xi :
@ti
Pelo teorema da funo inversa a imagem de tem interior no vazio em hexp hH i.
Como essa imagem est contida em H, se conclui que H subgrupo aberto de hexp hH i
e, portanto H = hexp hH i, pois hexp hH i conexo, conclundo a demonstrao do
teorema 6.19.
Um corolrio imediato do teorema acima que se um subgrupo H G ao
mesmo tempo uma subvariedade conexa ento esta subvariedade quase-regular e H
subgrupo de Lie. Na verdade, vale o seguinte resultado mais geral.
(Y; X) = eY eX ;
W2 W1 e W 1
W W1 .
d d Y +tA tB
d (Y;h) A; B d (h) = Y + tA; etB h jt=0 = e e h jt=0
dt dt
d
= Dh eY +tA etB jt=0
dt
= (dDh )eY d (Y;0) ((A; B)) ;
isto ,
d (Y;h) A; B d (h) = d (Dh )(Y;0) (A; B) : (6.9)
6.7. Estrutura de variedade em G=H, H fechado 143
isto , eY1 = eY2 eX1 , para algum X1 2 U1 . Isso signica que 1 (Y1 ; 0) = 1 (Y2 ; X1 ),
portanto X1 = 0 e Y1 = Y2 pois 1 : V1 U1 ! W1 difeomorsmo. Da que h1 = h2
e injetora. Segue que bijetora sobre eV H.
A expresso (6.9) mostra que d (Y;h) isomorsmo, o que garante que difeo-
morsmo local e portanto sua imagem eV H um conjunto aberto. A bijetividade de
permite concluir ento que difeomorsmo. 2
g (Y ) = (g exp Y ) = g (exp Y ) ;
3. g :V ! g (V ) bijetora.
Basta vericar a injetividade: se g (Y1 ) = g (Y2 ) ento existem h1 ; h2 2 H
tal que geY1 h1 = geY2 h2 , isto , eY1 h1 = eY2 h2 , o que signica que (Y1 ; h1 ) =
(Y2 ; h2 ) e, portanto Y1 = Y2 pela injetividade de .
4. g :V ! g (V ) homeomorsmo.
Por construo g contnua. Para vericar que uma aplicao aberta se
observa que se A V ento g (A) = g eA = g eA H . Se A aberto ento
eA H = (A H) aberto, o que implica que g (A) aberto em G=H.
144 Captulo 6. Subgrupos de Lie
1
5. Para g1 ; g2 2 G a funo de transio g2 g1 dada por
1 1
g2 g1 (Y ) = p g2 1 g1 (Y; 1) (6.10)
1 1 Y
= p g2 g1 e
onde p : V H ! V a projeo.
De fato, tome Y; Z 2 V tal que g1 (Y ) = g2 (Z). Isso signica que g1 eY est na
mesma classe lateral que g2 eZ , isto , existe h 2 H tal que
g1 (Y; 1) = g1 eY = g2 eZ h = g2 (Z; h) :
Essa igualdade se reescreve como (Z; h) = g2 1 g1 (Y; 1) = g2 1 g1 eY . Usando o
fato de que bijetora se v que Z a primeira coordenada de 1
g2 1 g1 eY ,
conforme enunciado.
1
(Deve-se observar que o domnio de denio de g2 g1 o conjunto aberto
fY 2 V : g2 1 g1 eY 2 eV Hg = g1 1 g2 eV H \ eV
que no vazio se g2 eV H \ g1 eV 6= ;, isto , se g1 (V ) \ g2 (V ) =
6 ;. Alm
1 1 Y
do mais, se Y est nesse domnio de denio ento g2 g1 e est bem
denido, portanto a frmula (6.10) faz sentido.)
Essas armaes mostram
S que as aplicaes g so as cartas de um atlas difer-
encivel em G=H = g2G g (V ). O item (4) garante que g um sistema de co-
ordenadas para um aberto ao redor de gH. J o item (5) mostra que as funes de
transio so diferenciveis, por serem compostas de aplicaes diferenciveis, isto ,
1 1
g2 g1 = p Eg2 1 g1 exp.
Com isso se conclui a construo da estrutura de variedade diferencivel em G=H.
As demais propriedades enunciadas no teorema 6.22 so obtidas da seguinte forma:
1. dim G=H = dim G dim H, pois dim G=H = dim V = dim e = dim g dim h =
dim G dim H.
2. A projeo cannica : G ! G=H uma submerso. De fato, dado g 2 G as
aplicaes g = Eg e g so cartas ao redor de g e gH, respectivamente. A
projeo se l nessas cartas como
1 1
g g (X; Y ) = g geY eX :
Mas, eX 2 H, portanto geY eX = geY = g (Y ). Da que g 1
g (X; Y ) = Y a projeo na segunda componente. Isso mostra ao mesmo
tempo que e diferencivel e uma submerso.
3. O critrio de diferenciabilidade para uma funo f : G=H ! M consequncia
imediata de que : G ! G=H uma submerso sobrejetora. Em todo caso, nas
cartas do item anterior vale
f g (X; Y ) = f g (Y )
de onde se v que f diferencivel se, e s se, f diferencivel.
6.8. Exerccios 145
6.8 Exerccios
1. Mostre que todo subgrupo de Lie conexo de (Rn ; +) fechado.
2. Descreva os sugbrupos de Lie conexos do grupo de Heisenberg, isto , o grupo de
Lie das matrizes da forma
0 1
1 x y
@ 0 1 z A x; y; z 2 R:
0 0 1
Mostre que todos esses subgrupos so fechados. Algum deles compacto?
3. Este exerccio tem por objetivo fornecer um exemplo de que a aplicao denida
na demonstrao do teorema 6.4 no uma imerso em todo Rk . Tome g =
gl (n; R) e h a sublgebra das matrizes triangulares superiores com 0s na diagonal.
Escolha a base de h dada por X1 = E23 + E13 , X2 = E12 e X3 = E23 onde Eij
denota a matriz com entrada no nula = 1 somente na posio ij. Mostre que a
aplicao (t1 ; t2 ; t3 ) 7! et1 X1 et2 X2 et3 X3 no uma imerso.
146 Captulo 6. Subgrupos de Lie
4. Seja G Gl (n; R) um subgrupo de Lie com lgebra de Lie g gl (n; R). Mostre
que se G compacto ento os auto-valores de toda matriz X 2 g so puramente
imaginrios.
7. Seja H G um subgrupo de Lie com dim H < dim G e no mximo uma quanti-
dade enumervel de componentes conexas. Mostre que H tem interior vazio em
G.
0 1
J= ;
1 0
subgrupo das matrizes triangulares superiores (aij = 0 se i > j). Descreva suas
lgebras de Lie.
11. Dado um grupo de Lie G, mostre que seu centro Z (G) um subgrupo de Lie
cuja lgebra de Lie o centro z (g) = fX 2 g : 8Y 2 g; [X; Y ] = 0g da lgebra de
Lie g de G. Conclua que Z (G) um subgrupo discreto se, e s se, z (g) = f0g.
12. D exemplo de um grupo de Lie conexo G tal que z (g) = f0g mas que Z (G)
innito.
13. Uma lgebra de Lie g (de dimenso nita) simples se dim g > 1 e os nicos
ideais de g so os triviais f0g e g. Seja G um grupo de Lie cuja lgebra de Lie g
simples. Mostre que o centro Z (G) discreto.
16. Seja H G um subgrupo de Lie conexo. Mostre que H normal em seu fecho
H. D exemplo de um subgrupo H no conexo que no normal em seu fecho.
19. Dado um grupo de Lie G, com lgebra de Lie g, tome vizinhanas V geU G
das origens tais que exp : V ! U difeomorsmo. Denote por log : U ! V a
inversa de exp. Seja H G um subgrupo de Lie conexo com lgebra de Lie h.
Mostre que se log (U \ H) h ento H fechado.
22. Seja g uma lgebra de Lie (sobre R e dim g < 1). Denote por Aut (g) o grupo
dos automorsmos de g. Mostre que a lgebra de Lie de Aut (g) a lgebra das
derivaes de g (veja o exemplo ao nal da seo 6.5).
24. Seja G um grupo de Lie conexo com lgebra de Lie g. Tome elementos X; Y 2 g
que geram g (isto , X e Y no esto contidos em nenhuma sublgebra prpria de
g ou, o que equivalente, os colchetes sucessivos entre X e Y geram g). Mostre
que os grupos a 1-parmetro exp tX e exp tY geram G.
148 Captulo 6. Subgrupos de Lie
31. Este exerccio apresenta um caso em que a decomposio do lema 6.23 global.
Seja G = Gl (n; R) e K = O (n). Denote por e o espao das matrizes simtricas
n n. Mostre que a aplicao : e K ! G dada por (X; k) = eX k um
difeomorsmo. Faa o mesmo com G = Sl (n; R) e K = SO (n).
32. Seja G um grupo de Lie com lgebra de Lie g. Dado um subgrupo H G con-
sidere o conjunto hH g formado pelas derivadas 0 (0) das curvas diferenciveis
(t) 2 H com (0) = 1. Mostre que hH uma sublgebra de Lie. Suponha
que G conexo e que H um subgrupo normal e que hH = f0g e mostre que
H Z (G).
Captulo 7
Homomorsmos e recobrimentos
7.1 Homomorsmos
7.1.1 Imerses e submerses
Seja : G ! H um homomorsmo diferencivel. Ento, de posto constante, pois
para todo g 2 G, vale Eg = E (g) o que acarreta
d g =d E (g) 1 d 1 d (Eg 1 )g ;
da que o posto constante igual ao posto do homomorsmo innitesimal d 1 , j que
as translaes so difeomorsmos. Portanto, uma imerso se, e s se, d 1 injetora.
Da mesma forma, submerso se, e s se, d 1 sobrejetora.
Para um homomorsmo diferencivel suas propriedades de imerso e injetividade,
assim como a submerso e a sobrejetividade esto bastante relacionadas.
Considere em primeiro lugar a injetividade. O ncleo ker de um subgrupo de
Lie fechado. Sua lgebra de Lie o ideal ker d 1 pois etX = etd 1 (X) = 1, t 2 R,
se, e s se, d 1 (X) = 0. Dessa forma se imerso, isto , se d 1 injetora ento
pela proposio 6.18, ker subgrupo discreto. Vice-versa se ker discreto ento
149
150 Captulo 7. Homomorsmos e recobrimentos
G - im H
*
? e
G= ker
Desse fato sobre grupos topolgicos segue a seguinte armao sobre homomors-
mos cujas diferenciais so isomorsmos.
Demonstrao: Se X 2 g ento
eX = ed 1 (X) = ed 1 (X) = eX
Corolrio 7.11 Dois grupos de Lie so localmente isomorfos se, e s se, suas lgebras
de Lie so isomorfas.
Teorema 7.15 Seja g uma lgebra de Lie real com dim g < 1. Ento,
Por esse teorema pode-se classicar os grupos de Lie conexos a partir de uma
classicao (a menos de isomorsmo) das lgebras de Lie reais e de uma descrio dos
centros Z G e (g) dos grupos simplesmente conexos G e (g).
A unicidade de Ge (g) foi garantida pelo principio da monodromia (teorema 7.13) e
seu corolrio 7.14.
No que diz respeito ao grupo simplesmente conexo G e (g) falta mostrar sua existn-
cia. A parte que se refere ao quociente G = G e (g) = ser obtida facilmente por uma
nova aplicao do principio da monodromia e ser deixada para o nal.
e (g) garantida em dois passos:
A existncia de G
7.3. Recobrimento universal 157
Como foi mencionado nos exemplos da seo 6.2 uma forma de mostrar a existncia
de algum grupo de Lie com uma determinada lgebra de Lie g via os grupos lineares,
em virtude do seguinte resultado sobre lgebras de Lie.
Teorema de Ado:Toda lgebra de Lie real de dimenso nita admite uma represen-
tao el (isto , injetora), tambm de dimenso nita.1
pe
e G
G e ! Ge
# q& #
p
G G ! G
1. e e 7! pe e
1 elemento neutro, pois a aplicao x 2 G e um levantamento
1; x 2 G
e 7! q e
de x 2 G 1; x 2 G. Esta aplicao nada mais nada menos que a projeo
:Ge ! G. Como, por denio, pe e
1; e
1 =e 1 segue que pe e
1; x = x pois o nico
levantamento que xa um ponto a identidade. Da mesma forma, se mostra que
pe x; e
1 = x.
pe (x; y) = q (x; y) = p ( x; y)
A nica armao do teorema 7.15 que falta vericar o isomorsmo entre o sub-
grupo discreto e o grupo fundamental, o que segue do que seguinte fato geral.
Proposio 7.17 Sejam G e um grupo conexo e simplesmente conexo e e um
G
subgrupo discreto e normal (isto , Z G e ). Ento, isomorfo a 1 (G) se
e .
G = G=
Corolrio 7.19 Dois grupos de Lie conexos so localmente isomorfos se, e s se,
seus recobrimentos universais so isomorfos.
A seguir so apresentados alguns exemplos concretos de grupos de Lie simplesmente
conexos e seus centros. Adiante ser feita uma anlise geral para as diferentes classes
de lgebras de Lie.
Exemplos:
1. O grupo aditivo (R; +) o nico grupo de Lie simplesmente conexo de dimenso
1 pois as lgebras de Lie unidimensionais so todas isomorfas. Seja R um
subgrupo discreto com 6= f0g. Ento,
! = inffx 2 : x > 0g
existe e necessariamente > 0. Como fechado, ! 2 e da que Z! . A
incluso contrria verdadeira pois se x 2 ento possvel escrever x = n! + q
com n 2 Z e 0 q < !. Nesse caso q = x n! 2 o que fora q = 0, pois o
contrrio contradiz a denio de !.
Em suma, = Z! e R= S 1 , mostrando R e S 1 so os nicos grupos de Lie
conexos de dimenso 1.
160 Captulo 7. Homomorsmos e recobrimentos
2. Um grupo de Lie conexo abeliano se, e s se, sua lgebra de Lie for abeliana.
Dessa forma, para determinar esses grupos basta exibir um grupo simplesmente
conexo abeliano Ge e determinar seus subgrupos discretos (pois todos eles esto
e
contidos no centro de G). Como G e pode-se tomar o grupo aditivo Rn . Os
subgrupos discretos de Rn so isomorfos a Zk , k = 1; : : : ; n. De fato, vale o
seguinte resultado: seja V um espao vetorial real de dimenso n e H V um
subgrupo discreto do grupo aditivo de V tal que H 6= f1g. Ento, existe um
conjunto linearmente independente fv1 ; : : : ; vk g, 1 k n, tal que
H = fn1 v1 + + nk vk : ni 2 Zg:
A demonstrao disso feita por induo sobre n. Em primeiro lugar, para n = 1,
os subgrupos discretos da reta real R so da forma Z! com ! 2 R e, portanto,
da forma desejada (veja o exemplo anterior).
Para n 2, suponha que V munido de um produto interno h ; i. O fato de H
ser discreto garante que o nmo
inffjvj 2 R : v 2 H; v 6= 0g
atingido, isto , existe v1 2 H tal que jv1 j mnimo entre os comprimentos
dos elementos no nulos de H. Seja hv1 i o espao gerado por v1 . O subgrupo
hv1 i \ H = Zv1 , j que v1 tem comprimento mnimo em H. Alm do mais, a
escolha de v1 garante que a bola B (0; jv1 j =3) de centro 0 e raio jv1 j =3 intercepta
H apenas na origem.
Denote por p : V ! V =hv1 i a projeo cannica sobre o espao quociente V =hv1 i
de dimenso n 1 e considere o subgrupo p (H). Este subgrupo discreto em
1
V =hv1 i. Isso mostrado vericando que a bola U = B 0; jv1 j satisfaz p (U ) \
3
p (H) = f0g. Considere o conjunto
1
p (p (U )) = U + hv1 i:
Um elemento x desse conjunto da forma x = av1 + u, a 2 R, u 2 U . Suponha
av1 + u 2 H. Se n a parte inteira de a ento (a n) v1 + u e (a (n + 1)) v1 + u
1
esto em H. Da que existe b com jbj tal que bv1 + u 2 H. Mas, bv1 +
2
1 1
u B (0; jv1 j) pois jbv1 j jv1 j e juj jv1 j. Pela escolha de v1 , segue que
2 3
bv1 + u = 0, o que implica que u 2 hv1 i. Isso mostra que
1
p (p (U )) \ H = hv1 i \ H:
Como esta igualdade equivalente a p (U ) \ p (H) = f0g, o subgrupo p (H)
discreto em V =hv1 i.
Pela hiptese de induo existem elementos linearmente independentes w2 ; : : : ; wk 2
V =hv1 i, 1 k n tais que
p (H) = Z w2 + + Z wk :
7.3. Recobrimento universal 161
x = av1 + n2 v2 + + nk v k
Zk = f(x1 ; : : : ; xk ; 0; : : : ; ; 0) : xi 2 Zg:
3. O grupo am Af (1) tem dimenso dois e duas componentes conexas. Sua lgebra
de Lie af (1) a nica lgebra de Lie bidimensional que no abeliana. A com-
ponente conexa da identidade Af (1)0 difeomorfa a R+ R, que simplesmente
conexo. Por outro lado, o centro de Af (1) trivial pois se (a; v) 2 Af (1) comuta
com (b; w) ento aw + v = bv + w. Se isso ocorre para todo (b; w), ento v = 0
(tomando w = 0) e, portanto, a = 1. Consequentemente, Af (1)0 o nico grupo
de Lie conexo no-abeliano de dimenso dois. (Existem, portanto, quatro grupos
de Lie conexos de dimenso dois: os abelianos R2 , T1 R e T2 juntamente com
o no-abeliano Af (1)0 .)
4. O grupo conexo Gl+ (2; R) tem a seguinte estrutura geomtrica: seja g uma
matriz 2 2, inversvel. As colunas de g formam uma base de R2 . O processo de
ortonormalizao de Gram-Schmidt aplicado a essa base consiste em multiplicar
g direita por uma matriz triangular superior da forma
a x
t=
0 b
com a; b > 0, obtendo a matriz gt = u cujas colunas formam uma base ortonor-
mal, isto , u uma matriz ortogonal. Como det g > 0 e det t = ab, segue que
det u > 0, isto , u 2 SO (2). Portanto, Gl+ (2; R) = SO (2) T onde T o grupo
das matrizes triangulares superiores com entradas positivas na diagonal. Os gru-
pos SO (2) e T so conexos com SO (2) difeomorfo ao crculo S 1 e T difeomorfo
a R3 .
A aplicao : SO (2) T ! Gl+ (2; R), dada por (u; t) = ut um dife-
omorsmo. Ela sobrejetora pelo processo de ortonormalizao. Por outro
lado, injetora pois SO (2) \ T = f1g (e dai que u1 t1 = u2 t2 implica que
u1 1 u2 = t1 t2 1 = 1), alm do mais, d (u;t) um isomorsmo para cada (u; t) (a
162 Captulo 7. Homomorsmos e recobrimentos
vericao disto usa o fato de que a nica matriz anti-simtrica que ao mesmo
tempo triangular superior a matriz nula). Portanto, Gl+ (2; R) difeomorfo ao
cilindro S 1 R3 e seu recobrimento universal difeomorfo a R4 .
Os mesmos argumentos valem para Sl (2; R) que se decompe em Sl (2; R) =
SO (2) T1 onde T1 o grupo das matrizes triangulares superiores de determinante
1 e elementos positivos na diagonal. Esse grupo difeomorfo a R2 e assim Sl (2; R)
difeomorfo a S1 R2 e seu recobrimento simplesmente conexo difeomorfo a
R3 . Essa construo um caso particular da decomposio de Iwasawa que ser
considerada no captulo 12.
5. Seja
Sp (1) = fq 2 H : jqj = 1g
a esfera unitria dos quatrnions H. A lgebra de Lie de Sp (1) o espao tangente
ao elemento neutro que a lgebra dos quatrnions imaginrios. Essa lgebra de
Lie isomorfa a so (3). Portanto, Sp (1) o nico grupo simplesmente conexo
com lgebra de Lie so (3).
Como a lgebra de Lie de SO (3) tambm so (3), a teoria geral garante que
existe um homomorsmos sobrejetor : Sp (1) ! SO (3) cujo ncleo um sub-
grupo discreto central de Sp (1). Esse homomorsmo dado concretamente pela
representao adjunta de Sp (1) em sua lgebra de Lie. Em termos do produto
de quatrnions Ad (z) (w) = zwz 1 = zwz, z 2 Sp (1) e w = w. Para todo
z 2 Sp (3), Ad (z) uma isometria. Portanto, a imagem de Ad um sub-
grupo conexo de dimenso trs de SO (3), da que Ad (Sp (1)) = SO (3), isto ,
Ad : Sp (1) ! SO (3) um homomorsmo sobrejetor. O ncleo de Ad o centro
de Sp (1), que Z (Sp (1)) = f 1g. Portanto, Sp (1) ! SO (3) um recobrimento
duplo, e da que o grupo fundamental de SO (3) isomorfo a Z2 = ker Ad.
e 3z
X
*
fe
?
-
y2Y X3x
f
Toda aplicao : X e !X
e que satisfaz = um levantamento de . Alm
do mais, o conjunto dos levantamentos contnuos de forma um grupo com a
composio.
1 1
7. Se x 2 X e y 2 fxg so xados ento os levantamentos ex;y;z , z 2 fxg
1
exaurem o grupo do item anterior. Portanto, est em bijeo com fxg.
7.5 Exerccios
1. Seja : G ! H um homomorsmo contnuo e inversvel entre grupos de Lie.
Mostre que um isomorsmo, isto , 1 homomorsmo diferencivel. Faa
o mesmo para o caso de um isomorsmo local.
2. Sejam G e H grupos de Lie conexos e denote por G e e H
e seus recobrimentos
e H
simplesmente conexos. Mostre que G e o recobrimento universal de G H.
Generalize para um produto com mais de dois fatores.
3. Use o processo de ortonormalizao de Gram-Schmidt para generalizar a Gl+ (n; R),
Sl(n; R), Gl(n; C) e Sl(n; C) o exemplo de Gl+ (2; R) dado no texto.
4. Mostre que os grupos fundamentais de Sl (n; R) e Gl+ (n; R) coincidem com o
grupo fundamental de SO (n). O que se pode dizer sobre os grupos fundamentais
de Sl (n; C) e Gl (n; C)?
5. Seja g uma lgebra de Lie de dimenso nita tal que [X; [Y; Z]] = 0 para todo
X; Y; Z 2 g. Encontre o grupo de Lie conexo e simplesmente conexo associado a
g. (Veja o exerccio 24 do captulo 5.)
6. Sejam G um grupo de Lie conexo com dim G = 2 e exp : g ! G sua aplicao
exponencial. Mostre que exp uma aplicao de recobrimento.
7. Seja K um grupo de Lie abeliano compacto. Mostre que o conjunto dos elementos
x 2 K de ordem nita (isto , xk = 1, para algum k 2 N) denso em K.
8. Mostre que Sl (2; R) difeomorfo a S1 R2 , tem grupo fundamental Z e o seu
recobrimento universal Sl^(2; R) difeomorfo a R3 . Mostre tambm que o centro
de Sl^
(2; R) isomorfo a Z.
9. Descreva todos os grupos de Lie conexos cuja lgebra de Lie sl (2; R).
12. Denote por Sl (2; Z) o conjunto das matrizes 2 2 com entradas inteiras e de-
terminante 1. Verique que Sl (2; Z) um subgrupo fechado de Sl (2; R). Mostre
que no existe nenhuma estrutura de grupo na variedade Sl (2; R) =Sl (2; Z), que
a torna um grupo de Lie.
13. Seja G um grupo de Lie conexo com lgebra de Lie g. Suponha que existam
ideais a; b g tais que g = a b. Dena os subgrupos conexos A = hexp ai
e B = hexp bi. Mostre que G = AB = BA, isto , a aplicao A B ! G,
(a; b) 7! ab sobrejetora.
Mostre tambm que se as aplicaes exponenciais de A e B so sobrejetoras ento
a exponencial em G tambm sobrejetora. (Sugestes: passe ao recobrimento
universal. Compare com o exerccio 15 do captulo 6.)
e 0 ! G=H
conexo. Por m considere o recobrimento G=H e 0 G=H.) (Outra
0
sugesto: use a sequncia exata longa de homotopia para braes.)
17. Mostre que o grupo de Lie SU (n), n 1, simplesmente conexo. Faa o mesmo
para o grupo Sp (n) das matrizes quaternionicas unitrias. (Sugesto: em am-
bos os casos pode-se escrever esferas de dimenses convenientes como espaos
homogneos dos grupos.)
19. Este exerccio tem por objetivo mostrar que o grupo fundamental de um grupo
de Lie G conexo abeliano, diretamente usando homotopias de curvas. Denote
166 Captulo 7. Homomorsmos e recobrimentos
1 t 2 0; 21 (2t) t 2 0; 12
e (t) = b (t) =
(2t 1) t 2 21 ; 1 1 t 2 21 ; 1
e (t; s) = 1 t 2 0; 2s 2t
t 2 0; 2 2 s
H 2t s b (t) = 2 s
2 s
t 2 2s ; 1 1 t 2 22 s; 1
1 (2t) t 2 0; 12
b1 (t) e2 (t) =
2 (2t 1) t 2 12 ; 1
2 (2t) t 2 0; 21
e1 (t) b2 (t) =
1 (2t 1) t 2 12 ; 1
Expanses em sries
X 1 k
X ( 1)k
TX = (add (X)) = (ade (X))k :
k 0
(k + 1)! k 0
(k + 1)!
Essas sries podem ser escritas de forma mais concisa, levando em conta que a srie de
potncias
X 1
zk
k 0
(k + 1)!
167
168 Captulo 8. Expanses em sries
ez 1
na varivel z representa a funo (real ou complexa) f (z) = . Portanto, TX =
z
f (ad (X)), isto ,
eadd (X) 1 1 e ade (X)
TX = = :
add (X) ade (X)
A demonstrao do teorema 8.2 ser feita em duas partes. Em primeiro lugar a
frmula para a diferencial da exponencial ser deduzida para os grupos lineares, isto ,
para os subgrupos de Gl (n; R). Posteriormente, usando o teorema de Ado, que garante
o isomorsmo local entre um grupo de Lie qualquer e um grupo linear, a frmula ser
estendida aos grupos de Lie gerais.
Dados X; Y 2 g, TX (Y ) = dEexp( X) d (exp)X (Y ) a derivada
d X X+tY d X+tY
e e jt=0
= exp ( X) e jt=0
:
dt dt
P 1
No caso de um grupo linear eX dado pela srie de potncias k 0 X k , o que pos-
k!
d X+tY
sibilita calcular a derivada e jt=0
explicitamente como uma srie de potncias
dt
em ad. A seguir essa derivada ser calculada atravs de manipulaes de sries. Essas
manipulaes envolvem a mudana de ordem e a associatividade de termos de sries
de potncias, que so justicadas pela convergncia em norma das sries envolvidas.
(Nesse caso conveniente tomar a norma de operador que satisfaz kXY k kXk kY k.)
Pelo fato da srie da exponencial ser normalmente convergente vale
d X+tY X 1 d
e jt=0
= (X + tY )kjt=0 :
dt k 1
k! dt
d X k 1
(X + tY )kjt=0 = Xk i 1
Y X i:
dt i=0
Portanto,
d X+tY XX k 1
1 k i+1
e jt=0
= X Y X i: (8.3)
dt k 1 i=0
k!
Lema 8.2 Seja A uma lgebra associativa e tome x; y 2 A. Se add (x)y = yx xy,
ento para para todo n 1 vale
Xn
n n p
n
yx = x (add (x)p y): (8.4)
p=0
p
8.1. Diferencial da aplicao exponencial 169
XX k 1X i
1 i
= Xk j 1
ad (X)j (Y )
k! j
k 1 i=0 j=0
onde ad = add . A ideia agora escrever essa soma como srie de potncias em
ad (X)j (Y ). Para isso seus termos so reordenados da seguinte forma
XX
k 1X
i XX
k 1X
k 1 X X X
k 1
= = ;
k 1 i=0 j=0 k 1 j=0 i=j j 0 k j+1 i=j
A soma colocada entre parnteses avaliada pelos seguinte lema sobre coecientes
binomiais.
Pk 1 i k
Lema 8.3 i=j = :
j j+1
Demonstrao: Segue por induo usando a igualdade
n n n+1
+ =
j j+1 j+1
j j+1 j+2
comeando com + =j+2= . 2
j j j+1
Portanto, a expresso (8.5) para a derivada se reduz a
X X 1 k
Xk j 1
ad (X)j (Y )
k! j+1
j 0 k j+1
X X 1
= Xk j 1
ad (X)j (Y ) :
j 0 k j+1
(j + 1)! (k j 1)!
isto ,
d X+tY X 1
e jt=0
= eX ad (X)j (Y ) :
dt j 0
(j + 1)!
X
Multiplicando esquerda por e segue que
X 1
TX = ad (X)j (Y ) ;
j 0
(j + 1)!
lembrando que ad = add devido frmula de comutao (8.4). Isso conclui a demon-
strao do teorema 8.2 para os grupos lineares.
O caso geral segue do teorema de representao de Ado e do seguinte lema.
= TYH d 1 (X)
Para concluir a demonstrao do teorema 8.1 no caso geral, basta agora aplicar
duas vezes o lema acima usando o teorema de Ado que garante que toda lgebra de
Lie isomorfa a uma lgebra linear. Seja G um grupo de Lie com lgebra de Lie g.
Tomando uma representao el de g seja H = hexp (g)i. As lgebras de Lie g e
e de ambos os
h = (g) de G e H so isomorfas. Dessa forma recobrimento universal G
grupos o mesmo e existem homomorsmos : G e!Ge :G e ! H tais que d 1 e
d 1 so isomorsmos. Portanto, usando a notao do lema, se obtm para X 2 g,
e 1
TXG = d 1
G
T(d 1 =d 1 (d 1) TYH
1) (X)
8.2. Srie de Baker-Campbell-Hausdor 171
eX eY = ec(X;Y ) :
a mesma para quaisquer grupos de Lie com lgebra de Lie g, pois os grupos so
localmente isomorfos. Em vista disso ser adotada aqui, para a anlise da srie BCH, a
mesma estratgia utilizada para a frmula da diferencial da exponencial. A estratgia
consiste em lanar mo do teorema de Ado e fazer os clculos com exponenciais de
matrizes, que facilita os argumentos, principalmente o da convergncia da srie.
Dito isso, o primeiro membro da igualdade eX eY = ec(X;Y ) se escreve como a soma
da srie
! !
X 1 X 1
eX eY = Xn Yn
n 0
n! n 0
n!
!
X X1 n
1
= XjY n j
n 0 j=0
j! (n j)!
X
= en (X; Y ) :
n 0
Essa ltima srie converge normalmente para quaisquer X, Y , pois isso ocorre com a
srie da exponencial. (A convergncia em relao a uma norma pr-estabelecida, por
exemplo, a norma de operador que satisfaz kXY k kXk kY k.)
Considere agora a srie do logaritmo
X ( 1)k+1
log (1 + x) = xk ;
k 1
k
que converge absolutamente se jxj < 1. Essa srie inverte a exponencial no sentido em
que
Proposio 8.5 Existe > 0 tal que se jXj; jY j < ento c (X; Y ) dado pela srie
convergente (8.7) em que o termo cn (X; Y ) um polinmio homogneo em X; Y da
forma
X
cn (X; Y ) = aI;J X i1 Y j1 X is Y js
Falta deduzir a frmula recursiva para cn . Dessa frmula car evidente que
cn (X; Y ) um elemento de Lie, isto , uma soma de colchetes sucessivos entre
X e Y . A idia para obter a frmula recursiva escrever a srie para c (tX; tY ) com
jtj < 1, observando que cn (tX; tY ) = tn cn (X; Y ), j que cn (X; Y ) um polinmio de
grau n em X e Y . Dessa forma,
X
c (tX; tY ) = cn (X; Y ) tn
n 1
1 z
1. (z) = (z) = ez 1
. Essa funo satisfaz ( z) = (z) + z, pois
z ze z
( z) z = z =
1 e z 1 e z
z
= z = (z) :
e 1
174 Captulo 8. Expanses em sries
1
Mas, Tc(uX;vY ) = (ad (c (uX; vY ))) pois (z) (z) = 1. Da que
@F
(u; v) = (ad (c (uX; vY ))) (Y )
@v
1
= (ad (c (uX; vY ))) (X) ad (c (uX; vY )) (X) :
2
A derivada em relao a u se obtm da derivada em relao a v tomando a igualdade
a igualdade e vY e uX = e c(uX;vY ) . Ento,
vY uX c(uX;vY ) @F
e e X=e T c(uX;vY ) (u; v) ;
@u
isto ,
@F
(u; v) = ( ad (c (uX; vY ))) (X)
@u
1
= ( ad (c (uX; vY ))) (X) + ad (c (uX; vY )) (X)
2
1
= (ad (c (uX; vY ))) (X) + ad (c (uX; vY )) (X) ;
2
pois a funo par.
Por m, somando as duas derivadas parciais, segue que
1
c (tX; tY )0 = (ad (c (tX; tY ))) (X + Y ) + ad (c (tX; tY )) (X Y)
2
que a igualdade do enunciado. 2
1
c1 (X; Y ) = c (tX; tY )0t=0 = X + Y
2
pois (0) = 1.
1
(n + 1) cn+1 = [cn ; X Y ]
2 X X
+ a2k ad (cj1 ) ad (cj2k ) (X + Y )
2 2k n Jk;n
onde a a segunda soma se estende aos multi-ndices Jk;n = (j1 ; : : : ; j2k ) com 2k ele-
mentos ji 1 cuja soma j1 + + j2k = n.
176 Captulo 8. Expanses em sries
1. c1 (X; Y ) = X + Y .
2. 2c2 (X; Y ) = 21 [c1 ; X Y ] = 21 [X + Y; X Y]= [X; Y ], isto ,
1
c2 (X; Y ) = [X; Y ] :
2
(O sinal vem do fato que o colchete entre campos invariantes direita.)
3. Para n = 3 a frmula de recurso
1 X
3c3 = [c2 ; X Y ] + a2 ad (cj1 ) ad (cj2 ) (X + Y )
2 j1 +j2 =2
1
= [c2 ; X Y ] + a2 ad (c1 ) ad (c1 ) (X + Y ) :
2
Como c1 = X + Y , o ltimo termo se anula e
1 1
c3 = [[X; Y ] ; Y ] [[X; Y ] ; X] :
12 12
8.3. Estrutura diferencivel analtica 177
Proposio 8.8 O atlas 'g : V ! gU , g 2 G, denido por 'g (X) = geX analtico.
O produto p : G G ! G uma aplicao analtica em relao a esse atlas.
que a composta de uma aplicao analtica por uma aplicao linear. Portanto,
analtica. 2
8.4 Exerccios
1. Seja G um grupo compacto no abeliano. Mostre que a aplicao exponencial
em G no difeomorsmo local.
4. Use BCH para mostrar que se xt e yt so curvas C 1 num grupo de Lie G ento
existe uma curva wt tambm C 1 tal que para todo t, wt2 = xt yt xt 1 yt 1 .
0 1 0
X= Y = :
0 0 2
Mostre que a srie BCH para c (X; Y ) no converge. (Sugesto: mostre que eX eY
no exponencial.)
12. Seja G um grupo de Lie conexo com lgebra de Lie g. Mostre que o posto de
G coincide com o posto de g. (O posto de g o minimo das dimenses de
ker ad (X), X 2 g.)
180 Captulo 8. Expanses em sries
Parte III
181
183
Resumo
Nessa parte sero construdos os grupos de Lie conexos e simplesmente conexos. As
lgebras de Lie so divididas em duas grandes classes, a lgebras semi simples e as
lgebras de Lie solveis (que incluem as nilpotentes e as abelianas). O teorema de
decomposio de Levi garante que uma lgebra de Lie de dimenso nita pode ser
escrita como o produto semi-direto de uma lgebra semi simples por uma lgebra
solvel, isto , qualquer lgebra de Lie g a soma direta de uma sublgebra semi
simples por um ideal solvel. Os grupos de Lie conexos e simplesmente conexos sero
construdos separadamente para cada uma dessas classes de lgebras de Lie.
O conceito central na construo dos grupos simplesmente conexos o de produto
semi-direto de grupos de Lie. Esse produto ser usado tanto para os grupos associados
s lgebras de Lie solveis, atravs de sucessivas decomposies, quanto para juntar
as construes para as duas grandes classes de lgebras de Lie, as solveis e as semi
simples.
O produto semi-direto de grupos de Lie abordado no captulo 9. O tratamento
dado aqui do produto semi-direto envolve o grupo am de um grupo de Lie G, cu-
jos elementos so transformaes de G dadas por compostas de automorsmos por
translaes. Dessa forma o primeiro passo obter uma estrutura de grupo de Lie no
grupo dos automorsmos AutG. No caso em que G conexo e simplesmente conexo
isso vem direto do isomorsmo de AutG com Autg, o grupo dos automorsmos da
lgebra de Lie g de G. Para grupos conexos em geral AutG isomorfo a um subgrupo
fechado do grupo dos automorsmos AutG e de seu recobrimento universal G.
e O grupo
am AfG adquire estrutura de grupo de Lie depois da demonstrao de que a ao de
AutG em G diferencivel. Como aplicao do produto semi-direto se mostra que
os elementos das sries de composio (srie derivada e srie central descendente) de
grupos de Lie simplesmente conexos so subgrupos fechados e simplesmente conexos.
No captulo 10 se mostra que os grupos solveis conexos e simplesmente conexos
so difeomorfos a espaos euclidianos (Rn para algum n). A demonstrao disso se
faz via produtos semi-diretos sucessivos, que fornecem, para esses grupos, sistemas
de coordenadas de segunda espcie globais. No caso de grupos nilpotentes se obtm
um resultado melhor ainda, j que a aplicao exponencial difeomorsmo (para os
grupos conexos e simplesmente conexos), e portanto um sistema de coordenadas de
primeira espcie global. Segue desse resultado que um grupo de Lie nilpotente conexo
e simplesmente conexo tem como variedade diferencivel a sua lgebra de Lie, que
munida do produto dado pela frmula de Baker-Campbell-Hausdor.
As lgebras semi simples so divididas em duas categorias, as compactas e as no
compactas.
O captulo 11 considera o caso compacto. O que acontece que se um grupo de Lie G
compacto ento sua lgebra de Lie g compacta, no sentido em que existe um produto
interno invariante pela representao adjunta (essa uma propriedade algbrica de g).
A recproca a isso quase que verdadeira: uma lgebra de Lie compacta se decompe
na soma direta de seu centro com uma lgebra semi simples compacta. Um grupo de
Lie com lgebra de Lie compacta pode no ser compacto devido existncia do centro.
184
Neste captulo sero estudados os grupos de automorsmos dos grupos de Lie conexos.
Se Ge conexo e simplesmente conexo ento o teorema 7.13 de extenso mostra o
grupo de automorsmos AutG e isomorfo ao grupo de automorsmos Autg de sua
lgebra de Lie g, que grupo de Lie. Em geral para um grupo conexo G seu grupo de
automorsmos isomorfo a um subgrupo fechado do grupo dos automorsmos AutG e
e Portanto, AutG grupo de Lie.
de seu recobrimento universal G.
A estrutura diferencivel em AutG permite obter o produto semi-direto no con-
texto de grupos de Lie, via o grupo am AfG, que tambm um grupo de Lie. A
multiplicao num produto semi-direto H G obtida a partir da multiplicao em
AfG.
185
186 Captulo 9. Grupo am e produto semi-direto
Essa igualdade mostra que ad (g) , na verdade, um ideal de Derg. Em geral a incluso
ad (g) Derg prpria, como mostra o exemplo das lgebras abelianas em que toda
aplicao linear derivao e, no entanto, ad (g) = f0g.
Como a lgebra de Lie de Autg Derg claro que a sublgebra ad (g) se integra
a um subgrupo conexo de Autg. Esse subgrupo denotado por Intg e seus elementos
so denominados de automorsmos internos de g. A razo desse nome que Intg
est relacionado com os grupos dos automorsmos internos de um grupo de Lie G com
lgebra de Lie g (veja a proposio 9.6 abaixo). Os elementos de Intg so produtos de
exponenciais de sua lgebra de Lie ad (g), isto , se g 2 Intg ento
g = ead(X1 ) ead(Xn )
com Xi 2 g.
Passando agora aos grupos de Lie sero considerados apenas os automorsmos
contnuos e, portanto, diferenciveis, o que subentende-se em toda discusso a seguir.
O grupo dos automorsmos de G denotado por AutG.
Se um automorsmo de G ento pela proposio 5.16 do captulo 5 sua diferencial
na origem d 1 um automorsmo da lgebra de Lie g. Isso dene a aplicao :
AutG ! Autg por ( ) = (d )1 . A regra da cadeia garante que essa aplicao um
homomorsmo de grupos.
Esse homomorsmo injetor, pois pela proposio 7.8 dois homomorsmos ; :
G ! H entre grupos de Lie coincidem se suas diferenciais d 1 e d 1 so iguais e o
dominio conexo.
(Deve-se observar que pode no ser injetora se G no conexo. Por exemplo, se
G um grupo discreto ento constante igual identidade, mas em geral existem
automorsmos de G diferentes da identidade.)
A injetividade da mostra que o grupo dos automorsmos de um grupo de Lie
conexo isomorfo a um subgrupo do grupo dos automorsmos de sua lgebra de Lie.
Por outro lado nem sempre sobrejetora, como car claro logo a seguir, aps a
discusso completa dos grupos de automorsmos.
No entanto, o teorema 7.13 garante que se G conexo e simplesmente conexo ento
todo automorsmo de g se estende a um automorsmo de G, o que signica que
sobrejetora. Para esses grupos se obtm ento a seguinte descrio de seus grupos de
automorsmos.
9.1. Automorsmos de grupos de Lie 187
fg ( ; X) = geX = (g) eX
(X)
= (g) e :
Lema 9.3 e= .
d( e)1 = d 1 de1 = d 1 = d( )1 :
Proposio 9.4 Seja G um grupo de Lie conexo. Ento AutG isomorfo a Aut G e
e e
onde G = G= . O isomorsmo dado por ` : 2 AutG 7! e 2 AutG onde e o nico
e tal que de1 = d 1 .
automorsmo de G
fg ( ; X) = geX = (g) eX
(X)
= (g) e
g 2 Gl (n; R) tem entradas inteiras e det g = 1 ento sua inversa tambm tem entradas
inteiras. Portanto, o grupo dos automorsmos de Tn (isomorfo a) o grupo discreto
Para concluir esta seo sobre autormorsmos ser considerado o grupo IntG dos
automorsmos internos de um grupo G que formado pelas conjugaes Cx : G !
G, Cx (z) = xzx 1 , com x 2 G. Se um automorsmo qualquer de G ento vale a
1
igualdade Cx = C (x) , que mostra que IntG um subgrupo normal de AutG.
A estrutura de grupo de IntG descrita observando que a aplicao x 2 G 7! Cx 2
IntG um homomorsmo de grupos. O ncleo dessa aplicao o centro Z (G) e sua
imagem Int (G) por denio. Dessa forma, IntG isomorfo a G=Z (G). Esse grupo
tambm isomorfo imagem Ad (G) da representao adjunta de G, que um subgrupo
de Autg.
No caso em que G conexo os seus elementos so produtos de exponenciais. Ento,
a frmula
Ad eX = ead(X)
mostra que Ad (G) formado por produtos de exponenciais do tipo ead(X) . Em ou-
tras palavras, Ad (G) um subgrupo de Intg dos automorsmos internos de g. Por
outro lado, a mesma frmula acima mostra que todo automorsmo interno de g se es-
tende a um automorsmo interno de G (mesmo que G no seja simplesmente conexo).
Portanto, vale a seguinte caracterizao de IntG.
Proposio 9.6 Seja G um grupo de Lie conexo. Ento, IntG isomorfo a Intg. Em
particular, grupos de Lie conexos, localmente isomorfos tm grupos de automorsmos
internos isomorfos.
9.2 Grupo Am
Seja G um grupo. Uma transformao am esquerda em G a composta de uma
translao esquerda por um homomorsmo de G. Isto , uma aplicao : G ! G
am se for do tipo
(x) = xg (y) = Ex g (y)
192 Captulo 9. Grupo am e produto semi-direto
afG = autG g valem os colchetes [(X; 0) ; (Y; 0)] = ([X; Y ]; 0) e [(0; X) ; (0; Y )] =
(0; [X; Y ]).
Resta ento determinar um colchete do tipo [(X; 0) ; (0; Y )] com X 2 autG e Y 2 g,
o que feito derivando conjugaes. Tomando exponenciais nos subgrupos AutG f1g
e f1g G se obtm exp t (X; 0) = etX ; 1 e exp s (0; Y ) = 1; esY . Portanto,
onde etX visto como um automorsmo de G (essa conjugao vale tanto no grupo
am esquerda quanto direita). Da que
d
Ad et(X;0) (0; Y ) = C t(X;0) es(0;Y ) = 0; d etX (Y ) :
ds e js=0 1
Esta seo concluda com a observao, fcil de ser vericada, de que se H AutG
um subgrupo de Lie ento H G um subgrupo de Lie de AfG.
A construo do produto semi-direto muito til para obter os grupos de Lie sim-
plesmente conexos associados a uma determinada lgebra de Lie. Isso porque o grupo
simplesmente conexo de um produto g h o produto semi-direto dos grupos cor-
e e
respondentes. De fato, sejam G e H os grupos simplesmente conexos com lgebra de
Lie g e h respectivamente. O grupo AutH e isomorfo a Auth, cuja lgebra de Lie
Derh. Como G e simplesmente conexo, o homomorsmo : g ! Derh se estende a um
homomorsmo : G e ! AutH, e o que permite construir G e e cuja lgebra de Lie
H,
g h. Certamente, G e e simplesmente conexo, pois o produto Cartesiano de es-
H
paos simplesmente conexos. Dessa forma, o nico grupo de Lie conexo e simplesmente
conexo com lgebra de Lie g e
h o produto semi-direto G e
H.
O produto semi-direto de grupos de Lie tem grande relevncia terica para o de-
senvolvimento da teoria em virtude do resultado de lgebras de Lie conhecido por
teorema de decomposio de Levi2 . Esse teorema arma que toda lgebra de
Lie de dimenso nita pode ser decomposta como um produto semi-direto de uma
sublgebra semi simples por um ideal solvel.
Portanto, o problema de determinar os grupos de Lie conexos e simplesmente
conexos se divide em determinar esses grupos para cada uma das duas grandes classes
de lgebras de Lie, as solveis e as semi simples.
ker coincide com ker , isto , com h. Como H e a componente conexa da identidade
de ker tm a mesma lgebra de Lie esses grupos so iguais. Por outro lado, ker
um subgrupo fechado e da que H = (ker )0 tambm fechado.
Na verdade ker conexo pois a aplicao G= (ker )0 ! G= ker = Q uma
aplicao de recobrimento, o que mostra que (ker )0 = ker , pois Q simplesmente
conexo. Da que H = ker e G=H = Q, o que mostra que G=H simplesmente conexo.
2
Esses resultados sobre subgrupos normais sero aplicados a seguir para o grupo
derivado de um grupo de Lie.
Em geral, se G um grupo ento seu grupo derivado G0 denido como sendo
o subgrupo gerado pelos comutadores [x; y] = xyx 1 y 1 , x; y 2 G. Os sucessivos gru-
0
pos derivados G(k) so denidos indutivamente por G(k) = G(k 1) , onde se coloca
G(0) = G. Esses subgrupos so normais (como segue da igualdade u [g; h] u 1 =
[ugu 1 ; uhu 1 ]) e para cada k 0, G(k) =G(k+1) um grupo abeliano.
De maneira anloga, se dene indutivamente as lgebras derivadas de uma l-
gebra de Lie pondo g(0) = g, g0 o subespao gerado pelos colchetes [X; Y ], X; Y 2 g e
0
g(k+1) = g(k) . Essas lgebras derivadas so ideais de g e para cada k 0 o quociente
g(k) =g(k+1) uma lgebra de Lie abeliana4 .
Ento, a derivada direita 0 (0) = [X; Y ] (veja proposio 6.12). Isso signica que
qualquer colchete entre elementos de g a derivada de uma curva em G0 . Portanto,
g0 L (G0 ).
g = g1 gk g0
198 Captulo 9. Grupo am e produto semi-direto
Corolrio 9.16 Seja G um grupo de Lie conexo. Ento, os grupos derivados G(k) so
os subgrupos de Lie conexos G(k) = hexp g(k) i. Se, alm do mais, G simplesmente
conexo ento G(k) , k 0, fechado e simplesmente conexo e os quocientes G(k) =G(i) ,
k i, so simplesmente conexos.
Corolrio 9.17 Seja G um grupo de Lie conexo. Ento, sua srie derivada
G = G(0) G(k)
g = g(0) g(k)
se estabiliza pois dim g(k+1) < dim g(k) se g(k+1) 6= g(k) . O mesmo ocorre ento com os
grupos derivados G(k) = hexp g(k) i. 2
G = G1 G2 Gk
g = g1 g2 gk
Demonstrao: Falta vericar a incluso Gk hexp gk i, que ser feita por induo
sobre k. Tome G simplesmente conexo. Ento, pela proposio 9.11, hexp gk i fechado
e G=hexp gk i grupo de Lie com lgebra de Lie g=gk . Denote por p : G ! G=hexp gk i
o homomorsmo cannico.
Assumindo o resultado para k 1, deve-se vericar que se g 2 G e h 2 Gk 1 ento
ghg 1 h 1 2 hexp gk i , isto , p (ghg 1 h 1 ) = 1.
Agora, p hexp gk 1 i est contido no centro de G=hexp gk i pois gk 1 =gk z g=gk .
Pela hiptese de induo Gk 1 = hexp gk 1 i e, portanto p Gk 1 est contido no cen-
tro de G=hexp gk i. Isso signica que p (ghg 1 h 1 ) = 1 se h 2 Gk 1 , o que mostra que
Gk hexp gk i, conclundo a demonstrao. 2
g = g1 gk = f0g
com dim gi = dim gi+1 + 1. Portanto, como na Proposio 9.15, se prova que se G
simplesmente conexo ento Gk , k 1, fechado e simplesmente conexo e o quociente
G=Gk tambm simplesmente conexo.
200 Captulo 9. Grupo am e produto semi-direto
9.5 Exerccios
1. Seja g a lgebra de Lie de Heisenberg, isto , a lgebra de Lie das matrizes da
forma 0 1
0 x z
@ 0 0 y A x; y; z 2 R:
0 0 0
Encontre as lgebras Derg e ad (g) das derivaes e derivaes internas, respecti-
vamente.
2. Seja g uma lgebra de Lie tal que Autg = Intg. Mostre que para qualquer grupo
de Lie conexo G, com lgebra de Lie g vale AutG = Autg.
4. Suponha que uma lgebra de Lie g seja um produto semi-direto, isto , existem
uma sublgebra h e um ideal n tal que g = h n. Denote por G e o grupo conexo e
simplesmente conexo associado a g e seja hexp ni o subgrupo conexo com lgebra
de Lie n. Mostre que hexp ni simplesmente conexo.
11. Use o exerccio anterior para obter uma expresso da aplicao exponencial no
grupo am Af (G), em termos da curva c (t). Aplique o resultado para um produto
semi-direto.
13. Dado um grupo de Lie conexo G denote por e as medidas de Haar invariantes
esquerda de G e AutG, respectivamente. Dena : AutG ! R por (g) =
det (dg1 ). Mostre que (g) uma medida de Haar de Af (G) = AutG
G. Mostre tambm que se P = H G o produto semi-direto denido pelo
homomorsmo : H 2 AutG ento uma medida de Haar invariante esquereda
de P dada por ( (h)) onde medida de Haar (invariante esquerda)
de H. (Compare com o exerccio 31 do captulo 5.)
14. D exemplo de um grupo de Lie conexo, mas no simplesmente conexo G tal que
AutG no conexo.
16. Seja G um grupo de Lie com lgebra de Lie g e brado tangente T G G g. Seja
p : G G ! G o produto em G. Mostre que a diferencial dp : T G T G ! T G
dene uma estrutura de grupo de Lie em T G isomorfo ao produto semi-direto
G Ad g (com g visto como grupo abeliano).
202 Captulo 9. Grupo am e produto semi-direto
17. Seja G um grupo de Lie conexo no abeliano com lgebra de Lie g. Suponha que
os nicos ideais de g so os triviais f0g e g e que o centro do grupo Z (G) = f1g.
Mostre as seguintes armaes:
20. Sejam G um grupo de Lie conexo e simplesmente conexo com lgebra de Lie g e
H = hexp hi um subgrupo normal conexo com h um ideal. Esse exerccio tem por
objetivo mostrar que H simplesmente conexo, o que complementa a proposio
9.11.
(a) Suponha que h seja um ideal maximal, isto , se h1 um ideal que contm
h ento h1 = h ou h1 = g. Mostre que existe uma sublgebra l tal que
g = l h. (Sugesto: g=h s tem os ideais triviais f0g ou g=h e portanto
dim g=h = 1 ou g=h semi simples. No primeiro caso argumente como na
proposio 9.12 e no segundo caso use o teorema de decomposio de Levi.6 )
(b) Mostre que existem sublgebras l1 ; : : : ; lk tal que g = l1 lk h e
lj lk h ideal de g para cada j = 1; : : : ; k.
(c) Construa G por produtos semi-diretos sucessivos e conclua que H = hexp hi
simplesmente conexo.
6
Veja lgebras de Lie [50], captulo 5.
Captulo 10
Os resultados obtidos ao nal do captulo anterior sobre a srie derivada G(n) e a srie
central descendente Gn permitem analisar os grupos de Lie solveis (que so aqueles
em G(n) = f1g para algum n) e os grupos de Lie nilpotentes, para os quais Gn = f1g
para algum n. Como ser visto neste captulo um grupo de Lie conexo G solvel se, e
s se, sua lgebra de Lie solvel. O mesmo resultado vale para os grupos nilpotentes
conexos. Alm do mais os grupos de Lie simplesmente conexos dessas classe podem
ser construdos por produtos semi-diretos sucessivos de grupos abelianos simplesmente
conexos. De onde se conclui que um grupo de Lie solvel (em particular, nilpotente)
conexo e simplesmente conexo difeomorfo a um espao euclidiano Rn .
203
204 Captulo 10. Grupos solveis e nilpotentes
Proposio 10.1 Um grupo de Lie conexo G solvel se, e s se, sua lgebra de Lie
g solvel.
Essa a lgebra de Lie do grupo T das matrizes triangulares cujos elementos diagonais
so > 0. A variedade subjacente a T Rn+ RN , N = n (n 1) =2, isto , um espao
euclidiano. Esse exemplo ilustra uma propriedade que vale para todo grupo de Lie
solvel conexo e simplesmente conexo. Como ser demonstrado a seguir esses grupos
so difeomorfos a espaos euclidianos.
A demonstrao desse fato requer as seguintes informaes sobre lgebras de Lie
solveis.
Uma decomposio de Jordan-Hlder de uma lgebra de Lie uma sequncia
de sublgebras g = g0 g1 gk = f0g tal que para cada i = 1; : : : ; k, gi+1 um
ideal de gi e os nicos ideais de gi =gi+1 so os triviais (isto , gi =gi+1 uma lgebra
simples ou dim gi =gi+1 = 1).
A proposio a seguir mostra que lgebras de Lie solveis admitem decomposies
de Jordan-Hlder em que os quocientes sucessivos tem dimenso um. (Na verdade,
vale a recproca. Uma decomposio dessas s ocorre em lgebras de Lie solveis.)
Proposio 10.2 Seja g uma lgebra de Lie solvel. Ento, existe uma sequncia de
sublgebras
g = g0 g1 gk = f0g
tal que gi+1 um ideal em gi e dim gi = dim gi+1 + 1 para i = 0; : : : ; k 1.
g(i) V1 Vl g(i+1)
de tal forma que as dimenses variam de um em um. Como [g(i) ; g(i) ] g(i+1) , segue
que [Vj ; Vr ] g(i+1) . Em particular, [Vj ; Vj+1 ] g(i+1) Vj+1 , mostrando que Vj+1
ideal em Vj , o que conclui a demonstrao. 2
Proposio 10.3 Sejam g uma lgebra de Lie solvel e h g um ideal. Ento, existe
uma decomposio Jordan-Hlder
g = g0 g1 gk = f0g
tal que h = gi para algum i.
Demonstrao: A sublgebra h tambm solvel, pois h(i) g(i) . Portanto, existe
uma decomposio
h = h0 h1 hs = f0g
com dim (hi =hi+1 ) = 1. Por outro lado, g=h tambm solvel (pois (g=h)(i) = g(i) 2 ).
Existe, portanto uma sequncia
g=h = l0 l1 lr = f0g
1
com dim (li =li+1 ) = 1. Seja : g ! g=h a projeo cannica. Ento, (li+1 ) tem
co-dimenso 1 em 1 (li ), da que
1 1
g= (l0 ) h= (lr ) h1 hs = f0g
a decomposio desejada. 2
Voltando aos grupos de Lie, pode-se provar agora que os grupos solveis conexos e
simplesmente conexos so difeomorfos a espaos euclidianos.
Proposio 10.4 Seja G um grupo solvel conexo e simplesmente conexo com lgebra
de Lie g. Tome uma decomposio de Jordan-Hlder
g = g0 g1 gk gk+1 = f0g
com dim (gi =gi+1 ) = 1. Ento, cada um dos subgrupos conexos hexp gi i fechado e
difeomorfo a um espao euclidiano (Rn para algum n). Em particular G = hexp g0 i
um espao euclidiano.
Demonstrao: Denote por Gi o grupo de Lie conexo e simplesmente conexo com
lgebra de Lie gi . A demonstrao consiste em reconstruir G por sucessivos produtos
semi-diretos R s Gi+1 Gi . Essa construo feita de tal forma que, para cada i,
hexp gi i isomorfo a Gi .
O isomorsmo R s Gi+1 Gi dado como na proposio 9.12, j que gi =
hXi gi+1 com X 2 gi n gi+1 . Da que procedendo por induo, em primeiro lugar
Gk R pois dim gk = 1. Ento,
Gk 1 R s R
onde a segunda componente o subgrupo com lgebra de Lie gk . Da mesma forma
Gk 2 isomorfo a R s (R s R) obtendo, por m G G0 por produtos semi-diretos
sucessivos cuja variedade difeomorfa a Rk+1 . 2
2
Veja lgebras de Lie [50], captulo 1.
206 Captulo 10. Grupos solveis e nilpotentes
Corolrio 10.5 Seja G um grupo solvel conexo e simplesmente conexo com lgebra
de Lie g. Se H G um subgrupo normal e conexo ento H fechado e difeomorfo
a um espao euclidiano. O quociente G=H tambm espao euclidiano.
G = G1 G2 Gk
10.2. Grupos nilpotentes 207
g = g1 g2 gk
Proposio 10.7 Um grupo de Lie conexo G nilpotente se, e s se, sua lgebra de
Lie g nilpotente.
A srie central descendente contm a srie derivada, no sentido em que G(k) Gk+1
e g(k) gk+1 . Portanto, os grupos (assim como as lgebras de Lie) nilpotentes so
tambm solveis. Dessa forma as propriedades dos grupos solveis conexos descritas
na seo anterior valem para os grupos nilpotentes conexos. Da que um grupo de Lie
nilpotente, conexo e simplesmente conexo, difeomorfo a um espao euclidiano, assim
como cada um de seus subgrupos conexos.
No caso nilpotente essa situao aprimorada pelo fato de que aplicao exponencial
exp : g ! G um difeomorsmo, o que no vale para grupos solveis em geral (veja
um exemplo abaixo).
Dito de outra maneira, nos grupos de Lie nilpotentes simplesmente conexos a apli-
cao exponencial um sistema de coordenadas global de primeira espcie.
Na demonstrao do teorema 10.8 sero utilizadas as seguintes propriedades ele-
mentares das lgebras de Lie nilpotentes4 :
2. Uma lgebra de Lie nilpotente g tem centro z (g) 6= f0g. De fato, se gk+1 a
primeira potncia de g que se anula ento gk 6= f0g est contido no centro de g,
pois g; gk = gk+1 = f0g.
3. Seja g uma lgebra de Lie nilpotente. Ento, toda sublgebra de g nilpotente.
Se h g um ideal ento g=h nilpotente.
O primeiro passo na demonstrao do teorema 10.8 ser vericar que exp um
difeomorsmo local. A frmula da diferencial de exp, demonstrada no captulo 8 fornece
ead(X) 1
d (exp)X = dEeX TX = dEeX :
ad (X)
Como ad (X), X 2 g, nilpotente, seus auto-valores so nulos. Portanto, os auto-
ead(X) 1 et 1
valores de TX = so todos iguais a 1 = f (0) onde f (t) = . Isso
ad (X) t
implica que TX e, portanto, d (exp)X injetora. Como as dimenses do domnio e da
imagem coincidem, segue que d (exp)X bijetora para todo X 2 g. Portanto, exp
um difeomorsmo local.
Dessa forma, para mostrar que exp difeomorsmo basta mostrar que uma bijeo.
A demonstrao de que a exp bijetora feita por induo sobre a dimenso de G.
Em primeiro lugar, se dim G = 1 e G simplesmente conexo ento tanto G quanto g
coincidem com R e exp a identidade.
Para o passo de induo seja k 1 tal que gk 6= f0g e g k+1 = f0g. Pode-se
supor que k 2 pois caso contrrio g abeliana e a exponencial difeomorsmo.
Nesse caso g=g lgebra nilpotente com dim g=gk < dim g. Como foi demonstrado
k
Corolrio 10.10 Seja G um grupo de Lie nilpotente conexo com lgebra de Lie g.
Ento, os subgrupos conexos de G so da forma H = exp h, onde h g uma subl-
gebra. Se G simplesmente conexo ento qualquer subgrupo conexo exp h fechado e
simplesmente conexo.
Demonstrao: Como G conexo vale a incluso exp z (g) Z (G). Para a incluso
e com G
contrria escreva G = G= e simplesmente conexo e discreto e central. Tome
g 2 Z (G) e seja X 2 g tal que g = eX . Ento, para todo h 2 G, heX h 1 = eX , isto
, existe h 2 tal que eAd(h)X = eX h . Aplicando essa igualdade e h = etY , Y 2 g,
t 2 R, se obtm
eAd(e )X = eX t
tY
210 Captulo 10. Grupos solveis e nilpotentes
e
discreto, t constante e igual a 0 = 1. Pela injetividade da exponencial em G
tY
segue que Ad e X = X, isto ,
etad(Y ) X = X:
A derivada em relao a t mostra que ad (Y ) X = 0, isto , X 2 z (g), conclundo a
demonstrao. 2
Demonstrao: e
Pelo corolrio anterior Z G = exp z (g). Tome um subespao
V que complementa z (g) em g. A aplicao f : V e =
Z G ! G denida por
X
f (X; g ) = e g o difeomorsmo desejado. De fato, f faz parte do seguinte
diagrama comutativo
exp - e
V z (g) G
id exp
? ? ?
e = f -
V Z G G
onde exp na linha de cima dada por (X; Y ) 7! eX eY = eX+Y . O diagrama mostra
que f difeo local pois as exponenciais envolvidas so difeomorsmos e as projees
(denotadas por ) so aplicaes de recobrimento. Do diagrama se v tambm que f
e tal que
sobrejetora. Agora, se f (X1 ; g1 ) = f (X2 ; g2 ) ento existe z = eZ 2 Z G
eX1 = eX2 eZ , o que implica que X1 = X2 e, portanto, g1 = g2 . 2
tA 0
ad
0 0
1
c (X; Y ) = X + Y + [X; Y ] :
2
Esse um produto que dene g como um grupo de Lie.
10.3 Exerccios
1. Mostre que um grupo solvel simplesmente conexo G admite um sistema de
coordenadas global de segunda espcie. Isto , existe uma base fX1 ; : : : ; Xn g da
lgebra de Lie g de G tal que a aplicao
um difeomorsmo.
10. Denote por N o conjunto das transformaes lineares nilpotentes em gl (n; R).
11. Como caso particular do exerccio 9, seja A 2 gl (n; R) uma transformao linear
nilpotente e mostre que se eA = 1 ento ATA = 0 onde TA a srie de potncias
x
da funo f (x) = e x 1 avaliada em A. Conclua que A = 0.
10.3. Exerccios 213
12. Seja g gl (n; R) uma lgebra de Lie para a qual existe uma base de Rn tal
que a matriz de todo elemento de A 2 g em relao a triangular superior com
zeros na diagonal. Mostre que G = hexp gi um grupo nilpotente simplesmente
conexo.
13. Seja G um grupo de Lie nilpotente simplesmente conexo com lgebra de Lie g.
Dada uma derivao D 2 Der (g) construa o automorsmo innitesimal D e como
no exerccio 8 do captulo 9. Mostre que no sistema de coordenadas global, dado
pela exponencial, vale De (X) = D (X) para todo X 2 g.
Grupos compactos
Denio 11.1 Uma lgebra de Lie real g dita compacta se existe em g um pro-
duto interno ( ; ) invariante, isto ,
215
216 Captulo 11. Grupos compactos
1. Se g simples ento z (g) = f0g ou z (g) = g, j que z (g) ideal. Mas, se z (g) = g
ento g abeliana e como dim g > 1 qualquer um de seus subespaos seria um
ideal. Portanto, z (g) = f0g.
11.1. lgebras de Lie compactas 217
g = z (g) u
onde z (g) o centro de g e u um ideal semi simples. Essa decomposio nica pois
u = z (u)? = g0 .
g = i1 im u1 un (11.1)
de tal forma que dim ij = 1 e dim uj > 1. Cada uma dessas componentes um ideal de
g. Elas comutam entre si pois so ideais com interseo nula. Alm do mais os ideais
uj com dim uj > 1 so simples, pois um ideal a uj de uj tambm ideal de g, j que
uj comuta com as demais componentes.
Escreva i = i1 im e u = u1 un . Ento, u semi simples pois soma de
ideais simples e i abeliano pois dim ij = 1. Como i comuta com u, segue que i z (g).
Na verdade essa incluso uma igualdade pois caso contrrio z (g) \ u 6= f0g. Mas,
z (g) \ u z (u) = f0g, pois u semi simples.
A unicidade consequncia do fato de que se u uma lgebra semi simples que
complementa z (g) ento, u = z (g)? . Para ver isso suciente vericar que u z (g)?
devido s dimenses dos subespaos. Por sua vez suciente mostrar que se X 2 u
ento a imagem de ad (X) ortogonal a z (g), pois u gerado pelas imagens de ad (X),
X 2 u. Mas, isso segue de imediato da invarincia do produto interno, j que se
Y = ad (X) (W ), W 2 u, ento para todo Z 2 z (g), vale
concluindo a demonstrao. 2
218 Captulo 11. Grupos compactos
No teorema acima o ideal semi simples u assim como suas componentes simples
so lgebras de Lie compactas. Isso porque toda sublgebra de uma lgebra compacta
tambm compacta. Segue dessa observao que uma lgebra de Lie compacta g
semi simples se, e s se, z (g) = f0g.
O produto interno invariante ( ; ) numa lgebra de Lie compacta no nico. Por
exemplo, a ( ; ), a > 0, tambm invariante ou ainda, a soma direta de produtos
internos invariantes nas componentes da decomposio (11.1) tambm um produto
interno invariante, de tal forma que o conjunto dos produtos internos invariantes um
cone de dimenso igual ao nmero de componentes em (11.1).
Existe, no entanto uma escolha natural baseada na forma de Cartan-Killing de g,
que denida por
Proposio 11.3 Seja g lgebra de Lie compacta. Ento, sua forma de Cartan-Killing
Kg ( ; ) negativa semi-denida. Alm do mais, para X 2 g, Kg (X; X) = 0 se, e s
se, X 2 z (g). Portanto, g semi simples se, e s se, Kg ( ; ) negativa denida1 .
Proposio 11.4 Seja g uma lgebra de Lie semi simples compacta. Ento, o grupo
Autg dos automorsmos de g compacto.
Demonstrao: O grupo Autg um subgrupo fechado de Gl (g). Alm do mais,
se um automorsmo de g ento ad ( X) = ad (X) 1 o que implica que
isometria da forma de Cartan-Killing. Como Kg ( ; ) negativa denida o seu grupo
de isometrias compacto, da que Autg compacto. 2
primeira demonstrao do teorema de Weyl que garante que G e compacto. Por esse
teorema todo grupo de Lie conexo com lgebra de Lie g compacto. A armao
de que G e compacto equivalente a que o grupo fundamental de Aut0 g seja nito
(da o ttulo da seo). Isso porque Aut0 g um grupo compacto cuja lgebra de Lie
Derg g, como foi visto na seo anterior.
Posteriormente ser apresentada uma outra demonstrao do teorema de Weyl,
que se utiliza da estrutura algbrica e geomtrica das lgebras e dos grupos de Lie
compactos2 . Apesar de mais envolvente, essa outra demonstrao ter a vantagem de
fornecer o grupo fundamental de Aut0 g. A demonstrao apresentada aqui existencial
e tem uma abordagem mais analtica. Ela est baseada no seguinte teorema de extenso
de homomorsmos.
Antes de demonstrar esse teorema de extenso ele ser utilizado para provar o
teorema de Weyl.
A ideia que se G um grupo de Lie conexo cuja lgebra de Lie g semi simples
ento o nico homomorsmo de G a valores em R+ o trivial 1 (veja o lema
11.9 abaixo). Por outro lado, se g uma lgebra de Lie semi simples compacta e
e ento a compacidade de Aut0 g permite mostrar que o grupo abeliano
Aut0 g = G=
nitamente gerado. Dessa forma, se fosse innito existiria um homomorsmo no
trivial : ! R+ . Pelo teorema de extenso seria a restrio de um homomorsmo
no trivial : G e ! R+ , contradizendo o fato de que g semi simples. Para efetivar
essa demonstrao so necessrios os seguintes lemas demostrados em sequncia.
Lema 11.7 Sejam G um grupo Lie e H G um subgrupo fechado tal que G=H
compacto. Ento, existe um compacto de interior no vazio C tal que 1 2 C e G =
C H. Alm do mais pode-se tomar C tal que C 1 = C.
2
Uma terceira demonstrao, usando geometria Riemanniana, indicada ao nal do captulo. Uma
quarta demonstrao, que argumenta com curvas, pode ser encontrada em Lacerda [37] e Zelobenko
[66].
11.2. Grupo fundamental nito 221
e o grupo
Lema 11.8 Seja g uma lgebra de Lie semi simples compacta e denote por G
e
conexo e simplesmente conexo com lgebra de Lie g. Escreva Aut0 g = G= com
isomorfo ao grupo fundamental 1 (Aut0 g). Ento, nitamente gerado.
1
Demonstrao: Seja C = C o compacto simetrico do lema anterior em que 1 2 C
e [
e=C =
G C :
2
2
O conjunto C compacto e como os abertos C , 2 , cobrem C 2 existe um conjunto
nito f 1 ; : : : ; n g tal que
C2 C 1 [ [C n: (11.2)
Lema 11.9 Suponha que G um grupo de Lie conexo cuja lgebra de Lie g semi
simples (compacta ou no). Ento, o nico homomorsmo diferencivel : G ! R+
o trivial (g) = 1 para todo g 2 G.
e o
Teorema 11.10 Seja g uma lgebra de Lie semi simples compacta e denote por G
e
grupo simplesmente conexo com lgebra de Lie g. Ento, G compacto.
1. f ( ) = ( ) se 2 .
Essa funo est bem denida e contnua. De fato, denote por K o suporte de g e
tome um compacto de interior no vazio U L. Ento, para x 2 U e 2 , g (x ) = 0
a menos que x 2 K, isto , 2 x 1 K. Portanto, para x 2 U a soma em (11.3) se
estende a U = U 1 K \ . Mas esse conjunto nito pois discreto e U 1 K
compacto. Dessa forma a restrio de f0 a U a soma nita de funes contnuas e
portanto f0 contnua em U . Segue que f0 contnua, pois U arbitrrio.
11.2. Grupo fundamental nito 223
Por m, f ( ) = f (1 ) = f (1) ( ) = ( ) se 2 . 2
A ideia agora denir uma nova funo h > 0 tal que h (x ) = h (x), 2 , e que
satisfaa
h (xy) h (x) 1 h (y) 1 = f (xy) f (x) 1 f (y) 1 :
Uma vez obtida essa h, o homomorsmo desejado ser (x) = f (x) h (x) 1 .
Para obter h considere a funo contnua F : L L ! R dada por
pois Z (L). Isso signica que existe uma funo contnua F0 : (L= ) (L= ) ! R
tal que F (x; y) = F0 (px; py) onde p : L ! L= e a projeo cannica.
Um clculo direto, a partir da denio, mostra que a funo F satisfaz a seguinte
identidade
F (xy; u) F (y; u) = F (x; yu) F (x; y) ; (11.4)
que tambm satisfeita por F0 . Alm do mais, F (1; y) = F (x; 1) = 0 pois f (1) = 1.
Lema 11.12 Existe uma funo contnua a : L= ! R tal que F0 (x; y) = a (xy)
a (x) a (y) e a (1) = 0.
Demonstrao: Dena
Z
b (x) = F0 (x; u) (du)
L=
Essa sublgebra abeliana maximal, pois uma matriz que no diagonal deixa de
comutar com alguma matriz diagonal.
A complexicada h = tC de t a lgebra das matrizes diagonais em sl (n; C), que
tambm abeliana maximal. Se H 2 h a matriz diagonal H = diagfa1 ; : : : ; an g ento
os auto-valores de ad (H) so 0 e jk (H) = aj ak , j 6= k. O auto-espao associado
4
Veja o captulo 3 de lgebras de Lie [50].
226 Captulo 11. Grupos compactos
Teorema 11.13 Dada uma base de Weyl, o subespao u gerado sobre R por
ihR A =X X iS = i (X + X )
A estrutura da forma real compacta u dada pela decomposio (11.5). Para cada
raiz 2 seja u o espao vetorial real gerado por A e iS . Ento dimR u = 2 e
X
u=t u : (11.6)
2
[iH ; A ] = (H )S .
[iH ; S ] = (H )A .
[A ; A ] = m ; A + +m ; A .
[S ; S ] = m ; A + m ; A .
[A ; S ] = m ; S + +m ; S .
[A ; S ] = 2iH .
Al ; l 1 e e ... e e G2 e Ae
1 2 l 1 l 1 2
Bl ; l 2 e e ... e Ae F4 e e Ae e
1 2 l 1 l 1 2 3 4
e 6
e e ... e e
E6 e e e e e
Cl ; l 3
1 2 Al 1 l
1 2 3 4 5
e e 7
e e e,
, l 1
E7 e e e e e e
Dl ; l 4 ...
le
1 2 l
l 2
l 1 2 3 4 5 6
e 8
E8 e e e e e e e
1 2 3 4 5 6 7
Essa lgebra formada por matrizes simplticas complexas 2l 2l, que so ma-
trizes do tipo
A B
B B T = C C T = 0:
C AT
11.3. lgebras de Lie compactas e complexas 229
Dl Essa srie cobre as lgebras anti-simtricas em dimenso par, so (2l; C) com forma
real compacta so (2l; R), para l 4. Em dimenses menores se tem so (6)
su (4), so (4) s0 (3) so (3) no simples e so (2) que abeliana.
Essas propriedades seguem da teoria das sublgebras de Cartan para lgebras semi
simples complexas em combinao com o truque unitrio de Weyl. No entanto, elas
podem ser provadas diretamente explorando a existncia do produto interno invariante,
como ser feito a seguir.
O primeiro passo na demonstrao das propriedades acima mostrar que as subl-
gebras de Cartan so abelianas maximais.
Proposio 11.14 Sejam u uma lgebra compacta e t u uma sublgebra de Cartan.
Ento, t abeliana maximal.
Demonstrao: Tome X 2 t, arbitrrio. Para vericar que t abeliana deve-se
mostrar que t z (X) = ker ad (X). Por ser sublgebra t invariante por ad (X). Mas,
por denio t sublgebra nilpotente, portanto a restrio ad (X)jt uma transfor-
mao linear nilpotente. Mas, ad (X) semi simples, assim como a restrio ad (X)jt ,
j que ad (X) anti-simtrica em relao ao produto interno invariante. Dessa forma,
ad (X)jt tanto semi simples quanto nilpotente. Isso implica que ad (X)jt = 0, isto ,
t ker ad (X), conclundo a demonstrao.
A maximalidade vem do fato que t seu prprio normalizador. De fato, se t0
lgebra abeliana com t t0 ento os elementos de t0 normalizam t e da que t = t0 . 2
Proposio 11.16 Seja u uma lgebra compacta e suponha que t u seja uma sub-
lgebra abeliana maximal. Ento, t uma sublgebra de Cartan.
Demonstrao: Como por hiptese t abeliana, basta mostrar que ela coincide com
o seu prprio normalizador. Para isso observa-se em primeiro lugar que se X 2 = t ento
existe Y 2 t tal que [X; Y ] 6= 0, pois caso contrrio o subespao gerado por t e X seria
uma sublgebra abeliana que contm t propriamente, contrariando a hiptese.
Agora, suponha por absurdo que existe X 2 = t tal que [X; t] t e tome Y 2 t com
[X; Y ] 6= 0. Ento, [Y; [Y; X]] = 0 pois [Y; X] 2 t, que abeliana. Em outras palavras,
X 2 ker ad (Y )2 . Pelo lema anterior, segue que X 2 ker ad (Y ), isto , [Y; X] = 0, o
que contradiz as escolhas de X e Y . 2
Corolrio 11.17 Seja u uma lgebra compacta. Ento, para todo X 2 u existe uma
sublgebra de Cartan t u tal que X 2 t. Isto , u a unio de suas sublgebras de
Cartan.
11.3. lgebras de Lie compactas e complexas 231
Proposio 11.18 Seja t uma sublgebra de Cartan. Ento, existe X0 2 t tal que
t = z (X0 ) = ker ad (X0 ).
g = fY 2 g : 8X 2 t; ad (X) Y = i (X) Y g
P
eg= 2R g . (Os funcionais lineares 6= 0 formamm o conjunto das razes da
sublgebra de Cartan.) O funcional linear nulo um dos elementos de R pois 0 auto-
valor das adjuntas ad (X). Como t abeliana o subespao g0 contm t e portanto,
t g0 \ u. Na verdade, vale a igualdade t = g0 \ u pois os elementos de g0 \ u
normalizam t, que uma sublgebra de Cartan.
O fato de que R um conjunto nito garante que existe X0 2 t tal que (X0 ) 6= 0
para todo 2 R, 6= 0. Esse X0 satisfaz o desejado pois o ncleo de ad (X0 )
g0 \ u = t. 2
No nal das contas ser mostrado que o elemento X0 da proposio acima regular
em u. Antes disso deve-se vericar que o ncleo de ad (X) para um elemento regular
uma sublgebra de Cartan.
O fecho dessa discusso sobre sublgebras de Cartan e elementos regulares ser ob-
tido a partir da prxima proposio que mostra, no apenas que um elemento qualquer
X 2 u pertence a uma sublgebra de Cartan (como no corolrio 11.17), mas que X
pertence a uma conjugada de uma sublgebra de Cartan pr-xada.
g 2 Aut0 u 7 ! (gX; H) 2 R
f (t) = etad(Y ) g0 X; H
assume um mnimo em t = 0.
Como exp (tad(Y )) uma isometria de ( ; ) tem-se
tad(Y )
f (t) = g0 X; e H :
Derivando chega-se a
f 0 (0) = (g0 X; [Y; H]) = 0;
que o mesmo que
([H; g0 X]; Y ) = 0;
pois ad(H) anti-simtrica. Como Y 2 u arbitrrio, isso implica que [H; g0 X] = 0,
isto , g0 X 2 z (H) = t, conclundo a demonstrao. 2
e da que z (X) g (t). Mas, tanto z (X) quanto g (t) so sublgebras de Cartan.
Portanto, a incluso z (X) g (t) de fato uma igualdade. Isso signica que
Como X regular segue que X0 tambm regular. Se conclui ento que a sublgebra
de Cartan arbitrria t contm um elemento regular X0 tal que t = z (X0 ) = ker ad (X0 ),
o que demonstra o item (1).
Para o item (2) tome t1 = ker ad (X1 ). Novamente pela proposio 11.20 existe
g 2 Aut0 u tal que gX1 2 t. Ento,
Proposio 11.22 Seja u a forma real compacta dada pela construo de Weyl como
no teorema 11.13. Ento, o subespao t = ihR uma sublgebra de Cartan de u.
Demonstrao: Por denio uma sublgebra de Cartan deve ser nilpotente e coin-
cidir com o seu normalizador. A primeira condio satisfeita por t, que abelianaP pois
h abeliana e t h. Para a segunda condio tome X 2 u e escreva X = H + X ,
de acordo com a decomposio (11.5). Se nessa decomposio X 6= 0 para alguma
raiz ento existe H 0 2 t tal que [H 0 ; X ] 6= 0 e, claro, [H 0 ; X ] 2 u . Isso signica
que se [X; t] t ento para toda raiz , X = 0, isto , X 2 t, mostrando que t o
prprio normalizador. 2
Proposio 11.24 Seja z (u) o centro de u. Ento, hexp z (u)i = exp z (u) compacto
e conexo e, portanto um toro.
11.4. Toros maximais 235
Demonstrao: Em primeiro lugar hexp z (u)i = exp z (u) pois z (u) uma lgebra
de Lie abeliana. Tome o fecho Z = exp z (u), que um subgrupo abeliano, conexo e
compacto e que alm do mais est contido no centro de U . Portanto, a lgebra de Lie
z de Z est contida no centro z (u) de u. Da que z = z (u) de onde se conclui que
exp z (u) = Z compacto, conclundo a demonstrao. 2
Segue da que a imagem da exponencial exp u coincide com a unio dos toros maxi-
mais de U , j que todo elemento de u pertence a uma sublgebra de Cartan. Portanto,
exp u um subconjunto compacto de U . Isso porque se T U um toro maximal
ento a aplicao U T ! U , (u; t) 7! utu 1 contnua e denida no compacto U T .
Sua imagem, que compacta, a unio dos toros de U , que coincide com exp u.
O objetivo agora demonstrar que a exponencial sobrejetora, ou o que a mesma
coisa, que U a unio de seus toros maximais.
Para isso ser suciente considerar o caso em que u semi simples. Isso porque
se u = z (u) k com k semi simples ento, pela proposio 11.24 acima, o grupo Z =
hexp z (u)i = exp z (u) fechado. O quociente U=Z compacto e semi simples uma vez
que sua lgebra de Lie u=z (u) isomorfa a k. Uma vez demonstrada a sobrejetividade
da exponencial em U=Z se obtm a sobrejetividade em U . De fato seja : U ! U=Z
o homomorsmo cannico e tome g 2 U . Ento, existe X 2 k tal que eX = (g)
X Y
o que signica que g = e z com z = e 2 exp z (u). Como [X; Y ] = 0, segue que g =
eX eY = eX+Y , de onde se conlui a sobrejetividade da exponencial no grupo redutvel
U a partir da sobrejetividade no grupo semi simples U=Z.
O seguinte lema ser usado na demonstrao do caso semi simples.
Lema 11.26 Dado u 2 U seja Z (u) o seu centralizador, cuja lgebra de Lie
z (u) = fX 2 u : Ad (u) X = Xg
o auto-espao de Ad (u) associado ao auto-valor 1. Seja e o complementar ortogonal
de z (u) em u (em relao ao produto interno invariante). Ento, Ad (u) e = e e a
restrio (Ad (u) id)je inversvel.
Demonstrao: A invarincia de e segue do fato que Ad (u) isometria e Ad (u) z (u) =
z (u). Como z (u) o auto-espao associado ao auto-valor 1 de Ad (u) ento 1 no
auto-valor de sua restrio a e. 2
236 Captulo 11. Grupos compactos
U
e A = AnZ (U ) onde Z (U ) o centro de U . Ento, AU = (A ) pois os elementos
de Z (U ) so xados por conjugaes.
O conjunto U aberto, conexo e denso em U pois dim U 3 e Z (U ) nito.
Alm do mais,
U
Como T U compacto e U denso suciente provar que U = T U = (T )
U
T U . Isso ser provado mostrando que (T ) aberto e fechado no conjunto conexo
U x.
U U
O conjunto (T ) fechado em U pois (T ) = T U \ U e T U compacto. Para
U
vericar que ele aberto basta mostrar que todo u 2 T pertence ao interior de (T )
U U U
pois ento qualquer gug 1 2 (T ) est contido no interior de g (T ) g 1 = (T ) .
Tome ento u 2 T e seja Z (u) o seu centralizador, que um subgrupo compacto
prprio pois u 2 = Z (U ). A componente conexa da identidade K = Z (u)0 contm T ,
que um toro maximal de K. Em particular u 2 K.
A hiptese de induo pode ser aplicada a K para concluir que K = T K e, portanto,
K TU.
Considere agora a aplicao : U K ! U dada por (g; k) = gkg 1 . Sua
diferencial em (1; u) dada por
Corolrio 11.28 Seja U um grupo compacto com lgebra de Lie u. Ento, exp : u !
G sobrejetora.
Para concluir essa seo ser demonstrado que os toros maximais so maximais
tambm como grupos abelianos.
Teorema 11.30 Sejam u uma lgebra de Lie semi simples compacta, t uma sublgebra
de Cartan de u e g 2 Autu tal que g (H) = H para todo H 2 t. Ento, existe Hg 2 t
tal que g = ead(Hg ) .
= n1 1 + + nl l
(mod 2 ) : (11.7)
(Hg ) = i (n1 1 + + nl l
)=i (mod 2 ) :
Portanto, se X 2 g ento
ead(Hg ) X = e (Hg )
X = ei X = g (X )
Segue desse teorema que os toros maximais so tambm maximais como grupos
abelianos no necessariamente conexos.
Demonstrao: Escreva u = z (u) k com k semi simples, de tal forma que a lgebra
de Lie de T z (u) t com t uma sublgebra de Cartan de k. Se k 2 S ento Ad (k)
um automorsmo de u que se restringe a um automorsmo de k tal que Ad (k) X = X
para todo X 2 t. Pelo teorema Ad (k) = ead(H) para algum H 2 t. Portanto, k = eH z
para algum z 2 Z (U ). Como ambos eH e z pertencem a T , se conclui que k 2 T , isto
, S T . 2
11.5. Centro e razes 239
sobrejetor. De fato, se z 2 Z (U ) ento existe iH 2 t tal que z = eiH pois o centro est
contido em todo toro maximal. Como Ad (z) = 1, segue que iH 2 R0 . 2
Proposio 11.34 Seja U grupo de Lie compacto com lgebra de Lie u. Ento, para
toda raiz 2 vale expU iH _ = 1. Portanto, o reticulado Rmin gerado por 2 iH _ ,
2 , est contido em RU .
Rmin RU R0 : (11.9)
Como Z (U ) = R0 =RU , sua ordem est limitada pela ordem de R0 =Rmin , que nita,
como mostra o seguinte fato sobre reticulados em Rn .
Rmin RUe R0
242 Captulo 11. Grupos compactos
o que garante que o grupo fundamental de Aut0 u (isto , o centro de U e ) tem ordem
no mximo R0 =Rmin . Na verdade ser mostrado a seguir que RUe = Rmin de onde se
conclui que o grupo fundamental de Aut0 u isomorfo a R0 =Rmin e, portanto pode ser
determinado algebricamente.
A demonstrao da igualdade RUe = Rmin feita via representaes de g = uC . O
que acontece que dado iH 2 R0 n Rmin existe uma representao el de dimenso
nita : g ! gl (V ) tal que ei (H) 6= 1. Portanto, iH 2= RU se U = hexp (u)i, que
um grupo com lgebra de Lie (isomorfa a) u. Se conclui ento que iH 2 = RUe , j que
para todo grupo U com lgebra de Lie u vale RUe RU , como segue da denio do
reticulado RU .
Os resultados e notaes sobre representaes necessarios para mostrar a armao
acima so listados a seguir8 .
h ; i= (H ) = (H ) = hH ; H i
onde ( ) = hH ; i.
=f 1; : : : ; lg
_ _
Da mesma forma se dene C ( ) e um clculo simples mostra que C ( ) =
C ( )T .
_
5. O conjunto dos pesos fundamentais = f! 1 ; : : : ; ! l g a base dual de , que
denido pelas relaes
_ 2h! j ; i i
h! j ; i i = = ij : (11.10)
h i; ii
8
Veja os captulos 6, 9 e 11 de lgebras de Lie [50].
11.5. Centro e razes 243
H = ! 1 (H) H _
1
+ + ! l (H) H _
l
O resultado sobre representaes de lgebras semi simples que ser usado aqui est
enunciado a seguir 9 .
RUe = Rmin = 2 iZ _
= fiH 2 ihR : 8! 2 ; ! (H) 2 2 Zg:
Rmin RUe RU R0 :
Deve-se mostrar que dado iH 2 R0 n Rmin existe um grupo U tal que iH 2 = RU . Pela
proposio 11.37 se iH 2 R0 n Rmin ento existe um peso fundamental ! 2 tal que
! (H) no um mltiplo inteiro de 2 . Seja : g ! gl (V ) a representao dada pela
proposio 11.38 tal que ! (H) auto-valor de (H). O grupo U = hexp (u)i tem
lgebra de Lie (u) isomorfa a u e contm ei (H) . O fato de que ! (H) auto-valor de
9
Veja o teorema de representao com peso mximo no captulo 11 de lgebras de Lie [50].
244 Captulo 11. Grupos compactos
A ordem R0 n Rmin pode ser calculada a partir do lema 11.35, uma vez que se
obtenha um conjunto gerador de R0 .
Proposio 11.40 Denote por _ o conjunto dos pesos fundamentais para os sistema
de razes _ . Ento, o reticulado
R0 = fiH : 8 2 ; (H) 2 2 Zg
_
gerado por 2 iH com 2 .
_
C( ) j = cj
Al Bl Cl Dl E6 E7 E8 G2 F4
det C ( ) l + 1 2 2 4 3 2 1 1 1
Desta tabela saem as seguintes observaes:
R (X; Y ) Z = rX rY Z rY rX Z r[X;Y ] Z
1 1 1
= [X; [Y; Z]] [Y; [X; Z]] [[X; Y ] ; Z]
4 4 2
se X; Y e Z so campos invariantes. Aplicando a identidade de Jacobi se obtm
1
R (X; Y ) Z = [[X; Y ] ; Z] : (11.12)
4
As geodsicas de ( ; ) so obtidas facilmente a partir da frmula (11.11). De fato,
se X campo invariante ento rX X = 0. Portanto, as trajetrias de X so geodsicas.
11
Veja por exemplo Carmo [7].
12
Veja o captulo 14 para mais detalhes sobre a construo da mtrica bi-invariante.
11.7. Exerccios 247
Isto signica que para todo X 2 g as curvas etX u e uetX so geodsicas que partem
de u 2 U . (Observe que uetX = etAd(u)X u dessa forma os conjuntos de curvas etX u e
uetY , com X e Y percorrendo u, coincidem.) Em particular, as geodsicas que partem
do elemento neutro 1 so os grupos a 1-parmetro etX . Isso signica que a aplicao
exponencial, baseada em 1 2 U , denida pela mtrica Riemanniana, coincide com a
aplicao exponencial de U .
Dessa igualdade entre as aplicaes exponenciais se obtm a sobrejetividade da
exponencial exp : u ! U . Isso porque a mtrica Riemanniana ( ; ) geodsicamente
completa no sentido em que suas geodsicas esto denidas para todo t 2 R, como
alis ocorre em qualquer variedade Riemanniana compacta. Porm, o teorema de
Hopf-Rinow13 garante que numa variedade Riemanniana geodsicamente completa dois
pontos quaisquer so ligados por uma geodsica.
O teorema de Weyl do grupo fundamental nito (para grupos compactos semi
simples) segue do teorema de Bonnet-Myers14 . Esse teorema garante que se a curvatura
de Ricci
Ric (v) = tr (w 7! R (w; v) v)
de uma variedade Riemanniana M satisfaz Ric (v) > c > 0 para todo vetor tangente v
com kvk = 1 ento o recobrimento universal de M compacto. Para um grupo semi
simples compacto essa condio satisfeita por uma mtrica bi-invariante. De fato,
pela frmula da curvatura (11.12) segue que a curvatura de Ricci dada para X 2 u
com kXk = 1 por
1X
n
Ric (X) = ([[Yi ; X] ; X] ; Yi )
4 i=1
1X
n
= ad (X)2 Yi ; Yi
4 i=1
onde Yi uma base ortonormal de u. Isto , Ric (X) = 14 tr ad (X)2 . Como a forma
de Cartan-Killing de u negativa denida, tr ad (X)2 < 0 se X 6= 0 o que mostra
que Ric (X) > 0 e assume um mnimo c > 0 quando kXk = 1.
Portanto, se u semi simples ento U admite uma mtrica Riemanniana que satisfaz
as condies do teorema de Bonnet-Myers, o que mostra que seu recobrimento universal
compacto.
11.7 Exerccios
1. Mostre que a lgebra de Lie su (n) semi simples usando o fato de que SU (n)
compacto e simplesmente conexo.
2. Use a descrio das lgebras de Lie compactas para mostrar que as esferas S 2 e
S 4 no admitem estruturas de grupos de Lie.
13
Veja teorema VII.2.8 em Carmo [7].
14
Veja teorema IX.3.1 em Carmo [7].
248 Captulo 11. Grupos compactos
5. Seja u uma lgebra de Lie compacta e U um grupo de Lie conexo com lgebra
de Lie u. Mostre que U o produto direto de um grupo compacto conexo por
um grupo abeliano simplesmente conexo. (Escreva exp t como um cilindro, onde
t uma sublgebra de Cartan.)
6. Seja um automorsmo de uma lgebra semi simples g. Mostre que : Aut0 (g) !
Aut0 (g) dada por (g) = g 1 um automorsmo do grupo adjunto Aut0 (g)
que estende .
12. Use o exerccio anterior para mostrar que o grupo fundamental de Aut (so (2l)),
l 4, Z4 se l mpar e Z2 Z2 se l par.
Captulo 12
Este captulo considera grupos de Lie semi simples no compactos. Sero construdas
duas decomposies, de Cartan e de Iwasawa. Ambas as decomposies mostram que
a variedade diferencivel de um grupo de Lie conexo semi simples no compacto G
o produto de um espao euclidiano por um grupo de Lie conexo K cuja lgebra
de Lie compacta. Por essas decomposies a questo de descrever o recobrimento
e de G se reduz a determinar o recobrimento universal de K, o que foi feito
universal G
anteriormente.
Essa reduo dos grupos semi simples sua parte compacta se estende a um
grupo qualquer via o teorema de decomposio de Levi para lgebras de Lie. Por esse
teorema um grupo simplesmente conexo o produto semi-direto de um grupo semi
simples por um grupo solvel. Esse ltimo um espao euclidiano conforme cou
estabelecido no captulo 10.
g=k s
249
250 Captulo 12. Grupos semi simples no compactos
X+ X X X
X= +
2 2
de onde se obtm a soma direta g = (g \ u) (g \ iu).
No existe uma nica decomposio de Cartan, pois diferentes formas reais com-
pactas podem fornecer somas diretas g = (g \ u) (g \ iu). No entanto, no se perde
generalidade em xar uma delas uma vez que duas decomposies de Cartan so obti-
das uma da outra por um automorsmo interno de g. Dessa forma os resultados obtidos
com diferentes decomposies so equivalentes.
A seguir so enumeradas algumas propriedades das decomposies de Cartan.
7. Se X 2 k e Z; W 2 g ento
8. Se Y 2 s e Z; W 2 g ento
g ! g
# #
Derg ! Derg
isto , ad ( X) = ad (X)T .
252 Captulo 12. Grupos semi simples no compactos
0 1
J= :
1 0
A B
B BT = C C T = 0:
C AT
A B
k=f g A + AT = B BT = 0
B A
A B
s=f g A AT = B BT = 0
B A
que o conjunto das matrizes simtricas em sp (n; R). Esses subespaos fornecem uma
decomposio de Cartan de sp (n; R). 2
X
n
[Xj ; Xk ] = cljk Xl : (12.1)
l=1
cljk j k = cljk l
ead(X) 1 X 1
TX = = ad (X)k ;
ad (X) k 0
k!
Teorema 12.3 A aplicao : s Kad ! Aut0 g denida por (X; k) = exp (ad (X)) k
um difeomorsmo e Aut0 g = SKad onde S = exp s. Alm do mais Kad conexo.
kk T = s 1 gg T s 1
= s 1 s2 s 1
=1
isto , k 2 Kad = SO (g; B ) \ Aut0 g. Como g = ks, isso mostra que sobrejetora.
A injetividade vem do fato de que p se g = sk, s 2 S, k 2 Kad ento gg T =
T T 2
skk s = s 2 Aut0 g e, portanto, s = gg T e a S-componente nica. Da que a
Kad -componente tambm nica.
Para concluir a demonstrao falta mostrar que a diferencial de um isomorsmo
em todo ponto. Tome (X; k) 2 s K, Y 2 s e A 2 k, visto como campo invariante
direita em K. Ento,
g = fX 2 g : 8H 2 a; ad(H)X = (H)Xg
um auto-espao comum a ad (H), H 2 a, se g 6= f0g. Nesse caso chamado de
raiz de a quando 6= 0 e g se decompe como
X
g = g0 g (12.2)
Proposio 12.6 Seja a s uma sublgebra abeliana maximal. Ento, para todo
X 2 s existe k 2 Kad tal que gX 2 a.
que a soma dos auto-espaos de ad (H) associados aos auto-valores > 0. Ento, com
essas escolhas a decomposio de Iwasawa dada por
g=k a n: (12.4)
Teorema 12.8 A decomposio de Iwasawa em (12.4) de fato uma soma direta cujo
resultado g.
12.2. Decomposies de Iwasawa 259
[H; X] = ( ) X;
X = X+ X X
= Y + Y +Z Y:
Lema 12.10 Sejam Nad = hexp ad (n)i e Aad = exp ad (a). Ento, Nad e Aad Nad so
fechados e simplesmente conexos. A lgebra de Lie de Aad Nad ad (a n). Valem as
intersees Kad \ Aad Nad = f1g e Aad \ Nad = f1g.
lim ak 2 Aad , que fechado. Da que nk converge e lim nk 2 Nad , portanto lim ak nk 2
Aad Nad , e esse grupo fechado.
Falta vericar que o grupo Aad Nad simplesmente conexo. Para isso dena o
produto semi-direto Aad Nad onde : Aad ! AutNad denido por (a) (n) =
1
ana . Ento, a aplicao : Aad Nad ! Aad Nad , (a; n) = an, um homomorsmo
diferencivel. Essa aplicao sobrejetora, por denio, e injetora pois se an = a1 n1
ento a1 1 a = n1 n 1 2 Aad \ Nad . A interseo Aad \ Nad = f1g pois os elementos
de Aad so diagonais em relao base B enquanto que os elementos de Nad so
triangulares superiores com 1 na diagonal. Da que um isomorsmo. Como Aad
Nad simplesmente conexo se conclui que Aad Nad simplesmente conexo. Segue desse
isomorsmo que a lgebra de Lie de Aad Nad ad (a n).
Por m se g 2 Kad \ Aad Nad ento uma isometria do produto interno B e ao
mesmo tempo seus auto-valores so reais > 0. Isso s possvel se g = 1, da que
Kad \ Aad Nad = f1g. 2
O fato de que Aad Nad um subgrupo fechado garante o espao quociente Aut0 g=Aad Nad
uma variedade diferencivel. Isso tem uma consequncia interessante do ponto de
vista da decomposio de Iwasawa pois permite mostrar a sobrejetividade da decom-
posio, usando a compacidade de Kad juntamente com o fato de que a n complementa
k em g.
Lema 12.11 A ao do grupo Kad em Aut0 g=Aad Nad transitiva, isto , para todo
g 2 Aut0 g existe k 2 Kad tal que gAad Nad = kAad Nad . Isso signica que Aut0 g =
Kad Aad Nad .
Demonstrao: Denote por : Aut0 g ! Aut0 g=Aad Nad a projeo cannica e seja
x0 = 1 Aad Nad a origem de Aut0 g=Aad Nad . A rbita
Kad x0 = fkAad Nad : k 2 Kad g = (Kad )
compacta pois Kad compacto.
A rbita Kad x0 uma subvariedade de Aut0 g=Aad Nad cujo espao tangente em x0
d 1 (k) (veja teorema 13.8). Como k complementa a n em g a dimenso de Kad x0
coincide com a dimenso de Aut0 g=Aad Nad . Portanto, Kad x0 aberto e fechado do
conexo Aut0 g=Aad Nad e da que Kad x0 = Aut0 g=Aad Nad .
O fato de que toda classe lateral de Aad Nad contm um elemento de Kad signica
que Aut0 g = Kad Aad Nad . 2
12.3 Classicao
Seja g uma lgebra de Lie semi simples real. Sua complexicada gC tambm semi
simples. Se gC simples ento g simples, pois se i g um ideal ento iC gC ideal
12.3. Classicao 263
3
Veja captulo 12 de lgebras de Lie [50].
4
Veja captulo 14 de lgebras de Lie [50].
5
Veja captulo VI de Knapp [34].
264 Captulo 12. Grupos semi simples no compactos
12.4 Exerccios
1. Seja G um grupo de Lie conexo, semi simples e no compacto com decomposio
de Cartan G = KS e de Iwasawa G = KAN . Demonstre as seguintes armaes:
2. Seja g uma lgebra de Lie semi simples no compacta. Mostre que se X 2 g tal
que ad (X) nilpotente ento a rbita adjunta de X (isto , fg (X) : g 2 Aut0 gg)
no fechada. (Sugesto: use o teorema de Jacobson-Borel-Morozov enunciado
no exerccio 14 do captulo 6 de [50].)
3. Seja g uma lgebra de Lie semi simples no compacta e X 2 g tal que ad (X)
uma transformao linear semi simples. Mostre que existe uma sublgebra de
Cartan h g tal que X 2 h. (Sugesto: dena : g = ker ad (X) Im ad (X) !
g por (Y + Z) = ead(Z) (Y + X). Mostre que a imgem de contm um elemento
regular e conclua que ker ad (X) contm um elemento regular.)
5. Sejam gC uma lgebra de Lie semi simples complexa e g uma forma real de gC .
Denote por GC o grupo conexo e simplesmente conexo com lgebra de Lie gC e
seja G = hexp gi GC . Mostre que G tem centro nito. (Tome uma forma real
compacta u de gC tal que g = k s com k = g\u e s = g\iu uma decomposio de
Cartan de g e mostre que a componente K = exp k da decomposio de Cartan
12.4. Exerccios 265
10. Encontre as lgebras simples reais g para as quais o seu grupo simplesmente
e tem centro innito.
conexo G
11. Seja G um grupo de Lie conexo e simplesmente conexo. Mostre que a variedade
diferencivel subjacente a G difeomorfa ao produto de um grupo compacto e
conexo por um espao Euclidiano.
12. Mostre que se G um grupo de Lie conexo ento existe um inteiro n tal que
a aplicao (X1 ; : : : ; Xn ) 7! eX1 eXn sobrejetora. Mostre que se G semi
simples ento pode-se tomar n = 2. D exemplo de um grupo de Lie semi
simples no compacto em que a aplicao exponencial no sobrejetora.
13.
266 Captulo 12. Grupos semi simples no compactos
Parte IV
Grupos de Transformaes
267
269
Resumo
Nessa parte so consideradas as aes diferenciveis de grupos de Lie em variedades
diferenciveis e algumas de suas aplicaes no estudo da geometria diferencial em es-
paos homogneos.
Os elementos bsicos das aes diferenciveis G M ! M de um grupo de Lie G
so desenvolvidos no captulo 13. O primeiro passo consiste em colocar em evidncia
a lgebra de Lie g de G o que feito denindo para cada X 2 g um campo de vetores
e cujo uxo dado pela ao de etX . A aplicao X 7! X
X, e um homomorsmo
e Ye ] = [X;
de lgebras de Lie, isto , [X; ^ Y ], quando se considera campos invariantes
direita em G, para aes esquerda, ou para campos invariantes esquerda para aes
direita. O homomorsmo X 7! X e denominado de ao innitesimal da lgebra de
Lie g, associada ao do grupo G.
A ao innitesimal determina uma distribuio em M denida por (x) =
fXe (x) : X 2 gg. Essa distribuio integrvel e suas variedades integrais conexas
maximais so as rbitas da ao de G se o grupo conexo. Se o grupo no for conexo
suas rbitas so unies de variedades integrais. Esse fato tem como consequncia que as
rbitas da ao de G so variedades quase-regulares e so convenientemente agrupadas
via as cartas adaptadas da distribuio.
Uma questo natural se uma ao innitesimal de uma lgebra de Lie g provm
de uma ao global de algum grupo de Lie. A resposta armativa a essa questo dada
pelo teorema de Lie-Palais, que garante a existncia da ao do grupo simplesmente
conexo com lgebra de Lie g desde que os campos de vetores da ao innitesimal
sejam completos (o que ocorre sempre que a variedade M seja compacta).
Ainda no captulo 13 foi aberta uma seo para introduzir os conceitos de brados
principais (cujas bras so grupos de Lie) e seus brados associados (cujas bras so
espaos onde agem grupos de Lie). Esses conceitos so relacionados, posteriormente,
com braes naturais entre espaos quocientes, tais como a brao G ! G=H, que
um brado principal com bra H.
O captulo 14, que complementa essa parte, tem o intuito de fazer uma (breve) in-
troduo a uma vasta rea de geometria diferencial que estuda estruturas geomtricas
invariantes em espaos homogneos. Foram escolhidos quatro aspectos dessa geometria
invariante: as estruturas pseudo-complexas, as formas diferenciais, as mtricas Rieman-
nianas e as formas simplticas. O principio bsico que a anlise de qualquer estrutura
geomtrica invariante se reduz a um estudo algbrico do que ocorre num nico ponto.
Sobre as estruturas pseudo-complexas se apresenta uma discusso sobre sua inte-
grabilidade, baseada no tensor de Nijenhuis. Alguns exemplos so apresentados. Um
deles o dos grupos complexos aonde se chega concluso que um grupo de Lie
complexo se, e s se, sua lgebra de Lie complexa. No que diz respeito s formas
diferenciais demonstrado um teorema, devido a Chevalley e Eilenberg, de que a co-
homologia de De Rham de um espao homogneo de um grupo compacto coincide com
a cohomologia das formas diferenciais invariantes. Isso reduz o clculo da cohomologia
a questes algbricas envolvendo a lgebra de Lie do grupo.
270
Sobre as mtricas Riemannianas o texto mais parcimonioso, uma vez que a lit-
eratura sobre o assunto ampla e de fcil acesso6 . Em geometria simpltica se faz
a construo da forma simpltica de Kirillov-Kostant-Souriaux nas rbitas coadjuntas
de uma lgebra de Lie e se considera as aplicaes momento de aes Hamiltonianas.
Sobre essas ltimas a nfase colocada na equivarincia em relao ao coadjunta.
Essa equivarincia analisada com base na cohomologia de representaes de grupos.
6
Veja o livro clssico de Helgason [21].
Captulo 13
271
272 Captulo 13. Aes de grupos de Lie
e = (Ad
Proposio 13.3 Dados g 2 G e X 2 g, vale g X ^ (g) X), isto ,
(dg)g 1x
e (gx) = (Ad
X ^ (g) X) (x) :
e (x) = 0g;
gx = fX 2 g : X
Exemplos:
13.1.1 rbitas
Uma das aplicaes da ao innitesimal em M induzida pela ao de um grupo de Lie
G est no estudo das rbitas de G. A razo que as rbitas podem ser obtidas como
as variedades integrais maximais da distribuio denida pela ao innitesimal.
Seja : G M ! M uma ao diferencivel e : g ! (T M ), (X) = X, e a ao
innitesimal correspondente. Para x 2 M dena o subespao g (x) Tx M por
g
e (x) 2 Tx M : X 2 gg:
(x) = fX
A aplicao x 7! g (x) uma distribuio em M . Pela prpria denio, g uma
e X 2 g. Em
distribuio diferencivel, pois ela gerada pelos campos de vetores X,
geral, a dimenso de g no constante. Por exemplo, para a ao cannica de Gl (n; R)
em Rn , g se reduz a 0 na origem, enquanto que g (x) todo o espao tangente se
x 6= 0. Em geral, dim g (x) = dim g dim gx pois gx o ncleo da aplicao linear
X2g!X e (x) 2 Tx M .
Como a distribuio g gerada pelos campos X, e X 2 g, isso implica que dgx g (x)
1
g (gx). A incluso contrria se obtm da mesma forma transladando por g , ao invs
de g. 2
Lema 13.7 Com as notaes anteriores, suponha que G seja conexo. Ento, gIg (x) =
Ig (gx) = Ig (x) para todo g 2 G e x 2 M . Isto , as variedades integrais maximais de
g so G-invariantes.
Teorema 13.8 Suponha que G seja conexo. Ento, para todo x 2 M a rbita G x
coincide com a variedade integral maximal Ig (x) de g que passa por x.
G x - X
*
? x
G=H
A diculdade nessa denio direta de est em provar que ela bem denida no
sentido em que o segundo membro no depende de como g 2 G escrito por um produto
de exponenciais. Devido a essa diculdade se adota uma abordagem parecida com a da
construo de um homomorsmo entre grupos de Lie que estende um homomorsmo de
lgebras de Lie (veja o captulo 7) em que as aplicaes x : G ! M , x (g) = (g; x),
so construdas atravs de seus grcos em G M . Esses grcos, por sua vez, so
dados por variedades integrais de uma distribuio integrvel.
Dito isso, seja G o grupo conexo e simplesmente conexo com lgebra de Lie g. Dada
a ao innitesimal : g ! (T M ) dena em G M distribuio
Seja I (g; x) a variedade integral conexa maximal de que contm (g; x). Quando
os campos de vetores (X) so completos as variedades integrais tem boas propriedades
em relao projeo p : G M ! G, como mostram os lemas a seguir.
Demonstrao: A diferencial de p restrita a (g; x) leva o vetor tangente X d (g) ; (X) (x)
em X d (g). Essa aplicao sobrejetora e portanto um isomorsmo entre (g; x) e
Tg G. Da que p um difeomorsmo local. A sobrejetividade vem do fato de que as
trajetrias dos campos X d ; (X) esto inteiramente contidas nas variedades integrais
de . Uma trajetria dessas da forma etX g; t (x) onde t o uxo de (X).
Como (X) completo segue que p (I (g; x)) contm etX g para todo X 2 g. Tomando
concatenaes sucessivas de trajetrias de campos (Y; (Y )), se conclui que p (I (g; x))
contm produtos arbitrrios do tipo eX1 eXn g e, portanto, p (I (g; x)) = G. 2
Lema 13.12 Suponha que os campos (X), X 2 g, so completos. Ento, para toda
variedade integral conexa maximal I (g; x) de (g; x) a projeo p : I (g; x) ! G
uma aplicao de recobrimento.
uxo do campo (X). A hiptese de que (X) completo garante que X 1 (y) bem
denido para todo y 2 M .
Sejam agora h 2 G e y 2 M tal que (h; y) 2 I (g; x) e dena o conjunto
X
Ay = f eX h; 1 (y) : X 2 V g:
X1 Xn
eX1 eXn ; 1 1 (x)
pertence variedade integral I (1; x). Da que, pela denio de x , a segunda coor-
denada o valor de x na primeira coordenada, o que prova a igualdade (13.2). 2
Teorema 13.14 Sejam g uma lgebra de Lie real com dim g < 1 e G o grupo de
Lie conexo e simplesmente conexo com lgebra de Lie g. Seja : g ! (T M )
uma ao innitesimal de g e suponha que os campos de vetores (X) so completos.
Ento existe uma ao diferencivel : G M ! M tal que a ao innitesimal
correspondente.
2. Para g; h 2 G vale (g; (h; x)) = (gh; x). De fato, se g = eX1 eXn e
h = eY1 eYn ento pela frmula (13.2) se obtm
Y1 Ym
(g; (h; x)) = g; 1 1 (x)
X1 Xn Y1 Ym
= 1 1 1 1 (x)
= (gh; x) :
X
da que a imagem de o subgrupo Dif ( ) de Dif (M ) gerado pelos uxos dos
campos de vetores (X), X 2 g, isto ,
X1 Xn
Dif ( ) = f t1 tn : Xi 2 g; ti 2 Rg:
Portanto, Dif ( ) isomorfo a G= ker que tem estrutura de grupo de Lie, j que ker
subgrupo fechado de G. A lgebra de Lie de ker ker pois etX = tX X
1 = t = id
se, e s se, (X) = 0. Dessa forma a lgebra de Lie de Dif ( ) isomorfa g= ker , que
por sua vez isomorfa imagem de , que a lgebra de Lie de campos de vetores
f (X) : X 2 gg.
Essas observaes se aplicam em particular a uma lgebra de Lie de dimenso nita
de campos de vetores em que a ao innitesimal dada pela incluso.
Corolrio 13.15 Seja g uma lgebra de Lie de dimenso nita de campos de vetores
da variedade M tal que todo campo X 2 g completo. Denote por Dif (g) o grupo de
difeomorsmos de M gerado pelos uxos X dos elementos de g, isto ,
X1 Xn
Dif (g) = f t1 tn : Xi 2 g; ti 2 Rg:
Ento, Dif (g) tem uma estrutura de grupo de Lie cuja lgebra de Lie isomorfa a g.
x
x2R7 ! 2 R2
1
0
a reta horizontal r que passa por . O conjunto das retas que passam pela origem
1
e cruzam r aberto e denso na reta projetiva P1 . Dessa forma, a aplicao acima dene
um mergulho de R num conjunto aberto e denso de P1 . A restrio da ao cannica
de Gl (2; R) a esse conjunto aberto denso dene uma ao local de Gl (2; R) em R por
transformaes lineares fracionrias. De fato, seja g p, g 2 Gl (2; R) e p 2 P1 a ao
x a b
na reta projetiva. Se p o subespao gerado por eg= ento g p
1 c d
o subespao gerado por
ax + b
:
cx + d
Se cx + d 6= 0 esse vetor gera o mesmo subespao que
(ax + b) = (cx + d)
:
1
13.3. Fibrados 283
Usando a notao
ax + b
g x= ;
cx + d
a aplicao (g; x) = g x dene uma ao local de Gl (2; R) em R. claro que no
est denida em todo Gl (2; R) R, porm para os valores em que est denida vale
g (h x) = (gh) x. Em todo caso est denida nas vizinhanas de (1; x) para todo
x 2 R o que permite denir os campos de vetores
e (x) = d etA x
A = d( x )1 (A)
dt jt=0
at b t
A= etA = :
ct d t
Ento,
e (x) = d
A
at x + b t
:
dt ct x + d t jt=0
e (x) =
A +( )x x2 :
13.3 Fibrados
Nessa seo sero discutidos os conceitos de brado principal e seus brados associados.
Esses conceitos surgem de forma natural ao se considerar aplicaes entre diferentes
espaos homogneos.
2. O espao das rbitas dessa ao M . Isso signica que existe uma aplicao
sobrejetora
:P !M
1
tal que as rbitas de G so os conjuntos fxg, x 2 M .
que da forma
(p) = ( (p) ; (p))
1
onde : (U ) ! G uma aplicao que satisfaz
Exemplos:
ff1 ; : : : ; fn g (13.4)
p (x1 ; : : : ; xn ) = x1 f1 + + xn f n :
(p; g) ! pg = p g;
p : Rk ! Rn :
O fato de que esse brado localmente trivial pode ser visto diretamente, con-
struindo sees locais, ou indiretamente olhando esse brado como um brado
associado do brado Gl (n; R) (Grk (n) ; P ) obtido da ao transitiva de Gl (n; R)
em Grk (n). (Veja a seo 13.4 abaixo.)
No caso em que k = 1, a Grassmanniana o espao projetivo Pn 1 . Nesse caso
Bk (n) nada mais nada menos que Rn n f0g e a projeo Rn n f0g ! Pn 1
associa v 2 Rn n f0g a reta gerada por v.
pT p = 1
Sn 1
! Pn 1
1
e bijetora. Nesse caso : Q ! P juntamente com 1 denem um morsmo
entre Q (N; H) e P (M; G). No caso particular em que G = H e = id, o morsmo
denominado de endomorsmo (automorsmo no caso inversvel). Se e so injetoras
ento a imagem de um subbrado principal de Q. J se M = N , G H e
: G ,! H a incluso ento P chamado de uma G-reduo de Q.
A condio de trivialidade local na denio de um brado principal P ! M para
que P seja um feixe bem organizado de grupos (ou grupos de Lie no caso diferencivel).
Essa condio tambm est ligada idia bsica da denio de variedade difer-
encivel. Esta feita tomando as cartas e o ponto principal o tipo de condio que
deve satisfazer as funes de mudana de coordenadas (de cartas, isto , 1 2 1 onde
1 e 2 so cartas da variedade). Por exemplo o grau de diferenciabilidade de uma
variedade determinado pelo grau de diferenciabilidade dessas funes de mundanas
de coordenadas.
De forma anloga, um brado principal tambm pode ser denido como uma va-
riedade em que as funes de mudana de coordenadas pertencem a uma determinada
classe de transformaes. Essa armao est mais ou menos implicita na discusso a
seguir.
1
Seja : (U ) ! U G uma trivializao local como previsto na denio e
1
: (U ) ! G a segunda coordenada de . O conjunto
1
f(x; 1) : x 2 M g
e portanto
1
1 2 (x; a) = 1 ( 2 (x) a) = 1 ( 1 (x) (x) a) = (x; (x) a) ;
isto , a mudana de coordenadas nada mais nada menos que multiplicao esquerda
por (x). Por essa razo a funo chamada de funo de transio entre as
trivializaes 1 e 2 (nessa ordem).
A funo de transio fornece a mudana de coordenadas entre duas trivializaes,
mas no as trivializaes propriamente ditas. Apesar disso, possvel reconstruir o
brado se forem dadas funes de transio compatveis da seguinte forma:
Seja 3 uma terceira trivializao com domnio U3 que intercepta U1 \ U2 . Denote
por ij a funo de transio entre i e j (nessa ordem). Ento,
1
1 2 (x; a) = (x; 12 (x) a)
1
2 3 (x; a) = (x; 23 (x) a)
1
3 1 (x; a) = (x; 31 (x) a)
Teorema 13.16 Sejam M uma variedade e G um grupo de Lie. Suponha que existam
aplicaes : U ! G com U aberto de M de tal forma que seus domnios cubram M e
tal que para cada trs dessas aplicaes cujos domnios se interceptam a condio (13.6)
seja satisfeita. Ento, existe um nico (a menos de isomorsmo) brado principal
P com grupo estrutural G e com trivializaes com funes de transio dadas pelas
aplicaes a valores em G.
v 2 F 7 ! p v 2 Ex x= (p) : (13.7)
De fato, pelo item anterior essa aplicao injetora. Por outro lado, um elemento
de Ex tem a forma q w com q 2 Pp . Ento, q = pa, a 2 G, o que implica que
q w = pa w = paa 1 aw = p aw tem a forma p v, mostrando que a aplicao
(13.7) sobrejetora.
Normalmente se usa a mesma letra p para indicar essa bijeo, o que justica a
notao p v para a classe de (p; v).
Exemplos: .
1. Dada uma variedade diferencivel M , com dim M = n, o brado das bases BM foi
construdo acima, como refernciais do brado tangente T M . O grupo estrutural
de BM Gl (n; R). Reciprocamente, T M se obtm de BM identicando-o como
o brado associado BM Gl(n;R) Rn , construdo a partir da ao linear cannica
de Gl (n; R) em Rn . De fato, existe uma bijeo, quase que tautolgica, entre T M
e BM Gl(n;R) Rn , que denida, associando classe de (p; v) 2 BM Rn o vetor
tangente p (v) 2 Tx M , x = (p) (onde p : Rn ! Tx M , vem da denio de BM ).
Essa aplicao bem denida pelo fato de que o brado associado foi construdo a
partir da ao cannica de Gl (n; R) em Rn . De fato, se (p; v) e (q; w) = (pa; a 1 v)
pertencem mesma classe de equivalncia ento q (w) = pa (a 1 v) = pv.
2. A construo acima de T M se generaliza aos brados vetoriais. Seja P (M; G)
um brado principal e : G ! Gl (V ) uma representao de G no espao vetorial
V . Ento, G atua esquerda em V . O brado associado obtido a partir dessa
ao denotado por E = P V . Este um brado vetorial por satisfazer
as propriedades: i) composto de uma aplicao : E ! M ; ii) cada bra tem
estrutura de espaos vetorial (obtida atravs das bijees v 7! p v, p 2 P ); iii)
1
existem trivializaes locais U V ! (U ), que se transformam umas nas
outras por aplicaes que levam bras em bras e so lineares nas bras, como
segue da frmula (13.8).
Se dim V < 1 e P um brado diferencivel ento P V uma variedade
diferencivel. No entanto, a construo feita acima continua valendo para repre-
sentaes bem mais gerais que as representaes de dimenso nita.
Qualquer brado vetorial (isto , E ! M , satisfazendo as trs condies acima)
pode ser construdo como um brado associado. Isso feito denindo o brado
13.3. Fibrados 291
das bases BE de E ! M , da mesma forma que foi feito acima para BM , pelos
isomorsmos lineares p : Rk ! Ex , k = dim Ex . Ento, E ! M se obtm como
brado associado de BE.
pois (pa) 1 = a 1 p 1 .
Reciprocamente, seja f : P ! F equivariante e dena a aplicao fe : P ! P G F
por fe(p) = p f (p). Se a 2 G ento
f (x) = p f (p)
para qualquer p 2 Px , que uma seo pois p f (p) est na bra sobre x.
Em resumo, existe uma bijeo entre as sees do brado associado P G F ! M
com as aplicaes equivariantes P ! F . A bijeo dada por 7! f cuja inversa
f 7! f , j que pelas denies f = e f f = f .
A funo f chamada de funo equivariante associada seo .
Numa trivializao local a bijeo 7! f descrita da seguinte forma: seja :
U ! P uma seo local sobre U M . Ento, (x; g) 2 U G 7! (x) g 2 P uma
13.3. Fibrados 293
se (x) = (x; (x)). Da que f 1 fog = f(x; g) : (x) = g (o)g. Fixe x0 2 U e tome uma
seo diferencivel : V G=H ! G tal que V G=H aberto e (x0 ) 2 V (para a
existncia dessa seo veja a proposio 13.22 abaixo). Essa seo satisfaz p = id
onde p : G ! G=H a projeo cannica. Isso signica que (y) (o) = y para todo
y 2 V . Portanto, ( (x)) (o) = (x) o que implica que o par (x; ( (x))) 2 f 1 fog.
Isso signica que uma seo local diferencivel denida no aberto 1 (V ) que
contm x0 . Como x0 arbitrrio isso mostra que f 1 fog de fato um brado diferen-
civel. 2
294 Captulo 13. Aes de grupos de Lie
13.5 Exerccios
1. Use a frmula g X e = (Ad^(g) X) para mostrar, diretamente a partir da denio
de colchete de Lie, que a aplicao X 7! X e um homomorsmo de lgebras de
^
Lie, isto , [X; e Ye ].
Y ] = [X;
2. Sejam G um grupo de Lie conexo e H um subgrupo fechado. Seja tambm K um
subgrupo compacto e suponha que dim K dim (K \ H) = dim G=H. Mostre
que K age transitivamente em G=H.
13.5. Exerccios 295
6. Use o exerccio anterior para mostrar que Sl (n; R) = T SO (n) = SO (n) T onde
T o subgrupo das matrizes triangulares superiores cujas entradas diagonais so
> 0. Interprete a decomposio Sl (n; R) = SO (n) T , aplicando o processo de
ortonormalizao de Gram-Schmidt s colunas de uma matriz.
11. Faa o mesmo que o exerccio anterior para o caso dos ags complexos, isto ,
formados por subespaos de Cn . Substitua Gl (n; R) por Gl (n; C), Sl (n; R) por
Sl (n; C) e SO (n) por SU (n).
12. Use aes transitivas de gupos para construir topologias e estruturas diferen-
civeis nos seguintes conjuntos:
296 Captulo 13. Aes de grupos de Lie
13. Seja uma base ordenada de Cn . A sublgebra de Borel de sl (n; C) denida por
a sublgebra b cujos elementos so as transformaes lineares, que escritas na
base so triangulares superiores. Denote por B = fb : baseg o conjunto das
sublgebras de Borel. Mostre que Sl (n; C) age transitivamente em B e verique
que, como espao homogneo, B coincide com FnC (r) onde r = (1; 2; : : : ; n 1).
14. Seja G um grupo de Lie com lgebra de Lie g. Duas sublgebras h1 ; h2 g so
ditas G-conjugadas se existe g 2 G tal que Ad (g) h1 = h2 . Construa uma estru-
tura diferencivel no conjunto das sublgebras G-conjugadas a uma sublgebra
de Lie h g dada.
15. Dados um grupo de Lie G e H G um subgrupo fechado, suponha que G=H
seja compacto. Denote por h a lgebra de Lie de H e mostre que o conjunto das
sublgebras G-conjugadas a h (veja o exerccio anterior) compacto.
16. Seja G M ! M uma ao diferencivel. Dado x0 2 M seja Gx0 o grupo de
isotropia. A representao de isotropia de Gx0 o homomorsmo g 2 Gx0 7!
dgx0 2 Gl (Tx0 M ). Suponha G seja compacto e M conexa. Suponha tambm
que a rbita G x0 tenha dimenso > 0 e que a representao de isotropia seja
irredutvel. Mostre que M compacta.
17. Seja G M ! M uma ao diferencivel do grupo de Lie na variedade M . Denote
por g a lgebra de Lie de G e tome uma curva contnua A : (a; b) R ! g. Essa
curva dene a equao diferencial, dependente do tempo, x_ = A ] (t) (x) em M .
Mostre que as solues dessa equao diferencial so dadas por (t; s) (x) onde
(t; s) 2 G a soluo de g_ = A (t) g, g 2 G, com condio inicial (s; s) = 1.
Mostre tambm que essas solues se estemdem ao intervalo (a; b).
18. Sejam G um grupo de Lie, G M ! M uma ao diferencivel de G e F M
um subconjunto fechado. Dena
gF = fX 2 g : 8t 2 R; exp (tX) F Fg
13.5. Exerccios 297
21. Seja G um grupo de Lie com lgebra de Lie g e denote por g o dual de g.
Considere a representao co-adjunta de G em g . Tome 2 g e verique que
a lgebra de isotropia da rbita G de dada por
g = fX 2 g : ad (X) = 0g:
Geometria invariante
299
300 Captulo 14. Geometria invariante
Ad (h) J0 W = J0 Ad (h) W = J0 W:
m = m1 ms
que o tensor de Nijenhuis NJ se anula se, e s se, ele se anula na origem x0 de G=H.
Vale portanto o seguinte critrio para que uma estrutura pseudo-complexa invariante
seja complexa.
0 jk (X)
jk (X) =
jk (X) 0
G = f(g; g) 2 G G : g 2 Gg
para todo X 2 g. O signicado disso que g uma lgebra de Lie sobre o corpo dos
complexos, no sentido em que se J1 for interpretado como multiplicao por i ento a
igualdade (14.5) diz que i[X; Y ] = [X; iY ]. Como, alm do mais,
segue que g tem uma estrutura de espao vetorial complexo de tal forma que o colchete
[ ; ] bilinear sobre C.
14.2. Formas diferenciais e cohomologia de De Rham 305
Teorema 14.4 Seja G um grupo de Lie com lgebra de Lie g e suponha que exista
uma aplicao J1 : g ! g com J12 = id tal que J1 Ad (g) = Ad (g) J1 para todo
g 2 G. Ento, existe uma estrutura complexa em G que o torna um grupo de Lie
complexo. Nesse caso g uma lgebra de Lie complexa.
Alm do mais, se g uma lgebra de Lie complexa e G conexo ento G um
grupo complexo.
e (X
X e1 ; : : : ; X
ek ) = ([X;
e Xe1 ]; X
e2 ; : : : ; X
ek ) + e1 ; X
+ (X e2 ; : : : ; [X;
e Xek ])
e (X
e1 ; : : : ; X
ek ) (x) = d e1 ; : : : ; X
ek ) etX x
X (X jt=0
dt
d e tX x ; : : : ; X ek etX x )jt=0 :
= tX (X1 e
dt e x
tX
Mas, como invariante, etX x = e x o que signica que
e
etX x (X1
ek etX x )
etX x ; : : : ; X
= x ( de
tX e1 etX x ; : : : ; de
X tX ek etX x ):
X
etX x etX x
ci ; : : : ; X
([Xi ; Xj ]; X1 ; : : : ; X cj ; : : : ; Xk+1 ) i < j:
clui a demonstrao. 2
A frmula (14.7) da diferencial exterior est escrita em termos dos campos de vetores
e
X, X 2 g, apesar da diferencial exterior depender apenas dos valores desses campos
num ponto dado. Na origem x0 do espao homogneo isso pode ser explicitado da
seguinte forma. Tome um subespao m g tal que g = h m onde h a lgebra de Lie
de H. Ento, Tx0 G=H se identica a m pelo isomorsmo X 2 m 7! X e (x0 ) 2 Tx0 G=H.
Denote por prm a projeo sobre m em relao decomposio g = h m. Se X; Y 2 m
e Ye ] (x0 ) = Ze (x0 ) onde Z = prm [X; Y ]. Usando essa notao a expresso em
ento [X;
(14.7) se traduz como
X
e1 ; : : : ; X
(d )x0 (X ek+1 ) = ci ; : : : ; X
( 1)i+j x0 ([Xi ; Xj ]m ; X1 ; : : : ; X cj ; : : : ; Xk+1 )
i<j
(14.8)
se X1 ; : : : ; Xk+1 2 m. O segundo membro de (14.8) depende apenas das propriedades
algbricas da lgebra de Lie g e dene uma aplicao linear d : ^k m ! ^k+1 m.
Antes de prosseguir deve-se observar que se uma forma diferencial invariante
ento d tambm invariante pois g d = dg = d . Isso acarreta, por exemplo, que
se d se anula num ponto ento d identicamente nula.
A diferencial exterior de formas diferenciais satisfaz d2 = 0 o que d origem
cohomologia de De Rham das variedades diferenciveis. Uma forma diferencial
fechada se d = 0 e exata se = d para alguma forma . Como d2 = 0, toda forma
k
exata fechada. A k-sima cohomologia de De Rham HdR (M ) de uma variedade M
denida como sendo o espao das k-formas fechadas mdulas as exatas, isto ,
k
HdR (M ) = ker dk =imdk 1
Uma cohomologia semelhante pode ser denida para formas invariantes. De fato,
se uma forma diferencial invariante pela ao do grupo G ento d tambm
invariante. Portanto, se G M ! M uma ao diferencivel, pode-se denir a
k
cohomologia invariante Hinv (M; G) como sendo o quociente acima em que dk
interpretado como a diferencial exterior restrita s formas invariantes. No caso de um
k
espao homogneo M = G=H essa cohomologia ser denotada por Hinv (G=H). Para
duas formas invariantes e fechadas e se escreve inv se = d com
tambm invariante. A classe de cohomologia invariante de denotada por [ ]inv .
Sejam e formas invariantes fechadas em G=H. evidente a partir das denies
que se inv ento . Isso signica que se [ ]inv = [ ]inv ento [ ] = [ ], o que
fornece aplicaes bem denidas
k k
Hinv (G=H) ! HdR (G=H) [ ]inv 7! [ ] : (14.9)
k
Em geral essa aplicao no injetora nem sobrejetora, isto , as cohomologias Hinv (G=H)
e HdR (G=H) podem ser diferentes. Um exemplo tpico o caso do grupo abeliano Rn .
k
n
com 1 i1 < < ik n onde I = (i1 ; : : : ; ik ) e aP
I : R ! R diferencivel. A
diferencial exterior em coordenadas dada por d = daI ^ dxi1 ^ ^ dxik . Como
as 1-formas dxi so invariantes por translaes, segue que invariante se, e s se, as
funes aI so constantes. Da que se invariante ento d = 0 e, portanto, duas for-
k
mas invariantes distintas no so cohomologas. Isso signica que Hinv (Rn ) = ^kinv (Rn ),
que no nulo. Por outro lado, sabe-se que se k 1 ento HdR (R ) se anula2 . Por-
k n
k
tanto, Hinv (Rn ) 6= HdR
k
(Rn ). 2
2
Esse fato conhecido como lema de Poincar, veja Bott-Tu [5], captulo 1.
14.2. Formas diferenciais e cohomologia de De Rham 309
O segundo membro calculado pela frmula (14.6) que dene o produto exterior. Sejam
X1 ; : : : ; Xk+1 campos de vetores em G=H. Ento, o integrando (dg )x dado por
duas somas. Os termos da primeira soma so da forma Xi g (X1 ; : : : ; X ci ; : : : ; Xk+1 ).
A integral de um termo desses satisfaz
Z Z
ci ; : : : ; Xk+1 ) (dg) = Xi
Xi g (X1 ; : : : ; X ci ; : : : ; Xk+1 ) (dg)
g (X1 ; : : : ; X
G G
310 Captulo 14. Geometria invariante
R
pois se f (x; g) diferencivel ento G f (x; g) (dg) diferencivel e
Z Z
X f (x; g) (dg) = Xf (x; g) (dg)
G G
para um campo de vetores X. J a segunda soma envolve termos do tipo g ([Xi ; Xj ]; X1 ; : : : ; Xk+1 ),
cujas integrais satisfazem
Z Z
g ([Xi ; Xj ]; X1 ; : : : ; Xk+1 ) (dg) = g (dg) ([Xi ; Xj ]; X1 ; : : : ; Xk+1 ):
G G
k
A partir desse lema pode-se mostrar a injetividade do homomorsmo natural Hinv (G=H) !
k
HdR (G=H).
injetor.
onde Ck o espao vetorial gerado sobre R (que o caso aqui) pelos ciclos de classe
C 1 de dimenso k em M = G=H. Sendo que um ciclo de dimenso k uma aplicao
contnua : k ! M onde k o simplexo de dimenso k denido por
k = f(x1 ; : : : ; xk ) 2 Rk : xi 0; x1 + + xk 1g:
14.2. Formas diferenciais e cohomologia de De Rham 311
3
A restrio a ciclos de classe C 1 necessria para aplicar o teorema de Stokes. No artigo clssico
de Eilenberg [16] se mostra que numa variedade diferencivel de classe C r a homologia singular de
ciclos de classe C r coincide com a homologia singular de ciclos continuos, como comumente denida
essa homologia de espaos topolgicos.
312 Captulo 14. Geometria invariante
Por essa igualdade, a integral em relao a passa ao quociente e dene uma aplicao
linear T : Hk (M ) ! R dada por
Z
T [ ]= :
= fg ; (x) (dg)
G
= f ;g (x) (dg)
G
Agora possvel provar que uma forma diferencial cohomologa a sua mdia
= I , em relao medida de Haar em G.
Proposio 14.13 Suponha G compacto e conexo. Dada a forma diferencial dena,
como anteriormente, Z
I = (g ) (dg) :
G
Ento, eI so cohomologas.
Demonstrao: Pela proposio 14.10 deve-se mostrar que TI = T . Se [ ] uma
classe de homologia ento por denio
Z Z
TI [ ] = I = f ;I (x) dx
k
R
Mas, pelo lema 14.12, f ;I (x) = G
fg ; (x) (dg), da que
Z Z
TI [ ] = fg ; (x) (dg) dx:
k G
um isomorsmo.
Exemplo: Um grupo de Lie G compacto e conexo pode ser visto como espao
homogneo ou como G = G=f1g, com a ao dada por translaes esquerda ou
G = G G= G com a ao dada por (g; h) x = gxh 1 , onde G a diagonal. O teorema
14.14 se aplica a ambos os casos, fornecendo isomorsmos da cohomologia de De Rham
de G, com a cohomologia das formas invariantes esquerda (para G = G=f1g) e a das
forma bi-invariantes (para G = G G= ). Segue da que as cohomologias invariante
esquerda e bi-invariante coincidem.
A cohomologia invariante esquerda denida sobre as formas alternadas na lge-
bra de Lie g de G, com a diferencial exterior dada por (14.7). Em termos de cohomologia
de representaes de lgebras de Lie4 , essa a cohomologia da representao trivial de
g. J a cohomologia bi-invariante denida no subespao das formas alternadas em
g que so xadas pela representao adjunta, que em geral menor que o espao de
todas as formas alternadas. 2
d X m
X "I = etX "I = X "i j X 2 so (n)
dt j=1
onde X "i = "i X. Um elemento 2 ^m (Rn ) invariante por SO (n) se, e s se,
X = 0 para todo X 2 so (n).
Tome a matriz Ajk = Ekj Ejk 2 so (n) com j < k. Ento, Ajk "j = "k , Ajk "k = "j
e Ajk se anula nos demais elementos da base. Portanto, Ajk "I = 0 se j; k 2 = I ou
se j; k 2 I. Alm do mais, dado um multi-ndice I tal que j 2 I e k 2 = I seja I(jk) o
multi-ndice obtido de I substituindo j por k, que colocado na posio correta para
manter a ordem crescente dos ndices. Ento,
onde uma combinao linear dos outros elementos da base. Como Ajk = 0 se
conclui que aI = 0, mostrando que = 0.
Pelo teorema 14.14 se conclui que Hn (S n ) = R e Hm (S n ) = f0g se 1 m < n.
Os mesmos argumentos se aplicam ao espao projetivo
RP n = SO (n) =f 1g O (n) :
Tx0 G=H = V1 Vs
em subespaos invariantes e irredutveis por (H) (e, portanto, por (H)), de tal forma
que os produtos internos invariantes so somas de produtos internos nas componentes
Vi , que so parametrizados por Rs+ .
2. Dado W V seja
W ? = fy 2 Rn : 8x 2 W; ! (x; y) = 0g
0 1n n
[!]B = J = :
1n n 0
Por essa matriz segue que se fdx1 ; : : : ; dxn ; dy1 ; : : : ; dyn g a base dual de B ento
LX ! = diX ! + iX d!
! x = dgx 1 !0
e1 ; X
!([X e2 ]; X
e3 ) + !([X
e2 ; X
e3 ]; X
e1 ) + !([X
e3 ; X
e2 ]; X
e1 ) :
Para olhar essa diferencial exterior do ponto de vista da frmula algbrica (14.8) seja m
um subespao complementar lgebra de Lie h de H, denote por prm a projeo sobre
m em relao decomposio g = h m e para X; Y 2 m escreva [X; Y ]m = prm [X; Y ].
Ento, d! = 0 se, e s se,
z = fX 2 g : 8Y 2 g; [X; Y ] = 0g:
e ( ) ; Ye ( ) =
X [X; Y ] X; Y 2 g: (14.16)
Existem duas maneiras equivalentes de interpretar essa expresso como uma forma
simpltica na rbita coadjunta G . A primeira olhar como uma forma bilinear
anti-simtrica em T (G ), invariante pela representao de isotropia, e com isso
denir uma 2-forma invariante em G . A segunda denir para cada 2 G a
forma como em (14.16) e considerar 7! como uma 2-forma em G . Ser
provado abaixo que as duas interpretaes fornecem a mesma 2-forma.
Olhando como uma forma bilinear em T (G ) os seguintes itens mostram que
dene uma forma simpltica invariante em G = G=Z .
1. e( ) = X
est bem denida. De fato, tome X; X1 ; Y; Y1 2 g tal que X e1 ( )
e Ye ( ) = Ye1 ( ). Essas igualdades signicam que ad (X) = ad (X1 ) e
ad (Y ) = ad (Y1 ). Portanto,
e1 ( ) ; Ye1 ( )
X = ad (X1 ) (Y1 ) = ad (X) (Y1 )
= ad (Y1 ) (X) = ad (Y ) (X)
= e ( ) ; Ye ( ) :
X
2. claramente anti-simtrica.
322 Captulo 14. Geometria invariante
dh e ( ) ; dh
X Ye ( ) = [Ad (h) X; Ad (h) Y ]
= Ad (h) [X; Y ] :
e ( ) ; Ye ( ) ; Ze ( )) =
(d ) (X e Ye ]; Z)
([X; e ([Ye ; Z];
e X)e e Ye ]; X)
([Z; e
= ([X; Y ]; Z] + [Y; Z]; X] + [Z; Y ]; X]) = 0:
e ( ) ; Ye ( )
X = e ( ) ; dg 1 Ye ( )
dg 1 X
= Ad^
(g 1 ) X ( ) ; Ad^
(g 1 ) Y ( )
= Ad g 1 X; Ad g 1
Y
= Ad g 1 [X; Y ] :
Isto ,
e ( ) ; Ye ( ) =
X [X; Y ]
tem a mesma expresso que a usada para denir .
Como consequncia da construo de Kirillov-Kostant-Souriaux se conclui que uma
rbita de uma representao coadjunta tem dimenso par.
Uma das propriedades essenciais da forma e Kirillov-Kostant-Souriaux a ao
e X 2 g,
de G nas rbitas coadjuntas so Hamiltonianas, isto , os campos induzidos X,
so Hamiltonianos em relao a , como ser mostrado a seguir.
fX ( ) = (X) 2 O:
14.4. Variedades simplticas 323
(dfX ) Ye ( ) = ad (Y ) (X)
= [X; Y ]
= Xe ( ) ; Ye ( )
0 1 1 0 0 1
A= H= H=
1 0 0 1 1 0
Exemplo: Seja g a lgebra de Heisenberg que tem a base fX; Y; Zg que satisfaz
[X; Y ] = Z e os demais colchetes se anulam. Denote por f ; ; g a base dual de
fX; Y; Zg. Ento, as rbitas coadjuntas dos elementos x + y + z com z = 0 so de
dimenso 0 enquanto que as demais rbitas so de dimenso 2.
J a rbita adjunta de, por exemplo X, tem dimenso 1, j que o centralizador de
X sublgebra gerada por fX; Zg. Essa rbita adjunta no admite forma simpltica.
2
onde f ; g o colchete de Poisson e fX (x) = (x) (X). Essa igualdade signica que
a aplicao b : X 7! fX um homomorsmo entre g e o espao das funes munido
com o colchete de Poisson.
Demonstrao: A diferencial de dada por
d x
e (x) (Y ) = (dfY ) X
X e (x) = e Ye
! x X;
x
e (x) d d
d x X = etX x t=0 = Ad etX (x)t=0
dt dt
= ad (X) (x) = (x) ad (X) :
Lema 14.19 Dada uma ao simpltica de G em (M; !), suponha que fX funo
e Ento, fX g funo Hamiltoniana para
Hamiltoniana para o campo de vetores X.
Ad^
(g 1 ) X.
Demonstrao: Se v 2 Tx M ento d (fX g)x (v) = d (fX )gx dgx (v) e da que
Para g 2 G a constante
garantida pela proposio dene uma aplicao c : G ! g . A seguir ser provado que
essa aplicao satisfaz a propriedade (14.17) da parte vetorial de uma representao
am, cuja representao linear Ad .
Essa condio admite duas interpretaes complementares entre si, uma em termos
de equivalncia de representaes ans e outra via cohomologia de representaes de
grupos, que sero descritas a seguir.
para a representao Ad .
Portanto, o critrio da proposio 14.24 se traduz na armao de que existe uma
aplicao momento Ad -equivariante se, e s se, o 1-cociclo c cohomologo a 0.
Em particular, essa existncia assegurada se Hq (Ad ) = f0g.
2. O cociclo c cohomologo a 0.
f 2 g : 8g 2 G; Ad (g) = g:
R
Escrevendo w = c (h) (dh) 2 V , isso mostra que
Esse lema signica que a 1-cohomologia para cociclos contnuos de um grupo com-
pacto, para qualquer representao linear trivial.
Esse resultado vale tambm para os grupos semi simples, mesmo os no compactos.
Proposio 14.28 Seja G um grupo conexo semi simples. Ento, uma ao Hamil-
toniana de G admite uma nica aplicao momento Ad -equivariante.
d x
e (x) = ad (X) (x) :
X
Portanto,
(x) d x
e ;d
X x Ye = (x) (ad (X) (x) ; ad (X) (x))
= (x) [X; Y ];
pela denio de e Ye o
. Pela proposio 14.18 o ltimo termo coincide com ! x X;
que mostra que = !. 2
o grupo de isotropia em (x0 ) de tal forma que Ad (G) (x0 ) = G=Z (x0 ) . Como
equivariante, H Z (x0 ) pois se gx0 = x0 ento Ad (g) (x0 ) = (gx0 ) = (x0 ). Em
termos dos espaos homogneos Ad (G) (x0 ) = G=Z (x0 ) e M = G=H a aplicao
momento passa a ser a projeo cannica, G=H ! G=Z (x0 ) que classe lateral gH
associa a classe lateral gZ (x0 ) . Isso implica que uma submerso. Em particular,
dim G=Z (x0 ) dim M .
Na verdade, as dimenses so iguais. Isso porque, pela proposio anterior = !.
k^ k^ k k^
Da que para qualquer produto exterior = ^ ^ vale = ( 1) ! .
k^
Em particular, se dim M = 2k ento ! 6= 0 e no possvel ter dim G=Z (x0 ) < 2k,
pois essa desigualdade implica k^ = 0, isto , 0 = k^
= ( 1)k ! k^ .
O fato de que dim G=Z (x0 ) = dim G=H e H Z (x0 ) implica que as lgebras de
Lie de H e Z (x0 ) coincidem e, portanto so iguais a
Alm do mais, a projeo cannica G=H ! G=Z (x0 ) uma aplicao de recobrimento.
Portanto, uma aplicao de recobrimento e M um recobrimento da rbita coad-
junta Ad (G) (x0 ). Em suma, as aes Hamiltonianas Ad -equivariantes em espaos
homogneos no diferem muito das rbitas coadjuntas.
Para concluir essa seo sero considerados dois exemplos clssicos em geometria
simpltica.
c (x; y) = c2 (y)
e (x) 2 Tx M : X 2 gg
Tx (Gx) = fX
(g ) (X) = e (gx) =
dgx 1 X ^
Ad (g) X (x)
= ( ) (Ad (g) X)
= Ad (g) ( ( )) (X) :
2
14.5 Exerccios
1. Sejam G um grupo de Lie conexo e H G um subgrupo fechado. Mostre que
G=H orientvel se, e s se, a representao de isotropia satisfaz det dhx0 > 0
para todo h 2 H.
2. Sejam G um grupo de Lie conexo e G um subgrupo discreto. Mostre que
G= orientvel.
3. Dada uma variedade M com estrutura complexa J sejam X; X1 ; Y e Y1 campos
de vetores tais que X (x) = X1 (x) e Y (x) = Y1 (x). Mostre que NJ (X; Y ) =
NJ (X1 ; Y1 ) onde NJ o tensor de Nijenhuis, como denido em (14.1). (Isto ,
o tensor de Nijenhuis tem, de fato, um comportamento tensorial.)
4. Seja g uma lgebra de Lie com colchete [ ; ]. Dada uma uma estrutura complexa
J : g ! g dena um novo colchete [ ; ]J por
1
[X; Y ]J = ([X; Y ] [JX; JY ]) :
2
Verique que [ ; ]J anti-simtrico e mostre que [ ; ]J satisfaz a identidade de
Jacobi se, e s se, o tensor de Nijenhuis NJ correspondente a J se anula (isto ,
J dene uma estrutura complexa invariante unilateral nos grupos de Lie com
lgebra de Lie g).
334 Captulo 14. Geometria invariante
6. Seja G um grupo conexo cuja lgebra de Lie g semi simples. Mostre que G no
admite 1-formas diferenciais bi-invariantes.
8. Seja G um grupo de Lie com lgebra de Lie g. Denote por ! a forma de Maurer-
Cartan obtida por translaes direita. Mostre que ! invariante direita. Tome
k
uma base X P1 ; : : : ; Xn de g e sejam cij suas constantes de estrutura, denidas por
[Xi ; Xj ] = k ckij Xk . Escreva
! ( ) = ! 1 ( ) X1 + + ! n ( ) Xn
P
em que cada ! i ( ) uma 1-forma a valores reais. Mostre que d! k = k i
k cij ! ^
!j .
Parte V
Apndices
335
Apndice A
dx
= X (x) : (A.1)
dt
Se X diferencivel ento para todo x0 2 M existe uma nica soluo maximal com
condio inicial x (0) = x0 . Essa soluo denotada por t 7! Xt (x0 ). O seu domnio
de denio um intervalo ( ; !) R que contm 0.
Fixando t 2 R, a aplicao Xt : x 7! Xt (x) um difeomorsmo local de M no
sentido em que o domnio domXt de Xt um aberto de M e Xt : domXt ! Xt (domXt )
um difeomorsmo. O domnio domXt o conjunto dos elementos de M , cuja soluo
maximal se estende at t, isto , o seu intervalo de denio ( ; !) contm t. O campo
dito completo se domXt = M para todo t 2 R. De forma equivalente, X completo
se todas as solues maximais esto denidas em R = ( 1; +1).
O conjunto de difeomorsmos locais Xt , t 2 R, denominado de uxo do campo de
vetores. A menos de restrio de domnios, o uxo satisfaz a propriedade de homomor-
smo: Xt+s = Xt Xs , isto , se Xs (x) e Xt (Xs (x)) esto denidos ento Xt+s (x) est
denido e vale a igualdade Xt+s (x) = Xt (Xs (x)). Isto se deve unicidade das solues
de (A.1), com condies iniciais dadas. claro que domXt+s = Xs (domXs ) \ domXt .
Em particular, os elementos do uxo comutam entre si: Xt Xs = Xs Xt e X t =
(Xt ) 1 .
Em suma, Xt satisfaz as seguintes propriedades que o caracterizam:
1. X0 = id.
d
2. Xt (x) = X (Xt (x)).
dt
3. Xt+s = Xt Xs = Xs Xt .
337
338 Apndice A. Campos de vetores e colchetes de Lie
O campo X obtido do seu uxo pela segunda das igualdades acima. Muitas vezes
X denominado de gerador innitesimal de seu uxo.
Seja : M ! N uma aplicao diferencivel. Os campos de vetores X em M e Y em
N so ditos -relacionados se d aplica X em Y , isto , se d x (X (x)) = Y ( (x))
para qualquer x 2 M . Nesse caso a imagem por de uma trajetria de X uma
trajetria de Y . Em termos dos uxos isso signica que
Xt = Yt :
Denio A.1 Sejam X e Y dois campos de vetores. O colchete de Lie entre eles
denido por
d
[X; Y ] (x) = d (X t )Xt (x) (Y (Xt (x))) : (A.2)
dt jt=0
[X; Y ] = [ X; Y ]: (A.3)
d
Lema A.3 (d (Xt )x )jt=0 = d (X)x .
dt
339
(t; s) = Xt (x + sv)
d d d
(d (Xt )x ) = (d (Xt+s )x )js=0 = d (Xs )Xt (x) d (Xt )x :
dt ds ds js=0
d
Proposio A.4 (d (Xt )x ) = d (X)Xt (x) d (Xt )x .
dt
Esta frmula signica que a curva t 7! d (Xt )x satisfaz a equao diferencial
dg
= d (X)Xt (x) g
dt
no espao das transformaes lineares de Rn . Esta equao diferencial linear e seus
coecientes no so constantes, a menos que Xt (x) = x para todo t, isto , x um
singularidade do campo X.
d d
d (X t )Xt (x) (Y (x)) + (Y (Xt (x)))jt=0 : (A.5)
dt jt=0 dt
340 Apndice A. Campos de vetores e colchetes de Lie
O segunda derivada dYx (X (x)). Para obter a primeira derivada deve-se derivar o
produto matrizes (em t = 0) d (X t )Xt (x) d (Xt )x = id, que fornece
d d
d (X t )Xt (x) + (d (Xt )x )jt=0 = 0:
dt jt=0 dt
Portanto, pelo lema A.3,
d d
d (X t )Xt (x) = (d (Xt )x )jt=0
dt jt=0 dt
= dXx :
Portanto, o primeiro termo de (A.5) ca sendo dXx (Y (x)). Juntando isso com o
segundo membro dYx (X (x)), se conclui que [X; Y ] (x) = dYx (X (x)) dXx (Y (x)),
como enunciado. 2
Por m, vale o seguinte critrio para a comutatividade dos uxos dos campos de
vetores em termos dos colchetes de Lie.
342 Apndice A. Campos de vetores e colchetes de Lie
4. Xt Ys = Ys Xt para todo s; t.
A.1 Exerccios
1. Um campo de vetores X num aberto de Rn pode ser escrito em coordenadas como
X @
X= ai
i
@xi
X j j
i @b i @a @
[X; Y ] = a b :
i;j
@xi @xi @xj
A.1. Exerccios 343
Integrabilidade de distribuies
345
346 Apndice B. Integrabilidade de distribuies
Exemplos:
'$
&% -
V
injetora, de classe C 1 , e no quase-regular. De fato, seja : ( ; ) ! R2 com
> 0 sucientemente pequeno denida por (t) = (cos (t =2) ; sen (t =2)).
Ento contnua a valores em R2 , mas no contnua na topologia intrnseca.
De fato, se V o aberto (da topologia intrnseca) indicado na gura ento 1 (V )
um intervalo do tipo ( ; 0] que no aberto em ( ; ).
R = f(t s; t + s) : t 2 I1 ; s 2 I2 g
= (I1 (1; ) + I2 ( ; 1))
Isso signica que p2 assume valores num conjunto enumervel. Como essa
aplicao contnua, ela deve ser constante. Portanto, (N ) \ R est contido
num intervalo do tipo I1 (1; ) + ( s0 ; s0 ). Sendo assim, seja A R um aberto
intrnseco. Ento, 1 (A) = 1 (B) onde B um aberto de T2 , garantindo que
contnua em relao topologia intrnseca.
2
8x 2 N; (Tx N ) = ( (x)) :
1. tangentes a .
1. caracterstica.
2. diferencivel e integrvel.
O teorema de Frobenius fornece uma condio suciente para que uma distribuio
regular diferencivel seja integrvel. Essa condio expressa em termos de involutivi-
dade de acordo com a seguinte denio.
1 B (y) 1
a (y) = B (y) 0 a (y) = B (y) 0 b (y)
C (y)
e portanto a diferencivel em U1 . Como y0 arbitrrio, isso mostra a diferenciabili-
dade de a. 2
1. X e Y j , j = 1; : : : ; k, so tangentes a e
para todo t 2 J.
(vi (t)) = 0 t 2 J:
De fato, isso mostra que vi est na interseo dos ncleos dos funcionais lineares que
se anulam em (x). Essa interseco exatamente (x). Tomando um funcional
que se anula em (x), dena
X
k
j
[X; Y ] (y) = bij (y) Y j (y)
j=1
com bij funes diferenciveis em U . Escrevendo aij (t) = bij (Xt (x)), obtm-se
!
Pk
vi0 (t) = X t aij (t) Y j (Xt (x))
j=1
P
k
= aij (t) vj (t) :
j=1
B.3. Unicidade e variedades integrais maximais 353
Como linear wi0 (t) = (vi0 (t)). Portanto w satisfaz a equao diferencial
X
k
wi0 (t) = aij (t) wj (t) :
j=1
Corolrio B.15 Seja uma distribuio regular em M e suponha que para todo x 2
M existam campos de vetores X1 ; : : : ; Xk tangentes a , denidos numa vizinhana de
x tais que fX1 (x) ; : : : ; Xk (x)g gera (x) e os colchetes [Xi ; Xj ] so tangentes a .
Ento, integrvel.
Lema B.16 Seja N ,! M uma imerso e suponha que o campo X de M seja tangente
a N , isto , X (x) 2 Tx N para todo x 2 N .
Ento para todo x 2 N existem uma vizinhana V N de x e > 0 tal que se
y 2 V ento Xt (y) 2 N para jtj < . Alm do mais Xt : V ! N , jtj < , um
difeomorsmo sobre um aberto de N .
Demonstrao: Devido forma local das imerses, pode-se supor sem perda de
generalidade que M um produto V W Rk Rl com V e W vizinhanas da origem
e que N = V f0g. Nessa situao, tome uma vizinhana da origem V1 W1 V W
e > 0 sucientemente pequeno de tal forma que Xt (V1 W1 ) V W .
O fato de X ser tangente a N permite denir, por restrio, um campo X de
V f0g. Uma trajetria de X satisfaz
0
(t) = X ( (t)) = X ( (t))
Lema B.17 Suponha que seja uma distribuio integrvel e seja X um campo tan-
gente a . Ento, X preserva .
Dena
(t1 ; : : : ; tk ) = Xt11 Xtkk (x) :
Como na demonstrao do teorema B.9, : U ! M uma imerso para algum
k
aberto U contendo a origem de R . Pelo lema B.16, se U sucientemente pequeno,
(U ) N1 \ N2 e as aplicaes : U ! N1 e : U ! N2 so imerses. Como
as dimenses de U , N1 e N2 so iguais, pode-se supor, diminuindo U se necessrio,
que essas imerses so mergulhos. Portanto (U ) subvariedade aberta tanto de N1
quanto de N2 e da que N1 \ N2 um aberto nas duas variedades integrais. 2
Fx = fN 2 F : x 2 N g:
A unicidade das variedades integrais maximais garante que duas dessas variedades
ou so disjuntas ou coincidem (essa propriedade no vale para variedades integrais
quaisquer, s para as maximais). Dessa forma as variedades integrais maximais so as
classes de equivalncia da relao de equivalncia x y se x e y pertencem uma
mesma variedade integral maximal de .
1. (0; 0) = x.
2. dim (x) = k.
3. Para todo z 2 V o conjunto (U fzg) est contido numa variedade integral
maximal de .
4. A aplicao 0 :U ! (U fyg), 0 (x) = (0; y) uma variedade integral de
.
im (d 0 ) \ im (d 0 ) = f0g e im (d 0 ) im (d 0 ) = Tx M:
Demonstrao: Denote por I (x) a variedade integral maximal que passa por x0 e
suponha que xt est denida no intervalo ( ; !). Seja
Ento, m = !. De fato, supondo por absurdo que m < !, tome uma carta adaptada
1
: V W ! M centrada em xm e considere a curva yt = xt em V W . Como
xt tangente distribuio, yt tangente a V f0g. Portanto se zt denota a projeo
de yt na segunda coordenada, segue que zt tem derivada nula e, portanto, constante.
Isso implica que yt est contida em V f0g, contradizendo a hiptese de que m o
supremo. 2
Deve ser enfatizado que a propriedade das trajetrias da proposio acima s vale
em relao s variedades integrais maximais e no para variedades integrais quaisquer.
4. M metrizvel.
Corolrio B.26 Seja I uma variedade integral conexa maximal de uma distribuio
diferencivel e integrvel na variedade paracompacta M . Ento, I tem interior vazio
em M se dim I < dim M .
B.6 Exerccios
1. Considere a seguinte propriedade de separao para um subconjunto D R:
para todo x; y 2 D existe z 2 R n D entre x e y. Verique que subconjuntos
enumerveis satisfazem essa propriedade. Mostre que se D satisfaz a propriedade
e f : N ! R uma funo contnua com N conexo e f (N ) D ento f
constante. Mostre que se uma funo contnua f : N ! Rn tal que N conexo
e f (N ) no mximo enumervel, ento f constante.
[3] . Hermann Weyl and Lie groups, Hermann Weyl 1885-1985. Springer-
Verlag, 1986.
[8] Cartan, E. Notice sur les travaux scientiques. Collection Discours de la Mtho-
de. Gauthier-Villars, 1974.
[9] Chevalley, C. Theory of Lie groups, vol. 1. Princeton University Press, 1946.
[15] . The structure of semi-simple Lie algebras, Amer. Math. Soc. Transl.,
17, 1950.
361
362 Bibliograa
[17] Fritzsche, B. Sophus Lie: A sketch of his life and work, J. of Lie Theory, 9,
1999, pp. 1-38.
[20] Hawkins, T. Wilhelm Killing and the structure of Lie algebras, Archive for
history of exact sciences, 26, 1982, pp. 127-192.
[21] Helgason, S. Dierential geometry, Lie groups and symmetric spaces. Academic
Press, 1978.
[22] Hilgert, J.; Hofmann, K. e Lawson, J. Lie groups, convex cones and semi-
groups. Oxford University Press, 1989.
[23] Hilgert, J. e Neeb K.-H. Lie semigroups and their applications. Lecture Notes
in Mathematics, 1552. Springer-Verlag, 1993.
[25] . Basic theory of algebraic groups and Lie algebras. Graduate Texts in
Mathematics. Springer-Verlag, 1981.
[33] Kac, V. Innite dimensional Lie algebras. Cambridge University Press, 1985.
[36] Koszul, J. L. Homologie e cohomologie des algbres de Lie, Bull. Soc. Math.
France, 78, 1950, pp. 65-127.
[40] Lins Neto, A. e Camacho, C. Teoria geomtrica das folheaes. Coleo Pro-
jeto Euclides, 9, Impa, 1977.
[41] Matsushima, Y. Groupes de Lie: Notes dun cours done en 1965-1966. Greno-
ble: Univ. Grenoble, 1966.
[47] Pontryagin, L.S., Topological groups, Princeton Univ. Press (1958) (Translated
from Russian).
[48] Porteaus, I. R. Cliord algebras and the classical groups. Cambridge Studies in
Advanced Mathematics, 50. Cambridge University Press, 1995.
[49] Samelson, H. Notes on Lie algebras. Van Nostrand Mathematical Studies, 23,
1969.
[53] Serre, J.-P. Algbres de Lie semi-simples complexes. Benjamin Inc., 1966.
[55] Stillwell, J., Naive Lie theory. Undergraduate Texts in Mathematics, Springer-
Verlag, 2010.
[58] Varadarajan, V. S. Lie groups, Lie algebras and their representations. Prentice-
Hall Inc., 1974.
[64] Wussing, H. The genesis of the abstract group concept: a contribution to the
history of the origin of abstract group theory, The MIT Press, 1984.
[66] Zelobenko, D.P., Compact Lie groups and their representations. Translations
of Mathematical Monographs vol. 40. AMS (1973).
ndice
365
366 ndice
simpltica, 318
vizinhana
simtrica, 23
tubular, 356
Weyl
base de, 226
construo de, 226
teorema de
grupo fundamental nito, 221, 241
truque unitrio de, 224