(2015) Rev-4-001 Notas Geometria Diferencial

Captulo 1
Variedades diferenciveis
1.1
Definio de variedades topolgicas e diferenciveis
Nesta secesso introduz-se a definio de variedade topolgica n-dimensional como

espao de Hausdorff que localmente homeomorfo a um espao euclideano Rn . Para
simplificar supe-se tambm que uma variedade topolgica admite uma base numervel.
Diz-se espao topolgico um par ( M, ), em que P ( M), um certo conjunto de
subconjuntos de M, ditos subconjuntos abertos de M, que satisfaz os axiomas seguintes:
[0 ] e M ;
[1 ] Para cada. ponto p M existe um conjunto U tal que p U ;
[2 ] A interseco de qualquer conjuntos finitos de um elemento de ;
[3 ] A unio de qualquer conjunto de elementos de um elemento de .
Definio 1. Sejam ( M, M ) e ( N, N ) dois espaos topolgicos. Uma aplicao F :
M N diz-se contnua se, para cada conjunto aberto UN N , se tem F 1 (UN ) M .
A maior parte dos espaos topolgicos, que em anlise se apresentam de maneira
natural, satisfazem uma condio suplementar cujo significado intuitivo consiste no
facto de dois pontos distintos no poderem estar infinitamente prximos. Ela exprimese de vrias formas, mais ou menos fortes, entre as quais a mais frequente
[4 ] ( AXIOMA DE SEPARABILIDADE DE H AUSDORFF ): para cada par de pontos distintos p1 , p2 M, existem U1 , U2 tais que p1 U1 , p2 U2 e U1 U2 = .
As aplicaes contnuas de espos separveis segundo Hausdorff so dotadas de
militas propriedades que so naurais para as funes contnuas.
Entre os differentes espaos topolgicos so particularmente importantes os espaos vectoriais Rn e Cn e os espaos que so localmente (numa vizinhana suficientamente pequena de qualquer um dos seus postos) estruturados de forma semelhante a
Rn e Cn .
Para formular com preciso esta definio introduzimos a noo de "homeomorfismo".
Definio 2. Diz-se homeomorfismo de dois espaos topolgicos M, N uma aplicao
bi-jectiva contnua F : M N tal que a imagem de qualquer conjunto aberto de M
aberta em N e a imagem inversa de qualquer conjunto aberto em N aberto em M
(esta ltima condio deriva de continuidade de F). Os espaos que so localmente
homeomorfos a Rn chamam-se de espaos localmente Euclideos.
Enfim, antes de introduzir a noo de variedade topolgica preciso introduzir o
conceito de base por uma topologia.
1
CAPTULO 1. VARIEDADES DIFERENCIVEIS
Figura 1.1.1:
Definio 3. Uma coleo de abertos B uma base de uma topologia , numa variedade
M se, e somente se por cada U existe um conjunto {U } I B tal que
U = U
I
(1.1.1)
Observao 4. Uma consequncia da definio mas que tambm pode ser tomada como
definio alternativa de uma base B pela topologia de uma variedade que por cada
ponto x U M com U ento existe V B tal que x V U.
Definio 5. Um espao Topolgico ( M, M ) chama-se variedade topologica de dimenso
n e indicada por M se tal que:
i) M de Hausdorff;
ii) M localmente Euclideo de dimenso n;
iii) M tem base topolgica numervel.
Observao 6. Uma variedade topolgica n-dimensional um espao Topolgico de
Hausdorff que localmente homeomorfo a um espao euclideano Rn .
Definio 7. Cada conjunto aberto U de M com a aplicao que realiza o homeomorfismo com o espao Rn chama-se de vizinhana de coordenadas
e por cada ponto q U

1
n
atribumos as n-coordenadas (q) = x (q), ..., x (q) .
Sejam (U, ) e (V, ) duas vizinhaas de coordenadas do mesmo ponto q U V.
Vamos supor que (q) = x1 (q), ..., x n (q) e (q) = y1 (q), ..., yn (q) . Dado que e
so homeomorfismos, resultam definidos dois homeomorfismos tais que:

h
1 : (U V ) 3 x1 (q), ..., x n (q) y1 (q), ..., yn (q) (U V(1.1.2)
)

g

1 : (U V ) 3 y1 (q), ..., yn (q) x1 (q), ..., x n (q) (U V(1.1.3)
)
com as seguintes identidade:

yi hi g1 (y), ..., gn (y)

1
n
i
i
x g h ( x ), ..., h ( x )
i = 1, ..., n
(1.1.4)
i = 1, ..., n
(1.1.5)
Definio 8. Dizemos que duas vizinhaas de coordenadas(U, ) e (V, ) so C

compatvel se quando U V 6= e as funes hi , gi : Rn R so C (U V ) por
cada i = 1, ..., n.
Observao 9. Quando (U, ) e (V, ) so C compatvel as composies 1 :
(U V ) (U V ) e 1 : (U V ) (U V ) so diffeomorfismos de
Rn .
Definio 10. Diz-se uma estrutura C di f erenci a vel uma famlia A = {(U , ) | I }de
vizinhanas de coordenadas tais que:
S
i)(COBERTURA)
U = M
I

ii) (COMPATVEL) por cada , I as vizinhanas (U , ) e U , so C
compatvel
iii) (MAXIMAL) Se(V, ) uma vizinhana C compatvel com todas as vizinhanas de A ento (V, ) A .
Observao 11. As vezes a famlia A = {(U , ) | I } chamada de Atlante e as
1
funes
so chamadas de funoes de transio.
Observao 12. No todas as variedades topologicas admitem uma estrutura C -diferencivel1 .
Pelo contrario h muitas variedades que admitem estruturas no equivalentes ou seja
onde as vizinhanas das duas estruturas no so C compatvel . Por exemplo, embora Rn com n 6= 4 admita s uma estrutura C di f erenci a vel, R4 admite infinitas
estruturas no equivalentes. O caso das variedades compactas ainda mais complicado, por exemplo Sn tem muitas diferentes estruturas diferenciveis.
Sn , n =
1
Estruturas 1
2
1
3
1
4 5
? 1
6
1
7 8
28 2
9
8
10 11
6 992
12 13
1 3
14
15
...
2 16256 ...
Definio 13. Uma variedade topologica com uma estrutura C -diferencivel diz-se
uma variedade C di f erenci a vel ou suave

Seja M de Hausdorff, com base numervel. Se V , uma cobertura aberta de
M com vizinhanas C compatvel. Ento

existe
s uma estrutura C di f erenci a vel
sobre M tal que contm as vinzinhanas V , .
1.1.1
Exemplos
Esfera Sn
Um exemplo de estrutura C -diferencivel a esfera de dimenso n com as vizinhanas de coordenadas dadas pela projeo estereogrfica. Portanto definimos:
(
)
Sn =
x Rn +1 |
( x i )2 = 1 ,
x+ = (1, x1 , .., x n ),
x = (1, x1 , .., x n ) (1.1.6)
i =1..n+1
1 Michel
A. Kervaire, A manifold which does not admit any dierentiable structure Comment. Math. Helv.
34 (1960), pp. 257-270.
Podemos ento definir o seguinte Atlante com duas vizinhanas de coordenadas

A = {( + , U+ ), ( , U )} :
U+ = Sn r {x } e U = Sn r {x+ }
1
( x1 , .., x n ) Rn
1 + x0
1
: U 3 ( x0 , x1 , .., x n )
( x1 , .., x n ) Rn
1 x0
+ : U+ 3 ( x0 , x1 , .., x n )
(1.1.7)
(1.1.8)
(1.1.9)
As funes de transio so:

+ = + : Rn r {0} 3 y
y
Rn r { 0 }
| y |2
(1.1.10)
Espao projetivo Real RPn

definimos o espao projectivo real de dimenso n o espao obtido a partir da Rn+1 e
da seguinte relao de equivalncia:
x y y Rx
Chamamos ento espao projectivo real de dimenson o espao

RPn = Rn+1 r {0}
(1.1.11)
e designando com o nome de coordenadas homogeneas as [ x0 : x1 : .. : x n ] que

indicam a classe de equivalncia de x Rn+1 em RPn .
As [ x0 : x1 : .. : x n ] no podem ser todas nulas, portanto podemos considerar o
seguinte atlante A = {(Ui , i )} com:

Ui = [ x0 , .., x n ] RPn | xi 6= 0
(1.1.12)
i : Ui 3 [ x0 , .., xi1 , xi , xi+1 , .., x n ] (
1.2
x i 1 x i +1
xn
x0
,
..,
,
,
..,
) Rn (1.1.13)
xi
xi xi
xi
Aplicaes entre variedades
Seja f : W R uma funo definida sobre W M subconjunto de uma variedade

diferencivel M de dimenso m. Por cada vizinhanas de coordenada U tal que U
W 6= resulta definida uma aplicao:

f : Rm (U W ) 3 ( p) f( p) = f 1 ( p) = f x1 ( p), ..., x m ( p) f (W ) R
(1.2.1)
Definio 14. Dizemos que f : W R definida sobre W
M subconjunto de uma
variedade diferencivel M da classe C se f = f 1 uma funo C por cada
vizinhaas de coordenadas (U , ).
Como no caso de R procedimos na definio das aplicaes C no caso geral com
a seguinte definio:
Figura 1.2.1:
Definio 15. Sejam M e N dois variedades C -diferenciveis com Atlantes A M , A N ,
ento F : M N diz-se uma aplicao C se por cada p W M existe uma
vizinhana de coordenadas (U, ) A M de p e uma vizinhana (V, ) A N de F ( p)
com F (U ) V tal que
F 1 : (U ) (V ) C
(1.2.2)
Para ser mais claros podemos dizer que F|U : U M V N pode ser escrita
em coordenadas locais como aplicao entre (U ) e (V ) como

1 2
m
1
1 2
m
n
1 2
m
F x , x , ..., x
= f x , x , ..., x , ..., f x , x , ..., x
(1.2.3)

onde cada yi = f i x1 , x2 , ..., x n C sobre (U ).
Definio 16. Seja F : M N uma applicao entre dois variedade C -diferenciveis
M e N , ento F diz-se um difeomorfismo se:
(i) um homeomorfismo
(ii) F 1 uma aplicao C
1.3
Caraterstica de uma aplicao, imerses, submerses

e mergulhos
Seja F : M N diz-se uma aplicao C . Sejam (U, ) uma vizinhaa de coordenadas

de p e (V, ) uma vizinhana de coordenadas de F ( p) com F (U ) V ento resulta
definida a aplicao:
F = F 1 : (U ) Rm (V ) Rn
(1.3.1)
Definio 17. Chamamos de caraterstica da aplicao F indicada por rank ( F ) no ponto

p a caraterstica de F = F 1 .
Portanto considerando em coordenadas locais que

1 2
m
n
1 2
m
1
1 2
m
= f x , x , ..., x , ..., f x , x , ..., x

F x , x , ..., x
(1.3.2)
a caraterstica no ponto a = ( p) Rm dada d caraterstica da matriz Jacobiana

no ponto a:
f1 f1
f1
.
.
.
1
1
1
x
xf 2 xf 2
i
f2
1
f
. . . xm
x
x2
D F ( ( p)) =
=
(1.3.3)
..
..
..
x j x= ( p) ...
.
.
.
fn
fn
fn
x m x m . . . x m
x=a
Observao 18. Se F : M N com m = dim ( M ) e n = dim ( N ) e k = rank ( F ) por
cada ponto p M ento existem (U, ) uma vizinhaa de coordenadas de p e (V, )
uma vizinhana de coordenadas de F ( p) com F (U ) V tal que ( p) = (0, ..., 0),
( F ( p)) = (0, ..., 0) e F = F 1 dada por:

1 2
m
1
k
F x , x , ..., x
= x , ..., x , 0, ..., 0
(1.3.4)
e ainda podemos supor (U ) = Cen (0) e (U ) = Cen (0) com o mesmo e > 0.
Definio 19. Seja F : M N uma aplicao entre dois variedade C -diferenciveis
m = dim ( M) e n = dim ( N ) , ento F diz-se uma:
(i) imerso se rank( F ) = m = dim ( M)
(ii) submerso se rank( F ) = n = dim ( N )
Facto 20. Se F for uma imerso injectiva de M em N ento existe nica topologia e estrutura
e = F ( M) pode ser considerada uma variedade com F : M M
e
C -diferencivel tal que M
e com essa topologia e estrutura chamada de subvariedade
difeomorfismo. A variedade M
imersa.
Observao 21. Uma imerso no necessariamente um homeomorfismo entre variedades, por exemplo F : R 3 t (cos 2t, sin 2t) R2 tem caraterstica 1 e portanto
uma imerso, mas M = R uma variedade no compacta no enquanto F ( M ) = S1
com a topologia induzida como subespao de R2 compacta e portanto F no um
homeomorfismo. Tambm a injectividade no suficiente para que F seja um homeomorfismo. Um exemplo pode ser representado d aplicao:

