Professional Documents
Culture Documents
r
X
i
v
:
m
a
t
h
-
p
h
/
0
6
1
0
0
6
8
v
1
2
5
O
c
t
2
0
0
6
Geometrical Methods in Gauge Theory
Henrique de Andrade Gomes
1
February 5, 2008
1
Universidade de S ao Paulo, Instituto de Matematica e Estat
istica, gomes.ha@gmail.com
Contents
0.1 Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
0.2 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
0.3 Basic No(ta)tions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1 Vector Bundles 7
1.1 Foundations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Linear Dierential Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Hodge Decomposition Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4 Connections in Vector Bundles . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.5 Parallel Transport and Holonomy . . . . . . . . . . . . . . . . . . . . . . . . 37
1.6 Admissible Connections and Exterior Covariant Derivative . . . . . . . . . . 44
2 Principal Fiber Bundles 52
2.1 Foundations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2 Connections in Principal Bundles . . . . . . . . . . . . . . . . . . . . . . . . 61
2.3 Frame Bundle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.4 Associated Bundles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3 Yang-Mills Fields and Characteristic Classes 77
3.1 Yang-Mills . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.2 Classication of Fiber Bundles . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4 Applications 98
4.1 Eletromagnetism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.2 Kaluza-Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
1
0.1 Preface
Na matematica, um manipulador formal frequentemente experiencia a descon-
fortavel sensacao de que seu lapis e mais inteligente do que ele. - Howard Eves
Esta disserta cao e baseada em [7] - notas de um curso ministrado por Richard Palais em
1981 entitulado Geometrizacao da F
isico teorico moderno, um horizonte um pouco mais difuso do que a disserta cao de
mestrado usual (baseada em um teorema ou artigo), e respons avel pela aparente desconexao
de alguns topicos, como o Teorema de Hodge, que, apesar de sua enorme importancia, nao
e reutilizado no decorrer da exposi cao.
Primeiramente, gostaria de agradecer encarecidamente ao meu orientador, Professor
Claudio Gorodski, pelas ricas discussoes e por ensinar-me tanto sobre como fazer matematica.
Seu modo de pensar sera sempre uma referencia para mim.
Dedico esse trabalho aos meus pais, que sempre aturaram com paciencia meus habitos
anormais, estimularam a busca pelo conhecimento, instigando em mim uma admira cao in-
ndavel pela nobreza dessa empreitada, e por vezes ate ngiram interesse em meus estudos.
Gostaria de agradecer tambem `a minha companheira Helena, pelo seu est
ivel
compreender dele uma so palavra.- Galileo Galilei
2
A rela cao
itulo important
iveis, .
Com o advento da teoria eletromagnetica da Maxwell, foi necessaria uma revisao destes
conceitos. Maxwell mostrou que duas teorias aparentemente distintas, a eletrica e a magnetica,
eram simplesmente dois aspectos do campo eletromagnetico. Explicou assim a luz como um
fenomeno decorrente de dist urbios no campo eletrico gerando dist urbios no campo magnetico
e vice-versa, criando um mecanismo retroativo, propagando-se no espa co e no tempo. Aci-
dentalmente, essa forma de propaga cao deveria ter uma velocidade xa, o mecanismo deveria
girar sempre `a mesma velocidade, o que signicava que a luz emitida por um corpo se-
ria percebida com a mesma velocidade por todos os observadores, irrespectivamente de seu
movimento em rela cao `a fonte.
Isso levou Lorentz, Poincare e especialmente Einstein, a perceberem que para acomodar a
teoria de Maxwell, o espa co e o tempo nao poderiam permanecer imisc
iculas
3
seriam represen-
tadas por geodesicas. Isso alimentou as esperan cas de que talvez grande parte ou ate mesmo
toda a f
isica tivesse carater puramente geometrico, e fertilizou o solo para a inven cao das
teorias de gauge.
Em f
isica, as chamadas teorias de gauge (ou calibre) sao baseadas na ideia de que certas
1
O espa co plano de assinatura + + +
2
R
1
2
g
R = T
onde R
icula carregada
6
. Infelizmente, nessa nova encarna cao nao havia mais uma maneira
de incorpora-la na relatividade geral, e ela tinha de ser superposta como estrutura adicional
sobre o espa co-tempo. Nascia assim a teoria de gauge.
Em 1954, na tentativa de resolver problemas na teoria de part
iproca
entre f
isica e matematica provinda das teorias de gauge foi extremamente fertil. Aos anos
70, Michael Atiyah, estudou as solu coes das equa coes classicas de Yang-Mills, e em 1983,
Donaldson, aluno de Atiyah, utilizando este trabalho revolucionou o estudo de variedades de
dimensao 4. Michael Freedman, continuando esse estudo, conseguiu exibir estruturas difer-
enciaveis fake do R
4
( i.e.: diferentes da canonica). Isso levou a um grande interesse em
teorias de gauge por seus resultados puramente matematicos. Em 1994, Edward Witten e
Nathan Seiberg, inventaram metodos de calcular invariantes topologicos baseados em teorias
de gauge.
Obviamente, nosso ambito nessa disserta cao e bem mais modesto. Pretendemos fornecer
somente um apanhado inicial, e pessoal, da teoria de gauge classica, com enfase no aspecto
geometrico. O presente trabalho e uma tentativa de apresentar as ferramentas matematicas
necessarias a essa empreitada; `a geometriza cao da f
i
A
i
B
i
Aproveitamos o ensejo para apontar que se A, B sao matrizes k k nos temos que [AB]
i
j
=
A
i
k
B
k
j
= B
k
j
A
i
k
,= [BA]
i
j
= B
i
k
A
k
j
i.e.: para passarmos da nota cao escalar para a matricial
precisamos arranjar a ordem correta, pre estabelecida dos termos.
Ainda no topico
indices, normalmente denotados por I e J, que nao devem ser confundidos com os
indices latinos ma
indices do espa co
interno.
Buscando satisfazer o f
insecas, sem
indices.
Assumiremos um conhecimento basico de variedades diferenciaveis, campos vetoriais e
grupos de Lie, o referente a um subconjunto denso dos primeiros tres cap
itulos de [6]. Em
especial mencionamos os dois seguintes teoremas:
Theorem 1 Sejam M, N variedades suaves de dimensoes m e n respectivamente e f : M
N suave. Se Q e subvariedade mergulhada em N, entao S = f
1
(Q) e subvariedade mergul-
hada de M se e somente se para todo p S nos tivermos T
f(p)
N = Im(df
p
) + T
f(p)
Q.
Ha uma bela e simples demonstra cao deste teorema em [17].
Um outro teorema que nos servira em diversas discussoes e o de Frobenius.
Theorem 2 Uma k-distribuicao suave involutiva em uma variedade M
m
, m k, e in-
tegravel.
Onde uma k-distribui cao em uma variedade M e um mapa D : M TM que assinala a
cada ponto m M um subespa co k-dimensional de T
m
M, D
m
. A k-distribui cao e dita suave
se cada ponto m M tem vizinhan ca aberta U onde D e gerado por k campos suaves em
U linearmente independentes. Uma variedade integral de D e uma subvariedade N
k
de M
tal que T
m
N = D
m
para todo m N. D e dita involutiva se para todos os campos suaves
X, Y D , nos tivermos [X, Y ] D. As demonstra coes geometricas sao padrao, procedendo
por indu cao a partir do Teorema do Fluxo Tubular, ver [3].
6
Chapter 1
Vector Bundles
1.1 Foundations
As equa coes de Maxwell e os princ
isica, entao parece precipitado instituir a priori que podemos descrever o campo globalmente.
A priori, nos temos apenas uma uniao disjunta dos espa cos internos sobre cada ponto, um
feixe de espa cos internos
1
.
Denition 1 Um brado consiste de variedades E (chamado de espaco total), e M (espaco
base) e um mapa diferenciavel sobrejetor : E M (projecao). E
x
=
1
(x) e chamada
de bra sobre x.
1
Essa seria a tradu c ao mais adequada para bundle, infelizmente ja e utilizada em outra area da
matematica.
7
Como a proje cao e sobrejetora, e claro que
xM
E
x
= E. Em geral, as bras E
x
nao
precisariam ser isomorfas mas esse e o caso interessante para nos, por isso assumiremos
essa condi cao, i.e.: E
x
E
x
para todos x, x
, ,
onde
= M, e para cada U
exista
:
1
(U
) U
F (1.1)
onde F e uma variedade diferenciavel xada para todo , chamada de bra t
ipica de E.
Agora, nos queremos tambem que
:
1
(x) x F
u (x,
,x
(u))
(1.2)
onde, como e difeomorsmo,
,x
:
1
(x) F e tambem difeomorsmo.
E impor-
tante notar que a equa cao (1.1) por si so nao implica em (1.2), ja que se
U
, nao e
necessariamente verdade que a restri cao de seja da seguinte forma:
:
1
(
)
U
F (1.3)
Essa condi cao, i.e.: (1.3) para todo aberto
U
xM
T
x
M = (x, v), x M, v T
x
M entao
: TM M
(x, v) x
i.e.: se w T
x
M entao (w) = x, dada um atlas para M, U
, d
) :
1
(U
) W R
n
R
n
R
n
(x, v) (
(x), (d
)
x
(v))
Aqui a bra t
ipica e isomorfa `a R
n
e uma trivializa cao local pode ser dada como acima,
substituindo
.
E ainda facil vermos que como as cartas sao compat
iveis,
tambem os serao as trivializa coes locais.
Uma primeira questao que pode surgir naturalmente e se a condi cao de trivialidade local
nao e um corloario das outras propriedades de brados. I.e.: se E e diferenciavel, e as bras
sao isomorfas, nao seri razoavel que E fosse localmente uma variedade produto? A resposta
e negativa, mostremos um contra-exemplo baseado na faixa de Moebius torta.
Como vimos, tomada como brado sobre a base S
1
com bra t
1
(a) = (I a), a [0, [
ou seja, variedades compactas unidimensionais. Logo, a bra t
ivel em brados que nao sao localmente triviais, construa uma se cao na faixa de Moebius
torta e uma fun cao f : [0, b] S
1
que a represente. Verique que f e descont
inua na
origem.
Denotaremos por (E
|
) o espa co de todas as se coes sobre M. s = s
1
, , s
k
(E
|
)
e chamado de base local de se coes de E sobre se a parametriza cao:
: R
k
1
() = E
|
(p,
1
, ,
k
)
1
e
1
(p) + +
k
e
k
(p)
e um difeomorsmo, isto e: se as se coes e
1
, , e
k
sao l.i. em cada ponto.
E claro que
e
i
(p) =
1
(p, e
i
), onde e
i
denota o i-esimo vetor vetor da base canonica de R
k
. Entao,
localmente, dada uma base, uma se cao pode ser expressa de forma un
=
1
=
1
,F
=
1
, entao ja que
: x R
n
1
(x)
:
1
(x) x R
n
: xR
n
x R
n
e isomorsmo linear. Logo
nos temos
1
: R
k
R
k
(x, v) (x, g
(x)v)
(1.4)
Onde, para cada x , nos temos g
(x) = (F
x
)
1
F
x
: R
k
R
k
e isomorsmo
linear, isto e: g
de ambos os lados de
(1.4), nos temos
(x, v) =
(x, g
(x)v) = (x, g
(x)v) (1.5)
Entao
g
= 1 (1.6)
Como essa equa cao e valida pra todo x M e g
= g
(1.7)
10
Alem disso e claro que estamos identicando os pontos em E
(x, v) =
1
(x, g
(x)v) (1.8)
Logo
(x, v) = (x, g
(x)v) =
(x, g
(x)v) = (x, g
(x)v) (1.9)
Entao
g
(x) = g
(x), x U
= 1 (1.10)
Se, para todo ponto x M, e quaisquer trivializa coes e , nos tivermos que a imagem
de g
T(
1
(x, v)) = T(
1
(x, g
(x)v)) =
1
(x, g
T
(x)v) =
1
(x, g
(x)g
T
(x)v)
logo fazendo v (g
)
1
(v) vemos que g
T
(x) = g
(x)g
T
(x)(g
)
1
G GL(k).
O princ
isica sejam equa coes diferenciais, tais que se s for uma se cao solu cao dessas equa coes,
entao gs tambem o deve ser, para toda transforma cao de gauge g.
POdemos, tomando outra atitude em rela cao a brados vetoriais focada em sua triviali-
dade local, construirE colando os brados triviais U
F atraves dos g
com as propriedades
acima. A proje cao e denida por
: E V
[x, v]
x
As propriedades sobre g
garantem que, se x U
, entao (x, v) U
F. Logo, se
(x, w) U
v
Isto e:
(i) (x, v) (x, v) g
= 1
(ii) (x, v) (x, w) (x, w) (x, v) g
= 1 E nalmente
11
(iii) (x, v) (x, w) (x, u) (x, v) (x, u) g
= g
[x, v]
= [q, w]
x = q, v = g
w
E tomamos a estrutura vetorial em
1
(x) como: [x, g
U]
+ [x, g
w]
= [x, u]
+
[x, w]
= [x, u + w]
= [x, g
(u + w)]
ja que g
(G) GL(F)
Fazemos E = (
F)/
:
1
(U
) U
F (1.12)
[x, u]
(x, u) (1.13)
Dessa forma, temos se x U
, entao
(x, u) = (x, g
u) e completamos a
volta.
Se S e alguma estrutura em R
k
invariante por G, entao podemos passar suavemente S
para cada E
x
pelos isomorsmos
F
i
x
: R
k
E
x
Por exemplo uma estrutura riemanniana em R
k
e invariante pelo grupo O(k), portanto se
E for um O(k)-brado; podemos induzir suavemente uma estrutura riemanniana em E por
qualquer gauge (ja que a transi cao de gauge esta no grupo).
Um atlas de um G-brado e uma cobertura aberta
A
de M em conjunto com os
mapas g
p
G satisfazendo a condi cao de cociclos.
Dado um G-brado E, entao um G-referencial para E em x e um isomorsmo linear
dado por um gauge F
x
: R
k
E
x
. Dado um tal G-referencial f
0
nos temos que f = f
0
g e
tambem um G-referencial para todo g G e o mapa g f
0
g e uma bije cao de G com o
conjunto de todos os G-referenciais de E em x.
Aut(E) e o grupo de automorsmos (isto e: isomorsmos de brados vetoriais entre E
e E) e se E e um G-brado vetorial, entao Aut
G
(E) denota o sub-grupo de automorsmos
de E como G-brado vetorial, i.e.: tal que para (Aut(E)), (x) = (g), onde g G e
: G Aut(E
x
) .
Se E
1
e E
2
forem brados sobre M, os elementos de (E
1
E
2
) sao gerados pelos
elementos da forma s
1
s
2
onde s
1
(E
1
) e s
2
(E
2
). Vejamos porque: dados dois
espa cos vetoriais V, W, denimos V W como a soma bilinear de elementos da forma
3
(v, w), v V ; w W.
E facil ver que dadas bases e
k
dim(V )
k=1
e b
i
dim(W)
i=1
de V e W, tanto
v quanto w tem representa coes unicas em termos destas bases (fato elementar de algebra
linear), logo escrevendo v e w por extenso e utilizando a bilinearidade, cada elemento (v, w)
da soma se decompoe em uma combina cao linear de elementos da base (b
i
, e
k
). Juntando os
coecientes de cada i, k obtemos uma combina cao linear de elementos (b
i
, e
k
). Portanto
voltando ao caso dos brados vetoriais E
1
e E
2
, se e
i
k
i=1
e b
i
l
i=1
sao bases locais de se coes
(referenciais) de, respectivamente, E
1
e E
2
sobre , elas geram univocamente as se coes locais
3
I.e.: identicando em V W os elementos, para v
1
, v
2
V , w
1
, w
2
W:
(v, w
1
+w
2
) = (v, w
1
) + (v, w
2
)
(v
1
+v
2
, w) = (v
1
, w) + (v
2
, w)
12
sobre o brado produto. Obviamente nos temos que para Aut
G
(E
1
E
2
), entao, para
x M, (x) = (g) onde e uma representa cao linear
: G L
_
(E
1
[
x
E
2
[
x
) ; (E
1
[
x
E
2
[
x
)
_
Como exemplo, vamos destrinchar o caso do brado End(E), que como mostraremos
corresponde a E
1
= E, E
2
= E
: W
V
, o isomorsmo
linear induzido por T que leva V
em W
e justamente (T
1
)
. Portanto, para V
,
w W, temos que T age sobre da forma natural (generalizado pelo pull-back):
(T
1
)
(w) = T
1
(w) (T
1
)
= T
1
Portanto se = v V V
a a cao natural de um isomorsmo linear T Aut(V ) e
pela aplica cao adjunta: TT
1
. Portanto se for uma representa cao de G em V , a
representa cao correspondente em V V
e pela representa cao adjunta
(g) : (g)((g))
1
(1.14)
Nos temos ainda que existe um isomorsmo natural entre L(V ; V ) e V V
. Armamos
que existe um isomorsmo canonico L(V ; V ) V V
n
i=1
de V , sua dual
e
i
n
i=1
= e
, base de V
, escrevemos
A = A
i
j
e
i
e
j
onde A
i
j
= e
i
(A(e
j
)) (1.15)
Para T Aut(V ), tomando as bases induzidas naturalmente por T, e = e
i
n
i=1
= Te
i
n
i=1
e
e
= e
i
n
i=1
= e
i
T
1
n
i=1
, em V e V
:=
=
||
x
1
1
x
n
n
: C
(R
n
; R
k
) C
(R
n
; R
k
)
13
Uma aplica cao linear L : C
(R
n
; R
k
) C
(R
n
; R
l
) e chamada de operador diferencial
de ordem menor ou igual a r se e da forma:
(Lf)(x) =
||r
a
(x)(D
f)(x) (1.16)
onde a
(R
n
; L(R
k
, R
l
)), f C
(R
n
; R
k
) e D
f(x) R
k
. Se L tem ordem menor ou
igual a r e nao tem ordem menor ou igual a r1, L e dito pertencer a Di
r
(R
n
R
k
; R
n
R
l
).
Sejam entao (E,
E
, M) e (F,
F
, M) brados vetoriais sobre M. Denimos que L :
(E) (F) e um operador diferencial linear entre E e F de ordem no maximo igual
a r se e um morsmo entre E e F que pode localmente ( i.e.: no do dom
2
: R
k
R
k
e
pr
2
: R
l
R
l
as proje coes canonicas nas bras t
ipicas e a
(; L(R
k
, R
l
)).Entao
L : (E
1
) (E
2
) e localmente representado na forma de (1.16) se, para toda se cao
s (E
1
) e todo m :
pr
2
L(s(m)) =
||r
a
(m)D
(pr
2
(s))(m) (1.17)
Como para m , nos temos
m
:= pr
2
|
1
F
(m)
:
1
F
(m) R
l
isomorsmo linear (e
m
denido analogamente),
L(s)(m) =
1
m
_
_
||r
a
(m)D
(pr
2
(s))(m)
_
_
(1.18)
Sejam agora, denidos da mesma forma, trivializa coes locais
e
. Temos entao
L(s)(m) =
1
m
_
_
||r
(
m
1
m
) a
(m)D
(pr
2
(s))(m)
_
_
(1.19)
Mas por (1.4), (
m
1
m
) = g
: GL(k) o mapa de
transi cao entre as trivializa coes e
, nos temos, para qualquer m :
pr
2
(s(m)) = (pr
2
)(
)(s(m))
= pr
2
_
1
_
(m, pr
2
(s(m)))
= pr
2
_
m, g
pr
2
(s(m))
_
= g
(m)pr
2
(s(m))
14
podemos reescrever (1.19):
L(s)(m) =
1
m
_
_
||r
g
(m) a
(m)D
_
g
(pr
2
(s))
_
(m)
_
_
(1.20)
Utilizando regra da cadeia :
L(s)(m) =
1
m
_
_
||r
g
(m) a
(m)
||||
_
[[
[[
_
D
(g
)(m)D
(pr
2
(s))(m)
_
_
onde a nota cao simplicada subsume que e tal que
i
i
. Mas g
(; L(R
k
, R
k
))
C
(; R
k
2
), portanto D
(g
) C
(; L(R
k
, R
k
)) . Finalmente
L(s)(m) =
1
m
_
_
||r
_
_
r||||
g
(m) a
(m)
_
[[
[[
_
D
(g
)(m)
_
_
D
(pr
2
(s))(m)
_
_
como g
(; L(R
l
, R
l
)) nos temos que
_
_
r||||
g
(m) a
(m)
_
[[
[[
_
D
(g
)(m)
_
_
=: a
(; L(R
k
, R
l
))
logo a
(; L(R
k
, R
l
)) e portanto vericamos que vale
L(s)(m) =
1
m
_
_
||r
a
(m)D
(pr
2
(s))(m)
_
_
(1.21)
Formal Adjoints for Dierential Operators
Sejam E, F brados vetoriais riemannianos sobre M. O subespa co de (E) composto por
se coes de suporte compacto sera denotado por
C
(E). Se s
1
, s
2
C
(E), entao e claro que
x s
1
(x), s
2
(x)) tem suporte compacto. Logo, utilizando o produto interno pontual em E
, ), denimos o produto interno em
C
(E), denotado , )), por
s
1
, s
2
)) =
_
M
s
1
, s
2
)
E trivial mostrar que e bilinear e positivo denido, ja que , ) o e, e pela suavidade das se coes
elas nao podem ser nao nulas em um conjunto de medida zero. Agora, se L : (E) (F)
e tal que L Di
r
(E, F), entao chamamos de adjunto formal de L, o operador diferencial
linear L
(s
2
))
E
= s
1
, L
(s
2
)))
15
E claro que se tal operador adjunto existir, pela nao degenerescencia do produto interno
acima, ele sera unico.
Como vimos, para toda se cao s
1
(E) e para m , por (1.18) L : (E) (F) pode
ser escrito como :
L(s
1
)(m) =
1
m
_
_
||r
a
(m)D
(pr
2
(s
1
))(m)
_
_
Como
m
e isometria ,para u, v R
l
:
u, v)
R
l =
1
m
(u),
1
m
(v))
F
Agora, como e isometria, o adjunto de
1
m
e igual a
m
e nos obtemos:
L(s
1
)(m), s
2
(m))
F
=
1
m
||r
a
(m)D
(pr
2
(s
1
))(m), s
2
(m)))
F
=
||r
a
(m)D
(pr
2
(s
1
))(m), (
m
s
2
(m))
R
l
Como a
(m) L(R
k
; R
l
), podemos tomar tambem o seu adjunto a
(m)
, utilizando entao
a bilinearidade da metrica obtemos:
L(s
1
)(m), s
2
(m))
F
=
||r
D
(pr
2
(s
1
))(m), a
(m)
m
(s
2
(m)))
R
k
Integrando sobre e utilizando integra cao por partes sucessivamente obtemos:
_
L(s
1
), s
2
)
F
=
||r
_
(1)
||
m
(s
1
(m)), D
_
a
(pr
2
) s
2
_
(m))
R
k
E nalmente:
_
L(s
1
), s
2
)
F
=
_
s
1
(m),
||r
(1)
||
1
m
D
_
a
(pr
2
) s
2
_
(m))
R
k
Onde o operador ao lado direito e claramente um morsmo entre F e E. Portanto provamos
que localmente existe um adjunto formal. Se tivermos dois adjuntos formais sobre , L
|
,
L
|
entao claramente
1
2
_
L
|
+
L
|
_
e tambem um adjunto formal, ou seja, combina coes lineares convexas de adjuntos formais
locais sao adjuntos formais locais. Portanto, como L(s)
|U
= L(s
|U
), tomando uma parti cao da
unidade subordinada a uma cobertura de M por abertos que sejam dom
) E de brado de p-formas em M a
valores em E. Notemos que se (
p
(TM
p
(TM
)
_
e s (E),
logo se X
1
, , X
p
(TM), nos temos que
s(X
1
, , X
p
) = (X
1
, , X
p
)s (1.22)
e como
(X
1
, , X
p
) C
(M) s(X
1
, , X
p
) (E)
Isto e, se (
p
(TM
) E
1
) e
2
(
p
2
(TM
) E
2
), denimos
2
(
p
1
+p
2
(TM
) E
1
E
2
)
por
2
(X
1
, , X
p
1
+p
2
) =
p
1
!p
2
!
(p
1
+ p
2
)!
P(p
1
+p
2
)
()
1
(X
(1)
, , X
(p
1
)
)
2
(X
(p
1
+1)
, , X
(p
1
+p
2
)
)
(1.25)
Onde P(p
1
+p
2
) e o grupo de permuta coes de p
1
+p
2
elementos, e () e a paridade da
permuta cao . Em outras palavras, o operador
age como produto externo so na parte de
formas da se cao. Se chamarmos o produto externo usual de
R
=
_
p
1
(TM
)
_
p
2
(TM
)
_
(
p
1
+p
2
(TM
)
_
temos, para elementos da forma
1
s
1
onde
1
(
p
1
(TM
)) e s
1
(E
1
) que a equa cao
(1.25) ca:
(
1
s
1
)
(
2
s
2
) = (
1
R
2
) (s
1
s
2
) (1.26)
17
Mais rigorosamente, seja
i
n
i=1
base local de (
1
(TM
)) e e
j
k
i=1
base local de (E
1
[
).
Lembramos que E
1
[
:=
1
1
() onde
1
: E
1
M. Nos temos que
I
e base local de
p
1
(TM
)
_
, onde o superscrito mai usculo I e a chamada nota cao de multi-
indices,
que denota uma combina cao de p
1
elementos da forma
i
. I.e.: se I = (i
1
, , i
p
1
) com
1 i
1
< < i
p
1
n entao
I
=
i
1
ip
1
.
Logo (
p
1
(TM
) E
1
) e localmente gerado C
l
i=1
base local de (E
2
[
1
(
p
1
(TM
) E
1
[
) e
2
(
p
2
(TM
) E
2
[
),
1
= f
i
I
I
e
i
,
2
= g
j
J
J
b
j
,
f
i
I
, g
j
J
: R. Portanto, obtemos :
2
= f
i
I
g
j
J
(
I
R
J
) (e
i
b
j
) (1.27)
No caso de p
1
= p
2
= 1 entao
2
(X
1
, X
2
) =
1
2
_
1
(X
1
)
2
(X
2
)
1
(X
2
)
2
(X
1
)
_
(E
1
) (E
2
) (1.28)
Onde X
1
, X
2
sao se coes de TM. Se tivermos no entanto uma aplica cao bilinear :
E
1
E
2
E
3
, ao inves de
, substituindo o produto tensorial em (1.28) por , podemos
denir um produto externo , que vai de formas a valores em E
1
e E
2
, respectivamente, em
(
p
1
+p
2
(TM
) E
3
). I.e.:
: (
p
1
(TM
) E
1
) (
p
2
(TM
) E
2
) (
p
1
+p
2
(TM
) E
3
)
E para o caso de 1-formas:
1
2
(X
1
, X
2
) =
1
2
_
1
(X
1
),
2
(X
2
)
_
1
(X
2
),
2
(X
1
)
_
_
(1.29)
Por exemplo, podemos ter E
1
= E e E
2
= E
) e e
i
), para
1
_
p
(TM
) End(E)[
_
,
1
=
1
i
j
e
i
e
j
onde
1
i
j
_
p
(TM
)
_
podemos ilustrar a opera cao acima como uma simples contra cao:
1
2
=
1
i
j
R
2
l
k
e
i
_
e
j
(e
l
)
_
e
k
=
1
i
j
R
2
j
k
e
i
e
k
(1.30)
Fazemos aqui a importante observa cao que, salvo aviso, tomaremos sempre este produto
exterior entre formas a valores em End(E).
18
Agora, quando E
1
= E
2
= E, se o brado for um brado de algebras, existe uma aplica c ao
E E E. Com essa aplica cao podemos novamente denir um produto externo a valores
em E e (1.28) pode tomar a forma:
2
(X
1
, X
2
) =
1
2
_
1
(X
1
)
2
(X
2
)
1
(X
2
)
2
(X
1
)
_
(1.31)
Pela forma de (1.31), a nota cao para tal aplica cao no brado se sugere como:
2
(X
1
, X
2
) = [
1
(X
1
),
2
(X
2
)] = [
1
,
2
](X
1
, X
2
) (1.32)
Em particular, se for um brado de `algebras anti-comutativas:
(X
1
)(X
2
) = (X
2
)(X
1
) = =
Portanto ca aqui claro que nao temos, como no caso da formas a valores reais (que e um
brado de `algebras comutativas), que = 0. Em geral, temos localmente, em termos de
uma base e
i
de g, =
i
e
i
, denotando o produto da algebra por [, ]:
(X
1
, X
2
) =
1
2
((X
1
)(X
2
) (X
2
)(X
1
)) (1.33)
=
i
(X
1
)
j
(X
2
)e
i
e
j
j
(X
2
)
i
(X
1
)e
j
e
i
(1.34)
=
i
(X
1
)
j
(X
2
)[e
i
, e
j
] (1.35)
The Exterior Derivative
Seja E = MV , neste caso (ja que podemos manter se coes de (E) constantes), teremos
um operador diferencial de primeira ordem:
d : (
p
(M) E) (
p+1
E)
d
Onde para, X
1
, , X
p+1
(TM),
d(X
1
, , X
p+1
) =
p+1
i=1
(1)
i+1
X
i
(X
1
, ,
X
i
, , X
p+1
)+
1ijp+1
(1)
i+j
([X
i
, X
j
], X
1
, ,
X
i
, ,
X
j
, , X
p+1
) (1.36)
Que e exatamente analogo `a deni cao da derivada exterior de p-formas a valores reais, e
generaliza
d(X, Y ) = X[(Y )] Y [(X)] ([X, Y ])
19
Mostremos que d e C
(M):
d(fX
1
, , X
p+1
) = fX
1
[(X
2
, , X
p+1
)]
+
p+1
i=2
(1)
i+1
X
i
[(fX
1
, ,
X
i
, , X
p+1
)]
+
p+1
i=2
(1)
i+1
([fX
1
, X
i
], ,
X
i
, , X
p+1
)
+
2ijp+1
(1)
i+j
([X
i
, X
j
], fX
1
, ,
X
i
, ,
X
j
, , X
p+1
)
Mas e multilinear, entao
p+1
i=2
(1)
i+1
X
i
[(fX
1
, ,
X
i
, , X
p+1
)] =
p+1
i=2
(1)
i+1
X
i
[f](X
1
, ,
X
i
, , X
p+1
)
+ f
p+1
i=2
(1)
i+1
X
i
[(X
1
, ,
X
i
, , X
p+1
)]
Alem disso, como [fX
1
, X
i
] = f[X
1
, X
i
] X
i
[f]X
1
,
p+1
i=2
(1)
i+1
([fX
1
, X
i
], ,
X
i
, , X
p+1
)
= f
p+1
i=2
(1)
i+1
([X
1
, X
i
], ,
X
i
, , X
p+1
)
p+1
i=2
(1)
i+1
X
i
[f](X
1
, ,
X
i
, , X
p+1
)
Juntando todos os termos obtemos
d(fX
1
, , X
p+1
) = fd(X
1
, , X
p+1
) (1.37)
Logo d e tensorial, so depende dos valores dos campos nos pontos calculados.Temos as
seguintes propriedades, identicas `aquelas validas para formas a valores reais:
(i) d e linear
(ii) d(
1
2
) = d
1
2
+ (1)
p
1
1
d
2
,para
i
(
p
i
(TM
) E)).
(iii) d
2
= 0
(iv) Se tem suporte compacto C entao
_
C
d =
_
C
(Teorema de Stokes).
20
Bem coloquialmente, o que e a derivada exterior?
E a potencialidade de varia cao. A
potencialidade de varia cao de uma fun cao por exemplo, se toma ao longo de dire coes, e a de
uma fun cao sobre dire coes (1-formas) se toma ao longo de elementos de area direcionados
4
Agora, porque a potencialidade de varia cao da potencialidade de varia cao e nula? Porque a
potencialidade de varia cao nao e uma quantia escalar, e sua dire cao em pontos (ou elementos
de area, etc.) vizinhos e oposta [4]. Pense em uma distribui cao de temperatura, se voce vai
de A para B a temperatura aumenta tanto quanto diminui se voce toma a dire cao oposta,
de B pra A. Portanto a soma das potencialidades se cancela, deixando somente o valor na
fronteira da regiao tomada (Teorema de Stokes). Como a fronteira de uma fronteira e nula,
a integral
_
S
d
2
= 0
para qualquer p-forma e qualquer variedade S, logo d
2
= 0.
1.3 Hodge Decomposition Theorem
The Hodge Operator
Suponhamos que M
n
tenha estrutura Riemanniana (M, , )), ha uma maneira natural de
induzir um isomorsmo entre T
x
M e T
x
M
e
u, v T
x
M denimos u
T
x
M
por u, ):
u
(v) = u, v)
assumindo que a metrica e nao degenerada, e que o espa co dual tem a mesma dimensao, e
facil vericar que : T
x
M T
x
M
e isomorsmo: se u, v T
x
M tal que u, w) = v, w)
para todo w T
x
M, entao
u v, w) = 0 = u v = 0
Denotamos o inverso de por : T
x
M
T
x
M. Podemos vizualizar este isomorsmo
da seguinte maneira: dado um vetor v T
x
M , v
(w) = 0. Claramente
precisamos da metrica para nos dizer o que e ortogonalidade.
O produto exterior de duas 1-formas, seguindo esse racioc
ilia de
vetores (elementos de linha), dadas pela intersec coes dos seus respectivos hiperplanos, e sua
aplica cao feita em elementos de area (correspondentes a dois vetores), seria a velocidade com
a qual esses elementos de linha atravessam esses elementos de area [5]. Em dimensoes mais
altas a vizualiza cao se torna totalmente abstrata, mas, seguindo esse racioc
Sn
()
(1)
,
1
)
(p)
,
p
) = det(
i
,
j
)) (1.38)
onde denimos , ) :=
) , S
p
denota o grupo de permuta cao de p elementos, ()
e a paridade da permuta cao . Se e
i
n
i=1
e uma base ortonormal para T
x
M, entao os
_
n
p
_
elementos formados por e
I
, onde o superscrito mai usculo I e um multi-
indice de p elementos
5
,
forma uma base ortonormal para
p
(T
x
M).
Logo
n
(T
x
M) e 1-dimensional e tem dois elementos de norma 1. Se pudermos escolher
(
n
(TM
)) tal que [[
x
[[ = 1, entao M e orientavel e uma escolha e chamada de
orienta cao de M, e o elemento de volume Riemanniano.
Consideremos o mapa bilinear:
B
p
: (
p
(TM
)) (
np
(TM
)) C
(M, R)
(, ) B
p
(, ) =
Proposition 1 B
p
e nao-degenerado e portanto determina unicamente um isomorsmo :
(
p
(TM
)) (
np
(TM
)) tal que:
= , (1.39)
onde ,
p
(M),
n
(M).
Dem: Seja e
i
n
i=1
base ortonormal de T
x
M, e I = (i
1
, , i
p
) com 1 i
1
< <
i
p
n, chamamos de I
C
o complementar de I em (1, 2, , n) em ordem tambem cres-
cente. Chamaremos novamente de (I) a paridade da permuta cao levando (1, 2, , n) em
(i
1
, i
2
, , i
n
):
_
1 2 p p + 1 n
i
1
i
2
i
p
j
1
j
np
_
obviamente e
I
e
I
c = (I). Nos temos ainda que para qualquer J subconjunto crescente
de np elementos de 1, , n tal que J ,= I
c
, necessariamente e
I
e
J
= 0. Logo se I ,= J
entao e
I
C ,= e
J
C e portanto e
I
C, e
J
C = 0.
Chamando de ( a cole cao de todos os subconjuntos crescentes de p-elementos de
1, , n, nos temos entao que e
I
IC
e (I)e
I
c
IC
sao bases ortonormais de
p
(T
x
M)
e
np
(T
x
M) (ja que tem a mesma dimensao). Agora, como deve satisfazer:
e
I
e
I
= e
I
, e
I
= = (I)(I) = e
I
(I)e
I
C
podemos denir o operador linear como agindo em uma base da seguinte forma
e
I
:= (I)e
I
C
5
I.e.: se I = (i
1
, , i
p
) com 1 i
1
< < i
p
n ent ao
I
=
i1
ip
.
22
Como leva base em base, o operador e isomorsmo linear, que por constru cao obedece
(1.39), como B
p
e nao degenerado, o operador estabem denido e e unico. Claramente se
e
I
= , entao e
I
= 1.
Aqui nossa maneira de visualizar formas como elementos de area direcionados vem a
calhar. Todo subespa co de um espa co vetorial tem um subespa co ortogonal, mas somente
subespa cos direcionados (com orienta cao) tem subespa cos ortogonais direcionados, e da
i que
vem todas as caracater
) (1.40)
=
1
2
(( +) + ( )) (1.41)
=
1
2
(
+
+
) (1.42)
=
1
2
(( + ) + ( )) (1.43)
=
1
2
(
+
) (1.44)
Entao denotando o autoespa co do autovalor k do operador linear no espa co em questao
como A(k), nos obtemos
p
(T
x
M) = A(1) A(1), decomposi cao que e importante no
estudo das equa coes de Yang-Mills.
Agora, para E brado vetorial Riemanniano, utilizando o produto externo nestes espa cos
que incorpora o produto interno riemanniano nas bras (que denotaremos nesse caso por g),
como explicitado na equa cao (1.29), se
p
(T
x
M) E
x
e
np
(T
x
M) E
x
pela
equa cao (1.25) denimos este produto externo como:
(X
1
, , X
n
) :=
p!(n p)!
n!
P(n)
()g
_
(X
(1)
, , X
(p)
), (X
(p+1)
, , X
(n)
)
_
23
Entao assim como para formas a valores reais, incorporando o produto interno riemanni-
ano obtemos uma forma bilinear nao degenerada de (
p
(T
x
M) E
x
) (
np
(T
x
M) E
x
)
R:
= B
p
(, )
n
(T
x
M)
Seguindo a demonstra cao do lema anterior, obtemos um unico isomorsmo :
p
(M)E
np
(M) E caracterizado por
= , )
a saber, o isomorsmo levando base ortonormal de
p
(T
x
M) E
x
em base ortonormal de
np
(T
x
M) E
x
:
(e
I
b
j
) = (I)e
I
c b
j
(1.45)
onde
p
(M) E e o produto interno, para o qual utilizamos a mesma nota cao do
produto interno de 1-formas, aqui incorpora tanto o produto interno pontual para p-formas,
, , quanto o produto interno pontual riemanniano.
Exterior Co-derivative
Pela deni cao, se ,
C
(
p
(M) E)
, )) =
_
M
, ) =
_
M
Vamos calcular explicitamente o adjunto formal da derivada exterior d : (
p
(TM
)
E) (
p+1
(TM
) E) (
p
(TM
) E),
a coderivada exterior. Lembramos antes de mais nada que so existe um conceito natural
de derivada exterior sobre brados produto E = M V (ou localmente para a trivializa cao
V ), ja que a
)E) e
C
(
p+1
(TM
)
E) e portanto
C
(
n1
(TM
)) e d( )
C
(
n
(TM
_
M
d =
_
M
(1)
(p+1)
d() (1.48)
Mas pela deni cao de , sobre cada ponto de M, d = d, ), e por outro lado, como
= (1)
p(np)
entao (1)
p(np)
= 1, e nos temos
(1)
p+1
d() = (1)
p+1
((1)
p(np)
d()) = (1)
p+p(np)+1
(d())
(1)
p+1
d() = (1)
p+p(np)+1
, d())
Subsituindo em (1.48), obtemos
_
M
d, ) = (1)
p+p(np)+1
_
M
, d())
24
Entao
d, )) = (1)
p+p(np)+1
, d ))
e portanto
p+1
= (1)
np+1
np
d
n(p+1)
p+1
onde utilizamos que 1
p
2
p
= 1 e os subscritos denotam o grau das formas a que os oper-
adores estao sendo aplicados; a coderivada exterior esta sendo aplicada em p + 1-formas a
valores no brado e as levando para p formas a valores no brado. Entao nalmente obtemos
para : (
p
(TM
) E) (
p1
(TM
) E)
p
= (1)
n(p+1)+1
np+1
d
np
p
(1.49)
Temos as seguintes propriedades para a coderivada exterior, facilmente vericaveis (aplicare-
mos em formas de grau p):
(i) = d = d = 0
Como d e sao lineares, = d d = d = d = 0.
(ii) d = d , d = d
Simplesmente escrevendo por extenso os dois lados das equa coes obtemos os resultados.
(iii)
np
p
= (1)
p+1
d
Nos temos
np
p
= (1)
n(np+1)+1+p(np)
p+1
d
p
, e fazendo as contas obtemos
(1)
n(np+1)+1+p(np)
= (1)
p+1
(iv)
p1
p
= (1)
p
d
Ja que (1)
(p1)(np+1)+n(p+1)+1
= (1)
p
The Laplacian
Em matematica e f
=
2
x
2
+
2
y
2
+
2
z
2
=
3
i=1
2
i
E poss
p
= d
p1
p
+
p+1
d
p
(1.50)
6
Na nota c ao mais comum entre os f
(f) =
1
_
[g[
i
(
_
[g[
i
f)
25
ou em nota cao mais compacta: = d + d, chamaremos este operador de Laplaciano,
ao inves de
, preferencia justicada por ser assim um operador positivo denido, como
mostramos a seguir.
E trivial perceber que adjunto do Laplaciano,
= d + d = ,
ou seja, e um operador auto-adjunto. O n ucleo de e chamado de espa co de p-formas
harmonicas a valores em V .
Proposition 2 Temos as seguintes propriedades do Laplaciano:
(i) O laplaciano e auto-adjunto.
(ii) Para
C
(
p
(T
M) E) de /
p
(E) ou abreviando ainda
mais, /
p
, e o espa co de p-formas harmonicas em /
p
de H
p
. Um corolario trivial desta
ultima proposi cao e o Teorema de Liouville, que diz que se M e compacto, orientado e
conexo, entao qualquer fun cao harmonica, i.e.: tal que f = 0, e constante (ja que df = 0).
Temos ainda que se for uma n-forma harmonica, entao e um m ultiplo constante da forma
volume, ja que = f e portanto = = f = df = 0.
Proposition 3 H
p
, Im(d
p1
) e Im(
p+1
) sao mutuamente ortogonais em /
p
.
Dem: Seja /
p1
, /
p+1
e H
p
.
utilizindo a nota c ao f
j
e o
levantamento do campo
i
pela metrica, i.e.:
i
. Utilizando novamente a nota c ao de multi-
indices para
letras mai usculas, como a forma volume temos:
f = df + df = df =
i
f dx
i
= d
i
f dx
i
= d((iJ)
_
[g[
i
f dx
J
)
= (iJ)
j
(
_
[g[
i
f) dx
j
dx
J
=
1
_
[g[
i
(
_
[g[
i
f) =
1
_
[g[
i
(
_
[g[
i
f)
26
Im(d
p1
) Im(
p+1
):
d, )) = , ())) = 0
Im(d
p1
) H
p
:
d, )) = , )) = 0
Im(
p+1
) H
p
:
, )) = d, )) = 0
ipticas [6].
Como o n ucleo de qualquer operador linear e um subespa co fechado, e intersec coes ar-
bitrarias de conjuntos fechados e fechada, temos que H
p
e fechado em um espa co normado,
/
p
. Logo dado um elemento /
p
, temos que existem muitos h H
p
e h
/
p
H
p
tais que h
= h e m
H
p
. Chamaremos a proje cao em H de
H.
Para todo /
p
nos teremos que
H() (H
p
)
nos
temos que = d +. Agora armamos que existem , /
p
tal que = d e = .
De fato, sucessivamente aplicando o teorema de Hodge obtemos:
= d
1
+
1
+
1
= d = d
1
1
= d
2
+
2
+
2
=
1
= d
2
portanto substituindo uma na outra: d = d(d
2
) = (d
2
) = , onde o que procuravamos
e dado por d
2
. E portanto, fazendo a mesma conta para obtemos, para algum , =
e nalmente = ( + ).
1.4 Connections in Vector Bundles
Nos vimos que no caso de brados localmente triviais, ao redor de qualquer ponto da base
ha uma vizinhan ca sobre cujas bras existe o conceito de uma se cao se manterconstante.
Poder
iamos escolher comparar vetores segundo essa trivializa cao, nos ter
iamos um pano
de fundo local em cada bra segundo o qual poder
M E)
tal que se f C
|
1
1
(x)
:
1
1
(x)
1
2
(x)
e isomorsmo linear. Entao seja
1
: (E
1
) (T
M E
1
)
uma conexao em E
1
, e seja
: T
M E
1
T
M E
1
dada por
= Id (claramente C
bilinear).
Denimos entao
2
: (E
2
) (T
M E
2
)
s
_
1
(
1
(s))
_
Agora seja f C
(M, R) e s (E
2
) entao temos
2
(fs) =
1
(
1
(fs)) =
(
1
f
1
(s))
=
_
(df
1
(s)) + f(
1
(
1
(s))
_
= df s + f
1
(
1
(s))
= df s + f(
2
s)
Logo
2
e uma conexao em (E
2
) induzida por .
(ii) Agora se E = M V (E) = C
(M, V ) e se s (E) s = s
i
e
i
onde s
i
(M, R) d(s
i
e
i
) = ds
i
e
i
e a conexao at de
E : d(fs
i
e
i
) = df s
i
e
i
+ fds
i
e
i
(iii) Pelos itens (i) e (ii) nos temos que um gauge F : R
k
E
|
dene uma conexao
F
para E
|
.
29
(iv) Agora seja
seja um dom
.
Seja : (E) (T
M E) dada por =
, entao, para f C
(M, R) e
s (E) nos temos
(fs) =
(fs) =
(df s + f
s)
= df s + f
s = df s + fs
Agora denimos
X
: (E) (E)
s s(X)
Como e linear,
X
tambem o e. Podemos ver isso facilmente localmente, ja que
s = a
j
i
e
i
s
j
s(fX) = fs(X)
Resumindo nos temos as seguintes propriedades
X
Diff
1
(E, E) e e linear
X
X
e linear
Por (1.51) e a deni cao de
X
, temos
X
fs = X[f]s + f
X
s
Curvature of a Connection
Seja E = V ,a conexao trivial vinda deste gauge, i.e.:
(M, V ) e X, Y (TM)
X
f = X[f] [
X
,
Y
]f = [X, Y ]f =
[X,Y ]
f
[
X
,
Y
] =
[X,Y ]
I.e.: X
X
e um homomorsmo de algebras de Lie entre (TM) em Di(E, E), que
e a condi cao pela qual deniremos uma conexao at, ou plana. Em geral, este nao sera o
caso, o que sugere que estudemos o mapa:
: (TM) (TM) Di
0
(E, E) (1.52)
(X, Y ) [
X
,
Y
]
[X,Y ]
(1.53)
que mede o quanto o mapa X
X
falha em ser homomorsmo de algebras de Lie. Por
deni cao, o comutador de elementos de uma algebra de Lie, pertence a propria algebra de
30
Lie. A falha do comutador de uma distribui cao em pertencer a distribui cao e uma medida
da sua falta de integrabilidade. Como veremos, uma falha da aplica cao acima em ser um
homomorsmo de algebras de Lie em um dado ponto representa a falta de integrabilidade de
qualquer referencial local paralelo (ou ainda, a impossibilidade de escolhermos um referencial
que nao observe os efeitos da curvatura).
Em termos mais pedestres, podemos dizer que o primeiro termo do lado direito de (1.53),
o comutador, mede a diferen ca entre derivar covariantemente primeiro em uma dire cao e
depois na outra, e tomar as derivadas na ordem inversa. Mas isso nao diz muita coisa, ja
que mesmo em um brado trivial, com a conexao trivial, as derivadas covariantes podem
nao comutar simplesmente porque os campos vetoriais X, Y podem ter o seu colchete de
Lie nao nulo. I.e.: para uma se cao do brado trivial f : M R
k
, e para a derivada usual
do R
k
, os primeiros termos equivalem `a (XY Y X)f , mas nao e necesariamente verdade
que (XY Y X)f = 0. O segundo termo corrige este efeito. Mostremos pois algumas
caracter
x
(X
x
, Y
x
) = (X, Y )
x
Dem: (X, Y ) e claramente anti-simetrica, vimos tambem que (X, Y ) End(E),
agora nos resta ver que e C
M End(E))
31
Denition 5 Se (E) e s (E), denimos (s) (T
M E) por
(s)(X) = (X, s(p)) E
x
(1.55)
onde X T
p
M.
Na verdade estamos mudando o enfoque sobre de
(E) = (T
M End(E)) (E
(T
M E)) = Di
0
(E, T
M E) (1.56)
Ou seja, existe um isomorsmo trivial entre os dois espa cos que so muda a ordem de opera cao
de seus elementos.
Theorem 7 Se
0
((E) e para todos (E) nos denirmos
: (E) (T
M E) (1.57)
s
0
s + (s) (1.58)
Entao
((E) e o mapa
e bijetor.
Dem:
fs = f
0
s + df s + f(s) = f
s + df s (1.59)
Agora provemos que
(, nos
temos que:
(fs) = df s + f
s (1.60)
0
(fs) = df s + f
0
s (1.61)
De (1.60) e (1.61) nos temos:
(
0
)(fs) = f(
0
)s
ou seja
0
e linear. I.e.:
0
Di
0
(E, T
M E)
0
=
para algum (E), entao
=
0
+
Logo (E) e um subespa co am de Di
1
(E, T
M E) e nos temos
((E)
0
+ Di
0
(E, T
M E)
Nos chamaremos de (E) = (T
(M, R
k
) e (
1
(M) E) e o espa co
das formas a valores em R
k
. Como vimos, a escolha natural para
0
e d, a diferencial usual
de uma fun cao a valores vetoriais. Temos:
(E) = (T
M End(E)) =
_
T
M L(R
k
, R
k
)
_
entao
= d + nos da uma bije cao entre ((E) e formas a valores em M(k k).
Escrevamos entao em termos de uma base de R
k
, B = e
i
k
i=1
e tomamos a base dual
B
= e
i
k
i=1
, entao e claro que e
i
e
j
para 1 i k, 1 j k e a base associada de
L(R
k
, R
k
). Entao, escrevendo nessa base, temos:
=
onde
(T
M) . Agora seja s = s
i
e
i
(E) = C
(M, R
k
) entao
s = d(s
i
e
i
) + (s
i
e
i
) = ds
j
e
j
+ s
i
j
i
e
j
(1.62)
Logo,
(
s)
j
= ds
j
+ s
i
j
i
Logo se X (T
x
M),
s(X) = (
s)
j
(X)e
j
(
s)
j
(X) = X[s
j
] + s
i
(x)
j
i
(X) (1.63)
Tomando s = e
k
temos
s = (e
k
) =
k
e
e
k
)
k
(1.64)
E nalmente obtemos :
X
e
k
=
k
(X)e
(1.65)
Nos acabamos de provar que:
Theorem 8 Existe uma bijecao
no brado produto E = M R
k
.
v
s(x)) = v[s] + (v)s(x)
para v T
x
M e s (E) = C
k
i=1
e expandindo a acao de
X
nessa base, para X (E):
X
e
i
=
j
i
(X)e
j
= (X)(e
i
) (1.66)
Entao (
2
(M) L(R
k
, R
k
) esta relacionada a uma conexao . Vejamos como.
: (TM TM) L(R
k
, R
k
) (1.67)
(X, Y )
j
l
(X, Y )e
l
e
j
(1.68)
33
Onde
j
l
(X, Y ) e uma matriz k k de 2-formas em M. Logo, aplicando a e
i
ambos os
lados da ultima equa cao:
j
i
(X, Y )e
j
= (X, Y )(e
i
) = ([
X
,
Y
]
[X,Y ]
)e
i
onde lembramos o leitor que
indices repetidos indicam uma somatoria de termos. Mas
X
e
i
=
j
i
(X)e
j
Y
(
X
e
i
) =
_
Y [
j
i
(X)] +
k
i
(X)
j
k
(Y )
_
e
j
(1.69)
Para calcularmos
X
Y
e
i
basta invertermos X Y . Por ultimo resta
[X,Y ]
e
i
=
j
i
([X, Y ])e
j
Juntando todos os termos obtemos:
j
i
(X, Y )e
j
=
_
X[
j
i
(Y )] +
k
i
(X)
j
k
(Y ) Y [
j
i
(X)]
k
i
(Y )
j
k
(X)
j
i
([X, Y ])
_
e
j
= d
j
i
(X, Y ) +
k
i
j
k
(X, Y )
Portanto obtemos
j
i
= d
j
i
+ ( )
j
i
(1.70)
Onde ( ) e a matriz de 2-formas resultante da multiplica cao das matrizes de 1-forma
, onde a multiplica cao de cada termo se da com o produto exterior. Portanto, denindo
d := d
j
i
e
i
e
j
chegamos a
= d + (1.71)
Ou em palavras:
Theorem 9 Se e uma matriz k k de 1-formas em M e =
= d + e a conexao
correspondente no brado produto E = M R
k
, entao a forma de curvatura
relacionada
a e a matriz k k de 2-formas em M dada por
= d + .
Esta forma de expressar facilita em muito a deriva cao da Identidade de Bianchi:
d
= 0 (1.72)
Dem:
d = d(d) + d( )
= d d
= ( ) ( )
= +
= (1)
2
A identidade de Bianchi, e uma rela cao geometrica que, como veremos, representa leis de
conserva cao. Claramente estes resultados se estendem naturalmente para uma dada trivial-
iza cao local. Mas quanto dependem estes resultados das nossas escolhas de trivializa cao?
34
Gauge Transformation
Sejam e
i
k
i=1
e e
i
k
i=1
duas bases locais de (E
|
), relativas `as trivializa coes F =
1
:
R
k
1
() e G =
1
: R
k
1
() respectivamente. E seja g : (Aut(E[
))
o mapa de transi cao de um ao outro. Entao temos e
i
= g(e
i
). Pela equa cao (1.66), (X)
End(E
x
), e poder
= d +
Nos temos que
d = d
_
(dg)g
1
_
+d(gg
1
) = (dgg
1
dgg
1
)+dgg
1
+gdg
1
gg
1
dgg
1
(1.74)
e por outro lado
= dgg
1
dgg
1
+ dg g
1
+ gg
1
dgg
1
+ g g
1
(1.75)
Somando (1.74) e (1.75), obtemos
= gdg
1
+ g g
1
= gg
1
(1.76)
Logo se (X, Y ) for nula, ela sera nula em todos os gauges, representando bem o seu carater
tensorial. Enquanto que para formas de conexao, mesmo que (X) = 0, nos temos de levar
em conta o termo dgg
1
, que representa o carater am da forma de conexao (sem origem).
Notemos que nao derivamos o resultado usual de
= gdg
1
+ gg
1
isso ocorre porque ao contrario da maioria das abordagens, aqui o grupo age sobre uma base
`a esquerda e nao `a direita.
E facil ver que utilizando a a cao `a direita recupera-se o resultado
usual.
7
Lembrando que em termos de bases locais o mapa de transi c ao pode ser encarado como uma aplica c ao
g : GL(k), poder
X
(E)
Exatamente como ocorre com a representa cao de transforma coes lineares sob isomorsmos
lineares. I.e.: nos podemos representar a conexao sob um isomorsmo de brados, e
obteremos uma nova conexao
X
(s) = g
X
(g
1
s)
X
= g
X
g
1
(1.77)
ou ainda, g
X
=
X
g. Chequemos pois que
e realmente uma conexao:
(i) Se s (E), f C
X
(fs) = g
X
(g
1
fs) = g
X
(fg
1
s) = gX[f]g
1
s + fg
X
(g
1
s) = X[f]s + f
X
(s)
(1.78)
(ii) O mapa X
X
e C
(M, R)-linear:
fX
= g
fX
g
1
= fg
X
g
1
= f
X
(1.79)
Agora podemos nos perguntar, como provamos que existe bije cao entre o espa co das
conexoes e o espa co das formas, se estiver relacionado a e
estiver relacionado a
entao qual e a rela cao entre e ? Sobre
1
(), o dom
0
= d, fazendo g
X
=
X
g:
36
g
X
e
i
= g
k
i
(X)e
k
=
k
i
(X)g
j
k
e
j
= (
l
i
(X)g
k
l
)e
k
X
(ge
i
) =
X
(g
j
i
e
j
) = (dg
k
i
+ g
j
i
k
j
(X))e
k
dg
k
i
+ g
j
i
k
j
(X) =
l
i
(X)g
k
l
Valido para todo X (TM
|
), obtemos entao:
= (dg)g
1
+ gg
1
(1.80)
Para calcularmos a curvatura sob uma transforma cao de gauge, notemos que, a partir de
(1.77), obtemos, para todos X, Y (TM):
Y
= g
X
g
1
g
Y
g
1
= g
X
Y
g
1
e que
[X,Y ]
= g
[X,Y ]
g
1
portanto obtemos:
= gg
1
(1.81)
E realmente, o efeito local de automorsmos globais e uma transforma cao de gauge.
Vejamos pois outras formas de construir novas conexoes a partir de antigas, constru coes
necessarias para a introdu cao dos importantes conceitos de paralelismo e holonomia.
1.5 Parallel Transport and Holonomy
Building New Connections
Proposition 5 Seja
i
iI
uma cobertura de M e
i
a conexao em
1
(
i
) de forma que
i
e
j
concordam em E
|
i
j
, para todos i, j I. Ent ao existe uma unica conexao em
E tal que
|
1
i
=
i
Dem: Que existe uma e facil demonstrar usando parti coes da unidade associadas `a cober-
tura
i
. Chamando essa parti cao de
i
e fazendo =
iI
i
i
podemos facilmente
vericar que obtemos a conexao desejada. Por outro lado, se houvesse duas diferentes, elas
teriam de diferir em pelo menos um aberto (ja que sao lisas), podemos supor sem perda de
generalidade que seriam entao diferentes em um aberto contido em E
|
i
, logo nao podem
ambas ter restri cao igual em E
|
i
.
Theorem 10 Se e qualquer conexao em E existe uma conexao unica
no brado dual
E
tal que se (E
X
(s) +
X
s (1.82)
37
Dem: A forma mais facil de demonstrar esse fato e simplesmente tomando
X
(s) = X[(s)]
X
s (1.83)
e mostrando que essa deni cao preenche os requisitos de uma conexao. Sera util no entanto
achar a forma de conexao em termos de uma trivializa cao local, em termos de bases locais,
e
i
e e
i
de (E
|
i
) e (E
|
i
) respectivamente. Entao, chamando
X
e
j
=
(X)e
j
, usando
X
e
i
= (X)e
i
e a propriedade que a conexao comuta com a contra cao, i.e.: (1.82), obtemos:
X[e
j
(e
i
)] = (
(X)e
j
)(e
i
) + e
j
(X)e
i
= 0 (
(X)e
j
)(e
i
) = e
j
((X)e
i
)
Mas lembremos que se S L(R
k
, R
k
), se
1
(R
k
) e v e um vetor em R
k
, entao (Sv) =
S
T
(v), i.e.: S = S
T
, Onde o sobrescrito T denota transposi cao da matriz. Entao,
utilizando o caso geral:
e
j
((X)e
i
) = ((X)
T
e
j
)(e
i
) = (
(X)e
j
)(e
i
) (1.84)
Logo, como isso e valido para todos i, j, X obtemos,
=
T
. Ou ainda, sendo
i
uma
base de campos para (E
|
i
) dual a e
i
, obtemos facilmente
i
(e
j
) +
i
(
X
e
j
) =
k
i
(X)
k
(e
j
) +
i
k
j
(X)e
k
= 0
j
i
=
i
j
Demos a primeira demonstra cao porque a segunda contraria um pouco a nota cao e pratica dos
f
isicos, de nao considerar formas duais como campos vetoriais, e de denota-las por
indices
superiores ao inves de inferiores. Considerando formas simplesmente como se coes de um
brado vetorial (e nao somente como duais de se coes) a demonstra cao se torna trivial.
Theorem 11 Se
i
e conexao em um brado E
i
sobre M, i=1,2, entao existe uma unica
=
1
1 + 1
2
em E
1
E
2
, tal qual se s
i
(E
i
) e X (TM) Entao
X
(s
1
s
2
) =
1
X
s
1
s
2
+ s
1
2
X
s
2
(1.85)
Dem: Novamente tomamos duas bases e
i
k
i=1
, b
i
l
i=1
sobre E
1
[
e E
2
[
respectivamente.
Entao temos, se satisfaz (1.85):
X
(e
i
b
j
) =
1
X
e
i
b
j
+ e
i
2
X
b
j
=
k
m=1
(1)
(e
i
) b
j
+
l
p=1
e
i
(2)
(b
j
)
Logo como e
m
b
j
i=k,j=l
i=1,j=1
e base de (E
1
E
2
)[
1
e
2
sao unicos para
1
e
2
, e unica e tem a forma
=
1
Id + Id
2
(1.86)
38
Agora , do brado (E, , M), e dado um mapa : N M, nos obtemos o brado do
pull-back
(E)
_
x
(E
(x)
)
i.e.: nos puxamos as bras juntamente com os pontos de (N). Logo nos obtemos o mapa
linear
: (E)
_
(E)
_
s s
Theorem 12 Dado ((E), existe uma unica conexao
para
Y
(
s) =
(
X
s) (1.87)
Dem: Novamente escolhemos uma base e
i
k
i=1
em E[
, e obtemos
(
X
e
i
) =
(
j
i
(X)e
j
) =
j
i
(d(Y ))
e
j
) (1.88)
E claro que
(e
i
)
k
i=1
= e
i
k
i=1
e base de (
(E)) entao
(
X
e
i
) =
j
i
(d(Y )) e
j
j
i
=
j
i
(1.89)
Portanto temos
(
e
i
)
j
=
j
i
(1.90)
Exemplos
Se N for subvariedade de M e : N M entao
(E) = E
|N
.
E claro que se (N)
e dom
X
s
1
=
X
s
2
Se N = I = [a, b] e = : I M, temos
(s)
t
= s((t)) e escrevemos para
((
(E)) e Y (TI),
s =
s =
D
dt
(s ) =
s (1.91)
chamada de derivada covariante ao longo de . Novamente tomando s = e
i
, por (1.90)
nos temos
_
(e
i
)
_
j
=
j
i
_
d
_
t
_
_
=
j
i
(
) = (
e
i
)
j
(1.92)
Portanto, como vimos: (s)
j
= ds
j
+ s
i
j
i
e obtemos
(
s)
j
= ds
j
_
t
_
+ s
i
j
i
(
) =
ds
j
dt
+ s
i
j
i
(
) (1.93)
se x
i
n
i=1
sao coordenadas locais de M escrevemos
j
i
=
j
ik
dx
k
e portanto
Ds
j
dt
=
ds
j
dt
+
j
ik
d
k
dt
s
i
(1.94)
Note-se que essa equa cao e uma equa cao diferencial ordinaria linear de primeira ordem,
com coecientes lisos na fun cao vetorial (s
i
(t), , s
k
(t)) R
k
.
39
Parallel Transport
Como mencionamos e chamada de at ou plana, se e somente se
= 0. Como e uma
2-forma, se dimM = 1, 0. Logo, se : I = [0, 1] M e ((E), entao
e at.
Logo para cada tal existe uma forma canonica de comparar vetores ao longo de .
Denition 6 Seja
D
dt
=
: (
(E)) (
(E))
que e linear. Chamamos P() := Ker
t
: P() E
(t)
s s(t)
e um isomorsmo linear.
Dem: Pelo teorema de existencia e unicidade de solu coes, dado v E
|(t
0
)
qualquer,
existe uma unica solu cao para (1.94) (i.e.: existe uma unica se cao s (
s(t) = 0 para todo t [0, 1], ou seja, existe um unico elemento associado
de P(). Alem disso, a equa cao diferencial e linear, portanto depende linearmente de seus
parametros iniciais. Portanto o mapa
t
que leva o espa co vetorial P() no espa co vetorial
E
(t)
e uma bije cao linear.
Denition 7 Para t
1
, t
2
I denimos o isomorsmo linear (chamado de transporte par-
alelo):
P
(t
1
, t
2
) : E
(t
1
)
E
(t
2
)
v s(t
2
)
onde s P() (
(t, t) = Id
E
(t)
(ii) P
(t
3
, t
2
)P
(t
2
, t
1
) = P
(t
3
, t
1
) ja que se v = s(t
1
), como a solu cao e unica: P
(t
3
, t
2
)P
(t
2
, t
1
) :
s(t
1
) s(t
2
) s(t
3
) = P
(t
3
, t
1
)s(t
1
)
(iii) Dos itens (i) e (ii) obtemos facilmente que P
(t
1
, t
2
) = P
(t
2
, t
1
)
1
.
Como dissemos, dado podemos comparar vetores de forma canonica ao longo de qualquer
curva, e o transporte paralelo fornece o metodo geometrico de manter campos constantes
sob essa compara cao. Notemos que a mesma constru cao nao vale para uma imersao : N
M se
ivel poder
(E) onde
= d e portanto
(0) = X
(0)
.
Nos temos que, seja e
i
(0)
k
i=1
base de E
(0)
, tomamos, para todo i = 1 k
e
i
(t) = P
(t, 0)e
i
(0)
Como P
(0)
s =
D
dt
(s((t))
|t=0
=
d
dt|t=0
_
s
i
((t))
_
e
i
(0) (1.95)
Denimos entao a curva em E
(0)
:
s : I E
(0)
(1.96)
t P
(0, t)s((t)) = P
(0, t)
_
s
i
((t))e
i
(t)
_
= s
i
((t))e
i
(0)
Portanto chegamos a
(
X
s)
(0)
=
(0)
s =
d
dt|t=0
s(t) (1.98)
Portanto podemos considerar a derivada covariante como a forma innitesimal do trans-
porte paralelo, isto e como o mecanismo operacional do conceito geometrico de transporte
paralelo levado ao limite.
Sejam e
i
k
i=1
e e
i
k
i=1
bases locais sobre
k
i=1
e tal que
e
i
(t) = P
(t, 0) e
i
(0)
e
i
= 0 = 0
Logo obtemos
= d na base e
i
k
i=1
e
= dg
1
g na base e
i
k
i=1
. Note-se que nao
mudamos a base e
i
k
i=1
em si, mas as novas fun coes de transi cao absorvem o efeito do
antigo .
Holonomy
Sejam e dois caminhos cont
(1, 0) = P
_
1,
1
2
_
P
_
1
2
, 0
_
= P
(1, 0) P
(1.0) (1.99)
P
1(1, 0) P
(1, 0) = Id P
(1, 0)
1
= P
1(1, 0) (1.100)
Agora seja
x
:= : [0, 1] M[(0) = x = (1)
Nos temos que, abreviando a nota cao, P
(1, 0) := P
: E
x
E
x
e isomorsmo linear, logo
P
GL(E
x
). Denimos entao o grupo de holonomia de no ponto :
Hol
x
() := P
:
x
GL(E
x
)
Hol
x
() e realmente um subgrupo de GL(E
x
) ja que por (1.99), se ,
x
entao para
P
, P
Hol
x
() nos temos que P
= P
Hol
x
() e os termos contem inversa
por (1.100), ja que se
x
1
x
. Em outras palavras, o mapa P
e um
homomorsmo de grupos entre
x
e um subgrupo de GL(E
x
). Supondo que M seja conexo,
dados x, y M , existe curva : [0, 1] M tal que (0) = x e (1) = y, e P
(1, 0) : E
x
E
y
e isomorsmo linear. Logo, como se
x
entao
1
y
e P
1 = P
P
1
Hol
x
() P
1
iveis de E
x
com o grupo
das matrizes invers
iveis GL(E
x
) GL(k, R). Entao identicamos Hol
x
() = H
x
() <
GL(k, R). Mas se escolhermos outra base para E
x
, i.e.: outra identica cao, nos temos de
aplicar uma transforma cao de semelhan ca em todos os elementos de H
x
(), ou seja, obtemos
o subgrupo aH
x
()a
1
onde a GL(k, R) e a transforma cao entre as bases. Obtemos que o
grupo de holonomia esta bem denido como subgrupo de GL(k), R a menos de conjuga cao.
Proposition 7 Seja (E, , M) brado vetorial com bra t
ipica R
k
, ((E) e M simples-
mente conexo.Entao Hol() e um subgrupo de Lie de GL(k, R) conexo.
Dem: Seja
x
e F(s, t) uma homotopia entre e o la co constante. Entao s P
Fs
(1, 0)
e um mapa cont
inuo
8
entre [0, 1] e Hol(). Como P
F
0
(1, 0) = Id e P
F
1
(1, 0) = P
: e homotopica a um ponto.
8
Os teroremas de solu c oes de E.D.O.s garantem que as solu c oes dependentes de par ametros, dependem
continuamente de seus par ametros, bem como de suas condi c oes iniciais.
42
Theorem 14 Se e homotopica a um ponto, entao a conexao e at se e somente se
P
= Id
Dem:
Sejam
0
e
1
homotopicas, ou seja, existe fun cao cont
inua:
F : [0, 1] [0, 1] M
(s, t) F(s, t)
tal que, para s xo: F(s, t) = F
s
(t) =
s
(t) fam
ilia cont
s|(s
0
,t
0
)
:= F
d
ds|(s
0
,t
0
)
;
t |(s
0
,t
0
)
:= F
d
dt|(s
0
,t
0
)
(1.101)
E seja v E
x
. Denimos X (F
E) por X
(F(s,t))
:= P
s
(t, 0)v . Obviamente, para todo
s [0, 1], X
(F(s,0))
= v, portanto
_
s
X
_
|(s
0
,0)
= 0 (1.102)
para todo s
0
[0, 1]. Agora, como a curvatura e nula:
R(
s
,
t
)X =
t
s
X
s
t
X = 0 (1.103)
Ja que, como (s, t) sao coordenadas da parametriza cao F(s, t):
_
s
,
t
_
= F
_
d
ds
,
d
dt
_
= 0
Agora, pela deni cao de X, nos temos
_
t
X
_
|(s
0
,t
0
)
= 0 , para todos s
0
, t
0
. Entao,
usando (1.103)
s
X = 0 (1.104)
Ora, mas isso quer dizer que para cada s
0
[0, 1] o campo
_
s
X
_
e transportado parale-
lamente ao longo de
s
, i.e.:
_
s
X
_
|(s
0
,t
0
)
= P
s
(t
0
, 0)
_
_
t
X
_
|(s
0
,0)
_
(1.105)
Entao nos temos por (1.102) que (1.105) sera o transporte paralelo de um vetor nulo, logo
obtemos que
_
s
X
_
|(s
0
,t
0
)
= 0
Portanto , em particular, nos que
_
s
X
_
|(s
0
,1)
= 0 . Ou seja, a curva sobre a bra E
y
,
X(s, 1) E
y
e uma curva constante, independe de s [0, 1]. Logo o transporte paralelo
43
de conexoes at e invariante por curvas homotopicas. Isso signica que em um dom
inio
simplesmente conexo, se tivermos uma conexao at, podemos estabelecer uma base de vetores
paralelos, ja que em cada ponto y a base paralelamente transportada desde o ponto x nao
dependera da curva que liga os dois pontos.
Provemos pois alguns teoremas uteis sobre grupos e algebras de holonomia.
Proposition 8 Hol
0
() e um subgrupo de Lie conexo de GL(k, R), e a componente conexa
de Hol() que contem a identidade e e um subgrupo normal de Hol(). Alem disso, existe
um homeomorsmo de grupos sobrejetivo natural
:
1
(M) Hol()/(Hol
0
())
Demonstra cao: Pela proposi cao anterior, Hol
0
() e um subgrupo de Lie conexo. Sejam
,
p
, homotopico a p. Entao
1
tambem e homotopico a p. Portanto,
P
1 = P
P
1
Hol
0
p
(), sendo que P
Hol
p
(), logo Hol
0
p
() e normal. Seja
:
1
(M) Hol
x
()/Hol
0
x
()
[] [P
]
Mostramos que e bem denido, isto e, que , [], isto e:
[P
] = [P
]
ou seja, que existe a Hol
0
x
(), tal que P
= P
a. Ja que , entao
1
Id.
Portanto, P
= P
1 P
= a
Hol
0
x
P
= P
1
(x, u) = (x, (x)u)
tambem e trivializa cao local do G-brado. Logo se e e referencial admiss
ivel sobre
dado por , existe um unico referencial admiss
iveis e
i
(x)
k
i=1
e e
i
(x)
k
i=1
sobre x, existe um unico (x) = g G tal que
9
e
i
k
i=1
=
g e
i
k
i=1
. Logo, uma vez escolhida uma base inicial em uma bra, existe uma bije cao (que
claramente nao e canonica) entre as bases admiss
iveis e o grupo G.
Por exemplo, dado uma metrica sobre M, o brado das bases ortonormais sobre M
corresponde ao O(n)-brado vetorial. Esta constru cao sera utilizada quando introduzirmos
brados principais e os relacionarmos a brados vetoriais.
Um mapa linear T L(E
x
, E
y
) e chamado de G-mapa se leva base admiss
ivel em base
admiss
(0) = v, : [0, 1] M,
P
iveis. Seja E um
G-brado sobreM, e e
i
k
i=1
= e referencial sobre . Designaremos uma base para
(E
|
)
dada por e
i
[
((t)
k
i=1
=
e
i
k
i=1
. Simplesmente utilizando (1.98) para se coes de campos do
referencial, obtemos:
(v)e
i
((0)) =
d
dt|t=0
_
P
(0, t)e
i
((t))
_
(1.106)
Mas
_
(P
(0, t)e
1
((t)), , (P
(0, t)e
k
((t))
_
= P
ivel em E
(0)
ha
9
Estamos identicando a representa c ao de g, com g, i. e.: (g) = g, ou seja, considerando a inclusao
G GL(k).
45
uma bije cao entre os referenciais admiss
(0))e(0) (1.107)
e nos obtemos que g
(0) g. Portanto
(v)e(0) = d(g
(0))e(0)
onde e(0) e base em x, logo, em rela cao a bases admiss
(t))h(t) e((t)) = (
(t))e((t)) =
(t)
e((t))
=
(t)
h(t) e((t)) = h
(t)
e((t)) = h
(t) e((t))
(
(t))h(t) = h
(t)
Agora, usamos o seguinte lema provindo da teoria de grupos de Lie (para uma demon-
stra cao ver [16]):
Lemma 1 Dada uma curva lisa na algebra de Lie : [0, 1] g , existe uma unica curva
lisa no grupo G , g : [0, 1] G tal que g(0) = Id e
g
1
(t)g
(t, 0)e((0)) = P
(t, 0)e((0)) = h
1
(t)e((t))
e portanto o transporte paralelo leva base admiss
ivel.
Proposition 9 Se e admiss
x
0
= 0 R
n
. Como em R
n
existe uma escolha privilegiada de curva para ligar um dado
ponto (y) e a origem, i.e.: t(y), podemos transportar esta estrutura para M e com a
ajuda do transporte paralelo escolher um referencial privilegiado relacionado `a carta . I.e.:
dada uma base v
i
k
i=1
de E
x
0
a estendemos a um referencial local e
i
k
i=1
:= e tal que
e(y) = P
(0)) = d(u)
(0) = u
Nos temos que a reparametriza cao (t) = (t) : [0, 1] M e o raio que liga x a () = y.
Ou seja,
((t)) = td(u) = t(()) ( (t)) = t(y) (1.109)
Agora
(u)(v
i
) =
d
dt|t=0
_
P
(0, t)e
i
( (t)
_
=
d
dt|t=0
_
P
(0, t)P
(t, 0)v
i
_
= 0 (1.110)
inseca de deixar
campos constantes). Queremos uma derivada exterior que n ao seja assim limitada, que
derive tambem a parte de se coes, que leve em conta tanto as caracter
p
. Dado que (
p
(TM
p
(s ) = s d +s
(1.111)
Ja que s ((TM
) E) (
p
2
(TM
)) ((TM
)
p
1
+p
2
E)
que chamaremos genericamente a partir agora tambem de para quaisquer p
1
, p
2
, ja que
implicitamente fazemos a identica cao do brado produto R E E. Fa camos um rapido
47
interl udio. Note o leitor que inadvertidamente invertemos a ordem s s . Porque o
zemos? Notemos que ja para a derivada exterior da multiplica cao de uma fun cao g : M R
por uma forma fechada d, nos temos que se usarmos a regra de Leibniz com uma ordem
obtemos um resultado diferente do que com outra: d(df g) = df
R
dg = dg
R
df =
d(g df). Mas nos denimos a derivada exterior do produto de uma fun cao por uma forma
como sendo d(g df). Como estamos perseguindo uma analogia entre a derivada exterior
e a derivada exterior covariante, escolhemos aqui a mesma ordena cao na deni cao. Como
mostraremos essa condi cao sera tambem necessaria para a compatibilidade das duas em um
sentido que veremos adiante. No entanto, como estamos usando um conceito de formas
a valores em brados vetoriais e portanto estamos ordenando os elementos como s,
denimos:
p
( s) = d s + (1)
p
s (1.112)
A forma de (1.112) sugere fortemente que a transi cao equivale a fazer uma substitui cao
das derivadas normais de fun coes a valores reais, para derivadas covariantes de se coes de
brados.
Explicitando: como mencionamos anteriormente, localmente sempre podemos expandir
(
p
(TM
) E) de maneira un
k
i=1
e
base local de (E) , dx
i
n
i=1
sao coordenadas locais em M e o superscrito mai usculo I e a
nota cao de multi-
p
=
D
p
(dx
I
f
i
I
e
i
) = (1)
p
dx
I
(f
i
I
e
i
)
Ou seja, ao generalizar formas a valores reais para formas a valores em brados vetoriais,
devemos tambem generalizar a equa cao d(f
I
dx
I
) = d(f
I
dx
I
) = df
I
R
dx
I
= (1)
p
dx
I
R
df
I
,
relamente substituindo a derivada exterior usual pela derivada covariante!
Finalmente, dado ((E), devidamente motivados, simplesmente substitu
imos em
(1.36) a deriva cao por X pela deriva cao
X
, ou seja, d . Denimos entao os mapas
lineares:
D
p
= D
p
: (
p
(M) E) (
p+1
E)
que, para X
1
, , X
p+1
(TM), e dado por
(D
p
)(X
1
, , X
p+1
) =
p+1
i=1
(1)
i+1
X
i
(X
1
, ,
X
i
, X
p+1
)+
p+1
i=1
(1)
i+j
([X
i
, X
j
], X
1
, ,
X
i
, ,
X
j
, , X
p+1
) (1.113)
Para mostrar que D
p
(
p+1
E) , basta notar que por deni cao D
p
e totalmente
anti-simetrica e que e C
) E
1
) e
2
(
p
2
(TM
) E
2
) temos
D
p
1
+p
2
(
1
2
) = D
1
p
1
1
2
+ (1)
p
1
2
p
2
2
(1.114)
Dem: Se escolhermos em x um gauge quase canonico, entao as formas de conexao
relativas a
i
sao nulas, i.e.:
i
(x) = 0, logo
i
= d e portanto = d Id + Id d que e
simplesmente a regra da cadeia. Portanto a equa cao (1.113) volta `a forma de (1.36), para a
qual ja demonstramos que vale o teorema.
Gauges quase canonicos sao instrumentos poderosos na teoria de brados. Para ilustrar-
mos o quanto eles podem facilitar nossa vida, bem como para demonstrarmos como bases
locais nos podem ser uteis, daremos outra demonstra cao do teorema, mais trabalhosa, mas
tambem elucidativa.
Expressemos
1
e
2
localmente por uma base como acima, i.e.: usando multi-
indices I
e J de ordem p
1
e p
2
respectivamente, e
i
, b
i
bases de (E
1
) e (E
2
), respectivamente,
e f
i
I
, g
j
J
: M R, temos:
1
= f
i
I
dx
I
e
i
,
2
= g
j
J
dx
J
b
j
. Utilizando (1.112) e
=
1
Id + Id
2
:
2
= (f
i
I
e
i
g
j
J
b
j
) (dx
I
R
dx
J
)
D
p
1
+p
2
(
1
2
) = (f
i
I
e
i
g
j
J
b
j
) (dx
I
R
dx
J
)
=
_
1
(f
i
I
e
i
) g
j
J
b
j
+ f
i
I
e
i
2
(g
j
J
b
j
)
_
(dx
I
R
dx
J
)
= D
1
p
1
(f
i
I
e
i
dx
I
)
(g
j
J
b
j
dx
J
) + (1)
p
1
(f
i
I
e
i
dx
I
)
2
p
2
(g
j
J
b
j
dx
J
)
= D
1
p
1
1
2
+ (1)
p
1
2
p
2
2
p
por D, deixando os
1
D
2
Proposition 11 Se (
p
(TM
)) e s (E), entao
D
p
( s) = d s + (1)
p
s
Ou seja, a opera cao de D sobre elementos dessa forma e a apropriada (D estende
D).
De onde tiramos que, ao localmente escrevermos para (
p
(TM
|
) E
|
) em rela cao
a uma base e
i
de (E), i.e.: =
i
e
i
para
i
(
p
(TM
|
)) obtemos:
D = D(
i
e
i
) = d(
i
) e
i
+ (1)
p
i
((e
i
)) = d(
i
) e
i
+ (
i
e
i
)
Logo
D = d + (1.115)
49
Onde utilizamos a derivada exterior sobre formas em brados triviais, d e em o produto
exterior que incorpora a a cao bilinear End(E) E E, resultante da a cao da forma de
conexao sobre as se coes de E.
Nos sabemos que d
2
= d d = 0 expressa justamente o fato de que as derivada ordinarias
usuais comutam. Isto e, se f : M R, X, Y (TM), calculamos
d(df)(X, Y ) = X[df(Y )] Y [df(X)] df([X, Y ]) = (XY Y X [X, Y ])f = 0 (1.116)
Novamente, fazendo a substitui cao d D, i.e.: X
X
em (1.116) obtemos
Y
Y
X
[X,Y ]
= (X, Y )
Logo devemos ter D
1
D
0
= i
E.
Se e a matriz de 1-formas de conexao para relativa `a base e
i
e e uma p-forma em
M a valores em End(E) , utilizando o produto externo natural entre formas a valores em
End(E) que descrevemos na secao 1.1.3 temos:
D
= d + (1)
p
(1.117)
Dem: Novamente, utilizando (1.115) para formas a valores no brado vetorial End(E),
temos:
D
= d +
onde assim como em (1.115), temos de deixar a a cao da forma sobre as se coes do brado
impl
icitas no produto exterior, o que aqui, ao inves de induzir a identica cao End(E) E
E, induz L(End(E), End(E)) End(E) End(E).
Se e a conexao de
= Id + Id
, lembremos que = Id + Id
. Mas
como vimos, na identica cao End(E) E E
, temos Id
= Id
T
. Utilizaremos
ainda que
T
(e
j
) = e
j
, fato ja comentado. Portanto escrevendo localmente =
i
j
e
i
e
j
obtemos:
D = D(
i
j
e
i
e
j
)
= d(
i
j
) (e
i
e
j
) + (1)
p
i
j
_
(e
i
) e
j
e
i
T
(e
j
)
_
= d(
i
j
) e
i
e
j
+ (
i
j
e
i
e
j
) (1)
p
i
j
e
i
e
j
= d + (1)
p
Ja que a multiplica cao exterior de matrizes de formas e simplesmente a multiplica cao de
matrizes usando o produto externo em cada termo.
Proposition 12 Deste teorema emergem os seguintes corolarios:
50
(i) A identidade de Bianchi (1.72) e equivalente `a D = 0.
(ii) D =
Dem: Nos temos d = , portanto tomando no ultimo teorema = obtemos
D = d +
O segundo item se verica similarmente tomando = em (1.115).
Agora, dada conexao em E e (
1
(TM
) End(E)), denimos
= + .
Se tivermos uma base local isto e equivalente a tomar, para a forma de conexao de
= + entao obtemos:
d( + ) + ( + ) ( + ) = d + d + + + + =
+ (d + (1)
1
) +
Logo obtemos a partir de (1.117):
= + D + (1.118)
Nos voltaremos `a identidade de Bianchi quando discutirmos as equa coes de Yang-Mills.
Nos veremos por exemplo que em eletromagnetismo ela representa conseva cao de carga, e e
verdade que em relatividade geral, pela equa cao de Einstein ela e equivalente `a conserva cao
local de energia e momento.
51
Chapter 2
Principal Fiber Bundles
O Universo e embasado em um plano, um plano cuja profunda simetria esta de
alguma forma presente na estrutura interna do nosso intelecto. - Paul Valery
Einstein em seu tempo trabalhou incessantemente para construir um sistema
completo de f
ipios fundamen-
tais que permitiriam uma grande s
intese estao as for cas, ou interacoes que mantem unida a materia, que
produzem a pletora de reacoes de que consistem os fenomenos naturais. Eu acred-
ito que ainda estamos hoje muito longe desta grand s
inseca das
intera coes, aquilo que independe das formas como elas sao representadas. Como um objeto
ao meio de uma roda de observadores, cuja descri cao e feita a partir de diferentes angulos
( cada uma delas correta), a Teoria de Gauge tenta desemaranhar propriedades inerentes
de propriedades descritivas. Assim como para o objeto, as descri coes sao relacionadas por
transforma coes de simetria, por um grupo de simetria. Estudaremos agora uma forma de
estudarmos as rela coes entre as descri coes feitas por estes diferentes observadores, ou refer-
enciais.
Ao introduzirmos bases admiss
k
i=1
e e
i
k
i=1
de bases
admiss
iveis de E
x
se existisse g G tal que e
i
k
i=1
= g e
i
k
i=1
. Este g e unico ja que existe
um unico g GL(k) G que leva uma na outra, entao conclu
iveis e o grupo G.
Notemos ainda que nao ha uma base que se destaca das outras, nao ha uma base que possa
ser considerada canonicamente como a identidade. Como veremos ao nal deste cap
itulo,
o brado dos referenciais admiss
inua.
Pela deni cao, G age transitivamente sobre cada bra.
Lie Group Actions
Antes de come car o tratamento de brados principais em si, precisamos de algumas ferra-
mentas da teoria de grupos de Lie: Seja, G um grupo Lie compacto e g sua algebra de Lie,
ou seja, g T
e
G.
Denimos a a cao de conjuga cao do grupo como sendo:
(g) : G G
a gag
1
Cuja derivada em e G denotaremos por Ad(g) = d((g))
e
.
E facil ver que (g)(h) = (gh),
entao pela regra da cadeia, Ad(gh) = d((gh))
e
= d((g))
e
d((h))
e
= Ad(g)Ad(h), logo
Ad : G Aut(g) e uma representa cao do grupo sobre a algebra. Denimos exptX como
sendo o unico subgrupo a 1-parametro tangente a X em e.
Proposition 13 (g)(exptX) = exp(tAd(g)X)
Dem: Nos temos que (g)e = e, e (g)(ab) = (g)a(g)b , isto e: (g) e
automorsmo de G, logo leva subgrupo a 1-parametro em subgrupo `a 1-parametro. Logo
(g)exptX e subgrupo a 1-parametro que passa pela origem, com tangente
d
dt
[
t=o
(g)exptX = Ad(g)X
Por outro lado, exp(tAd(g)X) e o unico subgrupo a 1-parametro que passa pela origem com
tangente Ad(g)X.
Seja P uma variedade onde G age como grupo de difeomorsmos (a cao que denotaremos
por . Entao, para todo p P, X g e t R, nos temos uma a cao
exp(tX) :P P
p exp(tX) p
Logo denimos
I
p
:g T
p
P
X
d
dt
[
t=o
(exp(tX) p)
53
Portanto,
I(X) :P (TP)
p
d
dt
[
t=o
(exp(tX) p)
= .
Uma questao que naturalmente surge e sobre a generalidade da existencia de tais metricas.
Mostraremos que sempre existem para o caso de G compacto e conexo.
Denition 12 A media de por G (compacto, conexo e de dimensao= m) e dada ponto a
ponto por:
=
_
gG
g
()
onde e uma m-forma volume bi-invariante. (que sempre existe se G e compacto e conexo).
54
Theorem 18 Seja uma metrica em uma variedade riemanniana P onde G age como
grupo de difeomorsmos, entao a media de e G-invariante.
Dem: Sejam u, v T
p
P, h G, denimos f : G R por f(g) = g
(u), g
(v)) =
_
gG
f(g) (2.2)
h
(u, v) = (h
u, h
v) =
_
gG
_
g
(h
(u)), g
(h
(v))
_
= (2.3)
_
gG
_
g
(u), g
(v))
_
R
h
() =
_
gG
(R
h
f)(g)R
h
() (2.4)
Mas a transla cao `a direita R
h
: G G e um difeomorsmo que preserva a orienta cao, logo,
h
= . Dado que toda variedade diferenciavel admite metrica riemanniana, o teorema esta
provado.
Sections on a Principal Bundle
Tentaremos agora, assim como assumimos em brados vetoriais, demonstrar que existe uma
estrutura local de variedade produto tambem para os brados principais, onde a bra t
ipica
coincide com o grupo associado, G.
Denition 13 Seja um aberto em M, denimos uma secao local de P sobre como uma
subvariedade de P tal que e transversal `as orbitas, T
p
+ I
p
(g) = T
p
P, e intersecta
orbitas em um unico ponto, i.e.: se p entao G p = p.
Theorem 19 Dado p P, existe uma secao local de P contendo p.
Dem: A ideia da prova e, usando uma metrica invariante em P, exponenciar os vetores
ortogonais a G p =: N , de comprimento , obtendo uma outra subvariedade, , transversal
a N. Devemos tomar o cuidado necessario para que seja sucientemente pequeno de
modo que haja uma so intersec cao entre e N. Provaremos um caso mais geral e depois
mostraremos que nosso caso se encaixa. Provamos antes de mais nada que Gp e subvariedade
mergulhada:
Para todo p P, denimos o mapa suave
(p)
: G P por
(p)
(g) = g p, ou seja a orbita
de p. Como o grupo age livremente e trivial ver que
(p)
e injetora. Alem disso como existe
identica cao canonica d
(p)
I
p
, por (2.1) o posto de
(p)
e constante sobre G. Agora pelo
teorema do posto, existem cartas apropriadas de G e P tal que a representa cao local de
(p)
,
que chamamos de
(p)
, pode ser escrita como
(p)
(x
1
, . . . , x
n
) = (x
1
, . . . , x
j
, 0, . . . , 0) onde
n = dimG. Mas como e injetora, j = n, i.e.: e uma imersao. Agora, como G e compacto,
nos temos uma imersao injetora de um compacto, que e portanto mergulho.
Seja entao N subvariedade compacta de P, denimos o brado normal de N:
N = (x, v)[x N , v
x
N
em TP e portanto o seu
ortogonal tambem e uma distribui cao lisa, o que transforma N em sub-brado de TP.
Achemos entao uma trivializa cao local de N.
55
Tomamos primeiramente uma carta de P adaptada `a N, : U
U R
m
. Agora,
pela propriedade de carta adaptada `a subvariedade, temos que a proje cao nas n primeiras
coordenadas, pr
n
: N U R
n
U e carta de N U. Seja k = mn, e pr
k
a proje cao
nas ultimas k coordenadas. Claramente f := pr
k
e submersao e U N = f
1
(0), alem
disso Kerdf
p
= T
p
N. Agora
1
, induzindo uma metrica em R
m
por (e portanto em R
k
por
f), denotamos o adjunto de df
p
por df
p
, que e denido por dados u T
p
P e w R
k
= Imdf
p
:
df
p
(u) , w)
R
k = u , df
p
(w))
TpP
Claramente, como df
p
e isometria, df
p
= df
1
p
. Agora se u T
p
N , qualquer que seja
w R
k
, u , df
1
p
(w))
TpP
= 0. Isto e, Imdf
1
p
T
p
N
para algum
= (w, u) T
(p,0)
((U N) R
k
) = T
p
(U N) T
0
R
k
que por sua vez e tangente a uma curva ((t), tu), onde : [0, 1] NU. Ou seja, fazendo
(p, 0) = q:
= d
1
q
(w, u) = d
1
q
(w, 0) + d
1
q
(0, u)
= d
1
q
_
d
dt
[
t=0
_
((t), 0)
_
_
+ d
1
q
_
d
dt
[
t=0
_
(p, tu)
_
_
=
d
dt
[
t=0
_
1
((t), 0)
_
+
d
dt
[
t=0
_
1
(p, tu)
_
=
d
dt
[
t=0
_
((t), 0)
_
+
d
dt
[
t=0
_
(p, tdf
1
p
(u))
_
= (w, 0) + (0, df
1
p
(u))
1
A forma mais obvia de exibirmos uma subvariedade transversal a N em p seria simplesmente
tomando a subvariedade dada por =
1
(R
k
U), ou seja, os pontos
1
(0, . . . , 0, x
n+1
, . . . , x
m
) onde
(0, . . . , 0, x
n+1
, . . . , x
m
)
U. No entanto, a propaga c ao desta constru c ao ao longo da bra de forma G-
invariante se torna mais complicada do que o que faremos aqui utilizando a existencia de uma metrica
G-invariante.
56
Obtemos uma identica cao canonica T
(p,0)
N T
p
N
p
N. Finalmente, fazendo
2
, para
v T
x
P , Exp(x, v) = Exp
x
(v) temos:
(dExp)
q
() =
d
dt
[
t=o
_
Exp((t), 0)
_
+
d
dt
[
t=o
_
Exp(p, tdf
1
p
(u))
_
=
d
dt
[
t=o
_
((t), 0)
_
+
d
dt
[
t=o
_
Exp
p
(tdf
1
p
(u))
_
= (w, 0) + (0, df
1
p
(u)) =
d(Exp)
q
= Id
|TqN
que e valido para todos os pontos da forma (p, 0). Logo, pelo teorema da fun cao inversa, ao
redor de cada ponto p N, existe um aberto V N e vizinhan ca da se cao nula de N
|
1
N
V
que e levada difeomorcamente sobre a imagem. Lembremo-nos tambem que todo vetor de
T
p
P pode ser escrito de forma unica como soma de um vetor tangente `a N e um normal
`a N. Logo a aplica cao exponencial leva um aberto de N
|
1
N
V
vizinhan ca da se cao nula
difeomorcamente sobre um aberto de P que contem V . Podemos tomar essa vizinhan ca da
se cao nula de N
|
1
N
V
como sendo da forma
1
(V B
(0
p
) := B
(0)
p
N
p
N e uma subvariedade
de P de dimensao k, transversal `a N, que chamaremos de
p
.
Nos temos que a exponencial e entao um difeomorsmo local. Contudo, pode ainda
ocorrer que a exponencial nao leva vizinhan ca global da se cao nula de N injetoramente
sobre a imagem, ou seja, que para qualquer raio global do tubo que tomarmos teremos
auto-intersec cao ao mandarmos o tubo para P atraves da exponencial. Para completar a
demonstra cao do teorema, temos de provar que existe vizinhan ca de N onde a Exp e de fato
injetora.
Proposition 14 Sejam X, Y variedades suaves, f : X Y C
, f
|N
injetora para uma
dada N subvariedade compacta de X e df
x
: T
x
X T
y
Y isomorsmo para x N. Entao
existe vizinhanca aberta U de N em X tal que f : U f(U) e difeomorsmo.
Dem: Para provar o lema so nos resta provar injetividade. Seja entao o conjunto das
vizinhan cas abertas de N:
( = U [ U e vizinhan ca aberta de N
Constru
inua,
lim
SC
f(y
S
) = lim
SC
f(x
S
) = f(x) = f(y)
Mas f e difeomorsmo de N sobre sua imagem, em particular e injetora sobre N, entao essa
rela cao implica x = y. No entanto f e difeomorsmno local ao redor de cada ponto de N,
logo existe V aberto P tal que x V onde f e injetora. Portanto, como y
S
, x
S
x, existe
W ( tal que para S W, x
S
,= y
S
implica f(x
S
) ,= f(y
S
) o que contraria a nossa hipotese.
Ou seja, existe S ( tal que se x ,= y S, f(x) ,= f(y).
Dado esse resultado, como N e compacta nos temos que existe um raio m
inimo
0
para o
qual podemos achar um difeomorsmo entre o tubo reto dentro de N e o tubo curvo
em P obtido pela exponencial.
Voltando ao nosso caso,
p
= Exp
p
B
(0
p
), e as orbitas que passam por x
p
terao a
forma g Exp
p
(w) para algum w
p
N e algum g G. Lembremos que colocamos em P uma
metrica G-invariante, portanto, como g age isometricamente, leva geodesica em geodesica.
Mas se g ,= e entao g p ,= p e g Exp(p, tu) e uma geodesica que passa por g p com tangente
d
dt
[
t=o
_
g Exp(p, tu)
_
= dg
d
dt
[
t=o
_
Exp(p, tu)
_
= dg(u)
assim como Exp(g p, tdg(u)), entao por unicidade,
g Exp(p, w) = Exp(g p, dg
p
(w)) (2.5)
Alem disso, nos temos que, como G age por isometrias, logo preserva a perpendicularidade
do subespa co normal e o raio , i.e.: dg(B
(0
p
)) = B
(0
gp
)
gp
N entao dg(u)
gp
N.
Mas como mostramos, para
0
nos temos que:
Exp(g p, B
0
(0
gp
)) Exp(p, B
0
(0
p
)) =
e portanto teremos apenas uma intersec cao entre cada orbita e
p
.
Finalmente, nos sabemos que T
p
p
e transversal a I
p
(g). Como tanto quanto I(g) sao
suaves, pela propriedade Cont. de transversalidade que veremos no Teo.29, eles se mantem
abertos em uma vizinhan ca de p em e provamos o teorema
3
.
Lembrando que temos um difeomorsmo entre uma vizinhan ca da se cao nula de N e
um aberto U de P dado pela aplica cao exponencial, nos temos que para y U, existe um
3
Fica como exerc
icio para o leitor descobrir como nossa constru c ao da faixa de Moebius torta n ao se
encaixa nas suposi c oes do teorema.
58
unico q N e um unico v B
(0
q
)
q
N tal que y = Exp
q
(v). Mas como acabamos de
ver, existem tambem unicos g G e u B
(0
p
)
p
N, onde dg(u) = v tal que
y = Exp
gp
(dg(u)) = g Exp
p
(u) = g x
onde x
p
, portanto, como o grupo G age como grupo de difeomorsmos sobre P, nos
temos um difeomorsmo
p
: U
p
G
y (x, g)
onde (x, g) e o unico tal que y = g x .
Suponhamos que temos uma outra se cao de P sobre , i.e.: subvariedade de P contida
em U que intercepta em um unico ponto as orbitas de e e transversal a elas, portanto
e de mesma dimensao que
p
, e intercepta unicamente tambem as orbitas de
p
. Portanto,
para cada y existe um unico elemento g(y) G tal que (g(y) y)
p
. Logo para
y temos y = g(y)
1
(g(y) y) e portanto pela propriedade de
p
nos temos uma unica
decomposi cao:
p|
:
p
G
y (g(y) y, g(y)
1
)
Por ser subvariedade lisa e
p
ser tambem suave, as aplica coes g, g
1
: G sao suaves.
Portanto y g(y) y e um difeomorsmo entre e
p
, logo existe tambem difeomorsmo
U
G. Ou seja, nos temos, para (y, h) G, o mapa de transi cao
p
1
:
G
p
G, dado por
p
1
(y, h) =
p
(h y) =
p
(hg
1
(y)g(y) y) = (g(y) y, hg
1
(y)) (2.6)
que e uma composi cao de difeomorsmos sobre a estrutura diferenciavel de P e portanto
podemos tomar um atlas para P dado por cartas dessa forma.
Como mencionamos, a topologia de M e denida pela proje cao ser aberta e cont
inua.
Como existe bije cao entre e U/G = (U) = , e tem a topologia induzida, nos temos
um homeomorsmo entre e dado por
|
:
1
|
= pr
1
:
onde pr
G, mostramos que sobre a intersec cao U
U existe um
difeomorsmo entre os s, portanto esta bem denida a estrutura diferenciavel de M; existe
e e unica.
E claro que com essa exigencia e uma proje cao diferenciavel e de posto maximo.
59
Reciprocamente, se exigirmos que a proje cao : P M seja diferenciavel e de posto
maximo, i.e.: se exigirmos que a estrutura diferenciavel de M seja tal que e submersao,
obtemos que, dado um ponto qualquer p P e uma se cao que passa por p,
d
p
: T
p
I
p
g T
(p)
M
mas dimKerd
p
= dimG = dimg = dimI
p
g e para X g nos temos
d
p
(I
p
(X)) =
d
dt
[
t=o
( (exp(tX) p)) =
d
dt
[
t=o
(p) = 0
i.e.:I
p
g Kerd
p
e por dimensao Kerd
p
= I
p
g. Portanto T
p
dp
T
(p)
M, e teremos difeo-
morsmos locais entre as se coes e abertos de M.
Provamos entao:
Theorem 20 Existe uma unica estrutura diferenciavel em M caracterizada por qualquer
uma das condicoes:
A projecao : P M e uma submersao suave.
Se e uma secao de P sobre entao
|
e um difeomorsmo de sobre .
Fica claro ainda que P e localmente difeomorfo a conjuntos da forma G, i.e.: podemos
tomar um difemorsmo
1
()
G simplesmente aplicando a proje cao
|
`a primeira
coordenada do difeomorsmo
1
()
G . Chamaremos tais difeomorsmos de trivili-
aza coes locais.
Ademais, podemos considerar uma se cao sobre M como uma imersao suave que
leva na subvariedade , s : P. Teremos que para m , (s(m)) = m, ou seja, para
cada orbita m , s(m) esta na bra sobre m. Da mesmsa forma se s for outra se cao sobre
, existe um unico mapa g : G tal que s(m) = g(m) s(m). Chamamos g de mapa de
transi cao entre as se coes.
E claro que se :
1
() G for uma trivializa cao local correspondente `a sub-
variedade , i.e.: `a imersao s : P, entao para todo m , (s(m)) = (m, e) ja que
(s(m)) = (s(m), e) e
|
(s(m)) = m. Desta forma podemos ver que dada uma se cao de P
sobre , s : P, existe uma unica trivializa cao local
s
:
1
() G a ela adaptada
de forma que para todo m nos tenhamos
s
(s(m)) = (m, e). Nos casos em que estiver
subentendida `a qual se cao a trivializa cao esta adaptada omitiremos o superscrito s.
Nos vimos que para a decomposi cao
1
()
G, para todo h G, vale a propriedade
1
(p, h) = h
1
(p, e) = h p (2.7)
Para
1
()
G, para m tal que
1
|
(m) = p, nos temos
1
(p, h) =
1
(m, h).
Logo:
1
(m, h) = h
1
(m, e) (2.8)
1
(m, ) : G
1
(m)
60
ao qual chamaremos de
m
:
1
(m) G e que, para qualquer h G e p
1
(m), por
(2.8) acima obedece:
m
(h p) = h
m
(p)
onde denotamos o produto no grupo (h, g) hg. Agora,
m
(h p) G e (
m
(h p))
1
=
(
m
(p))
1
h
1
, logo, se tivermos outro difeomorsmo
m
nos temos
(
m
(h p))
1
_
m
(h p)
_
= (
m
(p))
1
h
1
h
m
(p) = (
m
(p))
1
m
(p)
(
m
(p))
1
m
(p) = (
m
(q))
1
m
(q)
para todos p, q
1
(m). Isto e, para a transi cao entre trivializa coes locais existe um
unico elemento de G para cada bra, ou seja, novamente a transi cao e uma fun cao suave
g
: G. Uma palavra de esclarecimento em rela cao ao uso do termo transi cao e aqui
necessario , ja que nao e obvia a rela cao entre
1
m
Aut(G) e g
: G. Seja entao
h G e
1
m
(h) = p.
E claro que (
m
(p))
1
= h
1
. Entao obtemos
h
1
_
m
1
m
(h)
_
= (
m
(p))
1
_
m
(p)
_
que como vimos nao depende de p
1
(m). Por isso a fun cao de transi cao de uma
representa cao `a outra e r
ipio sempre que exigirmos que alguma estrutura seja G-invariante. Contudo sobre
elementos de TP que residem sobre diferentes bras, assim como em brados vetoriais, nao
ha identica cao canonica. Antecipando um pouco a nomenclatura que segue, se chamarmos o
deslocamento sobre as bras de vertical, queremos uma forma de identica cao puramente
horizontal, uma forma de mantermos uma curva de P `a mesma altura. Apesar deste
deslocamento vertical estar canonicamente determinado, nao existe na estrutura de P algo
que nos de um complemento, que especique um deslocamento horizontal canonico. Para
incorporar uma identica cao local em TP ( i.e.: tanto horizontal quanto vertical) precisamos
de uma decomposi cao de TP em subbrados vertical e horizontal que sejam G-invariantes
(precisamos manter a identica cao canonica sobre as bras). Como veremos, a escolha de
uma conexao nos fornece tal decomposi cao.
Como : P M e uma submersao, Ker(d) e um sub-brado liso de TP, chamado de
sub-brado vertical, cuja bra em p denotaremos por V
p
= I
p
g. Como I
p
g e inje cao linear,
I
p
: g T
p
P
e um isomorsmo linear de g em V
p
.
Denition 14 Para cada p P denimos
p
: V
p
g com sendo I
1
p
.
61
Desse modo e claro que e uma 1-forma suave em V a valores em g. Para cada g G nos
obtemos uma 1-forma em V a valores em g, g
por
(g
)
p
=
gp
dg
Utilizando 2.1 obtemos
I
gp
= dg I
p
Ad(g
1
) (I
gp
)
1
= Ad(g)I
1
p
dg
1
gp
dg = Ad(g)
p
e nalmente
g
= Ad(g) (2.9)
Denition 15 Uma forma de conexao em P e denida como (
1
(TP)g) que obedeca
g
H
p
(w)) = dg(w
h
) mas dg(w) = dg(w
h
) + dg(w
v
)
H
gp
dg(w) =
H
gp
dg(w
h
) = dg(w
h
)
Theorem 21 Se H e conexao em P, entao para todo p P: d
p
: T
p
P T
(p)
M se
restringe a um isomorsmo linear h
p
: H
p
T
(p)
M para o qual vale h
gp
dg[
Hp
= h
p
.
Dem:Que a proje cao se restringe a um isomorsmo linear e claro, ja que o espa co vertical e
o n ucleo da proje cao, que tem posto maximo, e o horizontal e seu complemento. Agora nos
temos que h
gp
H
gp
= d
gp
, logo, aplicando os dois lados a dg obtemos:
h
gp
H
gp
dg = h
gp
dg
H
p
= d
gp
dg = d(
gp
g) = d
p
= h
p
H
p
h
p
H
p
= h
gp
dg
H
p
e como
H
p
e sobrejetor, obtemos o enunciado.
62
Denition 17 Se H e a conexao em P denimos a 1-forma de conexao como :=
V .
Isto e :
p
: T
p
P g
u I
1
p
V
p
(u)
E claro que se v V
p
entao (v) = (v). Alem disso
(g
)
p
=
gp
dg =
gp
V
gp
dg
=
gp
dg
V
p
= (g
)
p
V
p
= Ad(g)
p
V
p
= Ad(g)
p
e portanto obtemos
g
= Ad(g) (2.10)
Portanto realmente e forma de conexao. Como I
p
e isomorsmo linear sobre V
p
, e claro
que Ker
p
e complementar a V
p
. Alem disso, se u Ker
p
entao dg(u) Ker
gp
ja que
gp
dg(u) = Ad(g)
p
(u) = 0
logo, como dg e isomorsmo linear, Ker e um subbrado G-invariante de TP complementar
a V. Ou seja, podemos denir uma conexao em P como H
p
= Ker
p
. De fato temos:
Theorem 22 O mapa H e uma correspondencia bijetora.
Dem: Como I
p
: g V
p
e isomorsmo linear, identicamos em cada ponto como a
proje cao no subespa co V
p
. Como qualquer proje cao, sera caracterizada por seu n ucleo, H,
ou mais precisamente, por uma decomposi cao T
p
P = H
p
V
p
. Ja demonstramos a arma cao
inversa.
Essa e uma forma geometrica de encarar uma forma de conexao; simplesmente como
uma proje cao em um subbrado G-invariante de TP, complementar ao espa co tangente `as
orbitas.
Para cada se cao s : P e forma de conexao em P, denimos a 1-forma em a
valores em g:
s
:= s
ou seja, se u T
m
M entao
s
m
(u) =
s(m)
(ds
m
(u)).
Proposition 15 Se s e s sao secoes sobre , g : G e o mapa de transicao, e e uma
1-forma de conexao em P, entao
s
= Ad(g)
s
+ (dg)g
1
(2.11)
Dem: Por deni cao nos temos, para m , u T
m
M,
s
m
(u) =
s(m)
(d s(u)) =
g(m)p
(d s(u)) (2.12)
63
Como g : G, se m nos temos dg
m
: T
m
M T
g(m)
G, um sentido diferente do que
estavamos usando: dg : TP TP, que leva um vetor tangente a uma curva (t) passando
por p P `a tangente `a curva g (t) passando por g p . Portanto, denotaremos essa ultima
aplica cao, dado m , por L
g(m)
g(m)p
L
g(m)
=
_
L
g(m)
_
p
= Ad(g(m))
p
(2.13)
Novamente denotando a a cao do grupo em P por : P G P, temos s = (s, g) e
entao d s = d(ds, dg). Aplicando (2.13) a L
g(m)
1
s
m
(u) = Ad(g(m))
p
L
g(m)
1
d
(s(m),g(m))
_
ds
m
(u), dg
m
(u)
_
(2.14)
Agora utilizando a trivializa cao local adaptada a s, dada por
1
()
s
G nos temos,
utilizando (2.8)
(s(m), g(m)) = (
s
)
1
(m, g(m)) = (s, g) = (
s
)
1
(Id
, g) (2.15)
d(ds, dg) = (d
s
)
1
(Id
TM|
, dg) (2.16)
d
(s(m),g(m))
_
ds
m
(u), dg
m
(u)
_
= (d
s
)
1
(m,g(m))
(u, dg
m
(u)) (2.17)
Aplicando L
g(m)
1
d
(s(m),g(m))
_
ds
m
(u), dg
m
(u)
_
= L
g(m)
1
(d
s
)
1
(m,g(m))
(u, dg
m
(u)) (2.18)
= (d
s
)
1
(m,e)
_
u, L
g(m)
1
(dg
m
(u))
_
= (d
s
)
1
(m,e)
(u, 0) + (d
s
)
1
(m,e)
_
0, L
g(m)
1
(dg
m
(u))
_
(2.19)
Agora (d
s
)
1
(m,e)
(u, 0) = ds
m
(u) ja que se, para t = 0, : I e curva tangente a u em
m :
(d
s
)
1
(m,e)
(u, 0) =
d
dt
[
t=o
_
(
s
)
1
((t), e)
_
=
d
dt
[
t=o
s((t)) = ds
m
(u)
Alem disso, para qualquer X g nos temos
(d
s
)
1
(m,e)
(0, X) =
d
dt
[
t=o
_
(
s
)
1
(m, exp tX)
_
=
d
dt|t=o
(exp tX s(m)) = I
s(m)
X (2.20)
(d
s
)
1
(m,e)
_
0, L
g(m)
1
(dg
m
(u))
_
= I
s(m)
_
L
g(m)
1
(dg
m
(u))
_
(2.21)
Utilizando (2.19) e (2.14) obtemos nalmente:
p
L
g(m)
1
d
(s(m),g(m))
_
ds
m
(u), dg
m
(u)
_
=
p
(ds
m
(u)) + L
g(m)
1
(dg
m
(u)) (2.22)
s
m
(u) = Ad(g(m))
p
(ds
m
(u)) + R
g(m)
1
L
g(m)
L
g(m)
1
(dg
m
(u)) (2.23)
s
m
(u) = Ad(g(m))
s
p
(u) + R
g(m)
1
dg
m
(u) (2.24)
64
Proposition 16 Rec
.
Dem: Seja w T
p
P, p = s(m) P, e :
1
() G a trivializa cao local adaptada
4
`a se cao s. Entao, para cada w T
p
P, existem unicos u T
m
M, X g tal que
w = (d)
1
(m,e)
(u, X) = ds
m
(u) + I
s(m)
X (2.25)
Denimos entao (
1
(TP
|
) g) como
p
(w) =
p
_
(d)
1
(m,e)
(u, X)
_
:=
s
m
(u) + X (2.26)
Como sabemos, para todo y
1
() existem unicos x = s() e h G tal que y = h x.
Logo para v T
y
P estendemos a deni cao de :
y
(v) =
hx
(v) := Ad(h)
x
(L
h
1
(v)) (2.27)
Precisamos mostrar que se
s
obedece (2.11), essa deni cao independe das se coes que tomar-
mos; i.e.: a forma em P relativa `a se cao s e igual a forma obtida pela deni cao a partir
da se cao s = g s. Claramente, se estiver bem denida, h
p
(v) =
p
(I
p
(X)) = X = I
1
p
(I
p
(X)) = I
1
p
(v)
portanto, se estiver bem denida, e forma de conexao. Seja entao
:
1
() G uma
trivializa cao local adaptada `a se cao s = g s. Como L
g(m)
1
_
d
1
(m,e)
(u, X)
_
(2.28)
onde como mencionamos w T
p
P e portanto d
1
(m,e)
(u, X) T
g(m)p
P. Mas
d
1
(m,e)
(u, 0) = d s
m
(u)
e como vimos no exerc
icio anterior
L
g(m)
1
(d s
m
(u)) = ds
m
(u) + I
p
_
L
g(m)
1
(dg
m
(u))
_
(2.29)
e utilizando (2.20):
L
g(m)
1
_
d
1
(m,e)
(0, X)
_
= L
g(m)
1
I
g(m)p
(X) (2.30)
4
Abreviamos aqui
s
por .
65
Mas por (2.1) obtemos
L
g(m)
1
_
I
g(m)p
(X)
_
= L
g(m)
1
_
L
g(m)
_
I
p
_
Ad
_
g(m)
1
_
X
___
= I
p
_
Ad
_
g(m)
1
_
X
_
(2.31)
Agora, por (2.29) e (2.31) obtemos
w = ds
m
(u) + I
p
_
L
g(m)
1
(dg
m
(u)) + Ad
_
g(m)
1
_
X
_
(2.32)
= (d)
1
(m,e)
(u, L
g(m)
1
(dg
m
(u)) + Ad
_
g(m)
1
_
X) (2.33)
p
(w) =
s
m
(u) + L
g(m)
1
(dg
m
(u)) + Ad
_
g(m)
1
_
X (2.34)
Por outro lado, utilizando as equa coes (2.27) e (2.28):
p
(w) =
g(m)
1
s(m)
(w) (2.35)
= Ad
_
g(m)
1
_
s(m)
_
L
g(m)
(w)
_
(2.36)
= Ad
_
g(m)
1
_
s(m)
_
L
g(m)
_
L
g(m)
1
_
d
1
(m,e)
(u, X)
___
(2.37)
= Ad
_
g(m)
1
_
s(m)
_
d
1
(m,e)
(u, X)
_
(2.38)
= Ad
_
g(m)
1
_ _
s
m
(u) + X
_
(2.39)
Finalmente aplicando a regra de transforma cao (2.24) a (2.39) obtemos:
p
(w) = Ad
_
g(m)
1
_ _
Ad(g(m))
s
p
(u) + R
g(m)
1
dg
m
(u) + X
_
=
s
p
(u) + L
g(m)
1
(dg
m
(u)) + Ad
_
g(m)
1
_
X
e portanto obtemos a igualdade almejada. Demonstrar unicidade da forma de conexao e
bem mais facil. Se
= s
, elas
claramente concordam sobre vetores da forma ds
m
(u) = d
1
(m,e)
(u, 0). Por outro lado sobre
vetores verticais, v = d
1
(m,e)
(0, X) nos temos que (v) =
(v) = I
1
p
(v) = X. Como d
p
e
isomorsmo, =
.
Curvature in Principal Bundles
Denition 18 Se (
1
(TP) g) e forma de conexao denimos a curvatura de ,
(
2
(TP) g) por
:= d +
Lembramos que d e a derivada exterior e que estamos utilizando a aplica cao da algebra de
Lie assim como em (1.33), i.e.: para X
1
, X
2
(TP),
(X
1
, X
2
) =
1
2
((X
1
)(X
2
) (X
2
)(X
1
)) = [(X
1
), (X
2
)]
Theorem 23 Se H
p
= Ker
p
entao d
H = .
66
Dem: Queremos provar que d(
HX,
HY ) = (X, Y ) para quaisquer X, Y (TP). Como
ja foi demonstrado no Cap.I ambos os lados sao bilineares e anti-simetricos. Logo nos basta
vericar a arma cao para tres casos:
X, Y V : Nos temos, ainda no caso geral,
(X, Y ) = d(X, Y ) + [(X), (Y )] (2.40)
d(X, Y ) = Y [(X)] X[(Y )] ([X, Y ]) (2.41)
Neste caso espec
ico claramente d(
HX,
HY ) = 0. Se X e vertical, entao, X
p
= I
p
(
X)
para algum
X g. Logo, como d e tensorial, d(X, Y )
p
so depende dos valores dos
campos no ponto p P, portanto
d(X, Y )
p
= d
_
I(
X), I(
Y )
_
p
(2.42)
para
X,
Y g apropriados. Portanto,
p
(X) = I
1
p
(X) =
X, e um elemento xo da
algebra de Lie, e um vetor constante, logo Y
p
[(X)] = 0, o mesmo valendo trocando-se
X por Y , e obtemos entao:
d(X, Y )
p
= Y
p
[(X)] X
p
[(Y )]
p
([X, Y ]) =
p
([X, Y ]) (2.43)
Agora, assumindo a identidade [22] [I(
X), I(
Y )] = I([
X,
Y ]), obtemos
p
([X, Y ]) =
p
([I(
X), I(
Y )]) =
p
(I
p
([
X,
Y ])) = [
X,
Y ] = [
p
(X),
p
(Y )] (2.44)
E pela equa cao (2.40) obtemos (X, Y ) = 0.
X V, Y H: Novamente e claro que d(
HX,
HY ) = 0. Agora (Y ) = 0 e por-
tanto (X, Y ) = d(X, Y ). Utilizando o mesmo argumento do item anterior obtemos
novamente de (2.41):
d(X, Y ) = ([X, Y ])
Mas se X e vertical, X e um campo tangente ao uxo de g(t) para algum g : I G.
Lembrando que
[X, Y ] = lim
t0
1
t
_
L
g(t)
1
Y Y
_
(2.45)
lembrando que Y e horizontal, e o subbrado horizontal e G-invariante nos temos que
[X, Y ] H. Logo ([X, Y ]) = 0.
X, Y H : Nesse caso d(
HX,
HY ) = d(X, Y ). Como (X) = 0, de (2.40) obtemos
tambem (X, Y ) = d(X, Y ) = ([X, Y ]).
E interessante notar que a forma de curvatura e nula se qualquer um dos campos for
vertical, logo os campos relevantes em TP serao aqueles levados de M por alguma se cao
s, podemos entao considerar como uma 2-forma em TM a valores em g. A forma de
curvatura de brados principais mede a falta de integrabilidade da distribui cao horizontal
em ser integravel, em analogia com a forma de curvatura de brados vetoriais, que mede o
quanto o mapa X
X
falha em ser homomorsmo de algebras de Lie. A analogia com
o teorema de Frobenius e clara, e merece ser destrinchada.
67
Flat Connections
Diremos que uma conexao em um brado principal e plana ou at se ao redor de cada ponto
p P existir uma se cao s :
1
() para a qual p s() e tal que, para todo q s()
nos tenhamos um isomorsmo linear: T
x
M
dsx
H
q
, onde (q) = x. Colocado de outra forma,
uma conexao e at se existe uma trivializa cao local :
1
() G tal que para todo
q s()
H
q
= d
1
(x,e)
(T
x
M 0)
Como H
gq
= L
g
H
q
, por (2.8)
H
gq
= d
1
(x,g)
(T
x
M 0)
portanto podemos redenir
Denition 19 Uma conexao em um brado principal e plana ou at se ao redor de cada
ponto p P existir um aberto
1
() e trivializacao local :
1
() G tal que para
todo q
1
() existe g G para o qual
H
q
= d
1
((q),g)
(T
x
M 0) (2.46)
Proposition 17 Uma conexao em P e at se e somente se a forma de curvatura e nula.
Dem: Chamaremos a restri cao de para um g G xo de
1
g
:
1
(). Suponhamos
que a conexao seja at. Nos temos que para todo x ,
H
1
(x,g)
= d
1
(x,g)
(T
x
M 0)
ou seja
H
1
g
(x)
= (d
1
g
)
x
(T
x
M)
o que por deni cao signica que para cada g G,
1
( g) =
1
g
() e variedade
integral da distribui cao suave H. Mas se X, Y H, entao existem
X,
Y (TM[
) tais que
d
1
g
(
X) = X
1
g
, o mesmo valendo para
Y , ou seja, estes campos sao
1
g
-relacionados.
Portanto
d
1
g
([
X,
Y ]) = [X, Y ]
1
g
entao, como para todo q
1
(), existem x e g G tais que
1
g
(x) = q, nos temos
d
1
g
([
X,
Y ]
x
) = [X, Y ]
q
e portanto por hipotese:
[X, Y ]
q
H
q
o que implica que mesmo se X, Y H, (X, Y ) = ([X, Y ]) = 0, o que implica por sua
vez que = 0.
Se por outro lado, supusermos que a forma de curvatura e nula, nos obtemos de cara que a
distribui cao horizontal e integravel. Chamemos de
V
q
= T
q
P, ou seja,
e
68
transversal ao subbrado vertical. Agora, nos sabemos que d
q
: T
q
P T
(q)
M e submersao,
logo, como Kerd
p
= V
p
, nos temos que d
p
: T
p
T
(p)
M e isomorsmo linear. Portanto
pelo teorema da fun cao inversa, existe aberto de
|
em um aberto de M. Entao nao podemos ter dois pontos distintos de sendo levados
em um unico ponto de M, o que signifca que todos os pontos de intersectam as orbitas
uma unica vez. Portanto nos obtemos que e uma se cao de P sobre , e tambem e uma
variedade integral de H. Por ser se cao, existe trivializa cao local tal que para algum g G,
1
( g) = , como e variedade integral de H obtemos o enunciado. Esse teorema
signica que a curvatura so e nula se existe algum referencial (ou sistema de coordenadas) em
que nao se observa efeitos de curvatura (o que poderia ser chamado de referncial euclidiano,
numa generaliza cao da nomenclatura de TM), o que pode ainda ser considerada como outra
faceta de seu carater tensorial.
Horizontal Liftings
Uma constru cao bastante utilizada em brados principais e a de levantamento horizontal
de campos e curvas. Dizemos que um campo
X (TP) e o levantamento horizontal de
X (TM) se
X H e para todo p P, d
p
X = X
(p)
. A existencia e unicidade de
.
Outra forma de demonstra cao e supor que : I M e uma curva suave tal que
(0) = x , entao, chamando uma dada trivializa cao de :
1
() G, qualquer
curva da forma (t) =
1
((t), g((t))) onde g : G e curva suave tal que g((0)) = e,
sera um levantamento de passando por p em t = 0. Agora,
(t) = (d)
1
((t),g((t)))
(
(t), dg
(t)
(t))
e portanto utilizando (2.19), (2.20) e (2.22), nos temos :
(t)
_
L
g((t))
1
(t))
_
=
(t)
(ds
(t)
(
(t))) + L
g((t))
1
(dg
(t)
(
(t))) (2.47)
Agora, nos sabemos que
(dg
(t)
(
(t))) = g(t)
1
g
(t) = (t)
onde g(0) = e. Ou seja, justamente a equa cao (1.108), cuja solu cao existe e e unica pelo
Lema 1. Portanto chegamos ao resultado de que se (t) e uma curva suave em M passando
por x = (0), dado um ponto p P tal que (p) = x, existe um unico levantamento
horizontal de (t) que passa por p em t = 0, que chamaremos de
p
(t). Por unicidade, e
novamente, como o subespa co horizontal e invariante por G, nos temos que g (
p
) =
gp
.
69
2.3 Frame Bundle
Como mencionamos ao in
icio do cap
iveis de um brado
vetorial E serviu de motiva cao para a introdu cao de brados principais. Veriquemos entao
que este conjunto e de fato um G-brado principal. O conjunto das bases do k-brado
vetorial E G-admiss
xM
P(E)
x
onde P(E)
x
e o conjunto de todas as
bases admiss
iveis de E
x
. Ou seja P(E) = (x, s(x)) [ x M, s(x) base admiss
ivel de E
x
.
Aqui a proje cao leva simplesmente (x, s(x)) x. Como vimos ao in
icio do cap
itulo, existe
bije cao entre G e P(E)
x
para todo x M, ja que dadas duas base admiss
iveis existe um
unico elemento de G GL(k) que leva uma na outra. Tomando uma se cao lisa de bases
sobre E
|
, i.e.: s : x s(x) P(E)
x
, denida por n se coes lisas linearmente independentes
de E
|
, e que chamaremos de agora em diante de referencial, temos a bije cao
s
: G P(E)
|
(x, h) h(s(x))
Que e sobrejetor e claro, para mostrar que e tambem injetora, basta notar que, ja que as
bras sao disjuntas, se x ,= y nao existe h G tal que h(s(x)) = s(y), e se x = y nos
utilizamos o fato que G age livremente (injetoramente) sobre cada bra. Com essa bije cao
induzimos uma estrutura diferenciavel em em P(E)
|
pela estrutura diferenciavel em G.
Consequentemente um mapa f : P(E)
|
P(E)
|
sera suave se e somente se
5
f =
1
f
for suave.
P(E)
|
f
P(E)
|
1
P(E)
|
f
P(E)
|
Examinemos a a cao do grupo G sobre P(E)
|
. Seja p P(E)
|
, uma base sobre x tal
que p = h
0
(s(x)) = (h
0
, x), entao, fazendo f = h G, temos
h(p) = h (h
0
(s(x))) = (x, hh
0
)
mas entao
h : (x, h
0
) (x, hh
0
), e como a a cao G G G e suave, a a cao de
h e suave e
consequentemente a a a cao de h e suave. Logo o grupo age suave e livremente sobre P(E)
|
.
Se tivermos outro referencial admiss
s
: G P(E)
|
(x, h) h( s(x))
5
Omitindo o super
indice s.
70
induz estrutura difeomorca `aquela induzida por
s
e portanto a estrutura diferenciavel de
P(E) esta bem denida, e portanto P(E) e G-brado principal. Temos tambem que, como
as as se coes de P(E) sao dadas localmente por ( g) para g xo, elas sao simplesmente
referenciais admiss
iveis, e
s
e trivializa cao local adaptada a s.
Agora, dada uma conexao admiss
k
i=1
sobre
(que identicaremos com a se cao s : P(E)), um vetor v T
x
M tangente `a curva
: I M em t = 0, e chamando sugestivamente a forma de conexao correspondente a
nessa base de
s
, obtemos, utilizando (1.106) e (1.66):
k
i=i
d
dt|t=0
_
P
(0, t)e
i
((t))
_
=:
d
dt|t=0
_
P
(0, t)s((t))
_
=
s
(v)s(x)
Pelo Teorema 15, como s e referencial admiss
ivel,
s
(v) g End
g
(E
x
), i.e.: temos uma
representa cao d : g End(E
x
) tal que
s
(v) = d(
s
(v)), onde
s
(v) g. Alem disso, por
(1.73) nos temos que dado outro referencial s, por d ser representa cao linear vale
s
= Ad(g)
s
+ (dg)g
1
portanto, satiszemos as hipoteses da Proposicao 16, e podemos denir unicamente a forma
de conexao = I
1
=
s
. A saber, por (2.26):
p
(w) =
p
_
(d
s
)
1
(x,e)
(u, X)
_
:=
s
x
(u) + X
onde x , s e um referencial tal que a base sobre x e dada por s(x) = p ,
s
e a trivializa cao
local adapatada a s destrinchada acima, u T
x
M , X g e
s
e a forma de conexao em E
relativa a e ao referencial s.
Por outro lado, se nos for dado ((P(E)), dado um referencial s basta denirmos a
forma de conexao em E relativa a s como uma representa cao de
s
= s
, i.e.:
s
= d(s
).
Utilizando o resultado do Teo.22 e do Teo.8, provamos entao:
Theorem 24 Existe correspondencia bijetora H entre conexoes em E e em P(E).
Invariant Metrics Revisited
Seja : P M um G-brado principal, com G ainda compacto. Seja , ) um produto
interno Ad-invariante
6
em g, i.e.: Ad(g)u, Ad(g)v) = u, v) para quaisquer u, v g . Uti-
lizando o isomorsmo dado por I
p
: g V
p
, por (2.1) nos temos uma metrica riemanniana
G-invariante sobre o brado vertical. Isto e, sejam I
p
(u), I
p
(v) V
p
entao denotando da
6
Como G e compacto, admite metrica bi-invariante, se G for conexo isto e equivalente a um produto
interno Ad-invariante em g.
71
mesma forma o produto interno em V denimos: I
p
(v), I
p
(u))
p
:= u, v). Logo, para g G
utilizando (2.1)
L
g
(I
p
(v)), L
g
(I
p
(u)))
gp
= I
gp
(Ad(g)u), I
gp
(Ad(g)v))
gp
= Ad(g)u, Ad(g)v) = u, v)
Chamaremos uma metrica de invariante para P se for uma metrica riemanniana em
P que e invariante em rela cao `a a cao de G e se restringe `a metrica denida acima sobre o
brado vertical.
Agora se V
= H
e uma conexao para P. Alem disso como vimos, ha um isomormo entre H
p
e T
(p)
M, e
portanto induzimos uma unica metrica sobre M pela proje cao . Analogamente se tivermos
uma metrica h em M e um brado horizontal qualquer H, temos uma unica metrica induzida
em H por
h + (2.48)
Se u, v V
p
entao
p
(u, v) = (I
1
p
(u), I
1
p
(u))
ja que d
p
(v) = d
p
(u) = 0. Se u, v H
p
temos
p
(u, v) =
(p)
(d
p
(u), d
p
(v))
ja que
p
(u) =
p
(v) = 0 e nalmente se u H
p
e v V
p
entao
p
(u, v) = 0 ja que
p
(u) = 0
e d
p
(v) = 0. Como tanto
ipica isomorfa a R
k
e variedade base M? Na
verdade veremos que podemos atingir um resultado mais geral, com a bra t
ipica sendo
difeomorfa a uma variedade suave qualquer onde o grupo age como grupo de transforma coes.
Para ilustrar bem nosso objetivo, tomemos o brado dos referenciais P(E), a partir
do qual tentaremos reconstruir E. A ideia que surge naturalmente e tomar um vetor em
E
x
como uma escolha de valores para os elementos de uma base em p P(E), ou seja,
72
como suas coordenadas (a
1
, , a
k
) na base p. Suponhamos que x M , v E
x
e p = (e
1
(x), , e
n
(x)), onde os e
i
sao se coes linearmente independentes de E[
. Entao
v = a
1
e
1
(x) + +a
k
e
k
(x) e a a cao natural de P em R
k
. Chamando (a
1
, , a
k
) := v, esta
a cao e simplesmente dada por vp, a multiplica cao de uma matriz linha por uma matriz coluna,
e poder
x
, nos temos que por um isomorsmo g(x) de E
x
, como vimos
no primeiro cap
iamos
v ( vg(x)
1
, g(x)(e
i
(x)). A solu cao para eliminarmos esta redundancia e obvia, quocien-
tarmos pela rela cao de equivalencia em P(E) R
k
dada por ((g)p, v(g
1
)) (p, v), ou,
substituindo (g) por g, onde : G Aut(E), podemos escrever mais sucintamente:
(gp, vg
1
) (p, v)
o que e compat
ivel com nosso uso de multiplica cao `a esquerda pelo grupo (a representa cao
do grupo em R
k
vai `a direita pela inversa, ja que R
k
corresponde ao espa co dual). A nota cao
usual e feita para um brado G-principal P, no qual G age `a direita, e nos conformaremos
a ela. Um breve adendo: se G age `a direita sobre dois espa cos, A, B e existe uma a cao de
: A B C, para um outro espa co qualquer C, e se essa a cao e invariante pela a cao
do mesmo elemento de G nos dois espa cos, i.e.: (a
A
g, b
B
g) = (a, b) dizemos que ela e
G-equivariante.
No nosso caso, a representa cao do grupo e a mesma em E
x
R
k
e P(E
x
), portanto o
quociente pela a cao do grupo como acima esta inclusa na a cao da base sobre as coordenadas,
i.e.: [p, v] = pv. No caso geral, a a cao do grupo pode ser distinta para os dois espa cos, por
isso denimos:
Denition 20 Seja (P, , M) um G-brado principal sobre o qual G age a direita por, e
seja F um espaco no qual G age `a esquerda (cuja acao denotaremos por ), entao denimos
o brado associado a P pela acao de G em F como o brado
P
F
= P
G
F := P F/
onde denimos a relacao de equivalencia, juntamente com a acao do grupo em P F (que
tambem denotaremos por ), como
(p, v) (p g, g
1
v) := (p, v) g
A projecao e dada por
F
: P
F
M
[p, v] (p)
73
Notemos que que
F
esta bem denida, ja que se (p
1
, v
1
) (p
2
, v
2
) entao p
2
= p
1
g para
algum g G e portanto (p
2
) = (p
1
). Precisamos agora voltar e mostrar que a motiva cao
do conceito de brado associado faz sentido, i.e.: que cada bra de P
F
e difeomorfa a F.
Theorem 25 Para cada x M, a bra
1
F
(x) e difeomorfa a F.
Dem: Fixado um ponto p P sobre x M existe um mapa associado
p
: F P
F
denido
por
p
(v) := [p, v], no nosso exemplo esse mapa corresponde a tomarmos k coordenadas
e associar-las `a base p. Agora,
F
[p, v] = (p) = x logo
p
(F)
1
F
(x). Agora, para
[q, u]
1
F
(x) , denimos
p
:
1
F
(x) F
[q, v] g
p
(q) v
onde g
p
:
1
(x) Ge o mapa que fornece o elemento em G que liga p a q, i.e: pg
p
(q) = q,
como mostramos nas primeiras se coes deste capi
p
[q g, g
1
v] = g
p
(q)gg
1
v = g
p
(q) v
Entao obtemos, qualquer que seja v F,
()
p
p
[q, v] =
p
(g
p
(q) v) = [p, g
p
(q) v] = [p g
p
(q), v] = [q, v]
()
p
p
(v) =
p
[p, v] = g
p
(p) v = v
e portanto
p
e
p
sao inversas suaves.
Nos temos ainda que se e um aberto de M,
1
F
() (
1
() F)/G ( GF)/G F
Portanto e localmente trivial, logo podemos introduzir em P
F
uma estrutura diferenciavel
requerendo que
1
F
() seja uma subvariedade aberta de E difeomorfa a F pelo difeomor-
smo induzido por uma trivializa cao qualquer
1
() G. Dadas duas tais trivializa coes
1
,
2
sobre , i.e.:
i
: F
1
F
()
(x, v) [s
i
(x), v]
onde s
i
:
1
() e se cao suave de P nos obtemos
7
, utilizando o mapa de transi cao
g
12
: G entre as se coes s
1
, s
2
, que
1
2
1
(x, v) =
1
2
[s
1
(x), v] =
1
2
[s
1
(x) g
12
(x), g
1
12
v] = [s
2
(x), g
1
12
(x) v] = (x, g
1
12
(x) v)
Nos obtemos entao que se come camos com um E e um G-brado vetorial com bra t
ipica
V , e tomamos G Aut
G
(V ) , entao P(E)
G
V = E.
7
Note que utilizamos a mesma constru c ao para obtermos a correspondencia entre diferentes trivializa c oes
quaisquer no brado principal.
74
Agora, nos ja provamos que existe correspondencia bijetora entre conexoes em E e
conexoes em P(E) (Teo. 24), simplesmente denindo a forma de conexao em
1
V
() como
s
x
= d
x
(s
)
x
onde
p
: T
p
P g , d
x
: g End
g
(E
(p)
) e uma representa cao de g , s e
uma se cao de P sobre e e uma forma de conexao em P.
Se tomarmos a descri cao por transporte paralelo, isto e equivalente a, dado um ponto
p P(E) sobre x M, uma curva suave : I M tal que (0) = x e um vetor de E
x
,
v = [p, v] onde v e a proje cao de v na base p, denirmos
P
(0, t)v := [
p
(t), v] =
p
(t)v
onde
p
(t) e o unico levantamento horizontal de (t) em P passando por p em t = 0,
ou seja, mantemos as coordenadas do vetor xo em termos de uma dada base paralela ao
longo de (t). Em outras palavras, derivamos como fun coes em R
k
as coordenadas de um
campo (se cao de E) em rela cao a uma base paralela. Como mostramos que temos o conceito
de levantamento horizontal de curvas em brados principais gerais, podemos tomar essa
deni cao para o caso geral de brado associado.
Relembrando, nos temos, como
p
: F F
(p)
e difeomorsmo, que para cada p
1
(x)
e q
1
F
(x) existe um unico v(q, p) F tal que (p, v(q, p) q. Seja entao s : M P
G
F
uma se cao, para todo p P existe v(s((p)), p) =:
s
(p) tal que [p,
s
(p)] = s((p)), onde
denotamos a fun cao que, dada essa se cao, leva p em v(p) por
s
: P F. Nos temos que
(p g) = g
1
s
(p) ja que temos, para uma dada se cao s e dados x , p, q
1
(x):
[q,
s
(q)] = [p g,
s
(p g)] = s(x) = [p,
s
(p)] = [p g, g
1
s
(p)]
Na nossa analogia do brado das bases, isso nos da para cada campo Y (E) uma
associa cao entre as bases sobre e a descri cao de Y sobre essas bases. O que nos resta agora
para acharmos
P
F
X
Y , onde
P
F
e a conexao em P
G
F e X (TM), e tomarmos, na
analogia do brado das bases, a derivada dos coecientes sobre uma base paralela ao longo
de X. Como o levantamento horizontal esta bem denido, e exatamente isso que fazemos:
P
F
X
s
=
X[
s
] (2.49)
onde
X e o levantamento horizontal de X, como descrevemos na se cao anterior, e aqui o
colchete designa deriva cao, e nao quociente. Ambos os lados pertencem a C
(P, F) e o que
obtemos e que, para todo p P,
[p,
X[
s
](p)] =
P
F
X
s((p)) (2.50)
Lembrando que R
g
X =
X, e portanto a equivariancia da a cao de G e mantida e vemos
que a equa cao esta bem-denida. Explicitamente, nos utilizamos a seguinte proposi cao:
Proposition 18 Seja X um campo C
em M, e F : M M um difeomorsmo, e seja
(t, p) o uxo de X, entao X e invariante por F se e somente se F((t, p)) = (t, F(p))
Dem: Se F((t, p)) = (t, F(p)) entao nos temos que
dF
p
_
d
dt|t=o
(t, p))
_
= dF
p
(X
p
)
75
Mas
d
dt|t=o
(t, F(p)) = X
F(p)
Da mesma forma
d
dt|t=o
F((t, p)) = dF
p
(X
p
) = X
F(p)
=
d
dt|t=o
((t, F(p)))
portanto, pela unicidade de curvas integrais:
(t, F(p)) = F((t, F(p)))
P
F
X
s
(g p) =
X[
s
](g p)
=
d
dt|t=o
(
s
((t, g p)))
=
d
dt|t=o
s
(g ((t, p)))
= g
1
P
F
X
s
(p)
Outra observa cao importante e a de que, olhando bem para o lado esquerdo de (2.50),
percebemos que na linguagem de brado das bases, ele representa a derivada dos coecientes
de um campo ao longo de uma curva horizontal de bases passando por p, justamente o que
procuravamos. Notamos tambem que a conexao em P
F
desceu de uma G-conexao de P,
ja que utilizamos tanto levantamento horizontal quanto G-invariancia.
Suponhamos agora que V seja um espa co vetorial riemanniano, com metrica , ) sobre o
qual age a representa cao : G V . Nos podemos inicialmente tentar induzir uma metrica
em P
V
= P
G
V denindo, para qualquer p
1
(x) e v, v
V :
[p, v], [p, v
])
1
V
(x)
:= v, v
) (2.51)
Lembramos que qualquer elemento de
1
V
(x) pode ser escrito em termos de qualquer p
1
(x). Mas para que este produto interno fa ca sentido precisamos tomar o mesmo p (o
que equivaleria, no brado das base, a tomar o produto interno das coordenadas escritas na
mesma base). Veriquemos se isto esta bem denido, i.e.: se o produto interno nao depende
do ponto p que escolhemos:
[p, v], [p, v
])
1
V
(x)
= [p g, (g
1
)v], [p g, (g
1
)v])
1
V
(x)
= (g
1
)v, (g
1
)v
)
Entao nos temos que so podemos passar a metrica consistentemente para o brado associado
se a a cao do grupo em V for ortogonal em rela cao a metrica, i.e.: : G O(V ). Isso implica
nao so que a metrica induzida em P
F
e G-invariante, mas que e tambem compat
ivel com
qualquer G-conexao provinda de P. Vejamos como: denotando tambem por
x
a a cao de G
em
1
F
(x), temos que
x
: G O(
1
F
(x)). Logo
d(
x
)
e
: g so(
1
F
(x)) (2.52)
o que implica que a representa cao de
s
sera uma matriz anti-simetrica, o que em seu turno
implica que a conexao e compat
isica e
matematica, refor cando a primeira hipotese.
E bem verdade que Yang e Mills procuravam
exclusivamente uma generaliza cao das equa coes de Maxwell, sem nenhum conhecimento de
sua rela cao com uma interpreta cao geometrica por brados (interpreta cao que procuramos
esmiu car).
Sua busca era mais que justicada: a teoria da eletrodinamica quantica e uma das mais
bem sucedidas da historia da f
isica. O objetivo da f
isica dos conceitos da teoria classica de Gauge, muitos deles ja explorados por
nos nos cap
itulos anteriores.
1
Ver [11] que seguimos livremente nesta introdu c ao.
77
Imaginemos uma part
icula tenha alguma especie de estrutura interna i.e.: ela tem uma posi cao
x M e esta em um estado interno particular neste ponto. Suponhamos ainda que este
espa co interno possua simetrias suaves, modeladas pelo grupo de Lie G. Consideraremos
entao o espa co total de todos os estados de uma tal part
icula e levado ao longo do trajeto por transporte paralelo, i.e.: de modo que conserve
seu estado interno, pelo Teo.14 essa condi cao e equivalente
3
a nao termos curvatura, ou
campo externo, ja que nao ha maneira de medi-lo por seu efeito se todos os caminhos entre
dois pontos nao induzem nenhuma diferen ca na estrutura interna da part
icula.
Qualquer identica cao de espa cos internos e chamada de uma escolha de Gauge, e uma
mudan ca de um gauge a outro e chamado de transforma cao de gauge, que a cada ponto x
associa uma transforma cao do espa co interno G. Sem curvatura, todas sao equivalentes, e
se ligarmos um campo externo todas detectarao igualmente discrepancias no estado interno
nal de part
ia signicado f
iveis sobre
M (ver Sec2.3), por exemplo os eixos de isospin sobre M. A conexao nos fornece uma
identica cao intr
inseca entre (bases de) estados internos sobre diferentes pontos, ela nos
diz como manter uma base de estados internos (e.g.: de isospin) xa ao longo de uma
trajetoria qualquer . Em termos dessa base e facil quanticar a varia cao do estado interno
da part
iculas vivem.
2. Um espaco vetorial de dimensao nita F equipado com um produto interno
, ). - Na interpreta cao ortodoxa, este e o espa co onde as fun coes de onda das
part
iculas tomam seus valores. Este espa co e determinado pela estrutura interna da
part
ipicos sao
C, C
2
, C
4
ou as algebras de Lie u(1), su(2). Pelo produto interno se computa a norma
de fun coes de onda e portanto probablidades quanticas.
3. Um grupo de Lie G e uma representacao : G GL(F) ortogonal em relacao
a , ). - G age entao sobre as bases dos estados internos sobre cada ponto. Como
vimos em (2.51), a ortogonalidade da representa cao e necessaria para que o produto
interno nao dependa da base de estados internos que escolhemos. Como vimos em
(Sec.1.6), existe bije cao entre G e as bases ortonormais G admiss
inseca das bases. Aplicada sobre um referencial local s, nos obtemos o potencial
de gauge local, / = s
.
6. Uma secao global do brado vetorial associado P
F - Campos de materia
serao associados a tais se coes que satisfa cam as equa coes de Euler-Lagrange de algum
funcional de a cao que envolva os potenciais locais /. Como vimos em Sec.2.4, dado
um referencial podemos associar localmente estas se coes a fun coes G-equivariantes
: F, que nos fornecerao as chamadas fun coes de onda.
7. Uma a cao S(, ) cujos pontos estacionarios sao as solucoes classicas. -
Tipicamente este funcional e da seguinte forma:
S(, ) = c
_
M
||
2
+ c
1
|D|
2
Onde D e a derivada exterior covariante determinada por Teo.26. A constante c
e chamada de constante de normalizacao e c
1
e a constante de acoplamento.
Discutiremos as normas utilizadas na se cao seguinte. Nao trataremos do caso dos
campos com materia, ou seja, faremos c
1
= 0. Estamos interessados somente na
dinamica dos campos.
79
Ou seja, todo o trabalho que tivemos ate aqui foi o de apresentar boa parte do arcabou co
teorico de uma teoria f
isica baseada nestas suposi coes. O que nos queremos agora, e, assim
como na teoria da relatividade geral, minimizar um funcional escalar da curvatura, para que
possamos achar uma congura cao de campos que represente uma solu cao classica do sistema.
Para isso, ainda precisamos colocar alguns detalhes na teoria, como achar uma metrica bem
denida no espa co de estados internos.
Preliminaries
Na teoria de Yang-Mills, como vimos, os campos f
x
: G Aut(E
x
), onde E e o G-brado vetorial em questao; a representa cao corre-
spondente da algebra de Lie e d(
x
)
e
: g End(E
x
), ou seja, sao formas a valores em
representa coes da `algebra de Lie g sobre os endomorsmos de cada bra vetorial, End(E
x
).
Estamos interessados em estudar se coes de formas de conexao em E, e portanto precisaremos
considerar o brado End(E) E E
2
) =
1
(v
2
)
2
(v
1
) = tr(ST) (3.1)
Denimos o negativo da forma de Killing:
K : g g R
(h, j) tr(ad
h
ad
j
)
que e assim claramente bilinear e simetrica.
E poss
icio para induzir uma metrica nao -degenerada no brado associado e com isso
um operador de Hodge. No caso de u(n), como mostraremos a seguir, e poss
ivel utilizar o
operador tra co, que e o que faremos, pois, alem da simplicidade formal, ca mais direta a
conexao com classes de Chern e topologia de brados, que apresentamos no cap
itulo seguinte.
Agora, para G compacto, e um fato que a algebra de Lie de G admite a seguinte decom-
posi cao
g = z [g, g]
onde z = Ker(ad) e o centro da algebra, logo K[
z
0 e a parte [g, g] e semi-simples. Logo,
utilizando a metrica produto natural (ortogonal) em g = z [g, g] temos que um outro
produto interno em g que seja positivo denido sobre o centro e proporcional a K na parte
semi-simples sera positivo denido em sua totalidade. No caso de maior interesse para a
f
isica:
u(n) = u(1) su(n)
Nesse caso, o centro sao os m ultilpos da matriz identidade e portanto e nao degenerada
nessa parte. Agora mostremos o tra co e a froma de Killing sao de fato proporcionais na
parte semi-simples.
Assumindo que um grupo G e simples se e somente se ele admite representa cao adjunta
irredut
ivel, suponhamos que temos duas formas bilineares invariantes por uma representa cao
: G Aut(V ) em um espa co vetorial V , , )
1
e , )
2
. Armamos que B
1
= , )
1
e
B
2
= , )
2
sao proporcionais. Para provar que isto de fato se da, consideremos a aplica cao
B
1
: V V
. Como o n ucleo desta aplica cao e invariante pela a cao de , que e representa cao
irredut
ivel
com esse produto interno.
81
Pela otica do brado vetorial End
G
(E), denimos igualmente o tra co de uma se cao de
End(E), e para T
_
p
(TM
) End(E)[
_
denimos: tr( T) = tr(T)
(
p
(TM
).
E claro que, como End(E
x
) E
x
E
x
, uma se cao s (End(E)) sob
um isomorsmo de brados g (Aut
G
(E)) se transforma pela conjuga cao : s(x)
g
1
(x)s(x)g(x) End(E
x
). Portanto a a cao do tra co e invariante por uma tal transforma cao
(o que poderia ser visto de outra maneira, notando que o tra co e uma aplica cao C
(M, R)-
bilinear E
1
E
()
,
End(V )
Lembramos que as bases G-admiss
(x)vg
(x)
1
)
onde Ad(g
1
(x, e
j
i
)
k
i,j=1
= e
j
i
k
i,j=1
onde e
j
i
= e
j
e
i
e a base canonica de V V
e portanto e
j
i
k
i,j=1
e base ortonormal em
End(E
x
); logo (e
j
i
)
k
i,j=1
= (x, g
(x)e
j
i
g
(x)
1
)
k
i=1
e ortonormal.
Sejam entao x, y , e suponhamos que : I e uma curva tal que (0) = x e
(1) = y. Como o transporte paralelo leva base admiss
k
i,j=1
e base ortonormal em
End(E
x
), entao
b
j
i
k
i,j=1
= P
(e
j
i
)
k
i,j=1
=
1
(y, e
j
i
)
k
i,j=1
=
1
(y, g
(y) e
j
i
g
(y))
1
k
i,j=1
que e ortonormal. Portanto (ao menos dentro de uma trivializa cao) o transporte paralelo
leva base ortonormal em base ortonormal. Da mesma forma obtemos que sera invariante
por qualquer metrica em End(E) induzida por trivializa coes locais. Apesar de termos con-
siderado curvas restritas a um domi
ivel com a
conexao usual no brado vetorial End(E), dado por ((1.86),(1.84))? Caso a constru cao que
82
zemos ate agora esteja coerente, a resposta deve ser positiva. Chequemos pois que isso se
da.
Dem: Tomamos a representa cao
x
: G Aut(E
x
) e
5
entao, como sabemos, a respectiva
representa cao do grupo que estamos tomando sobre End(E) (ou, no contexto de brado
associado, sobre End(V )) e :
x
: G Aut(End(E
x
))
g Ad
x(g)
Consideremos a aplica cao Ad : G Aut(g). Chamando d(Ad)
e
= ad : g End(g), temos
que
d(
x
)
e
= d(Ad
x(g)
)
e
= ad
d(x)e(h)
sendo que consistentemente (d
x
)
e
: g End(E
x
). Portanto nos temos o mapa
d(
x
)
e
: g End(End(E
x
))
h ad
d(x)e(h)
Agora, e poss
),
d(
x
)
e
(
s
)(X ) = ad
d(x)e(
s
)
(X ) = d(
x
)
e
(
s
)X X d(
x
)
e
(
s
) (3.2)
e como
d(
x
)
e
(
s
) =
_
d(
x
)
e
(
s
)
_
T
((1.86),(1.84))
(atraves da forma de conexao em P pela representa cao natural de g em End(E
x
)).
Ou seja, ao inves de tomarmos o produto interno na bra sobre x M como (h, j)
tr(ad
d(x)e(h)
ad
d(x)e(j)
), faremos (h, j) tr(d(
x
)
e
(h)d(
x
)
e
(j)).
Yang-Mills Equation
Chamaremos de Ad(E) End(E) o espa co de endomorsmos cujas representa coes locais
em matrizes sao anti-simetricas em cada bra E
x
, i.e.: que sao representa coes em so(E
x
).
Nos ja temos um produto interno para p-formas denido por, para w
1
, w
2
p
T
x
M:
w
1
, w
2
) 1 = w
1
w
2
Logo, sejam
1
w
1
,
2
w
2
Ad(E
x
)
p
T
x
M
5
Na maioria dos casos, se usa a identica c ao Aut(E
x
)
= GL(k) e toma-se a representa c ao de G simples-
mente como a inclusao, G GL(k), mas n ao o faremos aqui.
83
Entao
1
w
1
,
2
w
2
):=tr(
1
2
)w
1
, w
2
)
ou seja, temos um produto escalar L
2
em (
p
(TM) AdE):
1
w
1
,
2
w
2
)):=
_
M
1
w
1
,
2
w
2
)1 (3.3)
Logo, como temos um produto interno bem denido, podemos denir o operador estrela
de Hodge neste espa co tambem. Nos temos ainda que, a adjunta formal da derivada co-
variante e dada por D
= (1)
n(p+1)+1
D. Este fato pode ser facilmente demonstravel
utilizando o Gauge canonico, ja que ali
D(x
1
, , x
p+1
) = d(x
1
, , x
p+1
)
e nos ja demonstramos que d
= (1)
n(p+1)+1
d.
Assumindo ainda que D e uma derivada de gauge exterior compat
D
,
D
)1 =
_
M
tr(
D
D
) (3.4)
O integrando
D
,
D
) = L
Y M
e chamado de Lagrangeana de Yang-Mills e S
Y M
(D)
e chamada de a cao de Yang-Mills (ou funcional de Yang-Mills). Como vimos, uma trans-
forma cao de Gauge deixa L
Y M
e portanto S
Y M
invariantes. Para determinarmos as equa coes
de Euler-Lagrange para esse funcional utilizamos o fato que o espa co de todas as conexoes
metricas em E, ((E) e um espa co am. Portanto, podemos considerar varia cao da forma:
D + t onde (
1
(TM) Ad(E)) Agora por (1.118):
D+t
=
D
+ tD + t
2
(3.5)
logo
d
dt|
t=0
S
Y M
(D + t) =
d
dt|
t=0
__
D+t
,
D+t
) 1
_
= 2
_
D
, D) 1 = 2D
D
, ))
assim, D extremiza S
Y M
se D
D
= 0, onde D
(M, R).
E facil ver que se e
I
e base ortonormal de
p
(T
M) em rela cao
a g, entao
e
I
f
o e em rela cao a g. Logo, como
p
esta denido por sua aplica cao a uma
base de
p
(T
_
e
i
1
e
ip
_
= e
i
p+1
e
in
=
1
f
p
_
e
i
1
e
ip
_
=
1
f
np
e
i
p+1
e
in
(3.7)
_
e
i
1
e
ip
_
= f
2pn
e
i
p+1
e
in
= f
2pn
_
e
i
1
e
ip
_
E nalmente
= f
2pn
Logo se n = 2p obtemos = .
Isso signica que se : M
m
N
n
e um difeomorsmo entre (M, g) e (N, g) tal que
m = n = 2p e se para alguma fun cao f, onde 0 ,= f C
g = f
2
g,
entao para todo w
p
(T
N), temos:
(w) = (
w) (3.8)
O que e facilmente obtido de (3.7) fazendo a seguinte substitui cao
e
I
f
e
I
f
.
Agora nos sabemos que dado C(E), onde : E N, nos formamos o pull-back
w
Logo, lembrando que para todo (
p
(T
(D) =
d +
= d(
) + w
=
D(
) (3.9)
e portanto para o difeomorsmo , por (3.8) e tomando uma conexao de Yang-Mills em E:
(D ) =
D(
) =
D (
) =
D
= 0
e a igualdade de Bianchi tambem vale automaticamente, obtemos que se D e conexao de
Yang-Mills,
D tambem o e. Um caso particular e se um difeomorsmo : M M for
uma isometria,
) =
_
R
4
tr(
)
Um teorema de Karen Uhlenbeck nos fornece a rec
2
(T
M) End(E) =
2
+
(T
M) End(E)
2
+
(T
M) End(E)
de subespa cos de autovetores de . Em particular,
=
+
+
). Normalmente
essas conexoes sao designadas por e SD (self-dual) e ASD(anti-self-dual).
E ainda facil ver
que essa decomposi cao e ortogonal:
+
,
)) =
_
M
=
_
M
=
_
M
+
=
,
+
)) = 0
Solu coes duais da equa cao de Yang-Mills sao chamadas de instantons, e existe uma vasta
quantidade de f
isica e matematica que revolvem ao seu redor. Um exemplo de uma solu cao
dual nao trivial (i.e.: com curvatura nao nula) de energia nita e
x
= im
_
xdx
1 +[x[
2
_
(3.10)
onde x e a variavel quaternionica em R
4
H e identicamos a algebra de Lie SU(2) Sp(1)
ao conjunto de quaternions imaginarios [13]. Em 1979, formulas similares foram descobertas
para todas as conexoes duais e anti-duais em R
4
euclidiano [11].
Durante algum tempo, as unicas solu coes de energia nita conhecidas para as equa coes de
Yang-Mills eram solu coes duais e anti-duais. Em 1989, L.Sibner, R. Sibner e K. Uhlembeck
[12] publicaram uma prova da existencia de solu coes de algumas solu coes nao duais no R
4
euclidiano. Uma outra boa referencia para o assunto e [13].
Exploraremos um pouco melhor a rela cao da equa cao de Yang-Mills com a topologia e
classica cao de brados na proxima se cao.
86
3.2 Classication of Fiber Bundles
Nesta se cao estaremos preocupados em achar maneiras de dizer quando dois brados sobre
a mesma base sao ou nao sao isomorfos, questao encontrada no Teorema de Classica cao de
Fibrados Vetoriais, um resultado de ordem formal. Na verdade, o que procuramos e uma
maneira de associar a cada brado vetorial E sobre uma variedade base M, uma classe de
cohomologia de M. A essas associa coes damos o nome de classes caracter
isticas, e elas
sao invariantes globais e pode-se dizer que medem o desvio de uma estrutura produto global.
Classes caracter
: Vect
G
(M) Vect
G
(N)
Lembramos que se E e brado vetorial sobre M, entao
f
(E) := (x, v) [ x N, v E
f(x)
Para vericar que este mapa esta bem denido sobre as classes de equivalencia, basta vermos
que, se E
F, ambos brados vetoriais sobre M, entao o mapa
f
(E) f
(F)
(x, v) (x, (v))
e isomorsmo de brados. Dado E, denotamos E I o brado sobre N I, onde a bra
sobre (x, t) e a bra de E sobre x. Isto e,
E I = pr
1
(E)
onde
pr
1
: N I N
Proposition 19 Todo G-brado
E sobre N I e isomorfo a um da forma E I (ou seja
pr
1
E), para algum brado E sobre N.
87
Dem: Seja
E, tomamos
o
: N N I
x (x, 0)
denimos entao E =
o
(
E), ou seja E
x
=
E
o(x)
=
E
(x,0)
. Agora, tomando o brado EI
denido acima temos:
(E I)
(x,t)
= E
pr
1
(x,t)
= E
x
=
E
(x,0)
Escolhida uma conexao em
E, seja P
(x,t)
:
E
(x,0)
E
(x,t)
o transporte paralelo ao longo da
curva t (x, t).
Logo, fazendo (E I)
(x,t)
E
x
E
(x,0)
basta tomarmos
(x,t)
: (E I)
(x,t)
E
(x,t)
v P
(x,t)
(v)
como o transporte paralelo e um isomorsmo entre as bras, e depende suavemente dos
parametros (x, t), nos temos que : E I
E e um isomorsmo de brados. Sua a cao
explora a estrutura produto da base e equivale a transladar as bras por transporte paralelo
ao longo de cada reta t (x, t).
Theorem 26 Se f
0
, f
1
: N M sao homotopicas, entao f
0
: Vect
G
(M) Vect
G
(N) e
f
1
: Vect
G
(M) Vect
G
(N) sao iguais.
Dem: Seja E Vect
G
(M), e F : N I M uma homotopia entre f
0
e f
1
. Entao
F
(E)
E I
Portanto, denindo f
t
:= F
t
: N M, onde
t
: N N I
x (x, t)
nos temos que f
t
=
t
F
. Logo, como
F
E
E I e
t
: Vect
G
(N I) Vect
G
(N)
estao bem denidas,
f
t
(E)
t
(
E I) =
E.
Entao, f
0
(E) f
1
(E).
Proposition 20 Se M e contratil, entao todo G-brado sobre M e trivial.
Dem: Seja f
0
= Id
M
e f
1
: M p M mapa constante; seja E um brado qualquer
sobre M. Entao, como f
0
e homotopica a f
1
, e f
0
= Id
E
, obtemos pelo teorema anterior
que
E = f
0
(E) f
1
(E) = M E
p
88
Proposition 21 Nos temos um isomorsmo Vect
G
(S
n
)
n1
(G).
Dem.: Um G-brado E sobre S
n
e equivalente a um brado formado pela colagem (como
vimos na Sec.1.1) dos brados E
+
e E
ao longo do
equador S
n1
= D
n
+
D
n
sao triviais. Isso signica que temos a liberdade de tomar as trivializa coes
1
: E
|D
n
+
D
n
+
E
p
,
2
: E
|D
n
D
n
E
p
Portanto, como
1
1
2
: (D
n
+
E
p
)
|
D
n
+
D
n
= S
n1
E
p
1
1
2
: S
n1
E
p
S
n1
E
p
(x, q) (x, g(x) q)
Logo, a classe de equivalencia (de isomorsmos de brados) de E e determinada unica-
mente pela classe de equivalencia de g : S
n1
G, ou seja, nos obtemos um isomorsmo:
Vect
G
(S
n
)
n1
(G)
3
(G) = Z.
Bundle Classication Theorem
A proposi cao 21 e na verdade um caso espec
B
G
. Para o caso G = GL(k), provaremos este teorema juntamente com sua extensao:
se E f
G
e E f
G
, entao f
0
e f
1
sao homotopicas.
Seja entao
Q
r
= T L(R
k
, R
l
) [ posto(T) = r
come camos com a seguinte proposi cao:
Proposition 22 Q
r
tem dimensao kl (k r)(l r).
Dem: Consideremos a a cao
: GL(l) GL(k) Aut(L(R
k
, R
l
))
(g, h) L
g
R
h
1
Armamos que as orbitas de sao justamente as transforma coes lineares de posto constante.
Que elas mantem o posto constante e claro, vejamos porque todas as transforma coes de posto
r estao ligadas pela a cao de `a matriz
_
Id
R
r 0
0 0
_
(3.11)
89
Tomando T com posto r, dim(KerT) = k r. Tomamos e
i
k
i=r+1
como base de KerT,
e um completamento qualquer e
i
r
i=1
em R
k
. Em R
l
, tomamos uma base composta por
Te
i
r
i=1
= e
i
r
i=1
e um completamento e
i
l
i=r+1
.
E claro que nessas bases [T] sera uma
matriz diagonal com um unico bloco r r nao nulo, justamente a identidade em R
k
. Como
transforma coes de base em R
k
e R
l
sao equivalentes a a cao de , nos temos que Q
r
sera
dado pela orbita de T pela a cao de . Tomando as a coes usuais de composi cao nos grupos
Aut(L(R
k
, R
l
)) e GL(l) GL(k), e trivial ver que e um homomorsmo:
(gg
, hh
)T = g(g
Th
1
)h
1
= (g, h)(g
, h
)T
logo, Q
r
(GL(l) GL(k))/G
T
onde G
T
e o grupo de isotropia de T pela a cao de .
Suponhamos entao que ( g,
h) G
T
. Temos entao , utilizando a base acima para representar
T por (3.11), a seguinte condi cao
T h =
_
_
_
_
_
h
1
1
h
k
1
.
.
.
.
.
.
h
1
r
h
k
r
0
_
_
_
_
_
= g T =
_
_
_
_
_
g
1
1
g
r
1
.
.
.
.
.
. 0
g
1
l
g
r
l
_
_
_
_
_
(3.12)
Para h, que e uma matriz quadrada k k, e facil notar que so temos de xar os termos
h
i
j
[ i = r + 1, k, e j = 1, r que tem de ser nulos pela igualdade `a g T (temos
liberdade para escolher os elementos que sao levado em zero pela T e o quadrado r r
esquerdo superior). Para a matriz g M(l l), com ja xamos h, precisamos xar todos os
elementos que nao sao levados a zero por T, ou seja todos os r l elementos nao nulos da
matriz resultante. Isso nos da uma dimensao de
kr + rl r
2
= kl (kl kr rl + r
2
) = kl (l r)(k r)
e transversal a Z. Em outras palavras, podemos perturbar a fun cao para que se torne
transversal. Essa propriedade e chamada de genericidade.
Est.: Se f
0
e transversal a Z, para qualquer homotopia suave f
t
, nos temos que f
e transver-
sal a Z para sucientemente pequeno. Ou seja, ela se mantem transversal por peque-
nas perturbacoes. Esta propriedade e chamada de estabilidade.
Cont.: Se f : M N e suave e transversal `a subvariedade mergulhada Z em p M, entao
existe aberto em torno de p , U M onde f permanece transversal a Z.
Agora podemos enunciar a proposi cao chave:
Proposition 24 Se M e compacto , entao qualquer brado vetorial com bra t
ipica isomorfa
a R
k
e isomorfo a algum subbrado do brado produto R
l
M
:= MR
l
, onde e dim(M)+k l .
Dem: Nos temos que
L
: L(E, R
l
M
) M e um brado vetorial. Um isomorsmo de
E com um subbrado de R
l
M
pode ser visto entao como uma se cao : M L(E, R
l
M
),
no sentido que
L
= Id e tal que
x
: E
x
R
l
e uma transforma cao linear de posto
maximo, k, para todo x M.
E uma tal se cao que tentaremos construir.
Consideremos o brado vetorial L(E, R
l
M
). Em uma trivializa cao
U
L(R
k
, R
l
)
L(E, R
l
M
)[
U
,
nos tomamos o mergulho (das transforma coes de posto i sobre ):
(U
Q
i
) := Z
i
L(E, R
l
M
)
Agora, por genericidade, existe homotopia de
0
, que chamaremos de
0
: M [0, 1]
L(E, R
l
M
) que e transversal `a subvariedade mergulhada Z
0
em um dado
0
]0, 1] .
Agora tomamos uma homotopia de (
0
0
, que chamamos de
1
: M[0, 1] L(E, R
l
M
).
Por genericidade esta homotopia e transversal a Z
1
para algum
1
]0, 1] sucientemente
pequeno para que, por estabilidade, continue sendo transversal a Z
0
. Procedendo dessa
forma k vezes obtemos uma se cao global, transversal a todos os Q
i
sobre U
(para i < k) .
Logo pela proposi cao anterior, esta se cao tem posto k sobre U
.
91
Entao, como M foi assumido compacto, utilizamos exatamente o mesmo metodo (aten-
tando para mantermos as perturba coes sobre o dom
(E) = E[
M
o brado sobre M, e suponha que ja temos uma se cao
: M L(E, R
l
M
) tal que (x) tenha posto maximo para todo x M.
Proposition 25 Existe secao : N L(E, R
l
N
) de posto maximo tal que = [
M
.
Dem: Agora, ao inves da se cao nula que tomamos no in
inio de
coordenadas c ubicas : U
p
R
n
centradas em p tal que M U
p
= S
p
e uma unica fatia.
Logo podemos tomar uma proje cao suave
Up
: U
p
S
p
(podemos denir
p
=
1
pr
m
)
e assim denimos
p
:=
p
: U
p
L(R
k
, R
l
)
Agora, a cole cao U
p
[ p M (N M) forma uma cobertura aberta de N, logo podemos
tomar parti cao da unidade
i
[ i = 1, 2, subordinada a essa cobertura. Tomando a
subsequencia
i
[ supp
i
M ,= , para cada tal i, como trivialmente (N M) M = ,
existe ponto p
i
tal que supp
i
U
p
i
. Entao constru
p
i
(3.14)
tal que [
M
= .
Utilizando o fato que e suave, pela propriedade Cont. acima, ao redor de cada ponto p
de M, onde sabemos que e transversal a Z, existira um aberto de N, V
p
, onde permanece
transversal a todos os Q
j
. A cole cao U
p
V
p
[ p M (N M) ainda e cobertura aberta
de N. Agora tomando qualquer cobertura de NM por dom
G
para alguma
fun cao suave f
0
: M B
G
. Se alem disso f
G
E, entao f
0
e f
1
sao homotopicas .
Dem: Nos provaremos para o caso G = GL(k). Tomamos B
G
como sendo a veriedade
Grassmaniana G(k, l), i.e.: os pontos de B
G
sao os subespa cos k-dimensionais de R
l
. Den-
imos ainda
G
= (p, v) G(k, l) R
l
[ v p
92
o que signica que a bra sobre o ponto p da variedade base G(k, l) e justamente o subespa co
de R
l
correspondente a p. Agora, pela proposi cao anterior, nos sabemos que existe um
isomorsmo
0
de E com uma k-subbrado de M R
l
. Portanto nos denimos um mapa
f
0
: M G(k, l)
x
0
(
1
E
(x))
Lembramos que como
0
e inje cao linear (tem posto maximo k < l), ou seja, e isomorsmo
linear sobre a imagem. Logo nos temos que
f
G
= (x, v) M
G
[ v f
0
(x) (x, v) M
G
[ v
0
(
1
E
(x))
f
G
(x, v) [ x M e v
1
E
(x) = E
Agora suponhamos que
1
: E M R
l
seja tal que temos
f
G
= (x, v) M
G
[ v
1
(
1
E
(x)) E
Tomamos a subvariedade (M 0) (M 1) M I. Entao pela extensao que
constru
1
EI
(x, t)
_
e uma homotopia entre f
0
e f
1
. Ou seja, alem de existencia estabelecemos unicidade (em
classe de homotopia)
Characteristic Classes and Numbers
Classes e n umeros caracter
vect
: Vect
G
(M) Vect
G
(N) e
f
: H
(M) H
(N)
onde H
istica c (para G-
brados) associa a E uma classe de cohomologia c(E) em H
tal que dado um G-brado vetorial sobre a variedade suave M e um mapa suave f : N M,
onde N e tambem suave, entao
f
(c(E)) = c(f
vect
(E))
6
Na linguagem de teoria das categorias, C e uma transforma c ao natural do funtor Vect
G
ao funtor H
,
ambos considerados como funtores contravariantes na categoria de variedades suaves.
93
O sub-
isticas de G-brados.
Proposition 26 Seja
G
o G-brado universal sobre o espaco B
G
, entao
c c(
G
)
e isomorsmo entre Char(G) e H
(B
G
).
Dem: Seja H
(B
G
), denimos
c : H
(B
G
) Char(G)
c
onde
c
: Vect
G
H
E = f
G
f
E
()
onde agora c
e um funtorial de Vect
G
em H
que leva E em f
E
(), onde f
E
: M B
G
e
tal que f
E
(
G
) = E Vect
G
M, logo existe um unico (a menos de classes de homotopia) tal
f
E
pelo Teo.28.
Resumidamente poder
iamos denir
c
E
: H
B
G
H
M
f
Isto e, c
E
= f
E
, ou seja c
E
() = c
(g
(E)) = c
(g
G
) = c
((f
E
g)
G
) := (f
E
g)
() = g
E
() = g
(E)
Colocando de outra forma f
g
(E)
() = g
f
E
. Provamos, entao, que para todo B
G
existe
c
(
G
) = , ou seja, c
G
e sobreje cao de Char(G) em H
B
G
.
Alem disso, sejam c
1
, c
2
Char(G) tal que c
1
(
G
) = c
2
(
G
) H
B
G
Entao
f
c
1
(
G
) = f
c
2
(
G
) = c
1
(f
G
) = c
2
(f
G
)
Portanto, como qualquer que seja E Vect
G
M existe f : M B
q
tal que f
G
= E
obtemos que c
1
(E) = c
2
(E) para todo E Vect
G
. Ou seja, c
1
= c
2
.
Apesar de ter grande importancia conceitual e de ser indiscutivelmente uma bela con-
stru cao teorica, esta descri cao de classes caracter
isticas.
N umeros caracter
isticos
sao nulos, o que nos fornece uma boa maneira de testar nao trivialidade. Estudemos agora
um caso particular de classes caracter
isticas.
94
Chern Classes
As classes de Chern fornecem um teste siples de vericar se dois brados vetoriais sobre a
mesma base nao sao isomorfos (nada garante que se tiverem a mesma forma de Chern serao
isomorfos).
E muitas vezes importante contar quantas se coes linearmente independentes
um brado vetorial possu
isticas) concerne os zeros necessarios de uma se cao (nao nula) de um brado vetorial, ou
obstru coes para a constru cao de certas se coes
7
. Daremos a seguir um tratamento informal e
pouco algebrico de formas de Chern, em acordo com o resto da se cao. Para um tratamento
mais formalizado indicamos [9].
Uma propriedade interessante do operador tr que necessitaremos agora, e que se e uma
p-forma a valores em End(E), utilizando a derivada covariante exterior D, por (1.117):
D = d + (1)
p
portanto em coordenadas temos =
i
j
e
i
e
j
onde
i
j
e uma p-forma,
D = d
i
j
e
j
e
i
+
k
i
i
j
e
j
e
k
(1)
p
j
i
i
k
e
k
e
j
e portanto
tr(D) = d(tr) +
j
i
i
j
(1)
p
j
i
i
j
= d(tr) (3.15)
Voltamos ao fato que o funcional de Yang-Mills
Y M(D) :=
D
,
D
)) =
1
2
_
M
tr(
D
D
)
so depende da metrica atraves de . Nos poder
E claro que se =
+
entao = e nos temos que entao Y M(D) = S
4
(D).
E
interessante notar que nossa nova a cao esta intimamente relacionada com dualidade e com
a teoria de Yang-Mills.
Comecemos calculando os pontos cr
iticos de S
4
. Seja
D = D+t onde (
1
(TM)
Ad(E)). Entao, como sabemos
D+t
=
D
+ tD + t
2
, portanto
d
dt|
t=0
D+t
D+t
= 2(
D
D)
S
4
(D) = 2
_
M
tr(
D
D) = 2
_
M
tr(D
D
) = 0
7
Um exemplo de tais obstru c oes que podem surgir e dado pelo teorema da bola peluda, que nos diz ser
imposs
itico de S
4
!
Ainda assim, vamos prosseguir mais um pouco nessa linha e generalizar:
S
2n
(D) =
_
M
tr
n
onde M
2n
e
n
=
. .
n
. Tomando a varia cao, obtemos, empregando (3.15):
d
dt|
t=0
n
D+t
= n(
n1
D
D) = nD(
n1
) (3.19)
tr
d
dt|
t=0
n
D+t
= nd(tr(
n1
D
)) (3.20)
Logo:
S
2n
(D) =
_
M
tr(
d
dt|
t=0
n
D+t
) = n
_
M
tr(
n1
D
D) = n
_
M
dtr(
n1
D
) = 0 (3.21)
Chamamos tr
n
a n-esima forma de Chern.
Ainda por (3.15), obtivemos que d(tr
n
D
) = tr(D
n
D
) = 0. Portanto as formas de Chern
sao fechadas. Isso signica que a k-esima forma de Chern dene uma classe de cohomologia,
em H
2k
(M). Agora, a forma de Chern realmente depende da conexao , mas sua classe de
cohomologia nao, isto e, se mudarmos a conexao , a forma de Chern se desloca por uma
forma exata. Para ver esse resultado, tomemos
= + e
s
= + s, entao nos temos
(utilizando (3.20)):
tr(
k
) tr(
k
) =
_
1
0
d
ds
tr(
k
s
)ds = k
_
1
0
dtr(
k1
s
)ds = kd
_
1
0
tr(
k1
s
)ds
que e, portanto, exata.
8
Lembramos que M e uma variedade sem bordo.
96
Utilizando o Teo. 26, outra forma de percebermos que a forma de Chern so depende da
classe de homotopia de M, isto e, que duas formas de Chern diferem por uma forma exata
(estao na mesma classe de cohomologia) (Milnor):
Dadas duas conexoes
0
e
1
em E, nos usamos pr
1
: M I M para traze-las para
E I, chamando pr
1
=
1
e pr
0
=
0
. Agora nos constru
imos em E I a conexao
= (pr
2
)(
1
) + (1 pr
2
)(
0
)
onde a fun cao pr
2
: M I R e a proje cao M I I R. Agora seja
t
: M M I
x (x, t)
Entao
t
(E I) = E e portanto
=
0
e
=
1
.
tr(
t
) = tr(
D
) =
t
tr(
D
) entao
tr(
0
) =
0
(tr(
D
)) e tr(
1
) =
1
tr(
D
)
Onde utilizamos que f
tr() = tr(f
e
i
= e
i
e base de (f
D
) por dois
mapas diferentes mas homotopicos, logo
0
(
D
)
1
(
D
) isto e, sao co-homologas.
Logo podemos denir a k-esima classe de Chern c
k
(E) do brado vetorial E sobre
M como a classe de cohomologia de tr(
k
), onde e a forma de curvatura de qualquer
forma de curvatura em E. Estes invariantes sao ferramentas importantes na classica cao de
brados vetoriais. Utilizando uma deni cao de carater mais topologico para as formas de
Chern e poss
iamos adicionar `a cita cao de Born que nao so sao as teorias antigas inclusas nas novas
teorias, sendo a ciencia uma forma progressiva de conhecimento, mas que sao elas muitas
vezes a pedra fundamental na compreensao da teoria mais evolu
B = 0 (4.1)
E +
B
t
= 0 (4.2)
E = (4.3)
E
t
= (4.4)
A semelhan ca entre as equa coes (4.1), (4.2) `as equa coes (4.3), (4.4) respectivamente, e in-
trigante. No entanto ha uma disparidade: o operador divergente em R
3
e associado a um
operador diferencial de primeira ordem sobre 2-formas, enquanto o operador rotacional atua
sobre 1-formas, mas queremos aplicar ambos sobre
E e
B. Com um aux
ilio do operador
estrela de Hodge podemos transformar um no outro, quem sabe estabelecendo uma rela cao
entre o primeiro par de equa coes e o segundo.
Na relatividade, M e uma variedade suave lorentziana, i.e.: equipada com um produto bi-
linear simetrico nao-degenerado, mas que nao e positivo denido, tem assinatura (3, 1). Para
facilitar a nota cao, vamos considerar o caso de uma metrica de Minkowski
2
, que chameremos
de .
Comecemos analisando as equa coes (4.1) e (4.2). Para escrever o campo eletrico como
uma 1-forma, precisamos compatibilizar grandezas vetoriais, usualmente utilizadas no eletro-
magnetismo, com a descri cao em formas que estamos perseguindo. Para isso basta usar o
operador (denido na Sec.1.3). No entanto, como estamos na metrica de Minkowski, isso
simplesmente signica fazermos
i
= dx
i
. E portanto tomamos E =
E
. Para o campo
magnetico, que queremos encarar como uma 2-forma
3
, faremos B =
S
(
), onde
S
e o
operador de Hodge restrito ao subespa co puramente espacial (com a metrica euclidiana).
E
facil ver que
(v)
=
S
d
S
(v)
e ( v)
=
S
(d
S
(
S
(v)
)) (4.5)
A forma natural de produzirmos uma 2-forma a partir de E (sem utilizar ) seria tomar Edt,
e agora unimos os dois em uma unica 2-forma chamada de campo eletromagnetico:
F = B + E dt =
S
(
) + (
E)
dt (4.6)
E agora, separando a diferencial exterior em sua parte espacial (que opera com diferen-
cia cao so nos
indices espaciais) e sua parte temporal, i.e.: d = d
S
+ d
t
temos
dF = dB + dE dt
= d
S
B +
t
B dt + (d
S
E +
t
E dt) dt
= d
S
B + (
t
B + d
S
E) dt
(4.7)
2
Na verdade, o Princ
iamos colocar os dois campos como 1-formas, deixando o opererador cuidar da ordem necessaria
`a aplica c ao da derivada exterior adequada, ao prosseguir por essa linha no entanto n ao encontramos equa c oes
de Yang-Mills, e as equa c oes se tornam menos elegantes.
99
Notemos que o primeiro termo da ultima expressao nao contem dt, logo os dois termos sao
linearmente independentes, portanto a equa cao dF = 0 equivale a:
d
S
B = 0 (4.8)
t
B + d
S
E = 0 (4.9)
E obtemos de (4.8) e 4.9), em uma forma comparavel `as equa coes (4.1) e (4.2):
(
B)vol
S
= 0
S
(
t
B)
+
S
(
E)
=
S
_
(
t
B +
E)
_
= 0
(4.10)
Portanto claramente equivalem a (4.1) e (4.2). Uma vantagem da linguagem de formas
diferenciais e sua generalidade. Podemos tomar nosso espa co-tempo como sendo qualquer
variedade M, denindo o campo eletromagnetico como uma 2-forma F em M, as primeiras
equa coes de Maxwell dizem simplesmente que
dF = 0
A nossa divisao de espa co-tempo em espa co e tempo e que foi de alguma forma arbitraria,
ja que raramente podemos tomar M = S R, onde S e uma variedade riemanniana de tres
dimensoes. Somente quando zermos uma tal separa cao (localmente) e que podemos falar
de campo elaetrico e campo magnetico, separadamente.
Utilizando a nao degenerescencia da metrica de Minkowski podemos denir o operador
de Hodge normalmente (lembramos que denimos por (1.38) uma metrica em
p
(V ) dada
uma metrica em V ). Nao e dif
p
= (1)
p(np)+s
.
E relativamente
facil perceber que (
S
(v
)) = v
dt, ja que, se o
S
leva v
dt) =
S
(v
). Obtemos entao:
(E dt) =
S
(
)
B = (
S
(
)) = (
B)
dt
F =
S
(
) + (
B)
dt
(4.11)
Ou seja, zemos a mudan ca
B e
B
E
Que e uma (de duas) das diferen cas entre as equa coes (4.1) , (4.2) `as (4.3) e (4.4). Escrevemos
(4.7) na forma
dF = d
S
B + (
t
B + d
S
E) dt = d
S
S
(
) + (
S
t
(
) + d
s
(
)) dt
Logo podemos escrever (utilizando que (A dt) =
S
A, e (
S
)
2
(
S
)
1
= 1 na passagem
da segunda para a terceira linha e
1
3
= 1 na passagem da primeira para a segunda):
d F = d
S
S
(
) + (
S
t
(
) d
s
(
)) dt
= (
E)vol
S
+
_
(
S
t
(
) d
s
(
)) dt)
_
=
_
(
E)dt
t
(
)
S
d
s
(
))
_
(4.12)
100
E obtemos entao que:
d F = (
E)dt
t
(
)
S
d
s
(
)) (4.13)
A outra diferen ca entre os dois pares de equa coes, e que as ultimas contem termos nao
homogeneos, a carga e a corrente. Mas carga e simplesmente a corrente que esta, em rela cao
ao nosso referencial, parada, i.e.: e um vetor sem proje c ao espacial, cuja unica componente
nao nula e a temporal. Escrevemos pois, tomando coordenadas x
3
=0
:
J =
0
+ j
1
1
+ j
2
2
+ j
3
3
E assim unimos a carga e a corrente em uma unica 1-forma
J = dx
0
+ j
i
dx
i
Agora, simplesmente aplicando em (4.13), e lembrando que (dx
0
)
=
0
, chegamos ao
outro par das equa coes:
d F = J (4.14)
Historicamente, foi Faraday que descobriu, em 1831, que um campo magnetico variando no
tempo induziria um rotacional nao-nulo no campo ele
B =
Simplesmente adicionando-se a ela um termo
E
t
= e tomando o divergente chegava-se `a
equa cao de continuidade
d
dt
= (4.15)
E interessante notar que Einstein fez uma generaliza cao muito parecida para chegar `a sua
equa cao:
R
= T
1
2
g
R = T
ida
5
que na nota cao de
indices
abstratos [15]e :
c
(R
cd
1
2
g
cd
R) = 0
Na verdade essa similaridade tem uma ra
A = gAg
1
+ gdg
1
= A+ gdg
1
logo se pudermos escrever g = e
f
para alguma fun cao a valores imaginarios f, nos recuper-
amos
A = A+ df
Claramente agora a curvatura e simplesmente o campo eletromagnetico e as equa coes de
Maxwell no vacuo sao as equa coes de Yang-Mills para G = U(1). Lembramos que se o
grupo nao for abeliano, a propria derivada exterior covariante envolve termos do potencial ,
deixando as equa coes de Yang-Mills nao lineares.
Ainda nao comentamos um assunto important
F = q(
E +v
B) (4.16)
6
Lembramos ainda que pela Prop 20 todo brado vetorial sobre uma variedade contratil e isomorfo a
uma variedade trivial, ou seja, todas as suas se c oes podem ser vistas como fun c oes, elementos de C
(U V )
onde V e a bra t
ipica.
102
no entanto, essa forma nao e abrangente o suciente para descrever o caso relativ
istico. Por
exemplo, levando o tempo em considera cao da equa coes de Euler-Lagrange deve emergir
tambem a energia da part
icula no campo.
Como denimos o campo eletromagnetico, nao seria a for cesultante simplesmente a a cao
de F sobre uma dada part
icula.
Isto de fato se da,
7
e poss
icula de
carga q, por v
ds
= F
qv
= qF
= q (F(v))
icula.
Agora escrevendo os (co-)campos em coordenadas temos
B = B
x
dy dz + B
y
dz dx + B
z
dx dy (4.17)
E = E
x
dx + E
y
dy + E
z
dz (4.18)
Agora, por (4.6), temos:
F(v) = (B
x
dy dz + B
y
dz dx + B
z
dx dy + E
x
dx dt + E
y
dy dt + E
z
dz dt)(v)
Escrevendo v coordenadas, nao e dif
nos
da exatamente a equa cao de Lorentz, e que sua parte temporal nos fornece qE
i
v
i
= qE(v)
que e produto da velocidade pela for ca que o campo eletrico exerce na part
icula, ou seja, a
potencia inserida na part
icula pelo campo. Terminamos essa se cao com uma deni cao que
sera ampliada para Kaluza-Klein na proxima se cao.
Denition 22 A co-forca de Lorentz sobre uma part
3
=0
, onde como sempre,
indices romanos signicam somente os campos
espaciais.
103
dimensoes espaciais, e juntas perderam seu carater absoluto, rig
iculas
realmente percorreriam todas essas dimensoes, sendo que o eletromagnetismo emergiria da
proje cao em nosso espa co-tempo quadri-dimensional dessa dinamica em 5 dimensoes.
Muito anos mais tarde, generaliza coes de Kaluza-Klein para grupos de dimenseos maiores
deram luz `a supergravidade, e ainda depois, como argumenta M.J. Du [19], a revitaliza cao
da teoria de supercordas deveu mais a supergravidade de Kaluza-Klein do que ao modelo de
ressonancia dual, ao contrario do que revisoes historicas normalmente comentam. Faremos
um tratamento matematico de um caso mais geral do que Kaluza-Klein original, considerando
um brado principal com grupo estrutural arbitrario .
Mathematical Foundations
Ao longo desta se cao, P sera umG-brado principal sobre M, variedade (pseudo)riemanniana
m-dimensional. X
i
m
i=1
sera um referencial ortonormal sobre um aberto M e
i
m
i=1
seu co-referencial. Novamente G denota um grupo de Lie compacto k dimensional, g sua
algebra de Lie dotada de produto interno Ad-invariante (K), como mencionado na Sec 2.3
e explicitado na Sec. 3.1. O dotaremos de base e
n
=m+1
(onde m + k = n) e base dual
para g
, e
n
=m+1
. De uma forma geral os
indices latinos variam de 1 a m, e os gregos de
m+ 1 a n. Denotaremos ainda C
as constantes estruturais de g:
[e
, e
] = C
E claro que C
= C
)e
= [e
, e
] nos obtemos
tambem que C
= C
. Dada uma metrica h em M, e uma conexao H (associada a
forma ) em P, lembramos que, por (2.48) podemos induzir uma unica metrica em P
G-invariante, tal que a decomposi cao TP = H V seja ortogonal, que d[
H
seja isometria,
e que o produto interno de vetores verticais seja K:
=
h + K
8
Segundo o legend ario Lev Landau [14],[a teoria da relatividade geral] representa provavelmente a mais
bela de todas as teorias f
isicas existentes.
104
Para facilitar a nota cao, denotaremos como e
i
a 1-forma sobre TP dada por
i
(note que
os
indices sao latinos, nao gregos) i.e.:
i
e
i
, e identicaremos tambem e
,
obtendo uma 1-forma em V. Portanto, deixando as letras latinas ma
n
A=1
e um co-referencial em P. Denotamos o referencial dual
a e
A
n
A=1
pela metrica de P por e
A
n
A=1
.
E facil ver que d(e
i
) = X
i
. Nos temos tambem
que e
A
n
A=1
e de fato um co-referencial, ja que e
) =
i
(d(e
)) = 0 = (e
i
, e
) = e
(e
i
)
Portanto obtemos um pouco mais, que e um referencial ortonormal, e como H e o subbrado
ortogonal a V, nos temos que
span
_
e
n
=m+1
= V[
e span [e
i
m
i=1
] = H[
Terminada essa parte preliminar, o nosso objetivo sera calcular a conexao de Levi-Civita
em P, a unica compat
i, descobriremos fatos
surpreendentes ligados `a P e sua rela cao com M. Devemos, em alguns momentos, tentar
pensar em P mais como uma variedade riemanniana do que como um brado principal.
Seja (
2
(TP
(
2
(H
)):
:=
onde
= e
([e
i
e
i
, e
j
e
j
]). Ou podemos tomar a descri cao ainda mais desmembrada,
denindo fun coes reais F
ij
:
(
1
2
F
ij
e
j
e
i
) e
:= (
) e
(4.20)
Estamos cando sem letras para denotar todos os objetos que queremos, entao vamos de-
notar a forma de conexao riemanniana, de Levi-Civita
9
para P, relativa ao referencial que
constru
imos e
A
, como
A
B
. Ou seja
e
B
=
A
B
e
A
ou equivalentemente d(e
A
) =
A
B
e
B
Sendo de Levi-Civita, temos que
A
B
=
B
A
. Como = e
) e
B
e
B
e
(4.21)
E portanto, por (4.19):
=
i
e
i
e
(4.22)
9
Que n ao deve ser confundida com a forma de conex ao de P como brado principal, por exemplo, aqui
(
1
(TP
i
e
i
=
1
2
F
ij
e
j
e
i
(4.23)
Denotando por
i
j
a forma de conexao em M relativas ao referencial X
i
= d(e
i
).
Chamaremos o pull-back de
i
j
de
i
j
:=
i
j
. Nos temos que
d
i
=
i
j
j
(4.24)
Aplicando
i
) =
d(
i
) =
(
i
j
j
)
=
i
j
e
j
=
i
B
e
B
=
i
j
e
j
+
i
(4.25)
Nos temos ainda, escrevendo explicitamente d = :
(
B
e
B
) e
= (
1
2
F
ij
e
j
e
i
) e
1
2
e
[e
, e
B
e
B
=
1
2
F
ij
e
j
e
i
1
2
C
i
e
i
mas por (4.23):
i
e
i
=
1
2
F
ij
e
j
e
i
=
1
2
C
(4.26)
Agora, as contas ja estao maduras o suciente para introduzirmos os analogos dos s
imbolos
de Christoel, denindo:
A
BC
:=
A
B
(e
C
) =
A
B
=
A
BC
e
C
Introduzindo nas duas ultimas equa coes de (4.26), como temos uma base completa de 2-
formas, obtemos sem maiores esfor cos que
ij
e
j
e
i
=
1
2
F
ij
e
j
e
i
portanto
i
= 0 =
i
e nalmente
i
=
1
2
F
ij
e
j
(4.27)
Da mesma forma obtemos que
i
= 0 e
=
1
2
C
(4.28)
106
Substituindo (4.27) em (4.25) obtemos:
i
j
e
j
=
i
j
e
j
+
1
2
ij
e
j
e
i
j
e
j
1
2
ij
e
e
j
(4.29)
e estamos prontos para enunciar o primeiro resultado obtido:
Proposition 27
_
_
i
j
=
i
j
1
2
ij
e
i
=
1
2
F
ij
e
j
=
1
2
C
(4.30)
Agora, suponhamos que : I P seja uma geodesica e sua proje cao em M. Denimos
uma fun cao q : I g chamada de carga espec
iculas sempre percorrem geodesicas, pois nao estamos considerando for cas nao inclusas
em nossa geometria (i.e.: for cas externas).
Ja que = e
)e
ica q(t) = (
(t)) e constante,
basta mostrar entao que
(t), e
) = cte
Mas a metrica que escolhemos para P e invariante pela a cao de G, entao como e
sao os
campos tangentes `a orbita do grupo, eles sao campos de Killing. Logo a constancia de
(t), e
(t) independe de t.
Dem: Necessitaremos da primeira formula da varia cao:
Seja : I N uma curva suave e
F : [, ] I N
(s, t) F(s, t)
uma varia cao de , i.e.: tal que F(0, t) = (t) exatamente como constru
s|(s
0
,t
0
)
:= F
d
ds|(s
0
,t
0
)
;
t |(s
0
,t
0
)
:= F
d
dt|(s
0
,t
0
)
(4.31)
107
Como nao temos torsao, e s, t sao coordenadas,
D
ds
t
=
D
dt
s
Para um dado s temos:
E(F(s, t)) =
_
b
a
t |(s,t)
,
t |(s,t)
)dt
Entao, temos
1
2
d
ds
E(F(s, t)) =
1
2
d
ds
_
b
a
t |(s,t)
,
t |(s,t)
)dt =
_
b
a
D
ds
t |(s,t)
,
t |(s,t)
)dt
=
_
b
a
D
dt
s|(s,t)
,
t |(s,t)
)dt =
s|(s,t)
,
t |(s,t)
)
b
a
_
b
a
s|(s,t)
,
D
dt
t |(s,t)
)dt
Em particular,
1
2
d
ds
E(F(s, t))[
s=0
=
s|(0,t)
,
(t))
b
a
_
b
a
s|(0,t)
,
D
dt
(t))dt
Se e geodesica entao:
1
2
d
ds
E(F(s, t))[
s=0
=
s|(0,t)
,
(t))
b
a
Agora suponhamos que
s
seja o subgrupo a 1-parametro de isometrias gerado por X,
fazemos entao
F(s, t) =
s
((t))
Agora
F
d
dt|(s,t)
= (
s
)
(t)) =
t |(s,t)
e como
s
e isometria:
(
s
)
(t)), (
s
)
s|(0,t)
,
(t))[
b
=
s|(0,t)
,
(t))[
a
para todo [a, b] I. Ou seja, o produto interno de X com
(t) independe de t.
Uma forma mais direta de obtermos este resultado seria assumindo que um campo de
Killing X obedece, para quaisquer campos Y e Z :
Y
X, Z) +
Z
X, Y ) = 0
108
e portanto como e geodesica
d
dt
X,
(t)) =
(t)
X,
(t)) = 0
nos zemos a primeira prova porque a consideramos mais geometrica, menos algebrica (alem
do que, simultaneamente mostra que X
[ sao campos de
Jacobi, o que pode vir a ser util).
Agora denimos um funcional linear sobre a proje cao da nossa curva (t) = ((t), ou
seja, sobre T
(t)
M, da seguinte forma
Denition 23 A co-forca de Lorentz, ((t)) e denida por:
((t)) : T
(t)
M R
v K
_
(t)
_
v,
H(
(t))
_
, (
(t))
_
onde K e o produto interno em g, v e o levantamento horizontal de v e
H e a projecao no
subbrado horizontal.
Notemos que
(t)
_
v,
H(
(t))
_
=
(t)
( v,
(t))
Notemos ainda que esta expressao ca um pouco mais complicada devido ao uso do levan-
tamento horizontal do vetor v, que e necessario ja que queremos ver os efeitos em M e nao
em P. Se den
iamos simplesmente
(t)
(X,
(t)).
Agora lembramos que provamos que a carga espec
(t)) = (
(t)) q
e uma 1-forma, equivalente a co-forca de Lorentz, que nos fornece tambem a dire cao com
que o campo eletromagnetico atua sobre a part
(t) = u
i
e
i
+ q
onde claramente
11
q
= (
(t)) = q e (t) = u
i
X
i
Agora, por (4.20), =
1
2
F
ij
e
i
e
j
e
, portanto, como e
(t)) q =
1
2
ij
u
i
q
e
j
(4.32)
((
(t)) q)
=
1
2
,j
F
ij
u
i
q
e
j
(4.33)
E cuja proje cao corresponde a
F(
(t)) q =
1
2
,j
F
ij
u
i
q
X
j
De fato, qualquer que seja v T
(t)
M, v = v
i
X
i
, e portanto v = v
i
e
i
e nos temos que
tanto faz aplicarmos a for ca de Lorentz como denida em M, o que chamamos de F, ou no
levantamento horizontal, em P (alem disso e claro que, como as bases sao duais pela metrica,
as ccomponentes da descri cao como formas ou como campos s ao as mesmas).
(t)
dt
=
P
(t)
(t) e compara-la a
D
(t)
dt
=
M
(t)
(t)
Escrevendo
(t) = u
i
e
i
+ q
(t)
(t) = u
j
P
e
j
(u
i
e
i
+ q
) + q
P
e
(u
i
e
i
+ q
)
= u
j
_
du
i
(e
j
)e
i
+ u
i
A
i
(e
j
)e
A
_
+ u
j
q
(e
j
)e
A
+ q
u
i
A
i
(e
)e
A
+ q
(e
)e
A
e
i
(
P
(t)
(t)) = u
j
du
i
(e
j
) + u
j
u
k
i
k
(e
j
) + u
j
q
(e
j
) + u
j
q
i
j
(e
) + q
(e
)
Agora utilizando (4.30), e a anti-simetria de
B
A
temos que
u
j
u
k
i
k
(e
j
) = u
j
u
k
i
k
(e
j
)
u
j
q
(e
j
) =
1
2
u
j
q
ij
u
j
q
i
j
(e
) =
1
2
u
j
q
ij
q
(e
) = 0
12
Note que n ao sao necessariamente campos coordenados, ent ao deve-se resistir ao h abito de usar este
termo ao longo dessa se c ao. Utilizaremos fortemente a nota c ao de soma de Einstein, muitas vezes mudando
(t)
(t)) =
_
u
j
du
i
(e
j
) + u
j
u
k
i
k
(e
j
)
_
u
j
q
ij
=
i
(
P
(t)
(t)) =
i
_
u
j
du
i
(X
j
) + u
j
u
k
i
k
(X
j
)
_
u
j
q
ij
=
i
(u
j
M
X
j
(u
k
X
k
))
u
j
q
ij
=
i
(
M
(t)
(t))
u
j
q
ij
Este resultado signica que habitantes de M que nao soubessem da existencia de outras
dimensoes, nao saberiam que na verdade as geodesicas que percorrem estao em um espa co
com maior dimensionalidade. Encontrariam certas caracter
iculas deveriam percorrer segundo suas inercias (geodesicas), era proporcional a essas
cargas de uma maneira espec
,i,j
(F
ij
)
2
que tambem e fun cao escalar em M. Acharemos uma rela cao entre a curvatura do espa co
total,
P
R, a do espa co base,
M
R, a do grupo,
G
R, e a do campo eletromagnetico ||.
Theorem 31 A relacao entre as curvaturas escalares e dada por
13
:
P
R =
M
R
1
2
||
2
+
G
R
13
Notemos que mudamos livremente
indices para cima e para baixo, ou seja, n ao mantemos a lei de
conserva c ao dos
indices. Isso ocorre porque estamos em um referencial ortonormal, cujo dual e feito tambem
pela metrica, ou seja , e
A
) = e
A
, onde obviamente violamos a conserva c ao.
111
Dem: Nos sabemos que
P
(e
A
, e
B
)e
C
=
P
R
D
ABC
e
D
ou ainda
P
R
ABCD
=
P
(e
A
, e
B
)e
C
, e
D
)
onde
P
= d + (
2
(TP) End(TP)) , e que, a exemplo das conexoes e , nao
deve ser confundida com . Agora vejamos:
P
R : =
A,B
P
R
ABAB
=
A,B
P
(e
A
, e
B
)e
A
, e
B
)
=
A,B
d (e
A
, e
B
)e
A
, e
B
) +( (e
A
, e
B
))e
A
, e
B
)
Primeiramente
14
, escrevemos =
C
D
e
C
e
C
, portanto d = (d
C
D
)e
D
e
C
assim
15
temos
d (e
A
, e
B
)e
A
, e
B
) = (d
C
D
)(e
A
, e
B
)e
D
(e
A
)e
C
, e
B
) = (d
B
A
)(e
A
, e
B
) (4.34)
Similarmente =
C
D
E
F
e
C
e
D
(e
E
) e
F
=
C
D
D
F
e
C
e
F
, assim como explicitado
em (1.30). Claramente
( (e
A
, e
B
))e
A
, e
B
) =
B
D
D
A
(e
A
, e
B
) (4.35)
Antes de mais nada, armamos que a curvatura de G, equipado com metrica bi-invariante
e
1
4
C
. Um caminho das pedras para a demonstra cao, e, assumindo que quando temos
uma metrica bi-invariante em G vale
G
X
Y =
1
2
[X, Y ], encontrar
G
R(X, Y )Z =
1
4
[[X.Y ], Z]
e da
i segue que
G
R =
1
4
[e
, e
], [e
, e
indices espaciais,
nos obtemos a equa cao analoga para M:
j
k
k
i
(e
i
, e
j
) =
j
k
k
i
(e
i
, e
j
) =
j
k
(X
i
)
k
i
(X
j
)
j
k
(X
j
)
k
i
(X
i
) (4.38)
Nos restaram da somatoria os termos para D grego, por (4.30), lembrando que F
ij
e anti-
simetrico em i, j:
j
i
(e
i
, e
j
) =
j
(e
i
)
i
(e
j
)
j
(e
j
)
i
(e
i
) (4.39)
=
j
(e
i
)
i
(e
j
) (4.40)
=
1
4
F
ij
F
ij
(4.41)
14
A partir de agora n ao colocaremos mais explicitamente o sinal da somatoria quando
indices se repetirem
`a mesma altura.
15
Note que a derivada exterior n ao se aplica em e
D
, isso ocorre porque a derivada exterior nesse caso, tem
um signicado espec
(e
, e
) =
(e
(e
(e
(e
) (4.42)
=
(e
(e
) =
1
4
C
(4.43)
=
1
4
C
(4.44)
Para D espacial, e facil vericar que :
i
i
(e
, e
) = 0 (4.45)
Para A espacial B, D gregos temos
i
(e
i
, e
) =
(e
i
)
i
(e
(e
i
(e
i
) (4.46)
=
(e
i
(e
i
) = 0 (4.47)
Pela anti-simetria de C
j
j
i
(e
i
, e
) =
j
(e
i
)
j
i
(e
j
(e
)
j
i
(e
i
) =
1
4
F
ij
F
ij
(4.48)
Agora, seguindo para a equa cao (4.37). Para A, B gregos temos:
d
(e
, e
) = e
(e
)] e
(e
)]
([e
, e
]) (4.49)
=
([e
, e
]) = C
(e
) (4.50)
=
1
2
C
(4.51)
Onde utilizamos a constancia e a anti-simetria de C
i
(e
i
, e
) = d
_
1
2
F
ij
e
j
_
(e
i
, e
) =
1
2
_
dF
ij
e
j
+ F
ij
de
j
_
(e
i
, e
) (4.52)
=
1
2
dF
ii
(e
) +
1
2
F
ij
_
j
A
e
A
(e
i
, e
)
_
(4.53)
=
1
2
F
ij
_
j
(e
i
)
j
i
(e
)
_
(4.54)
=
1
2
F
ij
F
ij
(4.55)
Onde utilizamos anti-simetria para vermos que dF
ii
= 0.
Finalmente, para os bravos que conseguiram suportar essa innitude de contas, chegamos
113
ao caso nal: A, B espacial.
d
i
j
(e
j
, e
i
) = d
_
i
j
1
2
F
ij
e
_
(e
j
, e
i
) (4.56)
=
_
d
i
j
1
2
dF
ij
e
1
2
F
ij
de
_
(e
i
, e
j
) (4.57)
= d
i
j
(e
i
, e
j
)
1
2
F
ij
_
A
(e
i
)e
A
(e
j
)
A
(e
j
)e
A
(e
i
)
_
(4.58)
= d
i
j
(e
i
, e
j
)
1
2
F
ij
_
j
(e
i
)
i
(e
j
)
_
(4.59)
= d
i
j
(e
i
, e
j
) +
1
2
F
ij
F
ij
(4.60)
Agora, somando (4.55) a (4.60) obtemos d
i
j
(e
i
, e
j
) que somado a (4.38) nos fornece justa-
mente
M
R. Agora, somando (4.44) a (4.51) obtemos
G
R, e nalmente, somando (4.41) a
(4.48) obtemos
1
2
||
2
.
Agora, como vimos na deriva cao da equa cao (2.48), ha uma bije cao entre as metricas de
brado (bundle metrics) para P e (h, ) onde h e metrica de M e e forma de conexao em
P. Logo, ao inves de variarmos o funcional de a cao em rela cao a metrica, podemos tomar a
varia cao independente de h e . Entao temos :
S() = S(h, ) =
_
P
P
Rvol
P
=
_
M
_
M
R
1
2
, ) +
G
R
_
vol
M
Lembramos que metrica H entra sorrateiramente em , ) atraves do operador de Hodge.
E poss
ij
vol
M
(4.61)
onde T
ij
e o tensor de energia momento relativo ao campo de Yang-Mills. Claramente (4.61)
resulta na equa cao de Einstein tendo o campo de Yang-Mills como fonte. A demonstra cao
de (4.61) em si envolve longos e tediosos calculos e pode ser encontrada em qualquer bom
livro de relatividade geral, por exemplo [15] e [8], ou como mencionamos, em [23] de forma
mais completa. A varia cao em rela cao a , como somente o termo , ) depende de , ja
foi calculada em (3.6) e fornece justamente a equa cao de Yang-Mills:
D
= 0
Portanto obtivemos que os campos obedecem as equa coes corretas para ambos a relativi-
dade geral e campos de Yang-Mills, ou seja, obtivemos toda a dinamica resultante das duas
teorias a partir de uma metrica de brado em P. Dessa forma, e poss