Escolar Documentos
Profissional Documentos
Cultura Documentos
Michael Forger
Fernando Antoneli Jr.
Contedo
Introduo: Aspectos Histricos e Motivao
15
1.1.4 Subvariedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
20
20
29
31
35
1.2.5 Pull-Back . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
39
39
40
41
42
44
1.3.6 Pull-Back . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
47
47
49
ii
Contedo
1.4.3 Transporte Paralelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
58
60
63
63
69
71
76
77
77
82
85
85
85
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
91
92
94
94
95
97
2.2.4 Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
98
99
Contedo
3 Classes Caractersticas
iii
145
147
155
iv
Contedo
Contedo
Matemtica:
1. formulao do conceito de fibrado (Hopf, Stiefel, Whitney, Steenrod);
2. formulao do conceito geral de conexo (Ehresmann, Koszul, Kobayashi-Nomizu);
3. deduo de invariantes topolgicas de variedades e fibrados representadas por formas diferenciais, chamadas de classes caractersticas (Chern, Pontryagin, Weil).
Captulo 1
Fibrados Vetoriais e
Conexes Lineares
1.1 Variedades Diferenciveis
Comeamos este captulo com uma breve reviso de algumas noes bsicas relacionadas com o conceito de variedade, no intuito de fixar a notao que ser empregada a seguir e tambm de facilitar a
compreenso da definio do conceito de um fibrado vetorial, por analogia.
Intuitivamente, uma variedade n-dimensional um espao M que localmente pode ser colocado
em correspondncia biunvoca com abertos de Rn . Portanto, os pontos de M so parametrizados por
coordenadas x ( = 1, . . . , n) que, conjuntamente, lhes associam pontos em determinados abertos
de Rn . Contudo, tal parametrizao ou associao est longe de ser nica. Alm disso, nem sempre
possvel encontrar coordenadas para todos os pontos de M ao mesmo tempo, sendo que geralmente, as
funes coordenada so definidas apenas sobre subconjuntos de M. No entanto, quando os mesmos
pontos de M so descritos em termos de diferentes sistemas de coordenadas locais, digamos x e
x , ento deve ser possvel expressar as funes x em termos das funes x e, reciprocamente, as
funes x em termos das funes x , de maneira diferencivel.
Neste contexto e em tudo que segue, entendemos a palavra diferencivel como sinnimo de
suave ou liso/lisa ou de classe C . possvel formular definies anlogas usando outras classes
C r de diferenciabilidade; veja os comentrios no final da Seo 1.1 deste captulo.
Seja M um conjunto.
consistindo de
1. Uma carta (n-dimensional) de M uma tripla C = (U, x, U)
(i) um subconjunto U de M,
de Rn ,
(ii) um subconjunto aberto U
(iii) uma bijeo
x:
U
m
U
.
x(m) = (x (m), . . . , x n (m))
1
m0 U , 0 U
e
x(m0 ) = 0 .
e C = (U , x , U
) de M so ditas compatveis se U U = ou,
2. Duas cartas C = (U, x, U)
11111111
00000000
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
00000000
11111111
000000
111111
0000000
1111111
U
1
0
0
1
0
1
0
1
00
11
000
111
0
1
000000
111111
00
11
000
0111
1
000000
111111
00
11
000
111
0
1
000000
111111
00
11
000
111
0
1
000000
111111
00
11
000
111
0
1
000000
111111
00
11
000
111
0
1
000000
111111
00
11
000
0111
1
000000
111111
0
1
0
1
x x 1
1
0
0
1
0
1
0
1
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
000
111
00
11
0
1
0000000
1111111
0
1
0
1
xx 1
Seja M um conjunto.
) de M chamado um atlas de M se
(i) Um conjunto A = { C | A } de cartas C = (U , x , U
S
(a) os domnios U recobrem M, i.e.,
U = M,
A
(1.1)
Forger & Antoneli
No primeiro caso, existe um atlas trivial com uma nica carta (Rn , id, Rn ), enquanto que no segundo
caso, precisamos de um atlas com pelo menos duas cartas, por exemplo,
(S n \{NP}, xNP , Rn )
(S n \{SP}, xSP , Rn ) ,
onde NP = (0, . . . , 0, +1) e SP = (0, . . . , 0, 1) denotam, respectivamente, o polo norte e o polo sul da
esfera S n enquanto que xNP e xSP denotam a projeo estereogrfica, respectivamente, do polo norte
e do polo sul sobre o hiperplano equatorial; explicitamente,
xNP (u) =
u
1 un+1
xSP (u) =
u
1 + un+1
(1 n) .
(1.2)
NP
(u1 ,u2 )
x1
x1
(u1 ,u2 )
SP
y x 1 : x(U 1 (V )) V
diferencivel.
Note que suficiente verificar esta propriedade somente para as cartas de algum atlas de M e algum
atlas de N; ela vale ento para todas as cartas admissveis. Note tambm que a composta : M P
de aplicaes diferenciveis : M N e : N P novamente uma aplicao diferencivel.
Forger & Antoneli
111111
000000
U
00000000
11111111
000000U
111111
00000000
11111111
000000
111111
00000000
11111111
000000
111111
00000000
11111111
000000
111111
00000000
11111111
000000
111111
00000000
11111111
000000
111111
00000000
11111111
000000
111111
1 (V )
1111111
0000000
0000000
1111111
0000000
1111111
0000000V (U )
1111111
0000000
1111111
0000000
1111111
1
0
0
1
0
1
0
1
000000
111111
00
00
011
1
000000
111111
0011
00
11
011
1
000000
111111
00
00
011
1
11111111111111
00000000000000
000000
111111
0011
11
00x(U (V ))
11
0
1
000000
111111
U
00
00
011
1
000000
111111
0011
00
11
011
1
0
1
0
1
1
0110
10
1010 y(V (U ))
000000
111111
000000
111111
10
000000
111111
10
1111111111111
0000000000000
000000
1010
111111
V
000000
111111
10
1010
y
yx 1
(1.3)
Note que por hiptese, todo ponto m de M possui uma vizinhana aberta Vm na qual quase todas as
funes (i.e., todas a menos de um nmero finito) se anulam identicamente e assim a expresso
no lado esquerdo da equao (1.4), quando restrita a Vm , se reduz a uma soma finita; portanto, esta
expresso bem definida como elemento de F(M).
1.1 Teorema Seja M uma variedade. Todo recobrimento aberto localmente finito de M admite uma
partio da unidade a ele subordinada.
Concluindo, queremos tecer algumas consideraes referentes a modificaes do conceito de variedade que resultam de mudanas da classe de diferenciabilidade. Geralmente, as funes de transio
e todas as aplicaes consideradas so de classe C r , onde r pode assumir os valores 0, 1, . . . , e :
As variedades consideradas aqui e a seguir so as variedades suaves ou lisas ou de classe C .
A noo mais fraca de variedade a de uma variedade topolgica ou variedade de classe C 0 .
A noo mais forte de variedade a de uma variedade analtica ou variedade de classe C .
No entanto, a distino pelo grau de diferenciabilidade no tem nenhuma importncia prtica, pois
segundo um teorema de H. Whitney, para r 1, qualquer atlas de classe C r C r -equivalente a um
atlas de classe C e, para s > r , dois atlas de classe C s que so C r -equivalentes j so C s -equivalentes.
Isso significa que existem apenas trs tipos de variedades significativamente diferentes: variedades
topolgicas, variedades diferenciveis e variedades analticas. A principal diferena entre os ltimos
dois tipos decorre do fato que na categoria das variedades analticas, o supracitado teorema sobre a
existncia de parties da unidade deixa de ser vlido e precisa ser substitudo por um princpio de
continuao analtica, o que acarreta difernas substanciais entre os dois tipos de variedades no que
diz respeito relao entre propriedades locais e propriedades globais.
Finalmente, de maneira anloga s variedades reais consideradas at ento, podemos tambm de so formadas usando subconjuntos
finir variedades complexas, onde as cartas admissveis (U, x, U)
n
n
abertos U de C em vez de R e supondo que as funes de transio sejam holomorfas. (Aqui, desde
o incio j no tem nenhuma diferena entre a classe C 1 e a classe C .) Em particular, variedades
complexas n-dimensionais sempre tambm so variedades reais 2n-dimensionais.
Resumindo, ressaltamos mais uma vez que nestas notas, todas as variedades consideradas sero
variedades reais de classe C e a palavra diferencivel ser entendida como sinnimo de suave ou
liso/lisa ou de classe C .
10
requer uma construo mais abstrata, da qual existem vrias variantes (que no entanto se mostram
equivalentes no final). Aqui, apresentaremos as duas mais importantes.
O mtodo mais intuitivo para definir vetores tangentes usa curvas. Sejam M uma variedade ndimensional e m um ponto fixo em M. Duas curvas 1 e 2 em M que passam por m, i.e., que satisfazem
de M em
a condio 1 (0) = m = 2 (0), so ditas tangentes em m se, para alguma carta (U, x, U)
que ento satisfazem a condio x(1 (0)) = 0 = x(2 (0)),
torno de m, as curvas x 1 e x 2 em U,
so tangentes na origem, i.e., se vale
d
d
x(1 (t))
=
x(
(t))
.
2
dt
dt
t=0
t=0
(1.5)
M
U
m
1
2
x
11111111111111
00000000000000
dt
x
dt
t=0
t=0
(1.6)
e portanto a validade da equao (1.5) implica a validade da mesma equao com x substitudo por x .
Obviamente, a relao de tangncia entre curvas assim definida uma relao de equivalncia, e a classe
de equivalncia de uma curva passando por m o vetor tangente a em m que, sugestivamente,
Forger & Antoneli
11
d
(t)
.
dt
t=0
O conjunto dos vetores tangentes a todas as possveis curvas passando por m ser denotado por Tm M
e chamado o espao tangente de M em m; portanto, temos
d
(t)
Tm M
onde (0) = m M .
(1.7)
dt
t=0
Para justificar esta terminologia, precisamos mostrar que Tm M um espao vetorial, cuja dimenso
de M em torno de m e
ser igual dimenso de M. Para tanto, escolhemos alguma carta (U, x, U)
introduzimos uma famlia de curvas x,w especiais, parametrizadas por vetores w Rn , que sob a
aplicao de carta x correspondem a (pedaos de) retas passando pela origem:
x,w (t) = x 1 (tw)
para t Iw R .
quando
(Aqui, Iw um intervalo aberto em torno de 0 suficientemente pequeno para que valha tw U
t Iw .) fcil verificar que qualquer curva em M passando por m tangente a exatamente uma das
curvas x,w , a saber curva x,w com
d
x((t))
.
w =
dt
t=0
(1.8)
0
.
..
e = 1
1 na -sima posio ,
..
.
0
sob Tm x:
d 1
x (te )
onde m = x 1 (0).
(1.9)
dt
t=0
) de M em torno de m, esta base coordenada se transPassando para outra carta admissvel (U , x , U
|m =
Fibrados, Conexes e Classes Caractersticas
x
(0) |m .
x
12
A segunda opo para definir vetores tangentes que abordaremos aqui basea-se no conceito de uma
derivada direcional. Uma derivada direcional em um ponto m de uma variedade M uma forma linear
m : F(M) R que linear,
derivativa sobre a lgebra F(M) das funes sobre M, isto , uma aplicao v
m (f + g) = v
m (f ) + v
m (g)
v
para , R, f , g F(M) ,
(1.10)
para f , g F(M) .
(1.11)
m (f1 ) = v
m (f2 ) .
v
m (f ) =
v
d
f ((t))
dt
t=0
para f F(M) .
(1.13)
(1.14)
Queremos mostar que a aplicao assim definida um isomorfismo de espaos vetoriais. Para tanto,
de M em torno de m, supondo sem perda de generalidade que
usamos uma carta admissvel (U, x, U)
seja uma bola em Rn em torno da origem; ento vale
U
d
Tm x(vm ) =
x((t))
,
dt
t=0
13
d
d
1
f x 1 x((t))
=
x
(0)
x
((t))
.
dt
dt
t=0
t=0
Z1
ds
d
fx (sz) = fx (0) + z
ds
Z1
0
ds fx (sz) ,
Z1
0
ds fx (sz) .
h (m) = |m (f ) .
Escolhemos tambm uma vizinhana compacta K de m com K U e uma funo corte F(M) com
0 1, supp() U e 1 sobre K. Com isso, podemos estender as funes x e h sobre U a
sobre M, com
e h
funes x
sobre
sobre
M \U
=
h
sobre
sobre
M \U
(m) = |m (f ) .
h
Forger & Antoneli
14
m Tm M qualquer,
Como 2 1 na vizinhana K de m, sabemos que para v
m (f 2 ) = v
m (f )
v
m ( 2 ) = v
m (1) = 0 .
v
Logo,
(m) + x
) = v
m (f ) = v
m (f 2 ) = f (m) v
m ( 2 ) + v
m (x
) h
(m) v
m (h
m (x
) |m (f )
v
e portanto
m = v
m (x
) |m .
v
Tendo demonstrado a equivalncia completa das duas definies de vetores tangentes como classes
de equivalncia de curvas e como derivadas direcionais, omitiremos de agora em diante o smbolo
e reescrevemos as equaes (1.13) e (1.14) na forma
d
d
v f =
f ((t))
para
v
=
(t)
Tm M e f F(M) ,
(1.16)
dt
dt
t=0
t=0
d
f x 1 (te )
= f x 1 (0)
dt
t=0
para f F(M) .
(1.17)
(Tm (v)) f = v (f )
para v Tm M, f F(N) .
(1.19)
(1.20)
Finalmente, temos o seguinte teorema, que uma conseqncia direta dos teoremas das funes
inversas, das funes implcitas e do posto constante, provindo do clculo em Rn :
1.2 Teorema Seja : M N uma aplicao diferencivel entre variedades. Ento para todo ponto
m de M, temos
um difeomorfismo local em m se e somente se sua derivada Tm : Tm M T(m) N em m
um isomorfismo linear.
uma imerso em m se e somente se sua derivada Tm : Tm M T(m) N em m injetora.
uma submerso em m se e somente se sua derivada Tm : Tm M T(m) N em m sobrejetora.
uma subimerso em m se e somente se sua derivada tem posto constante em torno de m, i.e.,
se sua derivada Tm : Tm M T(m ) N nos pontos m de alguma vizinhana aberta U de m
satisfaz dim im Tm = dim im Tm (e portanto tambm dim ker Tm = dim ker Tm ).
Forger & Antoneli
15
(U1 U2 , x1 x2 , U1 U2 ) onde
x1 x2 :
U1 U2
(m1 , m2 )
1 U
2
U
pr2 (m1 , m2 ) = m2
e observar que estas tambm so diferenciveis (e, de fator, so imerses injetoras), de modo que se
N uma variedade qualquer e : M1 M2 N uma aplicao diferencivel, todas as restries
(. , m2 ) : M1 N e (m1 , .) : M2 N so diferenciveis, mas a afirmao recproca (de que diferenciabilidade de todas estas restries j implicaria diferenciabilidade de ) no vlida.
Obviamente, a noo do produto cartesiano pode ser estendida para definir o produto M1 . . . Mk
de um nmero arbitrrio (finito) de variedades M1 , . . . , Mk , e a menos de difeomeorfismos, este produto
comutativo e associativo: M2 M1 M1 M2 e (M1 M2 ) M3 M1 (M2 M3 ).
1.1 Exemplo Como variedade diferencivel, o espao Rn o produto de n cpias da reta real R e o
toro n-dimensional Tn o produto de n cpias do crculo T = S 1 :
Rn |R .{z. . R} ,
nvezes
Tn T
. . T} .
| .{z
nvezes
16
Passando estrutura tangente, notamos que, para todo ponto (m1 , m2 ) de M1 M2 , podemos utilizar
as derivadas das projees cannicas para identificar o espao tangente T(m1 ,m2 ) (M1 M2 ) do produto
M1 M2 com a soma direta dos espaos tangentes Tm1 M1 e Tm2 M2 :
T(m1 ,m2 ) (M1 M2 ) Tm1 M1 Tm2 M2 .
(1.21)
Tm1 M 1 Tm2 M 2
v1 + v2
de modo que
1.1.4 Subvariedades
A maior dificuldade associada ao conceito de subvariedade reside no fato de que necessrio distinguir
entre duas noes diferentes de subvariedade que no so equivalentes:
a noo mais forte de uma subvariedade mergulhada, e
a noo mais fraca de uma subvariedade imersa.
Aqui, adotaremos a primeira, ou seja: a expresso subvariedade sem especificao adicional significar subvariedade mergulhada.
Para dar uma construo explcita, adotamos a conveno de que, se p n, o espao Rp ser
identificado com o subespao de Rn definido pela condio de que as ltimas n p coordenadas se
anulam. Claramente, dado um subespao p-dimensional de Rn qualquer, existe um isomorfismo linear
de Rn que o leva no subespao Rp assim definido.
Sejam M uma variedade de dimenso n e S um subconjunto de M. Dizemos que S localmente
de M em torno de s tal que
plano em um ponto s de S se existe uma carta admissvel (U, x, U)
Rp .
x(U S) = U
(1.22)
Um subconjunto S de M que localmente plano em todos os seus pontos chamado uma subvariedade
de M, e qualquer carta de M com a propriedade (1.22) chamada de adaptada a esta subvariedade.
Para justificar essa terminologia, precisamos mostrar que uma subvariedade realmente uma varie admissvel
dade no sentido da Definio 1.3. Para tanto, observamos que dada uma carta (U, x, U)
S = U
Rp ,
U
xS = x|US ,
(1.23)
e (U , x , U
) so duas cartas admissveis (e portanto compatveis)
sobre US . Alm disso, se (U, x, U)
Forger & Antoneli
17
111111111111111111111111
000000000000000000000000
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
000000000000000000000000
111111111111111111111111
1
0
0
1
0
1
000000000000
111111111111
0
1
000000000000
111111111111
0
1
000000000000
111111111111
0
1
1111111111111
0000000000000
000000000000
111111111111
0
1
000000000000
111111111111
0
1
000000000000
111111111111
0
1
0
1
0
1
0
1
S ) e (US , xS , U
S ) de S tambm sero compatveis,
de M adaptadas a S, as cartas induzidas (US , xS , U
pois
xS (US US ) = x(U U ) Rp
e
xS (US US ) = x (U U ) Rp
so abertos de Rp e as aplicaes
por restrio ao subespao Rp de Rn e portanto tambm so diferenciveis. Assim, para todo atlas
admissvel A de cartas de M adaptadas a S, o conjunto
S ) | (U, x, U)
A}
AS = { (US , xS , U
um atlas de S, chamado o atlas induzido. Passando a classes de equivalncia de atlas, ou atlas
maximais, obtemos a estrutura diferencivel de S induzida pela estrutura diferencivel dada de M,
que torna S uma variedade de dimenso p.
O conceito de uma carta de uma variedade adaptada a uma subvariedade pode ser entendido de
uma carta de uma
uma maneira mais intuitiva usando a linguagem de coordenadas locais: se (U, x, U)
Fibrados, Conexes e Classes Caractersticas
18
Seja S n1 a esfera unitria em Rn (veja a equao (1.1)) e, mais geralmente, para a > 0,
San1 = { u Rn | |u|2 = a2 }
onde
r 2 |u|2 =
n
X
u2i ;
i=1
(1 i n) .
19
R
s
Considere a aplicao
T2
is
(e , eis )
onde um parmetro real. Obviamente, uma imerso, mas suas propriedades geomtricas
dependem crucialmente de se racional ou irracional.
Se racional, podemos escrever = p/q com inteiros p, q N relativamente primos: ento
a aplicao peridica de perodo pq e portanto no injetora, mas ela induz uma imerso
injetora do crculo T no toro T2 que um mergulho. Neste caso, a imagem de uma cpia
do crculo realizada como uma curva no toro que fechada em T2 , dando q voltas na primeira
direo e p voltas na segunda direo at se fechar em si mesmo.
Se irracional, a aplicao injetora mas apenas uma imerso injetora, sendo que no
existe mergulho da reta real R no toro T2 , uma vez que o toro compacto e a reta real no .
Neste caso, a imagem de uma cpia da reta real realizada como uma curva no toro que
densa em T2 e nunca se fecha em si mesmo.
Em ambos os casos, a palavra fluxo se refere ao fato de que soluo de uma equao diferencial
definida por um campo vetorial invariante sobre o toro T2 um aspecto que s se tornar totalmente
transparente usando noes bsicas da teoria de grupos de Lie.
Passando estrutura tangente, notamos que para todo ponto s de S, podemos utilizar a derivada
Ts iS : Ts S Ts M da incluso iS : S M para identificar o espao tangente Ts S da subvariedade S
com um subespao do espao tangente Ts M da variedade ambiente M (isso vale no apenas para
subvariedades mergulhadas mas tambm para subvariedades imersas). Doravante, sempre suporemos
que tal identificao tenha sido efetuada.
Fibrados, Conexes e Classes Caractersticas
20
e introduzir a aplicao : E M que associa a cada ponto e de E o nico ponto m de M tal que
e Em . Ento a idia de que Em deve depender diferenciavelmente de m pode ser concretizada pela
exigncia de que E seja localmente trivial sobre M, i.e., de que para todo subconjunto U aberto de M
suficientemente pequeno, a parte 1 (U) de E acima de U pode ser representada como o produto
cartesiano U E de U com um espao vetorial r -dimensional fixo E, sendo que a transio de uma
tal representao para outra deve ser diferencivel. A formulao exata anloga ao procedimento
adotado na definio de variedades.
U
m
1 (U)
e
U
,
x(m) = (x 1 (m), . . . , x n (m))
E
U
,
(e) = (x( (e)), 2 (e))
onde 2 = pr2 .1
de E sobre M pode ser considerada como a
Observe ento que uma carta fv C = (U, , x, U)
de M e uma carta comum ( 1 (U), , U
E) de E tal que
juno de uma carta comum (U, x, U)
o seguinte diagrama comuta: 1
1 (U)
/U
E
pr1
/U
1 Para quaisquer dois conjuntos A e A , denotamos por pr e pr as projees cannicas do produto cartesiano A A
1
2
1
2
1
2
sobre os fatores A1 e A2 , respectivamente.
21
e C = (U , , x , U
) de E sobre M so ditas compatveis se
2. Duas cartas fv C = (U, , x, U)
para z x(U U ), e E
e
( 1 )(z , e ) = ((x x 1 )(z ), , (z ) e )
para z x (U U ), e E
U
M
0
1 1
0
0 1
01
1
01
0
0
1
0
1
0
1
0
1
0
1
0
1
01
0 1
1
0 1
0
0
1
0
1
01
1
0
1
0
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
01
1
1111111111111
0000000000000
0
1
0
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
01
1
0
1
0
1
0
0
1
0
1
0
0 1
1
0 1
0
1
0
1
0
0 1
1
E
U
0
11
0
01
01
0 1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0 1
01
1
01
01
0
0
1
0 1
1
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0 1
1
11111111111111
00000000000000
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0 1
1
0
1
0
1
0
1
0
0
1
0
01
1
01
01
0
1
0
1
0
1
x
E
U
Figura 1.6: Cartas e funes de transio entre cartas para fibrados vetoriais
com aplicaes diferenciveis
, : x(U U ) GL(E)
Fibrados, Conexes e Classes Caractersticas
22
23
A seguir, especificaremos um fibrado vetorial (E, M, , E) dizendo que E um fibrado vetorial sobre M
com projeo : E M e fibra tpica E. Para todo ponto m de M, Em = 1 ({m}) a fibra de E
sobre m.
Para qualquer fibrado vetorial de posto r , o espao base M e o espao total E so variedades,
a projeo uma submerso sobrejetora e toda fibra Em possui naturalmente a estrutura de um
espao vetorial r -dimensional, isomorfo a E. Para provar estas afirmaes, observe que um atlas fv de
) de E sobre M induz um atlas comum de cartas comuns (U , x , U
) de M
cartas fv (U , , x , U
E) de E. Ademais, para todo ponto
assim como um atlas comum de cartas comuns ( 1 (U ), , U
m de M, a estrutura de espao vetorial de E pode ser transferida a Em declarando que
pr2 Em : Em E
Alm disso, fibrados vetoriais so localmente triviais. Para esclarecer o significado tcnico desta
afirmao, precisamos introduzir as seguintes noes.
Primeiro, observamos que dado qualquer subconjunto aberto N de uma variedade M, um fibrado
vetorial E sobre M com projeo induz, de forma natural, um fibrado vetorial E|N sobre N com
projeo N chamado a restrio de E a N, definido por E|N = 1 (N) e N = |E|N . (As cartas fv
N ) de E|N so obtidas das cartas fv admissveis (UM , M , xM , U
M ) de E com
admissveis (UN , N , xN , U
UM N por restrio: UN = UM N, N = M | 1 (UN ) , xN = xM |UN .) Essa restrio um caso
especial da construo do pull-back de um fibrado vetorial a ser apresentada logo adiante.
Segundo, notamos que o exemplo mais simples de um fibrado vetorial sobre uma variedade M o
fibrado vetorial trivial padro definido por
E = M E
= pr1 .
(1.25)
/F
(1.26)
/N
Um morfismo ou homomorfismo de fibrados vetoriais, ou simplesmente morfismo fv ou homomorfismo fv, de E em F um par (f , f) de aplicaes diferenciveis f : E F e f : M N tais
de E
que o diagrama (1.26) comuta e tais que para quaisquer duas cartas fv admissveis (U, , x, U)
(1.27)
Forger & Antoneli
24
eE
para z U,
(1.28)
(1.29)
onde L(E, F) denota o espao das aplicaes lineares de E em F. Em ambos os casos, tambm dizemos
que f um morfismo ou homomorfismo de fibrados sobre f ou que f recobre f. Se M = N e f a
identidade, dizemos que f um morfismo ou homomorfismo estrito.
Mais uma vez, suficiente verificar esta propriedade somente para as cartas fv de algum atlas fv
admissvel de E e algum atlas fv admissvel de F ; ela vale ento para todas as cartas fv admissveis.
Note tambm que a composta g f : E G de homomorfismos de fibrados vetoriais f : E F e
g : F G novamente um homomorfismo de fibrados vetoriais.
E
111111111
000000000
E
111111111
000000000
011010101010 101010101010
10101010101010101010
101010101010 101010101010
10101010101010101010
101010101010 101010101010 000000000
10101010101010101010
11111111
00000000
111111111000000000
111111111
101010101010 101010101010
10101010101010101010
101010101010 101010101010
10101010101010101010
101010 101010
101010101010
E
E
U
F
V
f 1
F (f (e1 )) = F (f (e2 )) .
(1.30)
De fato, neste caso, a aplicao f : M N pode ser construda a partir da aplicao f : E F pondo
f(E (e)) = F (f (e))
Forger & Antoneli
para e E .
(1.31)
25
A segunda parte da definio significa ento que, para definir um homomorfismo de fibrados vetoriais,
a aplicao f deve ser linear ao longo das fibras.
Dessa noo de morfismo ou homomorfismo, decorre da forma usual a de isomorfismo entre fibrados vetoriais (estrito ou no) e de automorfismo de um fibrado vetorial,No caso no estrito, podemos
concluir pelo menos que um isomorfismo f : E F de fibrados vetoriais induz um difeomorfismo
f : M N das respectivas variedades base.
Isso posto, podemos formular o conceito de trivialidade de fibrados vetoriais. Um fibrado vetorial
E sobre M chamado trivial se existe um isomorfismo fv estrito f : E M E e, para qualquer subconjunto aberto N de M, chamado trivial sobre N se existe um isomorfismo fv estrito
fN : E|N N E, sendo que qualquer tal isomorfismo fv estrito chamado uma trivializao de E no
primeiro caso e uma trivializao de E sobre N ou, quando no queremos especificar N explicitamente,
uma trivializao local de E no segundo caso.
Assim, cartas fv se revelam como sendo o resultado de uma combinao de cartas comuns do espao
de E sobre M, como j vimos, induz uma carta
base com trivializaes locais: uma carta fv (U, , x, U)
*
/U
E
/ U E
E|U
U
pr1
id
/U
pr1
x
/U
Podemos resumir esta discusso na afirmao de que poderamos ter adotado uma definio do
conceito de fibrado vetorial diferente, porm equivalente anterior:
1.11 Definio
(1.32)
com pr1 = para todo A, chamados de trivializaes locais, tais que para quaisquer
, A com U U , a aplicao
1 : (U U ) E (U U ) E
Fibrados, Conexes e Classes Caractersticas
(1.33)
Forger & Antoneli
26
um difeomorfismo, linear no segundo argumento, que pode ser representado por uma funo diferencivel
: U U GL(E) ,
(1.34)
chamada a correspondente funo de transio, conforme a frmula
( 1 )(m, e) = (m, (m) e)
para m U U , e E .
(1.35)
A seguir, especificaremos um fibrado vetorial (E, M, , E) dizendo que E um fibrado vetorial sobre M
com projeo e fibra tpica E. Para todo ponto m de M, Em = 1 ({m}) a fibra de E sobre m.
Finalmente, uma famlia (U , )A com as propriedades enunciadas acima tambm chamada um
atlas de trivializaes locais de E, e adotamos a terminologia usual de atlas equivalentes, de atlas
maximais e de trivializaes locais admissveis, como nas Definies 1.8 e 1.9.
Note que podemos sempre escrever o espao total de um fibrado vetorial como a unio disjunta das
suas fibras, o que deixa bvio qual a definio da projeo :
[
E =
Em
,
(u) = m para u Em .
mM
Esta decomposio pode ser vista como uma folheao regular de E por espaos vetoriais Em mergulhados em E como subvariedades e todos isomorfos ao espao modelo E, sendo que para todo ponto m
de M, podemos escolher uma trivializao admissvel : 1 (U) U E de E sobre uma vizinhana
aberta U de m em M cuja restrio fibra Em proporciona um isomorfismo linear
Em : Em E .
Como acabamos de concluir, qualquer fibrado vetorial localmente trivial, mas vale enfatizar que,
em geral, no globalmente trivial, como pode ser ilustrado considerando-se o seguinte exemplo.
1.4 Exemplo (cilindro e faixa de Mbius) Tanto o cilindro como a faixa de Mbius so fibrados em
linhas (reais) sobre o crculo S 1 cujos espaos totais podem ser formalmente construdos da seguinte
maneira: Em R R, considere a relao de equivalncia definida por
(s, t) (s , t )
s = s + k
se e somente se
e t = (1)k t
para algum k Z ,
onde o sinal superior se refere ao cilindro e o sinal inferior faixa de Mbius. Sejam E o espao
quociente E = R R/ e
p : R R
E
(s, t)
p(s, t) = [s, t]
E
[s, t]
S1
e2is
1 = ]0, 1[, U
2 = ] 1/2, 1/2[ e observamos que, para j = 1, 2, a
Pomos U1 = S 1 \ {1}, U2 = S 1 \ {1}, U
1
1 (Uj )
[s, t]
j R
U
(s, t)
27
xj :
e
Uj
2is
j
U
x11 )(s)
11 )(s, t)
(1 21 )(s, t) =
para
s1
para
para
s+1
para
(s, t)
para
(s 1, t)
para
(s, t)
para
(s + 1, t)
para
o que significa que a funo de transio correspondente vale 1 sobre o semi-crculo superior (onde
0 < s < 1/2) e 1 sobre o semicrculo inferior (onde 1/2 < s < 1 ou 1/2 < s < 0). Assim, segue que
{(Uj , j , xj , R) | j = 1, 2} um atlas fv de E. Para o sinal superior, fcil ver que o espao total E pode
ser identificado com o produto direto S 1 R que representa um cilindro: este fibrado trivial. Para o
sinal inferior, no entanto, o espao total representa a faixa de Mbius onde a reta inverte sua orientao
quando damos uma volta ao longo do crculo: este fibrado no-trivial. interessante notar que, a
menos de isomorfismos, estes dois so de fato os nicos dois fibrados em linhas reais sobre o crculo:
possvel mostrar que qualquer fibrado em linhas real sobre o crculo ou trivial ou isomorfo faixa
de Mbius.
A mesma anlise pode ser aplicada para construir fibrados em linhas complexos sobre o crculo: basta
substituir R R por R C e o fator 1 por e2i/p , com p Z, isto , por qualquer raz primitiva da
unidade. Assim, obtm-se uma famlia de fibrados em linhas complexos sobre o crculo parametrizada
pelos inteiros, e possvel mostrar que qualquer fibrado em linhas complexo sobre o crculo isomorfo
a exatamente um deles.
Tambm temos um anlogo para fibrados vetoriais da definio de subvariedade de uma variedade.
Seja E um fibrado vetorial sobre uma variedade M com projeo E : E M e fibra tpica E.
Um subconjunto F de E chamado um subfibrado vetorial de E se existem um subespao vetorial F
de E em torno de m (i.e., com
de E e, para todo ponto m de M, uma carta fv admissvel (U, E , x, U)
m U) tal que
F ,
E (E1 (U) F ) = U
(1.36)
Qualquer carta fv admissvel de E com a propriedade (1.36) e qualquer trivializao local admissvel
de E com a propriedade (1.37) chamada de adaptada a este subfibrado vetorial.
Fibrados, Conexes e Classes Caractersticas
28
Para justificar essa terminologia, precisamos como no caso de subvariedades mostrar que um subfibrado vetorial realmente um fibrado vetorial no sentido da Definio 1.9 ou 1.11, em relao
projeo F : F M definida como a restrio da projeo E : E M a F , de modo que para
todo ponto m de M, temos Fm = F Em . Para tanto, observamos que dada uma carta fv admissvel
de E adaptada a F , obtemos uma carta fv (U, F , x, U)
de F , chamada a carta fv induzida,
(U, E , x, U)
definindo F como sendo a restrio de E a F1 (U) = F E1 (U), e de maneira semelhante, que dada
uma trivializao local admissvel E : E1 (U) U E de E adaptada a F , obtemos uma trivializao
local F : F1 (U) U F de F , chamada a trivializao local induzida, definindo F como sendo
a restrio de E a F1 (U) = F E1 (U). fcil ver que a compatibilidade entre cartas fv e entre
trivializaes locais preservada sob tais restries, de modo que todo atlas fv admissvel de cartas fv
de E adaptadas a F induz um atlas fv de F , chamado o atlas fv induzido, e passando a classes de
equivalncia de atlas fv, ou atlas fv maximais, obtemos a estrutura de fibrado vetorial de F induzida
pela estrutura de fibrado vetorial dada de E, que torna F um fibrado vetorial sobre M com projeo F
e fibra tpica F tal que a incluso de F em E um homomorfismo estrito de fibrados vetoriais sobre M
que, em todo ponto m de M, define a incluso da fibra Fm como subespao da fibra Em .
Finalmente, introduzimos um conceito de importncia fundamental.
1.12 Definio Seja E um fibrado vetorial sobre uma variedade M com projeo : E M e fibra
tpica E. Uma seo de E uma aplicao : M E que satisfaz = idM , ou seja,
(m) Em
para m M .
(1.38)
Mais geralmente, uma seo de E sobre um aberto N de M uma seo de E|N . Quando no queremos especificar N explicitamente, falamos de uma seo local de E ou, se N for vizinhana de um
determinado ponto m0 de M, de uma seo local de E em torno de m0 .
29
sendo que sees contnuas, sees quadraticamente integrveis e at sees distribucionais se tornam
importantes em muitas aplicaes. Em geral, tais sees formam espaos vetoriais sob a adio e a
multiplicao por escalares e, mais do que isso, mdulos sobre o anel F(M) das funes diferenciveis
sobre M, sendo que todas essas operaes so definidas pontualmente, conforme
( + )(m) = (m) + (m)
para m M ,
( )(m) = (m)
para m M ,
para m M .
(1.39)
Aqui, consideraremos apenas sees de classe C , e denotaremos o espao vetorial de todas as sees
de classe C de um fibrado vetorial E sobre M por (E) ou, quando queremos enfatizar o grau de
diferenciabilidade, por (E). Se N um aberto de M, escrevemos (N, E) em vez de (E|N ) ou (N, E)
em vez de (E|N ).
Quando E o fibrado vetorial trivial padro M E, podemos escrever (m) = (m, f (m)) e assim estabelecer um isomorfismo linear (M E) C (M, E). Portanto, sees de fibrados vetoriais
generalizam funes a valores vetoriais.
Mais geralmente, para um fibrado vetorial E sobre M de posto r cuja restrio a um aberto N de M
trivial, conveniente introduzir o conceito de uma base de sees de E sobre N: um conjunto
{e1 , . . . , er } de sees de E sobre N tal que para todo ponto m de N, o conjunto {e1 (m), . . . , er (m)}
uma base da fibra Em . Neste caso, qualquer seo de E sobre N admite uma nica expanso
= e
(1.40)
com funes coeficiente F(N). Obviamente, a escolha de uma tal base de sees de E sobre N
equivale escolha de uma trivializao de E sobre N em conjunto com uma base da fibra tpica E.
Quando no queremos especificar N explicitamente, falamos de uma base de sees locais de E.
Como aplicao deste conceito, podemos formular uma condio equivalente definio de subfibrado vetorial em termos de bases de sees locais. Um subconjunto F de um fibrado vetorial E sobre
uma variedade M um subfibrado vetorial de E se para todo ponto m de M o conjunto Fm = F Em
um subespao do espao vetorial Em e se para todo ponto m de M existem uma vizinhana aberta
Um de m em M e uma base {e1 , . . . , er } de sees de E sobre Um tal que para todo ponto m de Um , o
conjunto {e1 (m ), . . . , es (m )} uma base de Fm (assim, E ter posto r e F ter posto s).
(1.42)
de M induz
Para estabelecer a estrutura de fibrado vetorial, observe que toda carta comum (U, x, U)
30
1
Rn
sendo o isomorfismo linear Tm x introduzido na equao (1.8). Explicitamente, T x : M
(U) U
definido exigindo que para toda curva passando por algum ponto m de U,
d
d
Tx
(t)
=
x((0))
,
x((t))
.
(1.43)
dt
dt
t=0
t=0
para z x(U U ), v Rn ,
(1.44)
ou seja, as funes de transio entre estas cartas fv de T M resultam das funes de transio entre
as cartas comuns de M tomando a derivada, ou matriz jacobiana.
Finalmente, se : M N uma aplicao diferencivel entre variedades, definimos a aplicao tangente a ou simplesmente derivada de como o homomorfismo de fibrados vetoriais T : T M T N
sobre : M N definido pela mesma frmula que antes, em termos de curvas:
d
d
(t)
=
((t))
.
(1.45)
T
dt
dt
t=0
t=0
(1.46)
Esta propriedade, em conjunto com o fato de que a aplicao tangente identidade de M a identidade
de T M, significa que T um funtor covariante da categoria das variedades para a categoria dos fibrados
vetoriais, o funtor tangente, justificando assim a notao empregada.
As sees do fibrado tangente T M de uma variedade M so chamadas de campos vetoriais sobre M
e o conjunto dos campos vetoriais sobre M (de classe C ) ser denotado por X(M). Cada carta fv
de T M induzida por uma carta comum (U, x, U)
de M determina uma base {1 , . . . , n }
(U, T x, x, U)
de campos vetoriais sobre U chamada a base coordenada correspondente; tambm se usa a notao
=
.
x
Y
X
Y
.
x
x
Fibrados, Conexes e Classes Caractersticas
31
= e e ,
y
com uma matriz (n n) de funes diferenciveis e definidas sobre uma vizinhana aberta adequada
de m. Ento, para que exista um sistema de coordenadas locais x tal que e = (1 n), as
funes x devem satisfazer o seguinte sistema de equaes diferenciais parciais:
x
= e .
y
(1.47)
e
y
e
y
(1.48)
so condies necessrias para a existncia de uma soluo, sendo que a afirmao central do teorema
de Frobenius que so tambm suficientes [DIE]. Por outro lado, temos
#
"
0 =
,
= [e e , e e ] = e e [e , e ] + e (e e ) e e (e e ) e
y y
e
e
e ,
= e e [e , e ] +
y
y
e portanto as relaes [e , e ] = 0 (1 , n) constituem uma reformulao das condies de
integrabilidade do teorema de Frobenius.
F(idE ) = idF(E) ,
(1.49)
Forger & Antoneli
32
mM
F()m = F(m ) .
E
Logo, a funo de transio
: U U GL(E) entre duas trivializaes admissveis de E
F(E)
: U U GL(F(E)) entre as
E
=
F(
),
1
(m) = F( )m F( )1
= F ( )m ( )1
m = F(( )m ) F(( )m )
m
F(E)
E
Portanto, como
diferencivel, tambm .
E
= F(
(m)) .
1.5 Exemplos Os exemplos mais importantes de funtores diferenciveis covariantes na categoria dos
espaos vetoriais com isomorfismos so os seguintes.
1. Dual inverso: O dual inverso pode ser visto como um funtor que associa a cada espao vetorial E
seu espao dual E e a cada aplicao linear inversvel f : E F sua transposta inversa f 1 :
E F . Este funtor diferencivel, pois a aplicao
Iso(E, F)
f
Iso(E , F )
f 1
33
F
,
sua
p-sima
potncia
Wp
Vp
Vp
Vp
p
p
simtrica
f :
E
F e sua p-sima potncia exterior
f :
E
F . Todos estes
funtores so diferenciveis, pois cada uma das aplicaes
Np Np
Iso(E, F) Iso(
E,
F)
Np
,
f
7
f
Wp Wp
Iso(E, F) Iso(
E,
F)
Wp
f
7
f
e
Iso(E, F)
f
Vp Vp
F)
Iso(
E,
Vp
f
O procedimento de levantamento de funtores estabelecido pelo teorema acima pode ser aplicado a
outros tipos de funtores diferenciveis. Por exemplo, um funtor diferencivel na categoria completa dos
espaos vetoriais (cujos morfismos so todos os homomorfismos, ou seja, todas as aplicaes lineares,
e no apenas os isomorfismos, ou seja, as aplicaes lineares inversveis), induz, para cada variedade M,
um funtor correspondente na categoria dos fibrados vetoriais sobre M com homomorfismos estritos e
no apenas com isomorfismos estritos. Notamos que os funtores das potncias tensoriais, simtricas
e exteriores consideradas acima so deste tipo. Numa outra direo, podemos considerar funtores
diferenciveis contravariantes, tanto na categoria dos espaos vetoriais com isomorfismos como na categoria completa dos espaos vetoriais, que diferem dos funtores covariantes no sentido de inverter as
flechas e trocar a ordem na composio: associam a cada espao vetorial E um novo espao vetorial
F(E) e a cada isomorfismo ou homomorfismo f : E F de espaos vetoriais um novo isomorfismo
ou homomorfismo F(f ) : F(F) F(E) de espaos vetoriais de modo que F(g f ) = F(f ) F(g) .
Finalmente, podemos tambm considerar funtores com dois ou mais argumentos. Para todos eles, vale
um anlogo do teorema de levantamento formulado acima.
1.6 Exemplos Os exemplos mais importantes de funtores diferenciveis contravariantes ou com mais
de um argumento na categoria dos espaos vetoriais so os seguintes.
1. Dual: O dual pode ser visto como um funtor que associa a cada espao vetorial E seu espao dual
E e a cada aplicao linear f : E F sua transposta ou dual f : F E .
2. Soma direta: A soma direta pode ser vista como um funtor que associa a cada par (E1 , E2 ) de
espaos vetoriais sua soma direta E1 E2 e a cada par (f1 , f2 ) de aplicaes lineares f1 : E1 F1
e f2 : E2 F2 sua soma direta f1 f2 : E1 E2 F1 F2 .
3. Produto tensorial: O produto tensorial pode ser visto como um funtor que associa a cada par
(E1 , E2 ) de espaos vetoriais seu produto tensorial E1 E2 e a cada par (f1 , f2 ) de aplicaes
lineares f1 : E1 F1 e f2 : E2 F2 seu produto tensorial f1 f2 : E1 E2 F1 F2 .
O primeiro um funtor contravariante e os ltimos dois so funtores covariantes com dois argumentos.
fcil verificar que todos so diferenciveis (de classe C ).
34
Considerando os funtores induzidos de dual, de soma direta e de produto tensorial para fibrados
vetoriais sobre uma variedade base fixa M, o primeiro associa a cada fibrado vetorial E sobre M seu dual
E e a cada homomorfismo estrito f : E F de fibrados vetoriais sobre M seu dual f : F E ,
enquanto que os ltimos dois associam, respectivamente, a cada par (E1 , E2 ) de fibrados vetoriais
sobre M sua soma direta ou soma de Whitney E1 E2 e o seu produto tensorial E1 E2 e a cada par
(f1 , f2 ) de homomorfismos estritos f1 : E1 F1 e f2 : E2 F2 de fibrados vetoriais sobre M sua
soma direta f1 f2 : E1 E2 F1 F2 e o seu produto tensorial f1 f2 : E1 E2 F1 F2 . Outros
funtores podem ser obtidos a partir destes por composio e iterao.
Os fibrados vetoriais obtidos a partir de um fibrado vetorial por uma dessas construes funtoriais
sero chamados seus descendentes. Em particular, podemos aplicar essas construes funtoriais ao
fibrado tangente T M de uma variedade M.
O dual do fibrado tangente T M de M o fibrado cotangente de M, denotado por T M.
O produto tensorial da p-sima potncia tensorial de T M e a q-sima potncia tensorial de T M
o fibrado dos tensores de tipo (p, q) ou fibrado dos tensores p vezes contravariantes e q
p
vezes covariantes sobre M, denotado por Tq M. Em particular,
T00 M = M R ,
T01 M = T M
T10 M = T M .
Vp
T M.
Vp
A p-sima potncia exterior de T M o fibrado dos p-multivetores sobre M, denotado por
T M.
35
{ dx 1 . . . dx p | 1 1 < . . . < p n }
h dx , i = .
(1.51)
{ e i 1 . . . e i p | 1 i1 < . . . < ip n }
(1.52)
Nestas condies, um campo vetorial X X(M), um campo covetorial X (M), um campo tensorial
p
t Tq (M) e uma p-forma p (M) sobre M admitem expanses da forma
X = X
= dx ,
(1.53)
= i e i ,
(1.54)
ou
X = X i ei
36
t = t1 ... q 1 . . . p dx 1 . . . dx q
(1.55)
ou
i1 ... ip
11 <...<p n
ou
=
1 ... p dx 1 . . . dx p =
1i1 <...<ip n
1 ... p
(1.56)
1
1 ... p dx 1 . . . dx p
p!
1
i1 ... ip ei1 . . . eip ,
p!
(1.57)
(1.58)
i1 ... ip
onde X , X i , , i , t1 ... q , tj1 ... jq , 1 ... p e i1 ... ip so funes sobre M definidas no domnio das
coordenadas locais ou dos referenciais locais considerados.
Sob uma transformao de coordenadas x x , as bases dos e dos dx se transformam
conforme
x
x
=
, dx dx =
dx ,
(1.59)
x
x
enquanto que as funes coeficiente se transformam conforme
x
X
x
X X =
1 ... p
t1 ... q t
1 ... p
1 ... q
x
,
x
(1.60)
x 1
x p x 1
x q 1 ... p
.
.
.
.
.
.
t1 ... q ,
x 1
x p x 1
x q
(1.61)
x 1
x p
.
.
.
1 ... p .
x 1
x p
(1.62)
e
1 ... p 1 ... p =
De maneira anloga, sob uma mudana de trivializao local, as bases dos ei e dos ei se transformam
conforme
ei ek = aik ei
ei e k = (a1 )ki ei ,
(1.63)
onde a uma funo a valores no grupo das matrizes inversveis n n, enquanto que as funes
coeficiente se transformam conforme
X i X k = (a1 )ki X i ,
i1 ... ip
tj1 ... jq t
k1 ... kp
l1 ... lq
i k = aik i ,
kp
jq
i1 ... ip
(1.64)
(1.65)
e
i
ip
(1.66)
37
Finalmente, voltando ao caso geral de um fibrado vetorial E de posto r sobre M, consideremos uma
base { e1 , . . . , er } de sees locais e de E. Da mesma forma que antes esta base induz bases de sees
locais em todos os fibrados descendentes de E:
1. uma base { e1 , . . . , er } de sees locais e do fibrado dual E ,
2. uma base
{ e1 . . . ep e1 . . . eq | 1 1 , . . . , p , 1 , . . . , q r }
p
(1.67)
s = s e ,
(1.68)
1 ... p
t = t1 ... q e1 . . . ep e1 . . . eq ,
e
=
11 <...<p r
1 ... p e1 . . . ep =
(1.69)
1
1 ... p e1 . . . ep ,
p!
(1.70)
1 ... p
onde s , s , t1 ... q e 1 ... p so funes sobre M definidas no domnio comum das bases de sees
locais consideradas. Por fim, sob uma mudana de trivializao local, as bases dos e e dos e se
transformam conforme
e e = g e
e e = (g 1 ) e ,
(1.71)
onde g uma funo a valores no grupo das matrizes inversveis r r , enquanto que as funes
coeficiente se transformam conforme
s s = (g 1 ) s
1 ... p
t1 ... q t
1 ... p
1 ... q
s s = g s ,
1 ... p
(1.72)
(1.73)
(1.74)
Forger & Antoneli
38
1.2.5 Pull-Back
Alm das construes funtoriais apresentadas acima, existe outro procedimento bsico para construir
novos fibrados vetoriais a partir de um fibrado vetorial dado, que conhecido como o pull-back de um
fibrado vetorial por uma aplicao entre as respectivas variedades base. (Tambm se usa a expresso
fibrado vetorial induzido, que infelizmente pouca especfica quanto ao significado da expresso
induzido.) Ao contrrio das construes funtoriais que modificam as fibras mas deixam a variedade
base inalterada, esta construo substitui a variedade base por outra sem afetar as fibras.
Dados um fibrado vetorial E sobre uma variedade M com projeo E : E M e uma aplicao
diferencivel : N M de uma outra variedade N em M, consideremos o conjunto
E = { (n, e) N E | (n) = E (e) } .
(1.75)
/E
(1.76)
/M
( )n = (n) .
(1.77)
E
Logo, a funo de transio
: U U GL(E) entre duas trivializaes admissveis de E
E
: 1 (U ) 1 (U ) GL(E)
E
Portanto, como
e so diferenciveis,
E
=
.
(1.78)
tambm .
1.13 Definio Dados um fibrado vetorial E sobre uma variedade M com projeo E e uma aplicao
diferencivel : N M de uma outra variedade N em M, o fibrado vetorial E sobre N com projeo E assim construdo chamado o pull-back de E para N via , e o homomorfismo de fibrados
sobre assim construdo chamado o levantamento cannico de (para E).
vetoriais
A maneira mais concisa e intuitiva (se bem que incompleta) de visualizar essa construo notar que
as fibras dos dois fibrados so idnticas: a mudana da variedade base significa apenas um reetiquetamento das fibras:
( E)n = E(n)
para n N .
(1.79)
39
(E)
s
1 (M, E)
Ds
(1.80)
(1.81)
X(M) (E)
(X, s)
(E)
DX s
(1.82)
que F(M)-linear no primeiro argumento e satisfaz a regra de Leibniz no segundo argumento, isto ,
para f F(M), X X(M) e s (E), vale
Df X s = f DX s ,
(1.83)
DX (f s) = (X f ) s + f DX s .
(1.84)
e
Dizemos que Ds a derivada covariante de s e que DX s a derivada covariante de s ao longo de X.
Dizemos ainda que s covariantemente constante ao longo de X se DX s = 0 e que s covariantemente constante se Ds = 0, i.e., se para todo campo vetorial X sobre M, vale DX s = 0.
A parte no-trivial da afirmao de equivalncia contida nesta definio segue do fato de que a aplicao
(1.82), sendo F(M)-linear no primeiro argumento, induz uma famlia de aplicaes R-bilineares
Dm :
Tm M (E)
(v, s)
Em
Dv s
(1.85)
Forger & Antoneli
40
A partir deste exemplo e usando parties da unidade, pode-se provar que um fibrado vetorial qualquer
sobre uma variedade base qualquer sempre admite uma conexo linear; deixaremos a elaborao de
uma demonstrao detalhada como exerccio para o leitor. Por outro lado, fcil ver que tal conexo
linear est longe de ser nica. Mais do que isso: podemos determinar exatamente quantas conexes
lineares diferentes existem em um fibrado vetorial dado E sobre uma variedade base M dada e qual
a estrutura do conjunto de todas as conexes lineares em E. Para tanto, note que uma aplicao
F(M)-linear
(E) 1 (M, E)
corresponde biunivocamente a uma 1-forma A sobre M a valores no fibrado vetorial L(E) das transformaes lineares (ou dos endomorfismos) de E ( L(E) = End(E) = T11 E = E E ): A 1 (M, L(E)). Mas
obviamente, no ambiente do espao vetorial de todas as aplicaes R-lineares de (E) em 1 (M, E),
podemos formar a diferena D D de duas conexes lineares D e D , e esta ser uma aplicao
F(M)-linear, sendo que, reciprocamente, a soma D + A de uma conexo linear D e uma aplicao
F(M)-linear A novamente uma conexo linear. Isso significa que o conjunto de todas as conexes
lineares em E um espao afim (e mais precisamente, um subespao afim do espao vetorial de todas
as aplicaes R-lineares de (E) em 1 (M, E)) cujo espao vetorial das diferenas 1 (M, L(E)).
(1.86)
41
X hs , si = hDX
s , si + hs , DX si ,
(1.87)
uma relao que pode ser vista como uma verso da regra de Leibniz para o pareamento bilinear
entre sees de E e de E . De fato, basta definir D s por
hD s , si = d hs , si hs , Dsi .
ou seja, basta definir DX
s , para X X(M), por
hDX
s , si = X hs , si hs , DX si .
2. Soma direta: Dadas uma conexo linear D1 em um fibrado vetorial E1 sobre M e uma conexo
linear D2 em um fibrado vetorial E2 sobre M, existe uma nica conexo linear D1 D2 na soma
direta E1 E2 de E1 e E2 , chamada a soma direta de D1 e D2 , tal que para s1 (E1 ) e s2 (E2 ),
(D1 D2 ) (s1 s2 ) = D1 s1 D2 s2 ,
(1.88)
(1.89)
3. Produto tensorial: Dadas uma conexo linear D1 em um fibrado vetorial E1 sobre M e uma
conexo linear D2 em um fibrado vetorial E2 sobre M, existe uma nica conexo linear D1 D2
no produto tensorial E1 E2 de E1 e E2 , chamada o produto tensorial de D1 e D2 , tal que para
s1 (E1 ) e s2 (E2 ),
(D1 D2 ) (s1 s2 ) = D1 s1 s2 + s1 D2 s2 ,
(1.90)
(1.91)
Em particular, uma conexo linear em um fibrado vetorial induz conexes lineares em todos os seus
descendentes, que a seguir sero coletivamente denotadas pela mesma letra, afim de simplificar a
notao.
42
p
X
i=0
i , . . . , Xp )
(1)i Xi (X0 , . . . , X
X
i , . . . , X
j , . . . , Xp )
(1)i+j ([Xi , Xj ], X0 , . . . , X
(1.92)
0i<jp
p
X
i=0
i , . . . , Xp )
(1)i DXi (X0 , . . . , X
X
i , . . . , X
j , . . . , Xp )
(1)i+j ([Xi , Xj ], X0 , . . . , X
(1.93)
0i<jp
ou
DX e = A
(X) e
para X X(M) ,
(1.94)
com coeficientes A
que constituem uma matriz r r de 1-formas, ou equivalentemente, uma 1-forma A
a valores no espao das matrizes r r (sobre U), chamadas de formas de conexo locais ou potenciais
de calibre, e que determinam completamente a ao do operador de derivada covariante sobre sees
do fibrado vetorial E, assim como sobre sees de qualquer um dos seus descendentes, no domnio
pertinente. Por exemplo, considerando a base dual { e1 , . . . , er } de sees locais e de E , temos
A
= h e , De i
ou
A
(X) = h e , DX e i
para X X(M) ,
(1.95)
e as mesmas formas aparecem como coeficientes na expanso das derivadas covariantes das sees
desta base em termos desta mesma base, conforme
De = A
e
ou
DX e = A
(X) e
para X X(M) ,
(1.96)
pois
hDe , e i = d he , e i he , De i = d he , e i A he , e i
= d
A = A = A = A he , e i .
Por outro lado, fixando um sistema de coordenadas locais x em M (definido no mesmo aberto U
de M), denotaremos a derivada covariante ao longo de simplesmente por D , em vez de D . Mais
Forger & Antoneli
43
Dk e = Ak e ,
(1.97)
onde
e portanto
Ak = A
(ek ) ,
(1.98)
k
A
= Ak e .
(1.99)
Dk t = Dk t1 ... q e1 . . . ep e1 . . . eq
para as suas derivadas covariantes, obtemos
Dk s = k s + Ak s
e
1 ... p
1 ... p
Dk t1 ... q = k t1 ... q +
p
X
r =1
Dk s = k s Ak s ,
1 ... r 1 r +1 ... p
Ak r t1 ... q
q
X
s=1
(1.100)
1 ... p
(1.101)
p
1 ... p
dD = dD 1 ... q e1 . . . ep e1 . . . eq
dD = d + A
dD = d A
,
(1.102)
e
1 ... p
1 ... p
dD 1 ... q = d1 ... q +
p
X
r =1
1 ... r 1 r +1 ... p
Ar 1 ... q
q
X
s=1
1 ... p
(1.103)
44
lineares diferentes. No entanto, elas no so as componentes locais de uma seo de algum fibrado
vetorial sobre M que seja descendente de E e do fibrado tangente T M de M: isso pode ser deduzido considerando sua lei de transformao sob uma mudana de trivializao local, que equivale passagem
e e , conforme a equao (1.71), da base { e1 , . . . , er } de sees locais e de E para uma nova base
{ e1 , . . . , er } de sees locais e de E, sendo que a passagem induzida A
A
A A , pode ser calculada como segue:
A
e = De = D g e
, ou simplesmente
= g De + dg e
1
= g A
) e + dg (g 1 ) e .
(g
Assim, obtemos a lei de transformao de potenciais de calibre sob transformaes de calibre, que
pode ser expressa de vrias formas: ao nvel de 1-formas,
A
A
1
= g A
) + dg (g 1 ) ,
(g
(1.104)
(1.105)
locais ek , com Ak = A
(ek ), Ak = A (ek ), Ak = A(ek ), Ak = A (ek ),
Ak Ak = g Ak (g 1 ) + k g (g 1 ) ,
(1.106)
(1.107)
Obviamente, essa uma lei de transformao afim, ao invs de linear; em particular, possvel ter
A = 0, enquanto que A 0. Este aspecto dever ser levado em considerao quando tentamos
dar uma definio global do conceito de forma de conexo, a qual permitiria, por exemplo, escrever
frmulas tais como as equaes (1.102) e (1.103) para a derivada exterior covariante na forma compacta
dD = d + A (e ento passar a denotar dD por dA ).
ou
X ej = ji (X) ei
para X X(M) ,
(1.108)
45
com coeficientes ji que constituem uma matriz n n de 1-formas, ou equivalentemente, uma 1-forma
a valores no espao das matrizes n n (sobre o domnio do referido referencial local), chamadas de
formas de Christoffel. Assim, considerando o referencial local dual { e1 , . . . , en } para M, temos
ji = h ei , ej i
ji (X) = h ei , X ej i
ou
para X X(M) ,
(1.109)
sendo que as mesmas formas de Christoffel aparecem como coeficientes na expanso das derivadas
covariantes das 1-formas do referencial dual em termos destas mesmas 1-formas, conforme
ei = ji ej
X ei = ji (X) ej
ou
para X X(M) .
(1.110)
k ei = kji ej ,
(1.111)
onde
kji = ji (ek ) ,
(1.112)
ji = kji ek ,
(1.113)
e portanto
onde as funes kji so geralmente conhecidas como smbolos de Christoffel. Ento se expandirmos
p
campos vetoriais X X(M), campos covetoriais X (M) e campos tensoriais t Tq (M) sobre M
conforme as equaes (1.54) e 1.56), e se usarmos expanses anlogas k X = k X i ei , k = k j ej
e
i1 ... ip
k t = k tj1 ... jq ei1 . . . eip ej1 . . . ejq
para as suas derivadas covariantes, obtemos
k X i = k X i + kji X j
e
i1 ... ip
i1 ... ip
p
X
r =1
k j = k j kji i ,
i1 ... ir 1 i ir +1 ... ip
q
X
s=1
(1.114)
i1 ... ip
(1.115)
p
i1 ... ip
i1 ... ip
p
X
r =1
d j = dj ji i ,
i1 ... ir 1 i ir +1 ... ip
i r j1 ... jq
q
X
s=1
i1 ... ip
(1.116)
(1.117)
46
trivializao local, que equivale passagem ei el , conforme a equao (1.63), do referencial local
{ e1 , . . . , en } para um novo referencial local { e1 , . . . , en }, sendo que a passagem induzida ji ml ,
ou simplesmente , assume a seguinte forma: ao nvel de 1-formas,
l
ji m
= ajm ji (a1 )li + dajm (a1 )lj ,
(1.118)
(1.119)
l
i
kji km
= ajm kj
(a1 )li + k ajm (a1 )lj ,
(1.120)
(1.121)
Novamente, essa uma lei de transformao afim, ao invs de linear; em particular, possvel ter
= 0, enquanto que 0. Este aspecto dever ser levado em considerao quando tentamos dar
uma definio global do conceito de smbolos de Christoffel, a qual permitiria, por exemplo, escrever
frmulas tais como as equaes (1.116) e (1.117) para a derivada exterior covariante na forma compacta
d = d + (e ento passar a denotar d por d ).
1.3.6 Pull-Back
O fato de que conexes lineares so localmente representadas por 1-formas e que formas diferenciais admitem a operao de pull-back nos leva a suspeitar que esta operao possa ser estendida a
conexes lineares. Isso de fato o caso.
Sejam E um fibrado vetorial sobre uma variedade M, N uma outra variedade, : N M uma
aplicao diferencivel e E o pull-back de E para N via . Ento podemos estender a bem-conhecida
operao do pull-back de funes e de formas diferenciais via a uma operao de pull-back de
sees de E e formas diferenciais sobre M a valores em E via , que providencia, respectivamente,
sees de E e formas diferenciais sobre N a valores em E, sendo que
:
(E)
s
( E)
(1.122)
p (M, E)
(1.123)
p (N, E)
(1.124)
definido pela mesma frmula que no caso usual, i.e., para p (M, E),
( )n (v1 , . . . , vp ) = (n) (T(n) v1 , . . . , T(n) vp )
para n N, v1 , . . . , vp Tn N
Forger & Antoneli
(1.125)
47
Agora, dada uma conexo linear D em E, podemos construir, de forma cannica, uma conexo linear
D em E tal que, para s (E),
( D)( s) = (Ds) .
(1.126)
Porm, essa prescrio no pode ser utilizada diretamente como definio do operador D, uma
vez que a aplicao linear (1.122), em geral, no sobrejetora nem injetora. Para contornar esse
problema, lanamos mo de representaes locais, fazendo uso do fato de que, segundo a definio das
trivializaes locais de E em termos das trivializaes locais de E, toda base { e1 , . . . , er } de sees
locais e de E induz uma base { e1 , . . . , er } de sees locais e de E. Nessas bases, a
equao (1.126) significa que se os A so as formas de conexo locais de D, conforme a equao (1.94),
De = A e = ( D)(e ) = ( A ) (e ) .
(1.127)
.
Ds = ds + A
= ( D)
s = d
s + ( A
s
)s
(1.128)
Essa frmula pode ser utilizada para definir D, localmente e em relao base de sees locais
escolhida. Contudo, agora fcil verificar que a definio independe das escolhas feitas e portanto
proporciona o resultado desejado.
1.15 Definio Sejam E um fibrado vetorial sobre uma variedade M, : N M uma aplicao
diferencivel de uma outra variedade N em M e E o pull-back de E para N via . Dada uma conexo
linear D em E, a conexo linear D em E assim construda chamada o pull-back de D para N
via .
(1.129)
48
F (X, Y ) e = F (X, Y ) e
ou
para X, Y X(M) ,
(1.130)
ou
(1.131)
= DX (A
(Y ) e ) DY (A (X) e ) A ([X, Y ]) e
= X A
(Y ) + A (Y ) A (X) e Y A (X) + A (X) A (Y ) e A ([X, Y ]) e
= dA
(X, Y ) + (A A )(X, Y ) e ,
F = dA
+ A A .
(1.132)
dF = d dA
+ A A
= dA
A A dA
= dA
A + A A A A dA A A A
= F A A
F ,
dF + A
F F A = 0 ,
(1.133)
a qual pode ser reescrita em termos da derivada exterior covariante dD correspondente conexo linear
induzida por D em L(E):
dD F = 0 .
(1.134)
1
2
[A , A] ,
(1.135)
(1.136)
dD2 = F ,
(1.137)
49
dD2 1 ... q =
p
X
r =1
1 ... r 1 r +1 ... p
Fr 1 ... q
q
X
s=1
1 ... p
(1.138)
De fato,
dD2 = d dD + A
dD
= d d + d A
+ A
d + A A
= dA
+ A A
= F ,
dD2 = d dD A
dD
= d d d A
A d + A A
= dA
+ A A
= F ,
sendo que a demonstrao da equao (1.138), que completamente anloga, ser deixada ao leitor
como exerccio. Podemos resumir todas essas frmulas de maneira sucinta, escrevendo
dD2 = F .
(1.139)
(1.140)
onde X, Y , Z X(M), e chamado de tensor de (curvatura de) Riemann de Ademais, existem neste
caso dois outros campos tensoriais importantes sobre M. O primeiro de tipo (1, 2), definido por
T (X, Y ) = X Y Y X [X, Y ] ,
(1.141)
onde X, Y X(M), e chamado de tensor de toro de De fato, verifica-se, a partir da definio (1.141),
que T F(M)-bilinear, isto , para X, Y X(M) e f , g F(M), vale
T (f X, gY ) = fg T (X, Y ) .
Ademais, claro que T (X, Y ) antissimtrico em X e Y e portanto T uma 2-forma sobre M a valores
em T M. O segundo de tipo (0, 2), definido por
Ric(X, Y ) = tr Z 7 R(Z, Y ) X ,
(1.142)
onde X, Y X(M), e chamado de tensor de (curvatura de) Ricci de
Fibrados, Conexes e Classes Caractersticas
50
R ej = R i j ei
T (X, Y ) = T i (X, Y ) ei
ou
para X, Y X(M) ,
R(X, Y ) ej = R i j (X, Y ) ei
ou
para X, Y X(M) ,
(1.143)
R i j = h ei , R ej i
T i (X, Y ) = h ei , T (X, Y ) i
ou
R i j (X, Y ) = h ei , R(X, Y ) ej i
ou
para X, Y X(M) ,
para X, Y X(M) ,
(1.144)
e, como antes,
R i j (X, Y ) = h ei , X Y ej Y X ej [X,Y ] ej i
= h ei , X jk (Y ) ek i h ei , Y jk (X) ek i h ei , jk ([X, Y ]) ek i
T i = dei + ji ej ,
(1.145)
R i j = d ji + ki jk ,
(1.146)
que um caso especial da anterior (equao (1.132)). Tomando a derivada exterior, calculamos
j
dT i = d ji ej ji dej = d ji ej ji T j + ji k ek = R i j ej ji T j ,
e, como antes,
dR i j = d ki jk ki d jk = R i k jk li kl jk ki R k j + ki lk jl ,
obtendo a primeira identidade de Bianchi
dT i + ji T j = R i j ej ,
(1.147)
dR i j + ki R k j R i k jk = 0 .
(1.148)
51
1
2
[ , ] ,
(1.150)
(1.151)
d R dR + [ , R] = 0 ,
(1.152)
e
respectivamente. Veremos no prximo captulo como atribuir um significado rigoroso a essas frmulas.
Mais explicitamente ainda, escrevemos
Tkli = T i (ek , el ) ,
(1.153)
R i jkl = R i j (ek , el ) .
(1.154)
Assim,
T = Tkli ei ek el
R = R i jkl ei ej ek el
Ti =
e
e
1
2
Rij =
Tkli ek el ,
1
2
R i jkl ek el .
(1.155)
(1.156)
(1.157)
R i jlk = R i jkl .
(1.158)
Ento a definio de T e R a partir de pode ser expressa pelas seguinte frmulas, que determinam
i
os Tkli e os R i jkl em termos dos smbolos de Christoffel kli e dos coeficientes Ckl
que expressam a falta
de holonomicidade do referencial usado, definidos por
i
[ek , el ] = Ckl
ei ,
(1.159)
i
Tkli = kli lki Ckl
,
(1.160)
i
i
i
m
i
m
R i jkl = k lji l kj
+ km
ljm lm
kj
mj
Ckl
.
(1.161)
Rkl = Ric(ek , el ) ,
(1.162)
Ric = Rkl ek el .
(1.163)
a saber:
Finalmente, escrevemos
de modo que
52
(1.164)
T = ,
(1.165)
R = + .
(1.166)
Entre as conexes lineares no fibrado tangente de uma variedade, as mais importantes e teis so
as de toro zero. Se T = 0, a primeira identidade de Bianchi (1.147) implica que R i m em = 0, o que
(aps avaliao sobre trs campos vetoriais ej , ek e el do referencial) se expressa como uma condio
de ciclicidade do tensor de Riemann:
R i jkl + R i klj + R i ljk = 0 .
(1.167)
Ademais, se T = 0, podemos expressar a derivada exterior comum de uma forma em termos das
derivadas covariantes dos seus coeficientes, em vez das suas derivadas parciais, ou seja, vale
d = ei i .
(1.168)
A maneira mais simples de provar isso por um clculo explcito em coordenadas locais, usando a
simetria dos smbolos de Christoffel:
!
1
1
p
d dx
dx . . . dx
p! 1 ... p
1
=
1 ... p 1 ... p dx dx 1 . . . dx p
p!
p
1 X
dx dx 1 . . . dx p
=
p! r =1 r 1 ... r 1 r +1 ... p
= 0.
Usando este resultado, prova-se que a segunda identidade de Bianchi (1.148) se reduz a uma condio
de ciclicidade para as derivadas covariantes do tensor de Riemann:
m R i jkl + k R i jlm + l R i jmk = 0 .
(1.169)
Felizmente, existe a possibilidade de matar a toro ou, mais geralmente, de modificar a toro,
que pode ser implementada de diversos modos. O mais simples o seguinte: dada uma variedade M
munida de uma conexo linear com tensor de toro T , define-se uma nova conexo linear 0 por
0X Y = X Y
1
T (X, Y ) .
2
(1.170)
Mais geralmente, dado um campo tensorial T sobre M de tipo (1, 2) que uma 2-forma sobre M a
valores em T M qualquer, define-se uma nova conexo linear por
X Y = X Y
1
1
T (X, Y ) + T (X, Y ) .
2
2
(1.171)
Ento pela definio (1.141), bvio que 0 tem toro zero e tem toro T .
Forger & Antoneli
53
Ds
= ( D)s ( E) .
dt
(1.172)
(1.173)
(1.175)
Nota-se que a famlia de aplicaes lineares assim obtida satisfaz s seguintes propriedades: para todo
t, t , t I, vale a regra de composio
U (t , t ) U (t , t) = U (t , t) ,
(1.176)
(1.177)
(1.178)
54
Ademais, usando a equao (1.175), podemos transformar a equao diferencial (1.173) para sees
covariantemente constantes em uma equao diferencial matricial para o operador de transporte
paralelo que pode ser escrita na forma
d
(t ) U (t , t) ,
U (s, t)
(1.179)
= A((t ))
ds
s=t
(1.180)
onde prk denota a projeo ortogonal de M R3 sobre T M, com ncleo NM, e X Y a derivada
direcional de Y , como funo a valores vetoriais, ao longo de X. Verifica-se que uma conexo linear
em T M: ela obtida da conexo linear padro em M R3 por projeo ortogonal. Considere agora
o caminho fechado em M que se inicia e termina no polo norte (0, 0, 1) e composto dos seguintes
trs trechos: primeiro, um quarto de crculo no plano xz, do polo norte at o equador, segundo, um
quarto de crculo ao longo do equador e terceiro, um quarto de crculo no plano yz, do equador at o
polo norte. Explicitamente,
3
3
1
3
1
3
1
1
2
(t) =
,
cos( 2 (t 3 )), sin( 2 (t 3 )), 0
(3 t 3)
3
2
3
2
2
0, cos( 2 (t 3 )), sin( 2 (t 3 ))
( 3 t 1)
com (0) = (0, 0, 1), ( 13 ) = (1, 0, 0), ( 23 ) = (0, 1, 0) e (1) = (0, 0, 1). Assim, o transporte paralelo
de um vetor tangente (u, v, 0) no polo norte ao longo de dado por
3
3
1
3
1
3
1
1
2
s (t) =
,
sin( 2 (t 3 ))v, cos( 2 (t 3 ))v, u
(3 t 3)
55
com s(0) = (u, v, 0), s( 13 ) = (0, v, u), s( 23 ) = (v, 0, u) e s(1) = (v, u, 0), ou seja, o transporte
paralelo ao longo da curva fechada inteira efetua uma rotao por 900 no espao tangente no polo
norte.
A independncia do transporte paralelo, entre dois pontos, da curva que os conecta, indica a
ausncia de curvatura:
1.3 Proposio Seja E um fibrado vetorial sobre uma variedade conexa M, munido de uma conexo
linear D. Entre as seguintes afirmaes, as primeiras trs so equivalentes e implicam a ltima.
(a) O transporte paralelo ao longo de qualquer curva depende apenas do seu ponto inicial e do seu ponto
final.
(b) Para todo ponto m de M e todo vetor u Em , existe uma nica seo global s de E que covariantemente constante e tal que s(m) = u.
(c) Existe uma base { e1 , . . . , er } de sees globais e de E que so covariantemente constantes, de modo
que as formas de conexo com respeito a esta base se anulam identicamente.
(d) O tensor de curvatura F de D se anula identicamente.
Se M for simplesmente conexa, a ltima afirmao torna-se equivalente s primeiras trs.
De passagem, notamos que as primeiras trs afirmaes implicam que E, como fibrado vetorial sobre M,
deve ser trivial.
Fibrados, Conexes e Classes Caractersticas
56
Demonstrao: A equivalncia (a) (b) decorre da equao (1.175), em conjunto com a observao
elementar que uma seo s de E covariantemente constante se e somente se para qualquer curva ,
a seo s = s de E covariantemente constante. A equivalncia (b) (c) trivial, assim como
a implicao (c) (d), devido equao de estrutura (1.132). Assim, a nica afirmao a ser provada
a implicao (d) (c), sob a hiptese adicional de que M seja simplesmente conexa: isso ser feito em
dois passos. No primeiro passo, consideramos a questo localmente, usando uma base { e1 , . . . , er }
de sees locais e de E e um sistema de coordenadas locais x em M, junto com o referencial local
holnomo { 1 , . . . , n } para M por ele induzido, todos definidos em algum aberto U de M que pelo
de Rn : em termos desses, a condio de uma
sistema de coordenadas x mapeado para um aberto U
seo s de E ser covariantemente constante sobre U assume a forma
D s s + A s = 0 ,
ou
s = A s .
Este um sistema total de equaes diferenciais parciais lineares de primeira ordem que dito ser
possui uma vizinhana aberta U
x0 contida em U
tal que, para
integrvel quando todo ponto x0 de U
todo vetor em Rr com componentes u , existe uma nica soluo s do sistema com componentes s
tal que s (x0 ) = u . Neste caso, diferenciando o referido sistema, obtemos
0 = s s = ( A
) s + A s ( A ) s A s
= ( A ) s A A s ( A ) s + A A s = F s ,
onde
F = A
A + A A A A ,
e portanto claro que uma condio necessria para ele ser integrvel que as funes F sobre U,
que so exatamente as componentes do tensor de curvatura da conexo linear D, se anulam. Reciprocamente, o teorema de Frobenius [DIE] afirma que essa condio tambm suficiente. No segundo passo,
vamos globalizar este resultado. Acabamos de provar que a condio F 0 implica que qualquer
ponto m de M possui uma vizinhana aberta Um sobre a qual existe uma base de sees de E que
so covariantemente constantes. Seja ento U o conjunto de todos os abertos U de M com essa
propriedade, ou seja: um aberto U de M pertence a U se e somente se existe uma base de sees de
E sobre U que so covariantemente constantes. claro que U parcialmente ordenado por incluso.
Ademais, qualquer cadeia monotonamente crescente de elementos de U possui um mximo, que
simplesmente a unio de todos os membros da cadeia. Portanto, pelo lema de Zorn, U possui elementos
maximais. Seja U um tal elemento maximal de U; queremos provar que U = M. De fato, suponhamos
por absurdo que U M e que m M \ U. Mas mesmo este ponto de M possui uma vizinhana
aberta Um sobre a qual existe uma base de sees de E que so covariantemente constantes, e como
m U, podemos supor sem perda de generalidade que U Um = . Mas ento U Um U,
contrariando a maximalidade de U.
1.17 Definio Seja E um fibrado vetorial sobre uma variedade M munido de uma conexo linear D.
Para todo ponto m de M, defina o conjunto dos laos em M baseados em m por
(M, m) = { : I M curva em M | (0) = m = (1) } ,
57
Para quaisquer dois pontos m e m na mesma componente conexa de M, podemos escolher uma curva
: I M qualquer, onde I R um intervalo aberto contendo [0, 1], tal que (0) = m e (1) = m ,
e considerar o isomorfismo linear
U (1, 0) : Em Em
que induz um isomorfismo de grupos de Lie
GL(Em )
A
GL(Em )
U (1, 0) A U (1, 0)1
que transforma Holm (D) em Holm (D). Neste sentido, podemos afirmar que os grupos de holonomia
em diferentes pontos da (mesma componente conexa da) variedade base so todos conjugados.
Finalmente, como mais um conceito importante, introduzimos uma primeira verso da noo de
levantamento horizontal que, entre outras coisas, importante para entender como a teoria das
conexes lineares discutida neste captulo se enquadra na teoria das conexes gerais, a ser apresentada
no prximo.
1.18 Definio Seja E um fibrado vetorial sobre uma variedade M, com projeo : E M, munido
de uma conexo linear D. Considere o pull-back T M do fibrado tangente T M de M para E via ,
cujos pontos so pares (u, v) E T M tais que u Em e v Tm M para algum ponto m de M (veja
a equao (1.75)), sendo que o diagrama comutativo (1.76) assume a seguinte forma: 3
T M
pr2
/ TM
(1.181)
pr1
/M
GG
GG
G
pr1 GG
G#
/ TE
}
}
}}
}} E
}
~}
T M
I
II
II
I
pr2 III
$
TM
/ TE
y
y
yy
yyT
y
|y
(1.182)
(1.183)
3 Como conjunto, T M coincide com a soma direta E T M de E e T M e, antecipando a terminologia a ser introduzida na
Definio 2.6, tambm com o produto fibrado E M T M de E e T M sobre M. Porm, no contexto da presente discusso, o que
importa no a estrutura de fibrado (vetorial ou geral) sobre M e sim a de fibrado vetorial sobre E, pois em relao a esta
que o levantamento horizontal linear ao longo das fibras.
58
Para verificar que o resultado da construo de D (u, v) no depende da curva usada para representar
o vetor tangente v e que a aplicao D assim definida de fato diferencivel, linear no segundo
argumento (quando o primeiro for fixo) e ainda satisfaz a condio de homogeneidade (1.183), basta
considerar a expresso local de D em termos de uma base { e1 , . . . , er } de sees locais e de E e um
sistema de coordenadas locais x em M, ambos definidos em algum aberto U de M, que juntos definem
um sistema de coordenadas locais (x , y ) de E, este definido no aberto 1 (U) de E: escrevendo
D (u, v) = D (u, v)
+ D (u, v)
,
x
y
T s D (u, v) = D (u, v)
+ s D (u, v)
,
x
y
temos, devido ao fato de que s = ,
D (u, v) =
d
d
s (t)
=
(t)
= v ,
dt
dt
t=0
t=0
(t) (s ) (t)
s (t)
= A ((t))
= A (m) v u ,
D (u, v) =
dt
t=0
t=0
de modo que a referida expresso local a seguinte:
D u e , v
= v
x
A u
x
y
(1.184)
59
(e) Existe um sistema de coordenadas globais x para M que so covariantemente constantes, de modo
que os smbolos de Christoffel com respeito ao referencial holnomo { 1 , . . . , n } induzido por este
sistema de coordenadas se anulam identicamente.
(f) O tensor de Riemann R e o tensor de toro T de se anulam identicamente.
Se M for simplesmente conexa, as afirmaes (a)-(c) tornam-se equivalentes afirmao (d), e a
afirmao (e) torna-se equivalente afirmao (f).
De passagem, notamos que a afirmao (e) implica que a variedade M deve ser trivial, isto , difeomorfa
a um aberto de Rn , enquanto que as afirmaes (a)-(c) implicam to somente que o fibrado tangente
T M de M, como fibrado vetorial sobre M, deve ser trivial: neste caso, diz-se que a variedade M
paralelizvel. Para ilustrar que a propriedade de ser paralelizvel substancialmente mais fraca do
que a de ser trivial, basta observar que todo grupo de Lie conexo paralelizvel, mas obviamente nem
todo grupo de Lie conexo trivial como variedade (considere, por exemplo, SU(2) S 3 ).
Demonstrao: A implicao (e) (f) trivial, devido s equaes de estrutura (1.145) e (1.146),
aplicadas ao referencial holnomo { 1 , . . . , n } e seu referencial dual { dx 1 , . . . , dx n }. Assim, a nica
afirmao a ser provada a implicao (f) (e), sob a hiptese adicional de que M seja simplesmente
conexa. Mas j sabemos que neste caso, vale a implicao (d) (c), afirmando que existe um referencial { e1 , . . . , en } de campos vetoriais globais ei sobre M, com referencial dual { e1 , . . . , en } de 1-formas
globais ei sobre M, que so covariantemente constantes, de modo que as formas de Christoffel ji com
respeito a este referencial se anulam identicamente. Aplicando a primeira equao de estrutura (1.145),
conclumos que a hiptese de que o tensor de toro se anule implica dei = 0. Mas M sendo simplesmente conexa, vale 1 (M) = {0} e portanto H1 (M) = {0}; logo, existem funes globais x i sobre M
tais que ei = dx i e ei = /x i .
A escolha de uma conexo linear numa variedade, por si s, permite definir a noo de geodsicas
e de campos vetoriais autoparalelos ao longo de curvas (geodsicas ou no). Para isso, lembramos que
se M uma variedade munida de uma conexo linear e : I M uma curva em M, onde I R
um intervalo aberto, podemos considerar o fibrado vetorial T M sobre I que o pull-back do fibrado
tangente T M de M para I via e cujas sees so chamadas de campos vetoriais sobre M ao longo
de , e observamos que ele vem munido
de , incluindo como exemplo principal a prpria derivada
da conexo linear que o pull-back da conexo linear em T M para I via .
1.19 Definio Seja M uma variedade munida de uma conexo linear , e seja : I M uma curva
em M, onde I R um intervalo aberto. Um campo vetorial sobre M ao longo de chamado
autoparalelo se covariantemente constante sob , ou seja, se
( ) = 0 .
(1.185)
autoparalela, ou seja, se
A curva chamada geodsica se a sua derivada
( )
= 0.
(1.186)
(1.187)
Forger & Antoneli
60
que, para uma curva fixa, um sistema linear de equaes diferenciais ordinrias de primeira ordem
para as componentes i de , enquanto que a equao (1.186) toma a forma
d i
i
(t) + kl
k (t)
l (t) = 0 ,
((t))
dt
(1.188)
(t) + ((t))
(t)
(t) = 0 ,
2
dt
dt
dt
(1.189)
que um sistema quase-linear de equaes diferenciais ordinrias de segunda ordem para as componentes de . Observe que essa equao mostra que geodsicas independem de toro, no sentido de
que a equao geodsica para uma conexo linear a mesma que para qualquer uma das conexes
lineares modificadas conforme a equao (1.171).
uu
uu
u
uu
zu
u
TMI
II
II
II
M II
I$
T M
II T
II M
II
II
$
T 2M
(1.191)
2
M
TM
uu
uu
uu
u
z uu M
u
TM
M
Ento dizemos que um campo vetorial sobre T M que toma valores em T 2 M define uma equao diferencial de segunda ordem em M, porque esta a condio necessria e suficiente para garantir que suas
Forger & Antoneli
61
.)
temos T M = e T M =
A construo direta de T k M, para qualquer inteiro k, procede da seguinte forma. Se M uma
variedade n-dimensional e m um ponto fixo de M, duas curvas 1 e 2 que passam por m, i.e., que
satisfazem a condio 1 (0) = m = 2 (0), so ditas tangentes at ordem k em m se, para alguma
de M em torno de m, as curvas x 1 e x 2 em U,
que ento satisfazem a condio
carta (U, x, U)
x(1 (0)) = 0 = x(2 (0)), so tangentes at ordem k na origem, i.e, se vale
dl
dl
x(
(t))
=
x(
(t))
1
2
l
l
dt
dt
t=0
t=0
para 1 l k .
(1.192)
Como no caso k = 1, essa propriedade no depende da escolha da carta, pois aplicando a regra da cadeia
em conjunto com a regra do produto, podemos mostrar por induo que, dada uma curva qualquer
) de M em torno de m, as derivadas das
em M passando por m e qualquer outra carta (U , x , U
2
dt
x
dt
t=0
t=0
2 x
d
d
+
(0)
x
((t))
x
((t))
.
x x
dt
t=0 dt
t=0
(1.193)
Obviamente, a relao de tangncia entre curvas at ordem k assim definida uma relao de equivalncia, e denotamos por T k M o conjunto de classes de equivalncia assim definido, com a projeo
k
bvia M
: T k M M. Porm, para k > 1, no adequado chamar as correspondentes classes de equivalncia de vetores tangentes de ordem k, uma vez que ao contrrio da lei de transformao (1.5)
a lei de transformao para derivadas superiores (veja, por exemplo, a equao (1.193)) no linear
e portanto no possvel introduzir uma estrutura de espao vetorial no conjunto dessas classes de
equivalncia que seja independente da escolha do sistema de coordenadas locais. Isso significa que,
para k > 1, T k M ao contrrio de T M no um fibrado vetorial sobre M e portanto sua estrutura como fibrado s pode ser entendida por completo no contexto da teoria de fibrados gerais a ser
desenvolvida no prximo captulo.
1.20 Definio
Seja M uma variedade munida de uma conexo linear . O campo geodsico
associado a o campo vetorial X sobre T M obtido como a composio da aplicao diagonal
TM
v
M
TM
(v, v)
62
e neste caso
(1.197)
(1.198)
ou seja: D o aberto5 de T M formado pelos vetores tangentes v tais que a geodsica passando por
m = m (v) e com velocidade inicial v bem definida at (pelo menos) o valor 1 do seu parmetro, e
portanto podemos definir uma aplicao diferencivel exp : D M por
exp (v) = FX (1, v)
para v D .
(1.199)
(1.200)
e
FX (t, v) = exp (tv)
para (t, v) DX .
(1.201)
1.21 Definio Seja M uma variedade munida de uma conexo linear . A exponencial associada a
a aplicao diferencivel exp : D M construdo acima, com domnio maximal D que uma
vizinhana aberta da seo zero em T M. Dizemos que M geodesicamente completa se D = T M,
i.e., qualquer geodsica definida para qualquer valor do seu parmetro.
4 Notamos, de passagem, que um campo vetorial sobre T M satisfazendo as duas condies (1.194) e (1.196) chamado de
spray, e portanto tambm se usa a expresso spray geodsico, ao invs de campo geodsico.
5 Reescrevendo a definio de D na forma D = i1 (D
X ), onde i1 : T M R T M a incluso dada por i1 (v) = (1, v),
1
que contnua, conclumos que D aberto em T M, pois DX aberto em R T M.
63
para todo um Em
um = 0 .
(1.202)
1p
0
0
1q
(1.203)
onde 1k denota a matriz identidade (k k). Obviamente, se a variedade base M for conexa, os nmeros
p e q, alm de serem sujeitos condio p + q = r onde r o posto de E, no dependem de m, pois
por hiptese so funes contnuas de m a valores inteiros. Assim, o par (p, q) um invariante da
mtrica g, chamado a sua assinatura, e dizemos que g
pseudo-riemanniana6 no caso geral de assinatura (p, q) qualquer;
riemanniana quando p = 0, q = r ou p = r , q = 0;
lorentziana quando p = 1, q = r 1 ou p = r 1, q = 1.
Vetores um Em tais que gm (um , um ) = 0, mas um 0, so chamados de tipo luz. Obviamente, no
caso riemanniano, tais vetores no existem. No caso lorentziano, ainda dizemos que vetores um Em
so tipo tempo se gm (um , um ) > 0 (caso p = 1, q = r 1) ou gm (um , um ) < 0 (caso p = r 1, q = 1),
so tipo espao se gm (um , um ) < 0 (caso p = 1, q = r 1) ou gm (um , um ) > 0 (caso p = r 1, q = 1)
e so causais se gm (um , um ) 0 (caso p = 1, q = r 1) ou gm (um , um ) 0 (caso p = r 1, q = 1), ou
seja, se no so tipo espao.
6 Alguns autores preferem o prefixo semi-, em vez de pseudo-. Ns no seguimos essa conveno, tendo em vista que
o prefixo semi- j amplamente usado num contexto diferente, por exemplo em anlise funcional, onde indica funes que
ainda so positivas (ou negativas), porm possivelmente degeneradas, como acontece no caso do conceito fundamental de
uma seminorma.
64
Notamos que, devido sua no-degenerescncia, uma mtrica g em E induz um isomorfismo estrito
de fibrados vetoriais entre E e o seu dual E , que ser denotado por
. : E E .
(1.204)
para um Em ,
(1.205)
para um , um Em ,
(1.206)
(1.207)
A mesma notao ser usada para os isomorfismos correspondentes entre espaos de sees de E e
de E (como mdulos sobre o anel F(M) das funes diferenciveis sobre M):
. : (E) (E ) .
(1.208)
. : (E ) (E) .
(1.209)
Segue que existe uma nica mtrica em E , que novamente ser denotada por g, tal que . e . so
isomtricos. Mais geralmente, notamos que, assim como conexes lineares, mtricas se comportam
naturalmente em relao aos funtores introduzidos na Seo 1.2.3. Em particular, uma mtrica em
um fibrado vetorial induz mtricas em todos os seus descendentes, que a seguir sero coletivamente
denotadas pela mesma letra, afim de simplificar a notao.
A maneira mais fcil de descrever essa construo em termos de expresses locais, retomando a
abordagem adotada na Seo 1.3.4. Por exemplo, se expandirmos a mtrica g em E em termos de uma
base { e1 , . . . , er } de sees locais e de E, conforme a equao (1.69) com (p, q) = (0, 2), ou seja, se
escrevermos
g = g e e com g = g(e , e ) ,
(1.210)
ento conclumos que
e
= g e ,
(1.211)
e mais geralmente, que para as componentes s de uma seo local s de E qualquer e as componentes
s da seo local correspondente s de E , ambas definidos conforme a equao (1.68), vale o mesmo
tipo de frmula,
s = g s ,
(1.212)
pois para todo ,
h e
, e i = g(e , e ) = g = g = g h e , e i = h g e , e i ,
e de modo anlogo,
s = s = s h e , e i = h s , e i = g(s, e ) = s g(e , e ) = g s .
Portanto, se expandirmos a mtrica g em E em termos da base dual { e1 , . . . , er } de sees locais e
de E , conforme a equao (1.69) com (p, q) = (2, 0), ou seja, se escrevermos
g = g e e
Forger & Antoneli
com
g = g(e , e ) ,
(1.213)
65
ento conclumos que a matriz (g ) a inversa da matriz (g ), pois a mtrica em E definida por
g(s , s ) = g(s, s ), implicando que
g = g(e , e ) = g(e
, e ) = g g e , g e
= g g g .
(e ) = g e ,
(1.214)
e mais geralmente, que para as componentes s de uma seo local s de E qualquer e as componentes
s da seo local correspondente (s ) de E, ambas definidos conforme a equao (1.68), vale o mesmo
tipo de frmula,
s = g s .
(1.215)
V
p
p
Agora se expandirmos sees locais s, s de E, s , s de E , t, t de Tq E e , de
E conforme as
equaes (1.68)(1.70), obtemos as seguintes expresses para as funes locais obtidas como produto
escalar entre elas: 7
g(s, s ) = g s s , g(s , s ) = g s s ,
(1.216)
g(t, t ) = g1 1 . . . gp p g
e
g(, ) =
1
p!
2
1 1
1 1
... g
... g
q q
p p
1 ... p
1 ... p
t1 ... q t 1 ... q ,
1 ... p 1 ... p .
(1.217)
(1.218)
As equaes (1.211), (1.212), (1.214) e (1.215) proporcionam a motivao para chamar os isomorfismos (1.204), (1.207), (1.208) e (1.209) de isomorfismos musicais, sendo que . abaixa ndices e .
levanta ndices.
Em particular, no caso de uma mtrica g em uma variedade M, podemos expandir a mtrica em T M
e a mtrica dual em T M em termos de um referencial local { e1 , . . . , en } e do referencial local dual
{ e1 , . . . , en } para M, escrevendo
g = gij ei ej
com
gij = g(ei , ej ) ,
(1.219)
g = g ij ei ej
com
g ij = g(ei , ej ) ,
(1.220)
e
sendo que (g ij ) a matriz inversa a (gij ). Se usarmos o referencial local holonmo { 1 , . . . , n } e o
referencial local holnomo dual { dx 1 , . . . , dx n } induzidos por um sistema de coordenadas locais x
em M, essas expanses assumem a forma
g = g dx dx
g = g( , ) ,
(1.221)
g = g(dx , dx ) ,
(1.222)
com
e
g = g
com
66
Dado um fibrado vetorial E sobre uma variedade M munido de uma mtrica pseudo-riemanniana,
existe uma classe especial de bases de sees locais de E, a saber, as bases ortonormais. Dizemos que
uma base { e1 , . . . , er } de sees locais e de E ortonormal se a correspondente matriz (g ), em
qualquer ponto do seu domnio, tiver a forma padro
!
1p
0
( ) =
.
(1.223)
0 1q
Uma condio mais fraca que ela seja ortogonal, o que significa que a correspondente matriz (g ),
em qualquer ponto do seu domnio, deve satisfazer g = 0 se . Obviamente, devido condio
de no-degenerescncia da mtrica, as sees locais de uma base ortogonal no podem definir vetores
de tipo luz em nenhum ponto do seu domnio, e portanto fcil passar a uma base ortonormal: basta
efetuar uma permutao entre as sees locais e da base ortogonal original para garantir que aspsees
locais e com g > 0 venham antes das sees locias e com g < 0, e dividir cada e por |g |.
(vi+1 , vi+1 )
1
vi + vi+1
2 (vi , vi+1 )
i+1 =
v
(vi+1 , vi+1 )
1+
vi vi+1 .
2 (vi , vi+1 )
i e v
i+1 geram o mesmo subespao bidimensional de V que vi e vi+1 , formando uma base
Ento v
ortogonal deste subespao, pois usando que (vi , vi ) = 0, obtemos
i , v
i+1
v
(vi+1 , vi+1 )
(vi+1 , vi+1 )
(vi , vi+1 ) + 1 +
(vi+1 , vi ) (vi+1 , vi+1 ) = 0 ,
= 1
2 (vi , vi+1 )
2 (vi , vi+1 )
(vi+1 , vi+1 )
1
2 (vi , vi+1 ) + (vi+1 , vi+1 ) = 2 (vi , vi+1 ) ,
2 (vi , vi+1 )
(vi+1 , vi+1 )
i+1 , v
i+1 = 1 +
v
2 (vi , vi+1 ) + (vi+1 , vi+1 ) = 2 (vi , vi+1 ) .
2 (vi , vi+1 )
i , v
i
v
67
(v1 , vi )
v1
(v1 , v1 )
para 2 i n ,
2 , vi )
1 , vi )
(v
(v
1
2
v
v
1 , v
1 )
2 , v
2 )
(v
(v
para 3 i n ,
ou seja,
wi = vi +
para 3 i n ,
68
Dado um fibrado vetorial E de posto r sobre uma variedade M munido de uma mtrica pseudoriemanniana de assinatura (p, q), introduzimos o grupo pseudo-ortogonal O(p, q) de todas as transformaes lineares inversveis de Rr que preservam a forma e a lgebra pseudo-ortogonal so(p, q)
de todas as transformaes lineares de Rr que preservam a forma em nvel infinitesimal. Explici
tamente, em termos de matrizes reais r r , com r = p + q, e usando o smbolo . para denotar a
transposio,
O(p, q) = { A GL(r , R) | A A = } ,
(1.224)
e
so(p, q) = { X gl (r , R) | X + X = 0 } .
(1.225)
O(Em ) = { Am GL(Em ) | Am gm Am = gm } ,
e
so(Em ) = { Xm gl (Em ) | Xm gm + gm Xm = 0 } .
(1.226)
(1.227)
Ento claro que as funes de transio entre duas trivializaes locais admissveis e de E
que correspondem a bases ortonormais de sees locais (veja as equaes (1.33)(1.35)) tomam valores
no grupo pseudo-ortogonal O(p, q).
Passando discusso de conexes lineares em fibrados vetoriais munidos de uma mtrica pseudoriemanniana, temos a seguinte
1.23 Definio Seja E um fibrado vetorial sobre uma variedade M munido de uma mtrica pseudoriemanniana g. Uma conexo linear D em E chamada compatvel com a mtrica g em E se, para todo
campo vetorial X sobre M, vale
DX g = 0 ,
(1.228)
W2
i.e., se g for covariantemente constante em relao conexo linear induzida no fibrado vetorial
E
(que, conforme conveno mencionada no final da Seo 1.3.2, tambm denotada por D). Explicitamente, isto significa que para todo campo vetorial X sobre M e quaisquer duas sees s1 e s2 de E,
vale8
X g(s1 , s2 ) = g(DX s1 , s2 ) + g(s1 , DX s2 ) .
(1.229)
Neste caso, dependendo da assinatura de g, diz-se tambm que D uma conexo pseudo-riemanniana
ou riemanniana ou lorentziana.
Se expandirmos a conexo linear D em E em termos de uma base ortonormal { e1 , . . . , er } de sees
locais e de E e observarmos que a condio de ortonormalidade dessa base implica que as componentes do tensor mtrico em relao correspondente base induzida de sees locais de T20 E ou de T02 E
devem ser funes constantes, podemos aplicar as equaes
DX g = X g A (X)g A (X)g ,
DX g = X g A
A (X)g ,
(X)g
(1.230)
Dk g = k g Ak g Ak g ,
Dk g = k g + Ak g + Ak g ,
8A
(1.231)
equivalncia das condies (1.228) e (1.229) segue combinando as equaes (1.87) e (1.91).
69
que so casos especiais da equao (1.101), j que as equaes (1.210) e (1.213) so casos especiais da
equao (1.69), para concluir que a conexo linear D compatvel com a mtrica g se e somente se a 1forma A a valores matriciais constituda pelas suas formas de conexo locais A
em relao a qualquer
base ortonormal de sees locais toma valores na lgebra pseudo-ortogonal so(p, q). Neste caso, segue
da equao de estrutura (1.132) que a 2-forma F a valores matriciais constituda pelas correspondentes
formas de curvatura locais F tambm toma valores na lgebra pseudo-ortogonal so(p, q). Escrevendo
A (X) = g A (X) ,
F (X, Y ) = g F (X, Y ) ,
(1.232)
F (X, Y ) + F (X, Y ) = 0 .
(1.233)
(1.235)
g = 0 ,
(1.236)
(1.237)
conceito de um fibrado de lgebras de Lie ser definido formalmente na prxima seo, no Exemplo 1.12.
70
T = 0,
(1.238)
[X, Y ] = X Y Y X .
(1.239)
Demonstrao: Primeiro, sob a hiptese de que existe, vamos calcular, para quaisquer trs campos
vetoriais Z, X, Y X(M), a funo g(Z X, Y ), pois isso determina, para quaisquer dois campos vetoriais Z, X X(M), o campo vetorial Z X, uma vez que a mtrica g no-degenerada: Da equao (1.237),
segue que
Z g(X, Y ) + X g(Z, Y ) Y g(Z, X)
(1.240)
f Z g(X, Y ) f X g(Z, Y ) + f Y g(Z, X) f g(Z, [X, Y ]) + f g(X, [Z, Y ]) f g(Y , [Z, X])
se anula. Mas isso bvio, pois aps cancelamento dos termos opostos, resta apenas
(Z f ) g(X, Y ) + (X f ) g(Z, Y ) g Z, (X f )Y g X, (Z f )Y = 0 .
Segundo, mostra-se da mesma forma que a expresso que consta do lado direito da equao (1.240)
F(M)-linear em Z e satisfaz a regra de Leibniz exigida de uma conexo linear (veja a equao (1.84)),
i.e., que vale
2 g f Z X, Y 2f g Z X, Y = 0 ,
2 g Z (f X), Y 2f g Z X, Y 2(Z f ) g(X, Y ) = 0 .
i
k g ij = k g ij + kl
g lj + kl g il ,
Forger & Antoneli
(1.241)
71
(1.242)
i
[ek , el ] = Ckl
ei ,
(1.243)
onde
(veja as equaes (1.159) e (1.160)). Escrevendo
j
i,kl = gij kl ,
(1.244)
(1.245)
1 ij
g
k glj + l gkj j gkl Ck,lj Cl,kj + Cj,kl .
2
(1.246)
i,kl =
ou ainda,
kli =
=
g
g + g g ,
(1.248)
2
com a proprieda de simetria , = , , expressando a propriedade da conexo de Levi-Civita de ter
toro nula, enquanto que se usarmos um referencial local ortonormal, temos
i,kl =
ou ainda,
kli =
com a propriedade de antissimetria i,kl
de preservar a mtrica.
1
Ci,kl Ck,li Cl,ki ,
2
(1.249)
1 ij
g
Cj,kl Ck,lj Cl,kj ,
(1.250)
2
= l,ki , expressando a propriedade da conexo de Levi-Civita
72
(1.252)
(1.253)
R(U, V ; X, Y ) = R(X, Y ; U, V ) .
(1.254)
S4
(1.255)
(1.256)
Todas essas propriedades de simetria podem ser resumidas constatando que o tensor de Riemann totalmente covariante pertence a uma representao irredutvel do grupo de permutaes S4 , caracterizada
pelo diagrama de Young
,
1
tendo 12
n2 (n2 1) componentes independentes (nmero igual dimenso da representao correspondente de GL(n, R)).
Demonstrao: A equao (1.251) segue do fato de que a conexo de Levi-Civita preserva a mtrica.
De fato, aplicando a equao (1.237) vrias vezes, obtemos, para U, V , X, Y X(M),
g U, R(X, Y ) V + g R(X, Y ) U, V
= g U , X Y V Y X V [X,Y ] V + g X Y U Y X U [X,Y ] U , V
= X g(U, Y V ) g(X U, Y V ) Y g(U, X V ) + g(Y U, X V )
[X, Y ] g(U, V )
= X Y g(U, V ) Y X g(U, V ) [X, Y ] g(U, V )
= 0.
A equao (1.252) trivial. A equao (1.255) (que coincide com a equao (1.167)) segue do fato
de que a conexo de Levi-Civita tem toro zero, em conjunto com a identidade de Jacobi para o
Forger & Antoneli
73
colchete de Lie entre campos vetoriais. De fato, aplicando a equao (1.239) vrias vezes, obtemos,
para X, Y , Z X(M),
R(X, Y ) Z + R(Y , Z) X + R(Z, X) Y
= X Y Z Y X Z + Y Z X Z Y X + Z X Y X Z Y [X,Y ] Z [Y ,Z] X [Z,X] Y
= X [Y , Z] + Y [Z, X] + Z [X, Y ] [X,Y ] Z [Y ,Z] X [Z,X] Y
= [X, [Y , Z]] + [Y , [Z, X]] + [Z, [X, Y ]]
= 0.
Finalmente, as condies de antissimetria (1.251) e (1.252) implicam que a condio de ciclicidade (1.255) torna-se equivalente ao conjunto das duas condies de simetria (1.253) e (1.254).
De fato, (1.251), (1.252) e (1.255) implicam (1.253): basta observar que, para U, V , X, Y X(M), vale
R(U, V ; X, Y ) =
1
2 R(U, V ; X, Y )
1
2
1
2
12 R(V , U; X, Y )
R(U, X; Y , V ) + R(U, Y ; V , X) +
R(X, U; V , Y ) + R(X, V ; Y , U) +
1
2 R(X, Y ; U, V )
2 R(Y , X; U, V )
1
2
1
2
R(V , X; Y , U) + R(V , Y ; U, X)
R(Y , U; V , X) + R(Y , V ; X, U)
= R(X, Y ; U, V ) .
Mas ento tambm implicam (1.254), pois (1.251), (1.252) e (1.253) garantem que o lado esquerdo
de (1.255) totalmente antissimtrico em U, Z, X, Y . O mesmo argumento mostra que, reciprocamente,
(1.251), (1.252), (1.253) e (1.254) implicam (1.255).
Outra variante o tensor de (curvatura de) Riemann como endomorfismo de bivetores, ou seja, de
tipo (2, 2), que mais uma vez denotaremos por R, pondo
g U V , R(X Y ) = g U, R(X, Y ) V ,
(1.257)
onde U, V , X, Y X(M) (sendo que, nesta equao, a mtrica g que consta do lado direito a mtrica
original no fibrado tangente T M, enquanto
que a mtrica g que consta do lado esquerdo a mtrica
V2
induzida no fibrado dos bivetores
T M). Este tensor bem definido em funo das propriedades de
simetria (1.252) e (1.253), enquanto que a propriedade de simetria (1.254) expressa
o fato V
de que para
V2
2
Tm M que
todo ponto m de M, seu valor Rm em m constitui uma transformao linear de
Tm M em
simtrica (em relao ao produto escalar induzido gm ) e portanto diagonalizvel: assim, o tensor
de curvatura no ponto m completamente caracterizado, a menos de transformaes de coordenadas
ou, mais geralmente, de mudanas de referenciais, pelos seus n(n 1)/2 autovalores. Em particular,
vale mencionar que nesta caracterizao que se basea a classificao de Bianchi.
Para efetuar clculos, a maneira mais eficiente de trabalhar com os diversos tipos de tensores
de curvatura que aparecem na geometria pseudo-riemanniana em termos de um referencial local
{ e1 , . . . , en } para M. Por exemplo, as definies do tensor de Riemann de tipo (0, 4) e de tipo (2, 2),
equaes (1.251) e (1.257), tornam-se
Rijkl = gim R mjkl ,
(1.258)
e
Fibrados, Conexes e Classes Caractersticas
74
ij
kl
= g jm R imkl ,
(1.259)
Rijkl + Rijlk = 0 ,
Rijkl = Rklij ,
R[ijkl] = 0 ,
(1.260)
e
Rijkl + Riklj + Riljk = 0 .
(1.261)
Reescrevendo a definio do tensor de Ricci, equao (1.164), em termos do tensor de Riemann totalmente covariante, obtemos
Rkl = g ij Rikjl ,
(1.262)
mostrando que o tensor de Ricci simtrico:
Rkl = Rlk .
(1.263)
R = g kl Rkl ,
(1.264)
1
2
gkl R ,
(1.265)
Wijkl = Rijkl
(1.266)
Note que o tensor de Einstein exceto no caso especial n = 2 onde ele se anula identicamente no
igual parte do tensor de Ricci sem trao, que seria a expresso
Rkl
1
n
gkl R .
De fato, os dois tensores contm a mesma informao, pois a frmula (1.265) pode ser invertida para
expressar o tensor de Ricci em termos do tensor de Einstein: definindo
G = g kl Gkl ,
obtemos
2G = (n 2)R ,
e portanto
Rkl = Gkl
1
n2
gkl G .
1
A propriedade especial do tensor de Einstein, que justifica a escolha do fator 2 , ao invs do fator n ,
como coeficiente do segundo termo na definio (1.265), que ele covariantemente conservado, i.e.,
que sua divergncia covariante se anula:
g ik i Gkl = 0 .
Forger & Antoneli
(1.267)
Fibrados, Conexes e Classes Caractersticas
75
= l R .
Quanto ao tensor de Weyl, notamos que ele definido de modo que, alm de satisfazer as mesmas
propriedades de simetria que o tensor de Riemann, enunciadas nas equaes (1.260) e (1.261), todos os
seus traos parciais se anulam, i.e., vale g ik Wijkl = 0 (os demais traos parciais se anulam trivialmente).
Em outras palavras, ele pertence mesma representao irredutvel do grupo de permutaes S4 ,
caracterizada pelo diagrama de Young
,
1
+ + g g ,
(1.269)
para o tensor de Riemann (veja as equaes (1.161) e (1.166)),
R
+ g g g g
+ g g g g
g g ()2 .
(1.270)
(1.271)
(1.272)
(1.273)
Forger & Antoneli
76
Z t2
t1
1/2
(t))
dt g(t) (
(t),
.
(1.274)
Na geometria riemanniana, a mtrica no sentido de tensor mtrico define uma mtrica no sentido
de funo distncia: basta definir a distncia entre dois pontos m1 e m2 de M (mais exatamente, na
mesma componente conexa de M) como sendo o nfimo dos comprimentos de arco de todas as curvas
que ligam m1 e m2 :10
d(m1 , m2 ) = inf
(1.275)
Esta definio ponto de partida de uma teoria rica, culminando no famoso teorema de Hopf-Rinow,
segundo o qual uma variedade riemanniana completa como espao mtrico se e somente se ela for
geodesicamente completa (em relao conexo de Levi-Civita).
Na geometria lorentziana, a noo central e a de estrutura causal, comeando pela distino entre
curvas tipo tempo, tipo espao e tipo luz. Diz-se que uma curva : I M em M, onde I R um
intervalo aberto, uma curva tipo luz, uma curva tipo tempo, uma curva tipo espao ou uma curva
causal se e somente se, em qualquer um dos seus pontos, o seu vetor tangente , respectivamente, um
vetor tipo luz, tipo tempo, tipo espao ou causal. Nota-se que, em princpio, existem curvas que no
(t)) possa se anular ou mudar
so de nenhum tipo fixo, pois nada impede que a funo g(t) (
(t),
de sinal quando variamos t; porm, isso no pode ocorrer quando for uma geodsica, e de modo
geral, tais curvas so descartadas, por serem consideradas patolgicas.
Na prtica, as nicas curvas que aparecem em relatividade geral, pois correspondem a linhas
universo de partculas observadas na natureza, so (a) curvas tipo tempo (para partculas
com massa de repouso m > 0), que podem ser geodsicas (descrevendo partculas em
queda livre) ou no (descrevendo partculas sujeitas a foras externas no gravitacionais), e
(b) geodsicas tipo luz (para partculas com massa de repouso m = 0). Em particular, curvas
tipo luz que no sejam geodsicas no so realizadas na natureza, ou em outras palavras:
no h como acelerar ou decelerar ftons, sendo que a nica maneira de alterar a trajetria
de um fton aniquil-lo (absoro) e criar outro (emisso).
O prximo passo consiste em exigir que a variedade lorentziana sob considerao seja orientvel, e de
fato orientada, no tempo,11 o que permite distinguir, para curvas causais (em particular, para curvas
10 Nesta definio, a propriedade do tensor mtrico ser (positivo ou negativo) definido essencial, pois quando no for,
podem existir curvas com comprimento de arco zero ligando pontos distintos.
11 No mbito da relatividade geral, variedades lorentzianas no orientveis no tempo devem ser descartadas como modelos
de um espao-tempo realstico: so substitudas por um recobrimento duplo apropriado, chamado de recobrimento de
orientao.
77
tipo tempo ou tipo luz), entre curvas direcionadas ao futuro e curvas direcionadas ao passado. Novamente, essas definies so ponto de partida de uma teoria rica, culminando no conceito de variedades
lorentzianas globalmente hiperblicas, que tm se mostrado a arena adequada tanto para a relatividade
geral como para o estudo da teoria de campos em espaos-tempos curvos.
Tqii ( )m i (m) = i
para m U , 1 i k .
(1.276)
Trivializaes locais admissveis que satisfazem esta condio, assim como as correspondentes bases
de sees locais, so chamadas de compatveis com a estrutura.
Dado um fibrado vetorial sobre uma variedade M com fibra tpica E munido de uma estrutura
adicional (, ) como na Definio 1.24, introduzimos o correspondente grupo estrutural G (E) de
todas as transformaes lineares inversveis de E que preservam os tensores i e a correspondente
lgebra estrutural g (E) de todas as transformaes lineares de E que preservam os tensores i em
nvel infinitesimal. Explicitamente,
p
para 1 i k } ,
(1.277)
onde
p
Tq A = |A .{z
. . A} |A1 .{z. . A1} ,
p vezes
(1.278)
q vezes
para 1 i k } ,
(1.279)
12 Existe uma dvida se as estruturas em questo deveriam ser chamadas de algbricas ou de geomtricas: so estruturas
algbricas em cada fibra, mas so geomtricas no sentido de serem parametrizadas pelos pontos da variedade base.
78
onde
p
Dq (X) =
p
X
r =1
1
. . 1} X 1
. . 1}
| .{z
| .{z. . 1} |1 .{z
q
X
s=1
r 1 vezes
pr vezes
q vezes
(1.280)
|1 .{z. . 1} 1
| .{z. . 1} X 1
| .{z. . 1} .
q vezes
p
qs vezes
s1 vezes
Tq (AB) = Tq A Tq B ,
para 1 i k } ,
(1.282)
Ento claro que as funes de transio entre duas trivializaes locais compatveis e de E
(veja as equaes (1.33)(1.35)) tomam valores no grupo estrutural G (E).
Para ilustrar a riqueza e abrangncia do conceito, apresentamos alguns exemplos.
1.9 Exemplo Seja E um fibrado vetorial real de posto r 13 e seja k = 1, p1 = 0, q1 = 2, o que corresponde
a uma estrutura dada por um nico campo de tensores covariantes de grau 2:
(a) Se o tensor for simtrico e no-degenerado (e tiver assinatura (p, q), digamos, com p+q = r ),14
com forma padro dada pela matriz
!
1p
0
=
,
0 1q
ele define uma mtrica nas fibras de E (de assinatura (p, q)) ; neste caso, escrevemos g ao invs
de . Essa situao j foi investigada na seo anterior. O grupo estrutural o grupo pseudoortogonal O(p, q). Notamos que uma trivializao local de E compatvel com uma mtrica g nas
fibras de E, em conjunto com uma base ortonormal da fibra tpica E, corresponde exatamente a
uma base ortonormal de sees locais de E, em que a mtrica g assume a sua forma padro. Para
uma mtrica nas fibras qualquer, a existncia de tais trivializaes locais compatveis garantida
pelo processo de ortogonalizao de Gram-Schmidt (veja a Proposio 1.5 ou [AM, Proposition 3.1.2,
pp. 162-164]).
(b) Se o tensor for antissimtrico e no-degenerado (o que requer que r seja par), com forma padro
dada pela matriz
!
0
1r /2
J =
.
1r /2
0
exemplo, identificamos a fibra tpica E com Rr e o grupo geral linear GL(E) com o grupo de matrizes GL(r , R).
exemplo, reaproveitamos as letras p e q, j que os seus valores no sentido empregado anteriormente, i.e., como
ndices de covarincia, esto fixados como sendo iguais a 0 e 2, respectivamente.
13 Neste
14 Neste
79
ele define uma forma simpltica nas fibras de E; neste caso, escrevemos ao invs de . O grupo
estrutural o grupo simpltico Sp(r , R). Notamos que uma trivializao local de E compatvel com
uma forma simpltica nas fibras de E, em conjunto com uma base cannica da fibra tpica E,
corresponde exatamente a uma base cannica de sees locais de E, em que a forma simpltica
assume a sua forma padro. Para uma forma simpltica nas fibras qualquer, a existncia de tais
trivializaes locais compatveis pode ser garantida por um anlogo do processo de ortogonalizao
de Gram-Schmidt (veja [AM, Proposition 3.1.2, pp. 162-164]).
No caso especial em que E = T M, onde uma 2-forma, dizemos que uma forma quase
simpltica sobre M e que uma forma simpltica sobre M se ela for fechada, i.e., se satisfizer a
condio de integrabilidade15 d = 0.
1.10 Exemplo Seja E um fibrado vetorial real de posto r 13 e seja k = 1, p1 = 0, q1 = r , o que corresponde
a uma estrutura dada por um nico campo de tensores covariantes de grau r . Se o tensor for
antissimtrico e no-nulo, ele define uma forma de volume nas fibras de E; neste caso, escrevemos
ao invs de . O grupo estrutural o grupo especial linear SL(r , R). No caso especial em que E = T M,
onde uma n-forma, dizemos que uma forma de volume sobre M.
1.11 Exemplo Seja E um fibrado vetorial real de posto r 13 e seja k = 1, p1 = 1, q1 = 1, o que corresponde
a uma estrutura dada por um nico campo de tensores mistos de tipo (1, 1), ou seja, um campo
de transformaes lineares (ou de endomorfismos) de E. Neste caso, a questo qual ser a equao
mnima satisfeita por m em cada fibra Em de E, a qual, devido ao postulado de trivialidade local,
independe de m, pois igual equao mnima satisfeita pela forma padro na fibra tpica E de E.
Em particular, temos que m semisimples para todo ponto m de M se e somente se for semisimples:
neste caso, dizemos tambm que semisimples.
(a) Se for uma involuo (e tiver autovalor +1 com multiplicidade p e autovalor 1 com multiplicidade q, digamos, com p+q = r ),16 escrevemos I ao invs de e dizemos que I uma involuo
nas fibras de E (de assinatura (p, q)), sendo que a forma padro dada pela mesma matriz
do exemplo anterior, e a equao mnima I 2 = 1. O grupo estrutural o produto cartesiano de
dois grupos gerais lineares reais, GL(p, R) GL(q, R). Uma estrutura deste tipo corresponde a uma
decomposio de E em soma direta de dois subfibrados vetoriais E + , de posto p, e E , de posto q,
definidos por E = { u E | Iu = u }:
E = E+ E .
De fato, para uma seo I suave de L(E) = End(E) = T11 E = E E satisfazendo I 2 = 1,
a existncia de trivializaes locais compatveis equivalente ao requerimento de que E + e E
sejam subfibrados vetoriais de E.
(b) Se for uma antiinvoluo (o que requer que r seja par), escrevemos J ao invs de e dizemos
que J uma antiinvoluo nas fibras de E, sendo que a forma padro dada pela mesma matriz
J do exemplo anterior, e a equao mnima J 2 = 1. O grupo estrutural o grupo geral linear
complexo GL(r /2, C). Uma estrutura deste tipo corresponde a uma estrutura de fibrado vetorial
complexo em E e portanto chamada de estrutura complexa nas fibras de E. Ela ainda induz uma
decomposio da complexificao E c de E em soma direta de dois subfibrados vetoriais E (1,0) e E (0,1)
15 Uma abordagem sistemtica questo da integrabilidade de estruturas adicionais em fibrados tangentes de variedades e,
mais geralmente, de G-estruturas em variedades encontra-se na Seo 4.4 do Captulo 2.
16 Mais uma vez, reaproveitamos as letras p e q, j que os seus valores no sentido empregado anteriormente, i.e., como
ndices de covarincia, esto fixados como sendo iguais a 1 e 1, respectivamente.
80
(1.283)
(1.284)
81
A notao R, no caso (c), refere-se ao fato de que tais estruturas so encontradas como matrizes R
clssicas, no estudo de sistemas integrveis, onde a condio de integrabilidade N(R) = 0 conhecida
como equao de Yang-Baxter clssica. Para maiores detalhes, veja [CP].
F =
p=0
produto simtrico nas fibras, chamado o fibrado dos tensores simtricos sobre F ;
V
L Vp
F =
F um fibrado de lgebras associativas comutativas graduadas sobre M em
p=0
relao ao produto exterior nas fibras, chamado o fibrado dos tensores antissimtricos ou
fibrado exterior ou fibrado de Grassmann sobre F ;
Nota-se que em alguns casos, tais como os do Exemplo 1.9, a condio de trivialidade local automtica e poderia ter sido omitida da definio. Porm, nos casos dos Exemplos 1.10, 1.11 e 1.12, isso
no verdade em geral. Em particular, considere o fibrado vetorial trivial E = R R3 sobre R, munido
de um comutador definido por
(t, x), (t, y) =
t , f (t) x y
para t R, x, y R3 ,
onde f C (R) tal que f (0) = 0 e f (t) 0 para t 0. Ento cada fibra Et de E uma lgebra de
Lie, que abeliana quando t = 0 e isomorfa a so(3) quando t 0, de modo que no existe trivializao
local admissvel de E em torno de 0 transformando este comutador em um comutador constante na
fibra tpica R3 .
Combinando estruturas adicionais dos tipos descritos nos exemplos anteriores, obtm-se outros
exemplos importantes, tais como uma mtrica hermitiana ou mtrica pseudo-hermitiana h.|.i nas
fibras de um fibrado vetorial complexo E, de posto r : considerando E como fibrado vetorial real, de
posto 2r , munido de uma estrutura complexa nas fibras J (cuja ao representa multiplicao dos
vetores em cada fibra por i), combinamos esta com uma mtrica nas fibras g, riemanniana ou pseudoriemanniana de assinatura (2p, 2q), e uma forma simpltica nas fibras , definindo g como a parte
real e como a parte imaginria de h.|.i,
hu|vi = g(u, v) + i (u, v) .
Fibrados, Conexes e Classes Caractersticas
82
para que valha17 hu|Jvi = ihu|vi = hJu|vi. Assim, cada um dos trs campos tensoriais J, g,
completamente determinado pelos outros dois. O grupo estrutural o grupo unitrio U(r ) ou o grupo
pseudounitrio U(p, q) com p+q = r .
No caso especial em que E = T M e se a mtrica for (positiva ou negativa) definida, dizemos que h.|.i
uma mtrica quase khleriana sobre M e que uma mtrica khleriana sobre M se J e satisfizerem
as condies de integrabilidade15 N(J) = 0 e d = 0.
i.e., se todas as sees i forem covariantemente constantes em relao s respectivas conexes lineares
p
induzidas por D em Tqii E (que, conforme conveno mencionada no final da Seo 1.3.2, tambm so
denotadas por D).
(1.286)
17 Seguimos
18 O
83
leva i ((t)) em i ((t )). Em particular, para todo ponto m de M, o grupo de holonomia
Holm (D) de D em m um subgrupo do grupo estrutural:
Holm (D) G (Em ) .
(1.287)
Captulo 2
85
86
2.1 Definio
(m, q1 )
Q2
(m)(q1 )
(m, q)
Q
(m)(q)
M Q
(m, q)
Q
(m)1 (q)
forem diferenciveis.
2.2 Definio
de
(2.1)
com pr1 = para todo A, chamados de trivializaes locais, tais que para quaisquer
, A com U U , a aplicao
1 : (U U ) Q (U U ) Q
(2.2)
(2.3)
para m U U , q Q .
(2.4)
A seguir, especificaremos um fibrado (E, M, , Q) dizendo que E um fibrado sobre M com projeo
e fibra tpica Q. Para todo ponto m de M, Em = 1 ({m}) a fibra de E sobre m. Finalmente, uma
famlia (U , )A com as propriedades enunciadas acima tambm chamada um atlas de trivializaes locais de E, e adotamos a terminologia usual de atlas equivalentes, de atlas maximais e de
trivializaes locais admissveis, como no caso de fibrados vetoriais.
Forger & Antoneli
87
Note que sempre podemos escrever o espao total de um fibrado geral como a unio disjunta das suas
fibras, o que deixa bvio qual a definio da projeo :
[
E =
Em
,
(u) = m para u Em .
(2.5)
mM
Esta decomposio pode ser vista como uma folheao regular de E por variedades Em mergulhadas
em E como subvariedades e todas difeomorfas variedade modelo Q, sendo que para todo ponto m
de M, podemos escolher uma trivializao admissvel : 1 (U) U Q de E sobre uma vizinhana
aberta U de m em M cuja restrio fibra Em proporciona um difeomorfismo
Em : Em Q .
(2.6)
Para clculos explcitos, til observar que o espao total E de um fibrado geral, visto como variedade,
possui um tipo particular de cartas, construdas a partir de uma carta do espao base M, uma carta
da fibra tpica Q e uma trivializao local de E. Usando a notao de coordenadas locais, podemos
formular esta construo da seguinte forma: combinando um sistema de coordenadas locais x em M
e um sistema de coordenadas locais qi em Q com uma trivializao local de E sobre M, obtemos um
sistema de coordenadas locais (x , qi ) em E que chamaremos de coordenadas locais adaptadas, onde
adaptadas significa adaptadas estrutura de E como fibrado sobre M, em relao projeo .
Ademais, combinando uma transformao de coordenadas locais x x em M e uma transformao
de coordenadas locais qi qk em Q com uma mudana de trivializao local de E sobre M, obtemos
uma transformao de coordenadas locais adaptadas (x , qi ) (x , qk ) em E, onde
x = x (x )
qk = qk (x , qi ) .
(2.7)
Como no caso de fibrados vetoriais, podemos definir a restrio de um fibrado geral a um subconjunto aberto qualquer do seu espao base: dado qualquer subconjunto aberto N de uma variedade M,
um fibrado geral E sobre M com projeo induz, de forma natural, um fibrado geral E|N sobre N
com projeo N chamado a restrio de E a N, definido por E|N = 1 (N) e N = |E|N . (As trivializaes locais admissveis de E|N so obtidas das trivializaes locais admissveis de E por restrio.)
Novamente, essa restrio um caso especial da construo do pull-back de um fibrado geral a ser
apresentada logo adiante. Tambm como no caso de fibrados vetoriais, o exemplo mais simples de um
fibrado geral sobre uma variedade M o fibrado trivial padro definido por
E = M Q
= pr1 .
(2.8)
sendo que para um fibrado geral ser chamado de trivial, basta que seja apenas isomorfo a este. Portanto,
precisamos mais uma vez esclarecer quais so as aplicaes compatveis com a estrutura de fibrado:
essa definio coincide com a primeira parte da Definio 1.10:
2.3 Definio Sejam E e F fibrados gerais sobre variedades M e N com projees E : E M e
F : F N e fibras tpicas QE e QF , respectivamente. Um morfismo ou homomorfismo de fibrados
de E em F um par (f , f) de aplicaes diferenciveis f : E F e f : M N tais que o seguinte
diagrama comuta:
E
/F
(2.9)
/N
88
Novamente, esta definio simplesmente afirma que um homomorfismo de fibrados uma aplicao
diferencivel f entre os espaos totais que preserva fibras, i.e., tal que para e1 , e2 E, vale
E (e1 ) = E (e2 )
F (f (e1 )) = F (f (e2 )) .
(2.10)
De fato, neste caso, a aplicao f : M N pode ser construda a partir da aplicao f : E F pondo
f(E (e)) = F (f (e))
para e E .
(2.11)
(2.12)
para m U, q QE
(2.13)
(2.14)
(2.15)
Se E for trivial, esta sequncia cinde, i.e., Aut(E) o produto semidireto de Auts (E) C (M, Diff(Q))
com Diff(M).
Finalmente, o conceito de seo tambm o mesmo que em fibrados vetoriais.
2.4 Definio Seja E um fibrado geral sobre uma variedade M com projeo : E M e fibra
tpica Q. Uma seo de E uma aplicao : M E que satisfaz = idM , ou seja,
(m) Em
para m M .
(2.16)
Mais geralmente, uma seo de E sobre um aberto N de M uma seo de E|N . Quando no queremos especificar N explicitamente, falamos de uma seo local de E ou, se N for vizinhana de um
determinado ponto m0 de M, de uma seo local de E em torno de m0 .
Forger & Antoneli
89
Novamente, no impomos nenhuma condio especfica a priori sobre como (m) deve depender
de m. A condio mais natural exigir que seja diferencivel, mas nada impede considerar outras
opes, por exemplo sees que so apenas contnuas. Como antes, consideraremos aqui apenas
sees de classe C , e denotaremos o espao de todas as sees de classe C de um fibrado E
sobre M por (E) ou, quando queremos enfatizar o grau de diferenciabilidade, por (E). Se N um
aberto de M, escrevemos (N, E) em vez de (E|N ) ou (N, E) em vez de (E|N ).
Quando E o fibrado trivial padro M Q, podemos escrever (m) = (m, f (m)) e assim estabelecer uma bijeo (M Q) C (M, Q). Portanto, sees de fibrados generalizam aplicaes entre
variedades.
Vale enfatizar que, ao contrrio de um fibrado vetorial que sempre possui a seo zero, um fibrado
geral pode no admitir sees globais. Como veremos mais adiante, isso ocorre, por exemplo, no caso
de fibrados principais no-triviais.
(1 (e1 ), 2 (e2 )) , (pr2 (1 (e1 )), pr2 (2 (e2 )))
Quando a base dos dois fibrados idntica h um outro tipo de produto que providencia um novo
fibrado sobre a mesma base, ao invs de um fibrado sobre o produto cartesiano de duas cpias da
base.
2.6 Definio O fibrado produto de dois fibrados gerais (E1 , M, 1, Q1 ) e (E2 , M, 2 , Q2 ) sobre a
mesma variedade base M o fibrado (E, M, , Q1 Q2 ) sobre M com espao total E = E1 M E2
definido por
E1 M E2 = {(e1 , e2 ) E1 E2 | 1 (e1 ) = 2 (e2 )} ,
(2.17)
Fibrados, Conexes e Classes Caractersticas
90
(2.18)
(1 U 2 )(e1 , e2 ) =
1 (e1 ) = 2 (e2 ) , (pr2 (1 (e1 )), pr2 (2 (e2 )))
(2.19)
/E
(2.20)
/M
( )n = (n) .
(2.21)
E
Logo, a funo de transio
: U U Diff(Q) entre duas trivializaes admissveis de E
E
: 1 (U ) 1 (U ) Diff(Q)
E
=
.
(2.22)
Fibrados, Conexes e Classes Caractersticas
91
E
Portanto, como
e so diferenciveis, a Definio 2.1 implica que
tambm .
2.7 Definio Dados um fibrado geral E sobre uma variedade M com projeo E e uma aplicao
diferencivel : N M de uma outra variedade N em M, o fibrado geral E sobre N com projeo E assim construdo chamado o pull-back de E para N via , e o homomorfismo de fibrados
sobre assim construdo chamado o levantamento cannico de (para E).
gerais
Como antes, a maneira mais concisa e intuitiva (se bem que incompleta) de visualizar essa construo
notar que as fibras dos dois fibrados so idnticas: a mudana da variedade base significa apenas um
reetiquetamento das fibras:
( E)n = E(n)
para n N .
(2.23)
2.2 Exemplo O fibrado produto de dois fibrados (E1 , M, 1, Q1 ) e (E2 , M, 2 , Q2 ) sobre a mesma
variedade base M o pull-back do seu produto cartesiano pela aplicao diagonal : M M M:
E1 M E2 = E1 E2 .
(2.24)
E1 E2 = pr
1 (E1 ) M1 M2 pr2 (E2 ) .
(2.25)
(2.28)
eE
T : T E E|U = T (E|U ) T (U Q) = pr
1 (T M|U ) pr2 (T Q)
Fibrados, Conexes e Classes Caractersticas
92
um isomorfismo de fibrados vetoriais sobre que leva V E E|U = V (E|U ) para {0} pr
2 (T Q).
k
ordenadas locais adaptadas (x , q ) (x , q ) em E (veja a equao (2.7)) induz uma transformao
i ) (x , qk , q
k ) em V E, onde
de coordenadas locais adaptadas (x , qi , q
k =
q
qk i
.
q
qi
(2.29)
(2.30)
Este conjunto um subepao afim do espao vetorial L(Tm M, Te E) de todas as aplicaes lineares de
Tm M para Te E, chamado o espao dos jatos (de primeira ordem) de E em e. O correspondente espao
vetorial de diferenas
J~e E = L(Tm M, Ve E) = { u L(Tm M, Te E) | Te u = 0} ,
(2.31)
(2.32)
eE
de todos os espaos dos jatos (de primeira ordem) e um fibrado afim sobre E, enquanto que o fibrado
dos jatos linearizados (de primeira ordem) a unio disjunta
[
~ =
JE
J~e E
(2.33)
eE
de todos os espaos dos jatos linearizados (de primeira ordem) e um fibrado vetorial sobre E.
~ um subfibrado vetorial do fibrado vetorial
Na verdade, o fato de que JE um subfibrado afim e JE
L( (T M), T E) (T M) T E
(2.34)
sobre E pode ser provado observando que, dada uma trivializao admissvel : E|U U Q de E
sobre um aberto U de M, o produto tensorial do seu levantemento cannico (para T M)
: (T M)E| pr
1 (T M) U Q = pr1 (T M|U )
U
T : T E E|U T (U Q) = pr
1 (T M|U ) pr2 (T Q)
93
T : (T M) T E E| pr
~
de fibrados vetoriais sobre que leva JE E|U para {id} pr
1 (T M|U ) pr2 (T Q) e JE E|U para
{0} pr
1 (T M|U ) pr2 (T Q) . Em particular, temos explicitamente
~ L( (T M), V E) (T M) V E .
JE
(2.35)
Uma propriedade importante do fibrado dos jatos que admite duas projees diferentes, a saber
a projeo alvo (target projection)
: JE E
(2.36)
(2.37)
que sua composio com a projeo original: = . O mesmo vale para o fibrado dos jatos
~ 2 Como j vimos, JE um fibrado afim e JE
~ um fibrado vetorial sobre E, i.e., com
linearizados JE.
respeito projeo alvo, mas ambos so apenas fibrados gerais sobre M, i.e., com respeito projeo
fonte exceto quando E mesmo tiver alguma estrutura adicional.
Para esclarecer a relao entre sees de JE e derivadas de sees de E j mencionada no incio,
observe que dado qualquer ponto m de M e qualquer seo local de E, definida em alguma vizinhana
aberta U de m, com e = (m) E, a aplicao tangente Tm L(Tm M, Te E) a em m pertence ao
subespao afim Je E de L(Tm M, Te E), pois
Te Tm = Tm
= Tm idU
= idTm M .
U
m
JE|U
jm
uma seo de JE sobre U, em relao projeo fonte, que chamamos o jato (de primeira ordem) ou
a derivada de : realmente, derivadas de sees (locais) de E so sees (locais) de JE.
Reciprocamente, qualquer ponto de JE pode ser representado como o jato jm de alguma seo
local de E em torno de m. De fato, seja u JE, e = (u) E e m = (u) = (e) M; ento
usando uma trivializao admissvel : 1 (U) U Q de E sobre alguma vizinhana aberta U
94
Por outro lado, cabe ressaltar que nem toda seo (local) de JE pode ser representado como a
derivada j de alguma seo (local) de E. De fato, toda seo (local) de JE induz uma seo (local)
de E, dada por = , mas claro que, em geral, no vale = j. As sees (locais) de JE que
so da forma j para alguma seo (local) de E so chamadas holnomas.
Na discusso anterior, consideramos sees (locais) de JE como fibrado sobre M, i.e., em relao
projeo fonte. Na prxima seo, tambm consideraremos sees de JE como fibrado sobre E,
i.e., em relao projeo alvo, e veremos que estas podem ser interpretadas como conexes em E.
Destarte, podemos resumir os diferentes tipos de projees e de sees no seguinte diagrama:
K
> JE
E
K
(2.38)
qk x i
qk x
q
+
,
qi x
x x
(2.39)
qk x i
~ .
q
qi x
(2.40)
e
~k =
q
Estas leis de transformao comprovam, mais uma vez e de forma explcita, a natureza de JE como
~ como fibrado vetorial sobre E.
fibrado afim sobre E e a natureza de JE
95
2.10 Definio Uma conexo geral, ou simplesmente conexo, em E dada por qualquer um dos
seguintes trs conceitos (que so equivalentes entre si):
um fibrado horizontal HE, que um subfibrado vetorial de T E complementar ao fibrado vertical
V E:
T E = V E HE ;
(2.41)
uma projeo vertical PV , que um homomorfismo estrito PV : T E T E de fibrados vetoriais
sobre E com PV2 = PV e imagem V E;
uma projeo horizontal PH , que um homomorfismo estrito PH : T E T E de fibrados vetoriais
2
sobre E com PH
= PH e ncleo V E.
Obviamente, PV + PH = idT E , sendo que HE o ncleo de PV e a imagem de PH .
2.3 Exemplo O fibrado trivial padro E = M Q admite uma conexo natural, chamada a conexo
padro: tendo em vista que
T (M Q) = T M T Q ,
(2.42)
e
V (M Q) = pr
2 TQ = M TQ ,
(2.43)
H(M Q) = pr
1 TM = TM Q .
(2.44)
2.2 Proposio Uma conexo geral em E tambm dada pelo conceito do correspondente levantamento horizontal, que pode ser visto como uma seo : E JE de JE como fibrado sobre E, i.e., em
relao projeo alvo.
De fato, uma seo : E JE de JE como fibrado sobre E associa a cada ponto e em E com ponto
base m = (e) em M uma aplicao linear (e) : Tm M Te E que, por satisfazer Te (e) = idTm M ,
injetora e portanto pode ser interpretada como um mergulho do espao tangente Tm M no espao
tangente Te E que transversal ao espao vertical e assim serve para definir um levantamento horizontal
dos vetores tangentes em Tm M para vetores tangentes em Te E. Obviamente, ento,
He E = im( (e))
Fibrados, Conexes e Classes Caractersticas
para e E .
(2.46)
Forger & Antoneli
96
para e E .
(2.47)
(PH )e = (e) Te
para e E .
(2.48)
A = dqi
+ Ai dx
,
(2.49)
i
q
qi
e
=
Ai
.
(2.50)
x
x
qi
A noo de levantamento horizontal pode ser aplicada a vrios objetos na variedade base:
(i) levantamento horizontal de vetores tangentes: dado e E com m = (e) M e vm Tm M,
e Te E como sendo o nico vetor horizontal tal que Te v
e = vm , ou seja,
defina v
e = (e) vm .
v
(2.51)
X(e)
= (e) X(m)
(2.52)
(
(t)) = (t)
(t) H(t) E
para t I ,
para t I ,
(2.53)
(2.54)
,
para (t, e) D
,
para (t, e) D
(2.55)
(2.56)
97
Recordamos que um fluxo em uma variedade X uma aplicao diferencivel F : D X cujo domnio
D um aberto de R X contendo {0} X satisfazendo a condio inicial
F (0, x) = x ,
(2.57)
(2.58)
(2.59)
(2.60)
(t))
(t) ,
dt
dt
(2.61)
para m M
(2.62)
para m M
(2.63)
98
Note que para fibrados vetoriais, essa definio coincide com a anterior pois se E for um fibrado vetorial
sobre M com projeo , ento o fibrado vertical V E de E canonicamente isomorfo ao pull-back E
do prprio E e portanto, para qualquer seo , V E E = ( ) E = E. Neste caso, o
fibrado vetorial do qual a derivada covariante seo torna-se independente da seo original .
2.2.4 Curvatura
A noo de curvatura aparece quando observamos que, ao contrrio do fibrado vertical, o fibrado
horizontal que representa uma determinada conexo no necessariamente involutivo. A curvatura
da conexo mede o quanto o fibrado horizontal correspondente deixa de ser involutivo.
2.12 Definio Dada uma conexo geral em E, com fibrado horizontal HE, projeo vertical PV ,
projeo horizontal PH e forma de conexo A 1 (E, V E), sua curvatura representada pela correspondente forma de curvatura F 2 (E, V E), definida por
F (Z1 , Z2 ) = PV ([PH (Z1 ), PH (Z2 )])
para Z1 , Z2 X(E) .
(2.65)
1
2
i
F
(dx dx )
,
qi
Ai
Ai j
Ai
Ai j
+
A
A
j
x
x
q
qj
(2.66)
!
(2.67)
j
i
i
F
=
F
,
=
F
=
F
A
,
qi
x x
x
x
x
qi x
qj
j
i
= A
A
,
x
qi x
qj
=
=
j
j
Ai
Ai j
A
A i
+
A
A
dqk + Ak dx ,
x qj
x qi
qj
qi
qi qj qk
!
Ai
Ai j
Ai
Ai j
+
A
A
.
x
x
qj
qj
qi
3 As aspas indicam o fato de que, ao contrrio das noes de vetores verticais e de formas horizontais, como formas que
se anulam quando se insere algum vetor vertical, as de vetores horizontais e de formas verticais no possuem nenhum
significado intrnsico, pois dependem justamente da escolha de uma conexo. Neste sentido, a afirmao de que a forma de
conexo vertical, i.e., se anula sobre vetores horizontais, no passa de uma tautologia.
99
2.2.1 Observao Do ponto de vista da interpretao fsica, conexes gerais em um fibrado geral E
sobre uma variedade base M, que interpretada como um modelo do espao-tempo, so sees de um
certo fibrado, mas em relao a uma projeo sobre E e no sobre M, como seria necessrio para que
elas possam ser interpretadas como campos fsicos. No entanto, quando ns nos restringimos a certas
classes especiais de conexes tais como conexes lineares ou conexes principais (a serem discutidas
logo adiante) podemos reescrev-las como sees de um fibrado sobre M, o que permite interpret-las
como campos fsicos e abre o caminho para empreg-las na formulao de teorias de calibre.
Q
gq
(2.68)
de G na fibra tpica Q,
e satisfazendo o postulado de trivialidade local: existem um recobrimento aberto (U )A de M e uma
famlia ( )A de difeomorfismos
: 1 (U ) U Q ,
(2.69)
com pr1 = para todo A, chamados de trivializaes locais, tais que para quaisquer
, A com U U , a aplicao
1 : (U U ) Q (U U ) Q
Fibrados, Conexes e Classes Caractersticas
(2.70)
Forger & Antoneli
100
(2.71)
para m U U , q Q .
(2.72)
A seguir, especificaremos um fibrado com grupo estrutural (E, M, , Q, G) dizendo que E um fibrado
com grupo estrutural G, ou simplesmente um G-fibrado, sobre M com projeo e fibra tpica Q. Para
todo ponto m de M, Em = 1 ({m}) a fibra de E sobre m. Finalmente, uma famlia (U , )A
com as propriedades enunciadas acima tambm chamada um atlas de trivializaes locais de E,
e adotamos a terminologia usual de atlas equivalentes, de atlas maximais e de trivializaes locais
admissveis, como no caso de fibrados vetoriais e de fibrados gerais.
Dada uma ao de G em Q como na equao (2.68), definimos
N = { g G | g q = q para todo q Q } ,
(2.73)
(2.74)
gG
Q
q
(2.76)
Lg (q) = g q
A ao chamada efetiva se N = {1}. Neste caso, o homomorfismo (2.75) injetor e permite considerar
G como subgrupo de Diff(Q) e um fibrado com grupo estrutural G como um fibrado que admite um
atlas de trivializaes locais cujas funes de transio tomam valores neste subgrupo. Note que
sempre podemos supor sem perda de generalidade que a ao seja efetiva: caso contrrio, basta substituir G pelo grupo quociente G/N. Porm, em exemplos concretos, tal substituio nem sempre
conveniente.
Como foi previsto anteriormente, conforme esta definio, fibrados vetoriais com fibra tpica E so
fibrados com grupo estrutural GL(E) e fibrados vetoriais com fibra tpica E e munidos de uma estrutura
adicional (, ) como na Definio 1.24, so fibrados com grupo estrutural G (E).
Uma propriedade importante de um G-fibrado cujo grupo estrutural age efetivamente na sua fibra
tpica que suas funes de transio, em relao a algum atlas (U , )A de trivializaes locais,
satisfazem a condio de cociclo
=
sobre U U U ,
(2.77)
sobre U ,
(2.78)
Fibrados, Conexes e Classes Caractersticas
101
sobre U U .
(2.79)
{} U Q ,
para A, m M, q Q .
m = m = m U U
(m) q = q
Para mostrar que realmente uma relao de equivalncia, observe que a reflexividade segue da identidade (2.78), a simetria segue da condio (2.79) e a transitividade segue da condio de cociclo (2.77),
em conjunto com o fato de que representa uma ao de G em Q. Denotamos a classe de equivalncia
de (, m, q) por [, m, q], o conjunto de tais classes de equivalncia por E e a projeo cannica de
EA sobre E por p. Ento claro que a projeo A : EA M induz uma projeo : E M tal que
A = p , definida por
([, m, q]) = m
para A, m M, q Q .
A natureza da relao de equivalncia acima definida implica que, para todo A, a restrio
da projeo p ao subconjunto {} U Q de EA , que podemos identificar com U Q, uma
bijeo sobre o subconjunto 1 (U ) de E cujo inverso denotaremos por . Obviamente, as funes
de transio associadas a este atlas de trivializaes locais so as funes originais. Finalmente, a
diferenciabilidade das funes implica que podemos usar as bijees para transferir a estrutura
diferencivel das variedades produto U Q para definir a estrutura diferencivel de E em termos da
estrutura diferencivel de suas subvariedades abertas 1 (U ).
A construo descrita nesta demonstrao chamada de amalgamao.
102
esquerda. Estes ocupam uma posio central na teoria, pois todos os outros podem ser obtidos a partir
deles usando um processo conhecido como a construo de fibrados associados. Reciprocamente,
os exemplos mais importantes de fibrados principais so construdos a partir de fibrados vetoriais
ou de fibrados vetoriais munidos de alguma estrutura adicional, por um processo conhecido como a
construo de fibrados de referenciais.
Infelizmente, a simplicidade dessa viso acaba sendo camuflada pelo tratamento da teoria dos
fibrados encontrada na literatura matemtica mais recente sobre a rea: costuma-se deixar o conceito
de fibrado com grupo estrutural de lado e proceder diretamente definio do conceito de fibrado
principal, lanando mo de um ingrediente adicional que permanece sem qualquer motivo aparente, a
saber, uma ao livre direita do grupo estrutural sobre o espao total cujas rbitas coincidem com as
fibras. No que segue, resgatamos a abordagem original e, a nosso ver, muito mais natural, mostrando
que a existncia dessa ao, independente da escolha de trivializaes locais, j segue naturalmente
dos demais axiomas e portanto no precisa ser postulada separadamente.
(p, g)
(2.80)
pg
(2.81)
(m, gh) =
(m, g) h
Forger & Antoneli
para m U , g, h G ,
(2.82)
103
(2.84)
para m U U , g G .
(2.85)
p g
1
se p =
(m, g ) ,
(p g) =
1 (m, g g) = (m , (m) g g) = (m, g g) = (p g) ,
Esta decomposio pode ser vista como uma folheao regular de P por variedades Pm mergulhadas
em P como subvariedades e todas difeomorfas ao grupo estrutural G, porm no so grupos de Lie pois
Fibrados, Conexes e Classes Caractersticas
104
no h em nenhuma delas um elemento distinguido que corresponda unidade de G, sendo que para
todo ponto m de M, podemos escolher uma trivializao equivariante admissvel : 1 (U) U G
de P sobre uma vizinhana aberta U de m em M cuja restrio fibra Pm fornece um difeomorfismo
Pm : Pm G
(2.87)
para m U, g G .
(2.88)
Em particular, isso implica uma afirmao feita anteriormente: fibrados principais constituem uma
classe de fibrados que, geralmente, no admitem sees globais exceto quando so triviais.
Para formalizar a noo de trivialidade no caso de fibrados principais, precisamos dos passos usuais:
as definies da restrio P |N de um fibrado principal P a um subconjunto aberto N do seu espao
base M e do fibrado principal trivial padro, definido por
P = M G
= pr1 ,
(2.89)
so as mesmas que para fibrados gerais, e para um fibrado principal ser chamado de trivial, basta
que seja apenas isomorfo a este, o que requer especificar quais so as aplicaes compatveis com a
estrutura de fibrado principal:
2.16 Definio Sejam P e Q fibrados principais sobre variedades M e N com projees P : P M
e Q : Q N e grupos estruturais G e H, respectivamente. Um morfismo ou homomorfismo de
fibrados principais de P em Q uma tripla (f , f, f) composta de aplicaes diferenciveis f : P Q
e f : M N e de um homomorfismo de grupos de Lie f : G H tais que o diagrama
P
/Q
(2.90)
/N
para p P , g G .
(2.91)
105
tais que f (U) V (caso contrrio, substitumos o aberto U pelo aberto U f1 (V ), desde que este
no seja vazio), a aplicao
f 1 : U G V H
(2.92)
para m U, g G
(2.93)
(2.94)
(2.95)
Se P for trivial, esta sequncia cinde, i.e., Aut(P ) o produto semidireto de Auts (P ) C (M, G)
com Diff(M). Em fsica, o grupo Auts (P ) conhecido como o grupo de (transformaes de) calibre
associado a P .
Tambm observamos que as construes de novos fibrados a partir de fibrados dados que apresentamos na Seo 2.1.2 acima produzem fibrados principais quando usamos fibrados principais como
ponto de partida. Por exemplo, o produto cartesiano (P1 P2 , M1 M2 , 1 2 , G1 G2 ) de dois fibrados principais (P1 , M1 , 1 , G1 ) e (P2 , M2 , 2 , G2 ) (veja a Definio 2.5) um fibrado principal, e o fibrado
produto (P M P2 , M, P1 M P2 , G1 G2 ) de dois fibrados principais (P1 , M, 1 , G1 ) e (P2 , M, 2 , G2 ) sobre
a mesma variedade base M (veja a Definio 2.6) tambm um fibrado principal sobre M; em ambos
os casos, a ao de G1 G2 no o espao total (P1 P2 ou P1 M P2 ) definida a partir das aes de
G1 em P1 e de G2 em P2 de maneira bvia. De modo semelhante, o pull-back ( P , N, P , G) de
um G-fibrado principal sobre M via uma aplicao diferencivel : N M um G-fibrado principal
sobre N; novamente, a ao de G em P definida a partir da ao de G em P de maneira bvia.
4 Em outras palavras, quando falamos de trivializaes (locais) de fibrados principais, frequentemente suprimimos o adjetivo
equivariante.
106
Comparando fibrados principais sober a mesma variedade base M 5 mas com grupos estruturais
diferentes, h dois casos de importncia especial, que requerem terminologia prpria.
2.17 Definio Sejam P e Q fibrados principais sobre uma variedade M com projees P : P M
e Q : Q M e grupos estruturais G e H, respectivamente.
1. Dizemos que Q um subfibrado principal ou uma reduo de grupo estrutural de P , de G
para H,6 se Q uma subvariedade fechada e mergulhada de P e H um subgrupo fechado
de G tal que as incluses iQ,P : Q P e iH,G : H G constituem um homomorfismo estrito
(iQ,P , idM , iH,G ) de fibrados principais sobre M.
2. Dizemos que Q um fibrado principal quociente de P ou ainda que P uma extenso de grupo
estrutural de Q, de H para G,6 em relao a um homomorfismo estrito (f , idM , f) de fibrados
principais sobre M, se f : G H um homomorfismo sobrejetor de grupos de Lie, de modo que
H um grupo quociente de G, H G/ ker f, e assim G se torna uma extenso de H por ker f,
gerando a seguinte sequncia exata de grupos de Lie:
{1} ker f G H {1} .
(2.96)
107
P Q
(2.97)
(p, q) g = (p g , g 1 q)
[p g , q] = [p , g q]
ou
(2.98)
para p P , q Q, g G .
/ P G Q
pr1
(2.99)
/M
para p P , q Q .
(2.100)
2.2 Teorema (construo de fibrado associado) Seja P um fibrado principal sobre uma variedade M
com projeo : P M e grupo estrutural G, e seja Q uma variedade munida de uma ao de G como
na equao (2.68). Definindo P G Q, e Q como acima, temos que
(i) P G Q uma variedade tal que as aplicaes : P G Q M e Q : P Q P G Q so
diferenciveis;
(ii) As flechas verticais no diagrama (2.99) definem fibrados com grupo estrutural G e fibra tpica Q;
(iii) As flechas horizontais no diagrama (2.99) definem fibrados principais com grupo estrutural G;
(iv) Toda trivializao equivariante admissvel : 1 (U) U G de P sobre um aberto U de M induz
uma trivializao Q : 1 (U) U Q de P G Q sobre o mesmo aberto U de M, de modo a
preservar as funes de transio, i.e., a condio de compatibilidade
( 1 )(m, g) = (m, (m)g)
para m U U , g G
para m U U , q Q
108
para m U U , g G
Demonstrao: Comeando com os itens (iv) e (v), suponha que : 1 (U) U G uma trivializao local equivariante admissvel de P , e escreva
(p) = (p), 2 (p)
para p 1 (U) ,
observando que equivarincia de significa que a aplicao 2 : 1 (U) G satisfaz
2 (p g) = 2 (p) g
para p 1 (U), g G .
1
Notando ainda que devido comutatividade do diagrama (2.99), vale Q
( 1 (U)) = 1 (U) Q,
: 1 (U) Q 1 (U) G por
defina Q : 1 (U) U Q e
Q [p, q] = (p), 2 (p) q
para p 1 (U), q Q ,
(p,
q) =
Calculando
[p, q], 2 (p)
(p g) , 2 (p g) (g 1 q) =
para p 1 (U), q Q .
(p) , (2 (p)g) (g 1 q) =
para p 1 (U), q Q, g G ,
(p) , 2 (p) q
equivarincia de :
(p, q)g =
pg , g 1 q = [pg , g 1 q] , 2 (pg) = [p, q] , 2 (p) g =
(p, q)g
para p 1 (U), q Q, g G .
para m U, g G ,
para p 1 (U) ,
, dados por
podemos calcular os inversos de Q e de
1
Q
(m, q) = [ (m), q]
Forger & Antoneli
para m U, q Q ,
Fibrados, Conexes e Classes Caractersticas
109
para p 1 (U), q Q, g G ,
com
[p, q] = (p, q) 2 (p)1 =
((p)) , 2 (p) q
para p 1 (U), q Q ,
((p)) , 2 (p) q
para p 1 (U), q Q, g G ,
para m U U , g G .
1
Aplicando
e pondo g = 1, vem
para m U U ,
e
,2 (p) = ((p))1 ,2 (p)
para p 1 (U U ) .
Portanto,
(( )Q ( )1
Q )(m, q)
1 )([p, q], g) =
((p)) ((p)) , ( ((p))1 ,2 (p)) q g
((p)) , ,2 (p) q ((p)) g
[p, q] , ((p)) g
=
=
((p)) , ,2 (p) q g
para p 1 (U U ), g G .
110
Notamos que essa construo extremamente geral, pois qualquer G-fibrado E sobre M cujo grupo
estrutural age efetivamente na sua fibra tpica pode, a menos de um isomorfismo estrito, ser obtido
como fibrado associado a algum G-fibrado principal P sobre M. De fato, basta escolher um atlas
(U , )A de trivializaes locais de E, com funes de transio : U U G, e aplicar o
mtodo de amalgamao (Teorema 2.1, com Q substitudo por G e a ao (2.68) de G sobre Q substituda
pela ao de G sobre si mesmo por translaes esquerda) para construir um G-fibrado principal P
sobre M; verifica-se ento que o fibrado P G Q associado a P mediante a ao (2.68) de G sobre Q
isomorfo ao fibrado original E. Deixaremos os detalhes desta demonstrao como exerccio para o
leitor.
Quanto a estruturas adicionais, vale o seguinte princpio: qualquer estrutura adicional sobre a fibra
tpica que invariante sob a ao do grupo estrutural herdada pelo correspondente fibrado associado,
i.e., induz uma estrutura correspondente em cada uma das suas fibras que depende diferenciavelmente
dos pontos da variedade base. Um exemplo elementar a seguinte
2.3 Proposio Seja P um fibrado principal sobre uma variedade M com projeo : P M e
grupo estrutural G, e seja E um espao vetorial munido de uma ao de G por isomorfismos lineares,
correspondendo a uma representao
G GL(E) .
(2.101)
Ento o fibrado associado P G E um fibrado vetorial sobre M. Ademais, se F for qualquer funtor
diferencivel covariante na categoria dos espaos vetoriais com isomorfismos e se denotarmos o funtor
induzido na categoria dos fibrados vetoriais sobre M com isomorfismos estritos tambm por F, como no
Teorema 1.3, temos um isomorfismo cannico
F P G E P G F(E) ,
(2.102)
de fibrados vetoriais sobre M, onde o fibrado associado P G F(E) formado usando a representao
de G sobre F(E) induzida pela representao dada de G sobre E. Em particular,
p
p
Tq P G E P G Tq (E) .
(2.103)
Demonstrao:
Para a primeira afirmao, notamos inicialmente que quaisquer dois pontos na
mesma fibra de P G E podem sempre ser escritos na forma [p, e1 ] e [p, e2 ] com p P e e1 , e2 E,
pois para [p1 , e1 ], [p2 , e2 ] P G E com [p1 , e1 ] = [p2 , e2 ], vale (p1 ) = (p2 ) e portanto existe
(um nico) g G tal que p2 = p1 g, o que implica [p2 , e2 ] = [p1 , g e2 ]. Sendo assim, podemos
definir a estrutura de espao vetorial em cada fibra de P G E pela frmula
1 [p, e1 ] + 2 [p, e2 ] = [p , 1 e1 + 2 e2 ]
para p P , 1 , 2 R ou C, e1 , e2 E ,
(2.104)
111
Demonstrao: Usando o isomorfismo cannico (2.103) como identificao, podemos definir a famlia
p
p
finita = {1 , . . . , k } de sees i (Tqii (P G E)) (P G Tqii E) que acompanha a famlia finita
pi
= {1 , . . . , k } de tensores i Tqi E dada, pela frmula
i (m) = [p , i ]
para p P , m = (p) ,
(2.106)
Notamos que o princpio das estruturas herdadas formulado acima mais geral ainda, pois vale
mesmo em situaes no-lineares. Por exemplo, se a fibra tpica for uma variedade pseudo-riemanniana
Q cujo tensor mtrico h G-invariante, de modo que a ao do grupo estrutural G sobre Q por
isometrias, ento o fibrado associado P G Q um fibrado pseudo-riemanniano: cada fibra (P G Q)m
se torna uma variedade pseudo-riemanniana cujo tensor mtrico hm depende diferenciavelmente de m.
E assim por diante.
Finalmente, podemos usar o conceito de fibrado associado tambm para formular um critrio para
a existncia de redues de grupo estrutural.
2.5 Proposio Seja P um fibrado principal sobre uma variedade M com projeo : P M e grupo
estrutural G, e seja H um subgrupo fechado de G. Ento P admite uma reduo de grupo estrutural Q,
de G para H, se e somente se o quociente P /H de P pela ao direita de H, que pode ser identificado
com o fibrado associado P G (G/H) a P mediante a ao natural esquerda de G sobre o espao
homogneo G/H, admite uma seo global, e neste caso, as possveis redues de grupo estrutural Q
de P , de G para H, esto em correspondncia biunvoca com o conjunto de tais sees globais.
A demonstrao um simples exerccio que deixaremos para o leitor.
A importncia da Proposio 2.5 reside no fato de que ela reduz o problema da existncia de redues de grupo estrutural ao da existncia de sees de fibrados, para o qual existe uma teoria bem
desenvolvida em termos de invariantes algbrico-topolgicos conhecidos como classes de obstruo.
Em particular, h uma situao importante em que possvel garantir que no h obstruo nenhuma,
pois segundo um teorema geral, um fibrado com fbra tpica contrtil sempre admite sees globais.
Portanto, vale o seguinte
2.1 Corolrio Seja P um fibrado principal sobre uma variedade M com projeo : P M e grupo
estrutural G, e seja H um subgrupo fechado de G tal que o espao homogneo G/H contrtil. Ento
P sempre admite alguma reduo de grupo estrutural Q, de G para H. Em particular, essa concluso
vlida se G/H Rk por exemplo, quando G for um grupo de Lie redutivo e H for seu subgrupo
maximal compacto.
Uma exposio da teoria geral de obstruo encontra-se na Ref. [S].
112
(frame bundles, em ingls), cuja construo remonta noo do referencial mvel (moving frame,
em ingls) da geometria diferencial elementar de curvas em R3 , sendo que o grau de generalidade
inerente a essa noo j foi plenamente apreciado na obra de lie Cartan. Resumidamente, pode-se
dizer que o fibrado de referenciais o ambiente dentro do qual o referencial mvel se move, ou seja:
o referencial mvel simplesmente uma curva no fibrado dos referenciais que recobre uma curva na
variedade base.
Existem vrias construes de fibrados de referenciais de diferentes tipos, mas comearemos aqui
pelo mais simples entre eles: o fibrado dos referenciais lineares de um fibrado vetorial.
Suponha que E um fibrado vetorial sobre uma variedade M com projeo : E M e fibra
tpica E. Dado um ponto m de M, um referencial linear de E em m uma aplicao linear inversvel
um da fibra tpica E na fibra Em em m . Se fixarmos uma base na fibra tpica E e assim identificarmos
E com Rr ou Cr (dependendo se E for um fibrado vetorial real ou complexo, e supondo que tenha
posto r ), podemos identificar um com a base de Em que imagem da base escolhida de E sob um e
assim concluir que um referencial linear de E em m simplesmente uma base da fibra Em de E em m.
Assim, o conjunto dos referenciais lineares de E em m
Frm (E) = Iso(E, Em ) = um L(E, Em ) | um inversvel .
(2.107)
Note que existe uma ao natural do grupo GL(E) sobre Frm (E) por composio direita, que livre e
transitiva,
Frm (E) GL(E) Frm (E)
,
(2.108)
(um , g)
7 um g
e podemos mostrar que a unio disjunta
Fr(E) =
Frm (E)
(2.109)
mM
o espao total de um fibrado principal sobre M com grupo estrutural GL(E) chamado o fibrado dos
referenciais lineares de E. Para isso, observamos que toda trivializao admissvel E : E|U U E
de E sobre um aberto U de M induz uma trivializao equivariante Fr(E) : Fr(E)|U U GL(E) de Fr(E)
sobre o mesmo aberto U de M: basta definir, para todo ponto m de U, (Fr(E) )m : Frm (E) GL(E) em
termos de (E )m : Em E :
(Fr(E) )m (um ) = (E )m um
(2.110)
Ento bvio que Fr(E) : Fr(E)|U U GL(E) uma bijeo, com bijeo inversa dada por
1
(Fr(E) )1
m (g) = (E )m g
para m U, g GL(E) ,
(2.111)
e que Fr(E) : Fr(E)|U U GL(E) equivariante sob a ao de GL(E) direita. Em termos de sees,
isso significa que (sempre mediante escolha de uma base fixa na fibra tpica E), uma base { e1 , . . . , er }
de sees e de E sobre um aberto U de M corresponde biunivocamente a uma seo de Fr(E) sobre
o mesmo aberto U de M. Tambm claro que essa construo preserva funes de transio, ou seja:
as funes de transio entre trivializaes locais de E e entre as correspondentes trivializaes locais
equivariantes de Fr(E) so as mesmas.
Quando E o fibrado tangente T M da variedade base M, com fibra tpica Rn (n = dim M), escrevemos
Frm (M, GL(n, R)) ao invs de Frm (T M) e Fr(M, GL(n, R)) ao invs de Fr(T M) e chamamos este fibrado
principal o fibrado dos referenciais lineares de M.
Forger & Antoneli
113
Essas construes podem facilmente ser generalizadas a fibrados vetoriais com alguma estrutura
adicional. De fato, suponha que E um fibrado vetorial sobre uma variedade M com projeo : E M
e fibra tpica E, munido de uma estrutura adicional (, ) como na Definio 1.24. Dado um ponto m
de M, um referencial linear de E em m compatvel com ou adaptado a essa estrutura adicional uma
aplicao linear inversvel um da fibra tpica E na fibra Em em m satisfazendo a condio
p
Tqii um i = i (m)
para 1 i k
(veja a equao (1.276)). Assim, o conjunto dos referenciais lineares compatveis ou adaptados de E
em m
Fr,m (E) = Iso (E, Em ) =
um L(E, Em ) |
p
Tqii um
um inversvel e
.
i = i (m) para 1 i k
(2.112)
Como antes, existe uma ao natural, desta vez do grupo G (E) definido na equao (1.277), sobre
Fr,m (E) por composio direita, que livre e transitiva,
Fr,m (E) G (E)
(um , g)
Fr,m (E)
um g
(2.113)
Fr,m (E)
(2.114)
mM
o espao total de um fibrado principal sobre M com grupo estrutural G (E) chamado o fibrado dos
referenciais (lineares) compatveis ou adaptados de E. Para isso, observamos que, pelas mesmas
frmulas que antes (mais precisamente, pelas equaes (2.110) e (2.111), com Fr(E) substitudo
por Fr (E), Frm (E) substitudo por Fr,m (E) e GL(E) substitudo por G (E)), toda trivializao
compatvel E : E|U U E de E sobre um aberto U de M induz uma trivializao equivariante
Fr (E) : Fr (E)|U U G (E) de Fr (E) sobre o mesmo aberto U de M. Em termos de sees, isso
significa que (sempre mediante escolha de uma base compatvel na fibra tpica E), uma base compatvel
{ e1 , . . . , er } de sees e de E sobre um aberto U de M corresponde biunivocamente a uma seo
de Fr (E) sobre o mesmo aberto U de M. Novamente, claro que essa construo preserva funes
de transio, ou seja: as funes de transio entre trivializaes locais compatveis de E e entre as
correspondentes trivializaes locais equivariantes de Fr (E) so as mesmas. Finalmente, claro que
Fr (E) um subfibrado principal de Fr(E), ou seja, uma reduo de grupo estrutural de Fr(E), de GL(E)
para G (E).
Quando E o fibrado tangente T M da variedade base M, com fibra tpica Rn (n = dim M), escrevemos
Frm (M, G ) ao invs de Fr,m (T M) e Fr(M, G ) ao invs de Fr (T M) e chamamos este fibrado principal
o fibrado dos referenciais (lineares) compatveis ou adaptados de M.
2.4 Exemplos Seja E um fibrado vetorial real de posto r 8 e seja k = 1, p1 = 0, q1 = 2, o que corresponde
a uma estrutura dada por um nico campo de tensores covariantes de grau 2, como no Exemplo 1.9.
(a) Se o tensor for simtrico e no-degenerado, ou seja, uma mtrica g nas fibras (e tiver assinatura
(p, q), digamos, com p + q = r ), o grupo estrutural G (E) o grupo pseudo-ortogonal O(p, q);
ento Fr (E) o fibrado dos referenciais ortonormais de E, e quando E = T M, o fibrado dos
referenciais ortonormais de M, denotado por Fr(M, O(p, q)).
8 Como
antes, identificamos a fibra tpica E com Rr e o grupo geral linear GL(E) com o grupo de matrizes GL(r , R).
114
(b) Se o tensor for antissimtrico e no-degenerado, ou seja, uma forma simpltica nas fibras (o
que requer que r seja par), o grupo estrutural G (E) o grupo simpltico Sp(r , R); ento Fr (E)
o fibrado dos referenciais cannicos ou simplticos de E, e quando E = T M, o fibrado dos
referenciais cannicos ou simplticos de M, denotado por Fr(M, Sp(r , R)).
2.5 Exemplos Seja E um fibrado vetorial real de posto r 8 e seja k = 1, p1 = 1, q1 = 1, o que corresponde
a uma estrutura dada por um nico campo de tensores mistos de tipo (1, 1), ou seja, um campo de
transformaes lineares (ou de endomorfismos) de E, como no Exemplo 1.11.
(a) Se for uma involuo I (e tiver autovalor +1 com multiplicidade p e autovalor 1 com multiplicidade q, digamos, com p + q = r ), o grupo estrutural G (E) o produto cartesiano de
dois grupos gerais lineares reais, GL(p, R) GL(q, R); ento Fr (E) o fibrado dos referenciais
adaptados de E, e quando E = T M, o fibrado dos referenciais adaptados de M, denotado por
Fr(M, GL(p, R) GL(q, R)), onde adaptados significa adaptados decomposio direta de E nos
dois subfibrados vetoriais E + e E nos quais vale I = +1 e I = 1, respectivamente (veja o
Exemplo 1.11, (a)).
(b) Se for uma antiinvoluo J (o que requer que r seja par), o grupo estrutural G (E) o grupo
geral linear complexo GL(r /2, C); ento Fr (E) o fibrado dos referenciais lineares complexos
de E, e quando E = T M, o fibrado dos referenciais lineares complexos de M, denotado por
Fr(M, GL(r /2, C)).
Reciprocamente, E , a menos de um isomorfismo, o fibrado associado a Fr(E) mediante a representao
cannica de GL(E) sobre E e tambm o fibrado associado a Fr (E) mediante a representao cannica
de G (E) sobre E,
Fr(E) GL(E) E E , Fr (E) G (E) E E ,
(2.115)
sendo que o referido isomorfismo explicitamente dado por
Fr(E) GL(E) E
[um , e]
E
um (e)
Fr (E) G (E) E
[um , e]
E
um (e)
Segue destas observaes que dado um fibrado vetorial E sobre uma variedade M com projeo
: E M e fibra tpica E, a escolha de uma estrutura adicional (, ) em E como na Definio 1.24
corresponde biunivocamente escolha de uma reduo de grupo estrutural do GL(E)-fibrado principal
Fr(E) dos referenciais lineares de E ao G (E)-fibrado principal Fr (E) dos referenciais lineares compatveis de E. Esse ponto de vista pode ser generalizado para subgrupos fechados quaisquer de GL(E) e,
em um segundo passo, at para grupos de Lie quaisquer, mediante fixao de uma representao na
fibra tpica que pode at ter um ncleo no-trivial, o que nos leva a adotar a seguinte
2.19 Definio Seja E um fibrado vetorial sobre uma variedade M com projeo : E M e fibra
tpica E, e seja G um grupo de Lie com uma representao
G GL(E) .
(2.116)
115
(2.118)
de equivalncia [] de sees de
E , onde equivalente a se e somente se existe uma funo
f F(M) tal que f > 0 e = f . No caso especial em que E = T M, onde uma forma de volume,
dizemos que [] uma orientao de M. O grupo estrutural, neste caso, G = GL0 (r , R), que a
componente conexa de 1 de GL(r , R).9 Com esta escolha de G, o correspondente G-fibrado principal
P Fr(E) chamado o fibrado dos referenciais orientados de E, e quando E = T M, o fibrado dos
referenciais orientados de M, denotado por Fr(M, GL0 (r , R)), pois um referencial linear um Frm (E),
r
visto como aplicao
Vr linear
Vr inversvel
Vr urm : R Em , pertence a Pm se e somente se o isomorfismo
linear induzido
um :
Em
(R ) levar qualquer forma (m) representando a orientao
da fibra Em em um multiplo positivo da forma volume padro de Rr .
2.7 Exemplo Seja E um fibrado vetorial real de posto r .8 Uma estrutura conforme nas fibras de E (de
assinatura (p, q)) uma classe de equivalncia [g] de mtricas nas fibras de E (de assinatura (p, q)),
onde g equivalente a g se e somente se existe uma funo f F(M) tal que f > 0 e g = f g.
No caso especial em que E = T M, onde g uma mtrica, dizemos que [g] uma estrutura conforme
em M. O grupo estrutural, neste caso, o produto cartesiano G = R+ O(p, q), onde o fator R+
representa as dilataes, ou seja, multiplicao com escalares > 0 nas fibras (as quais comutam com
qualquer outra transformao linear). Com esta escolha de G, o correspondente G-fibrado principal
P Fr(E) chamado o fibrado dos referenciais ortonormais conformes de E, e quando E = T M, o
fibrado dos referenciais ortonormais conformes de M, denotado por Fr(M, R+ O(p, q)), pois um
r
referencial linear um Frm (E), visto como aplicao
W2 linear
W2 inversvel
W2 r um : R Em , pertence a Pm se
e somente se o isomorfismo linear induzido
um :
Em
(R ) levar qualquer tensor g(m)
representando a estrutura conforme da fibra Em em um mltiplo positivo do tensor padro de Rr .
Observe que em ambos os casos, o grupo estrutural ainda definido como um subgrupo de estabilidade
do grupo geral linear, mas no em relao a uma ao linear em algum espao vetorial (representao)
e sim a uma ao no-linear em um certo espao projetivo, pois o que preservado sob a ao do grupo
estrutural no so tensores e sim as classes de certos tensores no seu respectivo espao projetivo.
Quanto existncia de G-estruturas, temos a seguinte afirmao, que apenas um caso especial da
Proposio 2.5.
9O
grupo geral linear (real) tem exatamente duas componentes conexas, distinguidas pelo sinal do determinante.
116
2.6 Proposio Seja E um fibrado vetorial sobre uma variedade M com projeo : E M e fibra
tpica E, e seja G um subgrupo fechado do grupo geral linear GL(E). Ento E admite uma G-estrutura
P Fr(E) se e somente se o quociente Fr(E)/G de Fr(E) pela ao direita de G, que pode ser identificado
com o fibrado associado Fr(E) GL(E) (GL(E)/G) a Fr(E) mediante a ao natural esquerda de GL(E)
sobre o espao homogneo GL(E)/G, admite uma seo global, e neste caso, as possveis G-estruturas
P Fr(E) esto em correspondncia biunvoca com o conjunto de tais sees globais.
Finalmente, cabe ressaltar uma outra vantagem do conceito de G-estrutura introduzido na Definio 2.19: ele admite a opo de G no ser um subgrupo fechado de GL(E) e sim um recobrimento de
um subgrupo fechado de GL(E) ou mesmo uma extenso de um subgrupo fechado de GL(E) por um
outro grupo de Lie, no necessariamente discreto. Como exemplo importante, isso permite incluir a
noo de estruturas spin e estruturas spin estendidas um tema de grande importncia em geometra
pseudo-riemanniana e que ser abordado na ltima seo deste captulo. Neste caso, porm, o critrio
da Proposio 2.6 para a existncia de G-estruturas no se aplica.
para m U ,
(2.119)
e que uma seo local de Fr(M, GL(n, R)) holnoma se cada ponto do seu domnio possui uma
vizinhana aberta nele contida sobre a qual ela holnoma. Dada uma G-estrutura em M como na
Definio 2.19, dizemos que uma seo de P sobre um aberto U de M ou uma seo local de P
holnoma se sua composio com o homomorfismo f , i.e., a seo f de Fr(M, GL(n, R)), o for.
de M com domnio U tal
Neste caso, um sistema de coordenadas locais dado por uma carta (U, x, U)
que a aplicao tangente T x a x propociona uma seo holnoma de P sobre U chamado admissvel
para a G-estrutura P . Finalmente, a referida G-estrutura chamada integrvel se todo ponto m de M
possui uma vizinhana aberta sobre a qual P admite uma seo holnoma.
Como j foi mencionado (para o caso mais geral do fibrado Fr(E) dos referenciais lineares de um fibrado
vetorial E qualquer), uma seo de Fr(M, GL(n, R)) sobre um aberto U de M corresponde biunivocamente a uma base {e1 , . . . , en } de campos vetoriais sobre U. Ento claro que a referida seo ser
holnoma se e somente se essa base for a base coordenada {1 , . . . , n } correspondente a algum sistema
de coordenadas x sobre U. Assim, sees locais de Fr(M, GL(n, R)) correspondem biunivocamente
a referenciais locais para M, e sees locais holnomas a referenciais locais holnomos; veja a discusso na parte final da Seo 2.2 do Captulo 1 e, em particular, a Proposio 1.2. Em particular, o
fibrado Fr(M, GL(n, R)) sempre possui sees locais holnomas, em torno de qualquer ponto de M: ele
sempre (trivialmente) integrvel. No entanto, para G-estruturas em geral (mesmo com G GL(n, R)),
isso est longe de ser verdade, como j pode ser percebido a partir da observao que sees holnomas so dadas por sistemas de coordenadas admissveis e que a matriz jacobiana x /x da transformao entre dois sistemas de coordenadas admissveis x e x deve tomar valores em G. Alguns
dos mais importantes teoremas da geometria diferencial proporcionam critrios de integrabilidade para
Forger & Antoneli
117
(2.120)
(2.121)
Esta propriedade, em conjunto com o fato de que Fr(idM , GL(n, R)) = idFr(M,GL(n,R)) , significa que
Fr( . , GL(n, R)) um funtor covariante da categoria das variedades n-dimensionais para a categoria
dos fibrados principais com grupo estrutural GL(n, R), o funtor dos referenciais lineares. Portanto,
Fr( . , GL(n, R)) leva difeomorfismos entre variedades n-dimensionais em isomorfismos dos correspondentes fibrados de referenciais e difeomorfismos de uma variedade n-dimensional fixa em automorfismos do correspondente fibrado de referenciais, proporcionando um homomorfismo cannico
de grupos
Diff(M) Aut(Fr(M, GL(n, R)))
(2.122)
7
Fr(, GL(n, R))
que define uma ciso da sequncia exata de grupos (2.95) (com P substitudo por Fr(M, GL(n, R))).
Tambm claro, a partir das definies e pela regra da cadeia, que se : M N um difeomorfismo,
ento composio com Fr(, GL(n, R)) : Fr(M, GL(n, R)) Fr(N, GL(n, R)) esquerda e com
1 : N M direita, que leva sees (locais) de Fr(M, GL(n, R)) em sees (locais) de Fr(N, GL(n, R)),
leva sees (locais) holnomas em sees (locais) holnomas.
Posto isso, considere duas G-estruturas P e Q em variedades n-dimensionais M e N, respectivamente, P Fr(M, GL(n, R)) e Q Fr(N, GL(n, R)); ento um difeomorfismo : M N chamado
um isomorfismo entre as duas G-estruturas se Fr(, GL(n, R))(P ) = Q, de modo que Fr(, GL(n, R)) :
Fr(M, GL(n, R)) Fr(N, GL(n, R)) induz um isomorfismo de G-fibrados principais entre elas.
Se N = M e Q = P , dizemos que um automorfismo da G-estrutura. Finalmente, um campo
vetorial X sobre M chamado um automorfismo infinitesimal da G-estrutura P se X gera um grupo
local a um parmetro de automorfismos de P . Claramente, o conjunto de automorfismos de uma Gestrutura P um subgrupo de Diff(M), implicando que o conjunto dos automorfismos infinitesimais
de uma G-estrutura P uma sublgebra de Lie da lgebra de Lie X(M) de todos os campos vetoriais
sobre M. Dependendo do tipo de estrutura, este subgrupo de Diff(M) e esta sublgebra de X(M) podem ter dimenso finita (e, neste caso, o grupo de automorfismos se torna um grupo de Lie e a lgebra
dos automorfismos infinitesimais se torna sua lgebra de Lie), mas tambm h casos em que ambos
continuam tendo dimenso infinita.
Fibrados, Conexes e Classes Caractersticas
118
Novamente, uma grande classe de exemplos obtida considerando variedades com alguma estrutura
adicional no seu fibrado tangente. De fato, suponha que M uma variedade M munida de uma estrutura
adicional (, ) no seu fibrado tangente, como na Definio 1.24, e como antes, seja Fr(M, G ) o fibrado
dos referenciais lineares compatveis de M, agora visto como uma G -estrutura em M. Ento a definio
do pull-back de campos tensoriais sob difeomorfismos da variedade subjacente e a definio da
derivada de Lie de campos tensoriais implicam que
um difeomorfismo de M um automorfismo de Fr(M, G ) se e somente se deixa os campos
p
tensoriais i Tqii (M) invariantes, i.e.,
i = i
para 1 i k ,
(2.123)
para 1 i k .
(2.124)
Conclumos esta seo apresentando uma srie de exemplos clssicos de G-estruturas, para
reforar o ponto de vista que todas as estruturas geomtricas em variedades estudadas na geometria
diferencial so G-estruturas. Nestes exemplos, ainda temos que o grupo de Lie G um subgrupo
fechado de GL(n, R) e sua lgebra de Lie g uma sublgebra de gl (n, R): exemplos onde isso deixa de
ser verdade sero discutidos na Seo 2.6 deste captulo. Conforme a Proposio 2.6, um ingrediente
importante para descrever tais estruturas de forma mais explcita expressar o espao homogneo
GL(n, R)/G em termos de objetos mais familiares.
2.8 Exemplo G = GL(n, R), g = gl (n, R). Obviamente, toda variedade admite uma nica G-estrutura
deste tipo, que o prprio fibrado dos referenciais lineares Fr(M, GL(n, R)), e obviamente esta sempre
integrvel. Os automorfismos desta estrutura so todos os difeomorfismos de M e os automorfismos
infinitesimais so todos os campos vetoriais sobre M.
2.9 Exemplo
A GL(n, R) | det A = 1 ,
X gl (n, R) | tr X = 0 .
GL(n, R)/SL(n, R)
Vn
(Rn ) \ {0} ,
(2.125)
(2.126)
(2.127)
Vn n
pois considerando a representao do grupo GL(n, R) no espao
(R ) induzida por sua
n
representao
cannica
em
R
,
e
notando
que
essa
proporciona
uma
ao
transitiva de GL(n, R)
Vn n
no conjunto
(R ) \ {0} das formas de volume sobre Rn , conclumos que o subgrupo SL(n, R)
exatamente o grupo de estabilidade de qualquer uma destas formas. Assim, a escolha de uma
SL(n, R)-estrutura em M corresponde exatamente escolha de uma forma de volume sobre M.
119
(b) G = GL0 (n, R), g = gl (n, R), onde GL0 (n, R) denota a componente conexa de 1 de GL(n, R),
GL0 (n, R) = A GL(n, R) | det A > 0 R+ SL(n, R) ,
(2.128)
gl (n, R) R sl (n, R) .
(2.129)
10
(2.130)
pois, neste caso, o espao vetorial subjacente unidimensional. Assim, a escolha de uma GL0 (n, R)estrutura em M corresponde escolha de uma orientao de M: ela pode ser vista como uma
classe de equivalncia [] de formas de volume sobre M onde duas tais formas so consideradas
equivalentes se cada uma delas pode ser obtida da outra por multiplicao com uma funo positiva
sobre M. Uma variedade M que admite uma orientao (e ento, se for conexa, admite exatamente
duas orientaes opostas) chamada uma variedade orientvel, e a escolha de uma orientao a
torna uma variedade orientada.
Existncia: Uma variedade M admite uma G-estrutura, de qualquer um destes dois tipos, se e somente
se a sua primeira classe de Stiefel-Whitney, w1 (M) H 1 (M, Z2 ), for igual a 0. (Veja, por exemplo,
[HUS, Chapter 16, Theorem 12.1, p. 246].)11
Integrabilidade: Qualquer G-estrutura de qualquer um destes dois tipos sempre integrvel.
Para estabelecer que a definio de orientabilidade dada aqui coincide com a definio usual
em termos da existncia de um atlas com funes de transio de determinante > 0 e,
ao mesmo tempo, provar as afirmaes de integrabilidade automtica, considere um sistema de coordenadas locais x em torno de um ponto qualquer de M, correspondendo a
tal que U
seja um hipercubo em Rn (produto de n intervalos abertos)
uma carta (U, x, U)
em torno da origem. Para esta carta ser compatvel com uma dada GL0 (n, R)-estrutura
ou SL(n, R)-estrutura, a primeira representada por uma classe de equivalncia [] de
formas de volume e a segunda por uma forma de volume especfica , a base coordenada
correspondente {1 , . . . , n } deve satisfazer (/x 1 , . . . , /x n ) > 0, com qualquer representante de [], para a primeira, e (/x 1 , . . . , /x n ) = 1, para a segunda: caso
contrrio, devemos efetuar uma transformao de coordenadas locais x x adequada.
No caso de uma GL0 (n, R)-estrutura, isto trivial: se a funo (/x 1 , . . . , /x n ) for ne e portanto U
gativa no referido ponto de M, ela ser negativa no domnio U inteiro (j que U
so conexos), e assim basta trocar x 1 e x 2 . No caso de uma SL(n, R)-estrutura, introduzimos
definida por f = (/x 1 , . . . , /x n ) x 1 e pomos
a funo f sobre U
Z x1
1
x =
dt f (t, x 2 , . . . , x n ) , x 2 = x 2 , . . . , x n = x n
0
120
2.10 Exemplo
(a) G = O(p, q), g = so(p, q), com n = p+q, onde, conforme as equaes (1.224) e (1.225),
O(p, q) =
so(p, q) =
W2
X gl (n, R) | X + X = 0 .
A GL(n, R) | A A = ,
no-degenerada de assinatura (p, q) ,
(Rn ) g
(2.131)
(2.132)
(2.133)
121
W2 n
pois considerando a representao do grupo GL(n, R) no espao
(R ) induzida por sua
representao cannica em Rn e, notando que, como resultado do processo de ortogonalizao
de Gram-Schmidt (veja o Lema 1.1 ou [AM, Proposition 3.1.2, pp. 162-164]), essa representao proporciona uma ao transitiva de GL(n, R) em cada conjunto de formas bilineares simtricas nodegeneradas de uma determinada assinatura (p, q) sobre Rn ,12 conclumos que (a menos de conjugao) o subgrupo O(p, q) exatamente o grupo de estabilidade de qualquer uma destas formas.
Assim, a escolha de uma O(p, q)-estrutura em M corresponde exatamente escolha de uma
mtrica pseudo-riemanniana g de assinatura (p, q) sobre M, tornando M (ou melhor, (M, g)) uma
variedade pseudo-riemanniana.
(b) G = CO(p, q) = R+ O(p, q), g = co(p, q) = Ro(p, q), com n = p+q, onde consideramos CO(p, q)
como subgrupo de GL(n, R) e co(p, q) como sublgebra de gl (n, R) atravs da identificao
(2.136)
Assim, a escolha de uma CO(p, q)-estrutura em M corresponde escolha de uma estrutura conforme de assinatura (p, q) sobre M: ela pode ser vista como uma classe de equivalncia [g] de
mtricas pseudo-riemannianas g de assinatura (p, q) sobre M onde duas tais mtricas so consideradas equivalentes, e ditas conformemente equivalentes, se cada uma delas pode ser obtida da
outra por multiplicao com uma funo positiva sobre M.
Existncia: No caso riemanniano (p = 0 ou q = 0), uma variedade M sempre admite uma G-estrutura,
de qualquer um destes dois tipos, enquanto que no caso pseudo-riemanniano, tal exigncia impe condies topolgicas no-triviais:13 por exemplo, sabe-se que no caso lorentziano (p = 1 ou q = 1), uma
variedade M admite uma G-estrutura deste tipo se e somente se ela satisfaz uma das duas seguintes
condies: (a) ela no compacta ou (b) ela compacta com caracterstica de Euler igual a zero.
Integrabilidade: Uma O(p, q)-estrutura integrvel se e somente se o tensor de Riemann R associado mtrica g correspondente se anula, e de modo semelhante, uma CO(p, q)-estrutura integrvel
se e somente se o tensor de Weyl W associado estrutura conforme [g] correspondente se anula.
De fato, para que um sistema de coordenadas locais x em torno de um ponto qualquer de M seja
compatvel com uma dada O(p, q)-estrutura ou CO(p, q)-estrutura, a primeira representada por uma
mtrica pseudo-riemanniana g de assinatura (p, q) e a segunda por uma classe de equivalncia [g] de
mtricas pseudo-riemannianas g de assinatura (p, q), as componentes g de g em relao base coordenada correspondente {1 , . . . , n } devem satisfazer g = , para a primeira, e g = exp(2 )
com uma funo , para a segunda (onde g qualquer representante da sua classe): porm, neste caso,
122
123
2.11 Exemplo
GL(n, R)/Sp(n, R)
A GL(n, R) | A J A = J ,
X gl (n, R) | X J + J X = 0 .
V2
no-degenerada ,
(Rn )
(2.137)
(2.138)
(2.139)
V2 n
pois considerando a representao do grupo GL(n, R) no espao
(R ) induzida por sua representao cannica em Rn e, notando que, como resultado de um processo anlogo ao de ortogonalizao
de Gram-Schmidt (veja [AM, Proposition 3.1.2, pp.162-164]), essa representao proporciona uma ao
transitiva de GL(n, R) no conjunto das formas bilineares antissimtricas no-degeneradas sobre Rn ,
conclumos que (a menos de conjugao) o subgrupo Sp(n, R) exatamente o grupo de estabilidade
de qualquer uma destas formas. Assim, a escolha de uma Sp(n, R)-estrutura em M corresponde exatamente escolha de uma forma quase simpltica sobre M, tornando M (ou melhor, (M, )) uma
variedade quase simpltica.
Existncia: Mencionamos apenas que a exigncia de que uma variedade M admita uma G-estrutura
deste tipo impe condies topolgicas no-triviais, que no discutiremos aqui.
Integrabilidade: Uma Sp(n, R)-estrutura integrvel se e somente se a derivada exterior d da forma
se anula. De fato, para que um sistema de coordenadas locais x em torno de um ponto qualquer de M
seja compatvel com uma dada Sp(n, R)-estrutura, representada por uma forma quase simpltica , as
componentes de em relao base coordenada correspondente {1 , . . . , n } devem satisfazer
= J . Assim, fica evidente que as componentes + + da derivada exterior
de em relao a este sistema de coordenadas locais se anulam. Reciprocamente, se a derivada exterior d de uma forma quase simpltica se anula, um teorema importante da geometria diferencial,
conhecido como o teorema de Darboux [AM, Theorem 3.2.2, p. 175], garante que possvel construir
coordenadas locais, em torno de cada ponto de M, em relao s quais as componentes de so constantes (e iguais s de J). Portanto, a escolha de uma Sp(n, R)-estrutura integrvel em M corresponde
exatamente escolha de uma forma simpltica sobre M, tornando M (ou melhor, (M, )) uma
variedade simpltica.
Automorfismos: Um automorfismo de uma Sp(n, R)-estrutura um difeomorfismo de M que preserva a forma quase simpltica , i.e., que satisfaz
= ,
e chamado um simplectomorfismo ou uma transformao cannica de M, enquanto que um automorfismo infinitesimal um campo vetorial X sobre M que satisfaz
LX = 0 ,
e chamado um campo localmente hamiltoniano sobre M. Mencionamos que para este tipo de Gestrutura, o grupo dos automorfismos (= grupo de simplectomorfismos) e a correspondente lgebra
dos automorfismos infinitesimais ainda so grandes: tm dimenso infinita.
124
2.12 Exemplo
gl (p, R) gl (q, R) =
(2.140)
(2.141)
dim ker(I 1) = p
I L(Rn ) I2 = 1 com
,
dim ker(I + 1) = q
(2.142)
pois considerando a representao do grupo GL(n, R) no espao L(Rn ) induzida por sua representao cannica em Rn , e notando que, devido ao fato de que uma involuo em Rn sempre diagonalizvel, essa representao proporciona uma ao transitiva de GL(n, R) no conjunto das involues
em Rn com uma determinada multiplicidade dos seus autovalores (p para +1 e q para 1), conclumos
que (a menos de conjugao) o subgrupo GL(p, R) GL(q, R) exatamente o grupo de estabilidade
de qualquer uma destas involues. Assim, a escolha de uma (GL(p, R) GL(q, R))-estrutura em M
corresponde exatamente escolha de uma involuo I de assinatura (p, q) no seu fibrado tangente,
ou ainda, a uma decomposio direta do seu fibrado tangente na soma direta de duas distribuies
transversais de dimenses p e q, que so as suas autodistribuies.
Existncia: Mencionamos apenas que a exigncia de que uma variedade M admita uma G-estrutura
deste tipo impe condies topolgicas no-triviais, que no discutiremos aqui.
Integrabilidade: Uma (GL(p, R) GL(q, R))-estrutura integrvel se e somente se o tensor de Nijenhuis N(I) da involuo I se anula, ou ainda, se e somente se as suas autodistribuies so involutivas.
De fato, para que um sistema de coordenadas locais x em torno de um ponto qualquer de M seja
compatvel com uma dada (GL(p, R) GL(q, R))-estrutura, representada por uma involuo I de
assinatura (p, q), as componentes I de I em relao base coordenada correspondente {1 , . . . , n }
devem satisfazer I = . Assim, a definio (1.284) do tensor de Nijenhuis (com R substitudo por I
e usando que I 2 = 1) mostra que as componentes N(I) do tensor de Nijenhuis em relao a este
sistema de coordenadas locais se anulam. Reciprocamente, se o tensor de Nijenhuis N(I) associado a
uma involuo I se anula, um teorema importante da geometria diferencial, conhecido como o teorema
de Frobenius, garante que possvel construir coordenadas locais, em torno de cada ponto de M, em
relao s quais as componentes de I so constantes (e iguais s de ). Portanto, a escolha de uma
(GL(p, R)GL(q, R))-estrutura integrvel em M corresponde exatamente escolha de duas folheaes
transversais de M, decompondo M (localmente) no produto cartesiano de duas subvariedades.
Automorfismos: Um automorfismo de uma (GL(p, R)GL(q, R))-estrutura um difeomorfismo de M
que preserva a involuo I, i.e., que satisfaz
I = I ,
o que, no caso integrvel, equivale condio de que ele preserva as folheaes integrais de I, enquanto
que um automorfismo infinitesimal um campo vetorial X sobre M que satisfaz
LX I = 0 ,
Forger & Antoneli
125
o que, no caso integrvel, equivale condio de que seu fluxo preserva as folheaes integrais de I.
Mencionamos que para este tipo de G-estrutura, o grupo dos automorfismos (= grupo de difeomorfismos preservando duas folheaes transversais) e a correspondente lgebra dos automorfismos infinitesimais ainda so grandes: tm dimenso infinita.
Um problema que, talvez surpreendentemente, se mostra bem mais difcil analisar a G-estrutura que
descreve apenas uma distribuio, ou no caso integrvel, uma folheao, e no duas transversais. Neste
caso, o grupo e a lgebra pertinentes consistem de matrizes triangulares em bloco, do tipo
!
.
0
Deixaremos a elaborao deste caso como exerccio para o leitor.
2.13 Exemplo G = GL(m, C), g = gl (m, C), com n par e n = 2m, onde consideramos GL(m, C) como
subgrupo de GL(n, R) e gl (m, C) como sublgebra de gl (n, R) atravs da identificao
GL(m, C)
A GL(n, R) AJ = JA
!
(2.143)
B
C
B + iC
,
C B
gl (m, C)
Y + iZ
X gl (n, R) XJ = JX
!
Y
Z
.
Z Y
(2.144)
J L(Rn ) J2 = 1 ,
(2.145)
pois considerando a representao do grupo GL(n, R) no espao L(Rn ) induzida por sua representao
cannica em Rn , e notando que, devido ao fato de que uma antiinvoluo em Rn sempre diagonalizvel
sobre C, com autovalores +i e i que tm a mesma multiplicidade m, essa representao proporciona
uma ao transitiva de GL(n, R) no conjunto das antiinvolues em Rn , conclumos que (a menos de
conjugao) o subgrupo GL(m, C) exatamente o grupo de estabilidade de qualquer uma destas antiinvolues. Assim, a escolha de uma GL(m, C)-estrutura em M corresponde exatamente escolha de
uma antiinvoluo J no seu fibrado tangente, ou ainda, a uma estrutura quase complexa sobre M,
tornando M (ou melhor, (M, J)) uma variedade quase complexa.
Existncia: Mencionamos aapenas que a exigncia de que uma variedade M admita uma G-estrutura
deste tipo impe condies topolgicas no-triviais, que no discutiremos aqui.
Integrabilidade: Uma GL(m, C)-estrutura integrvel se e somente se o tensor de Nijenhuis N(J) da
antiinvoluo J se anula. De fato, para que um sistema de coordenadas locais x em torno de um
ponto qualquer de M seja compatvel com uma dada GL(m, C)-estrutura, representada por uma antiinvoluo J, as componentes J de J em relao base coordenada correspondente {1 , . . . , n } devem
satisfazer J = J . Assim, a definio (1.284) do tensor de Nijenhuis (com R substitudo por J e
usando que J 2 = 1) mostra que as componentes N(J) do tensor de Nijenhuis em relao a este
sistema de coordenadas locais se anulam. Reciprocamente, se o tensor de Nijenhuis N(J) associado
a uma antiinvoluo J se anula, um teorema importante da geometria diferencial, conhecido como o
teorema de Newlander-Nirenberg, garante que possvel construir coordenadas locais, em torno de
Fibrados, Conexes e Classes Caractersticas
126
= 0
x i
y i
x k
y k
+
= 0
y i
x i
para 1 i, k m ,
que expressam a propriedade de que as coordenadas zk so funes holomorfas das coordenadas zi , so exatamente equivalentes condio de que a matriz jacobiana x /x
comuta com a matriz J. Desta forma, coordenadas locais reais x tais que a base coordenada
{/x 1 , . . . , /x n } proporciona uma seo local holnoma da referida GL(m, C)-estrutura
correspondem exatamente a coordenadas locais complexas zi de M como variedade complexa no sentido tradicional. Para maiores detalhes, veja, por exemplo, [KN2, Chapter 9,
pp. 114-185].
Mencionamos que para este tipo de G-estrutura, o grupo dos automorfismos (= grupo de transformaes biholomorfas) e a correspondente lgebra dos automorfismos infinitesimais ainda so grandes:
tm dimenso infinita.
Existem ainda algumas superposies e combinaes interessantes entre as vrias G-estruturas discutidas nos exemplos anteriores. Por exemplo, para n = 2, uma estrutura conforme de assinatura (p, q)
de tipo riemanniano (i.e., com p = 0 ou q = 0), em conjunto com uma orientao, equivale a uma
estrutura complexa, pois temos CO(p, q) GL0 (2, R) = GL(1, C). Ou seja: em duas dimenses, geometria conforme (com mtrica riemanniana) e geometria complexa so a mesma coisa um fato que se
manifesta com muita clareza na teoria das superfcies de Riemann. Mais geralmente, podemos citar,
como anlogo complexo da geometria riemanniana, a geometria khleriana, baseada em G-estruturas
com G = U(m), g = u(m), com n par e n = 2m: uma U(m)-estrutura ou estrutura quase hermitiana
Forger & Antoneli
127
sobre M dada por uma estrutura quase complexa J sobre M em conjunto com uma mtrica hermitiana h.|.i no fibrado tangente T M de M (veja a discusso no final da Seo 6.1 do Captulo 1) e, devido
s intersees
U(m) = GL(m, C) O(2m) ,
U(m) = GL(m, C) Sp(2m, R) ,
(2.146)
pode ser considerada como a interseo entre quaisquer duas das seguintes trs estruturas: uma
GL(m, C)-estrutura representada pela antiinvoluo J, uma O(n)-estrutura representada pela mtrica
riemanniana g que a parte real de h.|.i e uma Sp(2m, R)-estrutura representada pela forma quase
simpltica que a parte imaginria de h.|.i,14 tornando M (ou melhor, (M, J, h.|.i) ou (M, J, g, ))
uma variedade quase hermitiana. Quanto integrabilidade, M chamada uma variedade khleriana /
variedade de Khler se J for uma estrutura complexa e for uma forma simpltica, ou seja, se
N(J) = 0
d = 0 ,
(2.147)
i.e., mas no se exige integrabilidade da estrutura riemanniana (pois isso implicaria que M teria que
ser plana, o que certamente seria demasiadamente restritivo).
Finalmente, temos o caso de uma estrutura trivial:
2.14 Exemplo G = {1}, g = {0}. Obviamente, uma variedade admite uma G-estrutura deste tipo
se e somente se o seu fibrado dos referenciais lineares Fr(M, GL(n, R)) admitir uma seo global, ou
seja, se e somente se o seu fibrado tangente T M for trivial: lembramos que uma variedade com esta
propriedade chamada de paralelizvel. Alm disso, uma G-estrutura deste tipo ser integrvel se e
somente se a referida seo for holnoma, ou seja, se e somente se a variedade admitir um sistema de
coordenadas global, o que significa que ela deve ser difeomorfa a um aberto de Rn : uma variedade com
esta propriedade frequentemente chamada de trivial. Exemplos de variedades que so paralelizveis
mas, tipicamente, no so triviais so os grupos de Lie.
14 Valem as incluses GL(m, C) GL (2m, R) e Sp(2m, R) GL (2m, R), o que significa que uma estrutura quase complexa
0
0
e uma estrutura quase simpltica sempre induz uma orientao.
128
(p, X)
VP
d
p exp(tX)
dt
t=0
P G
(p, g)
P
pg
e temos
(p g) h = p (g h)
e
p1 = p
sem pontos fixos: p g = p g = 1. Escrevemos a ao induzida de G sobre T P na forma
TP G
(v, g)
ento
e temos
TP
vg
d
d
p(t)
g =
p(t) g
dt
dt
t=0
t=0
(v g) h = v (g h)
e
v 1 = v
Ento v V P significa que Tp (v) = 0. Tais vetores podem ser escritos como tangentes
v =
curvas verticais em P :
d
p(t)
dt
t=0
p(0) = p
(p(t)) = (p)
Forger & Antoneli
129
v =
g(0) = 1
1 (x, 1) g
1 (x, g(t))
=
=
Pondo X =
d
g(t)|t=0
dt
g obtemos
v
=
=
=
Pois,
1 ((x, 1) g(t))
p(t) .
d
p(t)
dt
t=0
d
(p g(t))
dt
t=0
d
(p exp(tX))
.
dt
t=0
d
d
d
(p g(t))
=
T
L
g(t)
|
=
T
L
exp(tX)
g
p
t=0
g
p
dt
dt
dt
t=0
t=0
onde Lp (g) = p g.
2.22 Definio Seja P um fibrado principal, com projeo e grupo estrutural G. Uma forma de
conexo sobre P uma 1-forma A sobre P a valores em g, que equivariante sob a ao de G:
Apg (u g) = Ad(g 1 )(Ap (u))
para todo g G, p P , u Tp P e normalizada pela condio
Ap
para todo X g e p P .
d
p exp(tX)
= X
dt
t=0
2.7 Proposio Seja P um fibrado principal, com projeo e grupo estrutural G. As conexes principais
sobre P esto em correpondencia biunvoca com as formas de conexo sobre P , pondo
Hp P = ker(Ap )
para todo p P , quando consideramos Ap como aplicao linear de Tp P em g.
Fibrados, Conexes e Classes Caractersticas
130
Demonstrao: Seja A uma forma de conexo sobre P e Hp P = ker(Ap ), para todo p P . A condio
de normalizao para A implica que Hp P Vp P = {0}. Compondo Ap com o isomorfismo cannico
p : Tp P Vp P tal que A
p |Vp P = idVp P
g Vp P definido anteriormente, obtemos uma aplicao linear A
p ). Portanto
e Hp P = ker(A
Tp P = Vp P Hp P
P Q
/ P G Q
pr1
/M
d
(p g(t))
dt
t=0
T[p,q] T(p,q) Q (u, w)
=
=
=
15 Lembrando
w =
d
[p g(t), q(t)]
dt
d
[p g(t), q(t)]
dt
t=0
d
(p g(t))
dt
t=0
0.
T[p,q]
d
q(t)
,
dt
t=0
131
d
p(t)
dt
t=0
T[p,q] T(p,q) Q (u, w)
=
=
=
=
w =
d
q(t)
,
dt
t=0
d
[p(t), q(t)]
dt
d
[p(t), q(t)]
dt
t=0
d
(p(t))
dt
t=0
0.
T[p,q]
Portanto, definimos
T(p,q) Q (Hp P ) = H[p,q] (P G Q) .
(2.148)
(2.149)
T(pg,g1 q) Q (H(p,q) P )
T(p,q) (Q Rg )(H(p,q) P )
=
=
Se a variedade Q possuir alguma estrutura invariante sob a ao de G, sabemos que todos as fibras
do fibrado associado P G Q herdam esta estrutura. Ademais, esta estrutura nas fibras de P G Q ser
invariante em relao a qualquer conexo associada a uma conexo principal sobre P .
Seja P um fibrado principal sobre M com projeo e grupo estrutural G. Seja E um espao vetorial
munido de uma representao de G e E = P G E o fibrado vetorial associado, com projeo e fibra
tpica E.
Primeiro observamos que existe uma propriedade dos fibrados vetoriais e dos fibrados principais
que os diferenciam dos fibrados gerais (ou at mesmo de fibrados com grupo estrutural) e permite
Fibrados, Conexes e Classes Caractersticas
132
traduzir a noo geral de conexo para uma outra formulao, muito til: a estrutura especial do
fibrado vertical.
Para fibrados principais P , V P P g. Isto permite traduzir conexes dadas atravs de um subfibrado horizontal para formas de conexo.
Para fibrados vetoriais E, V E E. Isto permite traduzir conexes dadas atravs de um subfibrado
horizontal para derivadas covariantes. Se s uma seo de E definimos uma nova seo Ds de T M E
como sendo a composio
(Ds)(m) = Vs(m) Tm s
onde Ve : Te E E (e) a composio da projeo vertical Te E Te E (que 1 sobre Ve E e 0 sobre He E)
com o isomorfimo cannico Ve E E (e) , para todo e E.
Problema: Identifique a condio sobre o fibrado horizontal HE T E que garante que D
linear.
Existe um isomorfismo cannico entre o espao das sees de E e o espao das funes f sobre P a
valores em E que so G-equivariantes, ou seja, satisfazem
f (p g) = g 1 f (p) para todo
p P, g G .
Este isomorfismo
CE (P , E) (E)
dado por
(2.150)
2.23 Definio Seja P um fibrado principal sobre M com projeo e grupo estrutural G. Seja E um
espao vetorial munido de uma representao de G e E = P G E o fibrado vetorial associado, com
projeo e fibra tpica E. Uma r -forma r (P , E) dita
(i) equivariante se e somente se
pg (u1 g, . . . , ur ) = g 1 p (u1 , . . . , ur )
para todo g G, p P e u1 , . . . , ur Tp P .
(ii) horizontal se e somente se
p (u1 , . . . , ur ) = 0
r
r (M, E) EH
(P , E) .
(2.151)
r
Em particular, o isomorfismo r (M) EH
(P ) dado pelo pull-back:
r (M)
r
EH
(P )
.
133
r
Demonstrao: De fato, o isomorfismo desejado consiste em associar forma EH
(P , E) uma
r
(M, E) pondo
forma
para todo
i = 1, . . . , r
tem-se que
[p g, pg (u1 g, . . . , ur g)]
[p g, g 1 p (u1 , . . . , ur )]
[p, p (u1 , . . . , ur )] .
Uma forma de conexo A para uma conexo principal em P uma 1-forma A sobre P a valores em
g que equivariante mas no horizontal: A E1 (P , g), mas Ap (up ) = up para todo vetor vertical
up Vp P g.
2.24 Definio Seja P um fibrado principal com projeo e grupo estrutural G. Seja E um espao de
representao de G. Dada uma forma de conexo A E1 (P , g), utilizando as identificaes anteriores
(2.150) e (2.151), definimos a conexo linear associada D no fibrado vetorial associado E = P G E por
Df = df + A f
para todo f CE (P , E).
Esta definio requer verificar duas afirmaes:
(a) Df equivariante,
(b) Df horizontal.
Comeamos com a equivarincia. Para g G, p P e up Tp P com up =
(Df )pg (up g)
=
=
=
=
d
dt p(t) t=0 ,
temos
134
=
=
=
=
=
d
p
dt
exp(tX)t=0 Vp P , temos
X f (p) + X f (p)
0.
PHp : Tp P Tp P ,
com
tais que
PV2p = PVp
e
Ento
2
PH
= PHp
p
im(PVp ) = Vp P
ker(PVp ) = Hp P
im(PHp ) = Hp P
ker(PHp ) = Vp P .
1
[A(X), A(Y )] [A(Y ), A(X)]
2
=
=
=
=
=
1
R [A , A]
2 g
1
d(Rg A) + [Rg A , Rg A]
2
1
1
d(Ad(g) A) + [Ad(g)1 A , Ad(g)1 A]
2
1
1
Ad(g) (dA [A , A])
2
Ad(g)1 F .
Rg (dA) +
135
2.1 Lema Para todo campo vetorial Y X(P ) temos que [Y , XP ] horizontal para todo X g.
Para g G seja Rg o difeomorfismo de P dado por Rg (p) = p g; ento
Demonstrao:
d
[XP , Y ] = LXP Y =
Rexp(tX) Y
.
dt
t=0
dA + 2 [A , A](X, Y ) = dA(HX, HY ) .
F (X, Y ) =
Demonstrao: Como todo campo vetorial sobre P pode ser decomposto em parte vertical e parte
horizontal, basta calcular F (Z1 , Z2 ) nos seguintes trs casos:
1
(a) Z1 , Z2 verticais: como dA + 2 [A , A] uma forma diferencial sobre P , suficiente mostrar que esta
se anula sobre Z1 e Z2 quando Z1 = XP e Z2 = YP so campos fundamentais associados X, Y g.
Da
(dA + 12 [A , A])(XP , YP )
=
=
=
A([X, Y ]P ) + [X, Y ]
0.
(dA + 2 [A , A])(XP , Z2 )
=
=
136
(i) na forma
d
u = XP (p) =
(p exp(tX))
dt
t=0
Y
] = [X,
(iii) H[X,
Y ] para todo X, Y X(M),
Y
] = F (X,
Y
) para todo X, Y X(M).
(iv) V [X,
Demonstrao:
=
=
=
Y
)
dA(X,
) LY A(X)
A([X,
Y
])
LX A(Y
Y
]) .
A(V [X,
Z(p) = u
f (p) = .
Fibrados, Conexes e Classes Caractersticas
137
138
(2.153)
Assim, obtemos que SO0 (p, q) a componente conexa de 1 do grupo pseudo-ortogonal. A lgebra de
Lie so(p, q) de todos eles dada pela equao (1.225).
O prximo passo construir o grupo de recobrimento universal de SO0 (p, q), que ser denotado
por Spin(p, q),16 e cuja lgebra de Lie denotada por spin(p, q); claro que ela isomorfa lgebra de
Lie so(p, q). Como SO0 (p, q) tem grupo fundamental Z2 , o recobrimento universal duplo, i.e., temos
um homomorfismo de recobrimento cannico
: Spin(p, q) SO0 (p, q)
(2.154)
(2.155)
(2.156)
ou seja, SpinG (p, q) o quociente do produto direto Spin(p, q) G pelo subgrupo {(1, 1), (1, 1)},
onde 1 denota o elemento no-trivial do subgrupo central Z2 , tanto em Spin(p, q) como em G; ento
obtemos um homomorfismo
G : SpinG (p, q) SO0 (p, q)
(2.157)
16 Note que o grupo SO (p, q) sendo conexo, o grupo Spin(p, q) unicamente determinado a menos de isomorfismo, en0
quanto que o grupo O(p, q) tem vrios grupos de recobrimento (genericamente denotados por Pin(p, q)) que podem no ser
isomorfos um fenmento cujo anlogo na teoria dos grupos finitos bem conhecido sob a palavra chave isoclinismo.
139
com ncleo G, definido por G [A, g] = (A), proporcionando a seguinte sequncia exata de grupos
de Lie:
{1} G SpinG (p, q) SO0 (p, q) {1} .
(2.158)
Passando de grupos estruturais a fibrados principais, suponha agora que M uma variedade pseudoriemanniana n-dimensional com tensor mtrico g de assinatura (p, q), onde n = p+q, e que M ainda
seja orientada e, no caso lorentziano (p = 1 ou q = 1), tambm orientada no tempo. Como antes,
denotamos por Fr(M, GL(n, R)) o fibrado dos referenciais lineares de M e por Fr(M, O(p, q)) o fibrado
dos referenciais ortonormais de M (em relao a g), obtido do anterior por reduo do grupo estrutural,
de GL(n, R) para O(p, q). Como a variedade M orientada, podemos efetuar outra reduo de grupo
estrutural, de O(p, q) para SO(p, q), e assim definir o fibrado dos referenciais ortonormais orientados
de M (em relao a g e orientao dada de M), denotado por Fr(M, SO(p, q)). E finalmente, no caso
lorentziano (p = 1 ou q = 1), usamos a hiptese adicional de que M tambm seja orientada no tempo
para efetuar mais uma reduo de grupo estrutural, de SO(p, q) para SO0 (p, q), e assim definir o fibrado
dos referenciais ortonormais (p, q)-orientados de M (em relao a g e s orientaes dadas totais e
no tempo de M), denotado por Fr(M, SO0 (p, q)). Explicitamente, lembrando que dado um ponto m
de M, um referencial linear de M em m um isomorfismo linear um : Rn Tm M enquanto que um
referencial ortonormal de M em m uma isometria um : Rn Tm M em relao aos produtos internos
em Rn e gm em Tm M, temos que um um referencial ortonormal orientado/(p, q)-orientado de M
em m se preserva no apenas os produtos internos mas tambm as orientaes/(p, q)-orientaes,
levando a(s) respectiva(s) estrutura(s) padro de Rn na(s) correspondente(s) de Tm M.
2.26 Definio Com a notao anterior, uma estrutura espinorial, ou estrutura Spin, em M uma
extenso de grupo estrutural Fr(M, Spin(p, q)) de Fr(M, SO0 (p, q)), de SO0 (p, q) para Spin(p, q)
(veja a Definio 2.17), providenciando uma Spin(p, q)-estrutura sobre M (veja a Definio 2.19).
Mais geralmente, dado um grupo de Lie G qualquer que contenha um subgrupo do tipo Z2 no seu
centro, uma estrutura espinorial estendida, ou mais precisamente, estrutura SpinG , em M uma
extenso de grupo estrutural Fr(M, SpinG (p, q)) de Fr(M, SO0 (p, q)), de SO0 (p, q) para SpinG (p, q)
(veja a Definio 2.17), providenciando uma SpinG (p, q)-estrutura sobre M (veja a Definio 2.19).
Em outros termos, podemos dizer que uma estrutura Spin define um recobrimento duplo
M : Fr(M, Spin(p, q)) Fr(M, SO0 (p, q))
(2.159)
OOO
OOO
OOO
OOO
'
(2.160)
tambm comuta. De forma anloga, uma estrutura SpinG por G define um homomorfismo
G
G
M : Fr(M, Spin (p, q)) Fr(M, SO0 (p, q))
Fibrados, Conexes e Classes Caractersticas
(2.162)
Forger & Antoneli
140
G
M
OOO
OOO
OOO
OOO
'
(2.163)
(2.164)
tambm comuta.
A questo da existncia e o grau de unicidade de estruturas espinoriais e de estruturas espinoriais
estendidas em variedades acaba sendo um problema puramente topolgico, independente de qual
mtrica pseudo-riemanniana, qual orientao e, no caso lorentziano, qual orientao no tempo so
empregadas: a nica condio que tais estruturas existam. Por exemplo, isso sempre requer que M
seja orientvel. No caso riemanniano, essa a nica condio que precisa ser imposta, enquanto que
no caso lorentziano, M deve ter caracterstica de Euler igual a zero se for compacta.17 Ento temos
2.4 Teorema
Seja M uma variedade n-dimensional orientvel que admite mtricas pseudoriemannianas de assinatura (p, q) e, no caso lorentziano, no compacta ou, se for compacta, tem
caracterstica de Euler igual a zero. Ento para qualquer SO0 (p, q)-estrutura sobre M, existe uma
estrutura espinorial sobre M que a estende se e somente se a segunda classe de Stiefel-Whitney de M,
denotada por w2 (M) H 2 (M, Z2 ), for igual a zero. Neste caso, as estruturas espinoriais inequivalentes
sobre M que estendem uma determinada SO0 (p, q)-estrutura sobre M so classificadas pelo grupo de
cohomologia H 1 (M, Z2 ).
Um teorema anlogo vale para estruturas espinoriais estendidas, mas com condies mais brandas
para a existncia de tais estruturas e com outro grupo de cohomologia para a classificao; os detalhes
dependem da escolha de G. O exemplo mais conhecido so as estruturas Spinc , que correspondem a
G = U(1): neste caso, a condio de existncia que a segunda classe de Stiefel-Whitney de M precisa
apenas ser a reduo mod 2 de alguma classe de cohomologia que pertence a H 2 (M, Z), o que acaba
valendo para qualquer variedade complexa: o exemplo clssico de uma variedade 4-dimensional que
no admite estrutura Spin mas admite uma estrutura Spinc o espao complexo projetivo CP 2 .
FALTA: A CONSTRUO DA CONEXO DE LEVI-CIVITA
Precisamos dela como conexo principal em Fr(M, Spin(p, q). Para construir uma conexo em
Fr(M, SpinG (p, q), precisamos tambm de uma conexo G-principal, ou seja, de um campo de calibre
associado simetria interna sob G.
O outro ingrediente essencial para a construo de operadores tipo Dirac, alm de estruturas espinoriais, a escolha de um espao vetorial complexo S munido das seguintes estruturas:
17 um teorema conhecido da geometria lorentziana que uma variedade admite alguma mtrica lorentziana, em relao
qual ela ainda orientvel no tempo, se e somente se ela satisfaz uma das duas seguintes condies: (a) ela no compacta
ou (b) ela compacta e tem caracterstica de Euler igual a zero. Isso segue do fato que essas so exatamente as condies sob
as quais existe na variedade algum campo vetorial que no se anula em nenhum ponto.
141
: Spin(p, q) GL(S)
(2.165)
: Rn L(S)
(2.166)
(2.167)
(, )
(2.168)
(A) (A) =
(2.169)
para v Rn , , S ;
(2.170)
e
(v)
(v) =
uma involuo antilinear
S
c
(2.171)
((v))c = (v)c
c c =
(2.172)
para v Rn , S ,
(2.173)
para , S .
(2.174)
A escolha destas estruturas define o modelo concreto em que o operador tipo Dirac pertinente agir.
Para ver como, formamos primeiro o fibrado associado
SM = Fr(M, Spin(p, q)) Spin(p,q) S ,
(2.175)
que na nossa conveno, formas sesquilineares so antilineares na primeira varivel e lineares na segunda.
condio de invarincia (2.169) e em funo do fato que o grupo Spin(p, q) compacto apenas no caso riemanniano (p = 0 ou q = 0), conclumos que o produto escalar (2.168) tambm ser positivo definido apenas no caso riemanniano.
19 Devido
142
um homomorfismo estrito
: T M L(SM)
(2.176)
de fibrados vetoriais sobre M, chamado de homomorfismo smbolo (por motivos a serem esclarecidos ainda);
um produto interno sesquilinear, hermitiano e no-degenerado nas fibras de SM que, para todo
ponto m de M, continuamos a escrever na forma
Sm M Sm M
(, )
(2.177)
tal que
(v)
(v) =
um automorfismo estrito involutivo
para v Tm
M, , Sm M ;
.c : SM SM
(2.178)
(2.179)
de SM como fibrado vetorial real sobre M, mas antilinear em relao estrutura de SM como
fibrado vetorial complexo sobre M, chamado de conjugao de carga (por motivos a serem esclarecidos ainda), tal que
((v))c = (v)c
para v Tm
M, Sm M ,
(2.180)
para , Sm M .
(2.181)
e ainda
c c =
Para explicar a terminologia espinores-tensores, note que o operador (1) em S comuta com
todos os operadores (A), A Spin(p, q), e sendo involutivo, deve ser igual a +id o a id em cada
subespao irredutvel de S, segundo o lema de Schur. Dizemos que um subespao irredutvel de S
tensorial ou bosnico se (1) igual a +id nele e que espinorial ou ferminico se (1) igual a
id nele. Quando (1) = +id, dizemos que SM o fibrado de tensores e S o espao de tensores
do modelo em questo, enquanto que quando (1) = id, dizemos que SM o fibrado de espinores
e S o espao de espinores do modelo em questo.
Para definir o operador tipo Dirac em SM, como operador diferencial
D
6 : (SM) (SM)
(2.182)
de primeira ordem
2.15 Exemplo (Campos de espinores de Dirac)
Para construir o operador de Dirac no sentido estrito, original, escolhemos S como sendo o espao
de espinores de Dirac, denotado aqui por SDir e caracterizado, a menos de um isomorfismo linear,
como sendo espao vetorial complexo SDir em que age a representao irredutvel
Cliff(n, C) L(SDir )
(2.183)
da lgebra de Clifford Cliff(p, q) de R(p,q) , ou melhor, da sua complexificao Cliff(n, C) (que depende
apenas da dimenso total n = p +q e no da assinatura (p, q)); essa representao e nica, a menos
de um isomorfismo linear, e tem dimenso 2r , onde r
em termos da teoria de representaes da lgebra de Clifford Cliff(p, q) ou da sua parte par
Cliff 0 (p, q), ou melhor, das suas respectivas complexificaes Cliff(n, C) e Cliff 0 (n, C) (que dependem
apenas da dimenso total n = p+q e no da assinatura (p, q)).
Forger & Antoneli
143
(2.185)
SM
um m
SM
(um ) m
T M SM
(um , m )
onde = (dx ).
Seja a conexo de Levi-Civita associada mtrica g pode ser transfereida para SM. De fato,
se a sua forma de conexo sobre Fr(M, SO0 (p, q)), esta induz uma forma de conexo sobre
Fr(M, Spin(p, q)) que, por sua vez proviencia uma conexo lineaer associada em SM tambm chamada
de conexo de Levi-Civita.
O operador de Dirac o operador diferencial D
6 : (SM) (SM) definido por
D
6 = .
Lembrando que 1 (M, SM) = (T M SM), D
6 invariantemente definido com a composio de aplicaes
(SM)
(T M SM)
(SM)
( )
Captulo 3
Classes Caractersticas
Classes caractersticas de um fibrado so classes de cohomologia na sua variedade base.
Isso meio vago, mas dar uma definio precisa uma tarefa complicada, devido grande diversidade
entre as vrias abordagens possveis.
Essa diversidade comea pela questo: classes de cohomologia em que sentido? Pois existe uma mul ech, ... . N contexto do
tido de teorias de cohomologia: cohomologia singular, cohomologia de C
presente livro, em que trabalhamos quase que exclusivamente no mbito diferencivel (categoria C ) e
no no mbito puramente topolgico (categoria C 0 ), uma escolha natural a cohomologia de de Rham,
baseada em formas diferenciais. Mas alertamos desde j que existem classes caractersticas que no
se enquadram neste contexto; as mais bem conhecidas entre elas so as classes de Stiefel-Whitney.
Com tal abordagem de topologia diferencial, ao invs de topologia algbrica, o mtodo mais natural e ao
mesmo tempo elegante de introduzir classes caractersticas de fibrados mais exatamente, de fibrados
com grupo estrutural, ou equivalentemente, de fibrados principais pelo homomorfismo de ChernWeil. Essa construo baseada na teoria de conexes em fibrados principais, como desenvolvida no
captulo anterior.
Isso requer dois passos preliminares, que ns trataremos nas primeiras trs sees deste captulo:
(a) uma discusso de polinmios invariantes sob uma representao de um grupo de Lie G, e em particular, de polinmios invariantes sob a representao adjunta de um grupo de Lie, como funes
sobre a sua lgebra de Lie g, (b) uma breve apresentao de alguns conceitos fundamentais de lgebra
homolgica para explicar a terminologia universalmente adotada quando se fala em cohomologia (de
qualquer tipo), e (c) uma discusso da cohomologia de lgebras de Lie, tanto como exemplo concreto
dos conceitos introduzidos anteriormente como por causa da estreita relao entre este tipo especfico
de cohomologia, baseada em formas multilineares antissimtricas invariantes sobre g, e polinmios
invariantes sobre g, que correspondem a formas multilineares simtricas invariantes sobre g. Estabelecer essa relao, conhecida como transgresso, o passo decisivo para entender a construo do
homomorfismo de Chern-Weil.
146
Classes Caractersticas
Wr
Denotando
por E o espao dual de E, como sempre, por
E sua r -sima potncia simtrica e
Vr
por
E sua r -sima potncia
antissimtrica,
ou
exterior.
Recordamos
que E o espao das funes
Wr
lineares sobre E e que
E pode ser identificado com o espao dos polinmios homogneos de grau r
sobre E, sendo que uma forma multilinear simtrica de grau r sobre E proporciona um polinmio
homogneo P de grau r sobre E por restrio diagonal,
P (x) = x, . . . , x
para x E
e, reciprocamente, pode ser recuperada deste polinmio por um processo chamado de polarizao,
x1 , . . . , xr = P (x 1 (1) + xj ???
A seguir, identificaremos com P , isto , mediante a escolha de uma base de E com base dual de E ,
interpretamos uma r -forma totalmente simtrica sobre E como um polinmio em n variveis comutativas, onde n = dim E. Por analogia, uma r -forma totalmente antissimtrica sobre E frequentemente
interpretada como um polinmio em n variveis anticomutativas; porm, essa interpretao puramente formal, uma vez que no caso antissimtrico, a restrio diagonal se anula identicamente.
Considere agora um grupo de Lie G com lgebra de Lie g e suponha que E vem munido de uma
: g gl (E), definida por
representao : G GL(E) de G com representao induzida
d
(X) =
(exp tX)
.
dt
t=0
Essas representaes induzem representaes correspondentes de G e de g sobre E e sobre todas
suas potncias tensoriais (inclusive as simtricas ou antissimtricas), e assim a noo de uma r forma
invariante em particular, de um polinmio invariante est bem definida. Explicitamente, uma r forma e um polinmio P so G-invariantes se
(g)(x1 ), . . . , (g)(xr ) = x1 , . . . , xr
para g G, x1 , . . . , xr E ,
P ( (g)x) = P (x)
para g G, x E ,
e so g-invariantes se
r
X
i=1
(X)(xi ), . . . , xr ) = 0
x1 , . . . ,
(X)(x) = 0
P (x)
para X g, x1 , . . . , xr E ,
para X g, x E ,
Captulo 4
Construes Universais
Todo fibrado principal pull-back de um fibrado universal, e toda conexo nele pull-back de uma
conexo universal. A base do fibrado universal se chama espao classificatrio. Desta forma, podemos
reinterpretar classes caractersticas como sendo os pull-backs de classes de cohomologia do espao
classificatrio.
Obviamente, como subespao de g, h invariante sob essas aes, e as restries dessas representaes
a h so, respectivamente, a representao adjunta AdH de H e a representao adjunta adh de h em h.
Dizemos que h uma subalgebra redutiva de g se existe um subespao m de g que H-invariante e
complementar a h, de modo que obtemos uma decomposio direta e H-invariante
g = hm .
Note que, obviamente, H-invarincia implica h-invarincia, e a afirmao recproca tambm verdadeira
se H for conexo.
148
Construes Universais
ndice
G-estrutura
coordenadas locais admissveis, 116
em fibrado vetorial, 114
em variedade, 115
integrvel, 116
de variedade
admissvel, 5
definio, 5
equivalncia, 5
induzido, de uma subvariedade, 17
maximal, 5
automorfismo
de G-estrutura, 117
de fibrado, 88
de fibrado principal, 105
de fibrado vetorial, 25
automorfismo estrito
de fibrado, 88
de fibrado principal, 105
de fibrado vetorial, 25
automorfismo infinitesimal
de G-estrutura, 117
ao
efetiva, 100
lgebra
estrutural
de fibrado vetorial com estrutura, 77
pseudo-ortogonal, 68
amalgamao, 101
antiinvoluo
nas fibras
de fibrado vetorial, 79
no fibrado tangente, 125
aplicao diferencivel
a valores em grupo de difeomorfismos, 86
definio, 6
derivada, 14, 30
representao local, 6
tangente, 14, 30
atlas
de fibrado vetorial
admissvel, 22
definio, 22
equivalncia, 22
maximal, 22
de subfibrado vetorial
induzido, 28
de trivializaes locais
de fibrado com grupo estrutural, 100
de fibrado geral, 86
de fibrado principal, equivariantes, 103
de fibrado vetorial, 26
150
ndice
de Killing conforme, 122
localmente hamiltoniano, 123
carta
de fibrado vetorial
adaptada a um subfibrado vetorial, 27
admissvel, 22
compatibilidade, 21
definio, 20
de subfibrado vetorial
induzida, 28
de subvariedade
induzida, 16
de variedade
adaptada a uma subvariedade, 16
admissvel, 5
compatibilidade, 4
definio, 3
domnio, 4
cilindro, 26
comprimento de arco, 76
condio de cociclo, 100
conexo
de Levi-Civita, 69
geral
definio, 95
fibrado horizontal, 95
forma de conexo, 95
forma de curvatura, 98
levantamento horizontal, 95
padro, 95
plana, 98
projeo horizontal, 95
projeo vertical, 95
linear
compatvel, 82
compatvel com mtrica, 68
definio, 39
derivada covariante, 39
dual, 40
formas de conexo locais, 42
lorentziana, 68
padro, 40
produto tensorial, 41
pseudo-riemanniana, 68
pull-back, 47
riemanniana, 68
soma direta, 41
tensor de curvatura, 47
Forger & Antoneli
coordenadas locais
adaptadas, 87
definio, 4
isotrmicas, 122
tangenciais, a uma subvariedade, 18
transversais, a uma subvariedade, 18
curva
causal, 76
diferencivel, 7
tipo espao, 76
tipo luz, 76
tipo tempo, 76
curvas
tangentes, 10
tangentes at ordem k, 61
curvatura
da conexo de Levi-Civita
escalar, 74
tensor de Einstein, 74
tensor de Ricci, 49
tensor de Riemann, 49, 71, 73
tensor de Weyl, 74
de uma conexo geral, 98
de uma conexo linear, 47
de uma conexo linear
no fibrado tangente
tensor de Ricci, 49
tensor de Riemann, 49
derivada
covariante
em fibrados gerais, 97
em fibrados vetoriais, 39
derivada exterior covariante, 41
descendentes de fibrado vetorial, 34
difeomorfismo, 7
global, 7
local, 7
o grupo Diff(M), 7
dilatao, 115
divergncia de um campo vetorial, 120
dual
de fibrado vetorial, 34
de homomorfismo estrito, 34
equao de estrutura, 48
primeira, 50
segunda, 50
espao
Fibrados, Conexes e Classes Caractersticas
151
ndice
base de fibrado, 22, 25, 86, 99, 102
dos jatos, 92
dos jatos linearizados, 92
modelo de fibrado vetorial, 22, 25
tangente, 11
total de fibrado, 22, 25, 86, 99, 102
vertical, 91
estrutura Spin, 139
estrutura SpinG , 139
estrutura adicional (algbrica/geomtrica)
em fibrado vetorial, 77
estrutura complexa
em fibrado vetorial, 79
em variedade, 80, 126
tensor de toro de Nijenhuis, 80
vetores antiholomorfos, 80
vetores holomorfos, 80
estrutura conforme
em fibrado vetorial, 115
em variedade, 115, 121
estrutura de fibrado vetorial
definio, 22
estrutura de spin estendida, 139
estrutura de subfibrado vetorial
induzida, 28
estrutura diferencivel
definio, 5
induzida, de uma subvariedade, 17
estrutura espinorial, 139
estrutura quase complexa
em variedade, 80, 125
estrutura quase hermitiana
em variedade, 127
exponencial, 62
faixa de Mbius, 26
fibra tpica, 22, 25, 86, 99, 102
fibrado
com grupo estrutural
definio, 99
cotangente, 34
das p-formas, 34
de Grassmann, 81
de lgebras , 81
dos p-multivetores, 34
dos jatos, 92
dos jatos linearizados, 92
dos tensores, 81
Fibrados, Conexes e Classes Caractersticas
152
principal, 105
fibras, 23, 26, 86, 100, 103
fluxo
geodsico, 61
forma
de conexo, 95
de curvatura, 98
forma de volume
em fibrado vetorial, 79
em variedade, 79
forma diferencial
a valores em um fibrado vetorial, 34
comum, 34
forma quase simpltica
em variedade, 79, 123
forma simpltica
em variedade, 79, 123
nas fibras
de fibrado vetorial, 79
funtor
diferencivel, 31
dos referenciais lineares, 117
dual, 33
dual inverso, 32
potncia exterior, 33
potncia simtrica, 33
potncia tensorial, 33
produto tensorial, 33
soma direta, 33
tangente, 30
funo
diferencivel, 7
a lgebra F(M), 7
funo de corte, 8
funes de transio
de fibrado com grupo estrutural, 100
de fibrado geral, 86
de fibrado principal, 103
de fibrado vetorial, 26
entre cartas de fibrados vetoriais, 22
entre cartas de variedades, 4
geodsica, 59
grupo
de (tranformaes de) calibre, 105
de holonomia
em fibrado vetorial, 56
estrutural
Forger & Antoneli
ndice
de fibrado, 99, 102
de fibrado vetorial com estrutura, 77
geral linear, 22
pseudo-ortogonal, 68
homomorfismo
de G-fibrados principais, 104
de fibrados, 23, 87
de fibrados principais, 104
de fibrados vetoriais, 23
homomorfismo estrito
de fibrados, 87
de fibrados principais, 104
de fibrados vetoriais, 24
identidade de Bianchi, 48
primeira, 50
segunda, 50
imerso, 8
involuo
nas fibras
de fibrado vetorial, 79
no fibrado tangente, 124
autodistribuies, 124
isometria, 122
isomorfismo
de G-estruturas, 117
de fibrados, 88
de fibrados principais, 105
de fibrados vetoriais, 25
isomorfismo estrito
de fibrados, 88
de fibrados principais, 105
de fibrados vetoriais, 25
isomorfismos musicais, 65
jato
de uma seo (local), 93
laos, 56
levantamento horizontal, 57, 95
de campos vetoriais, 96
de curvas, 96
de fluxos, 96
de vetores tangentes, 96
mergulho, 19
morfismo
de G-fibrados principais, 104
Fibrados, Conexes e Classes Caractersticas
153
ndice
de fibrados, 23, 87
de fibrados principais, 104
de fibrados vetoriais, 23
morfismo estrito
de fibrados, 87
de fibrados principais, 104
de fibrados vetoriais, 24
mtrica
assinatura, 63
em variedade, 63
equivalncia conforme, 121
funo distncia, 63
hermitiana, 81
khleriana, 82
lorentziana, 63
nas fibras
de fibrado vetorial, 63, 78
pseudo-hermitiana, 81
pseudo-riemanniana, 63, 121
conformemente plana, 122
plana, 122
riemanniana, 63
tensor mtrico, 63
orientao
em fibrado vetorial, 115
em variedade, 115, 119
ortogonalizao de Gram-Schmidt, 66
partio da unidade, 8
potenciais de calibre, 42
lei de transformao sob
transformaes de calibre, 44
produto cartesiano
de fibrados gerais, 89
de fibrados principais, 105
de variedades, 15
incluses, 15
projees cannicas, 15
produto tensorial
de fibrados vetoriais, 34
de homomorfismos estritos, 34
projeo
alvo, 93
de fibrado, 22, 25, 86, 99, 102
fonte, 93
horizontal, 95
vertical, 95
Fibrados, Conexes e Classes Caractersticas
pull-back
de conexo linear, 47
de fibrado geral, 91
de fibrado principal, 105
de fibrado vetorial, 38
recobrimento aberto localmente finito, 8
referencial
linear
de um fibrado vetorial, 112
linear adaptado/compatve
de um fibrado vetorial, 113
referencial local
definio, 30
holnomo, 30
regra da cadeia, 14, 30
restrio
de fibrado geral, 87
de fibrado principal, 104
de fibrado vetorial, 23
seo
covariantemente constante, 39
de fibrado geral, 88
de fibrado vetorial, 28
holnoma, 94, 116
seo ao longo de uma aplicao
de fibrado geral, 91
de fibrado vetorial, 38
seo local
de fibrado geral, 88
de fibrado vetorial, 28
simplectomorfismo, 123
soma de Whitney, 34
soma direta
de fibrados vetoriais, 34
de homomorfismos estritos, 34
subfibrado principal
definio, 106
subfibrado vetorial
definio, 27
subimerso, 8
submerso, 8
subvariedade
definio, 16
imersa, 19
mergulhada, 19
suporte
Forger & Antoneli
154
ndice
de uma funo, 8
tensor
de Einstein, 74
de Ricci, 49
de Riemann, 49, 71, 73
de toro, 49
de toro de Nijenhuis, 80
de Weyl, 74
mtrico, 63
toro, 15
toro
de uma conexo linear
no fibrado tangente, 49
transformao cannica, 123
transformao conforme, 122
translao, 100
transporte paralelo
em fibrado vetorial, 53
trivializao
de fibrado geral, 88
de fibrado principal, equivariante, 105
de fibrado vetorial, 25
trivializao local
de fibrado com grupo estrutural
admissvel, 100
definio, 99
de fibrado geral
admissvel, 86
definio, 86, 88
de fibrado principal, equivariante
adaptada a um subfibrado principal, 106
admissvel, 103
definio, 103, 105
de fibrado vetorial
adaptada a um subfibrado vetorial, 27
admissvel, 26
compatvel, 77
definio, 25
de subfibrado principal, equivariante
induzida, 106
de subfibrado vetorial
induzida, 28
complexa, 126
definio, 5
geodesicamente completa, 62
khleriana, ou de Khler, 127
lorentziana, ou de Lorentz, 69
modelo
de fibrado com grupo estrutural, 99
modelo de fibrado, 86
orientada, 119
orientvel, 119
paralelizvel, 59, 127
pseudo-riemanniana, 69, 121
conformemente plana, 122
plana, 122
quase complexa, 125
quase hermitiana, 127
quase simpltica, 123
riemanniana, ou de Riemann, 69
simpltica, 123
vetor
causal, 63
tipo espao, 63
tipo luz, 63
tipo tempo, 63
vetor tangente
como classe de equivalncia de curvas, 10
como derivada direcional de funes, 12
variedade
como espao topolgico
definio, 5
espao de Hausdorff, 5
espao paracompacto, 5
Forger & Antoneli
Bibliografia
[AM]
[BLE]
Bleecker, D., Gauge Theory and Variational Principles, Addison-Wesley, Reading 1981.
[BT]
Bott, R. & Tu, L.W., Differential Forms in Algebraic Topology, Springer-Verlag, Berlin Heidelberg - New York 1995.
[CP]
Chari, Y. & Pressley, A., Quantum Groups, Cambridge University Press, Cambridge 1994.
[DIE]
[FLA]
Flanders, H., Differential Forms, with Applications to the Physical Sciences, Academic Press, New
York 1963.
[GS]
Gckeler, M. & Schcker, T., Differential Geometry, Gauge Theories, and Gravity, Cambridge
University Press, Cambridge 1987.
[GHV1] Greub, W., Halperin, S. & Vanstone, R., Connections, Curvature and Cohomology, Vol. 1, Academic Press, New York 1972.
[GHV2] Greub, W., Halperin, S. & Vanstone, R., Connections, Curvature and Cohomology, Vol. 2, Academic Press, New York 1973.
[GHV3] Greub, W., Halperin, S. & Vanstone, R., Connections, Curvature and Cohomology, Vol. 3, Academic Press, New York 1976.
[HIRS]
Hirsch, M.W., Differential Topology, Springer-Verlag, Berlin - Heidelberg - New York 1997.
[HIRZ]
Hirzebruch, F., Topological Methods in Algebraic Geometry, 3rd edition, Springer-Verlag, Berlin Heidelberg - New York 1995.
[HUS]
Husemoller, D., Fibre Bundles, Springer-Verlag, Berlin - Heidelberg - New York 1966.
[KN1]
Kobayashi, S. & Nomizu, K., Foundations of Differential Geometry, Vol. 1, Interscience, New
York 1963.
155
156
Bibliografia
[KN2]
Kobayashi, S. & Nomizu, K., Foundations of Differential Geometry, Vol. 2, Interscience, New
York 1969.
[L]
Lang, S. Differential and Riemannian Manifolds, Springer-Verlag, Berlin - Heidelberg - New York
1995.
[S]
Steenrod, N., The Topology of Fibre Bundles, Princeton University Press, Princeton 1999.
[W]
Warner, F. Foundations of Differentiable Manifolds and Lie Groups, Springer-Verlag, Berlin Heidelberg - New York 1983.