(
1
,
sin
t
por 1 t <
t
(1.3.5)
F (t) =
por < t 1
(0, t + 2)
Definio 22. Seja F : M N uma aplicao entre dois variedade C -diferenciveis,
ento F diz-se um mergulho se:
(i) uma imerso injectiva;
(ii) F um homeomorfismo entre M e F ( M ) com a topologia de subespao induzida
da N.
e = F ( M) chamada de subvariedade mergulhada.
A variedade M
Observao 23. Cada imerso localmente um mergulho. Portanto se F : M N

uma imerso, cada p M tem uma vizinhana de coordenadas tal que F |U um
mergulho de U em M.
1.4
Definies e propriedades das subvariedades
Na seco precedente introduzimos as noes de subvariedade imersa e subvariedade mergulhada. A distino fundamental entre as duas noes se a imagem F ( M) N uma
variedade pela topologia de subespao de N.
Definio 24. Um subconjunto S de uma variedade C -diferencivel M tem a propriedade de s-subvariedade se por cada p S existe uma vizinhana de coordenadas (U, )
em M tal que:
(i) ( p) = (0, 0, ..., 0);
(ii) (U ) = Cm (0);

(iii) (U S) = x Cm (0)| x s+1 = ... = x m = 0 .
Lema 25. Seja S M um subconjunto com propriedade de s-subvariedade. Ento S coma
topologia de subespao de M uma subvariedade topologica de dimenso s e cada vizinhana de
e) em S com V = U S
coordenadas (U, ) em M define uma vizinhana de coordenadas (V,
e = |V onde : Rm Rs a projeco nas primeiras s coordenadas.
e
Observao 26. Estas coordenadas so C -compatveis e constituem uma estrutura C diferencivel tal que a incluso i : S M um mergulho.
Definio 27. Uma subvariedade regular S de uma variedade C -diferencivel M um
qualquer subconjunto com a propriedade de s-subvariedade com a estrutura C -diferencivel
que coresponde s coordenadas preferidas.
Teorema 28. Se F : M N uma imerso injectiva e M compacto ento F um mergulho
e = F ( M ) uma subavariedade regular.
eM
Demonstrao. Dimostrao
Teorema 29. Seja F : M N uma aplicao C entre variedade C -diferenciveis. Se a
caraterstica de F constante e igual a k para todos os p M e q N, ento F 1 (q) uma
subvariedade regular, fechada de M de dimenso m k.
Corolrio 30. Se F : M N uma aplicao C entre variedade C -diferenciveis,
dim M = m n = dim N e se a caraterstica de F igual a m por cada ponto de A = F 1 ( a)
, ento A fechada e uma subvariedade regular de M.
Exemplo 31. Consideramos a aplicao F : R3 R assim definida F ( x1 , x2 , x3 ) =
2
2
2
x1 + x2 + x3 . A aplicao F C sobre o aberto U = R3 r {0} com caraterstica constante igual a 1, portanto F 1 (1) = S2 uma subvariedade de dimenso
2.
1.5
Curvas sobre uma variedade
1.5.1
Conexa topologica
1.5.2
Classes de homotopia
1.5.3
Grupo Fundamental de uma Variedade
1.5.4
Recobrimento Universal
Captulo 2
Grupos de Lie
Os Grupos de Lie so variedades diferenciveis onde a estrutura de grupo compatvel com a estrutura de varidade diferencavel. Essa noo torna-se crucial em muitas
reas da Geometria e da Fsica contemporanea especialmente pela existncia de uma
correspondncia local entre Grupos de Lie e lgebras de Lie. Essas lgebras so definidas sobre espaos vetoriais e portanto a corrispondncia entre Grupos de Lie e lgebras de Lie permite localmente de trocar numa vizinhana da identidade o estudo de
estruturas muito complexas com o estudo de espaos vetoriais.
Nesse captulo iremos apresentar os Grupos de Lie apresentando simplesmente as
definies, os exemplos e os teoremas mais importantes. Sucessivamente nos captulos
7 e 8 iremos apresentar as lgebras de Lie associadas a um Grupo e portanto iremos
apreciar as propriedades que esses estruturas tm.
2.1
Definies
Em lgebra um Grupo( G, ) um conjunto G com uma operao de multiplicao que

satisfaz as seguintes propriedades:
( FECHADURA )
( NEUTRO )
( INVERSO )
gh G
e G :
g, h G
e g = g e = g g G
g G g 1 G : g 1 g = g g 1 = e
(2.1.1)
(2.1.2)
(2.1.3)
Definio 32. (SUB - GRUPO) Sejam ( G, ) e ( H, ) dois grupos ento H diz-se sub-grupo
de G e indica-se H < G se por cada h H, ento h G. Ademais se por cada
g G = gh H ento o grupo H diz-se sub-grupo normal de G e indica-se H C G.
As aplicaes que preservam a estrutura de grupo so chamadas de homomorfismos.
Definio 33. (HOMORFISMO) Sejam ( G, ) e ( H, ) dois grupos ento : G H
diz-se homorfismo de grupos se ( g1 g2 ) = ( g1 ) ( g2 ) por cada g1 , g2 G
E o ncleo de um homomorfismo indicado com o termo ingls kernel um subgrupo do Grupo de orgem.
Teorema 34. Seja : G H um homomorfismo entre os grupos G e H, ento ker :=
{ g G | ( g) = id H } < G
CAPTULO 2. GRUPOS DE LIE
2.1.1
10
Grupos Topolgicos
Definio 35. Seja ( G, ) um grupo, uma topologia G ( G ) diz-se compatvel com a

estrutura de grupo se as aplicaes
G G 3 m ( g, h) g h G
(2.1.4)
G 3 l ( g) g1 G
(2.1.5)
so aplicaes continuas com a topologia G e a topologia produto sobre G G.

Um grupo ( G, ) com uma topologia G compatvel com a estrutura de grupo diz-se
Grupo Topolgico.
Exemplo 36. ( GL (n, R) , ) i.e. o Grupo de Matrizes invertveis de Rn um Grupo
com a operao de multiplicao matrizal ordinria. Ademais um Grupo Topolgico
sendo localmente isomorfo a Rnn e dado que a inverso e a multiplicao so funes polinomiais. Portanto considerando a representao matricial dos elementos de
GL (n, R) temos o homeorfismo
x11 x21 xn1

x2 x2 . . . x2
n inc
GL (n, R) 3 .1 .2 .
x11 , , xn1 , x12 , , xn2 , , x1n xnn Rn
.
..
. . ..
..
x1n x2n . . . xnn
(2.1.6)
E tomando sobre GL (n, R) a topologia ordinria de que torna o homeorfismo uma
aplicao continua, obtemos que tambm a multiplicao entre elementos de GL (n, R)
e a inverso so aplicaes continuas e portanto o Grupo um Grupo Topolgico.
2.1.2
Grupos de Lie
Definio 37. (GRUPO DE L IE) Seja G uma variedade C -diferencivel e seja tambm
( G, ) um grupo, se as aplicaes
G G 3 m ( g, h) g h G
(2.1.7)
G 3 l ( g) g1 G
(2.1.8)
so aplicaes C diferenciveis ento o grupo G chama-se de Grupo de Lie.

A importncia dessa definio reside na possibilidade de preservar a estrutura de
grupo e tambm a estrutura diferencivel da variedade no mesmo tempo.
Um teorema muito importante de Montgomery e Zippin demonstrado no 1952 e
relacionado com o 5 problema de Hilbert afirma que nos grupos de Lie a noo de
variedade topologica e de variedade diferencivel so equivalentes. Na verdade temos
o seguinte:
Teorema 38. (MONTGOMERY
Rn , ento G um grupo de Lie.
E ZIPPIN )
Seja G grupo Topolgico localmente homeomorfo a
Observao 39. Esse teorema implica que para que G seja um Grupo de Lie s preciso
verificar a continuidade da multiplicao e da inverso para automaticamente obter
que sejam C diferenciveis.
2.2
11
Alguns teoremas e algumas definioes importantes
Nessa seco iremos apresentar alguns resultados teis mas que no iremos demonstrar alm de algumas definies.
Teorema 40. ( CLOSED SUBGROUP
de G = H um subgrupo de Lie.
THEOREM )
Seja G grupo de Lie e H sub-grupo fechado
Observao 41. Esse teorema que tambm conhecido como Teorema de Cartan muito
til na pratica. Por exemplo podemos demonstrar facilmente que SL (n, R) = { A GL (n, R) | det ( A
um grupo de Lie dado que um subgrupo fechado de GL(n, R) que claramente um
Grupo de Lie sendo um Grupo Topolgico e localmente homeomorfo a Rnn . Similmente podemos demonstrar que O (n) ou U (n) so Grupos de Lie.
Teorema 42. Seja G um grupo de Lie ento as aplicaes:
( TRASLAO ESQUERDA )
( TRASLAO DIREITA )
( ADJUNTA )
L g : G 3 h L g (h) = g h G
R g : G 3 h R g (h) = h g G
(2.2.1)
(2.2.2)
Ad g : G 3 h Ad g (h) = g h g1 G (2.2.3)
definidas por cada g G so diffeomorfismos de G em si mesmo.

Embora a prova desse teorema seja de imediata derivao das definies, todavia
isso ser muito importante porque permiter de encontrar um difeomorfismo entre os
espaos tangentes da variedade diferencivel G e portanto permiter encontrar uma
base cannica pelo espao tangente definida sobre a variedade toda.
Algumas propriedades imediatas dessas aplicaes sero utis nos captulos seguintes:
Lg
1
= L g 1
(2.2.4)
Rg
1
= R g 1
(2.2.5)
1
= Ad g1
L g R g1 = Ad g = R g1 L g
L a Lb = L ab
R a Rb = Rba
Ad a Adb = Ad ab
Ad g
(2.2.6)
(2.2.7)
(2.2.8)
(2.2.9)
(2.2.10)
Por cada g em G a aplicao Ad g um automorfismo de G. Resulter portanto

muito til considerar a aplicao adjunta que por cada elemento g G associa um
automorfismo de G
ad : G 3 g Ad g Aut( G )
(2.2.11)
A importncia dessa aplicao resulter clara nos captulos 7 e 8 relativos s lgebras de Lie e s representaes dessas lgebras.
Definio 43. (CENTRO DO G RUPO) Seja G um Grupo de Lie e seja ad a aplicao adjunta ad : G 3 g Ad g Aut( G ), ento o ncleo ker ad = { g G | gh = hg h G }
tambm chamado de centro do Grupo G e indicado como Z ( G ).
Observao 44. O Centro Z ( G ) do Grupo de Lie G um sub-grupo normal de G sendo
o ncleo de um homomorfismo entre grupos e sendo gZ ( G ) = Z ( G ) g = Z ( G ) C G.
12
Definio 45. (HOMOMORFISMOS DE GRUPOS DE LIE) Sejam G, H grupos de Lie, ento

: G H diz-se homomorfismos de grupos de Lie se um homorfismo de grupos e
C diferencivel
Observao 46. Na verdade por um teorema relacionado com o teorema de MontgomeryZippin suficiente demonstrar que continua i.e. C0 para obter que seja um homomorfismo de grupos de Lie.
Enfim temos o ltimo teorema que embora simples na demonstrao resulter muito
til:
Teorema 47. Sejam G, H grupos de Lie e : G H um homomorfismo de grupos de Lie,
ento:
(i) ker ( ) G um grupo de Lie
(ii) Im ( ) H um grupo de Lie
2.3
Exemplos de Grupos de Lie Lineares e no Lineares
A maioria dos Grupos que iremos apresentar so sub-grupos de GL (n, K) com K =

{R, C} onde a condio que caratriza o subgrupo uma equao matricial. Portanto pode ser til demonstrar que se formos em dimenso n < um sub-grupo de
GL (n, K) definido atravs uma equao matricial fechado.
Proposio 48. Seja p ( x1 , .., xn2 ) K [ x1 , .., xn2 ], seja H < GL (n, K) um sub-grupo definido por
(2.3.1)
{ A GL (n, K) | p ( A) = 0}
ento H um sub-grupo de Lie
Demonstrao. Pelo teorema de Cartn (i.e. que cada subgrupo fechado de um Grupo
de Lie um subgrupo de Lie), suficiente provar que H fechado e consequentemente
H ser um Grupo de Lie. Portanto s precisamos provar que GL (n, K) r H um
aperto de GL (n, K) com a topolgia ordinria introduzida no incio do captulo atrves
2
do homorfismo de incluso de GL (n, K) em Kn . Mas o polinmio p( x1 , .., xn2 ) :
2
2
Kn K uma funo continua e portanto por a preimagem p(Kn r {0})1 =
GL (n, K) r H um aberto em GL (n, K).
2.3.1
GL (n, R) e SL (n, R)
2.3.2 O (n) , SO (n) e SO ( p, q)

2.3.3 U (n) , SU (n) e SU ( p, q)
2.3.4
Sp (n) e Sp ( p, q)
2.3.5
O Grupo de Heisenberg e um Grupo de Lie no linear
Nesse contexto apresentamos o Grupo de Heisenberg para ilustrar um Grupo de Lie

que no seja linear.
1 x z
0 1 y : x, y, z R
H=
(2.3.2)
0 0 1
13
1 0 n
= 0 1 0 : x, y, z R
0 0 1
2.3.6
2.4
O Grupo de Spin de dimenso 2, 3, 4, 5, 6
Caratersticas Topolgicas de alguns grupos matriciais

Gruppo
GL(n, R)
SL(n, R)
O(n, R)
SO(n, R)
Sp(n, R)
U (n, C)
SU (n, C)
Sp(n, C)
GL(n, C)
SL(n, C)
O(n, C)
SO(n, C)
2.5
(2.3.3)
Definizione
det( A) 6= 0
det( A) = 1
At A = I
At A = I, det( A) = 1
At J A = J
t
AA=I
t
A A = I, det( A) = 1
t
A JA = J
det( A) 6= 0
det( A) = 1
At A = I
At A = I, det( A) = 1
Dim R
n2
2
n 1
n ( n 1)
2
n ( n 1)
2
n ( n +1)
, n pari
2
n2
n2 1
n(n + 1) , n pari
n ( n + 1)
n ( n + 1)
Comp
X
X
0 ( G )
Z2
{1}
Z2
{1}
{1}
{1}
{1}
{1}
{1}
{1}
Z2
{1}
Isomorfismos classicos entre Grupos de Lie
Lista di isomorfismi canonici fra i Guppi Classici:

Dimensione
3
3
6
6
6
10
10
10
Gruppi Isomorfi
SO(3, R)
= SU (2, C)
= U (1, Q)
= SL(1, Q)
SO(2, 1, R) = SU (1, 1, C)
= Sp(2, R)
= SL(2, R)
SO(4, R) = SU (2, C) SU (2, C)

SO(3, 1, R)
= SU (2, C)
SO(2, 2, R)
= SL(2, R) SL(2, R)
SO(5, R)
= USp(4, C)
SO(4, 1, R)
= USp(2, 2, C)
SO(3, 2, R)
= Sp(4, R)
1 ( G )
Z2
Z2
Z2
Z2
Z
Z
{1}
Z
{1}
Z2
Z2
Captulo 3
Fibrado Tangente e Fibrado Cotagente
Nesse captulo apresenteremos os fibrados que representam o hambiente onde iremos
desenvolver a maioria da nossa teoria geometrica. Em muitos textos essa noo apresentada no final depois de tiver desenvolvido completamente toda a teoria. Todavia
nos parece que com pouco esforo seja possvel introduzir direitamente no comeno
essas ferramentas e apresentar direitamente uma teoria completa. Portanto nesse captulo iremos apresentar as definies do fibrado Topolgico e fibrado diferencivel.
Depois iremos aprsentar a noo de vetor, de espao vetorial num ponto de uma variedade e do fibrado tangente como a coleco dos espaos tangentes organizados numa
estrutura de fibrado.
3.1
Definies
Definio 49. Um fibrado diferencivel um terno = ( E, , M)

E
y
M
(3.1.1)
Onde E e M so uma variedades diferenciveis e uma aplicao surjetiva e diferencivel de E em M.

E chamado de espao total;
M chamada de base do fibrado;
chamada de projeco do fibrado sobre a base;
por cada p M ento Fp = 1 { p} chamada de fibra no ponto p.
Observao 50. O fibrado diferencivel uma generalizao do produto cartesiano. De
facto ( M F, , M ) onde : M F M a projeco cannica nas primeiras
coordenadas um caso especial de fibrado chamado de fibrado trivial.
Definio 51. Um fibrado diferencivel = ( E, , M) diz-se localmente trivial se as fibras
F so variedades diferenciveis e se por cada ponto p M existem cartas de trivializao
14
CAPTULO 3. FIBRADO TANGENTE E FIBRADO COTAGENTE
15
(U , ) tale que o seguinte diagrama seja comutativo:

E 1 (
U)
y
U
U F
.
(3.1.2)
onde U a projeco cannica do produto cartesiano nas coordenadas de U.

Um atlante de trivializao A uma coleco de cartas de trivializao (U , ) tal
que por cada p M existe uma vizinhana U tal que
: E|U 3 p ( ( p) , ( p)) U F
(3.1.3)
Essas definies so as definies necessaria para pensar localmente E como um

produto cartesiano entre variedades diferenciveis.
Definio 52. Seja ( E, , M ) um fibrado diferencivel, diz-se seco uma aplicao :
M E tal que
id M
(3.1.4)
Observao 53. Uma seco leva pontos p M em pontos p E que pertencem
mesma fibra Fp . Portanto as seces de um fibrado podem ser pensadas como uma
ferramenta para extendir a noo das funes dao espao base fibra. Por exemplo
no caso do fibrado trivial onde ( M F, , M) onde : M F M a projeco
cannica, h uma corrispondncia biounivoca entre as funes s : M F e as seces
dado que por cada s : M F podemos definir a seco
: M 3 p ( p, s ( p)) M F
(3.1.5)
E por cada seco : M M F podemos definir s como as coordenadas do

ponto p na fibra Fp .
Definio 54. Sejam = ( E, , M) e 0 = ( E0 , 0 , M0 ) dois fibrados chama-se de morfismo entre fibrados o dado (u, f )
u
E E0
y
y
f
M
onde
(3.1.6)
0 u = F
(3.1.7)
Observao 55. Se (u, f ) so invertveis ento o morfismo um isomorfismo entre fibrados.

u
E E0
u 1
y
y
f
M
f 1
(3.1.8)
No fibrado localmente trivial as cartas de trivializao representam isomorfismos

locais entre o fibrado e o produto cartesiano entre a variedade da base M e a fibra F.
16
Definio 56. Um fibrado = ( E, , M) diz-se trivial se existe um isomorfismo entre

e o produto cartesiano tr = ( M F, , M)
Um caso especifico de fibrado que ser muito til nas seces seguintes o caso
onde a fibra F possue uma estrutura de espao vetorial, nesse caso o fibrado chama-se
de fibrado vetorial.
Definio 57. Um fibrado = ( E, , M) cuja fibra F tem estrutura de espao vetorial
de dimenso n compatvel com a estrutura diferencivel (i.e. onde as operaes de
adio e multiplicao por escalar so diferenciveis) diz-se fibrato vetorial.
Observao 58. Cada fibrado vetorial localmente trivial com fibra Rn
3.2
Vetores, Fibrado tangente e Push Forward
No captulo 1 introduzimos trs definies equivalentes de vetor e de espao tangente

num ponto de Rn . Agora iremos generalizar essas noes partendo d terceira definio relativa ao espao tangente como o do espao das derivaes no ponto. Nessa
definio um vetor era definido como uma aplicao Xa que dado um a Rn levava
funes C ( a) no campo escalar R. Todavia para que seja possvel proceder na generalizao preciso explicar o que que entendido para as funes C ( p) dado
que p M. Portanto para fazer isso consideramos o espao de todas as funes C
diferenciveis que so definidas numa vizinhana de p identificando todas as funes
que coincidem em todas as vizinhanas de p.
Entre esse espao C ( p), chamado espao dos germes de funes em p, e o espao
das funes reais no ponto ( p) i.e. C ( ( p)), h uma corrispondncia biounivoca:
C ( ( p)) 3 f ( f ) C ( p)
3.2.1
(3.2.1)
Vetores e espao tangente num ponto
Definio 59. Seja M uma variedade C diferencivel e seja p M, ento diz-se espao
tangente em p indicado com Tp M o espao vetorial sobre R formado da todas as funes
X p : C ( p) R tal que satisfazem as seguintes condies f , g C ( p) e ,
R:
(LINEARIDADE)
(REGRA DE L EIBNIZ)
X p ( f + g) = X p ( f ) + X p ( g)
X p ( f g) = X p ( f ) g + f X p ( g)
e com as operaes de espao vetorial assim definidas:

(ADIO)
X p +Yp f := X p ( f ) + Yp ( f )

(MULT. POR ESCALAR)
X p f := X p ( f ) + Yp ( f )
(3.2.2)
(3.2.3)
(3.2.4)
(3.2.5)
Observao 60. A definio precedente efectivamente bem definida e extende a noo

de espao tangente. As demonstraes, embora relativas a C ( p) com p M, so as
mesmas demonstraes feitas no primeiro captulo.
Definio 61. Uma funo X p : C ( p) R tal que X p Tp ( M) chamado vetor.
3.2.2
17
Push Forward e a Base Cannica do Espao Tangente
Definio 62. Sejam M, N variedades C diferenciveis e seja F : M N uma aplicao suave entre variedade. Ento
por cada ponto p M resulta definida uma aplicao F : Tp M 3 X p F X p TF( p) N onde

F X p ( f ) := X p ( f F )
(3.2.6)

O vetor F X p TF( p) N diz-se pushforward do vetor X p em F ( p).
Observao 63. As vezes F chamada de diferential da funo F e indicada com dF ou
DF. Todavia ns preferimos utilizar a notao de F para evitar problemas notacionais
com a derivada externa e a derivada covariante.
O espao tangente Tp M um espao vetorial sobre R, para encontrar uma base
cannica podemos considerar o pushforward dos vetores da base cannica do espao
tangente T( p) (U ) T( p) (Rm ). Dado que as cartas no ponto p so invertveis de
fact definida uma 1 : (U ) Rm U M e portanto resulta definida uma
aplicao
1
m
(3.2.7)
: Tp (R ) Tp M
Portanto se chamamos de i as derivadas parciais que so a base cannica de T( p) (Rm )
podemos considerar

1
:
f
=
(3.2.8)
( )
(f)
( i)
p
xi p
que, por definio do pushforward de um vetor

1
1
:
f
=
f
=
( )
( )
i
( i)
p
( p)
xi p
(3.2.9)

Observao 64. Dado um vetor X p Tp M de coordenadas 1 , ..., m na base cannica
o valor do vetor calculado em f C ( p)
!

m
m
i
1
f
=
(3.2.10)
Xp ( f ) = i
(
)
i
( p)
xi p
i =1
i =1
3.2.3
Fibrado tangente
Agora que definmos o espao tangente por cada ponto da variedade M o nosso objectivo definir um fibrado que por cada ponto p possua Tp M como fibra. Dado que Tp M
um espao vetorial o fibrato tangente que iremos definir ser um fibrado vetorial.
Para que isso seja possvel necessario dotar uma estrutura diferencivel unio
disjunta dos espaos tangentes
G
TM :=
Tp M
(3.2.11)
p M
a partir d estrutura diferencivel de M.

Definio 65. Seja M uma variedade suave com atlante A M = {(U , )}, ento diz-se
fibrado tangente o fibrado vetorial ( TM, , M) onde a projeco
: TM 3 X p p M
(3.2.12)
18
associa cada vetor X p Tp M ao ponto p M de aplicao do vetor;

e ondeTM uma variedade suave
TM :=
Tp M
(3.2.13)
p M
com atlante ATM =
1 (U ) ,
Observao 66. Na pratica as cartas que permitem de definir uma estrutura diferencivel sobre a unio disjunta dos espaos tangentes so as preimagens 1 (U ) dos abertos
que constituem as vizinhanas dos pontos p M. As cartas so efectivamente encontradas utilizandos as cartas do atlante de M e o pushforward dessas cartas. Supondo
que X TM e que no respeto da base cannica no ponto ( X ) M seja

m
i
(3.2.14)
X =
xi (X )
i =1
Ento a carta de ATM assim definida : TM R2m

1
m
1
m
( ) ( X ) = ( ( X )) , ..., ( ( X )) , , ...,
3.3
(3.2.15)
Formas, Pull Back e Fibrado Cotangente
Sendo o espao tangente num ponto p de uma variedade diferencivel M um espao

vetorial resulta interessante estudar o dual desse espao vetorial. Na Apndice A.3
falmos dos principais resultados relativos ao espao dual que sero fundamentais
por o desenvolvimento do discurso sobre o espao cotangente (existncia do espao
dual, base cannica do espao dual e a existncia do espao bidual).
Em toda a seco iremos supor que os espaos vetoriais introduzidos sejam todos
de dimenso finidas.
3.3.1
Covetores e espao cotangente num ponto
Definio 67. (DUAL DE UM ESPAO VETORIAL) Seja V um espao vetorial sobre um

campo K. Chamamos de espao dual V o espao Hom(V, K) ou seja o espao das
aplicaes lineares da o espao vetorial V e o campo escalar K.
f : V K
(3.3.1)
Tais aplicaes lineares com valores no campo escalar so tambm chamadas de

formas lineares como de funcionais lineares ou covetores.
Definio 68. (ESPAO COTANGENTE) Seja M variedade diferencivel, p M e Tp M o
espao tangente da variedade
diferencivel no ponto p. Ento o espao dual do espao

tangente no ponto Tp M chamado de espao cotangente no ponto p e indicado com o
smbolo Tp M.
Os elementos do espao cotangente Tp M so chamados de covetores ou formas
lineares e indicados por

p : Tp M X p p X p R
(3.3.2)
3.3.2
19
Pull back de uma forma linear e Base cannica
A partir do Push-Forward de uma aplicao entre variedades possvel definir uma

aplicao entre os espao cotangentes da variedades.
Definio 69. (PULL - BACK) Sejam M, N variedades C diferenciveis e seja F : M
N uma aplicao suave entre variedade. Ento
por cada ponto p M resulta definida
uma aplicao F : TF( p) N 3 F( p) F p Tp M onde
F

F( p)

X p := F( p) F X p
(3.3.3)

O covetor ou forma linear F F( p) Tp M diz-se pullback do covetor F( p) .
A existncia de uma base cannica no espao tangente implica a existncia de uma
base cannica no espao cotangente tambm.
Definio 70. Seja {ei }i=1..n a base cannica do espao tangente Tp M, ento chamamos
de base cannica do espao cotangente Tp M a nica base sobre o espao cotangente tal
que

i e j = ji
(3.3.4)
3.3.3
Fibrado cotangente
Similmente ao fibrado tangente possvel definir um fibrado cotangente partendo d

estrutura diferencivel de M. No caso de fibrados vetoriais possvel definir um fibrado dual formado associando a cada ponto o espao dual da fibra do fibrado original. Portanto possvel definendo o fibrado cotangente como o fibrado dual do fibrado
tangente ou tambm possvel definir direitamente o fibrado cotangente apresentando
a direitamente a estrutura de fibrado como nesse caso:
Definio 71. (FIBRADO COTANGENTE) Seja M uma variedade suave com atlante A M =
{(U , )}, ento diz-se fibrado cotangente o fibrado vetorial ( T M, , M) onde a projeco
: T M 3 p p M
(3.3.5)
associa cada covetor p Tp M ao ponto p M de aplicao do vetor;
e ondeT M uma variedade suave com
T M :=
Tp M
p M
com atlante AT M =
n
1
1 (U ) ,
o
(3.3.6)
Captulo 4
Campos vettoriais
No captulo 1 vimos a importncia dos campos vetoriais em Rn . Nesse contexto um
campo vetorial X era uma aplicao que associava a cada ponto p U um vetor X p
Tp (U ) i.e.:
X : Rn U 3 p X p Tp (U )
(4.0.1)
Em Rn muitas coisas so simplificadas sendo Tp (U )
= Rn por cada p U e por-
tando sendo possvel comparar vetores entre pontos distintos da variedade Rn . Analisando mais no detalho Rn podemos notar qual a sequncia dos elementos que simplificam as coisas em Rn e que gostariamos de extendir e generalizar:
1. Difeomorfismo cannico entre pontos: em Rn por cada ponto p existe um difeomorfismo cannico entre p e a origem de Rn dado simplesmente pela translao p :
Rn U 3 x x + p V Rn . Essa translao forma um grupo de difeomorfismos dependentes da um parametro p Rn sendo
e = x
p p = x + p + q = p+q
1
p
= p
(4.0.2)
(4.0.3)
(4.0.4)
2. Difeomorfismo induzido sobre os espaos tangentes: os difeomorfismos p induzem

mapas lineares p : Te (U ) Tp (V ) que permitem de comparar vetores de
Te (U ) com vetores de Tp (V ) por cada p V Rn (ademais no caso especifico
p id)
3. lgebra sobre o espao tangente: temos uma lgebra sobre o espao tangente que nos
permite -alm d adico e multiplicao por escalar comum a todos os espaos
vetoriais - de multiplicar vetores com um produto externo.
Esses elementos sero os elementos bsicos que tenteremos de generalizar no caso de
variedades gerais. As coisas sero perfeitamente realizadas no caso especial de variedades que sejam tambm Grupos de Lie. Portanto iremos ver que cada Grupo de Lie
possue uma serie de difeomorfismos cannicos que permitem de induzir difeomorfismos entre os espaos tangentes que no caso especifico possuem uma estrutura de
lgebra de Lie.
4.1
Campos vetoriais sobre o fibrado tangente
Para extendir o conceito de campo vetorial, utilizamos a noo de seco de um fibrado. De facto uma seco de um fibrado uma aplicao que por cada ponto da
20
CAPTULO 4. CAMPOS VETTORIAIS
21
base do fibrado p M associa um ponto do fibrado que pertenece fibra de p i.e.:

( p) 1 ({ p}). Onde por 1 ({ p}) intendemos a pre-imagem de psegundo a
aplicao . No caso do fibrado tangente, isso quer dizer que uma seco uma aplicao
: M 3 p ( p) Tp M TM
(4.1.1)
E particular M e TM so variedades diferenciveis e portanto resulta definida a
noo de seco suave.
Definio 72. (CAMPO VETORIAL) Seja M uma variedade e seja tan = ( TM, , M) o
fibrado tangente sobre a variedade M, ento diz-se um campo vetorial sobre M uma
seco : M TM i.e.: uma aplicao
TM
x
y
M
(4.1.2)
tal que id M .
O conjunto dos campos vetoriais sobre uma variedade M indica-se como ( TM )
ou X ( M ).
4.2
O modulo ( TM ) dos campos vetoriais
Dada a precedente definio de campos vetoriais podemos identificar o conjunto de todos os campos vetoriais X ( M ) com o conjunto de todas as seces do fibrado tangente
( TM ) i.e.:
( TM ) = { : M TM | = id M } X ( M )
(4.2.1)
Sobre esse conjunto podemos definir duas operaes para que atribuirmos uma
estrutura lgebrica.
( ADIO )
( MULT. ESCALAR )
+ : ( TM) ( TM) ( TM)

: C ( M) ( TM) ( TM)
(4.2.2)
(4.2.3)
onde por cada p M temos
( + ) ( p) = ( p) + ( p)
( f ) ( p) = f ( p) ( p)
(4.2.4)
(4.2.5)
Observao 73. O anel C ( M ) no um campo e em particular no um anel de diviso,

portanto no possvel estabelecer uma estrutura de espao vetorial sobre ( TM ) com
anel de base C ( M), mas s de modlo (cfr. Apndice A.1). Na verdade sobre ( TM )
pode tambm ser definidas uma estrutura de espao vetorial sobre o campo escalar R,
mas nesse caso dimR ( TM ) =
Proposio 74. ( ( TM ) , +, ) onde as operaes so as operaces definidas precedentemente
um modlo sobre C ( M)
22
Demonstrao. A fechadura de ( TM ) no respeito de +, evidente. Similmente as

propriedades listadas na Apndice A.1 so facilmente verificadas. Por exemplos verificamos a linearidade: sejam , ( TM ) e f , C ( M ) ento
( f ( + )) ( p) = f ( p) ( + ) ( p) = f ( p) ( p) + f ( p) ( p)
(4.2.6)
As outras propriedades so verificadas imediatamente na mesma forma.

Observao 75. Dado que no todos os modlos possuem uma base como no caso dos
espaos vetoriais, ento no sempre possvel encontrar uma base por ( TM ). Nos
casos em que seja possvel o modlo diz-se livre e a variedade chamada de paralelizvel.
4.3
Variedades Paralelizveis.
Definio 76. Sejam E1 , ..., Ek ( TM ) k campos vetoriais sobre M tais que E1 ( p) , ..., Ek ( p)
Tp M sejam linearmente indipendentes por cada p M, ento { Ei }1ik chama-se de
campo de k-referncias em M.
Tiver um campo de k-referncias com k = dim Tp ( M ) definida globalmente sobre M
quer dizer que avaliando os campos vetoriais em cada ponto p M podemos produzir uma base do espao tangente definida por cada ponto da variedade. Olhando
ao mesmo assunto, mas de outra forma, podemos tambm pensar que esses campos
constituem uma base por o modlo ( TM).
Definio 77. Uma variedade suave M diz-se paralelizvel se possvel definir globalmente sobre M um campo de k-referncias em M de dimenso k = dim Tp ( M)
Exemplo 78. R2 uma variedade paralelizvel. De facto podemos definir

TR
x1

2
E2 = 2 TR
x
E1 =
(4.3.1)
(4.3.2)
So dois campos vetoriais linearmente indipendentes por cada p M e global

mente definidos. Portanto podemos os utilizar para estabelecer uma base de TR2 .

De facto por cada X TR2 existem 1 ( p) , 2 ( p) C R2 tais que
X = 1 ( p) E1 + 2 ( p) E2
(4.3.3)
Exemplo 79. S2 a esfera uma variedade no paralelizvel. A demonstrao foi desenvolvida por Brouwer no comeno
do seculo XX. De facto no possvel definir

um campo vetorial X TS2 tal que seja definido globalmente
e sempre no nulo.
2
Portanto no possvel encontrar uma base pelo modlo TS e de consequncia a
esfera no paralelizvel. Na verdade todas as esferas no so paralelizveis com a
excepo de S1 , S3 , S7 .
23
Exemplo 80. S3 uma variedade

paralelizvel.

4
2
3
1
2
3
4
i
Considerando S =
x , x , x , x | x = 1 R4 de facto temos que os
seguintes 3 campos vetoriais
i =1

1
4
3
3
+
x
+
x
TS
x2
x3
x1
x4

E2 = x3 1 x4 2 + x1 3 + x2 4 TS3
x
x
x
x

4
3
3
2
1
E3 = x
+x
TS
x
+x
x2
x3
x1
x4
E1 = x2
(4.3.4)
(4.3.5)
(4.3.6)
So linearmente indipendentes e possvel demonstrar que constituem uma base

pelo espao tangente por cada ponto p S3 . Portanto S3 uma variedade paralelizvel.
4.4
Grupos de um parametro sobre um campo vetorial
4.5
Fluxo e curvas integrais
campi vettoriali completi

Gruppi di Lie hanno campi vettoriali completi
curva integrale
4.6
Campos de covetores o Formas Lineares sobre fibrados cotangentes
( TM ) =: 1 ( M)
Parte I
A Teoria de Lie
24
Captulo 5
lgebras de Lie de um Grupo de Lie
Nesse captulo iremos introduzir uma estrutura lgebrica que resulter muito til na
anlise dos Grupos de Lie ou seja a de lgebra de Lie g de um Grupo de Lie G.
Em primeiro lugar iremos definir essa estrutura como a lgebra dos campos esquerdainvariantes de um Grupo de Lie, i.e. L ( G ), fornecido com um produto que o mesmo
comutador dos campos vetoriais [, ]. Sucessivamente iremos provar que possvel
fornecer um produto e uma estrutura de lgebra ao Espao Tangente do Grupo de Lie
na identidade do Grupo, i.e. Te ( G ), tal que possvel definir um isomorfismo de lgebras de Lie entre o Espao Tangente Te ( G ) e os campos esquerda-invariantes L ( G ).
Portanto iremos demonstrar que ambivalentemente possvel pensar numa lgebra
de Lie g de um Grupo de Lie G como o Espao Tangente na identidade de um Grupo
de Lie.
Na parte sucessiva do captulo iremos encontrar uma aplicao, i.e. a aplicao
exponential, que nos perimitir de encontrar um difeomorfismo local entre as lgebras
de Lie e os Grupos de Lie. A importncia desse resultado reside no facto que o estudo
das lgebras de Lie em geral muito mais simples do estudo dos Grupos de Lie sendo
as lgebras de Lie espaos vetoriais cujo estudo parte da lgebra Linear, no enquanto
os Grupos de Lie so simplesmente Variedades Diferenciveis.
Na ltima seco do captulo iremos ver a dimenso dessa corrispondncia entre
lgebras de Lie e Grupos de Lie.
5.1
Campos Esquerda-Invariantes sobre um Grupo de Lie
No captulo rpecedente vimos como um difeomorfismo entre pontos da variedade

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

nos pontos diferentes da variedade utilizando a noo de push-forward.
25
CAPTULO 5. LGEBRAS DE LIE DE UM GRUPO DE LIE
26
Nos captulos precedentes nos consideramos a noo de push-forward de um vetor

atrves de uma aplicao induzida entre espaos tangentes:

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

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

1
( F ( X )) p ( f ) := F XF1 ( p) ( f ) = X ( f F ) F ( p)
(5.1.6)
(5.1.7)
Observao 82. No caso dos grupos de Lie, considerando o difeomorfismo L g : G 3

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

(5.1.8)
L g ( X ) p ( f ) := X f L g L g1 ( p)
Definio 83. Seja ( G, ) um Grupo de Lie e X ( TG ) um campo vetorial sobre G,
chamamos X de campo esquerda-invariante se por cada g G
L g ( X ) = X
(5.1.9)
Observao 84. A equao L g ( X ) = X quer dizer que se o campo vetorial X esquerdainvariante ento g, p G e f C ( G ) temos que

L g ( X ) p ( f ) = X f L g L g 1 ( p ) = X p ( f )
(5.1.10)
Exemplo 85. O campo X =

R2 , + . Nesse caso
x1
esquerda-invariante sobre o Grupo de Lie G =
L g : R2 3 p L g ( p) = g + p R2

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

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

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

f
=
= Xp ( f )
x1 p
(5.1.11)
(5.1.12)
(5.1.13)
(5.1.14)
5.2
27
lgebra de Lie g de um Grupo de Lie G
Proposio 86. Seja G um grupo de Lie, ento os campos vetoriais esquerda invariantes sobre
G i.e.L ( G ), com o comutador entre campo vetoriais [, ] formam uma lgebra de Lie.
Definio 87. Seja ( G, ) grupo de Lie ento diz-se lgebra de Lie associada ao grupo
de Lie G e indica-se g a lgebra de Lie obtida das campos vetoriais esquerda-invariantes
L ( G ) com o comutador entre campos vetoriais.
Teorema 88. Seja G um grupo de Lie, ento existe um produto J, K sobre Te G tal que existe
um isomorfismo entre algebras de Lie entre ( Te G, J, K) e (L ( G ) , [, ]).
Demonstrao. Definimos a aplicao
j : Te G 3 Xe j ( Xe ) L ( G )

onde g G e f C R2 temos
j ( Xe ) g ( f ) := L g ( Xe ) ( f )
(5.2.1)
(5.2.2)
Para obter uma lgebra de Lie sobre Te G precisamos definir o produto J, K a partir da o comutador em (L ( G ) , [, ]). De facto [ j ( X ) , j (Y )] novamente um campo
vetorial que definido em e tambm, portanto podemos considerar:
JX, YK := [ j ( X ) , j (Y )]e
(5.2.3)
no jeito que seja realizado automaticamente um isomorfismo de lgebras de Lie

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

s
n
k
,
(5.2.4)
= Cij
xi e
x k Id
x j e
k =1
onde
s
5.3
xi

{

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

Exemplo 90. Seja SU (2) o Grupo de Lie
n
o
SU (2)
= U M22 (C) | UU = I, det (U ) = 1
28
(5.3.1)
O nosso objectivo encontrar uma caraterizao da lgebra de Lie corrispondente

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

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

Deixando todos os termos que sejam O e2 obtemos a condio
(X + X ) = 0
(5.3.3)
(5.3.4)
(5.3.5)
(5.3.6)
No enquanto a segunda condio

det (U ) = 1

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

Deixando todos os termos que sejam O e2 obtemos a condio
Tr ( X ) = 0
(5.3.9)
Portanto obtemos a representao d lgebra de Lie su (2) como lgebra linear

su (2)
= { X gl2 (C) | X = X , Tr ( X ) = 0}
(5.3.10)
Para traduzir esse procedimento de um jeito formal preciso introduzir uma nova
lgebra sobre o campo base K onde identificamos todos os polinomios em e com ordem maior de 2 (cfr. Victor Ka, Lectures Notes, Mit).

D := K [e] / e2
(5.3.11)
Depois podemos definir as matrizes com coeficientes na lgebra Mnn ( D ) e requerir
que a lgebra de Lie associada a um grupo G seja formada de todas as matrizes tais
que I + eX satisfaz as condies do Grupo na nova lgebra.
Definio 91. Seja G um grupo de Lie caracterizado da algumas equaes polinomiais
matriciais { P ( A) = 0}I . Chamamos de Grupo lgebrico de Lie sobre a lgebra D o
grupo
G ( D ) := { A Mnn ( D ) | A invertvel, P ( A) = 0 I }
(5.3.12)
29
E chamamos de lgebra de Lie de um Grupo de Lie G como
( Lie ( G ) , [, ])
(5.3.13)
Lie ( G ) = { X gln (K) | In + eX G ( D )}
(5.3.14)
onde
com a operao induzida da gln (K) i.e.:[ A, B] = AB BA

Essa definio torna-se uma definio equivalente definio que j vimos da lgebra de Lie como campos vetoriais esquerda-invariantes sobre um Grupo de Lie G.
5.4
A aplicao exponencial
Seja A um elemento no espao tangente de G na identidade Te ( G ) e portanto um elemento de g, ento A g podemos definir um campo vetorial X A tal que

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

existe por o teorema de existncia e unicidade local das equaes ordinrias.
Definio 92. Seja A : R G a curva integral precedentemente definida, ento
diz-se aplicao exponencial exp : g G a aplicao
exp (tA) := A (t)
(5.4.2)
Observao 93. No caso A seja uma matriz, ento a aplicao a usual exponencial de
matrizes definida como
exp ( A) = I + A +
A3
A2
+
+ ...
2!
3!
(5.4.3)
Proposio 94. A aplicao exponecial possue as seguintes propriedades:

exp ((t + s) A) = exp (tA) exp (sA)
(5.4.4)
exp (tA) = (exp (tA))1
(5.4.5)
Alm desses propriedades a propriedade mais importante da aplicao exponencial

que a aplicao exponencial um difeomorfismo local entre a lgebra de Lie g e o
Grupo de Lie G.
Proposio 95. Seja G um grupo de Lie compacto, ento a aplicao exponencial surjectiva
i.e.: exp (g) G.
Observao 96. Se G compacto, exp () no injectiva sendo g um espao vetorial e
portanto um espao no compacto.
5.4.1
A Formula de Campbell-Baker-Hausdorff
exp (tX ) exp (tY ) = 1 + t ( X + Y ) +
t2
t3
(5.4.6)
[ X, Y ] +
([ X, [ X, Y ]] + [Y, [Y, X ]])
2
12
t4
[ X, [Y, [ X, Y ]]] + ...
24
(5.4.7)
5.5
30
Relaoes entre Grupos de Lie e lgebras de Lie
Proposio 97. Sejam G e H Grupos de Lie, ento se f uma aplicao suave e homomorfismo
entre grupos de Lie temos que o diagrama seguinte comuta:
f
Gx xH
exp
exp
(5.5.1)
i.e.:
f (exp ( A)) = exp ( f ( A))
gruppi a un parametro e relazione fra sottogruppi di G e sottoalgebre di g
(5.5.2)
Captulo 6
lgebras de Lie
As lgebras de Lie que introduzimos no precedente captulo constituem uma ferramenta indispensvel na Geometria Diferencivel contemporanea e podem ser apresentadas em muitos jeitos diferentes. Da facto h pelo menos trs jeitos distinctos e
equivalentes de apresentar essas lgebras:
1. como resultado de uma linearizao de um grupo de Lie ( G, ) numa vizinhana
da identidade;
2. como espao dos campos vetoriais sobre G que so invariantes pela traslao
esquerda L g ;
3. como lgebra abstracta definida sobre um espao vetorial pelas caracteristicas
intrinsecas
Esses abordagens so equivalentes dado que Cartan demonstrou que todas as lgebras
de Lie podem ser originadas a partir de um Grupo de Lie especifico.
Todavia nesse captulo iremos apresentar algumas noes fundamentais das lgebras de Lie partendo da uma noo abstracta. Na primeira seco apresenteremos as
definies bsicas no respeito das lgebras de Lie, das constantes de estrutura e dos
homomorfismos entre lgebras de Lie.
Na segunda seco achmos melhor apresentar numerosos exemplos de lgebras
de Lie para concluir no final apresentando algumas definies bsicas no respeitos das
representaes.
6.1
lgebras de Lie abstractas
Definio 98. (LGEBRA DE L IE) Um espao vetorial (V, +, ) sobre um campo K dizse lgebra de Lie g = (V, [, ]) se alm de ser um espao vetorial no respeito de uma
operao binaria + e um produto escalar, tem um produto chamado parenteses de Lie
[, ] : g g g
(6.1.1)
que satisfaz as seguintes condies:
( BILINEARIDADE)
[X1 + X2 , Y ] = [ X1 , Y ] + [ X2 , Y ]
[ X, Y1 + Y2 ] = [ X, Y1 ] + [ X1 , Y2 ]
(ANTICOMUTATIVIDADE) [ X, Y ] = [Y, X ]
(IDENTIDADE DE J ACOBI) [ X, [Y, Z ] + [Y, [ Z, X ]] + [ Z, [ X, Y ]] = 0
31
(6.1.2)
(6.1.3)
(6.1.4)
(6.1.5)
CAPTULO 6. LGEBRAS DE LIE
32
Observao 99. A operao [, ] no associativa dado que em geral
[ X, [Y, Z ]] 6= [[ X, Y ] , Z ]
(6.1.6)
De facto um outro jeito de escrever a identidade de Jacobi evidncia como essa

identidade seja na verdade uma generalizao da associatividade sendo:
[ X, [Y, Z ] = [[ X, Y ] , Z ] [Y, [ Z, X ]]
(6.1.7)
Exemplo 100. Seja um espao vetorial (V, +, ) de dimenso finida sobre um campo K.
Ento podemos definir ma lgebra de Lie glK (V) = (End (V) , [, ]) onde
[ A, B] = A B B A A, B End (V)
(6.1.8)
Definio 101. Se uma lgebra de Lie g uma sub-lgebra de glK (V) ento g diz-se
uma lgebra de Lie linear.
Observao 102. Um teorema de Ado-Iwasawa diz que cada lgebra de Lie de dimenso
finida na verdade uma lgebra de Lie linear.
Definio 103. (IDEAL) Seja g uma lgebra de Lie, um subespao linear h diz-se um
ideal se:
[ H, X ] h H h, X g
h0
(6.1.9)
Um ideal h diz-se prprio se 1

/ h e h 6= {0}. Um idealh diz-se maxmal se por cada
ideal prprio de g, temos que se h h0 ento h0 h.
Definio 104. Uma lgebra de Lie diz-se simples se no possue ideais prprios.
Observao 105. se h for um ideal de g ento h uma estrutura de lgebra de Lie sobre
gh para que : g gh seja um homorfismo de lgebras de Lie.
6.1.1
Constantes de Estrutura
Nessa seco iremos supor que a dimenso do espao vetorial V seja finida e portanto
que seja possvel encontrar uma base E = {ei }1in do espao onde cada vetor X possua
umas coordenadas:
n
X = i ei
(6.1.10)
i =1
Nesse caso a bilinearidade das parenteses de Lie nos permite de definir esse produto exclusivamente sobre os vetores da base de V :
"
#
n
n
n

(6.1.11)
[ X, Y ] = i ei , j e j = i j ei , e j
i =1
j =1
i,j=1
Portanto as parenteses de Lie resultam completamente definidas com a definio

das seguintes constantes:
n

ei , e j = Cijk ek
(6.1.12)
i,j,k =1
33
Definio 106. Seja g = (V, [, ]) uma lgebra de Lie e seja E = {ei }1in uma base de
V ento as constantes Cijk
n

ei , e j = Cijk ek
(6.1.13)
i,j,k =1
so chamadas constantes de estrutura.

Observao 107. As constantes de estrutura so dependentes d escolha de uma base
E = {ei }1in e portanto diferentes bases levam a diferentes constantes
A propriedade da anticomutatividade das parenteses de Lie
[ X, Y ] = [Y, X ]
(6.1.14)
implica que as constantes de estrutura precisam satisfazer:

Cijk = Cjik
(6.1.15)
No enquanto a identidade de Jacobi implica que:

n
m i
i
m i
Cmk = 0
+Ckh
Cmj + Chj
Cjkm Cmh
1i,j,km
(6.1.16)
m =1
Exemplo 108. Seja R3 o espao euclideo de dimenso 3 e definimos as parenteses de

Lie a partire da o produto esterno usual:
[v, w] = v w
(6.1.17)
que pode ser definido d relao

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

facil demonstrar que R3 , [, ] uma lgebra de Lie e se E = {e1 , e2 , e3 } ento
[ e1 , e2 ] = [ e2 , e1 ] = e3
[ e1 , e3 ] = [ e3 , e1 ] = e2
[ e2 , e3 ] = [ e3 , e2 ] = e1
[ ei , ei ] = 0
Exemplo 109. Seja SO (3) e escolhemos a base
0 1 0
0 0 0
0 0 1
e1 = 0 0 1 e2 = 0 0 0 e3 = 1 0 0
0 1 0
1 0 0
0 0 0
(6.1.19)
(6.1.20)
(6.1.21)
(6.1.22)
(6.1.23)
E partendo da o ordinario produto de matrizes definimos
[ A, B] = AB BA
(6.1.24)
Ento (SO (3) , [, ]) uma lgebra de Lie com constantes
[ e1 , e2 ] = [ e2 , e1 ] = e3
[ e1 , e3 ] = [ e3 , e1 ] = e2
[ e2 , e3 ] = [ e3 , e2 ] = e1
[ ei , ei ] = 0
(6.1.25)
(6.1.26)
(6.1.27)
(6.1.28)
34
Exemplo 110. Seja SU (2) e escolhemos a base

1
1 i 0
0 i
0 1
1
1 =
2 = 2
3 =
0 i
1 0
2 i 0
2
(6.1.29)
E partendo da o ordinario produto de matrizes definimos
[ A, B] = AB BA
(6.1.30)
Ento (SU (2) , [, ]) uma lgebra de Lie com constantes
[ 1 , 2 ] = [ 2 , 1 ] = 3
[ 1 , 3 ] = [ 3 , 1 ] = 2
[ 2 , 3 ] = [ 3 , 2 ] = 1
[ i , i ] = 0
6.1.2
(6.1.31)
(6.1.32)
(6.1.33)
(6.1.34)
Homomorfismos entre lgebras
Definio 111. ( HOMORFISMO ENTRE LGEBRAS DE L IE ) Sejam (g, [, ]) e (h, J, K) dois

lgebras de Lie, ento uma aplicao : g h chamada de homorfismo entre lgebras
de Lie se
([ X, Y ]) = J ( X ) , (Y )K
(6.1.35)
Observao 112. Seja : g g0 um homorfismo entre lgebras de Lie, ento:
(i)ker g um ideal de g.
(ii)Im g0 uma sub-lgebra de Lie de g0 .
(iii) Existe um isomorfismo entre lgebras de Lie tal que Im
= g ker
Exemplo 113. Seja : (SO (3) , [, ]) (SU (2) , [, ]). Sejam {ei } e {i } as bases de
SO (3) e SU (2) que apresentamos nos exemplos precedentes e seja o homomorfismo
resultante da extenso linear de
( ei ) = i
i = 1, 2, 3
(6.1.36)
i.e. o homomorfismo de lgebras de Lie onde:

!
n
i =1
v i ei
= v i i
(6.1.37)
i =1
Observao 114. No exemplo precedente muito fcil demonstrar que ker = {0}
portanto um isomorfismo entre lgebras de Lie embora SO (3) e SU (2) no sejam
grupos de Lie isomorfos. Na verdade iremos ver que as lgebras de Lie s induzem
um homomorfismo local entre Grupos de Lie.
6.2
Exemplos de lgebras de Lie
Muitos exemplos podem ser derivados dao teoerema seguinte:

Teorema 115. Seja ( A, ) uma lgebra associativa ento g = ( A, [, ]) onde
[ a, b] := a b b a
a, b A
(6.2.1)
uma lgebra de Lie

Corolrio 116. gln (K) = ( GL(Kn ), [, ]) onde [ A, B] := AB BA por cada A, B
GL (Kn ) uma lgebra de Lie
6.2.1
35
k como lgebra de Lie unidimensional
Sendo K um campo e portanto uma lgebra comutativa em particular um espao

vetorial de dimenso 1 e possvel estabelecer uma estrutura de lgebra de Lie: k =
(K, [, ]0 ) onde o produto bilinear [ a, b]0 0. Esse exemplo um exemplo de lgebra
de Lie comutativa.
6.2.2
sln ou An1
Sendo gln (K) e k duas lgebras de Lie podemos considerar o homomorfismo entre
lgebras de Lie fornecido pela Traa Tr : gln (K) 3 A Tr ( A) k. De facto a Traa
pertenece a uma classe especial de homomorfismos chamados carcter.
A Traa um homomorfismo entre lgebras de Lie e
Tr ([ A, B]) = Tr ( AB BA) = Tr ( AB) Tr ( BA) = 0
(6.2.2)
Portanto temos queker ( Tr ) = { A gln (K) | Tr ( A) = 0} um ideal de gln (K).

De facto se utilizamos o mesmo produto bilinear de gln (K) obtemos uma lgebra
de Lie:
An = sln+1 = ({ A gln (K) | Tr ( A) = 0} , [, ]) .
(6.2.3)
6.2.3
oB,V ou lgebras ortogonais
Seja gl (V) = ( End (V ) , [, ]) a lgebra de Lie dos endomorfismos com [ a, b] := a b

b a. Ento por cada forma bilinear B (, )
B (, ) : V V 3 (v, w) B (v, w) K
(6.2.4)
podemos definir a lgebra de Lie chamada de lgebra ortogonal:

oB,V = ({ A gl (V) | B ( Av, w) + B (v, Aw) = 0 v, w V} , [, ])
(6.2.5)
De facto imediato verificar que oB,V um sub-espao vetorial e as propriedades

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

n
T
oB,V =
A Mn (K) | A B + BA = 0 v, w V , [, ]
(6.2.6)
6.2.4
so2n+1 ou Bn
Supondo o espao vetorial de dimenso 2n + 1 e portanto V

= K2n+1 e supondo a
forma bilinear B (, ) seja simtrica, uma representao matricial da forma bilinear
0
B= .
..
0
00
0 In
In 0
(6.2.7)
Nesse caso a lgebra de Lie ortogonal chama-se

oB,V so2n+1 Bn
(6.2.8)
6.2.5
36
so2n ou Dn
Supondo o espao vetorial de dimenso 2n e portanto V

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

0 In
B=
(6.2.9)
In 0
oB,V so2n Dn
6.2.6
(6.2.10)
sp2n ou Cn
Supondo o espao vetorial de dimenso 2n e portanto V

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

0 In
B=
(6.2.11)
In 0
oB,V sp2n Cn
6.2.7
(6.2.12)
tn , nn , dn
Outras lgebras de Lie Lineares e muitos utilizadas so as sub-lgebras de gln :

tn : a lgebra das matrizes n n triangulares superiores tn+ e inferiores tn ;
nn :a lgebra das matrizes n n triangulares superiores nn+ e inferiores nn com
diagonal nula;
dn : a lgebra das matrizes n n diagonales;
Algumas propriedades notaveis so:
tn + = nn + dn
nn+ = [tn+ , tn+ ]
tn = nn dn
nn = [tn , tn- ]
6.2.8
(6.2.13)
(6.2.14)
(6.2.15)
(6.2.16)
Classificao das lgebras de Lie de dimenso 1, 2 e 3
Em geral possvel classificar direitamente as lgebras de Lie de dimenso 1, 2 e 3

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

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

a lgebra do produto esterno R3 , [, ] onde
[ e1 , e2 ] = e3
[ e1 , e3 ] = e2
[ e2 , e3 ] = e1
[ei , ei ] = 0 i = 1, 2, 3
(6.2.17)
(6.2.18)
(6.2.19)
(6.2.20)
a lgebra de Heisenberg onde chamando e1 = p, e2 = q,e3 = h
[ p, q] = h
[h , p] = [h , q] = 0
(6.2.21)
(6.2.22)
Unimodular 3 Dimensional Lie lgebras
6.3
6.3.1
Representaes
Definies
Definio 117. ( REPRESENTAO ) Seja g uma lgebra de Lie sobre um campo k, V um

espao vetorial sobre o mesmo campo k ento um homorfismo entre lgebras de Lie
: g glk (V)
(6.3.1)
diz-se representao da lgebra de Lie. Se ker = {e} ento a representao diz-se

fel.
Exemplo 118. Seja a lgebra de Lie so (3, R) definida sobre a base X1, X2 , X3 ds seguintes constantes de estrutura:
[ X1 , X2 ] = X3
[ X1 , X3 ] = X2
[ X2 , X3 ] = X1
[ Xi , Xi ] = 0
(6.3.2)
(6.3.3)
(6.3.4)
(6.3.5)
Ento podemos definir duas representaes de so (3, R)

1 : so (3, R) gl3 (R)
(6.3.6)
a continuao linear definidas por
0 0 0
0 0 1
0 1 0
1 ( X1 ) = 0 0 1 , 1 ( X2 ) = 0 0 0 , 1 ( X3 ) = 1 0 0(6.3.7)
0 1 0
1 0 0
0 0 0

e
38
2 : so (3, R) gl3 (R)
(6.3.8)
a continuao linear definidas por

1
2 ( X1 ) =
2
0 i
i 0

, 2 ( X2 ) =
1
2
0 1
1 0
1
, 2 ( X3 ) =
2

i 0
(6.3.9)
0 i
Ambas as aplicaes so homomorfismos entre lgebras de Lie e portanto ambas

so representaes da mesma lgebra so (3, R). Ademais ambas as representaes so
representaes fiis sendo ker 1 = ker 2 = {e}.
Definio 119. ( CARCTER ) Um homomorfismo : g k entre lgebras de Lie
chama-se carcter .
Observao 120. Dado que k uma lgebra de Lie comutativa ento por cada a, b g
temos que
([ a, b]) = [ ( a) , (b)]0 = 0
(6.3.10)
e portanto
|[g,g] 0
onde [g, g] = { g g | g = [ a, b]
(6.3.11)
a, b g}
Exemplo 121. (LGEBRA DE H EISENBERG) Seja g a lgebra de Heisenberg onde chamando e1 = p, e2 = q,e3 = h
[ p, q] = h
[h , p] = [h , q] = 0
(6.3.12)
(6.3.13)
Seja V = k [ x ] o espao dos polinmios no campo k. Ento podemos definir uma

representa de g em V linearmente definida:
: g glK (V)
( p) = x
(q) = x
(h ) = 1
(6.3.14)
(6.3.15)
(6.3.16)
(6.3.17)
Esta uma representao da lgebra de Heisenberg sendo:
[ x , x ] ( p ( x )) = x ( xp ( x )) x x p ( x ) = p ( x )
[ x , 1] ( p ( x )) = [1, x ] ( p ( x )) = 0
6.3.2
(6.3.18)
(6.3.19)
A representao Adjunta
Seja (g, [, ]) uma lgebra de Lie. Em particular g um espao vetorial portanto a

aplicao
ad ( g) : g 3 h ad ( g) (h) = [ g, h] g
(6.3.20)
uma aplicao linear de g em g e portanto
ad ( g) () = [ g, ] gl (g)
(6.3.21)
Portanto qualquer que seja a lgebra de Lie (g, [, ]) resulta definida uma representao ad de g em gl (g) chamada de representao adjunta.
39
Proposio 122. Seja (g, [, ]) uma lgebra de Lie, ento

ad : g 3 g ad ( g) = [ g, ] gl (g)
(6.3.22)
uma representao e ker ( ad) = Z (g)

Demonstrao. preciso demonstrar que a representao adjunta preserva a estrutura
de lgebra de Lie, i.e.:
ad ([ g, h]) = [ ad ( g) , ad (h)]
(6.3.23)
Mas isso uma direito consequncia da Identidade de Jacobi dado que:

ad ([ g, h]) (k ) =
=
=
=
[[ g, h] , k] =
[[ g, k] , h] [[h, k] , g] =
( ad ( g) ad (h)) (k) ( ad (h) ad ( g)) (k) =
[ ad ( g) , ad (h)] (k)
(6.3.24)
(6.3.25)
(6.3.26)
(6.3.27)
Enfim claro que

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

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

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

ad (ei )kj = k ad (ei ) e j = k ei , e j =
(6.3.29)
!
= k
Cijl el
= Cijk
(6.3.30)
l =1
6.4
lgebras nilpotentes e lgebras Solveis
Proposio 124. Seja (g, [, ]) uma lgebra de Lie, ento
[g, g] = { g g | g = [ a, b] a, b g}
uma sub-lgebra de g.
(6.4.1)
40
Definio
125. Seja (g, [, ]) uma lgebra de Lie, chama-se de serie central descendente
i
g iN a serie:
(
g0 = g

(6.4.2)
gi+1 = g, gi
i N
n o
no enquanto chama-se de serie derivada g(i)
a serie
i N
g(0) = g h
i
g( i +1) = g( i ) , g( i )
i N
(6.4.3)
Observao 126. As series constituem constitum uma cadeia discendente

g = g0 g1 . . . g n . . .
(6.4.4)
g = g(0) g(1) . . . g( n ) . . .
(6.4.5)
onde
gn 1 gn
g( n 1) g( n )
gn g( n )
(6.4.6)
(6.4.7)
(6.4.8)
e onde todos gn , g(n) so ideais de g.

Definio 127. Seja (g, [, ]) uma lgebra de Lie, g diz-se:
nilpotente se um elemento da serie central descendente nulo i.e.:i N tal que
i
g = 0;
solvel se um elemento da serie derivada nulo i.e.:i N tal que g(i) = 0;
Observao 128. Se uma lgebra nilpotente ento solvel tambm sendo gn g(n) .
Em geral
sol uvel
! nil potente abelian
(6.4.9)
Exemplo 129. nn (i.e. a lgebra das matrizes n n triangulares superiores com diagonal nula) nilpotente, por enquantotn (i.e. a lgebra das matrizes n n triangulares
superiores) solvel mas no nilpotente.
Proposio 130. Seja g uma lgebra de Lie, ento se g nilpotente e no trivial:
(i) ento cada sub-lgebra nilpotente;
(ii) cada imagem de g atrves de um morfismo nilpotente;
(iii) o centro Z (g) 6= {e};
(iv) g
= g/Z (g) nilpotente
Observao 131. O converso do (iv) tambm veradeiro portanto g nilpotente
g
= g/Z (g) nilpotente
6.5
Grupos de Lie Classicos e lgebras associadas
Lista finale del WorkBook capitolo 7 su
Captulo 7
Classificao das lgebras de Lie
simples sobre C
Nesse captulo iremos apresentar um dos resultados mais interessantes da Teoria de
Lie. Precedentemente temos visto como por cada Grupo de Lie seja possvel associar
uma lgebra de Lie. Nesse captulo iremos ver que cada lgebra de Lie Real pode
ser extensa a uma lgebra de Lie Complexa com um procedimento chamado de complexificao. Sucessivamente possvel demonstrar que cada lgebra de Lie pode ser
escrita como suma semi-direita de lgebras de Lie Unidimensionais (e portanto abelianas) e lgebras de Lie Simples.

...
L 0 1 L 1 2 L 2 3 L 3 . . . n L n
(7.0.1)
Portanto no final o estudo das lgebras de Lie Simples sobre o campo dos numeros
Complexos e a classificao desses lgebras um dos assuntos mais importantes da
Teoria de Lie.
Grupos de Lie
lgebras de Lie
lgebras de Lie Complexas

'
lgebras de Lie Simples Complexas
J vimos nos captulos anteriores como cada lgebra de Lie simples tenha uma
representao fil (a representao adjunta) e portanto seja linear e possa ser considerada uma sub-algebra de gl (V ). gora iremos ver como cada lgebra smples possua
uma sub-lgebra de Cartan e as raizes dessa lgebras nos permitam uma classificao
completa das lgebras simples.
7.1
7.1.1
Sumas Direitas, Semi-Direitas e Complexificao de

lgebras de Lie
Sumas Direitas, Semi-Direitas
Sejam g e h duas lgebras de Lie e consideramos a + b g h onde a g e b h. A

suma direita como espao vetorial resulta facilmente definida com a esteno natural
41
CAPTULO 7. CLASSIFICAO DAS LGEBRAS DE LIE SIMPLES SOBRE C
42
da adio e da multiplicao por escalar. De facto por cada a, a0 g, b, b0 h e k

temos:
( a + b) + ( a0 + b0 ) = ( a + a0 ) + (b + b0 ) g h
( a + b) = a + b
gh
(7.1.1)
(7.1.2)
Todavia se quisermos preservar a estrutura de lgebra de Lie tambm preciso

requerir que pelo meno um dos sub-espaos seja um ideal sendo

(7.1.3)
( a + b) , a0 + b0 = a, a0 + b, a0 + a, b0 + b, b0
Se L for um ideal ento [ a, a0 ],[b, a0 ] , [ a, b0 ] g e [b, b0 ] M levando [( a + b) , ( a0 + b0 )]
g h. Podemos tambm notar que se considerarmos a representao adjunta

(7.1.4)
( a + b) , a0 + b0 = a, a0 + ad (b) a0 ad b0 ( a) + b, b0
Essas consideraes nos levam a definir a suma semidireita no jeito seguinte:
Definio 132. (!!!!!!!! CONTROLAR !!!!!!!!!) Sejam g e h duas lgebras de Lie sobre
o mesmo campo ke seja : h gl (g) uma representao, ento definimos a suma
semidireita g h como a suma direita dos espaos vetoriais e o produto [, ] assim
definido por cada a, a0 g, b, b0 h :

(7.1.5)
( a, b) , a0 , b0 = a, a0 + (b) a0 b0 a, b, b0
7.1.2
Complexificao de uma lgebra de Lie
Por cada lgebra de Lie g sobre R possvel definir uma lgebra complexa g sobre C
definida como g ig e chamada de complexificao de g.
Definio 133. Seja (g, +, , [, ]) uma lgebra de Lie sobre R ento diz-se complexificao de g lgebra de Lie g = (g ig, +, , [, ]) onde por cada g, g0 , h, h0 g e por
cada C temos

(7.1.6)
( g + ih) + g0 + ih0 = g + g0 + i h + h0
( g + ih) = g + ih
(7.1.7)

0
0
0
0
0
0
(7.1.8)
( g + ih) , g + ih = g, g + i h, g + i g, h h, h
Alguns resultados notveis so que se g semi-simples ento g semisimples e se g
for simples ento g ou simpls tambm ou isomorfa suma direita de dois lgebras
simpls.
7.2
Forma de Killing
Seja g uma lgebra de Lie e seja : g gl (V ) uma representao, ento chama-se

forma da Traa a forma bilinear:
( a, b) = Tr ( ( a) (b))
a, b g
No caso da representao adjunta a forma toma um nome espcifico:
(7.2.1)
43
Definio 134. Seja g uma lgebra de Lie e seja ad : g 3 a [ a, ] gl (g) uma

representao, ento chama-se forma de Killing a forma bilinear:
( a, b) = Tr ( ad ( a) ad (b))
a, b g
(7.2.2)

Observao 135. Se considerarmos uma base {ei }iI de g e definirmos i iI a base

cannica do dual de g onde i e j = ji , ento as componentes da representao adjunta so
ad (ei )kj = Cijk
(7.2.3)
e as componentes da Forma de Killing so

Kij = (ei , e j ) = Tr ad (ei ) ad e j
Ciq Cjp
a, b
(7.2.4)
p=1..3
q=1..3
Teorema 136. Seja g uma lgebra de Lie, ento g solvel (, ) no degenerada (i.e.
@h 6= 0 tal que (h, g) = 0 por cada g g.
7.3
7.3.1
Sub-lgebra de Cartan
Peso, Vector de Peso e Espao de Peso
Cada lgebra de Lie em particular um espao vetorial e cada lgebra g tem pelo
menos uma representao em gl (g) ou seja nos automorfismos de um espao vetorial.
portanto interessante analisar os vetores prprios dos elementos da lgebras de Lie.
Definio 137. Seja g uma lgebra de Lie e uma representao em V, i.e.: : g
gl (V ). Ento definimos um espao de peso V1 no respeito do peso g
V1 = {v V | ( a) v = ( a) v
a g}
(7.3.1)
Observao 138. Cada vetor v V1 , que se chama vetor de peso, um vetor proprio de
cada automorfismo imagem de elementos de g. Os conceitos de peso, vetor de peso, e
espao de peso so os equivalentes sobre uma inteira lgebra de endomorfismos do que
era o valor prprio, vetor prprio e o espao invariante no caso do singulo endomorfismo.
Definio 139. Seja g uma lgebra de Lie e uma representao em V, i.e.: : g
gl (V ). Ento definimos um espao de peso geralizado V no respeito do peso g
n
o
V = v V | k N : ( ( a) ( a) I )k v = v a h
(7.3.2)
Teorema 140. Seja g uma lgebra de Lie nilpotente e uma representao em V, i.e.: :
g gl (V ) ento
V = V1 V2 . . . Vk
(7.3.3)
onde V1 o espao de peso geralizado de .
7.3.2
44
Sub-lgebra de Cartan
Definio 141. Seja g uma lgebra de Lie e seja h uma sub-lgebra, ento Ng (h) =
{ a g | [ a, h] h} chama-se de normalizador de h em g .
Definio 142. Seja g uma lgebra de Lie e seja h uma sub-lgebra, ento h diz-se
sub-lgebra de Cartan se:
1. h nilpotente;
2. Ng (h) = h.
Observao 143. Dado que Ng (h) = h, cada h sub-lgebra di Cartan uma sub-lgebra
nilpotente maximal.
Teorema 144. Cada lgebra de Lie de dimenso finida possue uma sub-lgebra de Cartan h e
se g semi-simples ento h abeliana.
7.3.3
Raizes da lgebra de Cartan
Teorema 145. Seja h uma sub-algebra de Cartan e ad () a representao adjunta, i.e.: :

g gl (g) ento
g = g1 g2 . . . g k
(7.3.4)
onde gi so os espaos de peso geralizados no respeito da representao ad () i.e.
n
o
g i = v g | k N : ( ( a ) i ( a ) I ) k v = v a h
(7.3.5)
.
Os pesos i so chama-dos raizes da sub-lgebra de Cartan h os vetores de peso so
chamados vetores radicais e os g1 so chamados espaos radicais.
Definio 146. O conjunto = {i } g chamado conjunto das raizes.
Observao 147. Se i ento i tambm
7.4
7.4.1
Raizes Fundamentais e Grupo de Weyl

Raizes fundamentais
As raizes so funcionais lineares no dual da sub-lgebra de Cartan = {i } h

possvel escolher um subconjunto desses raizes chamado de sub-conjunto de raizes
fundamentais tal que todos os i sejam linearmente indipendentes e por
cada raiz i existe um e {+1, 1} e n1 , ..., nd N tal que
d
i = e
ni i
(7.4.1)
i =1
Esses raizes fundamentais possuem as informaes fundamentais da lgebra. Da

facto:
spanN () as combinaes lineares positivas ou negativas com coeficientes
nos numeros naturais das raizes fundamentais so origem de todas as raizes;
45
as combinaes lineares com coeficientes reais das raizes fun spanR () = hR

damentais produzem uma sub-lgebra da lgebra de Cartan onde iremos definir
um produto interno que permiter de classificar as lgebras;
spanC () = h as combinaes lineares com coeficientes complexas das raizes

fundamentais produzem a sub-lgebra de Cartan;
O espao gerado das combinaes a coeficientes reais das raizes fundamentais i.e.
um espao importante porque sobre esso possvel definir um
spanR () = hR
produto interno derivado da forma de Killing. De facto considerando
: h 3 h (h) = (h, ) h
(7.4.2)
Sendo a forma bilinear no degenere, podemos definir

1
1
(, ) : h h 3 (v, w) (v) , (w) C
(7.4.3)
essa
O aspeito mais importante dessa forma bilinear que restringida no espao hR
forma torna-se um produto interno.
h R um produto interno
Proposio 148. A forma bilinear (, ) : hR
R
Sendo (, ) um produto interno possvel definir

p
uma norma pela raiz i.e.kk = (, )
um angulo entre dois raizes ] () i.e. cos (] ()) =
(,)
kkk k
uma distncia entre raizes d(, ) = k k |

Com esses definies podemos definir as ferramentas necessarias para obter todas as
raizes da lgebra partendo das raizes fundamentais.
7.4.2
Transformada e Grupo de Weyl
Definio 149. Seja o conjunto das raizes de uma lgebra de Cartan, e seja (, )
a forma bilinear derivada d forma de killing da lgebra. Seja uma raiz, ento
3 s ( ) h tal que
chama-se de trasformao de Weyl a aplicao linear s : hR
R
s () := 2
(, )
(, )
(7.4.4)
O grupo formado de todas as transformaes W = {s | } com a operao de

composio chamado de Grupo de Weyl .
O Grupo de Weyl age como uma permutao do conjunto das raizes e permite de
reconstruir todas as raizes partendo dao subconjunto das raizes fundamentais. De
facto o teorema seguinte veradeiro:
Teorema 150. Seja o conjunto das raizes de uma lgebra de Cartan e W = {s | } o
Grupo de Weyl associado. Ento:
(i) o Grupo de Weyl gerado das transformaes associadas s raizes fundamentais i.e.:
w W, 1 , ..., n tal que w = s1 ... sn .
(ii) Cada raiz originada da uma transformao de Weyl de uma raiz fundamental, i.e.
, , w W tal que = w ( ).
(iii) Ademais o Grupo de Weyl permuta as raizes, i.e. w W, ento w ()
7.5
7.5.1
46
Matrizes de Cartan e Diagramas de Dynkin

As Matrizes de Cartan
Sendo pelo teorema a imagem de cada transformao de Weyl de uma raiz no conjunto
das raizes i.e. w () e dado que cada raiz pode ser decomposta numa forma
d
= e ni i ento podemos encontrar por cada w () um e {+1, 1} e

i =1
n1 , ..., nd N tal que

d
w () = e
ni i
(7.5.1)
i =1

Analizando essa decomposio no caso de w j = si j com i , j obtemos que

i , j
s i j = j 2

(7.5.2)
( i , i ) i
e portanto

i , j
N i , j
(7.5.3)
2
( i , i )
Definio 151. Chama-se Matriz de Cartan (C )ij a matriz obtida sobre as raizes fondamentais de uma lgebra de Cartan com coeficientes:

i , j
Cij := 2
( i , i )
(7.5.4)
A partir da Matriz de Cartan podemos tambm definir outros coeficientes chamados nmeros de ligao:

i , j j , i
= 4cos2 ] i j
(7.5.5)
nij := Cij Cji = 4
( i , i ) j , j
Enfim o numero de nij possvel muito limitado sendo
7.5.2
Cij
0
Cji
0
nij
0
1
2
2
1
1
3
3
1
Diagramas de Dynkin
No final podemos definir as seguintes regras:

um circulo para cada raiz fundamental
(7.5.6)
47
.
Figura 7.5.1: Diagrama de Dynkin
um numero de linhas entre circulos equivalntes ao numero de ligao entre raizes
se o numero 2 ou 3 preciso indicar com um sinho de minor ou maior a raiz
com coeficientes de Cartan maior.
Parte II
lgebra multilinear sobre uma
Variedade
48
Captulo 8
Preliminares de lgebra multilinear
8.1
Tensores
Definio 152. Seja V um espao vetorial sobre um campo K, ento um tensor A de

rango ( p, q) uma aplicao linear em cada varivel
A : V . . . V V . . . V K
|
{z
}
|
{z
}
p vezes
q vezes
(8.1.1)
O espao dos tensores de rango ( p, q) indica-se Tq (V ) e tambm um espao vetorial

Observao 153. O espao tensorial de rango (0, 1) o dual do espao vetorial mesmo
T10 (V )
= V , pelo contrario espao tensorial de rango (1, 0) o bidual do espao veto
rial mesmo T01 (V )
= (V ) e isomorfo ao prrpio espao s se o espao riflexivo o
que acontece sempre quando a dimenso de V finida i.e. dim (V ) < (cfr. Apndice
A).
Sendo cada tensor uma aplicao linear, para ser definida necesita simplesmente
dos valores sobre os elementos da base dos espao vetorial V e do dual V .

p
Definio 154. Seja T Tq (V ) um tensor de rango ( p, q) e sejam {ei }i I e ei i I uma

base rispetivamente do espao vetorial V e V tal que ei e j = ji por cada i, j I,
ento chamam-se componentes do tensor T os escalares

a ...a p
T 1 b ...bq := T e a1 , . . . , e a p , eb1 , . . . , ebq K
(8.1.2)
1
por cada a1 , . . . , a p , b1 , . . . , bq I.

Observao 155. Escolhendo {ei }i I e ei i I como bases rispetivamente do espao vea ...a p
torial V e do dual V e sendo T 1 b ...bq as suas componentes, um tensor de rango ( p, q)
1
T : V . . . V V . . . V K
{z
}
|
{z
}
|
p vezes
q vezes
(8.1.3)
usualmente escrito na forma

T=T
a1 ...a p
b1 ...bq e a1
. . . ea p eb1 . . . ebq
(8.1.4)
onde as seguintes sumas so sub-entendidas:

n
T=
a1 ...a p
b1 ...bq e a1
. . . ea p eb1 . . . ebq
a1 ,...,a p,
b1 ,...,bq=1
49
(8.1.5)
CAPTULO 8. PRELIMINARES DE LGEBRA MULTILINEAR
8.2
50
Operaoes sobre Tensores

p0
Definio 156. Seja T Tq (V ) um tensor de rango ( p, q) e S Tq0 (V ) um tensor de

rango ( p0 , q0 ) sobre o mesmo espao vetorial V. Definimos o produto tensorial T S um
tensor de rango ( p + p0 , q + q0 ) obtido dao produto dos dois tensores

c
(8.2.1)
T S := T a1 , . . . , a p , vb1 , . . . , vbq S c1 , . . . , p0 , vd1 , . . . , vdq0 K
onde a1 , . . . , a p , c1 , . . . ,
c p0
V e vb1 , . . . , vbq , vd1 , . . . , vdq0 V.
- Contrazione di Tensori
- Moltiplicazione interna
- simmetrizzazione e antisimmetrizzazione
T(i1 ..in ) = Si1 ..in =
T[i1 ..in ] = Ai1 ..in =
8.3
e i (1) . . . e i ( n )
e ( ) e i (1) . . . e i ( n )
Mudanas de coordenadas
Agora vamos supor de tiver escolhido uma base E = {ei }i=1..n pelo espao vetorial V
onde est definido um tensor T e vamos estudar o que acontece mudana da base E
por a base E = {ei }i=1..n .
Vamos supor que a matriz de pasagem entre as bases seja CE E = (cij ), i.e.:
ej =
cij ei
(8.3.1)
i =1..n
por enquanto a matriz inversa seja CEE1 = CE E = (dij ) i.e.

ej =
dij ei
(8.3.2)
i =1..n
Ento iremos ver que as p componentes vetoriais de um tensor de rango ( p, q) transformam segundo a matriz CE E = (cij ) por enquanto as componentes covetoriais do
tensor transformam segundo a matriz CEE1 = (dij ). Por isso as primeiras so chamadas
covariantes e as segundas so chamadas contravariantes.
Para semplificar a notao vamos ilustrar o procedimento sobre um tensor de ordem dois. Seja T T02 (V ) e vamos mudar a base E por a base E = {ei }i=1..n . Ento as
componentes mudam assim:
CAPTULO 8. PRELIMINARES DE LGEBRA MULTILINEAR
T =
T ij ei e j =
51
(8.3.3)
i,j=1
T ij
cik ek chj eh =
(8.3.4)
h=1..n
k =1..n
i,j=1
cik chj T ij ek eh
(8.3.5)
i,j=1
k,h=1

ei e j = ji
(8.3.6)

ei e j = ji
(8.3.7)
e i dij ei =
i =1..n
8.4
dij e i (ei ) = ji
(8.3.8)
i =1..n
Campos Tensoriais
Seja M uma variedade diferencivel ento ento podemos definir um fibrado vetorial
que o fibrado tangente TM e os campos vetoriais de M i.e. X X ( M ), como as
seces do fibrado tangente i.e. ( TM ). Similmente podemos definir o fibrado cotangente TM que o dual do fibrado tangente e as formas lineares de M, i.e. 1 ( M)
que so as seces do fibrado cotangente i.e. ( TM ).
Definio 157. Um (p,q)-campo tensorial ou campo tensorial de ordem ( p, q) uma aplicao diferencivel que associa por cada ponto de uma variedade um tensor de rango
( p, q) definido no espa tangente do ponto
p
T : M 3 x T ( x ) Tq ( Tx M)
(8.4.1)
Observao 158. Podemos pensar um campo tensorial como uma seco da potncia
tensorial de p fibrados tangentes e q fibrados cotangentes ( M, TM p TMq ). Podemos tambm pensar num campo tensorial de ordem ( p, q) como um elemento do
produto cartesiano
T X ( M ) . . . X ( M ) 1 ( M ) . . . 1 ( M )
|
|
{z
}
{z
}
pvezes
(8.4.2)
qvezes
Definio 159. Seja M uma variedade diferencivel, ento o espao dos campos tensoriais
p
de ordem ( p, q) sobre M indica-se Tq ( M)
O espao dos campos tensoriais de ordem (1, 0) sobre M isomorfo ao espao dos
campos vetoriais sobre M que em outra palavras o espao das secoes do fibrado
tangente i.e. T10 ( M)
= X ( M)
= ( TM). Similmente o espao dos campos tensoriais
de ordem (0, 1) sobre M isomorfo ao espao das 1-formas sobre M que em outra palavras o espao das secoes do fibrado cotangente i.e. T01 ( M )
= 1 ( M )
= ( TM ).
Captulo 9
Mtricas e Geodesicas
Nos captulos precedentes introduzimos as definies bsicas necessarias para extendir
a Geomtria Euclidiana nas variedades diferenciveis. Nesse captulo iremos introduzir os conceitos mais importantes para comear a fazer Geomtria: a Mtrica.
O nosso objectivo medir comprimentos, distncias e anglos. Para fazer isso precisariamos de um produto interno num jeito simile a o que acontece em Rn onde o
produto interno (, ) define
p
uma norma i.e.kvk = (v, v)
um angulo entre vetores] (vw) i.e. cos (] (vw)) =
(v,w)
kvkkwk
uma distncia entre raizes d(v, w) = kv wk

Isso obviamente no pode ser extendido sobre as variedades dado que as variedades
em geral no possuem a estrutura de espao vetorial. O que foi intuto pela primeira
vez da Gauss e depois desenvolvido da Riemann foi que embora um produto interno
no possa ser sempre definido sobre uma variedade, todavia possvel definir um
produto interno sobre os espaos tangentes de cada ponto da variedade. O trabalho
de Gauss era com as superficies imersas em R3 o primeiro resultado foi o de deduzir
tal produto interno dao espao hambiente onde a superficie era imersa ou seja sobre
a mtrica induzida. Pelo contrario o trabalho de Riemann focou-se sobre um produto
interno definido em cada ponto da variedade ou seja direitamente sobre a mtrica sem
supor nada no respeito do espao hambiente.
Na primeira seco portanto iremos definir as mtricas e as variedades Reimannianas, as isomtrias e as ferramentas bsicas para sucessivamente falar de geodsicas,
derivadas covariantes e conexes afins.
9.1
Mtricas Riemannianas e Pseudo-Riemannianas
Definio 160. Seja M uma variedade diferencivel e seja
h, i : M 3 p h, i p T20 ( M)
(9.1.1)
um campo tensorial sobre M tal que por cada ponto p M o tensor h, i p : Tp M

Tp M R bilinear, simtrico e definido positivo, ento ( M, h, i) chama-se de Variedade Riemanniana e h, i chama-se Mtrica Riemanniana.
Se por cada ponto p M o tensor h, i p : Tp M Tp M R no for definido
positivo, mas simplesmente no degenerado, ento ( M, h, i) chama-se de Variedade
Pseudo-Riemanniana e h, i chama-se Mtrica Pseudo-Riemanniana.
52
CAPTULO 9. MTRICAS E GEODESICAS
53
Observao 161. uma mtrica riemanniana um produto interno definido em cada

ponto da variedade e que vria em forma diferencivel
n o
Escolhendo uma base x i
pelo espao tangente Tp M podemos calcular por
i =1..n
cada ponto p M os coeficientes da forma bilinear h, i p i.e.:

,
xi x j
=: gij ( p)
(9.1.2)
Portanto por cada ponto p M os coeficientes gij ( p) definem uma forma bilinear
e simtrica definida positiva que pode ser representada da uma matriz de coeficientes
gij ( p). Obviamente os coeficientes podem tambm ser pensados como funes gij
C ( M). Isso quer dizer que efetivamente uma mtrica riemanniana pode ser pensada
como um produto interno definido sobre uma variedade M que vria numa forma
diferencivel.
Observao 162. A construo que desenvolvmos at agora no precisa de alguma propriedade especfica do fibrado tangente TM se no a propriedade de ser um fibrado
vetorial. Simplesmente com poucas variaes notacionais a construo pode ser extendida a todos os fibrados vetoriais.
9.1.1
Isomtrias e mtricas induzidas
Sendo a mtrica o elemento mais importante da estrutura de variedade riemanniana

natural pesquisar as aplicaes que alm de ser difeomorfismos entre variedades
preservam a mtrica tambm. Esses aplicaes so chamadas isomtrias.
Definio 163. Sejam ( M, h, i M ) e ( N, h, i N ) duas variedades riemannianas e seja
f : M N um difeomorfismo, ento f diz-se isomtria se por cada X, Y TM
h X, Y i M = h f X, f Y i N
(9.1.3)
Ademais as duas variedades dizem-se isomtricas.

Para extendir o trabalho de Gauss sobre as superficies imersas em R3 podemos
notar que a noo de pull-back nos permite de definir uma mtrica sobre qualquer
variedade M que tenha uma imerso numa variedade Riemanniana ( N, h, i N ).
Definio 164. Sejam M uma variedade diferencivel e ( N, h, i N ) duas variedades
Riemannianas e seja f : M N uma imerso, ento possvel definir uma mtrica
induzida sobre M i.e.
(9.1.4)
h, i M := f h, i N
Observao 165. Pela definio de pull-back por cada X, Y Tp M e por cada p M
h X, Y i M ( p) = ( f h, i N ) p ( X, Y ) = h f ( X ) , f (Y )i N ( p)
(9.1.5)
Exemplo 166. No caso de Rn possvel definir uma mtrica riemanniana h, i p a partir dao produto interno cannico (, )R de Rn como espao euclidiano. A razo dessa
possibilidade reside no facto que possvel por cada ponto de p Rn o espao tangente Tp (Rn )
= Rn . Se pensarmos os elementos de Tp (Rn ) como os vetores tangentes
curva (t) = p + vt, no ponto p Rn ento por cada vetores do espao tangente
X1 , X2 Tp (Rn ) podemos encontrar duas curvas 1 (t) , 2 (t) C (R, Rn ) tal que
54
1 (t) = p + vt e 2 (t) = p + wt que sejam na classe de X1 , X2 e podemos portanto

definir:

(9.1.6)
h X1 , X2 i p = 10 (0) , 20 (0) p := (v, w)R
fcil ver que o campo tensorial assim definido uma Mtrica Riemanniana que
adiante iremos indicar como h, iR .
Exemplo 167. Sobre Rn temos definida uma mtrica riemanniana cannica, portanto
cada subvariedade S de Rn tem definida uma mtrica induzida utilizando o pull-back
da mtrica cannica atrves da incluso i.e.
h, i p := (h, iR )
(9.1.7)
Exemplo 168. Seja G um grupo de Lie e seja g = ( Te G, [, ]) a lgebra de Lie associada

ao grupo G. Em particular o g um espao vetorial e portanto possvel definir um
produto interno h, ig . Agora por cada ponto g G temos a aco esquerda L g1 que
um difeomorfismo L g1 : G 3 h g1 h G tal que L g1 ( g) = e. Temos portanto
definida por cada ponto g G uma aplicao entre os espaos tangentes
L g1 : Tg G Te G
(9.1.8)
que nos permite de definir um produto interno por cada ponto do por cada ponto
g G. De facto dados v, w Tg G ento
D
E
(9.1.9)
hv, wi g = L g1 (v) , L g1 (w)
g
fcil ver que esse produto interno varia diferenciavelmente no respeito de g e

portanto define efetivmente um campo tensorial que constitue uma mtrica
sobre G.

Ademais a mtrica assim definida invariante a esquerda, ou seja hv, wi = L g (v) , L g (v)
.
9.1.2
Bases ortonormal e elemento de Volume
(***********da ricontrolar**************)
Uma mtrica pode ser pensada como uma forma bilinear simtrica dependente em
forma diferencivel da um ponto. No especfico isso quer dizer que por cada ponto
p M temos definida uma forma bilinear simtrica. Um teorema crucial de lgebra
linear diz que por cada forma bilinear simtrica pode ser encontrada uma base ortonormal e que portanto torna a matriz associada forma bilinear uma matriz diagonal.
O processo para encontrar essa base chamado o processo de ortogonalizao de GramSchmidt.
O que particolarmente notavel que esse processo diferencivel. De facto seja
{i }i=1..n uma base sobre Tp M, ento vamos definir uma nova base {ei }i=1..n com o pro-
55
cedimento seguinte:
1
k 1 k
e2 h e2 , 1 i p

e2 =

e2 h e2 , 1 i p
e1 =
(9.1.10)
(9.1.11)
e3 h e3 , 2 i p h e3 , 1 i p

e3 =

e3 h e3 , 2 i p h e3 , 1 i p
(9.1.12)
..
.
(9.1.13)
Ao variar de p M os {ei }i=1..n definem uma base ortonormal de campos vetoriais.

Vamos agora supor que seja uma n-forma orientada positivamente sobre um
aberto U M onde M uma variedade n dimensional. Ento
(e1 , ..., en ) = f C (U )
(9.1.14)
Portanto posso definir por cada variedade Riemanniana um Elemento de Volume

(e1 ,...,en )
0 =
.
f

Sendo C = cij as mudanas de coordenadas no espao tangente i.e.
n
j = cij ei
(9.1.15)
i =1
e sendo
ento

,
xi x j
= gij = CC T

det gij = det (C )2
(9.1.16)
(9.1.17)
e portanto
dVol (1 , .., n ) =
9.1.3

det gij dx1 ... dxn
(9.1.18)
Distncia sobre uma variedade Riemanniana
Um dos aspeitos mais importantes de tiver uma mtrica riemanniana numa variedade
a possibilidade de medir comprimentos. Portanto agora iremos definir uma distncia
entre pontos que torner-se muito importante.
Em primeiro lugar precisamos definir o comprimento de uma curva.
Definio 169. Seja ( M, h, i) uma variedade Riemanniana e seja kk a norma de Tp M
induzida em cada ponto p da h, i. Ento seja C ([0, 1] , M) uma curva na variedade diferencivel M definimos comprimentos l () da curva o valor
1
l () :=
(9.1.19)
k (t)k dt
0
Portanto cada Variedade Riemanniana tem uma ferramenta para medir as curvas,
mas a partir dessa podemos definir uma distncia entre pontos:
d ( p, q) =inf { C ([0, 1] , M ) | (0) = p, (1) = q}
(9.1.20)
Proposio 170. A aplicao d (, ) : M M 3 ( p, q) d ( p, q) R uma distncia
9.2
56
Derivada covariante e Conexes afin
A definio de Derivada covariante surge d exigncia de derivar campos vetoriais

sobre uma variedade.
9.2.1
Derivada Covariante X Y
Definio 171. ( DERIVADA COVARIANTE ) Seja ( M, h, i) variedade Riemanniana, dizse derivada covariante ou conexo afin sobre M uma aplicao que por cada X, Y X ( M)
campos vetoriais sobre M tal que
: X ( M) X ( M) 3 ( X, Y ) X Y X ( M)
(9.2.1)
1. Seja R-linear em cada varivel i.e.
X Y = X Y
(9.2.2)
2. Seja C ( M)-linear na primeira varivel i.e.
f X Y = f X Y
f C ( M)
(9.2.3)
3. Seja uma Derivao na segunda varivel i.e.
X f Y = X ( f ) Y + f X Y
f C ( M)
(9.2.4)
Observao 172. Na definio da Derivada Covariante podemos observar que embora

seja importante que a primeira varivel X em X Y seja um campo para que o termo
X ( f ) Y em X f Y = X ( f ) Y + f X Y se tornar um campo, a segunda varivel Y
no utiliza o facto de ser um campo. Isso que dizer que a mesma definio pode ser
extendida sobre fibrados vetoriais gerais i.e. = ( E, , M) cuja fibra F = 1 ({ p})
=
Rn . Sobre esse fibrado podemos definir uma conexo o derivada covariante no mesmo
jeito como uma aplicao
: X ( M) ( E) 3 ( X, Y ) X Y ( E)
(9.2.5)
com as mesma propriedades formais da definico precedente.
9.2.2
Smbolos de Christoffel ijk
Escolhendo uma base {i }i=1..n no espao tangente de um ponto de M podemos calcular os valores que o operador assumir sobre os elementos da base i.e.
n
i j = ijk k
ijk R
(9.2.6)
k =1
Esses coeficientes chamam-se smbolos de Christoffel e determinam completamente

uma a conexo afin sobre a base {i }i=1..n . De facto vamos supor que X, Y X ( M)
57
i =1
j =1
sejam campos genericos e X = xi i e Y = y j j com xi , yi C ( M) e calculamos

n
i,j=1
i,j=1
X Y = x i i y j j = x i i y j j
(9.2.7)

n
= x i i y j j + y j i j =
(9.2.8)
i,j=1
n

i y j j + y j
= xi
n

i y k +
xi
k =1
ijk k
(9.2.9)
k =1
i,j=1
n
i =1
y j ijk
!!
k =
(9.2.10)
j =1
Observao 173. Considerando X = 1 podemos informalmente pensar nos smbolos

de Christoffel como em correes d derivada covariante no respeito das derivadas
parciais dado que por cada componente k temos
1 Y
k

= i y k +
ijk y j
(9.2.11)
j =1
9.2.3
Conexo ao longo de uma aplicao
Dado um fibrado tangente sobre a variedade N podemos definir um fibrado, chamado

de fibrado de pull-back sobre M.
g
f ( TN
) TN
y
y
f
M
Onde
(9.2.12)
f ( TN ) := {( p, v) M TN | f ( p) = (v)}
(9.2.13)
E onde o diagrama comuta

g = f
(9.2.14)
As seces desse fibrado ( f ( TN )) so chamadas campos vetoriais ao longo de f e

indicados com X f ( M )
X f ( f ( TN )) { X : M TN | X = f }
(9.2.15)
Ademais se ( M, h, i) uma Variedade Riemanniana onde est definida uma conexo e f : M N for uma aplicao diferencivel ento podemos definir uma
conexo inducida sobre M
TN
y
f
M ( N, )
(9.2.16)
58
De facto existe uma nica conexo sobre M tal que por cada Y X ( N ) e cada
X Xf
X (Y f ) = f X Y
(9.2.17)
9.3
Transporte Parallelo ao longo de uma Curva
As definies precedentes nos servem para definir a derivada de um campo vetorial ao

longo de uma curva e sucessivamente o transporte parallelo ao longo de uma curva.
Definio 174. Seja ( M, h, i) uma Variedade Riemanniana com uma conexo e
seja uma curva : I R M
TM
(9.3.1)
I R ( M, )
Ento existe uma nica derivada covariante ao longo da curva tal que por cada V X
V 0 := d V = d (Y ) = ( d ) Y
dt
dt
dt
(9.3.2)
Onde (Y ) = (t)
Observao 175. A derivada covariante ao longo de uma curva indica a variao de
um campo em M longo uma curva
Agora vamos escolher uma base uma carta ( , U ) da Variedade M e portanto uma
base {i }i=1..n do espao tangente numa vizinhana do ponto entre a mesma carta e
n
dada uma curva : I R M e um campo V ao longo de i.e. V = vi ( x ) i

i =1
calculamos nas coordenadas
V0 = d V = 0
(9.3.3)
dt
vi ( x ) i
dV = d
dt
dt
(9.3.4)
i =1
= v i i + vi d i =
dt
i =1
!
n
v +
k =1
(9.3.5)
vi j ijk
(9.3.6)
i,j=1
O que leva condio que

i
v +
vi j ijk ( (t)) = 0
(9.3.7)
i,j=1
Onde os ijk ( (t)) R so os smbolos de Christoffel no ponto (t).

Que um sistema de equaes diferenciais no primeiro ordem nos vi e portanto
existe uma nica soluo. Isso quer dizer que por cada curva tal que (0) = p sobre
M e por cada vetor v Tp M existe um campo ao longo de i.e. Vv X tal que Vv0 = 0
e Vv (0) = v. Esse campo chamado campo parallelo ao longo da curva .
9.4
59
Conexo de Levi-Civita
Entre todas as conexes que possvel definir sobre uma variedade Riemanniana h
uma conexo que mais importante de todas as outras sendo uma conexo que naturalmente surge d mtrica. Essa conexo a conexo de Levi-Civita.
9.4.1
Toro e Conexes simtricas
Dada uma conexo podemos definir uma 2-forma chamada toro

T ( X, Y ) = X Y Y X [ X, Y ]
(9.4.1)
Definio 176. Uma conexo sobre uma Variedade Riemanniana M onde o Tensor
de Toro identicamente nulo i.e.
X Y Y X = [ X, Y ]
(9.4.2)
chamada uma conexo smetrica.

Observao 177. Escolhendo uma carta e indicando nessa carta uma base {i }i=1..n e
n
exprimendo no modo usuale i j = ijk k . Nessa base temos que

k =1

i , j ( f ) = i j f j i f = 0
x x
x x
Portanto obtemos que as componentes da toro so exprimidas na forma
T i , j
k
= ijk jik
Portanto temos que se a conexo smetrica e portanto T i , j

smbolos de Christoffel so smetricos
ijk = jik
9.4.2
(9.4.3)
(9.4.4)
k
0 ento os
(9.4.5)
Conexes compatveis
Uma outra caraterstica importante que podemos requerir numa conexo a capacidade
X (hY, Z i) = h X Y, Z i + hY, X Z i
9.4.3
(9.4.6)
Conexo de Levi Civita
Definio 178. Uma conexo sobre uma Variedade Riemanniana M diz-se conexo
riemanniana se smetrica e compatvel com a mtrica i.e.
X Y Y X = [ X, Y ]
(9.4.7)
X (hY, Z i) = h X Y, Z i + hY, X Z i
(9.4.8)
Teorema 179. (T EOREMA FONDAMENTAL DA G EOMTRIA R IEMANNIANA ) Seja ( M, h, i)

variedade Riemanniana ento existe uma nica conexo riemanniana i.e. smetrica e compatvel
com a mtrica.
60
Uma vez escolhida uma base e definendo por cada i, j, k = 1, ..., n

gij := i , j
ijk := i j
k
(9.4.9)
(9.4.10)
Obtemos a frmula que relciona os smbolos de Christoffel com os coeficientes da

mtrica

g jh gih gij
1 n
k
+
ij =
h gkh
(9.4.11)
i
j
2 h=1 x
x
x
9.4.4
Formula de Koszul
Uma forma direita pela prova do teorema fondamental da Geometria Riemanniana a

formula de Koszul.
2 h X Y, Z i = X (hY, Z i) + Y (h X, Z i) Z (h X, Y i) h X, [Y, Z ]i hY, [ X, Z ]i + h Z, [ X, Y ]i
(9.4.12)
9.5
Geodsicas
exemplos B oneill semi Riemannian Geometry
Captulo 10
Formas Diferenciais
10.1
lgebra de Grassmann
10.2
Derivada externa
nota su forme differenziali esatte e forme differenziali chiuse

nota sulla cohomologia di de Rahm
61
Parte III
Conexes sobre Variedades
62
Captulo 11
Conexes sobre fibrados vetoriais
11.1
Aes de Grupos de Lie sobre Variedades
Uma aplicao muito util dos Grupos de Lie o utilizo desses grupos como fibras
de fibrados principais onde sobre o fibrado definida uma ao do grupo. Isso nos
permiter de definir um fibrado que localmente possa ser pensado como o produto
de uma variedade de base e de uma fibra rpresentada pelo Grupo de Lie G. Nessa
seco iremos apresentar as difinies minimas necessarias pela definio dos fibrados
principais e associados.
Definio 180. (G - AO ESQUERDA) Seja M uma variedade C -diferencivel e seja
( G, ) um Grupo de Lie, uma aplicao
. : G M 3 ( g, p) g . p M
(11.1.1)
diz-se uma G-ao esquerda sobre a variedade M se

e.p = p M
g2 . g1 . p = ( g2 g1 ) . p M
(11.1.2)
(11.1.3)
Similmente temos a seguinte definio

Definio 181. (G - AO DIREITA) Seja M uma variedade C -diferencivel e seja ( G, )
um Grupo de Lie, uma aplicao
/ : G M 3 ( g, p) p / g M
(11.1.4)
diz-se uma G-ao direita sobre a variedade M se

p/e = p M
p / g1 / g2 = p / ( g1 g2 ) M
(11.1.5)
(11.1.6)
Observao 182. Seja . : G M 3 ( g, p) g . p M uma G-ao esquerda sobre a

variedade M , ento podemos definir a sequinte ao direita
/ : G M 3 ( g, p) p / g = g1 . p M
(11.1.7)
Definio 183. (APLICAO EQUIVARIANTE) Sejam ( G, ) e ( H, ) dois Grupos de Lie

e seja : G H um homomorfismo entre grupos de Lie e F uma aplicao suave
entre as variedades suaves M e N. Ento a aplicao diz-se equivariante se
F ( g .G p) = ( g) . H F ( p)
63
(11.1.8)
CAPTULO 11. CONEXES SOBRE FIBRADOS VETORIAIS
64
o em outras palavras se o diagrama seguinte comutativo

F
GM
H
N
.H
.G
y
y
F
(11.1.9)
A ideia atrs a definio de uma aplicao equivariante a possibilidade de uma

aplicao que permite de preservar a ao do grupo sobre uma variedade suave.
Definio 184. Seja . : G M 3 ( g, p) g . p M uma G-ao esquerda sobre a
variedade M ento resultam definidos as seguintes congiuntos de G:
(O RBITA DO PONTO P) O p = {q M | q = g . p, g G } M (11.1.10)
(ESTABILIZADOR P)
S p = { g G | p = g . p} G
(11.1.11)
Observao 185. O estabilizador de um ponto p um sub-grupo de G, i.e.: S p < G.
Definio 186. (AO LIVRE) Seja . : G M 3 ( g, p) g . p M uma G-ao
esquerda sobre a variedade M, se S p = {e} p M ento a ao diz-se livre.
Observao 187. Se analisarmos as orbitas dos pontos p, q M podemos notar que a
relao de pertencer as orbitas de um ponto :
(REFLEXIVA)
p = e.p
(11.1.12)
(SIMETRICA) q = g . p = p = g1 . q
(TRANSITIVA) q = g1 . p , r = g2 . q = r = ( g2 g1 ) . p
(11.1.13)
(11.1.14)
Portanto uma relao de equivalncia.

Definio 188. (ESPAO DAS ORBITAS) Seja . : G M 3 ( g, p) g . p M uma
G-ao esquerda sobre a variedade M, e seja a relao de equivalncia sobre M onde
p q q O p . Ento M chama-se o Espao das Orbitas de M.
Observao 189. Se a ao de G sobre a variedade M e livre ento O p
= G.
11.2
Fibrado principal e fibrados associados
No final ns iremos requerir que as fibras dos nossos fibrados sejam isomorfas a um
Grupo de Lie G.
Para fazer isso lembramos que se M uma variedade C -diferencivel e ( G, ) um
Grupo de Lie, uma G-ao direita e livre sobre a variedade M uma aplicao
/ : G M 3 ( g, p) p / g M
(11.2.1)
tal que
(
(G - AO DIREITA)
(LIVRE)
p/e = p M
p / g1 / g2 = p / ( g1 g2 ) M
p P
Ento vamos definir um fibrado principal.
p / g = p = g = e
(11.2.2)
(11.2.3)
(11.2.4)
CAPTULO 11. CONEXES SOBRE FIBRADOS VETORIAIS
65
Definio 190. Um G-fibrado principal um terno = ( P, , M)

/G
P P
y
M
(11.2.5)
com um Grupo de Lie G e uma ao dereita e livre / sobre P tal que existe um isomorfismo entre fibrados
P
P

= f ibr.
(11.2.6)
y
y
M
P G
claro que se termos dois G-fibrados principais = ( P, , M) e 0 = ( P0 , 0 , M0 )
com um isomorfismo entre os fibrados (u, f ) e quisermos preservar a estrutura de fibrado principal no isomorfismo, precisamos acrescentar algumas condies s condies de um isomorfismo entre fibrados.
Definio 191. Sejam = ( P, , M) e 0 = ( P0 , 0 , M0 ) dois G-fibrados principais com
ao / e /0 rispeitivamente ento um isomorfismo (u, f )
u
P P
0
/
/
y
y
u
P P0
y
y
f
(11.2.7)
diz-se um isomorfismo entre G-fibrados principais se:

f = 0 u
u ( p / g) = u ( p) /0 g
(11.2.8)
(11.2.9)
Observao 192. Se tivermos um G-fibrado principal e um G 0 -fibrado principal com um

omomorfismo : G G 0 ento podemos definir um morfismo entre os dois fibrados
principais assim modificando a ultima condio em
u ( p / g) = u ( p) /0 ( g)
Variet riemanniane, variet psudoriemanniane e affini
Connessioni ordinarie
Connessioni con 1-forme
(11.2.10)
Apndice A
lgebra Linear e Multilinear
Nessa apndice iremos apresentar as definies bsicas da lgebra linear e Multilinear
que foram utilizadas nas notas. Para no gravar demasiadamente o texto achmos melhor por essas definies na apndice. Na primeira seco apresentmos os espaos
vetoriais e os mdulos num jeito til para comprender o fundamental problema com a
definio dos campos vetoriais sobre variedades. Na segunda seco apresentamos todos aquele resultados de lgebra multilinear que so essenciais pelo desenvolvimento
do discurso no captulo 4 e seguintes.
A.1
Espaos Vetoriais e Modulos
De especial importncia na Geometria Diferencial a diferncia entre um Mdulo e

um Espao Vetorial em dimenso finida. Os espaos vetoriais sempre possuem uma
base e isso implica que espaos vetoriais da mesma dimenso sempre so isomorfos.
No caso dos mdulos pelo contrario a base no existe necessariamente e se no existir
no claro como comparar mdulos diferentes. Esse problema resulta da mxima
importncia dado que o espao de todos os campos vetoriais sobre uma variedade no
um espao vetorial, mas um mdulo sobre o campo escalar das funoes reais C ( M)
e portanto no possue necessariamente uma base che possa ser definida sobre toda a
variedade M para escrever o campo vetorial em coordenadas que sejam vlidas em
toda a variedade.
Como iremos ver na apndice a propriedade crucial que distingue os mdulos da
os espaos vetoriais a difrencia de definio do campo escalar que no primeiro caso
no efectivamente um campo mas simplesmente um Anel enquanto no segundo o
campo escalar efectivamente um Campo. A primaria diferncia entre os dois a falta
da condio de no tiver divisor do zero que implica a impossibilidade de escrever a
relao de depenncia linear num jeito til para a formao de uma base.
Portanto essa apndice apresenter poucos e essenciaias teoremas e definioes fundamentais finalizadas simplesmente pela comprenso do texto.
A.1.1
Aneis e Campos
Definio 193. Um anel (A, +, ) o dado de um conjunto com pelo menos dois elementos distintos e duas operaes binarias assim definidas:
A A 3 ( a, b) a + b A
( adi c a o )
A A 3 ( a, b) a b A (multiplicac a o )
66
APNDICE A. LGEBRA LINEAR E MULTILINEAR
67
Tal que (A, +) um grupo abeliano ou em outras palavras no respeito de adio

temos as seguintes propriedades:
0+a =
a+0
( a + b) + c = a + (b + c)
a + ( a) = a + a = 0
a+b =
b+a
a A
(0 elemento neutro)
a, b, c A
(associativitade)
a A
(existncia do inverso)
a, b A
(comutatividade)
ADIO
(A.1.1)
Tal que (A, ) seja associativa
( a b) c = a (b c) a, b, c A
(A.1.2)
e a operao de adio e multiplicao sejam distributivas

a (b + c) = a b + a c a, b, c A
(b + c) a = b a + c a a, b, c A
(A.1.3)
(A.1.4)
Alm dessas definies se existe um elemento 1 A tal que

1a = a1
a A
(A.1.5)
O anel diz-se com unitade e se por cada elemento existe um inverso multiplicativo
a a 1 = a 1 a = 1
a A
(A.1.6)
e portanto (A, ) tambm um grupo, ento o anel diz-se Anel de Diviso ou Corpo.
Se o anel (A, +, ) um corpo comutativo ento diz-se Campo.
A.1.2
Espao Vetorial
Definio 194. (MDULO) Seja A um anel, chamamos de mdulo sobre A um conjunto

V com duas operaes:
V V 3 (v, w) v + w V (adio de vetores)
A V 3 (, v)
v
V (produto por escalar)
Tal que V um grupo abeliano pela adio ou seja:
u, v, w V
0+v = v+0 = v
(0 elemento neutro da adio)
u + (v + w) = (u + v) + w
(propriedade associativa)
v V, existe unico (v) V : (existncia do inverso)
v + (v) = 0
v+w = w+v
(commutatividade da adio)
Tal que o produto por escalar tenha as seguintes proprietades:
v, w V
, A
(v + w) = v + w
( + )v = v + v
(v) = ()v
1v = v
0v = 0
(A.1.7)
(A.1.8)
68
Definio 195. (ESPAO VETORIAL) Seja K um campo, chamamos de espao vetorial um

mdulo sobre K.
Seja V um espao vetorial sobre K, chamamos um elemento K de escalar e um
elemento v V de vetor.
A.1.3
Dependncia linear
Definio 196. (DEPENDNCIA E INDEPENDNCIA LINEAR) Dados v1 , .., vn V dizemos que a n-upla de vetores linearmente dipendente se o 0 uma combinao linear
no trivial dos vetores, ou seja se h 1 , .., n K no todos nullos tal que
1 v1 + .. + n vn = 0
(A.1.9)
Se a nica combinao linear que produz o vetor nulo aquila com 1 = .. = n = 0

ento dizemos que os vetores v1 , .., vn V so linearmente indipendentes.
O numero de vetores linearmente independentes permite nos definir a dimenso
do espao vetorial:
Definio 197. (DIMENSO) Seja n o nmero mximo de vetores linearmente indipendentes em V espao vetorial sobre um campo K, chamamos ento n a dimenso de
V sobre K e indicamos com dimK (V) ou dim(V) quando no houver ambiguidade no
campo escalar.
Observao 198. At novas especificaes iremos supor che a dimenso n do espao V
seja sempre finita, ou seja iremos considerar os V tais que dimK (V) = n < . Nos
capitulos finais iremos especificar as correoes necessarias por os espaos vetoriais de
dimenso infinita.
A.1.4
Bases de um espao vetorial
Definio 199. (BASE DE UM ESPAO) Seja V espao vetorial e n = dim(V), dizemos

que E = {ei }1in uma base de V se e1 , .., en so vetores linearmente indipendentes.
Dado un vetor v V e uma base E = {ei }1in possvel escrever v como combinao linear da base dado que per hiptese no possvel encontrar mais do que
n vetores linearmente independentes em V, isto quer dizer que h uma combinao
linear 0 , .., n K com 0 6= 0 em que:
0 v + 1 e1 + .. + n en = 0
Ou seja chamando i =
i
0
= 0
1
(A.1.10)
i podemos escrever o vetor v como
v = 1 e1 + .. + n en
(A.1.11)
Definio 200. (COORDENADAS) Seja v V e E = {ei }1in uma base de V, chamamos de coordenadas de v no respeito da base E os escalares i K tais que
v=
i ei ,
i =1..n
(A.1.12)
69
Observao 201. muito importante sublinear que para que pudessemos escrever o ve 1
tor na forma de suma de vetores da base foi necessario encontrar o elemento 0
K ou seja foi crucial requirir que o anel de definio do espao vetorial fosse um anel
de diviso. Se V for um mdulo e no um espao vetorial isso no sempre seria possvel. Portanto uma observao crucial pelo desenvolvimento do nosso discurso que
no caso de um mdulo no sempre possvel encontrar uma base e escrever as coordenadas
dos vetores no respeito da base do modulo.
Definio 202. Seja v V e sejam E = {ei }1in e F = {fi }1in duas bases no
espao vetorial V. Nesse caso indicamos [v]E a rapresentao em coordenadas do vetor v
respeito base E e indicamos com [v]F a rapresentao em coordenadas do vetor v respeito
base F .
v=
i fi [v]F
= ( 1 , .., n )
(A.1.13)
i ei [v]E
= ( 1 , .., n )
(A.1.14)
i =1..n
v=
i =1..n
cij K a matrix com as coordenadas dos vetores da

Seja a matrix CE F = (cij ),
base E no respeito da base F ou seja:
ej =
cij fi
(A.1.15)
i =1..n
Ento a mudana na base implica uma mudana nas coordinadas do veitores segundo a seguinte formula:
v=
i ei = i ci f j = j f j
(A.1.16)
i ci
(A.1.17)
i =1..n
Portanto
i =1..n
j=1..n
j =
j=1..n
i =1..n
A.1.5
Subespaos, Formula di Grassmann, Soma direta
Definio 203. (SUBESPAO) Seja V espao vetorial sobre K e seja W V tambm

espao vetorial sobre K, ento o espao W chama-se de subespao vetorial de V.
Vamos enunciar sem dimostrao a seguinte formula de interseco de Grassmann:
Teorema 204. (F ORMULA DE INTERSECO DE G RASSMANN ) Sejam W1 , W2 subespaos
vetoriais de V, ento verdadeira a seguinte formula:
dim(W1 ) + dim(W2 ) = dim(W1 W2 ) + dim(W1 W2 )
(A.1.18)
Definio 205. (SOMA DIRETA) Sejam W1 , W2 subespaos vetoriais de V. Se W1 W2 =

0 chamamos de soma direta W1 W2 o espao vetorial formado por w = w1 + w2 com
w1 W1 , w2 W2 .
Se um espao vetorial soma direta de subespaos, ou seja V =
L
i =1..m
Wi , dizemos
que V decomponvel e que est decomposto em suma direita de subespaos. Se um

espao V no decomponvel chamamos de indecomponvel.
Definio 206. Sejam v1 , .., vk vectores de V, definimos H = span(v1 , .., vk ) V ou
subespao gerado de v1 , .., vk , o subespao gerado da todas as combinaes lineares dos
vetores v1 , .., vk con coeficientes em K.
A.2
Transformaes Lineares
A.2.1
Definies
70
Definio 207. (TRANSFORMAO LINEAR) Sejam V e W dois espaos vetoriais sobre

K, chamamos de aplicao linear ou transformao linear uma aplicao A : V W
que preserva a estrutura linear de V ou seja tal que:
A(v + w) = A(v) + A(v)
(A.2.1)
As transformaes lineares A : V W formam um espao vetorial sobre o campo

K, indicamos esse espao vetorial como Hom(V, W).
Teorema 208. Seja A Hom(V, W) temos as seguintes resultados:
(i) ker ( A) = {v V | A(v) = 0} um subespao vetorial de V e dim(ker ( A)) nul ( A)
(ii) A(V) = {w W | w = A(v)} um subespao vetorial de W e dim( A(W)) rank( A)
(iii) ( RANK - NULLITY THEOREM ) dim(V) = rank( A) + nul ( A)
A.2.2
Isomorfismos entre espaos vetoriais
Definio 209. (ISOMORFISMO) Uma transformao linear que seja bijectiva denominase isomorfismo.
Teorema 210. Sejam V e W dois espaos vetoriais de dimenso finita sobre o mesmo campo
K,V e W so isomorfos dim(V) = dim(W) .
Dim. SeV e W so isomorfos ento h uma A : V W com A(V) W porque
A sobrejectiva ento rank( A) = dim(W) e dado que A injectiva temos nul ( A) = 0.
Portanto pelo teorema precedente temos:
dim(V) = rank( A) + nul ( A) = dim(W)
(A.2.2)
Se dim(V) = dim(W) < podemos encontrar uma base E = {ei }1in de V e

uma base F = {fi }1in de W. Definimos ento a trasformao linear onde A(ei ) = fi
e A : V W
v=
i ei A(v) = i fi
i =1..n
(A.2.3)
i =1..n
A transformao linear A sobrejectiva e tambm injectiva e portanto um isomorfismo entre V e W.

Observao 211. Aqui fizemos utilizo do facto que a dimenso dos espaos vetoriais no
seja infinita. No caso que a dimenso seja infinita o teorema no valido. Na verdade
isso torner-se importante nos ltimos captulos sobre as Algebras de Banach.
A.3
Dualidade
A.3.1
Espao Dual
Definio 212. Seja V um espao vetorial sobre um campo K. Chamamos de espao dual
V o espao Hom(V, K) ou seja o espao das aplicaes lineares da o espao vetorial
V e o campo escalar K.
71
f : V K
(A.3.1)
Tais aplicaes lineares com valores no campo escalar so tambm chamadas de

formas lineares como de funcionais lineares ou covetores.
Como direita consequncia da linearidade das formas lineares temos que
(
f , g V
= f + g V
, K
(A.3.2)
Portanto muito fcil verificar o teorema seguinte:

Teorema 213. O Espao Dual V um espao vetorial sobre o campo K.
A.3.2
A Base Dual Cannica
Teorema 214. Dado um espao vetorial V sobre um campo K, caso em que n = dim(V) <
e com uma base E = {ei }1in podemos definir uma base no espao dual V0 de funcionais

lineares E 0 = ei 1in tais que:
ei (e j ) = ji
(A.3.3)
Dim. Dada a base E = {ei }1in do espao vetorial V, para definir uma forma linear s preciso especificar os valores que ela assume sobre a base. Portanto definimos
ei as formas lineares que assumem os valores:
(
1 se i = j
ei : V K
e
ei ( e j ) =
(A.3.4)
0 se i 6= j
K:
Agora vamos monstrar que essa uma base de V0 . Se f V0 temos que f : V

v=
i ei
f (v) =
i =1..n
i f ( ei )
(A.3.5)
i =1..n
Chamamos
f ( e i ) = i
(A.3.6)
Ento podemos escrever a forma linear f como:

f =
i e i
(A.3.7)
i =1..n
Ou seja todas as formas lineares podem ser escritas como combinaes lineares das
ei .
Observao 215. Seja o vetor v = i ei e o funcional f = i ei , o valor de f em v
i =1..n
i =1..n
ento
f ( v ) = f ( i ei ) =
i =1..n
i j e i ( e j ) = i i
i =1..n
(A.3.8)
i =1..n
Corolrio 216. Seja V o espao dual do espao vetorial V , se n = dim(V) < =dim(V) =
dim(V )
Observao 217. No ltimo teorema como no ltimo corolrio crucial a dimenso finita
do espao V. Sem a dimenso finita do espao possvel encontrar ei tais que ei (e j ) =
ji , mas esses no formam necessariamente uma base de V .
A.3.3
72
Bidual
Definio 218. Seja V espao vetorial sobre o campo K e seja V o dual, podemos agora
considerar o dual de V indicado como (V ) e chamado de bidual de V.
Os elementos de (V ) so as funes v Hom(V , K) ou seja tais que:
v : V K
f f (v)
(A.3.9)
Podemos ento definir uma funo linear entre o espao V e o bidual:

: V
(V )
v (v) = v
(A.3.10)
Se V for um espao de dimenso finita teramos dim(V) = dim(V ) = dim (V )

e portanto V teramos o seguinte teorema:
Teorema 219. Seja V espao vetorial sobre K e dim(V) < =V

= (V )
Pelo contrario se V est valido o seguinte teorema:

Teorema 220. Seja V espao vetorial sobre K e : V (V ) definida (v) = v =
injectiva.
Demonstrao. Para que o teorema seja valido necessario ver que ker () = {0}. Vamos supor que v 0 por cada f V0 e que v 6= 0. Existiria ento qualquer que seja
a rappresentao de v = i ei pelo meno uma coordenada deve ser i0 6= 0 . Ento
i =1..n
o funcional
(
f (e j ) =
Assumeria o valor
1
0
j = i0
j 6 = i0
f ( v ) = i0 6 = 0
Que leva ao absurdo e demonstra a injectividade de .
(A.3.11)
(A.3.12)

(2015) Rev-4-001 Notas Geometria Diferencial

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

(2015) Rev-4-001 Notas Geometria Diferencial

Uploaded by

Copyright:

Available Formats

Captulo 1

Definio de variedades topolgicas e diferenciveis

Nesta secesso introduz-se a definio de variedade topolgica n-dimensional como

CAPTULO 1. VARIEDADES DIFERENCIVEIS

CAPTULO 1. VARIEDADES DIFERENCIVEIS

com as seguintes identidade:

Definio 8. Dizemos que duas vizinhaas de coordenadas(U, ) e (V, ) so C

M com vizinhanas C compatvel. Ento

x = (1, x1 , .., x n ) (1.1.6)

CAPTULO 1. VARIEDADES DIFERENCIVEIS

Podemos ento definir o seguinte Atlante com duas vizinhanas de coordenadas

As funes de transio so:

Espao projetivo Real RPn

e designando com o nome de coordenadas homogeneas as [ x0 : x1 : .. : x n ] que

Aplicaes entre variedades

Seja f : W R uma funo definida sobre W M subconjunto de uma variedade

CAPTULO 1. VARIEDADES DIFERENCIVEIS

Caraterstica de uma aplicao, imerses, submerses

Seja F : M N diz-se uma aplicao C . Sejam (U, ) uma vizinhaa de coordenadas

CAPTULO 1. VARIEDADES DIFERENCIVEIS

Definio 17. Chamamos de caraterstica da aplicao F indicada por rank ( F ) no ponto

= f x , x , ..., x , ..., f x , x , ..., x

a caraterstica no ponto a = ( p) Rm dada d caraterstica da matriz Jacobiana

CAPTULO 1. VARIEDADES DIFERENCIVEIS

Observao 23. Cada imerso localmente um mergulho. Portanto se F : M N

Definies e propriedades das subvariedades

CAPTULO 1. VARIEDADES DIFERENCIVEIS

Curvas sobre uma variedade

Grupo Fundamental de uma Variedade

Em lgebra um Grupo( G, ) um conjunto G com uma operao de multiplicao que

CAPTULO 2. GRUPOS DE LIE

Definio 35. Seja ( G, ) um grupo, uma topologia G ( G ) diz-se compatvel com a

so aplicaes continuas com a topologia G e a topologia produto sobre G G.

x11 x21 xn1

x11 , , xn1 , x12 , , xn2 , , x1n xnn Rn

so aplicaes C diferenciveis ento o grupo G chama-se de Grupo de Lie.

Seja G grupo Topolgico localmente homeomorfo a

CAPTULO 2. GRUPOS DE LIE

Alguns teoremas e algumas definioes importantes

Seja G grupo de Lie e H sub-grupo fechado

definidas por cada g G so diffeomorfismos de G em si mesmo.

Por cada g em G a aplicao Ad g um automorfismo de G. Resulter portanto

CAPTULO 2. GRUPOS DE LIE

Definio 45. (HOMOMORFISMOS DE GRUPOS DE LIE) Sejam G, H grupos de Lie, ento

Exemplos de Grupos de Lie Lineares e no Lineares

A maioria dos Grupos que iremos apresentar so sub-grupos de GL (n, K) com K =

2.3.2 O (n) , SO (n) e SO ( p, q)

O Grupo de Heisenberg e um Grupo de Lie no linear

Nesse contexto apresentamos o Grupo de Heisenberg para ilustrar um Grupo de Lie

CAPTULO 2. GRUPOS DE LIE

O Grupo de Spin de dimenso 2, 3, 4, 5, 6

Caratersticas Topolgicas de alguns grupos matriciais

Isomorfismos classicos entre Grupos de Lie

Lista di isomorfismi canonici fra i Guppi Classici:

SO(4, R) = SU (2, C) SU (2, C)

Definio 49. Um fibrado diferencivel um terno = ( E, , M)

Onde E e M so uma variedades diferenciveis e uma aplicao surjetiva e diferencivel de E em M.

CAPTULO 3. FIBRADO TANGENTE E FIBRADO COTAGENTE

(U , ) tale que o seguinte diagrama seja comutativo:

onde U a projeco cannica do produto cartesiano nas coordenadas de U.

Essas definies so as definies necessaria para pensar localmente E como um

E por cada seco : M M F podemos definir s como as coordenadas do

Observao 55. Se (u, f ) so invertveis ento o morfismo um isomorfismo entre fibrados.