Dissertação - Diego - Versão Final

Universidade Federal do Esprito Santo
Centro de Ciencias Exatas

Programa de P os Graduacao em Matem atica
Dissertacao de Mestrado em Matem atica
Teoria de Calibre e Geometria via Conexoes
de Cartan-Ehresmann
Diego Henrique Carvalho dos Santos
Dezembro/2012
Universidade Federal do Esprito Santo
Centro de Ciencias Exatas
Programa de P os Graduacao em Matem atica
Teoria de Calibre e Geometria via Conexoes
de Cartan-Ehresmann
Diego Henrique Carvalho dos Santos
Dissertac ao apresentada ao Programa de P os
Gradua cao em Matem atica da Universidade
Federal do Esprito Santo como requisito par-
cial à obtencao do grau de Mestre em Mate-
m atica.
Orientador: Leonardo Meireles Camara
Coorientador: Magno Branco Alves
Dezembro/2012
Resumo
O objetivo deste trabalho e apresentar como se da a correspondencia entre teoria de cali-
bre e conex oes em espa cos brados. Mais precisamente estabelecemos um dicion ario entre
a teoria de calibre da mec anica quantica de uma partcula carregada sujeita a um campo
eletromagnetico e o estudo das conexoes em brados por crculos e por retas complexas.
Em seguida, analisamos dois objetos de estudo em fsica utilizando o conhecimento ad-
quirido no estudo da geometria de espacos brados. As classes de Chern e a holonomia de
uma conexao nos fornecerao uma visualizac ao geometrica de, respectivamente, monopolos
magneticos e o efeito Aharonov-Bohm.
Palavras Chave: Espacos brados, Conexoes, Classes de Chern, Teoria de calibre,
Monopolos magneticos, efeito Aharonov-Bohm.
i
Abstract
The aim of this work is to present how works the correspondence between the gauge
theory and connections in ber bundles. More precisely establishing a dictionary between
gauge theory of the quantum mechanics of a charged particle under the inuence of an
electromagnetic eld and the studies of connections in circle bundles and line bundles.
Then, we analyzed two objects of studies in physics using the knowledge acquired in
the study of the geometry of ber bundles. The Chern classes and the holonomy of a
connection will provide a geometrical visualization of, respectively, magnetic monopoles
and the Aharonov-Bohm eect.
Key Words: Fiber bundles, Connections, Chern classes, Gauge theory, Magnetic
monopoles, Aharonov-Bohm eect.
iii
Sumario
Introducao 1
1 Teoria de campos: Eletromagnetismo 3
1.1 Vetores e o eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 As equac oes de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Potenciais de calibre . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3 Potenciais de calibre do monopolo e do solenoide . . . . . . . . . . 8
1.1.4 Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Tensores e o eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1 Tensores e pseudometricas . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.2 Uma breve digress ao sobre a relatividade restrita de Poincare e Eins-
tein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.2.3 O tensor eletromagnetico e as equacoes de Maxwell . . . . . . . . . 23
1.2.4 Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.3 Formas diferenciais e o eletromagnetismo . . . . . . . . . . . . . . . . . . . 27
1.3.1 Propriedade elementares das formas diferenciais . . . . . . . . . . . 27
1.3.2 O operador de Hodge e a codiferencial . . . . . . . . . . . . . . . 29
1.3.3 A forma eletromagnetica e as equacoes de Maxwell . . . . . . . . . 35
1.3.4 O solenoide e o monopolo em formas diferenciais . . . . . . . . . . . 38
1.3.5 Resumo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.4 Elementos de teorias cl assicas de campos . . . . . . . . . . . . . . . . . . . 41
1.4.1 Um breve hist orico . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.4.2 O formalismo lagrangeano . . . . . . . . . . . . . . . . . . . . . . . 42
1.4.3 Alguns exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.4.4 Simetrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
2 Conex oes em espacos brados 53
2.1 Fibrados em retas e brados em crculos . . . . . . . . . . . . . . . . . . . 53
2.1.1 A Fibrados em retas complexas . . . . . . . . . . . . . . . . . . 54
2.1.2 B Fibrados em crculos . . . . . . . . . . . . . . . . . . . . . . . 60
2.1.3 C Fibrados associados . . . . . . . . . . . . . . . . . . . . . . . 66
v
vi SUM
ARIO
2.2 Conex oes em brados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.2.1 A Conexoes em brados em retas complexas . . . . . . . . . . . 68
2.2.2 B Conex oes em brados por crculos . . . . . . . . . . . . . . . 76
2.2.3 C Conex oes em brados associados. . . . . . . . . . . . . . . . . 81
2.3 Formas de Chern e Classes de Chern . . . . . . . . . . . . . . . . . . . . . 82
3 Aplicac oes em teoria de calibre 91
3.1 Eletromagnetismo e teoria de Calibre . . . . . . . . . . . . . . . . . . . . . 91
3.1.1 Quantizac ao canonica: A regra de correspondencia . . . . . . . . . 91
3.1.2 Transformac oes locais e a equacao de Schrodinger modicada . . . . 94
3.1.3 Conexoes e derivadas de calibre . . . . . . . . . . . . . . . . . . . . 98
3.2 Monopolos magneticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
3.2.1 Revisitando o potencial de calibre do monopolo . . . . . . . . . . . 101
3.2.2 A quantizac ao (can onica) do sistema monopolo-carga . . . . . . . . 102
3.2.3 Geometrizando o sistema . . . . . . . . . . . . . . . . . . . . . . . . 104
3.3 Efeito Aharonov-Bohm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Conclusao 111
Introducao
Tullio Levi-Civita utilizando-se do calculo tensorial, desenvolvido por ele juntamente com
seu orientador Gregorio Ricci-Curbastro, estendeu a no cao de conexao originalmente de-
senvolvida por Elwin Bruno Christoel, objeto que se mostrou fundamental no entendi-
mento e estudo da geometria riemanniana. Mais tarde,

Elie Cartan percebendo que este
objeto era central, direcionou esforcos na tentativa de estender este conceito a outros am-
bientes alem da geometria riemanniana. Foi seu aluno, Charles Ehresmann, quem colocou
as ideias de Cartan numa forma unicada, para isto ele utilizou o emergente conceito de
espacos brados. Tal formalismo e conhecido como conex oes em espacos brados. O ad-
vento do calculo tensorial tambem possibilitou uma formulacao da teoria eletromagnetica
proposta por James Clerk Maxwell. Por algum tempo permaneceu a quest ao de que se
a teoria de Maxwell respondia por todos os fen omenos relacionados ` as forcas eletrica e
magnetica. A entao recem surgida mecanica quantica forneceu uma resposta negativa
para tal quest ao. De fato, existem fen omenos relacionados a estas for cas que n ao s ao
previstos nem explicados pela teoria de Maxwell.
Um ponto alto da teoria qu antica foi quando Hermann Weyl percebeu que a mec anica
quantica que descreve a interacao entre uma partcula carregada e um campo eletromag-
netico e completamente reobtida de uma teoria mais simples quando se imp oe um certo
princpio, a este ele chamou de princpio da invari ancia de calibre. A toda teoria desenvol-
vida de maneira similar chama-se hoje, em fsica teorica, de teoria de calibre. Foram Wu
e Yang que perceberam que os ambientes geometrico de conex oes em espacos brados e
fsico de teoria de calibre s ao na verdade diferentes descri coes de um mesmo objeto. Neste
sentido, o objetivo deste trabalho e apresentar como se da tal correspondencia, estabe-
lecendo assim um dicion ario entre geometria e fsica. Objetivando uma melhor did atica
e maior conforto do leitor, optamos por apresentar como tal correspondencia e dada nos
exemplos mais simples de cada lado. Em geometria, veremos brados em crculos e em
retas complexas, que s ao casos particulares de, respectivamente, brados principais e ve-
toriais. E em fsica, veremos a teoria de calibre da mec anica qu antica de uma partcula
sujeita a um campo eletromagnetico.
No captulo 1, com o intuito de estabelecer as notacoes e resultados necess arios ao longo
do texto, apresentamos diferentes formulac oes do eletromagnetismo, a saber: vetorial,
tensorial e exterior. A formulac ao tensorial, alem de ser mais consistente, nos permitir a
1
2 INTRODU C
AO
apresentar ao leitor algumas operac oes com tensores muito comuns nos cursos de fsica
porem nem tanto nos de matematica. A formulac ao exterior ser a conveniente para nossos
objetivos. Ainda neste captulo, aproveitamos a linguagem inserida e apresentamos ao
leitor conceitos b asicos de teorias fsicas de campos, que s ao essenciais para o estudo das
modernas teorias de calibre. No segundo captulo apresentaremos os objetos geometricos
em pauta, brados em crculos e em retas complexas e algumas de suas propriedades, bem
como suas conexoes e objetos delas provenientes. Ainda neste captulo apresentaremos
um conceito fundamental em nossa exposic ao, a classe de Chern, e o concluiremos com o
primeiro ponto alto do trabalho, um profundo teorema devido a Chern. Finalmente no
captulo 3, faremos uma exposic ao da referida teoria de calibre para em seguida apresentar
a prometida correspondencia entre geometria e fsica. Concluiremos o trabalho expondo
nosso segundo ponto alto, que e a apresentac ao de dois objetos de estudo em fsica e suas
identicac oes como objetos geometricos.
Assumimos do leitor, como pre-requisito, um conhecimento basico de variedades dife-
renci aveis que inclua, por exemplo, seus espacos tangente e cotangente, campos de vetores
e formas diferenciais sobre estas e ainda o teorema de Stokes. Alem disso uma familiari-
dade com elementos b asicos de geometria riemanniana ser a indispens avel para a leitura
das se coes 1.2 e 1.3 e ainda permitira uma melhor aprecia cao das se coes 2.2 e 2.3. Tam-
bem assumimos que o leitor j a teve algum contato, a nvel elementar, com a teoria cl assica
do eletromagnetismo. Para uma apresentac ao da teoria de variedades e de elementos b a-
sicos de geometria riemanniana indicamos [1], [37], [21], [14] e [32]. Para um contato
introdut orio com a teoria eletromagnetica recomendamos [25].
Captulo 1
Teoria de campos: Eletromagnetismo
Neste captulo apresentaremos o moderno estudo da teoria eletromagnetica em diferentes
formulacoes: vetorial, tensorial e exterior. Alem disso o faremos dentro do contexto mais
geral das teorias classicas de campos. Para isso utilizamos como referencias principais os
seguintes textos: [25], [17], [35], [24] e [3].
1.1 Vetores e o eletromagnetismo
Ao longo do texto consideraremos aplica coes sempre de classe C
, a menos de menc ao
contr aria. Nesta sec ao faremos uma breve apresentac ao dos conceitos basicos referentes à
teoria de Maxwell do eletromagnetismo, a saber: equacoes de Maxwell, forca de Lorentz,
potencias de calibre e transformacoes de calibre. A concluiremos com dois exemplos que
ser ao centrais para nossos objetivos futuros.
1.1.1 As equacoes de Maxwell
Em sntese, a teoria de Maxwell do eletromagnetismo pode ser descrita como o estudo
dos campos eletrico E(t, x) e magnetico B(t, x) denidos sobre um aberto R
3
e
que eventualmente dependem do tempo, i.e., aplicac oes E, B : R R
3
, estudando
como estes interagem entre si, como s ao inuenciados por uma corrente eletrica j(t, x) :
R R
3
e por uma densidade de carga (t, x) : R R e ainda como interagem
com uma partcula pontual carregada. Este ultimo e dado pela forca de Lorentz
F = ma = q(E + v B), (1.1)
3
4 CAP
ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

onde a = a(t) =
d
2
x(t)
dt
2
e a acelerac ao da partcula que percorre a trajetoria descrita por
x(t). As demais interac oes sao dadas pelas equac oes de Maxwell
B = 0 (1.2)
B
t
+E = 0 (1.3)
E =

0
(1.4)
E
t
c
2
B =
j
0
(1.5)
onde c e a velocidade da luz no vacuo e
0
e a permissividade eletrica do vacuo, duas
constantes fsicas.
Em geral consideram-se sistemas connados, ou seja, existe alguma superfcie com-
pacta S tal que j e se anulam identicamente em S U, onde U e a componente conexa
do innito de R
3
S. Neste caso as equa coes de Maxwell tem uma importante consequen-
cia garantida pela seguinte proposic ao.
Proposicao 1.1 A carga total Q, dada por
Q =
_
dx,
permanece constante ao longo do tempo t.
Demonstracao. Primeiramente veriquemos a validade da equacao
t
= j (1.6)
conhecida como equac ao de continuidade. Tomando o divergente de (1.5), temos
_
E
t
c
2
B
_
=
_
0
_
E
t
c
2
(B) =
_
0
_
E
t
0 =
_
0
_
e substituindo (1.4),
0
t
0 =
_
0
_
t
= j
1.1. VETORES E O ELETROMAGNETISMO 5
Derivando a carga total em rela cao ao tempo e ultilizando a equacao de continuidade,
encontramos
Q
t
=

t
__
dx
_
=
_
t
dx
=
_
jdx
(Teo.Gauss) =
_
S
j, n dA
onde a segunda igualdade segue pelo Teorema da Derivacao sob o Sinal da Integral e
a ultima igualdade segue pelo Teorema de Gauss da analise vetorial. Como j se anula
identicamente sobre S, temos que j, n 0. Logo,
Q
t
= 0.
Ou seja, a carga total e preservada, o que justica o nome da equacao (1.6).
1.1.2 Potenciais de calibre
Outro ponto importante desta teoria e que a equacao de Maxwell homogenea B = 0
e automaticamente satisfeita se B = A para algum campo A, pois (A) = 0.
Assumindo a existencia de tal campo e substituindo na segunda equac ao homogenea,
temos:
B
t
+E = 0
A
t
+E =
_
A
t
_
+E
=
_
A
t
+ E
_
= 0.
Tal equac ao e automaticamente satisfeita se
A
t
+E = para alguma func ao diferen-
ci avel , pois () = 0.
`
A primeira vista, a existencia de tais A e parecem um
tanto forcada, no entanto, veremos que suas existencias podem ser garantidas localmente.
Assim e natural que busquemos soluc oes para as equa coes de Maxwell da forma:
B = A (1.7)
E =
A
t
6 CAP

pois, nestas condicoes, as equacoes homogeneas s ao automaticamente satisfeitas. Eviden-
temente, n ao basta encontrar um campo de vetores A e uma func ao diferenci avel , pois
ainda temos outras duas equac oes de Maxwell a serem satisfeitas. Por isto, o seguinte
resultado e necess ario.
Lema 1.2 Para que um par A e seja solucao das equacoes de Maxwell atraves de (1.7),
estes devem satisfazer

1
c
2
t
2
=

t
_
A +
1
c
2
t
_
(1.8)
A
1
c
2
2
A
t
2
=
1
c
2
j
0
+
_
A +
1
c
2
t
_
(1.9)
Demonstracao. Basta substituir (1.7) primeiramente em (1.4) e assim
0
= E
=
_

A
t
_
=
( A)
t
.
Subtraindo
1
c
2
t
2
dos dois lados e rearranjando os termos, encontramos

1
c
2
t
2
=

t
_
A +
1
c
2
t
_
.
Substituindo agora em (1.5), obtemos
0
=
E
t
c
2
B
=
_

A
t
_
t
c
2
(A)
=
_

A
t
_
t
c
2
(( A) A)
=
_
t
_

2
A
t
2
c
2
(( A) A) .
Por m, multiplicando ambos lados por
1
c
2
e rearranjando os termos, temos
A
1
c
2
2
A
t
2
=
1
c
2
j
0
+
_
A +
1
c
2
t
_
.
Assim passamos do problema de resolver as quatro equac oes (1.2) - (1.5) para o de
resolver as duas em (1.8), (1.9). O seguinte resultado e de grande relev ancia na teoria de
Maxwell, pois garante que tais soluc oes n ao s ao unicas.
Lema 1.3 Se o par A e e solucao para as equacoes de Maxwell, entao para qualquer
funcao diferenciavel , a transformacao

=

t
(1.10)
A A
= A +
produz novas solucoes.
Demonstracao. De fato, basta vericar que tal transformac ao nao altera os campos E
e B, o que e uma conta simples substituindo (1.10) em (1.7).
A invari ancia garantida pelo resultado anterior foi logo percebida historicamente e se
mostrou uma poderosa ferramenta para se resolver as equac oes diferenciais provenientes
da teoria de Maxwell, como vemos no
Exemplo 1.4 Dada uma solucao (A
), podemos encontrar uma solucao (A, ) tal que

A +
1
c
2
t
= 0, pois basta escolher, caso exista, (t, x) tal que

1
c
2
t
2
= A
1
c
2
t
,
que e o que se chama de uma equac ao da onda com fonte. Entao
A +
1
c
2
t
= (A
+) +
1
c
2

t
_
t
= A
+ +
1
c
2
t

1
c
2
t
2
=
_
A
+
1
c
2
t
_
+
_

1
c
2
t
2
_
=
_
A
+
1
c
2
t
_
+
_
A
1
c
2
t
_
= 0
e neste caso as equacoes (1.8) e (1.9) se reduzem a

1
c
2
t
2
=
0
A
1
c
2
2
A
t
2
=
1
c
2
j
0
que sao equacoes de onda com fonte, porem mais simples de serem resolvidas do que
(1.8) e (1.9). Observamos ainda que existem consideracoes adicionais em termos de
condicoes de fronteira, elas estao ligadas ao fato de que a propria escolha do tem a
seguinte invariancia:
= +, onde (t, x) e qualquer solucao da equacao de onda

homogenea (sem fonte)
1
c
2
t
2
= 0, mas tais consideracoes sao irrelevantes agora.
8 CAP

Em fsica, o par (, A) e chamado de potencial de calibre e (1.10) de transformacao
de calibre. Mais adiante conheceremos a motivacao dessa nomenclatura e por que a in-
vari ancia por transformac oes de calibre e considerada o princpio fundamental da teoria
eletromagnetica. A escolha de A e dada no exemplo anterior e chamada de calibre de
Lorentz. Naturalmente se apresenta a seguinte questao: Os campos A e tem alguma
relev ancia fsica ou sao resultados de mera manipulac ao matematica? Mais adiante ve-
remos uma resposta plausvel para tal pergunta. A seguinte observac ao sera de grande
utilidade neste sentido.
Exemplo 1.5 Em termos dos potenciais de calibre, a expressao para a forca de Lorentz
e dada por
ma = q
_
(v, A )
dA
dt
_
.
De fato, segue de (1.1) e de (1.7) que
ma = q(E + v B)
= q
_

A
t
+ v (A)
_
.
Sabemos do calculo vetorial que v (A) = v, A v, A e que
dA
dt
=
A
t
+
j
x
j
t
A
x
j
=
A
t
+v, A.
Assim
ma = q
_

dA
dt
+v, A +v, A v, A
_
= q
_

dA
dt
+v, A
_
= q
_
(v, A )
dA
dt
_
.
1.1.3 Potenciais de calibre do monopolo e do solenoide
Concluiremos esta secao inicial com dois exemplos que ser ao centrais mais adiante.
Exemplo 1.6 (Potencial de calibre do solen oide) Considere um o condutor em for-
mato de helice com raio a e que se estende innitamente para cima e para baixo. Tal
aparato e chamado solenoide. Consideremos, por conveniencia, este enrolado em torno
do eixo z. Entao ele produz um campo magnetico
B(t, x) =
_
(0, 0, B
0
) se =
_
(x
2
+ y
2
) a
(0, 0, 0) se =
_
(x
2
+ y
2
) > a
e nao produz nenhum campo eletrico (ver secao 5.3.3 de [25] e secao 13.5 de [19]). Como
E e B sao constantes, eles claramente satisfazem as equacoes de Maxwell. Queremos
encontrar um potencial de calibre para este campo.

E facil vericar que, dentro do sole-
noide, i.e., para a, a escolha (como E(t, x) 0 temos que e trivial e portanto nos
preocuparemos apenas com A) A(t, x) =
B
0
2
(y, x, 0) serve como potencial pois
B = A =
_
B
0
2
(y, x, 0)
_
= (0, 0, B
0
).
Tambem vemos que este nao pode ser estendido a todo o domnio, pois B = 0 fora do
solenoide. Poderamos, à primeira vista, imaginar que
A(t, x) =
_
B
0
2
(y, x, 0) se =
_
(x
2
+ y
2
) a
(0, 0, 0) se =
_
(x
2
+ y
2
) > a
seria uma boa escolha para o potencial, mas esta conduz a inconsistencias. Considere por
exemplo um disco D fechado de raio > a contido no plano xy. Por denicao, o uxo
magnetico que passa por D e
=
_
D
B ndA = B
0
_
D
dA = B
0
a
2
,
onde D/ e o disco de raio = a. Mas temos tambem
=
_
D
B ndA =
_
D
(A) ndA =
_
A dr = 0,
onde e a fronteira de D e a ultima igualdade segue pelo Teorema de Stokes. Logo
devemos ter um potencial que gere um campo magnetico nulo fora do solenoide, porem
que nao conduza a nenhuma contradicao em termos do uxo magnetico. Para encontrar
um potencial adequado para a regiao fora do solenoide, observemos duas coisas:
i) Dentro do solenoide o potencial e circular ao redor do eixo z, entao podemos esperar
comportamento similar fora, i.e., A (y, x, 0).
ii) Para qualquer disco no plano xy com raio
0
> a a integral de linha de A sobre
sua fronteira deve ter o valor constante B
0
a
2
. Mas esta e proporcional ao raio e ao
modulo do campo A, logo [A[ deve variar de maneira inversamente proporcional a , i.e.
[A[
1
_
(x
2
+ y
2
)
.
Combinando estes dois argumentos, e esperado encontrar A da forma
A = k
_
y
(x
2
+ y
2
)
,
x
(x
2
+ y
2
)
, 0
_
.
10 CAP

Observe que este A conduz a um campo magnetico identicamente nulo
A =
_
k
_
y
(x
2
+ y
2
)
,
x
(x
2
+ y
2
)
, 0
__
= k
_
y
0
z
_
x
(x
2
+ y
2
)
_
,
z
_
y
(x
2
+ y
2
)
_
x
0,
x
_
x
(x
2
+ y
2
)
_
y
_
y
(x
2
+ y
2
)
__
= k (0, 0, 0) .
Resta-nos, portanto, apenas encontrar o valor da constante k, o que e feito considerando-
se o valor do uxo magnetico atraves de um disco de raio
0
> a. Parametrizando a
fronteira do disco por r(t) = (
0
cos(t),
0
sen(t), 0) com t (0, 2), temos
=
_
A dr =
_
A r
dt
=
_
2
0
_
k
_

0
sen(t)
2
0
(cos(t)
2
+ sen(t)
2
)
,

0
cos(t)
2
0
(cos(t)
2
+ sen(t)
2
)
, 0
_
, (
0
sen(t),
0
cos(t), 0)
_
dt
= k
_
2
0
2
0
sen(t)
2
+
2
0
cos(t)
2
2
0
(cos(t)
2
+ sen(t)
2
)
dt
= k2
o que sera consistente se
= B
0
a
2
k2 = B
0
a
2
k =
B
0
a
2
2
=

2
.
E assim, encontramos um potencial de calibre adequado para descrever o solenoide:
A(t, x) =
_
B
0
2
(y, x, 0) se =
_
(x
2
+ y
2
) a
B
0
a
2
2
_
y
(x
2
+y
2
)
,
x
(x
2
+y
2
)
, 0
_
se =
_
(x
2
+ y
2
) > a
(t, x) = 0.
Exemplo 1.7 (Monop olo magnetico) Considere uma partcula eletricamente carre-
gada e estatica na origem do R
3
. Pela lei de Coulomb, esta cria um campo eletromagnetico
em = R
3
0, constante no tempo, dado por
E(t, x) =
q
_
(x
2
+ y
2
+ z
2
)
3
(x, y, z) =
q
r
2
e
r
B(t, x) = 0
onde q e a carga da partcula e (r, , ) sao as coordenadas esfericas de R
3
, com respectivos
vetores tangentes (e
r
, e
, e
). Calculos diretos mostram que este satisfaz as equacoes de

Maxwell, lembrando que neste caso nao temos materia, ou seja, densidade de carga e
corrente eletrica sao ambos nulos. Ainda temos, neste caso, que
(t, x) =
q
x
2
+ y
2
+ z
2
A(t, x) = 0
e um potencial de calibre, pois B(t, x) = 0 = 0 = A e
E(t, x) =
A
t
=
_
q
_
x
2
+ y
2
+ z
2
_
1
2
_
0
= q
_
1
2
_
x
2
+ y
2
+ z
2
_
3
2
2x,
1
2
_
x
2
+ y
2
+ z
2
_
3
2
2y,
1
2
_
x
2
+ y
2
+ z
2
_
3
2
2z
_
= q(
x
_
(x
2
+ y
2
+ z
2
)
3
,
y
_
(x
2
+ y
2
+ z
2
)
3
,
z
_
(x
2
+ y
2
+ z
2
)
3
).
O analogo magnetico desta situacao nunca foi encontrado na natureza, porem Dirac, em
seu celebre artigo [12], supos tal existencia e mostrou que esta levaria a grandes con-
sequencias, como veremos na secao 3.2 deste trabalho. Considere uma partcula estatica
na origem com carga magnetica g, note que (por analogia ao caso da partcula eletrica-
mente carregada) esta produz um campo eletromagnetico em = R
3
0 dado por
E(t, x) = 0
B(t, x) =
g
_
(x
2
+ y
2
+ z
2
)
3
(x, y, z) =
g
r
2
e
r
.
Novamente, calculos diretos mostram que este satisfaz as equacoes de Maxwell. Queremos
agora encontrar um potencial de calibre para descrever tal situacao. Como E 0 nos
preocuparemos apenas com A. Primeiramente observe que nao existe um unico potencial
em todo = R
3
0. De fato, supondo tal existencia, teramos por um lado que o uxo
magnetico atraves de uma esfera de raio R centrada na origem seria
=
_
S
2
B dS =
_
S
2
g
r
2
e
r
ndA
=
g
R
2
_
S
2
dA =
g
R
2
4R
2
= 4g
e por outro, o Teorema de Stokes nos garantiria que
=
_
S
2
B dS =
_
S
2
(A) dS
=
_
S
2
+
(A) dS +
_
S
2
(A) dS
=
_
C
A dr +
_
C
A dr =
_
C
A dr
_
C
A dr
= 0,
onde S
2
+
e S
2
representam o hemisferio norte e sul da esfera, respectivamente, e C o

equador.
12 CAP

Apesar de nao termos existencia global, ja sabemos da existencia local do potencial
de calibre. O que faremos agora e apresentar uma cobertura de por dois abertos e
um potencial denido em cada um deles. Considere o aberto U
+
= Z
tal que
Z
= (0, 0, z) R
3
: z 0. Tal conjunto e um exemplo do que e conhecido em
fsica como corda de Dirac, i.e., uma curva contnua que comeca na origem, nao se
intersecta e se prolonga innitamente em uma dada direcao. Um calculo direto mostra
que A
+
=
g
r sen
(1 cos )e
e um potencial de calibre em U
+
. De fato, lembrando que em
coordenadas esfericas temos A = A
r
e
r
+ A
+ A
de onde segue que

A =
1
r sen
_

(A
sen )

_
e
r
+
1
r
_
1
sen
A
r

r
(rA
)
_
e
+
1
r
_

r
(rA
A
r
_
e
,
entao
A
+
=
1
r sen
_

(A
sen )
_
e
r
=
1
r sen
_

_
g(1 cos )
r
__
e
r
=
g
r
2
sen
(sen ) e
r
=
g
r
2
e
r
.
Analogamente, A
=
g
r sen
(1 +cos )e
e um potencial de calibre em U
= Z
+
, onde
Z
+
= (0, 0, z) R
3
: z 0. Claramente A
+
e A
nao coincidem na intersecao de seus

domnios e nao poderia ser diferente, pois, caso contrario, teramos um potencial global.
Explicitamente, em U
+
U
vale
A
+
A
=
_
g
r sen
(1 cos )
g
r sen
(1 + cos )
_
e
=
_
g
r sen
(1 cos + 1 + cos )
_
e
=
2g
r sen
e
= (2g) ,
onde o operador gradiente e calculado em coordenadas esfericas, i.e.
f =
f
r
e
r
+
1
r
f
+
1
r sen
f
.
Isso nos diz que A
+
e A
diferem por uma transformacao de calibre com = 2g, portanto

descrevem a mesma situacao fsica.
1.2. TENSORES E O ELETROMAGNETISMO 13
1.1.4 Resumo
Na verdade, a maneira que Maxwell prop os a sua teoria e um tanto diferente da expomos
aqui. De fato, a diferenca fundamental e que tal formulac ao era baseada na matematica
difundida na epoca, e a matematica utilizada aqui, o calculo vetorial, s o tornou-se popu-
lar algum tempo depois. Ate ent ao, contas e opera coes eram todas feitas componente a
componente. Nao e difcil para o leitor se convencer do quanto a notacao vetorial forne-
ceu em termos operacionais e de notac ao. Efetivamente, sem este dispositivo, teramos
de trabalhar com as seis func oes diferenciaveis correspondentes ` as componentes de cada
campo ao inves de lidarmos com dois campos de vetores E e B. Alem disso, ao inves das
quatro equacoes diferenciais (1.2) - (1.5), teramos oito.
De maneira muito similar, temos a inuencia direta do desenvolvimento de certas
areas da matem atica para novas formulac oes da teoria de Maxwell, a saber o c alculo
tensorial desenvolvido por Gregorio Ricci-Curbastro e o c alculo exterior desenvolvido por
Elie Cartan, ambos por volta de 1890. Nas pr oximas duas sec oes veremos como formular
a teoria de Maxwell em termos do calculo tensorial e do calculo exterior.
1.2 Tensores e o eletromagnetismo
Quando Maxwell unicou eletricidade, magnetismo e otica atraves de sua teoria do
eletromagnetismo ele o fez para um sistema de referencia em repouso. Porem n ao se
sabia como mudar as equac oes entre diferentes referenciais inerciais, problema que so foi
resolvido por Einstein em1905 no seu tour de force sobre a eletrodinamica dos corpos
em movimento ([16]). Foi Hermann Minkowski quem formulou a teoria eletromagnetica
de maneira conveniente a realizar a mudanca de referenciais. Nesta formulac ao espaco e
tempo s ao vistos agora como uma unica entidade quadridimensional e objetos que antes
eram vetores tridimensionais sobre um espaco tridimensional passam a ser novos objetos
conhecidos como tensores sobre esse novo espaco-tempo. Para mais detalhes hist oricos
sobre o desenvolvimento paralelo da fsica e da matematica aqui abordadas, o leitor inte-
ressado pode consultar [48].
Nesta sec ao nos ocuparemos de formular a teoria eletromagnetica tal qual feito por
Minkowski. Iniciaremos apresentando conceitos e fatos gerais relacionados a tensores para
em seguida apresentarmos fatos b asicos relacionados a relatividade restrita, o que por m
nos permitir a apresentar a prometida formulac ao.
1.2.1 Tensores e pseudometricas
Antes de formularmos a teoria de Maxwell numa linguagem tensorial, daremos uma breve
apresenta cao dos conceitos e resultados necess arios, a come car pela
14 CAP

Denicao 1.8 Seja V um espaco vetorial sobre um corpo K de dimensao n. Uma apli-
cacao
T : V
... V
q-vezes
V ... V
p-vezes
K
e chamada de tensor se for (q + p) K-linear. Neste caso, dizemos T e um tensor do tipo
(q, p), ou T e um tensor q-contravariante e p-covariante. Chamamos de posto do tensor à
soma (q + p) e denotamos por T
q
p
(V ) o espaco de todos os tensores de tipo (q, p) sobre V .
Exemplo 1.9 Um escalar e um tensor do tipo (0, 0). Um vetor e um tensor do tipo
(1, 0). Um covetor (elemento do dual) e um tensor do tipo (0, 1). Um produto interno e
um tensor do tipo (0, 2).
Antes de prosseguirmos, vamos convencionar alguma notacao. Primeiramente, vamos
utilizar sempre a convenc ao de Einstein para ndices, onde a repetic ao de um ndice num
mesmo fator indica soma sobre estendice. Usaremos tambem dois smbolos muito comuns
na literatura em fsica, o delta de Kronecker:
i
j
=
ij
=
_
1 se i = j
0 se i ,= j
e o smbolo de Levi-Civita:
i
1
...i
n
=
_
_
1 se i
1
...i
n
e uma permutac ao par de 1...n
1 se i
1
...i
n
e uma permutac ao mpar de 1...n
0 caso contr ario
Vejamos alguns exemplos para xar estes conceitos.
Exemplo 1.10 Sendo v, w V dois vetores do espaco vetorial V de dimensao n e A
uma matriz nn com entradas a
ij
, tal que v = Aw, entao em relacao a uma base e
i
n
i=1
,
temos
v =
n
i=1
v
i
e
i
=
n
i=1
_
n
j=1
a
i
j
w
j
_
e
i
.
Com a convencao de Einstein teremos v = v
i
e
i
= a
i
j
w
j
e
i
, onde ca claro que os ndices
devem ser somado de 1 a n, pois esta e a dimensao do espaco. Mas, como e
i
e uma base,
vale a igualdade v
i
= a
i
j
w
j
. Observemos que a
i
j
representa o elemento que se encontra na
i-esima linha e j-esima coluna da matriz A. Agora, se considerarmos v = Aw+k, k V ,
teremos
v =
n
i=1
v
i
e
i
+
n
i=1
k
i
e
i
=
n
i=1
__
n
j=1
a
i
j
w
j
_
+ k
i
_
e
i
.
De acordo com esta convencao, v
i
= a
i
j
w
j
+ k
i
, o que nao gera confusao pois apenas o
ndice j aparece repetido em um mesmo fator.
Exemplo 1.11 Com as mesmas notacoes do exemplo anterior, suponha que v = (I +
A)w, onde I = (
i
j
) e a matriz identidade e uma constante. Assim,
v =
n
i=1
_
n
j=1
i
j
w
j
+
n
j=1
a
i
j
w
j
_
e
i
.
Desta forma, a equacao v =
_
i
j
w
j
+ a
i
j
w
j
_
e
i
nos diz que
v
i
=
i
j
w
j
+ a
i
j
w
j
= w
i
+ a
i
j
w
j
.
A nota cao utilizada aqui, como veremos, n ao e apenas troca de smbolos, de fato ela
j a fornece vantagens imediatas. Vemos, por exemplo, o quanto e mais facil e direto obter
certos resultados de algebra linear com essa nova linguagem. Iremos ilustrar um destes
atraves do seguinte
Exemplo 1.12 O produto vetorial C = A B em R
3
com coordenadas cartesianas e
dado por
(C
1
, C
2
, C
3
) = (A
2
B
3
A
3
B
2
, A
3
B
1
A
1
B
3
, A
1
B
2
A
2
B
1
).
Sem diculdade podemos vericar que ele pode ser expresso em notacao tensorial por
C
i
=
ijk
A
j
B
k
.
Ainda, dado um vetor D = D
i
e
i
de R
3
, o produto triplo (D, A, B) = D, A B e dado
por
D
i
ijk
A
j
B
k
=
ijk
D
i
A
j
B
k
e como jki e kij sao permutacoes pares de ijk, temos
ijk
=
kij
=
jki
, logo
ijk
D
i
A
j
B
k
=
kij
D
i
A
j
B
k
=
jki
D
i
A
j
B
k
o que nos diz que (D, A, B) = (B, D, A) = (A, B, D), que e um resultado de algebra linear
conhecido como propriedade cclica do produto triplo.
A seguir vemos as operac oes basicas feitas com tensores.
Denicao 1.13 Dados um tensor T do tipo (q, p) e um tensor S do tipo (q, p), denimos
sua soma como
(T + S)(
1
, ...,
q
, v
1
, ..., v
p
) = T(
1
, ...,
q
, v
1
, ..., v
p
) + S(
1
, ...,
q
, v
1
, ..., v
p
).
Denicao 1.14 Dados um tensor T do tipo (q, p) e um tensor S do tipo (s, r), denimos
seu produto tensorial como
(T S)(
1
, ...,
q
,
q+1
, ...,
q+s
, e
1
, ..., e
p
, e
p+1
, ..., e
p+r
)
= T(
1
, ...,
q
, e
1
, ..., e
p
) S(
q+1
, ...,
q+s
, e
p+1
, ..., e
p+r
).
16 CAP

Denicao 1.15 Dado um tensor T do tipo (q, p), podemos obter um tensor K do tipo
(q 1, p 1) da seguinte maneira
K(
1
, ...,
q1
, v
1
, ..., v
p1
) = (
1
, ...,
n1
, ,
n
, ..., , v
1
, ..., v
m1
, w, v
m,
..., v
p1
).
Tal operacao e chamada contracao (n, m) por e w do tensor T.
E um resultado bem conhecido da algebra multilinear (cf. [1]) que dada uma base e
i
de V e sendo dx
j
sua base dual, ent ao qualquer tensor do tipo (q, p) pode ser escrito de
maneira unica na forma
T = T
i
1
...i
q
j
1
...j
p
e
i1
... e
iq
dx
j
1
... dx
jp
(1.11)
onde os ndices i e j percorrem a dimensao do espaco V .
Observacao 1.16 Desta maneira, uma vez xada uma base, tem sentido estudar o tensor
pensando em suas componentes. Assim para as operacoes basicas entre tensores temos
que dada uma base e
i
e sua base dual dx
j
, o tensor K = T +S e caracterizado pelas
componentes K
i
1
...i
q
j
1
...j
p
tais que
K = K
i
1
...i
q
j
1
...j
p
e
i
1
... e
i
q
dx
j
1
... dx
j
p
onde K
i
1
...i
q
j
1
...j
p
= T
i
1
...i
q
j
1
...j
p
+ S
i
1
...i
q
j
1
...j
p
. O tensor G = T S e caracterizado pelas componentes
G
i
1
...i
q+s
j
1
...j
p+r
tais que
G = G
i
1
...i
q+s
j
1
...j
p+r
e
1
... e
p
e
p+1
... e
p+r
dx
1
... dx
q
dx
q+1
... dx
q+s
onde G
i
1
...i
q+s
j
1
...j
p+r
= T
i
1
...i
q
j
1
...j
p
S
i
q+1
...i
q+s
j
p+1
...j
p+r
.
Exemplo 1.17 Considere S, T T
0
2
(R
2
) tais que S = 2dx dx +dy dy e T = dx
dy + 3dy dy entao S + T = 2dx dx dx dy + 4dy dy.
Exemplo 1.18 Considere T T
0
2
(R
2
) e S T
1
0
(R
2
) tais que T = 2dx dy + dy dy e
S = 3e
1
+4e
2
entao T S = 6e
1
dxdy +3e
1
dy dy +8e
2
dxdy +4e
2
dy dy.
Exemplo 1.19 Considere T T
1
2
(R
2
) tal que T = e
1
dx dx 2e
1
dy dy +3e
2
dx dx 4e
2
dy dy, = dx dy e v = e
1
+ 2e
2
, entao a contracao (1, 2) por e w
do tensor T e dada por
T
= T(, , v)
= (e
1
dx dx 2e
1
dy dy + 3e
2
dx dx 4e
2
dy dy) (, , v)
= dx 4dy dx + 8dy
= 4dy
Um outro conceito importante que devemos esclarecer e o de covariancia ou contra-
vari ancia das componentes de um tensor. Para entendermos este conceito, lembremos
primeiramente que dada uma base e
i
de V um vetor v e escrito de maneira unica na
forma v = a
i
e
i
. Considerando-se uma outra base f
i
de V , entao v se escreve de maneira
unica na forma v = b
k
f
k
. Considerando-se a mudanca de base e
i
f
i
, sabemos da algebra
linear que existe uma matriz inversvel com entradas c
j
k
tal que f
k
= c
j
k
e
j
. Ent ao,
a
i
e
i
= b
k
f
k
a
i
e
i
= b
k
c
j
k
e
j
a
i
= b
k
c
i
k
.
Em outras palavras
a = c b, a = (a
1
a
n
)
T
, b = (b
1
b
n
)
T
.
Assim, observamos que os coecientes b
k
mudam de maneira inversamente proporcional
aos c
i
k
, por isso sao chamados componentes contravariantes.
De maneira an aloga, sendo dx
i
e dy
j
as bases duais de e
i
e f
j
, respectiva-
mente, a mudanca de base f
k
= c
j
k
e
j
nos fornece uma mudanca de base dx
i
dy
i
da
seguinte forma
dx
l
(f
k
) = dx
l
_
c
j
k
e
j
_
= c
j
k
l
j
.
Mas, sabemos ainda que deve existir uma matriz inversvel com entradas a
r
s
tal que
a
r
s
dy
s
= dx
r
a
r
s
dy
s
(f
k
) = c
j
k
r
j

a
r
s
s
k
= c
j
k
r
j
a
r
k
= c
r
k
.
Ou seja, c
k
j
dy
j
= dx
k
. Ent ao, para um dado covetor escrito na base dx
i
dual a e
i
como
=
i
dx
i
e na base dy
j
dual a f
j
como =
j
dy
j
, encontramos que
k
dx
k
=
i
dy
i

k
c
k
j
dy
j
=
i
dy
i

k
c
k
i
=
i
.
Em outras palavras,
= c, = (
1

n
)
T
, = (
1

n
)
T
.
Neste caso, observamos que os coecientes
k
mudam de maneira diretamente propor-
cional aos c
k
i
e por isso sao chamados de componentes covariantes. Por conven cao, ndices
superiores representam componentes contravariantes e ndices inferiores componentes co-
variantes. O seguinte resultado esclarece a noc ao para um caso mais geral.
Proposicao 1.20 Dado um tensor T de tipo (q, p) caracterizado pelas componentes T
i
1
...i
q
j
1
...j
p
e T
k
1
...k
q
l
1
...l
p
em relacao às bases e
i
e f
k
, respectivamente. Seja c
j
k
a matriz mudanca de
coordenadas relativa à mudanca de base e
i
f
k
. Entao
T
k
1
...k
q
l
1
...l
p
= T
i
1
...i
q
j
1
...j
p
c
k
1
i
1
...c
k
q
i
q
b
j
1
l
1
...b
j
p
l
p
onde b
i
j
e a matriz inversa de c
j
k
, i.e., b
i
j
c
j
k
=
i
k
.
18 CAP

Demonstracao. Ver [1], Captulo 6, Proposic ao 6.1.7.
Vale ressaltar que, em fsica, o que se tem em geral e um conjunto de valores depen-
dentes de ndices. Este e chamado de tensor de certo tipo ap os ser feita uma analise de
como e alterado por uma mudan ca de base e, muitas vezes, n ao e claro de imediato que
este conjunto como um todo tem uma natureza de aplicac ao multilinear. Certamente,
termos este conceito em mente j a e uma grande vantagem.
Dado um espaco vetorial V com produto interno g, existe um isomorsmo natural
entre V e V
dado da seguinte maneira:

I
g
: V V
v g(v, )
Em outras palavras, iremos identicar v e
v
= g(v, ). Dada uma base e
i
de V , a
matriz de Gramm de g relativa a essa base e denida como sendo aquelas cujas entradas
s ao g
ij
= g(e
i
, e
j
). Tambem, temos associada ` a essa base sua base dual dx
j
. Assim,
para qualquer vetor temos v = a
i
e
i
e
v
= a
j
dx
j
. Portanto, para qualquer vetor w = c
k
e
k
,
temos
v
(w) = g(v, w) a
j
dx
j
(c
k
e
k
) = g(a
i
e
i
, c
k
e
k
)
a
j
c
k
jk
= a
i
c
k
g(e
i
, e
k
) a
k
c
k
= a
i
c
k
g
ik
a
k
= a
i
g
ik
.
Como g e sempre uma matriz inversvel, i.e., existe uma matriz g
1
com entradas g
ik
tal
que g
ik
g
kj
=
ij
, ent ao, a
k
= a
i
g
ik
implica em
a
k
g
kj
= a
i
g
ik
g
kj
= a
k
g
kj
= a
i
ij
= a
k
g
ki
= a
i
.
Assim, a matriz de Gramm pode ser usada para transformar as componentes contrava-
riantes de um vetor nas componentes covariantes do seu covetor associado e vice-versa.
Em outras palavras, com ela podemos subir e abaixar ndices. A operacao I
g
e de-
notada por , enquanto sua inversa e denotada por . De uma maneira geral, podemos
obter de um tensor qualquer T do tipo (q, p), um tensor associado T
de tipo (r, s), onde

r + s = p + q, aplicando os operadores e em quaisquer de suas entradas
T
assoc
T
T
(
1
, ...,
s
, v
1
, ..., v
r
) T(
1
, ...,
m
, ...,
q
, v
1
, ..., v
l
, ..., v
p
)
.
Exemplo 1.21 Dado um tensor T de tipo (0, 2), podemos associar um tensor T
de tipo
(1, 1) da seguinte maneira
T
(, v) = T(
, v).
Em componentes temos
T(
, v) = T
ij
v
i
j
= T
ij
v
i
k
g
kj
= T
ij
g
kj
v
i
k
.
Tomando T
k
i
= T
ij
g
kj
, encontramos T
(, v) = T
k
i
v
i
k
. Analogamente, dado um tensor
T de tipo (0, 2) podemos associar um tensor

T
de tipo (2, 0) da seguinte maneira
(, ) =

T(
)
e em componentes temos
T(
) =

T
ij
j
=

T
ij
k
g
ki
m
g
mj
=

T
ij
g
ki
g
mj
m
tomando

T
km
=

T
ij
g
ki
g
mj
obtemos

T
(, ) =

T
km
m
.
Alem de permitir as operac oes de subir e abaixar ndices, um produto interno em um
espaco vetorial tambem permite estender este conceito naturalmente para o espaco de
tensores.
Denicao 1.22 Dados dois tensores T, S T
q
p
(V ) sobre um espaco vetorial V munido
de um produto interno g, denimos o produto interno entre T e S como
g(T, S) = T
i
1
i
q
j
1
j
p
S
j
1
j
p
i
1
i
q
,
onde T
i
1
...i
q
j
1
...j
p
e S
i
1
...i
q
j
1
...j
p
sao as componentes de T e S relativas a uma dada base e a operacao
subir e abaixar ndices e feita com a matriz de g relativa a esta base. Mais precisamente
S
j
1
j
p
i
1
i
q
= g
j
1
j
1
g
j
q
j
q
g
i
1
i
1
g
i
q
i
q
S
i
1
i
q
j
1
j
p
.
E possvel mostrar, com um simples exerccio de algebra linear (ver [36], Se cao 4.1),
que esta denic ao n ao depende da escolha da base para V e portanto esta bem denida.
Ate o momento, trabalhamos apenas com a nocao de tensores denidos sobre um
espaco vetorial e vimos como este conceito estende a noc ao de vetor. De maneira an a-
loga, podemos estender a nocao de campos de vetores, denidos sobre uma variedade
diferenciavel M, para a de campos de tensores.
Denicao 1.23 Dada uma variedade diferenciavel M de dimensao n, um campo de ten-
sores T de tipo (p, q) sobre M e uma aplicacao que a cada x M faz corresponder um
tensor T(x) de tipo (p, q) sobre T
x
M. Ou seja, para cada x M temos um tensor
T (x) :
p vezes
..
T
x
M T
x
M
q vezes
..
T
x
M T
x
M R
.
Dado um sistema de coordenadas locais x
para M, sabemos que

x
(x) := e
(x) forma
uma base para T
x
M, para todo x, sendo dx
sua base dual. Assim, nesse sistema de

coordenadas, T e escrito como
T = T
i
1
...i
q
j
1
...j
p
e
i
1
... e
1
q
dx
j
1
... dx
j
p
.
20 CAP

Dizemos que T e um campo de tensores diferenciavel (respec. contnuo ou de classe C
r
)
se, para qualquer sistema de coordenadas x
de M, os coecientes T
i
1
...i
q
j
1
...j
p
de T sao funcoes
diferenciaveis (respec. contnuas ou de classe C
r
). Ao conjunto de todos os campos de
tensores de tipo (q, p) diferenciaveis sobre M denotamos por T
q
p
(M). Sao naturais as
identicacoes: T
0
0
(M) = C
(M), T
1
0
(M) = X(M) e T
0
1
(M) = X
(M).
Dada uma fun cao diferenci avel f sobre M, podemos considerar a sua diferencial, que
em cada ponto dene um covetor no espaco tangente. Esta, por denic ao, e
df =
f
x
dx
f dx
= a
dx
,
portanto, faz sentido chamar a deriva cao parcial ordin aria de fun coes de derivacao cova-
riante. Mais adiante veremos que, para obter uma derivacao covariante de objetos mais
complexos do que func oes, necessitamos de uma estrutura adicional na variedade.
Se M e uma variedade pseudorriemanniana, i.e., e equipada com um produto interno g
que varia diferenciavelmente sobre a variedade, temos uma maneira natural de associar a
essa diferencial um campo vetorial que, em cada ponto, ser a o vetor associado ao covetor
correspondente. A esse campo chamamos de gradiente de f e escrevemos f. Para
encontrarmos suas componentes devemos subir os ndices da diferencial
(df)
= f = a
= (a
)e
= (
f g
)e
.
Tal considerac ao motiva a seguinte denic ao, que conclui a apresenta cao dos conceitos
b asicos envolvendo tensores que nos serao uteis.
Denicao 1.24 Seja (M, g) uma variedade pseudorriemanniana e x
um sistema de co-
ordenadas locais, denimos a derivacao contravariante de uma funcao diferenciavel como
f = g
f ,
ou seja,
f e a -esima componente do vetor f neste sistema de coordenadas.

1.2.2 Uma breve digressao sobre a relatividade restrita de Poin-
care e Einstein
Na formula cao vetorial do eletromagnetismo apresentada na sec ao anterior, zemos o
estudo das grandezas fsicas, sempre denidas sobre a variedade produto R , sem
necessariamente nos preocuparmos com nenhuma estrutura adicional, apesar de termos
utilizado a estrutura metrica can onica do R
3
implicitamente nos operadores diferenciais
gradiente, divergente e rotacional. Para formularmos o eletromagnetismo em linguagem
tensorial, iremos utilizar uma variedade diferenciavel com uma estrutura metrica muito
especca, o espaco-tempo de Minkowski. Mais adiante veremos que tal escolha n ao e
de forma alguma arbitraria, pois as isometrias do espaco-tempo de Minkowski, i.e., as
transformac oes que preservam sua estrutura metrica, s ao exatamente as transformac oes
pelas quais as equac oes de Maxwell sao invariantes.
Historicamente, foi exatamente a procura de transforma coes que deixassem as equacoes
de Maxwell invariantes que levaram ao aparecimento do espaco-tempo de Minkowski. Na
verdade, tal procura unida a v arias experiencias e consideracoes teoricas levaram à formu-
lac ao da teoria da relatividade restrita, proposta independentemente por Henri Poincare
e Albert Einstein por volta de 1905.
1
N ao temos aqui a pretensao de nos aprofundar
em tal teoria, queremos somente estabelecer o mnimo necess ario para uma formulac ao
tensorial do eletromagnetismo. Recomendamos o leitor interessado a ler os 6.6 e 6.7
de [17], para uma apresentac ao um pouco mais detalhada do que a apresentada aqui, ou
ainda, os Captulos 4 e 13 de [50], para uma discuss ao mais completa sobre o assunto.
Denicao 1.25 Chamamos de espaco-tempo de Minkowski, denotando-o por R
1,3
, a va-
riedade pseudorriemanniana (R
4
, g), com coordenadas (ct, x, y, z), munida do produto in-
terno g, tal que, neste sistema de coordenadas, [g
ij
] e uma matriz 4 4 da forma
[g
ij
] =
_
1 0
0 id[
R
3
_
onde id[
R
3
e a matriz identidade 3 3. Convenciona-se, ainda, que ct = x
0
, x = x
1
,
y = x
2
, e z = x
3
.
Denicao 1.26 Uma transformacao linear inversvel L : R
1,3
R
1,3
que preserva o
produto interno de R
1,3
e chamada de transformac ao de Lorentz.
Um resultado tecnico que ser a util mais a frente e o seguinte:
Proposicao 1.27 Uma condicao necessaria e suciente para que L seja uma transfor-
macao de Lorentz e que sua matriz mudanca de coordenadas satisfaca
L
T
gL = g,
ou, equivalentemente,
L
1
= g
1
L
T
g.
1
Muito embora a teoria tenha como proponente mais conhecido o fsico alemao A. Einstein, e preciso
reconhecer que o matematico frances H. Poincare concebeu a mesma ideia um pouco antes de Einstein.
Seus trabalhos foram submetidos quase que simultaneamente, no entanto o artigo completo de Einstein
foi aceito em setembro de 1905 enquanto o de Poincare somente em janeiro de 1906 ([43], [44], [16]). Para
uma discussao mais aprofundada da questao da precedencia, veja([28], [31], [41]).
22 CAP

Demonstracao. A necessidade segue direto do fato de L preservar o produto interno de
R
1,3
. De fato, sendo v R
1,3
e v
= Lv, teremos v
= L
, de onde segue que

g(v
, v
) = g(v, v)
g
= g
= g
= g
.
Como v e arbitrario, temos que g
= g
, de onde segue que

(L
T
gL)
= (L
T
)
= L
= g
.
Para vericarmos a suciencia, observe que g(v, v) = v
T
gv e
v
= Lv v
T
= v
T
L
T
.
Assim, g = L
T
gL implica que
v
T
gv = v
T
_
L
T
gL
_
v =
_
v
T
L
T
_
g (Lv) = v
T
gv
.
J a a equivalencia segue multiplicando-se ambos os termos da primeira igualdade por L
1
pela direita e por g pela esquerda.
Exemplo 1.28 A transformacao L cuja matriz na base canonica e dada por
L =
_
0
0 id[
R
2
_
, onde =
_

_
,
id[
R
2
e a matriz identidade 2 2 e
=
1
_
1
2
, =
v
c
e uma transformacao de Lorentz. De fato temos
(L)
T
gL =
_
_
0
0
0 0 id[
R
2
_
_
1 0 0
0 1 0
0 0 id[
R
2
_
_
0
0
0 0 id[
R
2
_
_
=
_
_
()
2
2

2
0
2

2

2
()
2
0
0 0 id[
R
2
_
_
.
Substituindo os valores de e , encontramos
(L)
T
gL =
_
_
v
2
c
2
(1
v
c
2
)

c
2
c
2
(1
v
c
2
)
0 0
0
c
2
c
2
(1
v
c
2
)

v
2
c
2
(1
v
c
2
)
0
0 0 id[
R
2
_
_
=
_
_
1 0 0
0 1 0
0 0 id[
R
2
_
_
= g
como queramos. Tal transformacao tem grande relevancia, pois transforma as coordena-
das de um referencial S para as de um referencial S
que se afasta ao longo de eixo x com

velocidade v.
Denicao 1.29 A trajetoria de um corpo e descrita por uma curva parametrizada x :
I R
4
, tal que a composicao da parametrizacao com a aplicacao t : R
4
R, que e a
projecao no eixo t, e um difeomorsmo. Tal curva e chamada linha de universo. O valor
t x : I R e chamado de tempo do referencial, e o valor:
=
_
I
_
g
(x())
dx
d
dx
d
d
e chamado tempo pr oprio do corpo.
Denicao 1.30 A velocidade relativstica, tambem chamada de quadrivelocidade, e ob-
tida parametrizando a linha do tempo pelo parametro obtendo o campo tangente:
U
=
dx
d
U =
_
,
v
c
_
R
1,3
.
1.2.3 O tensor eletromagnetico e as equacoes de Maxwell
Podemos agora comecar a formular a teoria de Maxwell em linguagem tensorial, o que e
feito denindo-se um tensor covariante de posto dois
F
=
_
_
0 E
1
E
2
E
3
E
1
0 B
3
B
2
E
2
B
3
0 B
1
E
3
B
2
B
1
0
_
_
(1.12)
e um tensor contravariante de posto um
J
= (, j) = (, j
1
, j
2
, j
3
).
Um questionamento razoavel por parte do leitor seria porque unicar a densidade
de carga e a corrente num unico tensor e os campos eletrico e magnetico num outro
unico tensor. O primeiro e justicado pelo fato de que ambos, densidade de carga e
corrente eletrica, serem diferentes manifestac oes de uma mesma entidade. De fato, ambos
dizem algo a respeito da materia carregada na regi ao do espaco estudada, um diz sobre a
posic ao e o outro sobre o deslocamento. Um fato surpreendente e que o segundo tambem
e justicado pelo mesmo motivo. Observemos, por exemplo, a seguinte considerac ao,
retirada do Captulo 12 de [25].
Observacao 1.31 Dada uma regiao do espaco onde estao presentes um campo eletrico
e um campo magnetico, considere dois referenciais S e S
movendo-se um em relacao ao
outro ao longo do eixo x com velocidade v. Sejam E, B as respectivas escritas destes
campos no referencial S e E
, B
no referencial S
. Estes campos sao relacionados por

E
1
= E
1
E
2
= (E
2
vB
3
) E
3
= (E
3
+ vB
2
)
B
1
= B
1
B
2
= (B
2
+
v
c
2
E
3
) B
3
= (B
3
v
c
2
E
2
).
24 CAP

Um c alculo simples e direto mostra que este e exatamente o resultado de se transformar
o tensor (1.12) sob a transforma cao do Exemplo 1.28, de acordo com a Proposic ao 1.20.
Em outras palavras, os campos eletrico e magnetico sao diferentes manifestac oes de uma
mesma entidade. Retomando a formulac ao tensorial da teoria de Maxwell, conclumos
que esta deve se materializar no estudo do tensor F
, de como este interage com o tensor

J
e de como interage com uma partcula carregada, o que ser a visto nos pr oximos tres
resultados.
Exemplo 1.32 A operacao de subir ndices aplicada ao tensor eletromagnetico F
dado
por (1.12) gera o 2-tensor contravariante F
= g
cuja representacao matricial

e dada por
_
F
=
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
0 E
1
E
2
E
3
E
1
0 B
3
B
2
E
2
B
3
0 B
1
E
3
B
2
B
1
0
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
=
_
_
0 E
1
E
2
E
3
E
1
0 B
3
B
2
E
2
B
3
0 B
1
E
3
B
2
B
1
0
_
_
=
_
_
0 F
01
F
02
F
03
F
10
0 F
12
F
13
F
20
F
21
0 F
23
F
30
F
31
F
32
0
_
_
.
A forca de Lorentz vetorial e dada por um vetor em tres dimens oes, i.e., um tensor
contravariante de posto um em tres dimens oes. O seu an alogo no espaco de Minkowsk ser a
ainda um tensor contravariante de posto um tal que suas tres ultimas componentes sejam a
forca de Lorentz vetorial. A primeira componente tem uma interpretac ao fsica em termos
da relatividade restrita que foge ao nosso escopo, o leitor interessado pode consultar a
se cao 26.4 de [19]. Assim se denotarmos a forca de Lorentz vetorial por F = (F
1
, F
2
, F
3
),
seu an alogo tensorial sera o tensor F
de componentes (F
0
, F) = (F
0
, F
1
, F
2
, F
3
). Temos
portanto
Proposicao 1.33 A expressao tensorial da forca de Lorentz e dada por
F
= qF
,
onde U
e a quadrivelocidade da partcula pontual.

Demonstracao. Calculando explicitamente as componentes, temos
F
0
= qF
0
U
= q (0 + E
1
U
1
+ E
2
U
2
+ E
3
U
3
) ;
F
1
= qF
1
U
= q (E
1
U
0
+ 0 + B
3
U
2
B
2
U
3
) ;
F
2
= qF
2
U
= q (E
2
U
0
B
3
U
1
+ 0 + B
1
U
3
) ;
F
3
= qF
3
U
= q (E
3
U
0
+ B
2
U
1
B
1
U
2
+ 0) .
Assim, encontramos F
= (F
0
, F), onde F
0
= E
1
U
1
+E
2
U
2
+E
3
U
3
e F = (F
1
, F
2
, F
3
) =
q(U
0
E + U B).
Proposicao 1.34 As equacoes de Maxwell homogeneas
B = 0 e
B
t
+E = 0
sao equivalentes à equacao tensorial
= 0. (1.13)
Demonstracao. Explicitamente, temos:
1
F
23
+
3
F
12
+
2
F
31
= 0
1
B
1
+
3
B
3
+
2
B
2
= 0
B = 0.
Por outro lado,
_
0
F
13
+
3
F
01
+
1
F
30
= 0
0
F
12
+
2
F
01
+
1
F
20
= 0
0
F
23
+
3
F
02
+
2
F
30
= 0
0
B
1
+
2
E
3
3
E
2
= 0
0
B
2
+
3
E
1
1
E
3
= 0
0
B
3
+
1
E
3
2
E
1
= 0
Mas isto e o mesmo que
B
t
+E = 0.
Proposicao 1.35 As equacoes de Maxwell nao-homogeneas:
E = e
E
t
B = j
sao equivalentes à equacao tensorial
= J
. (1.14)
Demonstracao. Recorde do Exemplo 1.32 que
_
F
=
_
_
0 F
01
F
02
F
03
F
10
0 F
12
F
13
F
20
F
21
0 F
23
F
30
F
31
F
32
0
_
_
.
Portanto,
= J
F
0
= J
0
0
0 +
1
E
1
+
2
E
2
+
3
E
3
= E = .
26 CAP

E ainda, de
= J
obtemos
_
0
F
10
+
1
F
11
+
2
F
12
+
3
F
13
= J
1
0
F
20
+
1
F
21
+
2
F
22
+
3
F
23
= J
2
0
F
30
+
1
F
31
+
2
F
32
+
3
F
33
= J
3
0
F
10
+
2
F
12
+
3
F
13
= J
1
0
F
20
+
1
F
21
+
3
F
23
= J
2
0
F
30
+
1
F
31
+
2
F
32
= J
3
0
E
1
+
2
B
3
3
B
2
= J
1
0
E
2
1
B
3
+
3
B
1
= J
2
0
E
3
+
1
B
2
2
B
1
= J
3
0
E
1
(
2
B
3
3
B
2
) = J
1
0
E
2
(
3
B
1
1
B
3
) = J
2
0
E
3
(
1
B
2
2
B
1
) = J
3
De onde encontramos
E
t
B = j.
1.2.4 Resumo
A teoria de Maxwell em notac ao tensorial e o estudo do tensor (covariante antissimetrico
de posto dois) eletromagnetico F
e de como este interage com uma quadricorrente J
,
atraves das equacoes de Maxwell
= 0
= J
,
e com uma partcula carregada, atraves da forca de Lorentz F
= qF
.
Com a formulac ao tensorial das equac oes de Maxwell, a equacao de continuidade pode
ser obtida derivando-se os dois lados da equac ao e
= J
, tendo em vista o Lema

de Schwartz e a antissimetria do tensor F
. De fato,
= J
= 0.
Em outras palavras,
0
J
0
+
1
J
1
+
2
J
2
+
3
J
3
= 0

t
+ j = 0.
O leitor ja pode dar-se conta do quanto a nova formulac ao fornece ganhos em termos
operacionais.
Como antes, podemos introduzir o conceito de calibre via a escolha de um 1-tensor A
que determine F
via um operador diferencial convenientemente escolhido, de tal forma

que a equac ao de Maxwell homogenea (1.13) seja automaticamente satisfeita. Um calculo
imediato mostra que um 1-tensor A
satisfazendo F
atende as condicoes
desejadas.
Note ainda que o 1-tensor A
n ao e unico, pois, qualquer que seja a fun cao diferenci avel

, a transformac ao A
n ao altera as equac oes de Maxwell. Alem disso,

verica-se facilmente que o tensor eletromagnetico F
ca completamente determinado
1.3. FORMAS DIFERENCIAIS E O ELETROMAGNETISMO 27
pelo potencial de calibre vetorial A
= (, A
1
, A
2
, A
3
). Por exemplo:
_
_
F
10
=
1
A
0
0
A
1
F
20
=
2
A
0
0
A
2
F
30
=
3
A
0
0
A
3
_
E
1
=
x
()
t
A
1
E
2
=
y
()
t
A
2
E
3
=
z
()
t
A
3
E =
A
t
,
o que coincide exatamente com o que tnhamos em (1.7).
Encontrar as equacoes de movimento para o potencial de calibre tambem ca muito
simples agora. De fato, de F
, encontramos
_
=
= J
.
Ou seja,
= J
. Neste caso, o calibre de Lorentz A +

1
c
2
t
= 0 se
reduz a
a
A
= 0. Logo, as equa coes de movimento se reduzem a

A
def
=
= J
.
Conclumos assim nossa formula cao tensorial do eletromagnetismo.
Ao longo desta sec ao, introduzimos os tensores e adotamos a notac ao de ndices e
com estes obtivemos uma formulacao mais natural do eletromagnetismo. Ao leitor que
porventura ainda n ao esteja convencido que esta nova linguagem n ao se resume a uma
simples troca de notac ao, temos ainda dois pontos a levantar: O primeiro e que a notac ao
tensorial comndices e a notac ao classica e corrente em textos de fsica, logo o matematico
que pretende estabelecer uma conex ao com a fsica deve ter uma boa uencia em tal
linguagem. O segundo e que a linguagem apresentada facilita tambem a escrita local e
operacoes explicitas com formas diferenciais, objetos que tem grande relev ancia em v arias
areas da matem atica.
1.3 Formas diferenciais e o eletromagnetismo
Como ja mencionado, assumimos do leitor uma certa familiaridade com formas diferen-
ciais. Mas a ttulo de xar nota cao, apresentamos nesta sec ao algumas deni coes e re-
sultados basicos relacionados a estas sem demonstracao. Ao nal formularemos a teoria
eletromagnetica na linguagem do c alculo exterior e ainda veremos como cam em tal
linguagem os exemplos vistos na sec ao 1.1.
1.3.1 Propriedade elementares das formas diferenciais
Am de convencionar nota cao, iremos recordar os principais conceitos e resultados rela-
cionados a estas.
28 CAP

Denicao 1.36 Um campo de tensores diferenciavel A de tipo (p, 0) sobre uma variedade
M e chamado de uma p-forma diferencial se for completamente antissimetrico, i.e., para
todos X
1
, ..., X
p
X(M) temos que
A(X
(1)
, ..., X
(p)
) = (1)
A(X
1
, ..., X
p
),
onde ((1), ..., (p)) e uma permutacao de (1, ..., p), e (1)
e o sinal desta permutacao.

O espaco de todas as p-formas sobre uma variedade M sera denotado por
p
(M).
Lema 1.37 Sendo M uma variedade diferenciavel e A uma p-forma sobre M, dado um
sistema de coordenadas locais x
, A e escrita como
A =
1
p!
A
i
1
i
p
dx
i
1
dx
i
p
,
onde A
i
1
i
p
C
(M) para todos i

1
, , i
p
.
Aqui o leitor j a pode reparar que a notacao tensorial tambem facilita o estudo de
formas, pois, devido a correc ao dada pelo termo
1
p!
, nao necessitamos somar sobre ndices
crescentes, como e feito na maior parte dos livros de matematica, o que facilita muito na
hora em que queremos fazer contas explcitas.
Denicao 1.38 Sendo M uma variedade diferenciavel, A
p
(M) e B
q
(M), ca-
racterizadas pelas componentes A
i
1
i
p
e B
j
1
.j
q
num sistema de coordenadas locais x
,
isto e
A =
1
p!
A
i
1
i
p
dx
i
1
dx
i
p
e B =
1
q!
B
j
1
.j
q
dx
j
1
dx
j
q
,
denimos o seu produto exterior como sendo a (p + q)-forma:
A B =
1
p!q!
A
i
1
i
p
B
j
1
.j
q
dx
i
1
dx
i
p
dx
j
1
dx
j
q
.
Denicao 1.39 Dada uma p-forma A, denimos sua derivada exterior como
dA =
1
p!
A
i
1
i
p
dx
dx
i
1
dx
1
p
.
Denicao 1.40 Sendo M uma variedade e X X(M), denimos a contracao de uma
p-forma pelo campo X como sendo o resultado da aplicacao i
X
:
p
(M)
p1
(M)
dada por
i
X
(X
1
, , X
p1
) = (X, X
1
, , X
p1
) ,
onde
p
(M) e X
1
, , X
p1
X(M).
Proposicao 1.41 O produto exterior e a derivacao exterior de formas obedecem às se-
guintes propriedades basicas:
1. (A B) C = A (B C);
2. A (B + C) = A B + A C;
3. A B = (1)
pq
B A;
4. d(A + B) = dA + dB;
5. d(A) = dA;
6. d
2
= 0;
7. d(A B) = dA B + (1)
p
A dB.
onde e sao constantes reais, A uma p-forma e B uma q-forma.
Demonstracao. Ver [1] Proposic ao 7.1.5 e Teorema 7.4.1.
1.3.2 O operador de Hodge e a codiferencial
Os seguintes resultados nos motivar ao a denir um operador que age sobre o espaco das
formas diferenciais que ser a de grande utilidade ao longo do texto.
Teorema 1.42 Seja V um espaco vetorial real de dimensao n, orientacao e produto
interno g. Seja a forma de volume de V determinada por e g. Entao existe um unico
isomorsmo :
k
(V )
nk
(V ), chamado operador estrela de Hodge, tal que
= g(, )
para todo ,
k
(V ), onde g(, ) =
j
1
.j
k
j
1
.j
k
e o produto interno de
k
(V )
induzido por g.
Demonstracao. Ver [36] - Sec ao 4.1, Teorema 4.1.11.
Teorema 1.43 Seja V um espaco vetorial real de dimensao n, orientacao e produto
interno g de ndice s. Entao o operador estrela de Hodge satisfaz
= (1)
k(nk)+s
para todo
k
(V ).
Demonstracao. Ver [36] - Sec ao 4.1, Teorema 4.1.15.
30 CAP

Proposicao 1.44 Em componentes, o operador estrela de Hodge age sobre uma k-forma
=
1
k!
j
1
.j
k
dx
j
1
dx
j
k
da seguinte maneira,
()
i
1
i
nk
=
1
k!
_
[g[
l
1
l
k
i
1
i
nk

l
1
l
k
.
Ou seja
=
1
(n k)!k!
l
1
l
k
l
1
l
k
i
1
i
nk
_
[g[dx
i
1
dx
i
nk
,
onde [g[ e o modulo do determinante da matriz [g
ij
] e e o smbolo de Levi-Civita.
Demonstracao. De fato, pela linearidade de , basta sabermos como e a ac ao do opera-
dor na base de
k
(V ). Portanto, tomando um elemento da base, temos:
=
_
dx
j
1
dx
j
k
_
=
1
(n k)!
A
j
1
.j
k
i
1
i
nk
dx
i
1
dx
i
nk
onde 1 j
1
< < j
k
n e alguma sequencia xada. Mas como = g(, ),
tomando = dx
l
1
dx
l
k
, onde ( l
1
, , l
k
) e um conjunto dendices xado complemen-
tar a algum (a
1
, , a
nk
) tambem xado, temos (neste caso particular consideraremos
apenas a soma de ndices em ordem crescente por comodidade):
=
_
dx
l
1
dx
l
k
_
_
A
j
1
.j
k
i
1
i
nk
dx
i
1
dx
i
nk
_
=
_
A
j
1
.j
k
a
1
a
nk
_
dx
l
1
dx
l
k
dx
a
1
dx
a
nk
=
_
A
j
1
.j
k
a
1
a
nk
_
l
1
l
k
a
1
a
nk
dx
1
dx
n
.
Por outro lado, obtemos
g(, ) =
m
1
m
k
m
1
m
k
_
[g[dx
1
dx
n
=
m
1
m
k
i
1
i
k
g
i
1
m
1
g
i
k
m
k
_
[g[dx
1
dx
n
.
E, como
m
1
m
k
,= 0 apenas quando (m
1
m
k
) = (j
1
j
k
) e
i
1
i
k
,= 0 apenas quando
(i
1
i
k
) = (l
1
l
k
), encontramos
g(, ) = g
j
1
l
1
g
j
k
l
k
_
[g[dx
1
dx
n
,
o que nos diz que
A
j
1
.j
k
a
1
a
nk
l
1
l
k
a
1
a
nk
= g
j
1
l
1
g
j
k
l
k
_
[g[
A
j
1
.j
k
a
1
a
nk
=
l
1
l
k
a
1
a
nk
g
j
1
l
1
g
j
k
l
k
_
[g[
1
(n k)!
A
j
1
.j
k
a
1
a
nk
=
1
(n k)!
l
1
l
k
a
1
a
nk
g
j
1
l
1
g
j
k
l
k
_
[g[.
E assim
_
dx
j
1
dx
j
k
_
=
1
(n k)!
l
1
l
k
i
1
i
nk
g
j
1
l
1
g
j
k
l
k
_
[g[dx
i
1
dx
i
nk
.
Ent ao, dada uma forma =
1
k!
j
1
.j
k
dx
j
1
dx
j
k
, temos
=
1
(n k)!
1
k!
j
1
.j
k
l
1
l
k
i
1
i
nk
g
j
1
l
1
g
j
k
l
k
_
[g[dx
i
1
dx
i
nk
=
1
(n k)!k!
l
1
l
k
l
1
l
k
i
1
i
nk
_
[g[dx
i
1
dx
i
nk
,
como queramos.
Com estes resultados em mente, faz sentido a
Denicao 1.45 Sendo (M, g) uma variedade pseudorriemaniana orientavel de dimensao
n e A
p
(M), denimos a forma dual de A como sendo a (n p)-forma A tal que,
em cada ponto, A seja a imagem de A pelo operador estrela de Hodge. Chamamos uma
p-forma A de autodual se
A = A
e de antiautodual se
A = A.
De fato, a forma dual a uma p-forma diferenci avel e uma (n p)-forma tambem
diferenciavel. Isto que segue imediatamente da expressao local do operador de Hodge.
Vejamos agora um exemplo que, alem de ajudar a esclarecer o conceito, nos ser a de
grande utilidade
Exemplo 1.46 Vamos encontrar a forma dual de uma 2-forma no espaco-tempo de Min-
kowski. Uma 2-forma no espaco-tempo e caracterizada pelas componentes F
ij
. Neste caso
temos que (F)
ij
=
1
2!
_
[g[
ij
F
e como det(g)
ij
= 1, segue que (F)
ij
=
1
2
ij
F
. Como os (F)
ij
sao antissimetricos, basta conhecermos F
01
, F
02
, F
03
, F
12
, F
13
e F
23
. Analisando um por um (e ja desconsiderando os termos nulos da somatoria),
temos:
F
01
=
1
2
01
F
=
1
2
(
0123
F
23
+
0132
F
32
)
=
1
2
(F
23
F
32
)
= F
23
.
Analogamente encontramos:
F
02
= F
31
; F
03
= F
12
; F
12
= F
03
; F
13
= F
20
; F
23
= F
01
.
Utilizando as componentes contravariantes da 2-forma:
F
ij
=
_
_
0 F
01
F
02
F
03
F
10
0 F
12
F
13
F
20
F
21
0 F
23
F
30
F
31
F
32
0
_
_
32 CAP

chegamos a
F
01
= F
23
= F
23
; F
02
= F
31
= F
31
F
03
= F
12
= F
12
; F
12
= F
03
= F
03
F
13
= F
20
= F
02
; F
23
= F
01
= F
01
.
Com o operador estrela de Hodge tambem construmos um novo operador, denido da
seguinte forma.
Denicao 1.47 Dada uma p-forma A sobre uma variedade pseudo-riemaniana M com
tensor metrico g de ndice s, denimos a codiferencial A da p-forma A, como sendo a
(p 1)-forma:
A = (1)
s
(1)
p(np+1)
d A.
Este tem importantes propriedades.
Proposicao 1.48 O operador codiferencial tem as seguintes propriedades:
1. (A + B) = A + B;
2. (A) = (A);
3.
2
= 0.
Demonstracao. A linearidade segue diretamente do fato da codiferencial ser denida em
termos do operador de Hodge e da derivada exterior, que s ao ambos operadores lineares.
A ultima propriedade segue diretamente do Teorema 1.43 e do fato de d
2
= 0.
Veremos agora dois exemplos que tanto esclarecerao o conceito, como ser ao uteis mais
adiante.
Exemplo 1.49 Vamos calcular a codiferencial de uma 1-forma J no espaco-tempo de
Minkowski. Por denicao, temos
J = (1)
s
(1)
p(np+1)
d J
onde p = 1, n = 4 e s = 1. Assim J = d J. Sendo G a 0-forma tal que J = G,
encontramos
G = ( d J) = (d J) = (1)
p(np)+s
(d J),
onde a ultima igualdade segue do Teorema 1.43. Como J e uma 1-forma numa variedade
de dimensao quatro, entao (d J) e uma 4-forma. Assim p = 4, n = 4 e s = 1, logo
G = d J.
Como uma 0-forma e apenas uma funcao diferenciavel, temos que (G)
0123
=
_
[g[G.
Por outro lado, sendo J uma 1-forma caracterizada pelas componentes J
i
, temos que sua
forma dual sera a 3-forma caracterizada pelas componentes
(J)
ijk
=
_
[g[
lijk
J
l
.
Tomando a derivada exterior, obtemos
d(J) =
1
3!
(J)
abc
dx
dx
a
dx
b
dx
c
=
1
3!
1
4
(J)
abc
dx
dx
a
dx
b
dx
c
+
(J)
abc
dx
dx
a
dx
b
dx
c
+
1
3!
1
4
(J)
abc
dx
dx
a
dx
b
dx
c
+
(J)
abc
dx
dx
a
dx
b
dx
c
=
1
4!
(J)
abc
dx
dx
a
dx
b
dx
c
+
c
(J)
ab
dx
c
dx
dx
a
dx
b
+
1
4!
b
(J)
ca
dx
b
dx
c
dx
dx
a
+
a
(J)
bc
dx
a
dx
b
dx
c
dx
=
1
4!
(J)
abc
dx
dx
a
dx
b
dx
c
+
c
(J)
ab
dx
dx
a
dx
b
dx
c
+
1
4!
b
(J)
ca
dx
dx
a
dx
b
dx
c
+
a
(J)
bc
dx
dx
a
dx
b
dx
c
=
1
4!
[
(J)
abc
+
c
(J)
ab
+
b
(J)
ca
+
a
(J)
bc
] dx
dx
a
dx
b
dx
c
.
Logo,
(d J)
0123
=
0
(J)
123
+
3
(J)
012
+
2
(J)
301
+
1
(J)
230
=
0
_
_
[g[
l123
J
l
_
+
3
_
_
[g[
l012
J
l
_
+
2
_
_
[g[
l301
J
l
_
+
1
_
_
[g[
l230
J
l
_
=
0
_
_
[g[J
0
_
+
3
_
_
[g[J
3
_
+
2
_
_
[g[J
2
_
+
1
_
_
[g[J
1
_
=
i
_
_
[g[J
i
_
,
Ou seja,
G = J = d J G = d J
(G)
0123
= (d J)
0123

_
[g[G =
i
_
_
[g[J
i
_
.
Finalmente, encontramos
J =
1
_
[g[
i
_
_
[g[J
i
_
.
Como no espaco-tempo de Minkowski
_
[g[ = 1, obtemos J =
i
J
i
.
Exemplo 1.50 Agora, vamos calcular a codiferencial de uma 2-forma F no espaco-tempo
de Minkowski. Neste caso, temos p = 2, n = 4 e s = 1. Assim, a codiferencial de F
e a 1-forma H tal que H = F = d F. Como = (1)
p(np)+s
, neste caso
34 CAP

( = H = F) temos p = 1, n = 4 e s = 1. Entao, aplicando a estrela de Hodge de ambos
lados da igualdade, obtemos
H = d F.
Vamos entao encontrar as componentes dessas duas 3-formas. Inicialmente, encontremos
as componentes de dF. Sendo G = F, segue do Exemplo 1.46 que G
ij
= (F)
ij
=
1
2
ij
F
. Como
dG =
1
2!
G
ij
dx
dx
i
dx
j
=
1
2!
1
3
_
G
ij
dx
dx
i
dx
j
+
G
ij
dx
dx
i
dx
j
+
G
ij
dx
dx
i
dx
j
_
=
1
2!
1
3
_
G
ij
dx
dx
i
dx
j
+
j
G
i
dx
j
dx
dx
i
+
i
G
j
dx
i
dx
j
dx
_
=
1
2!
1
3
_
G
ij
dx
dx
i
dx
j
+
j
G
i
dx
dx
i
dx
j
+
i
G
j
dx
dx
i
dx
j
_
=
1
3!
(
G
ij
+
j
G
i
+
i
G
j
) dx
dx
i
dx
j
encontramos
(d F)
ij
=
G
ij
+
j
G
i
+
i
G
j
=
_
1
2
ij
F
_
+
j
_
1
2
i
F
_
+
i
_
1
2
j
F
_
e assim
(d F)
012
=
2
_
1
2
01
F
_
+
1
_
1
2
20
F
_
+
0
_
1
2
12
F
_
=
2
_
F
23
_
+
1
_
F
13
_
+
0
_
F
30
_
=
2
_
F
23
_
+
1
_
F
13
_
+
0
_
F
03
_
+
3
_
F
33
_
=
i
_
F
i3
_
.
Analogamente encontramos
(d F)
013
=
i
_
F
i2
_
; (d F)
023
=
i
_
F
i1
_
; (d F)
123
=
i
_
F
i0
_
.
Resumidamente, temos (d F)
abc
=
abcd
i
_
F
id
_
. Agora, analisando as componentes de
H, obtemos
(H)
abc
=
1
1!
_
[g[
abcd
H
d
=
abcd
H
d
.
Portanto
H = F H = d F (H)
abc
= (d F)
abc

abcd
H
d
=
abcd
i
_
F
id
_
H
d
=
i
_
F
id
_
.
Finalmente, encontramos (F)
d
=
i
F
di
.
1.3.3 A forma eletromagnetica e as equac oes de Maxwell
Forma eletromagnetica e a forca de Lorentz.
Podemos agora formular a teoria de Maxwell em termos do c alculo exterior. Como na for-
mulac ao tensorial do eletromagnetismo tnhamos o estudo de dois tensores antissimetricos,
podemos traduzir todo o conte udo para o estudo das formas diferenciais
F =
1
2
F
ij
dx
i
dx
j
e J = J
dx
.
Mais explicitamente, temos
F = E
1
dx
1
dx
0
+ E
2
dx
2
dx
0
+ E
3
dx
3
dx
0
+ B
1
dx
2
dx
3
+ B
3
dx
1
dx
2
+ B
2
dx
3
dx
1
;
J = dx
0
+ j
1
dx
1
+ j
2
dx
2
+ j
3
dx
3
.
A 2-forma F e chamada forma de forca eletromagnetica e a 1-forma J e chamada de forma
de corrente. O que devemos fazer agora e encontrar como ser a, nessa nova linguagem,
a forma da forca de Lorentz e das equacoes de Maxwell, o que ser a dado nos pr oximos
resultados.
Proposicao 1.51 A expressao da forca de Lorentz em termos de formas diferenciais e
dada por
F
L
= q (i
U
F)
,
onde U
e a quadrivelocidade da partcula pontual e i

U
F e a contracao da forma F pelo
campo U.
Demonstracao. De fato,
F
= qF
g
j
= qF
g
j
F
j
= qF
ji
U
g
i
= qF
ji
U
i
e como
i
U
F () =
_
1
2
F
ij
dx
i
dx
j
_
(U, )
=
_
F
ij
dx
i
dx
j
_
(U, )
=
_
F
ij
dx
i
(U) dx
j
_
()
=
_
F
ij
U
i
dx
j
_
()
=
_
F
ji
U
i
dx
j
_
()
=
1
q
F
j
dx
j
() ,
onde F
j
= qF
ji
U
i
decorre da forca de Lorentz tensorial e assim
F
L
= q (i
U
F)
,
como queramos.
36 CAP

Equac oes de Maxwell.
Proposicao 1.52 A equacao de Maxwell homogenea
= 0 e equi-
valente à equacao
dF = 0.
Demonstracao. F e uma 2-forma caracterizada pelas componentes F
, portanto, sua
derivada exterior e
dF =
1
2!
dx
dx
dx
=
1
3!
(
)dx
dx
dx
.
Ent ao
dF = 0
= 0.
Proposicao 1.53 A equacao de Maxwell nao-homogenea
= J
e equivalente à
equacao
F = J.
Demonstracao. Sendo J e F duas 1-formas, temos que
F = J (F)
j
= J
j
(F)
i
= J
i
.
Como F e uma 2-forma caracterizada pelas componentes F
, segue do Exemplo 1.50 que

sua codiferencial e dada em componentes contravariantes, por (F)
i
=
F
i
. Ou seja,
(F)
i
= J
i

F
i
= J
i
.
Assim conclumos a formulacao exterior da teoria de Maxwell, que pode ser resumida
como o estudo da forma de forca eletromagnetica F e de como esta interage com a forma
de corrente J, atraves das equacoes de Maxwell
dF = 0 e F = J,
e com uma partcula carregada, atraves da forca de Lorentz
F
L
= q (i
U
F)
.
J a a equac ao de continuidade segue de forma ainda mais imediata da equac ao n ao-
homogenea, pois
F = J F = J J = 0
i
J
i
= 0,
onde a ultima igualdade segue do Exemplo 1.49. A express ao nal e exatamente a equac ao
de continuidade na vers ao tensorial.
Potencial de calibre.
Analogamente, a existencia de uma 1-forma A tal que
F = dA (1.15)
resolve automaticamente a equac ao homogenea. De fato, a forma A e exatamente o tensor
quadripotencial, i.e., A = A
dx
, pois, por (1.39), a expressao F = dA nos diz que

1
2!
F
dx
dx
dx
dx
=
1
2
(
dx
dx
dx
dx
)
=
1
2
(
dx
dx
dx
dx
)
=
1
2
(
dx
dx
dx
dx
)
=
1
2!
(
) dx
dx
e isto e equivalente a dizer que

F
.
Transformacao de calibre.
Uma vez que F e uma forma fechada, ent ao o lema de Poincare (Ver [1], Teorema 7.4.18)
garante que esta e localmente exata. Segue que a busca de uma tal 1-forma A e natural.
Tambem e trivial o fato de que a transformac ao de calibre
A A + d
deixa a teoria invariante. Observe que
A A + d A
dx
dx
dx
que e a transformac ao de calibre tensorial.

Equac oes de movimento.
Agora, as equac oes de movimento se reduzem a
dA = J.
Uma observac ao relevante e que durante todo o texto zemos as contas usando ex-
plicitamente a metrica do espaco-tempo de Minkowski, no entanto, podemos chegar às
mesmas expressoes aqui obtidas com qualquer metrica (pseudo)riemanniana.
38 CAP

1.3.4 O solenoide e o monopolo em formas diferenciais
Vejamos agora como cam os exemplos do monopolo magnetico e do solenoide em formu-
lac ao exterior. Isto torna mais natural o estudo do potencial de calibre em cada caso.
Exemplo 1.54 (Solenoide) Lembremos que, no caso do solenoide, tnhamos um campo
de forcas tal que o campo eletrico e identicamente nulo e o campo magnetico e dado por
B(t, x) =
_
(0, 0, B
0
) se =
_
(x
2
+ y
2
) a
(0, 0, 0) se =
_
(x
2
+ y
2
) > a
Assim, a 2-forma eletromagnetica e dada por
F = E
1
dx
1
dx
0
+ E
2
dx
2
dx
0
+ E
3
dx
3
dx
0
+ B
1
dx
2
dx
3
+ B
3
dx
1
dx
2
+ B
2
dx
3
dx
1
=
_
B
0
dx dy se =
_
(x
2
+ y
2
) a
0 se =
_
(x
2
+ y
2
) > a
e a forma de potencial de calibre e dada por
A = dt + A
1
dx + A
2
dy + A
3
dz
=
_
B
0
2
(ydx + xdy) se =
_
(x
2
+ y
2
) a
B
0
a
2
2(x
2
+y
2
)
(ydx + xdy) se =
_
(x
2
+ y
2
) > a
.
Exemplo 1.55 (Monopolo magnetico) No caso do monopolo magnetico, os campos
eletrico e magnetico sao dados por
E(t, x) = 0;
B(t, x) =
g
_
(x
2
+ y
2
+ z
2
)
3
(x, y, z).
Logo, a 2-forma eletromagnetica sera
F = E
1
dx
1
dx
0
+ E
2
dx
2
dx
0
+ E
3
dx
3
dx
0
+ B
1
dx
2
dx
3
+ B
3
dx
1
dx
2
+ B
2
dx
3
dx
1
=
g
_
(x
2
+ y
2
+ z
2
)
3
(xdy dz + ydz dx + zdx dy).
E conveniente, no entanto, que passemos para coordenadas esfericas. Assim teremos

_
_
x = r cos sen
y = r sen sen
z = r cos
_
dx = cos sen dr r sen sen d + r cos cos d
dy = sen sen dr + r cos sen d + r sen cos d
dz = cos dr r sen d
Entao
F =
g
_
(x
2
+ y
2
+ z
2
)
3
(xdy dz + ydz dx + zdx dy)
=
g
r
3
r cos sen (sen sen dr + r cos sen d + r sen cos d) (cos dr r sen d)
+
g
r
3
r sen sen (cos dr r sen d) (cos sen dr r sen sen d + r cos cos d)
+
g
r
3
r cos (cos sen dr r sen sen d + r cos cos d)
(sen sen dr + r cos sen d + r sen cos d)
=
g
r
3
_
r
2
3
sen sen cos + r
2
sen
3
sen cos
_
dr d
g
r
3
_
2r
2
sen cos
2
cos sen + 2r
2
cos cos
2
sen sen
_
dr d
+
g
r
3
_
r
3
cos
2
3
sen + r
3
2
sen
3
sen d + r
3
cos
2
2
sen sen + r
3
cos
2
cos
2
sen
_
d d
+
g
r
3
_
r
2
cos
2
2
sen cos r
2
cos cos
2
2
sen
_
d dr
+
g
r
3
_
r
2
2
sen
2
sen cos r
2
cos
2
sen
2
sen
_
d dr
=
g
r
3
_
r
3
cos
2
3
sen + r
3
2
sen
3
sen d + r
3
cos
2
2
sen sen + r
3
cos
2
cos
2
sen
_
d d
= g sen d d.
Assim, podemos facilmente encontrar um potencial, pois
F = g sen d d = gd(cos ) d = d (g cos d) .
Logo A = g cos d e um potencial para F. Mas sabemos do Exemplo 1.7 que
nao pode existir potencial global em R R
3
0. A primeira vista, isto parece uma
contradicao, devido ao fato de (g cos ) ser uma funcao de classe C
, nos entanto,
funcoes angulo nao estao globalmente bem denidas
2
. Veremos agora a constatacao deste
fato e tambem como, atraves de transformacoes de calibre, podemos encontrar potencias
que juntos cobrem todo o R R
3
0.
De fato, retornando às coordenadas cartesianas, observamos que
_
_
cos =
z
r
= arctan
y
x
r =
_
x
2
+ y
2
+ z
2
de onde, atraves de um calculo simples, segue que
A = g
_
zy
r(x
2
+ y
2
)
dx +
zx
r(x
2
+ y
2
)
dy
_
.
2
Na realidade, isto se deve ao fato das chamadas coordenadas esfericas nao serem propriamente uma
mudanca global de coordenadas.
40 CAP

Vemos claramente que este potencial e singular no eixo z. No entanto, tomando a funcao
diferenciavel f := g, a transformacao de calibre A A+df conduz a um potencial que
e singular apenas no eixo z negativo. De fato,
A + df = A + d (g)
= g cos d + gd
= g(1 cos )d
=
g
r
1
z + r
(xdy ydx) ,
onde a ultima igualdade e obtida realizando a mudanca de coordenadas. Esta forma e
claramente singular em (0, 0, z) quando z 0, pois z + r = z + [z[ = 0. De maneira
analoga, encontramos que, para a funcao h = g, a transformacao de calibre A
A + dh conduz a um potencial singular apenas no eixo z positivo. Assim encontramos
dois potenciais, um A
+
= A + df, denido sobre a regiao U
+
e outro, A
= A + dh,
denido sobre U
. Entao, temos novamente dois potenciais tais que a uniao de seus

domnios e todo o R (R
3
0) e que diferem por uma transformacao de calibre, pois
A
+
A
= (gd g cos d) + (gd + g cos d) = 2gd = d (2g) .

1.3.5 Resumo.
Terminamos esta sec ao com a seguinte tabela comparativa entre as tres formula coes para
a teoria de Maxwell apresentadas aqui.
Forma Vetorial Forma Tensorial Forma Exterior
Equac oes
de
Maxwell
B = 0
B
t
+E = 0
E =
E
t
B = j
= 0
= J
dF = 0
F = J
Equac ao
de
continuidade
t
+ j = 0
= 0 J = 0
Potencial
de
calibre
B = A
E =
A
t
F
F = dA
Transformac ao
de
calibre

t
A A +
A
A A + d
For ca de Lorentz F = q(E + v B) F
= qF
F
L
= q(i
U
F)
#
1.4. ELEMENTOS DE TEORIAS CL
ASSICAS DE CAMPOS 41
1.4 Elementos de teorias classicas de campos
Veremos agora como o eletromagnetismo se situa no contexto das teorias cl assicas de
campos.
1.4.1 Um breve hist orico
A nocao de campo desenvolveu-se no seculo XIX. O grande sucesso da fsica newtoniana
motivou muitos fsicos a abordarem outros problemas da fsica (por exemplo a mec anica
dos corpos rgidos e elasticos, dos gases, etc.) de forma an aloga a este, esfor cos que
naturalmente encontraram limites em certas areas da fsica.
Uma corrente completamente contraria a esta procurava entender, por exemplo, a
mec anica celeste utilizando ideias provindas da hidrodin amica. Observou-se que a Lei
de Coulomb e a lei da gravitac ao universal s ao correspondentes ao campo de velocidades
de um uido incompressvel escoando de uma fonte pontual. De uma maneira geral,
parecia intuitivamente evidente que certas quantidades caractersticas que corpos quentes,
luminosos, carregados, magnetizados em movimento possuem, emanavam pelo espaco e
inuenciavam outros corpos. Michael Faraday foi provavelmente o maior difusor desta
direc ao ao imaginar linhas de forca eletricas e magneticas que passavam por todos os
pontos do espaco que, no ponto de vista da hidrodin amica, correspondiam ` as trajetorias
do uxo gerado pelo campo vetorial de velocidades de um certo uido.
Apesar de Faraday ter sido o primeiro a considerar o estudo dos campos e linhas de
forca como meio de entender o fen omeno, foi James Clerk Maxwell quem colocou as ideias
de Faraday na sua formulac ao matem atica denitiva. Na verdade Maxwell fez mais do que
isso, dentre outras, ele unicou eletricidade e magnetismo na primeira teoria de campos,
onde os objetos fundamentais de estudo s ao os campos em si (neste caso os campos de
vetores que tem como trajetorias do uxo as linhas de forca), um tipo de teoria totalmente
inedita na epoca.
Embora a teoria de Maxwell tenha sido a primeira teoria de campos, nao e a unica.
De fato, atualmente, o conceito de campo ocupa uma posic ao central na fsica j a que
as interacoes referentes às quatro for cas fundamentais (gravitacional, eletromagnetica,
nuclear fraca e nuclear forte) s ao descritas por casos particulares de teorias de campos.
Ademais, o melhor entendimento do conceito fsico de campo permitiu progressos tambem
de areas da fsica ja cl assicas, como a din amica dos uidos por exemplo.
Como visto em fsica, o conceito de campo depende da natureza do objeto estudado.
Temos, por exemplo, os chamados campos escalares que nada mais sao do que atribuir
um n umero a cada ponto do espaco fsico em quest ao (exemplos destes sao a densidade de
carga, a temperatura e a press ao). Tambem temos os chamados campos vetoriais, que s ao
uma atribuic ao de um vetor de um certo espaco vetorial a cada ponto do espaco (como,
por exemplo, o campo eletrico, o campo magnetico, o campo gravitacional e o campo
42 CAP

de velocidades de um uido), dentre outros (campos tensoriais, campos espinoriais, etc.).
Assim, um campo em fsica e uma famlia de n-uplas de fun coes diferenci aveis sobre
abertos de uma variedades que satisfazem certas propriedades sicamente relevantes. A
natureza desses campos e obtida atraves da forma como eles se relacionam nas mudancas
de coordenas representada por cada n-upla da famlia.
Em geral, tais propriedades sao obtidas a partir de observa coes ou conclus oes teoricas
e descritas em termos de famlias de equac oes diferenciais locais, ou mesmo de equac oes a
diferen cas ou funcionais etc. Desta forma, o objetivo principal de uma teoria de campos
e saber a que leis gerais, traduzidas em termos de equacoes diferenciais, estes campos
obedecem e como estes evoluem ao longo do tempo em cada caso particular. Em outras
palavras, trata-se de buscar soluc oes para as equacoes quando dadas condi coes iniciais ou
de contorno s ao satisfeitas. Para isso, e conveniente ter em maos um formalismo onde
possamos sistematicamente obter as equac oes diferenciais que governam o dado sistema
e, de forma geral, inferir informacoes adicionais a partir destas.
1.4.2 O formalismo lagrangeano
O formalismo usado como referencia nesta secao e o formalismo lagrangeano, que e uma
maneira cl assica de se abordar uma teoria de campos em fsica. Am de introduzir
tais conceitos, vamos brevemente apresent a-lo no caso da mec anica cl assica, como uma
alternativa ao formalismo newtoniano. Considere um sistema composto por uma partcula
de massa m que descreve uma trajetoria dada por uma curva parametrizada x : I R
3
e
sujeita a ac ao de uma forca F X(R
3
). Na mecanica newtoniana a trajet oria da partcula
obedece a segunda lei de Newton
F = ma,
onde a e a acelerac ao, i.e., a(t) =
d
2
x
dt
2
(t).
Portanto, dados m, F, uma posicao inicial x
0
e uma velocidade inicial v
0
, o problema
fsico de determinar a posic ao da partcula em func ao do tempo se resume a um problema
de equa coes diferenciais ordin arias que, como e bem sabido, tem existencia e unicidade de
soluc oes garantidas sob certas condic oes. Neste caso, o formalismo newtoniano se resume
essencialmente a determinar a tal forca F (inferida a partir de experimentos e elementos
te oricos) e aplicar a segunda lei de Newton (equacao diferencial que governa o sistema).
J a o formalismo lagrangeano, que e uma alternativa ao newtoniano, consiste essenci-
almente em determinar uma fun cao
L : R
n
R
n
R
(x, v) L(x, v)
sobre o espaco de estados (possveis posic oes e velocidades do sistema), chamada funcao
lagrangeana, satisfazendo
L = T V ,
onde v = x =
dx
dt
e a velocidade, T =
mv,v
2
a energia cinetica e V e a energia potencial
da partcula. Alem disso, vamos assumir o chamado princpio de Hamilton:
Axioma 1.56 O movimento do sistema de um tempo t
0
para um tempo t
1
e tal que a
integral, chamada funcional de a cao,
S
L
(,
) =
_
t
1
t
0
L((t),
(t) )dt,
onde (t) e
(t) sao a posicao e velocidade da partcula em funcao do tempo, tem como

ponto crtico a real trajetoria do sistema. ([24])
Tal princpio e tambem conhecido como princpio da acao mnima. Mais precisamente,
este princpio diz que, sendo C([t
0
, t
1
], x
0
, x
1
) o conjunto de todas as curvas suaves para-
metrizadas : [t
0
, t
1
] R
n
tais que (t
0
) = x
0
e (t
1
) = x
1
, as unicas possveis trajetorias
descritas pela partcula sao aquelas que s ao pontos crticos para o funcional
S
L
: C([t
0
, t
1
], x
0
, x
1
) R

_
Ldt
.
Ou seja, para qualquer variacao suave
s
= (
1
+sc
1
, ...,
n
+sc
n
) temos
dS
L
(
s
)
ds
s=0
= 0,
onde c
1
, , c
n
C
(R
n
) s ao arbitr arias e (t) = (
1
, ,
n
), i.e.,
0
(t) = (t). O
seguinte resultado de calculo variacional e de grande utilidade neste sentido.
Proposicao 1.57 Uma condicao necessaria e suciente para que uma solucao : I =
[t
0
, t
1
] R
n
seja um ponto crtico do funcional S
L
e que sejam satisfeitas as chamadas
equac oes de Euler-Lagrange
d
dt
_
L

i
_
i
= 0.
No exemplo a seguir vemos como utilizar este resultado.
Demonstracao. Ver [24] ou [17].
Exemplo 1.58 Em um sistema onde a forca atuante e conservativa, i.e., F = V ,
onde V e a energia potencial, as equacoes de Euler-Lagrange se reduzem à segunda lei de
Newton. De fato, como T =
mv,v
2
, temos
d
dt
_
L

i
_
i
= 0
d
dt
_
(
mv,v
2
V
)

i
_

(
mv,v
2
V
)
i
= 0
m
i
i
_
= 0
m
i
F
i
= 0
m = F.
O mesmo princpio aplicado ao eletromagnetismo da origem ao seguinte
44 CAP

Exemplo 1.59 Considere uma partcula de massa m e carga q sob a acao de um campo
eletromagnetico (E(x, t), B(x, t)) tendo o par ((x, t), A(x, t)) como potencial de calibre.
Sua energia potencial e a funcao escalar dada por V = V (x, t) = q (A, v ), onde
v = e a velocidade da partcula. Por analogia com o caso da mecanica classica (cf.
[17], p. 37), conclumos que a lagrangeana desse sistema e da forma
L(x, v, t) =
mv
2
2
q(x, t) + q A(x, t), v . (1.16)
Por outro lado, recorde do eletromagnetismo classico que a forca de Lorentz e determinada
experimentalmente atraves de uma carga de teste (cf. [17], p. 4). No entanto, nos uti-
lizando da lagrangeana acima, podemos reobte-la atraves das equacoes de Euler-Lagrange
que se reduzem à forca de Lorentz. Segue de (1.16)
0 =
d
dt
_
L

i
_
0 =
d
dt
(m
i
+ qA
i
)
[q + q A, v]
d
dt
(m
i
) = q
_
[A, v ]
d
dt
(A
i
)
_

m = q
_
(A, v )
dA
dt
_
,
o que coincide com o resultado obtido no Exemplo (1.5).
Para mais detalhes sobre o formalismo lagrangeano ou uma prova da equivalencia entre
o princpio da ac ao mnima e as equac oes de Euler-Lagrange, o leitor interessado pode
consultar [24] ou [17]. O que nos interessa aqui e a essencia do formalismo lagrangeano,
ou seja, a ideia de que a partir de uma func ao lagrangeana L, que depende de (t) e (t),
obtemos um conjunto de equa coes diferenciais, dependentes das derivadas parciais com
relac ao a (t) e (t). Estas, juntamente com as condic oes iniciais, determinam a trajet oria
do sistema.
Estudar uma teoria de campos atraves do formalismo lagrangeano e fazer o analogo
desta abordagem para o caso em que o sistema e descrito n ao pela posicao de uma partcula
em um dado tempo, mas sim pelo valor do campo em cada ponto do seu domnio de
denicao em cada instante de tempo dado. Muitas vezes, a ausencia de uma denic ao
matematicamente rigorosa do conceito de campo leva os fsicos a falar emespa co fsico
aonde aqueles existem. Assim, em fsica evita-se falar em trajetoria e utiliza-se o termo
evolucao do campo no espaco fsico. Naturalmente, as equac oes determinam a evoluc ao
do sistema.
Considere, por exemplo, um sistema tal que o espaco fsico (variedade diferenciavel
usada para modelar a situacao) e o espaco-tempo de Minkowski e existe um unico campo
relevante, um campo escalar real (i.e., uma fun cao diferenci avel) : R
1,3
R, que
satisfaz a lagrangeana da forma
L(,
) =
1
2

1
2
m
2
2
.
A primeira observa cao a ser feita e que, diferente do caso de uma partcula, onde o
estado da mesma era determinado pela posicao em dado tempo, o estado do campo e
determinado pelo seu valor em cada ponto do espaco fsico e assim ele depende n ao apenas
do parametro tempo, mas, eventualmente, das coordenadas espaciais. Desta forma, e
natural esperar que na lagrangeana aparecam as derivadas do campo nao somente com
respeito ao tempo, mas tambem com respeito às coordenadas do espaco. O que queremos e
encontrar quais sao as leisque este campo obedece nestas condicoes, ou seja, as equacoes
diferenciais que este campo deve satisfazer. Isto se faz assumindo como axioma o princpio
de Hamilton. Isto e, a func ao deve ser um ponto crtico do funcional de ac ao
S
L
: C
(R
1,3
) R

_
R
1,3
Ldx
.
Novamente, um resultado de c alculo variacional e de grande utilidade neste caso.
Proposicao 1.60 Uma condicao necessaria e suciente para que a funcao seja um
ponto crtico do funcional S e que esta satisfaca as equacoes de Euler-Lagrange
_
L
(
)
_
= 0
Demonstracao. Ver [24], Captulo 13, Se cao 2.
Um outro resultado muito importante e:
Proposicao 1.61 Duas funcoes lagrangeanas L e L
que diferem por um termo de diver-

gencia, i.e.,
L
= L +
,
onde f
0
, , f
n
C
(R
1,3
), conduzem às mesmas equacoes de movimento.
Demonstracao. Ver [24], Captulo 13, Se cao 2.
46 CAP

Agora podemos encontrar as equac oes diferenciais que governam este sistema. De fato
_
L
(
)
_
=
_
1
2

1
2
m
2
2
_
(
)
_
=
_
1
2
_
(
)
_
=
_
1
2
g
_
(
)
_
=
1
2
)
=
1
2
(2
)
=
(g
)
=
) .
Por outro lado
L
=
(
1
2

1
2
m
2
2
)
=
(
1
2
m
2
2
)
= m
2
,
o que nos leva ` a seguinte equac ao
(m
2
) = 0
+ m
2
= 0.
Em fsica, e comum chamar as equac oes que governam uma teoria de campos de equacoes
de movimento ou equacoes de campo. O que acabamos de fazer foi encontrar as equac oes de
movimento que governam este sistema hipotetico. A seguir veremos exemplos de sistemas
que ser ao parte integral de nossa discuss ao mais adiante.
1.4.3 Alguns exemplos
Exemplo 1.62 (Campo escalar complexo sobre o espaco de Minkowski) Considere
um sistema constitudo por dois campos escalares complexos conjugados sobre o espaco-
tempo de Minkowski, i.e., duas funcoes diferenciaveis : R
1,3
C e : R
1,3
C ,
satisfazendo a lagrangeana
L(,

,

) =

m
2

.
Agora temos uma teoria descrevendo dois campos, portanto devemos considerar a equacao
de Euler-Lagrange para cada um deles. Analisando com respeito a obtemos,
_
L
(
)
_
=
L
_
(

m
2

)
(
)
_
=
(

m
2
_
(

)
(
)
_
=
(m
2
_
= m
2

= m
2

.
Isto e

_
m
2

_
= 0
+ m
2

= 0.
Agora, com respeito a

temos,
_
L
(

)
_
=
L
_
(

m
2

)
(

)
_
=
(

m
2
_
(

)
(

)
_
=
(m
2
) = m
2

= m
2
e portanto
(m
2
) = 0 + m
2
= 0.
Isto nos leva ao par de equacoes + m
2
= 0 e
+ m
2

= 0, onde a primeira,
+ m
2
= 0,
e a equa cao de Klein-Gordon, que e de grande relevancia por ser a versao relativstica da
equacao de Schrodinger
i
t
=

2
2m
,
Trataremos dela mais detidamente no ultimo captulo.
Os dois ultimos exemplos de teoria de campos que nos interessam s ao:
Exemplo 1.63 (Campo eletromagnetico sem materia) Considere um sistema for-
mado pelos campos A
: R
1,3
R, com = 0, . . . , 3, denidos sobre o espaco-tempo de
Minkowski e que obedecem à seguinte lagrangeana
L(A
) =
1
4
F
,
48 CAP

onde F
e
F
= g
i
F
ij
g
j
= g
i
(
i
A
j

j
A
i
) g
j
= g
i
i
A
j
g
j
g
i
j
A
i
g
j
=
.
Neste caso,
L =
1
4
F
=
1
4
(
)
_
_
.
Queremos obter as equacoes de movimento. Calculando o primeiro termo da equacao
de Euler-Lagrange, temos
4
L
(
)
=
_
F
_
(
)
=
_
(
)
_
__
(
)
=
(
)
(
)
_
_
+ (
_
(
)
= (
)
_
_
+ (
)
_
g
i
j
g
j
g
k
m
g
m
_
= (
)
_
_
+ (
)
_
g
_
=
+ (
)
_
g
_
=
+ (
)
_
g
_
=
= 4 (
)
= 4F
.
Logo, encontramos
_
L
(
)
_
L
A
= 0
(F
) 0 = 0
= 0.
E, ainda, como F
, temos
) +
) +
) = 0.
Assim, nesta teoria valem
_

= 0
= 0
que sao as equacoes de Maxwell no vacuo.
Exemplo 1.64 (Campo eletromagnetico com materia) Considere que no exemplo
anterior a lagrangeana toma a forma
L
c
(A
) =
1
4
F
+ J
onde J
: R
1,3
R, com = 0, . . . , 3. Aplicando as Equacoes de Euler Lagrange com
respeito a A
, obtemos
= J
. Neste caso temos

_

= 0
= J
que sao as equacoes de Maxwell para um campo eletromagnetico na presenca de uma

quadricorrente J
.
1.4.4 Simetrias
Com estes exemplos em m aos, passamos agora a falar de um dos conceitos mais impor-
tantes das teorias de campo: simetrias. A grosso modo, estas nada mais s ao do que
transformac oes que deixam invariantes um certo sistema fsico e tem suas origem nos
trabalhos de Marius Sophus Lie. Mais precisamente, temos a seguinte
Denicao 1.65 Considere um sistema fsico composto por uma variedade diferenciavel
(espaco fsico) M de dimensao n, com coordenadas x
i
, um conjunto de campos
e uma
lagrangeana L = L(
(x
i
),
(x
i
)). Uma transformac ao e uma aplicacao
T : (x
i
,
) (x
i
,
) = T((x
i
,
)),
no sistema fsico considerado, obtendo-se assim um novo sistema composto pela mesma
variedade M com coordenadas x
i
, campos
e lagrangeana
L
(x
i
),
(x
i
)) = L(
(x
i
),
(x
i
)).
A transformacao e dita externa se T age exclusivamente sobre as coordenadas do espaco
fsico, ou seja, T : x
i
x
i
. Ela e dita interna se age exclusivamente nos campos, i.e.,
T :
.
Agora, recorde da Proposic ao 1.61 que duas funcoes lagrangeanas que diferem por um
termo de divergencia conduzem ` as mesmas equac oes de movimento. Em outras palavras,
isto nos diz que uma simetria e uma transformac ao que n ao altera as leis fsicas previstas
pela teoria. Do ponto de vista fsico, faz sentido a seguinte
Denicao 1.66 Uma transformacao em um sistema fsico e dita uma simetria se
L
= L +
,
onde
(x
i
),
(x
i
)) : M R, com = 1, . . . , n, sao funcoes diferencia-
veis. Se a transformacao e interna (respec. externa), a simetria e dita interna (respec.
externa).
50 CAP

Vejamos alguns situac oes concretas:
Exemplo 1.67 (Simetrias de um campo escalar complexo) Considere a teoria do
campo escalar complexo descrita acima. A transformacao

= e
i
;

= e
i

,
onde e uma constante real, e uma simetria deste sistema. De fato,
L
m
2
_
e
i
_
e
i

_
m
2
_
e
i
_ _
e
i

_
=
_
e
i
e
i
_

_
e
i
e
i
_
m
2
()
_
_
=

m
2
= L
como queramos. Note ainda que esta transformacao e uma simetria da equacao de mo-
vimento deste sistema, pois se e uma solucao de + m
2
= 0, entao um calculo
imediato mostra que e
i
tambem e solucao.
Exemplo 1.68 (Simetria de um campo eletromagnetico) A transformacao
A
= A
,
onde (t, x) e uma funcao diferenciavel, e uma simetria interna da teoria do campo ele-
tromagnetico. De fato
F
(A
(A
)
=
= F
.
Analogamente encontramos F
= F
, logo
L
=
1
4
F
=
1
4
F
= L,
como armado. Claramente, a equacao de movimento
= J
e invariante por tal

transformacao. Na verdade, esta e exatamente a invariancia por transformacoes de calibre
da teoria de Maxwell.
Uma observa cao importante no momento e que, apesar dos dois exemplos anteriores
tratarem de simetrias internas, eles tem uma diferenca crucial. O primeiro tem simetria
por uma transformac ao que depende de um parametro constante, enquanto que o se-
gundo por uma func ao do espaco fsico. Transforma coes como o primeiro caso, que
agem igualmente em qualquer ponto do espaco, sao chamadas transformac oes globais,
enquanto que transformac oes que dependem do ponto sobre qual agem s ao chamadas
transformac oes locais. Conclumos este captulo com um ultimo exemplo.
Exemplo 1.69 (Invariancia de Lorentz do eletromagnetismo) A transformacao
x
= T
,
onde T e a matriz mudanca de coordenadas de uma transformacao de Lorentz, e uma
simetria externa da teoria do campo eletromagnetico. De fato, a lagrangeana da teoria,
na sua forma mais geral, e
L(A
) =
1
4
F
+ J
,
que e exatamente a soma de dois produtos internos. Mais exatamente,
L =
1
4
g(F, F) + g(J, A).
Como, por denicao, transformacoes de Lorentz sao aquelas que preservam este produto
interno, a lagrangeana resultante sera sempre igual à primeira. Como consequencia, a
equacao
= J
e invariante por tal transformacao.

52 CAP

Captulo 2
Conex oes em espacos brados
Neste captulo iremos estudar alguns dos conceitos matem aticos centrais na tentativa de
geometrizac ao da fsica, a saber: os espacos brados e suas conex oes. Para tal, utilizamos
como referencias principais [34], [9], [10], [21], [37] e [35].
2.1 Fibrados em retas e brados em crculos
A noc ao intuitiva de espaco brado consiste em uma uniao disjunta de c opias de uma
certa variedade diferenciavel, parametrizada por uma outra variedade, de maneira que
esta uniao tenha tambem estrutura de variedade diferenciavel localmente dada por um
produto. Na literatura e comum denomina-los respectivamente de bra tpica, base e
espaco total.
As variedades diferenci aveis sao construdas de forma a constituir uma colagem de
objetos onde se possa realizar o calculo diferencial e integral no espaco euclidiano R
n
de forma consistente. Neste sentido, um espaco brado e uma variedade diferenci avel
que localmente tem a estrutura de variedade produto entre duas variedades. Note que,
em geral, estas estruturas produto n ao sao globais, o que de fato torna a constru cao
interessante.
Por simplicidade, nos restringiremos a precisar este conceito apenas em dois casos, o
primeiro em que a bra tpica e o conjunto dos n umeros complexos C e o segundo em que
a bra e o crculo S
1
(pensado aqui como o grupo de Lie U(1) dos n umeros complexos
de modulo 1). Na literatura, estes s ao conhecidos por brados em retas complexas e
brados em crculos.
Esta sec ao e destinada a apresentar os conceitos b asicos fundamentais a este trabalho.
Comecaremos por denir os brados em retas complexas e vericar alguns fatos a estes
relacionados, em seguida faremos o mesmo para os brados em crculos e terminamos a
se cao com a noc ao de brados associados e conceitos relacionados.
53
54 CAP
ITULO 2. CONEX
OES EM ESPA COS FIBRADOS

2.1.1 A Fibrados em retas complexas
A.1 Denicao e exemplos.
Denicao 2.1 Um brado em retas complexas sobre uma variedade M e uma variedade
E junto com uma aplicacao : E M tais que:
i). Para todo x M tem-se que
1
(x) = E
x
e um espaco vetorial complexo de dimen-
sao um;
ii). Para todo x M existe uma vizinhanca aberta U
i
M de x, chamada carta
trivializadora, e um difeomorsmo
i
:
1
(U
i
) U
i
C, chamado de trivializac ao
local, tal que
i
(
1
(x)) = x C
para todo x U
i
e
i
[
E
x
: E
x
x C e um isomorsmo linear. Denotamos tal
conjunto por C E

M, ou simplesmente E

M.
Alguns pontos valem ser ressaltados na deni cao de brados em retas complexas.
Primeiramente observe que o fato de
i
ser um difeomorsmo garante que
i
(E
x
) e um
difeomorsmo entre E
x
e x C, x U
i
. Em outras palavras,
1
(x) = E
x
(i.e., a
bra de E sobre x) e uma copia de C dentro de E. Isso justica a armac ao de que um
brado em retas complexas e uma famlia de retas complexas parametrizadas por uma
variedade base. O segundo ponto a ser ressaltado e que a condic ao ii) da deni cao garante
a existencia de uma cobertura aberta U
i
iI
de M onde estao denidas trivializac oes
locais
i
:
1
(U
i
) U
i
C. Ao conjunto U
i
,
i
iI
, chamamos de atlas brado
ou atlas trivializador do brado em retas complexas. De agora em diante omitiremos o
adjetivo complexas por comodidade.
Exemplo 2.2 (Fibrado em retas Trivial) Dada uma variedade M, a variedade pro-
duto E = M C junto com a projecao canonica (x, z) = x constitui trivialmente um
brado. A este chamamos de brado em retas trivial sobre M.
Exemplo 2.3 (Fibrado Tautol ogico) Recordemos da analise complexa que dene-se
como a reta projetiva complexa CP
1
ao conjunto das retas (complexas) que passam pela
origem de C
2
. Denotamos a reta que tem a direcao do vetor z = (z
0
, z
1
) por [z] = [z
0
, z
1
].
Note que [z
0
, z
1
] = [z
0
, z
1
] para qualquer n umero complexo nao nulo. Denindo dois
conjuntos abertos U
i
, com i = 0, 1, dados por U
i
= [z
0
, z
1
] : z
i
,= 0 e coordenadas dadas
por
i
: U
i
C tal que
0
([z]) = z
1
/z
0
e
1
([z]) = z
0
/z
1
temos que CP
1
adquire uma
estrutura de variedade que e difeomorfa a S
2
, onde um difeomorsmo explcito e dado por
(x, y, z) [x +iy, 1 z] em que a imagem de U
0
e o conjunto U
N
= S
2
0, 0, 1 e de
2.1. FIBRADOS EM RETAS E FIBRADOS EM C
IRCULOS 55
U
1
e U
S
= S
2
0, 0, 1. Em particular temos em U
0
um sistema de coordenadas dado
por [1, t] ja que
z
0
,= 0 [z
0
, z
1
] = [(1/z
0
)z
0
, (1/z
0
)z
1
] = [1, z
1
/z
0
] = [1, t]
e analogamente em U
1
temos um sistema de coordenadas dado por [s, 1]. Temos ainda um
biholomorsmo entre CP
1
e C, a esfera de Riemann, dado por ([z
0
, z
1
]) = z
0
/z
1
.
Sendo H = (w, [z]) : w = z, C
C
2
CP
1
e : H CP
1
dada por ((w, [z])) =
[z], entao C H

CP
1
e um brado vetorial em retas complexas chamado de brado
tautol ogico sobre CP
1
. Um atlas brado e obtido tomando-se os abertos U
0
e U
1
e neles
as trivializacoes dadas por
0
:
1
(U
0
) U
0
C
((z, zt) , [1, t])
_
[1, t], z
_
[t[
2
+ 1
_
1
:
1
(U
1
) U
1
C
((sw, w) , [s, 1])
_
[s, 1], w
_
[s[
2
+ 1
_
.
Exemplo 2.4 (Espaco tangente de superfcies riemannianas) Considere uma su-
perfcie riemanniana (M, g) orientada, veremos que sendo TM o seu espaco tangente, este
e tambem um brado em retas sobre M. Em TM consideramos a projecao : TM M
tal que (p, v) = p, claramente
1
(p) = T
p
M. Podemos ainda denir um operador global
J que para cada p M age em T
p
M como uma rotacao por /2 no sentido positivo
e ainda J
2
= Id. Assim dado um n umero complexo z = a + bi, podemos para cada
v T
p
M denir z v = (a +Jb)v e desse modo temos que T
p
M se torna um espaco veto-
rial complexo de dimensao um. Sabemos que para todo p M existe uma vizinhanca U
de p e um difeomorsmo : U M

U R
2
. Desta maneira temos um difeomorsmo
: TU

U R
2
e considerando :

U R
2

U C tal que (x, y, m, n) = (x, y, m+in)
teremos um difeomorsmo = : TU

U C como queramos.
A.2 Os cociclos de transicao. Seja E

M um brado em retas e xemos um atlas
trivializador U
i
,
i
iI
. Temos a seguinte
Proposicao 2.5 A cada par de abertos U
i
e U
j
tais que U
i
U
j
,= , corresponde uma
funcao suave g
ij
: U
i
U
j
C
, chamada de funcao de transi cao da carta trivializadora

U
i
para a carta U
j
, de forma que
i

1
j
(x,
j
) = (x, g
ij
(x)
j
) = (x,
i
). (2.1)
Alem disso, as funcoes cumprem as condicoes de cociclo
_
g
ii
(x) = 1 se x U
i
g
ij
(x) g
jk
(x) = g
ik
(x) se x U
i
U
j
U
k
(2.2)
56 CAP
ITULO 2. CONEX

Demonstracao. Imediata a partir do item ii) da Denicao 2.1.
Denicao 2.6 A famlia g
ij
de funcoes suaves como na proposicao anterior e deno-
minada cociclo de transic ao associado ao atlas trivializador U
i
,
i
iI
. As condicoes de
cociclo nos garantem que o conjunto imagem de todas as funcoes de transicao formam
um subgrupo do grupo multiplicativo C
, a este subgrupo chamamos de grupo estrutural

do brado em retas.
Exemplo 2.7 As funcoes de transicao no brado trivial M C sao todas iguais a 1, de
fato dados dois abertos U
i
e U
j
tais que U
i
U
j
,= , para cada x U
i
U
j
segue que
(x, 1
j
) = (x,
i
).
Exemplo 2.8 No brado tautologico temos que U
0
U
1
= [z
0
, z
1
] : z
0
z
1
,= 0. Para
encontrarmos a funcao de transicao g
10
([z
0
, z
1
]) devemos inicialmente explicitar uma ex-
pressao para
1
0
: U
0
C
1
(U
0
) H, de fato
1
0
([1, t], z) =
__
z
_
[t[
2
+ 1
,
tz
_
[t[
2
+ 1
_
, [1, t]
_
e a inversa de
0
uma vez que
0

1
0
([1, t], z) =
0
__
z
_
[t[
2
+ 1
,
tz
_
[t[
2
+ 1
_
, [1, t]
_
=
_
_
[1, t],
z
_
_
[t[
2
+ 1
_
_
[t[
2
+ 1
_
_
= ([1, t], z)
assim teremos
1

1
0
([1, t], z) =
1
__
z
_
[t[
2
+ 1
,
tz
_
[t[
2
+ 1
_
, [1, t]
_
=
1
__
1
t
tz
_
[t[
2
+ 1
,
tz
_
[t[
2
+ 1
_
,
_
1
t
, 1
_
_
=
_
_
_
1
t
, 1
_
,
tz
_
[t[
2
+ 1
1
t
2
+ 1
_
_
=
_
_
1
t
, 1
_
,
tz
_
[t[
2
+ 1
1 +[t[
2
[t[
2
_
=
_
[1, t] ,
t
[t[
z
_
para todo t ,= 0. Logo
g
10
([z
0
, z
1
]) =
t
[t[
=
z
1
/[z
1
[
z
0
/[z
0
[
.
IRCULOS 57
Em diversas situac oes concretas o que nos e disponvel em primeira inst ancia e um
cociclo de transic ao.

E notavel e operacional que a partir de tais objetos se possa construir
um brado em retas complexas. Isto e formalizado no
Teorema 2.9 Dada uma cobertura aberta U
I
de uma variedade M e funcoes g
:
U
que satisfacam as condicoes de cociclo, entao existe um brado em retas

C E

M tal que g
sao suas funcoes de transicao.

Demonstracao. Considere

M como sendo a uniao disjunta
I
(U
C). Colaremos
estes abertos atraves das aplica coes g
. Dado um ponto m
, vamos denot a-lo por

(m, ), assim se U
e tal que U
,= e o ponto m
a
U
, a escrita de m
como incluso no aberto U
ser a (m, ). Agora considere o conjunto

M cujo elementos s ao
(m, , ) := ((m, ) , ) onde C. Uma conta simples mostra que a rela cao (m, , )
(n, , ) dada por m = n e g
(m) = e de equivalencia. Mais precisamente, temos

que a reexividade de advem da condi cao g
ii
(x) = 1, a simetria, da condic ao g
ij
(x)
g
ji
(x) = 1 e a transitividade, da condic ao g
ij
(x) g
jk
(x) g
ki
(x) = 1. Agora, vamos denotar
por [(m, , )] a classe de equivalencia de (m, , ) e por L o conjunto destas classes de
equivalencia. Dena neste conjunto as operac oes adicao
[(m, , )] + [(n, , )] = [(m, , + )]
e a multiplica cao por escalar
z [(m, , )] = [(m, , z)] .
e seja
: L M
[(, m, )] m
.
A aplica cao est a bem denida pela deni cao de e as duas operac oes denidas fazem
de
1
(m) um espaco vetorial complexo de dimens ao 1. Finalmente, dena s
(m) =
[(1, m, )]. Ent ao
s
(m) = [(m, , 1)] = [(m, , g
(m))] = g
(m) s
(m)
como queramos.
Por ultimo, seja W
=
1
(U
) e considere a bijec ao
: W
C
[, x, z] (x, z)
.
Esta e uma trivializac ao local. Note que
(
)(x, z) = (x, g
a
(x) z)
e um difeomorsmo de (U
) C em s mesmo. Segue dai que L admite estrutura de

variedade diferenciavel.
58 CAP
ITULO 2. CONEX

A.3 Secoes locais e func oes complexas
Seja E

M um brado em retas sobre M e xemos um aberto U M.
Denicao 2.10 Uma aplicacao suave s : U E tal que s = Id[
U
e chamada se cao
local sobre U do brado em retas. Ao conjunto de todas as secoes locais denidas sobre
U denotamos por (U, E).
Exemplo 2.11 (Graco de uma funcao complexa) Dada uma funcao complexa de-
nida sobre uma variedade M, isto e, : M C. Temos que s(x) = (x, (x)) MC,
o graco desta funcao, e uma secao no brado em retas trivial M C e, portanto,
(M, M C).
Exemplo 2.12 (Secao nula) Seja E

M um brado em retas, como cada bra E
x
e
um espaco vetorial complexo de dimensao um, temos que cada bra tem um vetor nulo,
denotemos o elemento nulo de E
x
por 0
x
. Assim, todo brado em retas admite uma secao
global dada por s
0
(x) = 0
x
e, como dada uma trivializacao local
i
temos que
i
[
E
x
e
isomorsmo linear para cada x U
i
, entao s
0
(x) =
1
i
(x, 0), para qualquer que seja a
trivializacao
i
, o que nos diz que esta aplicacao esta bem denida e ainda e suave. A
esta chamamos de se cao nula do brado em retas.
Temos tambem imediatamente que
Proposicao 2.13 Denindo a soma entre duas secoes locais como a soma feita ponto
a ponto e o produto por escalar (n umero complexo) tambem ponto a ponto, (U, E) tem
estrutura de espaco vetorial, com s
0
sendo o vetor nulo.
A proxima proposicao estabelece uma bije cao entre sec oes locais e trivializac oes locais.
Proposicao 2.14 (Secao local vs Trivializacao local) Seja E

M um brado em
retas. Sao validas
1. A cada secao local s : U E que nao se anula em ponto algum corresponde uma
trivializacao local :
1
(U) U C cuja inversa cumpre
1
i
(x, ) = s
i
(x);
2. Dada uma trivializacao local :
1
(U) U C entao s : U E dada por
s
i
(x) =
1
i
(x, 1)
e uma secao local que nunca se anula.
Demonstracao. Imediata.
IRCULOS 59
Denicao 2.15 Um referencial local do brado em retas E

M sobre um aberto U e
tao somente uma secao local s (U, E) que nunca se anula.
Em seguida, como preparac ao para o terreno para caracterizar trivializacoes globais,
introduziremos as nocoes de aplica cao brado e de isomorsmo brado. Para isto, xemos
dois brados em retas (E, M, ) e (F, N,
).
Denicao 2.16 Dizemos que uma aplicacao suave : E F e uma aplica cao brada
em retas se para todo u E e w F com
(u) = w
tivermos que
[
E
(u)
: E
(u)
F
(w)
e isomorsmo C-linear.
Um fato que decorre imediatamente da denic ao anterior e que uma aplicac ao brada
em retas : E F induz uma aplicac ao

: M N denida por

((u)) =
((u)).
Denicao 2.17 (Isomorsmo brado) Sejam (E, M, ) e (E
, M,
) brados em re-
tas sobre uma mesma variedade M.
1. Um isomorsmo brado entre (E, M, ) e (E
, M,
) e uma aplicacao brada :

E E
que e um difeomorsmo e a aplicacao induzida

: M M e a identidade.
2. (E, M, ) e dito trivial se e isomorfo como brado em retas ao brado em retas
trivial.
E agora podemos enunciar o seguinte resultado.
Proposicao 2.18 (Trivialidade de brados em retas) Um brado em retas E

M e trivial se, e somente se, admite um referencial global.

Demonstracao. Seja : E M C um isomorsmo brado entre E e M C, entao
1
(x, 1) dene um referencial global para E. Reciprocamente, suponha que s : M
E seja um referencial global e considere : M C E dada por (x, ) = s(x).
Claramente esta e uma aplica cao brada em retas, pois para cada x M temos que
s(x) C
e assim s(x) e um isomorsmo entre retas complexas. e ainda biunvoca,

diferenciavel e ainda com inversa diferenci avel, logo um isomorsmo brado.
Finalmente, as relac oes entre se coes locais e cociclos se da da forma como segue:
Considere trivializac oes locais
i
e
j
tais que U
i
U
j
,= . Se s (U
i
U
j
, E), existem
funcoes
i
,
j
: U
i
U
j
C tais que s =
i
s
i
=
j
s
j
, onde s
i
e s
j
s ao os referenciais
60 CAP
ITULO 2. CONEX

locais associados a
i
e
j
, logo
i
(
i
(x)s
i
(x)) = (x,
i
(x)) e
j
(
j
(x)s
j
(x)) = (x,
j
(x)).
Portanto
i
= g
ij
j
. (2.3)
Disto decorre que
i
s
i
=
j
s
j
(g
ij
j
) s
i
=
j
s
j
g
ij
s
i
= s
j
g
ji
g
ij
s
i
= g
ji
s
j
,
logo
s
i
= g
ji
s
j
. (2.4)
Reciprocamente, dado um atlas trivializador U
i
,
i
iI
de E com referenciais associados
s
i
, temos que um conjunto de func oes
i
: U
i
C tais que nas intersec oes de seus domnios
satisfacam (2.3) dene uma sec ao global em E.
2.1.2 B Fibrados em crculos
Seguiremos agora com os brados em crculos, ou melhor brados com bra e grupo
estrutural U(1).
B.1 Denicao e exemplos. Comecaremos recordando que dada uma variedade dife-
renci avel P e uma aplicac ao R : P U(1) P, R e chamada uma acao à direita de U(1)
em P se R(u, 1) = u e R(R(u, g), h) = R(u, g h). Denotaremos R(u, g) por simplesmente
u g. Agora podemos introduzir o conceito de brado em crculos.
Denicao 2.19 Um brado em crculos (P, M, , R) sobre uma variedade M e uma va-
riedade P, junto com uma aplicacao suave : P M e uma acao suave a direita R de
U(1) em P, tais que
i). Para quaisquer u P e g U(1) vale
(u g) = (u); (2.5)
ii). Para todo p M existe uma vizinhanca aberta U
i
M de p, chamada carta trivia-
lizadora, e um difeomorsmo
i
:
1
(U
i
) U
i
U(1), chamado trivializacao local,
tal que
i
e da forma
i
(u) = ((u), f
i
(u)) (2.6)
onde f
i
:
1
(U
i
) U(1) satisfaz
f
i
(u g) = f
i
(u) g; u P, g S
1
. (2.7)
Denotamos tal conjunto por U(1) P

M, quando nao houver risco de confusao
quanto à acao, ou ainda por P(M, U(1)), quando nao houver risco de confusao quanto à
projecao .
IRCULOS 61
Vejamos agora alguns exemplos de brados em crculos.
Exemplo 2.20 (Fibrado em crculos trivial) Dada uma variedade M, a variedade
produto P = M U(1) juntamente com a projecao (u, g) = u e a acao R : P U(1)
P dada por R((u, g), h) = (u, g h) constitui um brado em crculos sobre M. A este
chamamos brado em crculos trivial sobre M. Em particular se tomarmos M = S
1
segue
que o toro T
2
= S
1
U(1) e um brado em crculos sobre S
1
onde a acao à direita sao
rotacoes da bra.
Exemplo 2.21 (Fibrado de Hopf) Sendo S
3
= (z
0
, z
1
) C
2
: [z
0
[
2
+ [z
1
[
2
= 1,
veremos que e possvel construir um brado em crculos U(1) S
3

CP
1
sobre CP
1
, a
este brado denomina-se brado de Hopf complexo. Considere a acao R : S
3
U(1) S
3
dada por R((z
0
, z
1
), g) = (gz
0
, gz
1
) e a projecao : S
3
CP
1
dada por (z
0
, z
1
) = [z
0
, z
1
].
De fato temos que a condicao i) da denicao e satisfeita uma vez que
((z
0
, z
1
) g) = (gz
0
, gz
1
) = [gz
0
, gz
1
] = [z
0
, z
1
] = (z
0
, z
1
).
Para vericarmos que a condicao ii) e satisfeita devemos considerar a cobertura U
i
de
CP
1
, com i = 0, 1, tal que U
i
= [z
0
, z
1
] : z
i
,= 0. Desse modo temos
1
(U
i
) =
(z
0
, z
1
) S
3
: z
i
,= 0 e assim
0
:
1
(U
0
) U
0
U(1)
(z
0
, z
1
)
_
[z
0
, z
1
],
z
0
|z
0
|
_
1
:
1
(U
1
) U
1
U(1)
(z
0
, z
1
)
_
[z
0
, z
1
],
z
1
|z
1
|
_
sao tais que
i
(z
0
, z
1
) = ((z
0
, z
1
), f
i
(z
0
, z
1
))
onde f
i
(z
0
, z
1
) =
z
i
|z
i
|
satisfaz
f
i
((z
0
, z
1
) g) = f
i
((gz
0
, gz
1
)) =
gz
i
[gz
i
[
=
gz
i
[z
i
[
=
z
i
[z
i
[
g = f
i
((z
0
, z
1
)) g
como queramos. Uma vez que CP
1
e difeomorfo a S
2
e U(1) e difeomorfo a S
1
, e comum
na literatura denotar este brado por S
1
S
3

S
2
.
Vemos aqui uma situacao muito similar ao brados em retas, uma vez que a condic ao
ii) da denic ao assegura que um brado em crculos sobre M e, a grosso modo, uma
famlia de crculos parametrizados por M. Temos ainda o seguinte
Lema 2.22 Para cada u P, a bra sobre (u) coincide com a orbita de u pela acao de
U(1), i.e.,
P
(u)
= u g : g U(1) = u U(1).
62 CAP
ITULO 2. CONEX

Demonstracao. Primeiramente observe que segue de (2.5) que
1
((u)) u U(1).
Considere agora u

1
((u)) e seja
i
uma trivializac ao tal que (u) U
i
. Temos
imediatamente que (u
) = (u) = x, logo
i
(u) = ((u), f
i
(u)) e
i
(u
) = ((u), f
i
(u
)).
Portanto, f
i
(u), f
i
(u
) U(1), de onde segue que existe g U(1) tal que f

i
(u)g = f
i
(u
).
Por outro lado, segue de (2.7) que f
i
(ug) = f
i
(u
), logo
i
(ug) = ((ug), f
i
(ug)) = ((u), f
i
(u
)) = ((u
), f
i
(u
)) =
i
(u
).
Como
i
e difeomorsmo, temos que u
= ug, o que nos diz que

1
((u)) u U(1).
Segue o resultado desejado.
B.2 Os cociclos de transicao. Observe que a condic ao ii) da Deni cao 2.19 garante a
existencia de uma cobertura aberta U
i
iI
de M onde est ao denidas trivializac oes locais
i
:
1
(U
i
) U
i
U(1), dadas por
i
= (, f
i
). Ao conjunto U
i
,
i
iI
, chamamos
de atlas trivializador do brado em crculos. Assim como nos brados em retas, podemos
denir em cada dois abertos U
i
e U
j
no atlas trivializador do brado em crculos tais
que U
i
U
j
,= , as chamadas funcao de transicao entre U
j
e U
i
, g
ij
: U
i
U
j
U(1)
denidas por
i
1
j
(x, g) = (x, g
ij
(x)g). Esta nomenclatura faz sentido j a que um mesmo
ponto u no espaco total P tem coordenadas (x, g) pela trivializac ao
j
e (x, g
ij
(x)g) pela
trivializac ao
i
.
De fato estas func oes estao bem denidas pois dados U
i
e U
j
tais que U
i
U
j
,= ,
segue que
i

1
j
e um difeomorsmo de (U
i
U
j
) U(1) em si mesmo e que preserva o
primeiro fator, pois
i
= (, f
i
). Mais precisamente para x U
i
U
j
temos
i

1
j
(x, g) = (x, g
ij
(x, g)),
onde, para cada x, temos uma aplicacao g
ij
(x, ) : U(1) U(1). Mais ainda, segue de
(2.7) que esta deve ser invariante pela a cao à direita, ou seja,
g
ij
(x, g)h = g
ij
(x, gh), g, h U(1).
Portanto tomando g = 1, a aplicac ao g
ij
(x, ) coincide com a multiplicac ao à esquerda
em U(1) por g
ij
(x, 1) U(1). Assim tem sentido denotarmos esta aplicac ao apenas por
g
ij
(x) g := g
ij
(x, g).
Vale ainda destacar que as fun coes de transicao relativas ao atlas trivializador U
i
,
i
iI
s o fazem sentido se satiszerem as seguintes condic oes
a). g
ii
(x) = 1, para x U
i
;
b). g
ij
(x) g
ji
(x) = 1, para x U
i
U
j
e
c). g
ij
(x) g
jk
(x) g
ki
(x) = 1, para x U
i
U
j
U
k
.
IRCULOS 63
Tais condic oes s ao chamadas de condicoes de cociclo.
Exemplo 2.23 As funcoes de transicao no brado trivial M U(1) sao todas iguais a
1, de fato dados dois abertos U
i
e U
j
tais que U
i
U
j
,= , para cada x U
i
U
j
segue
que (x, 1 g
j
) = (x, g
i
).
Exemplo 2.24 No brado de Hopf U(1) S
3

CP
1
temos que U
0
U
1
= [z
0
, z
1
] :
z
0
z
1
,= 0. Para encontrarmos a funcao de transicao g
10
(x) devemos inicialmente
explicitar uma expressao para
1
0
: U
0
U(1)
1
(U
0
) S
3
, de fato
1
0
([1, t], g) =
_
g
_
[t[
2
+ 1
,
tg
_
[t[
2
+ 1
_
e a inversa de
0
uma vez que
0

1
0
([1, t], g) =
0
_
g
_
[t[
2
+ 1
,
tg
_
[t[
2
+ 1
_
=
_
_
[
g
_
[t[
2
+ 1
,
tg
_
[t[
2
+ 1
],
g
|t|
2
+1
[
g
|t|
2
+1
[
_
_
=
_
g
_
[t[
2
+ 1
[1, t],
g
_
[t[
2
+ 1
[
_
[t[
2
+ 1[
[g[
_
= ([1, t], g)
assim teremos
1

1
0
([1, t], g) =
1
_
g
_
[t[
2
+ 1
,
tg
_
[t[
2
+ 1
_
=
_
_
[
g
_
[t[
2
+ 1
,
tg
_
[t[
2
+ 1
],
tg
|t|
2
+1
[
tg
|t|
2
+1
[
_
_
=
_
[1, t],
tg
[tg[
_
=
_
[1, t], g
t
[t[
_
para todo t ,= 0. Logo
g
10
([z
0
, z
1
]) =
t
[t[
=
z
1
/[z
1
[
z
0
/[z
0
[
=
z
1
[z
0
[
z
0
[z
1
[
.
Convem para interesses futuros expressarmos esta funcao de transicao em coordenadas
esfericas, o que e possvel uma vez que CP
1
e S
2
sao difeomorfos. Para isso introduziremos
em S
3
C
2
as coordenadas (z
0
, z
1
) = (cos e
i
, sin e
i
) com 0 /2, desta forma
teremos
(z
0
, z
1
) = [cos e
i
, sin e
i
] = [cos e
i()
, sin ]
64 CAP
ITULO 2. CONEX

entao
g
10
([z
0
, z
1
]) = g
10
([cos e
i
, sin ])
=
(sin ) [ cos e
i
[
(cos e
i
) [ sin [
= e
i()
(sin ) [ cos [
(cos ) [ sin [
= e
i()
.
Como
[cos e
i
, sin ] = [cos (cos ( ) +i sin ( )) , sin ]
segue pelo difeomorsmo (x, y, z) [x + iy, 1 z] entre CP
1
e S
2
que := e
o parametro usual em coordenadas esfericas. Assim, como brado sobre S
2
com cartas
trivializadoras U
N
= S
2
0, 0, 1 e U
S
= S
2
0, 0, 1, o brado de Hopf tem como
funcao de transicao
g
SN
(, ) = e
i
.
Mesmo um brado sendo um objeto com uma estrutura global, a existencia de fun coes
de transic ao entre trivializacoes locais nos permite estudar tal estrutura localmente e, mais
importante, conhecendo como estas trivializac oes locais se colam, podemos recuperar
completamente a estrutura global inicial. Mais precisamente temos
Teorema 2.25 Dada uma cobertura aberta U
i
iI
de uma variedade M e funcoes g
ij
:
U
i
U
j
U(1) que satisfacam as condicoes de cociclo, entao existe um brado em crculos
U(1) P

M tal que g
ij
sao suas funcoes de transicao.
Demonstracao. A prova e a adaptac ao direta para o presente caso da demonstra cao feita
para o Teorema 2.9. Observar que no presente caso ao inves de se denir um produto por
escalar complexo na bra, dnir-se- a uma ac ao à direita do grupo U(1) na bra.
De maneira an aloga aos brados em retas podemos nos brados em crculos generalizar
o conceito de graco de uma func ao.
Denicao 2.26 Seja P(M, U(1)) um brado em crculos. Uma aplicacao suave s : U
M P tal que s = Id[
U
, e chamada secao local sobre U do brado em crculos. O
conjunto de todas as secoes locais denidas sobre U sera denotado por (U, P).
B.3 Sec oes locais e func oes locais em U(1). Dada uma trivializac ao local
i
e
uma aplicac ao diferenci avel f : U
i
U(1), temos que s(x) =
1
i
(x, f(x)) dene uma
se cao local sobre U
i
. Tomando-se f(x) 1 ` a se cao s(x) =
1
i
(x, 1) chamamos de secao
local canonica associada a
i
. Reciprocamente, dada uma secao local s (U
i
, P) e, uma
vez que
1
(U
i
) =
_
xU
i
1
(x) =
_
xU
i
s(x)g : g U(1)
IRCULOS 65
pois s(x) P
x
, temos que
i
:
1
(U
i
) U
i
U(1), denida por
i
(s(x)g) = (x, g),
e uma trivializacao local para
1
(U
i
), ja que e claramente uma bijec ao, pelo Lema 2.22,
e e suave pois
i
(u) = (, f
i
). Dado u
1
(U
i
) e uma trivializac ao
j
tal que (u) U
j
,
temos
f
j
(u) = f
j
(s (u) g) = ((f
j
s )(u)) g
g = f
j
(u)((f
j
s )(u))
1
= f
i
(u),
o que nos diz que f
i
e suave. Sua inversa tambem suave pois
1
i
(x, g) = s(x)g e a com-
posic ao de duas aplicac oes suaves. Assim estabelecemos uma correspondencia biunvoca
entre se coes locais e trivializacoes locais de um brado em crculos.
Podemos explicitar como se relacionam duas secoes locais que tais que seus domnios
tenham intersec ao nao vazia. De fato sendo x U
i
U
j
, s
i
(U
i
, P) e s
j
(U
j
, P)
se coes locais canonicas associadas ` as trivializac oes
i
e
j
, respectivamente, teremos
s
i
(x) =
1
i
(x, 1) =
1
j
(x, g
ji
(x) 1) =
1
j
(x, 1)g
ji
(x) = s
j
(x)g
ji
(x),
onde g
ji
(x) e a func ao de transi cao entre
i
e
j
.
B.4 Aplicac oes bradas. Na verdade, essa correspondencia consequencias muito im-
portantes. Para demostrar este fato, precisaremos introduzir alguns conceitos.
Denicao 2.27 Dados dois brados em crculos (P, M, , R) e (Q, N,
, R
), dizemos
que uma aplicacao suave : P Q e uma aplica cao brada (em crculos) se
(u) = w (P
(u)
) = Q
(w)
. (2.8)
Em particular, induz uma aplicacao

: M N denida por

((u)) =
((u)).
Dois brados em crculos, (P, M, , R) e (P
, M,
, R
), sao ditos equivalentes se existe

uma aplicacao brada em crculos : P P
tal que seja um difeomorsmo e

seja a
aplicacao identidade. Dizemos que um brado em crculos e trivial se este for equivalente
ao brado em crculos trivial.
Conclumos as denicoes b asicas envolvendo brados em crculos com o seguinte re-
sultado:
Proposicao 2.28 Um brado em crculos e trivial se e somente se admite uma secao
global.
66 CAP
ITULO 2. CONEX

Demonstracao. Seja (P, M, , R) um brado em crculos sobre M e s (M, P) uma
se cao global. Sabemos que para cada x M tem-se P
x
= s(x) U(1) e assim cada
u P e unicamente escrito como s(x)g para algum x M e g U(1). Considere,
ent ao, : P M U(1) dada por (s(x)g) = (x, g). Ja vimos que esta aplicac ao e
um difeomorsmo e, como claramente esta satisfaz (2.8), temos que tal brado e trivial.
Reciprocamente, suponha que : M U(1) P seja uma aplicac ao brada em crculos
que estabeleca uma equivalencia entre este dois brados. Entao, cada g U(1) s
g
denida
por s
g
(x) = (x, g) e uma sec ao global, i.e., s (M, P).
2.1.3 C Fibrados associados
Iremos agora estabelecer relac oes estruturais entre brados em retas complexas e brados
em crculos, usando como ponte para tal os cociclos de transi cao das mesmas.
Denicao 2.29 Dado um brado em crculos U(1) P

M com atlas trivializador
U
i
,
i
iI
e funcoes de transicao g
ij
, dizemos que um brados em retas (E, M, ) e asso-
ciado a a U(1) P

M se admitir atlas trivializador U
i
,
i
iI
e funcoes de transicao
h
ij
tais que h
ij
= g
ij
para todos i, j I.
De fato, pelos Teoremas 2.25 e 2.9, dado um brado em crculos sempre existe um
brado em retas associado a este. Reciprocamente, dado um brado em retas com funcoes
de transicao assumindo valores em U(1), existe um brado em crculos que lhe e associado.
Exemplo 2.30 No Exemplo 2.7 vimos que dada uma variedade M as funcoes de tran-
sicao de seu brado em retas trivial sao todas identicamente iguais a 1 e no Exemplo
2.23 vimos que o mesmo acontece com as funcoes de transicao do seu brado em crculos
trivial. Dessa maneira para qualquer variedade M temos que seus brados triviais sao
associados.
Exemplo 2.31 Os brados tautologico e de Hopf sobre CP
1
sao associados. De fato
temos pelo Exemplo 2.8 que as funcoes de transicao do brado tautologico sao dadas por
g
10
([z
0
, z
1
]) =
z
1
/[z
1
[
z
0
/[z
0
[
e que pelo Exemplo 2.24 obtemos o mesmo para o brado de Hopf.
A diferenca fundamental entre um brado em retas que e associado a um brado em
crculos para um brado em retas qualquer, e que suas func oes de transic ao assumem
valores apenas em U(1) C
. Na verdade, essa diferenca tem a importante consequencia

de podermos denir um produto escalar hermitiano em cada bra. Recorde que um
produto escalar hermitiano em um espaco vetorial complexo V , e uma aplicacao bilinear
h : V V C tal que
2.2. CONEX
OES EM FIBRADOS 67
i) h(v, u) = h(u, v), v, u V ;
ii) h(v, v) 0, v V.
Sejam
i
,
j
trivializac oes locais com referenciais can onicos dados respectivamente por
s
i
, s
j
, entao duas se coes globais quaisquer , podem ser escritas localmente na forma
=
i
s
i
=
j
s
j
e =
i
s
i
=
j
s
j
, onde
i
,
i
: U
i
C s ao func oes complexas. Segue
de (2.3) que
i
=
j
g
ij
j
g
ij
=
j
g
1
ij

j
g
ij
=
j
j
.
Portanto, ca bem denido o produto interno
, =

i
, (2.9)
podemos perceber que esta operac ao nao depende de nenhuma trivializac ao em particular,
logo est a globalmente denida. Mais ainda,
[[[[ =
_
, (2.10)
e uma norma bem denida em cada bra.
Denicao 2.32 Um brado em retas (E, M, ) munido de uma famlia de produtos es-
calares hermitianos
h
x
:
1
(x)
1
(x) C
(s(x), t(x)) h
x
(s(x), t(x)) = s, t
x
,
denidos bra a bra e que varia suavemente e chamado de brado em retas hermitiano.
`
A famlia de produtos h chamamos de estrutura hermitiana do brado em retas.
Assim um brado em retas associado a um brado em crculos possui uma estrutura
hermitiana canonica.
2.2 Conexoes em brados
Ate o momento vimos conceitos envolvendo brados em crculos e brados em retas,
vimos que podemos estudar estes espacos como sendo localmente um espa co produto e
em particular vimos que podemos denir um analogo ` a no cao de funcao diferenciavel em
tal estrutura, i.e., uma sec ao local. Uma pergunta natural a ser feita e se certas noc oes do
c alculo podem ser estendidas para tais aplicacoes como, por exemplo, a noc ao de derivada
direcional. Nesta sec ao nos ocuparemos de apresentar um conceito que responde a tal
quest ao.
68 CAP
ITULO 2. CONEX

2.2.1 A Conex oes em brados em retas complexas
Passaremos agora ` a construc ao de um conceito de derivac ao das sec oes de um brado por
retas, avaliando algumas de suas consequencias.
A.1 Conexoes lineares Comecamos por levantar a questao natural do que seria uma
noc ao de variac ao de uma sec ao em relac ao a uma dada direc ao, mais precisamente, sendo
C E

M um brado em retas, s uma secao e X = X(x) T
x
M um vetor tangente
a x M o que seria a derivada direcional de s com relac ao a X em x. Para precisar esta
quest ao lembremos da denic ao de derivada direcional da analise, assim considere uma
curva : (, ) M tal que (0) = x e
(0) = X queremos encontrar, caso exista, o

limite
lim
t0
s((t)) s((0))
t
no entanto a diferenca s((t))s((0)) n ao faz o menor sentido ja que s((t))
1
((t))
e s((0)
1
((t)), i.e., pertencem a espa cos vetoriais complexos diferentes.
Portanto, iremos construir um operador diferencial que generalize as propriedades
desejadas da derivada direcional, a este objeto chamaremos de conex ao linear no brado
em retas.
Denicao 2.33 Uma conexao linear em um brado em retas C E

M e uma
aplicacao linear
: (M, E) (M, T
M E)
satisfazendo a regra de Leibniz, i.e., tal que para toda s (M, E) e f C
(M, C)
tenhamos
(fs) = df s + fs
E assim temos
Denicao 2.34 Sendo C E

M um brado em retas com uma conexao , s
(M, E) uma secao e X X(M) denimos a derivada covariante de s com respeito a X
em relacao a conexao como sendo a secao
X
s = s(X) (2.11)
Exemplo 2.35 Considere o brado em retas trivial E = M C sobre uma variedade M
, X X(M) e s (M, E). Temos que
X
s = (x, ds(x) X(x)) = (x, X(s))
onde d e o operador que associa a cada funcao complexa a sua diferencial e uma conexao
sobre E, ja que este e linear e satisfaz a regra de Leibniz. Dessa forma conclumos que a
nocao de conexao e uma generalizacao da nocao de derivacao.
2.2. CONEX
OES EM FIBRADOS 69
Convem agora introduzir escritas em coordenadas para uma conex ao em um brado
em retas, pois s o desta maneira e que poderemos realizar c alculos em situac oes praticas,
antes vejamos os seguintes resultados tecnicos
Proposicao 2.36 Um brado em retas sempre admite uma conexao.
Demonstracao. Sendo C E

M um brado em retas, tome uma cobertura aberta
de M dada pelo seu atlas trivializador U
i
,
i
iI
, assim temos em cada U
i
uma sec ao local
s
i
que nao se anula em ponto algum de U
i
. Se e uma secao de E podemos escreve-la
localmente como [
U
i
=
i
s
i
. Tomando uma particao da unidade
i
subordinada a essa
cobertura, note que
i
s
i
se estende suavemente a toda M. Ent ao
=
d
i
i
s
i
dene uma conexao sobre E uma vez que e linear e obedece ` a regra de Leibniz pelas
propriedades da diferencial d.
Proposicao 2.37 Se e uma conexao em um brado em retas C E

M e U M
e um aberto, entao existe uma unica conexao
U
em E[
U
U tal que
s[
U
=
U
(s[
U
)
Demonstracao. Primeiramente vericaremos que se s e uma sec ao que se anula identi-
camente em uma vizinhanca U de um ponto x M, ent ao (s)(x) = 0. De fato nestas
condic oes podemos encontrar uma fun cao f sobre M que igual a 1 fora de U e igual a
zero em alguma vizinhanca de x tal que fs = s e assim
(s)(x) = (fs)(x) = df(x)s(x) + f(x)(s)(x) = 0
E portanto se duas sec oes s e t coincidem em uma vizinhanca U de um ponto x, temos que
(t s)(x) = 0 logo (t s)(x) = 0 e por linearidade (s)(x) = (t)(x). Seja s (U, E)
e x U ent ao podemos multiplicar esta s por uma funcao bump h que seja 1 em uma
vizinhanca de x de maneira que s (M, E) denida por
s(y) =
_
0 se y / U
hs(y) se y U
estende s sobre M e assim podemos denir
U
(s)(x) = ( s)(x). Caso seja escolhida uma
diferente func ao bump h
que estende s a uma sec ao s, temos que s e s coincidem em uma

vizinhanca de x e portanto
U
(s)(x) est a bem denida.
70 CAP
ITULO 2. CONEX

A.2 Formas de conexao. Dado um brado em retas C E

M munido de uma
conexao e uma trivializac ao local U
i
deste, o resultado anterior nos garante que faz
sentido estudar esta conex ao restrita a E[
U
i
U
i
. Sendo s
i
o referencial canonico sobre
U
i
temos que s
i
(U
i
, T
U
i
E[
U
i
) e ent ao existe uma 1-forma A
i

1
(U
i
) C, i.e.,
assumindo valores complexos tal que
s
i
= A
i
s
i
a esta 1-forma chamamos de forma local da conexao induzida pelo referencial s
i
. Na
verdade a forma de conex ao induzida determina completamente a conex ao restrita a U
i
pois dada uma secao qualquer s (M, E), quando restrita a U
i
, esta pode ser escrita
como s[
U
i
=
i
s
i
onde
i
: U
i
C e assim
s = (
i
s
i
)
= d
i
s
i
+
i
s
i
= d
i
s
i
+
i
A
i
s
i
= (d
i
+
i
A
i
) s
i
(2.12)
E conveniente que estudemos como se comporta a forma de conex ao quando mudamos

o referencial. Mais precisamente, sejam s
i
e s
j
dois referenciais tais que a interse cao de
seus domnios e n ao-vazia, sabemos que estes determinam trivializa coes locais e ainda que
s ao relacionados por
s
i
= g
ji
s
j
.
Sendo U a intersecao do domnio destes referenciais e s uma secao denida em U, temos
que s = s
i
i
= s
j
j
. Logo
i
=
j
g
1
ji
=
j
g
ij
.
Assim temos
s
i
= (g
ji
s
j
) = dg
ji
s
j
+ g
ji
s
j
.
Como s
i
= A
i
s
i
e s
j
= A
j
s
j
, segue que
A
i
s
i
= dg
ji
s
j
+ g
ji
A
j
s
j

A
i
s
i
= dg
ji
g
1
ji
s
i
+ g
ji
A
j

_
g
1
ij
s
i
_

A
i
= dg
ji
g
1
ji
+ g
ji
A
j
g
1
ji
,
ou seja,
A
i
= A
j
+ g
1
ji
dg
ji
. (2.13)
Aqui destacamos o fato da func ao g
ij
transformar o referencial s
j
no referencial s
i
e n ao
a componente de uma sec ao em relac ao ao referencial s
j
na componente de uma se cao em
relac ao ao referencial s
i
. Isso guarda relacao com a comparacao entre mudancas de bases
e mudancas de coordenadas na

Algebra Linear.
2.2. CONEX
OES EM FIBRADOS 71
E importante observar que as formas locais de conexao guardam toda a informac ao

referente ` a conex ao, mais precisamente temos que
Proposicao 2.38 Dado um brado em retas C E

U
i
,
i
iI
e uma famlia de 1-formas A
i
iI
que satisfacam
A
i
= A
j
+ g
1
ji
dg
ji
sempre que U
i
U
j
,= , entao existe uma conexao em C E

M tal que s
i
=
A
i
s
i
, onde s
i
sao os referenciais associados ao atlas trivializador.
Demonstracao. J a sabemos pela Proposi cao 2.37 que pode ser vista localmente.
Assim tomando trivializac oes locais U
i
e U
j
tais que U
i
U
j
,= temos para uma sec ao
(M, E) que
[
U
i
= (d
i
+ A
i
i
) s
i
e [
U
j
= (d
j
+ A
j
j
) s
j
.
Assim por um lado temos [
U
i
U
j
= (d
i
+ A
i
i
)s
i
e por outro [
U
i
U
j
= (d
j
+ A
j
j
)
s
j
. Sabemos que
j
= g
ji
i
e s
j
= g
ij
s
i
com g
ji
= g
1
ij
e por hip otese A
i
= A
j
+g
1
ji
dg
ji
ou
A
j
= A
i
+ g
1
ij
dg
ij
logo
[
U
i
U
j
= (d
j
+ A
j
j
) s
j
=
_
d
_
g
1
ij

i
_
+ A
j
_
g
1
ij

i
_
(g
ij
s
i
)
=
_
g
2
ij
dg
ij
i
+ g
1
ij
d
i
+ A
j
_
g
1
ij

i
_
(g
ij
s
i
)
=
_
g
1
ij
dg
ij
i
+ d
i
+ A
j
s
i
=
_
d
i
+
_
A
j
g
1
ij
dg
ij
_
s
i
= [d
i
+ A
i
i
] s
i
o que nos diz que nas intersec oes de trivializa coes diferentes a derivada covariante de uma
se cao esta bem denida e portanto temos denida uma conexao.
A.3 Transporte paralelo e holonomia. Em posse do conceito de derivac ao covari-
ante, podemos denir quando uma se cao varia ou nao ao longo de uma curva em relac ao
a uma dada conex ao, mais precisamente temos a seguinte
Denicao 2.39 Dado um brado em retas C E

M com conexao , dizemos que
uma secao s (M, E) e paralela ao longo de uma curva : (, ) M em relacao a
conexao se
(t)
s 0 (2.14)
72 CAP
ITULO 2. CONEX

A escrita local da conexao em termos de formas nos permite caracterizar a condic ao
de secao paralela ao longo de uma curva em termos destas 1-formas, basta reinterpretar
a condicao (2.14) nestes termos. De fato, consideremos uma curva : (, ) U
i
, um
referencial local s
i
sobre U
i
e uma se cao local tal que s = s[
=
i
(t)s
i
((t)), ent ao s e
paralela ao longo de se, e somente se,
0
(t)
s =
(t)
(
i
(t)s
i
) = (d
i
(t) +
i
A
i
) (
(t)) s
i
Como s
i
e um referencial, isso acontece precisamente quando
d
i
(t)
dt

i
(t)A
i
(t), (2.15)
onde A
i
(t) = A
i
(
(t)). Assim temos uma equac ao diferencial como condi cao de parale-
lismo e com base nela temos a seguinte
Denicao 2.40 Seja C E

M um brado em retas munido de uma conexao ,
: [0, 1] M uma curva diferenciavel em M e s (M, E) uma secao paralela ao longo
de em relacao a . Chamamos de transporte paralelo de u = s((0)) E
(0)
ao longo
de em relacao a ao unico ponto u
E
(1)
tal que u
= s(1).
Note que a denicao e consistente, uma vez que trata-se de uma EDO com condic ao
inicial. Esta denic ao tambem justica o nome conex ao, uma vez que conecta (compara)
bras diferentes. Observe ainda que o transporte paralelo dene uma aplicacao
P
:
1
((0))
1
((1))
que e na verdade um isomorsmo, uma vez que as soluc oes da EDO (2.15) dependem
linearmente da condicao inicial.
Inuenciados pela aplica cao de primeiro retorno de Poincare, daremos destaque espe-
cial ao caso em que e uma curva fechada e, portanto, o transporte paralelo dene um
automorsmo na bra E
(0)
. Este automorsmo e chamado de holonomia da curva em
relac ao a conex ao e ser a denotado por hol(, ), i.e.,
P
: E
(0)
E
(0)
u hol(, ) u
Caso a curva esteja toda contida em um aberto onde est a denido um referencial
local s
i
, a holonomia do caminho pode ser escrita como segue:
Proposicao 2.41 Seja C E

dada localmente por
s
i
= A
i
s
i
, e : [0, 1] U
i
M um caminho fechado inteiramente
contido numa carta trivializadora U
i
, entao
hol(, ) = exp
_
A
i
_
, (2.16)
onde A
i
e a forma de conexao associada ao referencial s
i
.
2.2. CONEX
OES EM FIBRADOS 73
Demonstracao. Sendo s = s[
=
i
(t)s
i
((t)), entao segue de (2.15) que d log
i
(t)
A
i
(t). O resultado segue do teorema fundamental do c alculo, uma vez que
hol(, )(u) =
i
(1) = exp log
i
(1)
= exp
_
log
i
(0) +
_
1
0
d log
i
(t)
_
= exp
_
log
i
(0)
_
1
0
A
i
(t)
_
= exp
_
A
i
_
u,
onde u =
i
(0).
A.4 Curvatura e forma de curvatura. Veremos agora como aparece naturalmente
um dos conceitos mais importantes relacionados ` a conex ao de um brado. Vimos no
Exemplo 2.35 que o operador diferencial de uma fun cao complexa sobre uma variedade
M dene uma conex ao no brado trivial M C. Sejam X, Y X(M) e s (M, E)
podemos avaliar a derivada covariante de s com respeito ao colchete de Lie entre X e Y
[X,Y ]
s = (x, ds [X, Y ])
= (x, [X, Y ](s))
= (x, XY (s)) (x, Y X(s))
= (x, X(ds Y )) (x, Y (ds X))
= (x, dds Y X) (x, dds X Y )
=
X
Y
s
Y
X
s
onde omitimos a dependencia de x por conveniencia.
A equac ao
[X,Y ]
s =
X
Y
s
Y
X
s n ao e satisfeita para qualquer conex ao, o que
signica que em geral a derivada covariante de uma conex ao nao e comutativa. Essa nao
comutatividade recebe um nome especial dado pela

X e Y dois campos vetoriais em M, a aplicacao que associa o par X, Y ao operador
K(X, Y ) =
X
Y

Y
X

[X,Y ]
que age sobre (M, E), e chamada de curvatura da conexao.
Exemplo 2.43 Temos que a curvatura da conexao
X
s = (x, ds(x) X(x))
sobre o brado trivial M C e identicamente nula.
74 CAP
ITULO 2. CONEX

Dados um brado em retas C E

M munido de uma conex ao , s (M, E)
uma secao e
i
s
i
sua escrita local em termos de um referencial local s
i
sobre um aberto
U
i
, segue pela denic ao que em relac ao a este referencial a curvatura da conex ao pode ser
escrita como
K(X, Y )s =
i
F
i
(X, Y )s
i
onde F
i
e uma 2-forma sobre U
i
, que e chamada de forma local de curvatura da conexao
. O seguinte resultado nos fornece uma escrita local para esta forma.
Proposicao 2.44 Dados um brado em retas C E

M munido de uma conexao ,
s (M, E) uma secao e
i
s
i
sua escrita local em termos de um referencial local s
i
sobre
um aberto U
i
,
i
F
i
(X, Y )s
i
a expressao local da curvatura e A
i
a forma local da conexao
associada a s
i
, temos
F
i
= dA
i
Demonstracao. O resultado segue aplicando o seguinte resultado geral para 1-formas
diferenciais
d(X, Y ) = X(Y ) Y (X) ([X, Y ]).
De fato
F
i
(X, Y )s
i
=
X
X
s
j

X
X
s
j

[X,Y ]
s
j
=
X
(A
j
(Y )s
j
)
Y
(A
j
(X)s
j
) A
j
([X, Y ])s
j
= d [A
j
(Y )] (X)s
j
+ A
j
(Y )
X
s
j
d [A
j
(X)] (Y )s
j
A
j
(X)
Y
s
j
A
j
([X, Y ])s
j
= X(A
j
(Y ))s
j
+ A
j
(Y )
X
s
j
Y (A
j
(X))s
j
A
j
(X)
Y
s
j
A
j
([X, Y ])s
j
= X(A
j
(Y ))s
j
+ A
j
(Y )A
j
(X)s
j
Y (A
j
(X))s
j
A
j
(X)A
j
(Y )s
j
A
j
([X, Y ])s
j
= X(A
j
(Y ))s
j
Y (A
j
(X))s
j
A
j
([X, Y ])s
j
= dA
j
(X, Y )s
j
como queramos.
A expressao (2.13) nos garante que a 2-forma F
i
n ao depende de nenhum referencial
em particular, de fato
dA
i
= d
_
A
j
+ g
1
ji
dg
ji
_
= dA
j
.
Assim tem sentido
Denicao 2.45 A 2-forma fechada globalmente denida por
F = dA
i
e chamada de forma de curvatura da conexao e nao depende de nenhuma 1-forma de
conexao induzida por algum referencial em particular.
2.2. CONEX
OES EM FIBRADOS 75
Observacao 2.46 Em vista do Exemplo 2.4 e possvel ainda vericar que a conexao de
Levi-Civita no brado tangente de uma superfcie riemanniana S induz unicamente uma
conexao no respectivo brado em retas. Desta maneira e possvel mostrar que a curvatura
de tal conexao e dada por
F = iK
1

2
onde K e a curvatura gaussiana de S e
1

2
e a forma de area canonica associada à
metrica riemanniana de S. Indicamos ao leitor interessado que consulte a secao 16.3d de
[21] para uma apresentacao deste fato.
A.4 Curvatura e holonomia. Podemos interpretar a holonomia em termos da cur-
vatura como segue
Proposicao 2.47 Sendo C E

uma subvariedade compacta de M de dimensao dois e fronteira dada por uma curva
suave e fechada , entao
hol(, ) = exp
_
F
_
Demonstracao. Primeiro recorde de (2.16) que se est a contida numa carta trivializa-
dora local, i.e., escolhido um referencial local, ent ao
hol(, ) = exp
_
A
i
_
.
Portanto se
1
(U
i
), o resultado segue do teorema de Stokes, uma fez que F
i
=
dA
i
. Caso n ao esteja toda contida dentro de uma carta trivializadora podemos, por
compacidade, triangularizar de maneira que cada triangulo T
i
esteja contido em alguma
carta trivializadora U
i
. Aplicando-se (2.16) a cada triangulo, temos
hol(
T
i
, ) =
i
exp
_
_
T
i
A
i
_
=
i
exp
_
_
T
i
F
_
= exp
_
F
_
.
Observando o cancelamento das holonomias nos lados dos triangulos interiores a , con-
clumos que
hol(
T
i
, ) = hol(, ).
Segue o resultado desejado.
76 CAP
ITULO 2. CONEX

2.2.2 B Conex oes em brados por crculos
Passaremos agora a adaptac ao das ideias construdas na se cao anterior aos brados por
crculos e a relac ao entre suas associac oes.
B.1 Conexoes de Cartan-Ehresmann. Considere um brado em crculos U(1)
P

M e uma sec ao local s (U
i
, P) neste brado, precisamos estabelecer uma forma
de estudar a varia cao de uma secao com relac ao a um campo tangente de vetores X
num certo ponto x M. Observe que, como decorrencia do Lema (2.22), s pode ser
escrita localmente na forma s(x) = g(x) s
i
(x), onde g : U
i
U(1) e uma aplicac ao
diferenciavel e s
i
e a sec ao canonica associada a trivializac ao
i
. Como queremos analisar
o comportamento de s numa dada direc ao X(x), podemos considerar uma curva :
(, ) U
i
M de forma que (0) = x e
(0) = X(x) e olhar para a restricao s[
.
Assim, s assume a forma
s = s(t) = g(t) s
i
(t)
onde s
i
(t) = s
i
[
e g(t) e uma aplicac ao g : (, ) U(1). Mas observe que dados

a, b (, ), em geral temos (a) ,= (b), de onde segue que s(a) e s(b) est ao em bras
diferentes. Portanto, em geral n ao existe uma maneira natural, muito menos unica, de
compar a-los. A conclusao a que chegamos e que para atribuir uma noc ao de variacao de
uma se cao precisamos acrescentar ao brado em crculos uma estrutura adicional. Esta
estrutura foi criada por Elie Cartan e desenvolvida por Charles Ehresmann para espacos
brados ate mesmo mais gerais que os vistos aqui. O leitor interessado em uma melhor
contextualizac ao hist orica e tecnica pode consultar [51].
Resumidamente a ideia original de Cartan, quando restrita aos brados em crculos,
consistia no estudo de uma famlia de 1-formas denidas nas trivializac oes locais e que
assumiam valores puramente imagin arios (1-formas assumindo valores na algebra de Lie
de U(1)) satisfazendo ainda certas condicoes de compatibilidade. Foi Ehresmann quem
percebeu que estas formas colavam para denir uma unica forma global no espaco total
do brado, a esta ele chamou de forma de Cartan. Mais tarde percebeu-se que a esta
forma est a relacionado um objeto puramente geometrico, a saber uma distribuic ao que
satisfaz certas propriedades, que permite a generaliza cao da ideia de conex ao para espacos
brados mais gerais.
Neste trabalho optamos, por quest oes de objetividade, fazer uma exposic ao seguindo
[9] e [21] como referencia, que basicamente segue tal como aconteceu historicamente, isto
e, partimos de um objeto local e constatamos sua natureza global intrnseca. Vale ressaltar
que em algumas referencias e feito o caminho contr ario, partindo do objeto global ate sua
escrita local. O leitor interessado pode consultar o captulo 10 de [37]. Comecaremos pela
Denicao 2.48 Uma conexao de Cartan num brado em crculos U(1) P

M
com atlas trivializador U
i
,
i
iI
e uma famlia A
i
iI
de 1-formas diferenciais A
i

2.2. CONEX
OES EM FIBRADOS 77
1
(U
i
) ImC tais que se U
i
U
j
,= vale
A
i
= A
j
+ g
1
ji
dg
ji
(2.17)
onde g
ji
e a funcao de transicao entre U
j
e U
i
.
A seguinte proposicao nos garante que, apesar de a denicao acima estar em termos
locais, ela nos fornece um objeto globalmente denido no espaco total P. Para isso
considere uma trivializa cao
i
e sua respectiva carta trivializadora U
i
, tomando (x, g
i
) :=
(x, e
i
i
) coordenadas em U
i
U(1) temos
Proposicao 2.49 Em (U
i
U
j
) U(1), vale a igualdade
A
i
+id
i
= A
j
+id
j
.
Demonstracao. Sabemos que A
i
= A
j
+ g
1
ji
dg
ji
. Observando que g
1
ji
dg
ji
= d log g
ij
e
lembrando que g
i
= g
ij
g
j
, temos
d log g
i
= d log g
ij
+ d log g
j
de onde segue g
1
ji
dg
ji
= d log g
i
d log g
j
. E com isso teremos em (U
i
U
j
) U(1)
A
i
+ d log g
i
= A
j
+ d log g
j
,
ou seja,
A
i
+id
i
= A
j
+id
j
,
como queramos demonstrar.
O resultado acima nos permite denir uma 1-forma
1
(P) ImC. Esta 1-forma e
conhecida na literatura como forma de Cartan, a forma e a famlia A
i
iI
determinam
igualmente uma conexao em um brado em crculos. De agora em diante denotaremos
por a conex ao cando implcito que
_
1
i
_
= A
i
+id
i
e sua escrita local.
Recordemos que uma k-distribuicao regular sobre uma variedade M de dimensao n
e um subbrado 1 TM tal que para cada x M, 1
x
e um subespaco de dimens ao
k n de T
x
M. A distribuic ao e dita suave se para cada x M e X
0
1
x
existir um
campo vetorial suave X denido numa vizinhanca U
x
de x tal que X(y) 1
y
, y U
x
e X(x) = X
0
. Podemos da forma de Cartan em um brado em crculos P obter uma
distribuic ao 1
em TP dada por 1
(u) = Nuc((u)), a esta chama-se distribuicao de

Ehresmann.
Antes de estudarmos alguns conceitos relacionados ` a conex ao de Cartan, observemos
que
78 CAP
ITULO 2. CONEX

Proposicao 2.50 Todo brado em crculos admite uma conexao de Cartan.
Demonstracao. Considere um brado em crculos U(1) P

M com atlas triviali-
zador U
i
,
i
iI
. Pelo Teorema 2.9 existe um brado em retas C E

M associado a
este e pelo Teorema 2.36 este admite uma conex ao cujas formas locais satisfazem
A
i
= A
j
+ g
1
ji
dg
ji
onde g
1
ji
dg
ji

1
(U
i
U
j
) ImC, A
i

1
(U
i
) C e A
j

1
(U
j
) C. Desta maneira
A
i
:= ImA
i
e

A
j
:= ImA
j
s ao tais que

A
i

1
(U
i
) ImC e

A
j

1
(U
j
) ImC e em
U
i
U
j
vale
A
i
=

A
j
+ g
1
ji
dg
ji
ou seja, a famlia
A
i
iI
dene uma conexao de Cartan em P.
B.2 Transporte paralelo e holonomia. Passaremos agora ` a an alise do conceito de
transporte paralelo em brados em crculos.

U
i
,
i
iI
e uma conexao de Cartan , dizemos que uma secao local s (U
i
, P) e
paralela se esta contida na distribuicao de Ehresmann 1
, i.e.,
s(p) 1
P
(p), p U.
Uma caracterizac ao local das sec oes paralelas e dada pela seguinte proposic ao a qual
omitiremos a prova por ser de menor relev ancia em nossa exposi cao, o leitor interessado
pode encontr a-la na sec ao 10.1.4 de [37] Teorema 10.2.
Proposicao 2.52 Seja U(1) P

M um brado em crculos com atlas trivializador
U
i
,
i
iI
e
1
(P) ImC uma conexao de Cartan sobre P. Entao uma secao local
s (U
i
, P) e paralela se, e somente se,
A
i
(
(t)) + g
1
(t)
d
dt
g(t) = 0 (2.18)
onde s = s(t) = g(t) s
i
(t).
Naturalmente, nao esperamos que uma sec ao em geral seja paralela ao longo de uma
curva em relac ao a uma certa conex ao. No entanto, podemos estabelecer a noc ao de uma
curva no espa co total que a grosso modo seria o levantamento de uma curva da variedade
base por uma se cao paralela ao longo desta curva, mais precisamente:

U
i
,
i
iI
munido de uma conexao de Cartan
P
e : [0, 1] M uma curva. Entao
diremos que uma curva : [0, 1] P e um levantamento horizontal de se:
2.2. CONEX
OES EM FIBRADOS 79
i). = ;
ii).
esta contida na distribuicao de (conexao) de Ehresmann 1

P
= Nuc(
P
), i.e.,

(t) 1
P
((t)).
Alguns coment arios a respeito da denic ao acima s ao necess arios. Como fruto do Teo-
rema de Picard-Lindelof, podemos garantir a existencia e a unicidade desse levantamento,
uma vez que xemos um ponto inicial para (0) na bra P
(0)
. De fato, tome U
i
M
tal que (0) U
i
e g U(1) tal que u = g s
i
((0)), uma vez que, localmente, obter
o levantamento horizontal (t) = g(t) s
i
((t)) que passa por u se resume a resolver a
equac ao diferencial ordin aria (2.18) com condic ao inicial g(0) = g. Dessa forma, como
a curva e compacta, basta repetir este argumento uma quantidade nita de vezes para
obter o resultado desejado.
Denicao 2.54 Seja U(1) P

M um brado em crculos munido de uma conexao
de Cartan , : [0, 1] M uma curva de classe C
1
e : [0, 1] P o levantamento
horizontal de por u
0
P
(0)
. Entao chamamos de transporte paralelo de u
0
ao longo
de (em relacao à conexao ) ao unico ponto u
1
= (1) P
(1)
.
Assim, justica-se o nome conex ao, pois esta estrutura adicional nos permite com-
parar pontos que est ao em bras distintas de um mesmo brado, ou seja conecta bras
diferentes. Em particular, uma conex ao em um brado em crculos nos permite estabelecer
uma aplicac ao entre bras sobre extremos distintos de uma curva, i.e.,
() : P
(0)
P
(1)
.
Note que esta aplicac ao depende tanto da conex ao, como da curva . Um caso especial e
muito importante e quando : [0, 1] M e uma curva fechada, i.e., (0) = (1). Neste
caso, () e uma aplicac ao que leva um elemento u P
(0)
em um elemento u
P
(0)
,
em outras palavras, e um automorsmo de P
(0)
. A esse automorsmo chamamos de
holonomia da conex ao ao longo da curva e escrevemos hol(, ).
Em certas situac oes e interessante ter uma express ao explicita para a holonomia de
uma conexao ao longo de um curva, nos contentaremos em encontr a-la no caso especial
em que a curva se encontra toda contida em uma carta trivializadora.
Proposicao 2.55 Seja U(1) P

M um brado em crculos munido de uma conexao
de Cartan e : [0, 1] U
i
M um caminho fechado inteiramente contido numa
i
, entao
hol(, )(u) = exp
_
A
i
_
u
80 CAP
ITULO 2. CONEX

Demonstracao. Sendo x = (0), tome u P
x
. Logo, se s
i
e a sec ao local canonica da
i
, entao u = g s
i
(x) para algum g U(1). Am de encontrarmos a
holonomia do caminho , precisamos fazer o transporte paralelo de u ao longo de , i.e.,
resolver o problema de Cauchy
A
i
(t) + g
1
(t)
d
dt
g(t) = 0, g(0) = g,
onde A
i
(t) = A
i
((t))
(t). Multiplicando-se a equac ao por g(t) e ajustando ambos os

lados teremos
d
dt
g(t) = g(t)A
i
(t) g(0) = g,
que e uma EDO de primeira ordem, linear e homogenea com condic ao inicial. Portanto
tem soluc ao unica da forma
g(t) = g exp
_
_
t
0
A
i
((t))
(t)ds
_
.
Assim o transporte paralelo de u ao longo de e dado por
u
=
_
g exp
_
_
1
0
A
i
(
(s))ds
__
s
i
(x)
=
_
A
i
_
[g s
i
(x)]
= exp
_
A
i
_
u,
como desejado.
O resultado acima ainda nos garante que a aplicac ao hol(, ) e a multiplicac ao por
um mesmo elemento de U(1) seja qual for o ponto u considerado. De fato para tal basta
mudarmos a condic ao inicial, mas que no nal conduz a mesma multiplicacao.
B.3 Curvatura. Ate agora vimos que dado um brado em crculos podemos acrescen-
tar a este uma estrutura adicional, i.e. uma conexao, e estudar objetos provenientes desta
estrutura adicional como transporte paralelo e holonomia, um outro objeto de grande
import ancia associado a uma conex ao e motivado pela
Proposicao 2.56 Em U
i
U
j
vale
dA
i
= dA
j
Demonstracao. Basta tomarmos a derivada exterior de (2.17)
d (A
i
) = d
_
A
j
+ g
1
ji
dg
ji
_
= dA
j
+ d
_
g
1
ji
dg
ji
_
= dA
j
+ d [d log (g
ji
)]
= dA
j
,
2.2. CONEX
OES EM FIBRADOS 81
como queramos demonstrar.
Portanto as 2-formas dA
i
denem uma 2-forma global F = dA
i
no brado em crculos.
Denicao 2.57 A 2-forma =
F e chamada de forma de curvatura da conexao .

Proposicao 2.58 Vale a relacao
= d
onde e a forma de Cartan.
Demonstracao. Imediata da denicao de e de F.
2.2.3 C Conex oes em brados associados.
Passaremos agora às relac oes entre brados em crculos e brados em retas associados.
Comecemos relembrando da Proposic ao 2.38 que dado um brado em retas C E

M com atlas trivializador U

i
,
i
iI
e uma famlia de 1-formas A
i
iI
que satisfacam
A
i
= A
j
+g
1
ji
dg
ji
sempre que U
i
U
j
,= , ent ao existe uma conex ao em C E

M
tal que s
i
= A
i
s
i
, onde s
i
s ao os referenciais associados ao atlas trivializador. Assim
tem sentido a seguinte
Denicao 2.59 Seja C E

M um brado em retas associado a um brado em
crculos U(1) P

M munido de uma conexao de Cartan . Entao a famlia de
1-formas A
i
iI
induzidas por denem uma conexao linear em C E

M. Esta
conexao sera chamada de conexao induzida por e sera denotada por
.
As seguintes consideracoes nos mostram que esta conex ao tem propriedades importan-
tes.

M munido de uma estrutura
hermitiana h, dizemos que uma conexao em E e compatvel com sua estrutura hermitiana,
ou ainda que e uma conexao metrica, se para quaisquer s, r (M, E) restritas a uma
curva , i.e., s = s(t) e r = r(t), tivermos
d s, r = s, r +s, r (2.19)
Dessa forma, se e uma conex ao compatvel com a estrutura hermitiana e s, r s ao
duas sec oes paralelas ao longo de uma curva , entao a equa cao (2.19) garante que o
produto internos entre s e r ao longo da curva n ao varia, uma vez que d s, r = 0. Isso
justicar o termo conexao compatvel com a estrutura hermitiana (produto interno).
Proposicao 2.61 Seja C E

M um brado em retas associado a um brado em
crculos U(1) P

M munido de uma conexao , entao a conexao induzida
e
compatvel com a estrutura hermitiana canonica de C E

M.
82 CAP
ITULO 2. CONEX

Demonstracao. Como a conex ao induzida e a metrica hermitiana canonica s ao objetos
com estrutura local podemos analisa-los em uma trivializac ao. Assim sendo tome um
referencial local s
i
com forma de conex ao A
i
e duas sec oes locais , (M, E) restritas
a alguma curva : (, ) U
i
, i.e. =
i
(t)s
i
e =
i
(t)s
i
, teremos entao
, +, =
i
s
i
, (d
i
+ A
i
i
) s
i
+(d
i
+ A
i
i
) s
i
,
i
s
i
=
i
d
i
+
i
A
i
i
+ d
i
i
+ A
i
i
como A
i

1
(U
i
) ImC temos que a conex ao induzida satisfaz A
i
= A
i
logo
, +, =
i
d
i
+ d
i
i
= d
_
i
_
= d ,
como queramos
Observacao 2.62 Toda vez que escrevermos (C E

M,
) estaremos mencio-
nando um brado em retas associado a um brado em crculos com conexao , munido
de uma conexao
, tal que
e a conexao induzida por .

Concluiremos esta sec ao apresentando de maneira explicita como se relacionam as
escritas locais de uma dada sec ao e uma dada 1-forma de conex ao por uma mudan ca de
trivializac ao local para o caso particular de um brado em retas (C E

M,
).
Considere duas trivializa coes locais (U
i
,
i
) e (U
j
,
j
), tais que U
i
U
j
,= , sabemos
que uma sec ao s (M, E) e escrita localmente como s =
i
s
i
=
j
s
j
, onde s
i
, s
j
s ao os referenciais locais associados. Estes referenciais ainda possuem formas de conexao
induzidas A
i
e A
j
i.e., s
i
= A
i
s
i
e s
j
= A
j
s
j
, e nestas condic oes temos que
_

i
= g
ij
j
A
i
= A
j
+ g
1
ji
dg
ji
onde g
ij
: U
i
U
j
U(1) e a funcao de transic ao. Sabemos que g
ij
pode ser escrita como
g
ij
(x) = e
i
, onde : U
i
U
j
R e uma func ao suave; segue que g
1
ji
dg
ji
= e
i
d
_
e
i
_
=
i d. Portanto,
_

i
= e
i
j
,
A
i
= A
j
i d.
Ou seja, o efeito local de se passar de uma trivializac ao para outra e traduzido por
_
e
i
A A i d
(2.20)
2.3 Formas de Chern e Classes de Chern
Ate o momento, introduzimos os conceitos de brados em crculos e em retas sobre uma
variedade M, vimos que estes tem uma estrutura local em forma de produtos cartesianos
2.3. FORMAS DE CHERN E CLASSES DE CHERN 83
U
F, onde U
e uma cobertura aberta de M e F e a bra (C ou S

1
, em nosso caso). No
entanto, estes produtos cartesianos U
F podem ser colados de diversas formas distintas a

depender do grupo estrutural do brado. Mostramos que existe uma nocao de equivalencia
entre tais estruturas, sem no entanto estabelecer algum criterio que nos permita diferenciar
uma dada estrutura global de outra. Feito isto, estudamos estruturas adicionais nestes
brados, chamadas conexoes, e mostramos que estas nos permitem introduzir a noc ao de
deslocamento sem variacao. Alem disso, vericamos que a esta estrutura est a associada
uma famlia de formas locais e que destas podemos obter um objeto global em relac ao a
tal estrutura, i.e., a curvatura da conexao.
Veremos nesta sec ao que, apesar da curvatura ser obtida atraves da colagem de uma
famlia de objetos locais, e possvel obter dela informa coes da estrutura global do pr oprio
brado. Comecaremos pelos conceitos fundamentais.

M com conexao , a forma
c
1
(E, ) =
i
2
F
e chamada forma de Chern do brado em retas.

Escrevemos c
1
(E, ) para explicitar que a forma depende da conexao e, certamente,
do brado em si. Vale observar que estas formas sao sempre fechadas uma vez que a
curvatura de uma conex ao e localmente exata.
Proposicao 2.64 Dadas duas conexoes
1
e
2
, entao
1
=
2
+ onde e uma
1-forma e F
1 = F
2 + d.
Demonstracao. Localmente dado um referencial s
i
temos que existe uma 1-forma
i
tal que A
1
i
= A
2
i
+
i
. Como para um outro referencial s
j
temos A
1
i
= A
1
j
+ g
1
ji
dg
ji
e
A
2
i
= A
2
j
+ g
1
ji
dg
ji
segue que
j
= A
1
j
A
2
j
=
_
A
1
i
g
1
ji
dg
ji
_
_
A
2
i
g
1
ji
dg
ji
_
= A
1
i
A
2
i
=
i
logo :=
i
=
j
e uma 1-forma global. Como F
1 = dA
1
i
e F
2 = dA
2
i
temos que
F
1 = F
2 + d.
Para entendermos melhor a importancia do resultado acima, recordemos a noc ao basica
de cohomologia de de Rham de uma variedade M. Sendo
r
(M, C) o espaco de todas as
r-formas diferenciaveis assumindo valores complexos sobre M e C
r
(M, C) o seu subespaco
formado pelas formas fechadas, dene-se como o grupo de cohomologia de dimensao r de
M ao espaco quociente
H
r
(M, C) =
C
r
(M, C)
d
r
(M, C)
e um elemento de H
r
(M, C) e por sua vez uma classe de cohomologia de dimens ao r.
Se C
r
(M, C), ent ao denotamos sua classe de cohomologia por . Assim dois
84 CAP
ITULO 2. CONEX

elementos quaisquer
2
,
1
s ao r-formas que diferem por uma r-forma exata, isto
e,
2
=
1
+ d onde
r1
(M). Da proposic ao acima segue diretamente que
Corolario 2.65 A classe c
1
(E, ) H
2
(M, C) nao depende de nenhuma conexao em
particular.
O corol ario anterior nos diz que a classe c
1
(E, ) e um objeto intrnseco ao brado,
o que nos motiva a abandonar a notac ao c
1
(E, ) e adotar c
1
(E) no lugar, e como
um brado em retas sempre admite uma conex ao ainda tem sentido denir
Denicao 2.66 A classe c
1
(E) e chamada de classe de Chern do brado em retas
C E

M.
Nos valendo da classe de Chern do brado associado temos naturalmente uma classe
de Chern para o brado em crculos.

M com conexao , a forma
c
1
(P, ) =
i
2
F
onde F e a escrita local de = d, e chamada forma de Chern do brado em crculos.
E a classe c
1
(P), que nao depende da escolha de , e chamada de classe de Chern do
brado.
O seguinte resultado j a apresenta um grande passo em nossa teoria
Proposicao 2.68 Sendo C E

M um brado em retas e S M uma superf-
cie compacta entao
_
S
c
1
(E) e um n umero inteiro independente da conexao usada para
encontrar c
1
(E).
Demonstracao. Como S e compacta e sendo
1
e
2
duas conex oes temos F
1 =
F
2 + d portanto pelo Teorema de Stokes segue que

_
S
F
1 =
_
S
F
2 +
_
S
=
_
S
F
2.
Tome uma famlia de discos D
t
em S tal que
lim
t0
D
t
= p
para algum ponto p em S. Pela Proposi cao 2.47, para cada t a holonomia da conexao
sobre a fronteira de D
t
pode ser calculada integrando-se a curvatura sobre D
t
ou sobre
SD
t
. Assim temos, levando em conta a orientac ao
exp
__
S\D
t
F
_
= exp
_
_
D
t
F
_
.
Tomando o limite t 0 temos
exp
__
S
F
_
= 1
e portanto
_
S
F = i2k
para algum k Z, de onde segue o resultado.
Assim denimos

S um brado em retas sobre uma superfcie compacta
S, o n umero
_
S
c
1
(E) e chamado de n umero de Chern de E.
Uma pergunta natural e identicar se a classe de Chern nos fornece alguma informa cao
sobre o brado. Nos contentaremos neste trabalho em mostrar que a resposta e armativa
pelo menos no caso do brado em retas ser associado a um brado em crculos. Antes
disso precisaremos de denicoes e resultados preliminares.

M um brado em retas e N M uma subvariedade,
chamamos de restricao de E sobre N a subvariedade F E formada pelos pontos x E
tal que (x) N. Denotaremos este brado por E[
N
e chamaremos de subbrado de E
sobre N. Nestas condicoes dizemos que uma aplicacao suave s : N E tal que s = Id
e uma secao sobre N.
Claramente C F

N e tambem um brado em retas pois sendo U
i
,
i
iI
um
atlas trivializador de C E

M com funcoes de transic ao g
ij
, temos que
U
i
,
i
iI
,
onde

U
i
= U
i
N e
i
=
i
[
1
(
U
i
)
, e um atlas trivializador de C F

N com func oes
de transic ao dadas por g
ij
= g
ij
[
U
i
. Uma sec ao s : N E sobre N dene tambem uma
se cao no brado C F

N, vale destacar que sendo s
: M E, s = s
[
N
dene
uma sec ao sobre N, no entanto a reciproca nao e necessariamente verdadeira, ou seja,
dada uma sec ao suave sobre N, ent ao esta nem sempre e a restricao de uma sec ao suave
s
: M E.
Em particular dada uma variedade M de dimens ao n 2, sendo S M uma superf-
cie, uma aplica cao suave s : S E tal que s = Id e uma sec ao sobre S do subbrado
E[
S
. Observemos que E[
S
e uma variedade de dimens ao real igual a quatro e a imagem
s(S) E[
S
e uma subvariedade de dimens ao real igual a dois o que vale em particular
para a sec ao nula, i.e., s
0
(S) E[
S
tem dimens ao real igual a dois. Assim s(S) e s
0
(S) s ao
duas superfcies em uma variedade de dimens ao quatro e portanto suas interse coes podem
ser uma variedade vazia (n ao coincidem em ponto algum), de dimens ao zero (coincidem
em pontos isolados), de dimens ao um (coincidem ao longo de curvas) ou de dimens ao dois
(uma est a contida dentro da outra), logo podemos sempre considerar secoes sobre S que
tenham zeros isolados.
86 CAP
ITULO 2. CONEX

Consideremos uma tal sec ao e chamemos de s, sejam p um zero de s, V S um aberto
tal que p seja o unico zero contido no seu interior, U
i
uma vizinhanca trivializadora de p,
U = U
i
V e : [a, b] U e uma curva fechada simples (que nao se autointersecta) tal que
p pertence a componente conexa que est a inteiramente contida em U e e limitada pela
curva . Sendo U
i
uma carta trivializadora com trivializacao
i
, existe uma aplicac ao
s : U
i
C tal que
i
(s(x)) = (x, s(x)), e assim podemos considerar uma aplica cao
: U p C dada por
(x) =
s(x)
[[ s(x)[[
que assume seus valores em U(1) e portanto pode ser escrita como (x) = e
i(x)
observe
que para cada x U, (x) mede o angulo ((x), 1) entre (x) e 1. O seguinte resultado
nos da uma informac ao importante sobre o saldo total da variacao deste angulo.
Lema 2.71 Nas condicoes acima sendo
j
s
(p) =
1
2
_
d
temos que
i) j
s
(p) e um n umero inteiro.
ii) j
s
(p) nao depende da curva escolhida.
iii) j
s
(p) nao depende da trivializacao escolhida.
Demonstracao. i) Observe que : [a, b] U e uma aplicacao contnua tal que (a) =
(b), desta maneira tem-se ((a)) = ((b)) e portanto segue que
cos ((a)) = cos ((b)) e sin ((a)) = sin ((b))
e assim ((b)) = ((a)) + 2k com k Z. Disto temos
j
s
(p) =
1
2
_
d =
1
2
(((b)) ((a))) =
1
2
2k = k.
ii) Observe que j
s
(p) depende continuamente da curva , mas como este e um n umero
inteiro temos que deve permanecer constante quando deformamos a curva continuamente.
iii) Considere que p V U
i
U
j
, dessa forma temos
i
(x) =
s
i
(x)
[[ s
i
(x)[[
= e
i(x)
e
j
(x) =
s
j
(x)
[[ s
j
(x)[[
= e
i(x)
e como s
j
(x) = g
ji
(x) s
i
(x) temos
e
i(x)
=
s
j
(x)
[[ s
j
(x)[[
=
g
ji
(x) s
i
(x)
[[g
ji
(x) s
i
(x)[[
= g
ji
(x)
s
i
(x)
[[ s
i
(x)[[
= g
ji
(x)e
i(x)
.
Escrevendo g
ji
(x) na forma e
i(x)
, isto e e
i(x)
= e
i(x)
e
i(x)
, vale
dg
ji
(x) = ie
i(x)
d id =
dg
ji
(x)
g
ji
(x)
= d (ln g
ji
(x))
assim como e uma curva fechada teremos
_
d =
_
(d + d) =
_
d i
_
d (ln g
ji
(x)) =
_
d
e portanto j
s
(p) n ao depende da trivializac ao escolhida.
O lema acima motiva
Denicao 2.72 O n umero j
s
(p) e chamado ndice da sec ao s : S E no ponto p.
Agora estamos prontos para enunciar e provar o resultado central desta sec ao.
Teorema 2.73 (Teorema de Chern para brados em retas) Seja C E

M
um brado em retas associado a um brado em crculos e S M uma superfcie compacta,
suave e orientada. Entao
_
S
c
1
(E)
e um n umero inteiro e representa a soma dos ndices de qualquer secao s : S E que
tenha um n umero nito de zeros.
Demonstracao. Sendo S M uma superfcie compacta, suave e orientada, considere
o subbrado E[
S
, este sera associado a um subbrado P[
S
onde U(1) P

M e o
brado associado de C E

M. Tome s : S E que tenha um n umero nito de zeros
p
a
aI
. Para cada a, denotemos por D
a
um disco de centro p
a
tal que D
a
S esteja
inteiramente contido em uma carta trivializadora U
a
S. Desta maneira tomando-se
S = S
_
aI
D
a
teremos que s :

S E tal que s = s[
S
n ao se anula em ponto algum do subbrado E[
S
.
Podemos tomar em E[
S
uma conex ao
, induzida por uma conex ao de Cartan em

P[
S
, com forma de curvatura F
. Desta maneira temos

_
S
c
1
(E) =
i
2
_
S
F
=
i
2
lim
_
S
F
,
onde o limite e fazendo cada D
a
tendendo a p
a
. Observe que pela Proposicao 2.68 a
integral acima e um n umero inteiro e nao depende desta escolha em particular para a
forma de Chern.
88 CAP
ITULO 2. CONEX

Como s n ao se anula em ponto algum, temos pelo Teorema 2.18 que E[
S
e um brado
trivial e portanto seu brado associado P[
S
e tambem trivial. Nos valendo da estrutura
hermitiana canonica de E[
S
, podemos normalizar s :

S E fazendo
f :=
s
[[ s[[
.
Desta maneira, sendo :
1
(
S)

S C a trivializacao cuja a inversa cumpre
1
(x, z) = z s(x), temos que existe

f :

S U(1) tal que
(f(x)) = (x,

f(x)).
Como P[
S
e trivial ent ao

f dene uma sec ao em P[
S
, denotemos tal sec ao por h. Uma
vez que
e a conexao induzida pela conexao de Cartan, a forma de curvatura F
de
coincide com a forma de curvatura h
= F
, isto e, F
= F
. Disto segue
_
S
c
1
(E) =
i
2
lim
_
S
F
=
i
2
lim
_
S
F
=
i
2
lim
_
S
h
=
_
h(
S)
.
Aplicando a Proposic ao 2.58 e em seguida o Teorema de Stokes obtemos
_
h(
S)
=
_
h(
S)
d =
_
(
h(
S)
)
.
Para cada a denote
a
= (h(S D
a
)) assim temos
_
(
h(
S)
)
=
aI
_
a
.
Como cada D
a
est a inteiramente contido em uma carta trivializadora U
a
com trivializacao
a
, podemos olhar para a escrita local de cada uma destas integrais no somatorio. Para
isso tome
a
: (U
a
p
a
) R tal que
a
(h(x)) = (x, e
i
a
(x)
), desta forma
a
(
a
) =
a
onde
a
= (x, e
i
a
(x)
) U
a
U(1) : x (S D
a
). Assim para cada a temos
_
a
=
_
a
(
a
)
(
1
a
)
e ainda pela escrita local da forma de Cartan

_
a
(
a
)
(
1
a
)
=
_
a
A
a
+id
a
=
_
(SD
a
)
(A
a
+id
a
) =
_
D
a
(A
a
+id
a
) .
Portanto
_
S
c
1
(E) =
i
2
lim
aI
_
_
D
a
(A
a
+id
a
)
_
=
aI
_
_
i
2
lim
_
D
a
A
a
_
_
i
2
lim
_
D
a
id
a
__
e pelo Teorema de Stokes
_
D
a
A
a
=
_
D
a
dA
a
,
o que implica
i
2
lim
_
D
a
A
a
= 0,
logo
_
S
c
1
(E) =
aI
_
i
2
lim
_
D
a
id
a
_
=
aI
lim
1
2
_
D
a
d
a
.
Como
a
(x) e a func ao angulo da secao s no ponto p
a
, temos que
1
2
_
D
a
d
a
= j
s
(p
a
) e
pelo Lema 2.71 o limite lim
1
2
_
D
a
d
a
permanece constante, assim
_
S
c
1
(E) =
aI
j
s
(p
a
)
como queramos.
J a vimos pela Proposic ao 2.18 que um brado em retas e trivial se, e somente se,
admite uma sec ao que nao se anula em ponto algum, portanto o teorema acima nos diz
que a forma de Chern, mais precisamente os possveis n umeros de Chern das superfcies
compactas contidas na variedade base, e um invariante que nos d a uma medida do quanto
um brado em retas deixa de ser trivial. Temos tambem pela Proposicao 2.68 que o
n umero de Chern do brado em retas sobre uma superfcie e um n umero inteiro que s o
depende do brado, desse modo o teorema acima nos arma que a soma dos ndices de
qualquer sec ao de um dado brado sobre uma superfcie e sempre o mesmo.
Observacao 2.74 Em vista do Exemplo 2.4 e da Observacao 2.46, o teorema acima e
uma generalizacao do famoso Teorema de Gauss-Bonnet para superfcies, pois quando
restrito ao brado em retas proveniente do brado tangente da superfcie em questao o
teorema arma que
_
S
c
1
(E) =
i
2
_
F
=
i
2
_
iK
1

2
=
j
s
(p)
e uma vez que uma secao em tal brado e tao somente um campo de vetores tangentes à
superfcie temos
_
K
1

2
= 2
_
j
s
(p)
_
.
E interessante observar que na secao 17.3 de [21] e apresentada uma prova do teorema
de Gauss-Bonnet utilizando-se de resultados e conceitos relacionados a brados em retas
e suas conexoes, para em seguida na secao 17.4 esbocar a prova do Teorema de Chern
para brados em retas. Neste trabalho zemos o contrario, provamos o Teorema de Chern
de forma rigorosa e deixamos a ttulo de curiosidade que o Teorema de Gauss-Bonnet
segue como corolario. Na verdade, o Teorema de Chern e um resultado muito mais geral
90 CAP
ITULO 2. CONEX

e que foge ao escopo de nosso trabalho, a versao aqui apresentada e uma versao muito
particular do mesmo. No melhor de nosso conhecimento, o enunciado e ideia da prova
aqui utilizados sao devidos a Theodore Frankel, o que zemos foi detalhar esta ideia e
formalizar o conceito de ndice, que para este caso so foi apresentado por Frankel de
forma intuitiva.
Captulo 3
Aplicac oes em teoria de calibre
Neste captulo utilizamos principalmente as referencias [26], [17], [11], [45] e [39] para
apresentar conceitos b asicos de mec anica quantica e da teoria de calibre proposta. Em
seguida mostraremos como se da a correspondencia entre geometria de brados e teoria
de calibre, para nalmente estudar a geometrizac ao de dois objetos de estudo da fsica.
O faremos seguindo principalmente [21], [54], [37], [35] e [36].
3.1 Eletromagnetismo e teoria de Calibre
Passaremos agora ` as correla coes entre o eletromagnetismo e a geometria dos espacos
brados.
3.1.1 Quantizacao can onica: A regra de correspondencia
Comecaremos esta se cao descrevendo o que vem a ser a quantiza cao (canonica) de um
sistema cl assico. O faremos de acordo com os objetivos e necessidades do presente tra-
balho, logo n ao temos aqui a pretens ao de produzir um texto que sirva de introduc ao a
mec anica qu antica, nem tao pouco dar a ela algum signicado.
1
Ao leitor interessado em
uma introdu cao mais detalhada, recomendamos a leitura dos primeiros cinco captulos de
[26], o primeiro captulo de [37], o captulo dois de [17] e ainda o primeiro captulo de [11].
Mais uma vez, iremos considerar normalizar algumas constantes fsicas como 1 e todas as
aplica coes como sendo de classe C
, a menos de menc ao explcita em contr ario.

Comecemos por descrever resumidamente o sistema cl assico mais simples possvel (se-
gundo o formalismo lagrangiano), o de uma unica partcula que descreve uma trajet oria
dada por
: [a, b] R
3
1
Alias, segundo R. Feynman: ... ninguem realmente entende a mecanica quantica, (ver Prefacio de
[26])
91
92 CAP
ITULO 3. APLICA C
OES EM TEORIA DE CALIBRE

sujeita a uma lagrangeana L = L(x, v). Como sabemos, sua trajet oria devera obedecer as
equac oes de Euler-Lagrange
d
dt
_
L

i
_
i
= 0.
Recorde que : [a, b] R
3
e a solu c ao destas equac oes e que (t) representa o ponto
em R
3
onde se encontra a partcula no instante t [a, b].
Acontece que esta descric ao gera grandes inconsistencias ao tentarmos descrever situ-
ac oes em escalas de nvel atomico [37]. Tal problema s o foi contornado ap os uma intensa
revolu cao na fsica, no inicio do seculo XX, que culminou no que conhecemos hoje como
mec anica qu antica. A grosso modo, a quantizac ao canonica de um sistema cl assico e
feita da seguinte forma: Inicialmente obtemos a chamada func ao hamiltoniana atraves da
transformac ao de Legendre
H(q, p) =
k
p
k
q
k
L(q, q),
onde p
i
e o chamado momento generalizado e e dado por
p
i
=
L
q
i
.
Em seguida consideramos que o sistema e descrito por uma aplicacao
: R R
3
C
chamada funcao de onda da partcula. Mais ainda, esta deve obedecer a equacao de
Schrodinger
E =

H, (3.1)
onde

E e um operador diferencial dado por
E = i

t
e

H e tambem um operador diferencial obtido fazendo-se as seguintes substituicoes na
funcao hamiltoniana
q
i
= q
i
, p
i
= i

x
i
Em resumo, a equac ao de Schrodinger para um dado sistema e construda escrevendo-se o
Hamiltoniano classico para o sistema e empregando-se a chamada regra de correspondencia
para substituir as grandezas cl assicas no hamiltoniano pelos operadores acima descritos.
A solucao da equac ao de Schrodinger, i.e., a funcao de onda, tem a seguinte interpre-
ta cao: para cada t
0
[a, b] xado, a func ao
P(, t
0
)
def
=
_
[(t
0
, x)[
2
dx (3.2)
3.1. ELETROMAGNETISMO E TEORIA DE CALIBRE 93
fornece a probabilidade da partcula estar contida na regi ao no instante t
0
, esta inter-
preta cao claramente s o permite que consideremos solucoes tais que P(R
3
, t
0
) = 1 para
qualquer t
0
. Vejamos agora alguns exemplos de quantizac ao can onica am de esclarecer
o conceito.
Exemplo 3.1 (Equacao de Schrodinger para uma partcula livre) Uma partcula
livre esta sujeita a uma lagrangeana da forma
L =
mv
2
2
,
como
p
i
=
L
q
i
=
L
v
i
= mv
i
,
sua fun cao hamiltoniana e dada por
H(q, p) =
k
p
k
q
k
L(q, q) =
k
mv
k
v
k

mv
2
2
=
mv
2
2
=
p
2
2m
,
de onde segue que
H =
1
2m
(i)
2
=
1
2m
.
Assim a equacao (3.1) assume a forma
i
d
dt
=
1
2m
, (3.3)
que e a equacao de Schrodinger para uma partcula livre.
Exemplo 3.2 Uma partcula sujeita a uma forca conservativa F = V tem como
lagrangeana
L =
mv
2
2
V.
Assim
H =
k
p
k
q
k
L(q, q) =
k
mv
k
v
k

mv
2
2
+ V =
p
2
2m
+ V,
de onde segue que
H =
1
2m
+ V.
Logo a equacao (3.1) assume a forma
i
d
dt
=
1
2m
+ V .
Exemplo 3.3 (Eq. de Schrodinger para uma partcula num campo eletromagnetico)
Segue do Exemplo 1.59 que uma partcula de carga q sujeita à acao de um campo eletro-
magnetico (E, B) com potencial dado por (, A) esta submetida a uma lagrangeana da
forma L =
mv
2
2
q +qA v. Por outro lado, se alem do campo magnetico, consideramos
94 CAP
ITULO 3. APLICA C

a acao de um potencial V : R
3
R, entao a lagrangeana assume a forma (cf. [21], p.
439)
2
L =
mv
2
2
q + qA v V (x).
Assim, como
p =
L
v
= mv + qA v =
p
m

qA
m
entao
H = p v L
= p
_
p
m

qA
m
_
mv
2
2
+ q qA v + V (x)
=
p p
m

qp A
m

m
2
_
p
m

qA
m
_
2
+ q qA v + V (x)
=
p p
m

qp A
m

p p
2m
+
qp A
m

qqA A
2m
+ q qA v + V (x)
=
p p
2m

qqA A
2m
+ q qA v + V (x)
=
p p
2m

qqA A
2m
+ q qA
_
p
m

qA
m
_
+ V (x)
=
p p
2m

qqA A
2m
+ q
qA p
m
+
qqA A
m
+ V (x)
=
p p
2m

qA p
m
+
qqA A
2m
+ q + V (x)
=
1
2m
(p qA)
2
+ q + V (x),
ou seja,
H =
1
2m
(iqA)
2
+ q + V.
Assim, a equacao de Schrodinger assume a forma i

t
=
_
1
2m
(iqA)
2
+q+V .
Somando-se os devidos termos em ambos os lados e multiplicando-se pelas constantes
apropriadas, segue que
i
_

t
+iq
_
=
1
2m
[iqA]
2
+ V , (3.4)
onde A = A
1
dx
1
+ A
1
dx
1
+ A
1
dx
1
e [iqA] =
3
j=1
(
x
j
A
j
), e a equacao que
descreve uma partcula carregada sobre efeito de um campo eletromagnetico.
3.1.2 Transformac oes locais e a equacao de Schrodinger modi-
cada
Veremos agora que a equac ao original de Schrodinger possui uma simetria, mas que do
ponto de vista te orico esta ainda nao e toda a simetria esperada da teoria. Primeiramente
2
Note que os potenciais denidos em nosso texto e em [21], p. 437, tem os sinais trocados.
observe que se for uma soluc ao de (3.3), ent ao e
i
tambem ser a solucao desta equac ao
R. Em outras palavras, a transforma cao e
i
e uma simetria (global) da
equac ao. Sob certo sentido esta simetria ja era esperada. De fato, se se supoe que a
unica informac ao fsica relevante da func ao de onda e o valor [[
2
, entao a func ao de
probabilidade P(, t
0
), dada por (3.2), n ao se altera em vista da referida transformac ao.
3
Pelo mesmo motivo, sendo : R R
3
R uma func ao contnua, ent ao
= e
i(x,t)
fornece a mesma func ao de probabilidade P(, t

0
). Assim, torna-se natural perguntar se
a transformac ao e
i(x,t)
e tambem uma simetria da equa cao. Em caso contrario,
pergunta-se: que tipo de equa cao diferencial assemelhada à equac ao original ela deveria
satisfazer? A resposta vem na forma da seguinte:
Proposicao 3.4 Se a funcao de onda satisfaz a equacao de Schrodinger
i
d
dt
=
1
2m
2
,
entao
= e
i(x,t)
satisfaz a equacao
i
_
d
dt
+i
d
dt
_
=
1
2m
[+i]
2
para toda funcao diferenciavel .

Demonstracao. Suponha que e
i(x,t)
satisfaca a equacao de Schrodinger, temos por um
lado
d(e
i
)
dt
=
de
i
dt
+ e
i
d
dt
= e
i
i
d
dt
+ e
i
d
dt
= e
i
_
i
d
dt
+
d
dt
_
e de outro
(e
i
) =
_
_
e
i
_
=
_
e
i
+ e
i
_
=
_
e
i
i + e
i
_
=
_
e
i
[i +]
_
= e
i
[i +] + e
i
[i +]
=
_
e
i
i
[i +] + e
i
[i +i + ]
= e
i
[i] [i +] + [i +i + ]
= e
i
+ [i +i +i ] +
= e
i
( ) + [i +i + ( i) ] +
= e
i
( ) + [i + (i)] +
= e
i
[+i] [(+i) ] = e
i
_
[+i]
2
_
.
Assim
i
d(e
i
)
dt
=
1
2m
(e
i
)
ie
i
_
i
d
dt
+
d
dt
_
=
1
2m
e
i
_
[+i]
2
_
3
Veremos em breve que esta suposi cao e falsa. Quando estudarmos o efeito Aharonov-Bohm, cara
claro o papel da fase no estudo do eletromagnetismo.
96 CAP
ITULO 3. APLICA C

ou ainda
i
_
d
dt
+i
d
dt
_
=
1
2m
[+i]
2
.
Dessa forma, se
= e
i(x,t)
satisfaz a equac ao de Schrodinger, ent ao = e
i(x,t)
satisfaz a equac ao acima, ou seja, a transformacao
e
i(x,t)
acarreta as seguintes
mudancas na equac ao
_
d
dt

d
dt
+i
d
dt
+i
Reciprocamente
e
i(x,t)

_
d
dt

d
dt
i
d
dt
i
Como desejado.
Em fsica, a transformac ao e
i
e chamada de transformacao global, pois a
mudanca feita na func ao de onda n ao depende do lugar no espaco ou do instante no
tempo em que e feita. Ja a transformacao e
i(x,t)
e chamada de transformacao local,
pois a mudanca feita na funcao de onda e espaco-tempo dependente, diz-se ainda que uma
equac ao e globalmente (respect. localmente) invariante se e invariante por transformac oes
globais (respect. locais).
O resultado acima nos diz que a equa cao de Schrodinger para uma partcula livre
(Exemplo 3.1) e globalmente invariante, porem n ao e localmente invariante. Mas observe
que a existencia de uma simetria global viola os princpios da relatividade restrita ([47],
p. 93), portanto, o que e esperado e a invari ancia local. Conclumos que e a equac ao de
Schrodinger que deve ser adaptada para que seja invariante local.
Observando atentamente a prova do resultado anterior, podemos perceber que o fator
essencial para que a equac ao nao seja invariante local e que a derivac ao ordin aria n ao
comuta com a multiplica cao por e
i(x,t)
, i.e.,
_
e
i
_
= i
e
i
+ e
i
,= e
i
.
Aparentemente, a maneira mais simples de corrigirmos isso (Ver sec ao 3.B de [39] e secao
4.2 de [45]) e encontrando um operador de derivac ao que comute com tal multiplicacao, i.e.,
uma operador D tal que a transformac ao e
i(x,t)
implique na transformacao D

e
i(x,t)
D
, o que so e possvel se o pr oprio operador mudar por D
e
i(x,t)
D
e
i(x,t)
.
Uma vez que a transforma cao e
i(x,t)
e espaco-tempo dependente, o mesmo deve
valer para o operador D.
No entanto, h a uma quest ao los oca e tecnica crucial aqui: ao levarmos em consi-
derac ao as transformacoes locais (pense em como uma funcao bump), somos levados
naturalmente a trocar o operador diferencial global por uma famlia de operadores dife-
renciais locais associada a uma cobertura aberta de R
1,3
. Como analogia, sugerimos o leitor
a se recordar do processo de continuacao analtica introduzida por Riemann quando estu-
dava a equac ao hipergeometrica ou, mais simplesmente, os ramos de logaritmo. Quando
buscamos uma solu cao para a EDO y
= 1/x em C
, chegamos nos chamados ramos de

logaritmo complexo, que n ao estao denido em todo C
mas em cortes deste. Esses ra-

mos, uma vez analisados do ponto de vista da continuac ao analtica, levam Riemann a
introduzir o conceito de superfcie de Riemann. No caso em tela, tanto a equac ao como
as solucoes tem seu ambiente natural denido nesta superfcie chamada de superfcie de
Riemann do logaritmo.
Como dissemos, iremos raciocinar de maneira an aloga, i.e., procuraremos famlias de
operadores diferenciais locais que corrijam a equac ao de Schrodinger localmente, para
depois buscarmos o ambiente geometrico natural para a sua existencia global.
Seja U
uma cobertura aberta de R

1,3
e D
= (D
0
, , D
3
) os operadores diferen-
cias locais desejados e e
i
uma transformac ao local em U
, a sugest ao mais natural e

que estes sejam da forma D
,j
=
j
iG
,j
, onde G
,j
s ao as componentes de um quadrico-
vetor (i.e., 1-formas diferenciais).
1
Por outro lado, como a derivac ao parcial
j
e constante
ao longo de R
1,3
, ent ao na intersec ao U
= U
,= teremos D
,j
D
,j
=
j
iG
,j
.
Assim
e
i
D
,j
= D
,j
e
i
e
i
(
j
iG
,j
) = (
j
iG
,j
) e
i
=
j
_
e
i
_
iG
,j
_
e
i
_
= i
j
e
i
+ e
i
j
iG
,j
_
e
i
_
o que implica
e
i
j
e
i
iG
,j
= i
j
e
i
+ e
i
j
iG
,j
e
i

(iG
,j
) e
i
= (i
j
iG
,j
) e
i
ou seja
G
,j
= G
,j

j
e a maneira como o campo de covetores G

,j
deve se comportar por mudanca de coorde-
nadas.
A conclus ao a que chegamos e que se a equa cao que determina o sistema fsico ao inves
de ser da forma
i
0
=
1
2m
1
Devido a questoes tecnicas, teremos de abrir mao temporariamente da nota cao classica de tensores
usada na fsica.
98 CAP
ITULO 3. APLICA C

com j = 1, . . . , 3 de 1 a 3, deve ser da forma
iD
0
=
1
2m
D
,j
D
,j
,
i.e.,
i
_
d
dt
ig
_
=
1
2m
_
[iG
]
2
_
(3.5)
onde g
= G
,0
e G
= (G
,1
, G
,2
, G
,3
) satisfazem as equa c oes de transicao
_
G
= G
d[
R
3
,
g
= g
dt
,
(3.6)
devido à invari ancia com relac ao às simetrias da forma
= e
i
.
Note que a grandeza denida por
M
e invariante pela transforma cao descrita acima. Assim, tal como o modulo ao quadrado
da funcao de onda, e de se esperar que este invariante tenha alguma interpretacao fsica.
Na verdade, j a conhecemos uma grandeza fsica que e obtida dessa maneira, a saber, o
campo eletromagnetico. De fato tomando-se G
,j
= A
,j
, i.e., (g
, G
) = (
, A
) temos
que M
= F
e a transformacao vista acima e a ja conhecida transformac ao de calibre.

Note ainda que, com esta notac ao a equac ao (3.5) assume a forma
i
_
d
dt
+i
_
=
1
2m
_
[iA
]
2
_
que, a menos da constante multiplicativa q, e exatamente a equac ao (3.4) que descreve

uma partcula carregada na presenca do campo eletromagnetico F
.
Em fsica, o processo de se trocar
j
por D
,j
=
j
iqA
,j
na equac ao de Schrodinger
e conhecido como acoplamento mnimo, o operador D
j
e chamado de derivada de calibre
e o par (
, A
) e chamado de potencial de calibre. Agora podemos entender o por que

deste nome, ja que a presenca do potencial do campo eletromagnetico compensa, atraves
da transformac ao de calibre, a mudanca feita pela transformacao local sobre a fun cao de
onda, i.e., ele calibra a equacao de Schrodinger e por isso o nome potencial de calibre.
Como veremos, este processo de corre cao da equa cao de Schrodinger para adapt a-las ` a
realidade relativstica leva naturalmente à uma geometrizac ao da fsica.
3.1.3 Conexoes e derivadas de calibre
`
A primeira vista, parece impressionante o fato de que partindo apenas de um principio
fundamental (invari ancia da fen omeno fsica por certas transformac oes na funcao de onda)
podemos concluir a existencia de uma nova entidade fsica (o potencial de um campo
eletromagnetico) e ainda como esta interage com a materia (Equacao 3.4). Por tr as de
tudo isso est ao a Teoria dos Grupos de Transformacao de Marius Shophus Lie ([29]) e
o Teorema de Noether
4
, este importando da mecanica cl assica. Todo este estudo que
zemos bem como suas implicac oes e o que se chama em fsica de teoria de calibre. Seu
princpio fundamental e de que a equac ao de Schrodinger deve ser invariante local, este e
o chamado princpio da invariancia de calibre.
O ponto que devemos destacar aqui e que o estado quantico de uma partcula nesta
teoria de calibre passa a ser descrito n ao por uma unica aplicac ao : R R
3
C que
satisfaz a equa cao de Schrodinger, mas sim por uma famlia
de aplicac oes denidas

em abertos (eventualmente diferentes) de uma cobertura aberta U
de RR
3
tais que
nas intersec oes destes abertos func oes
diferentes se relacionam da seguinte forma
= e
i
, (3.7)
onde
e uma funcao diferenciavel denida sobre U
. Alem disso, se
satisfaz a
equac ao de Schrodinger com o potencial A
, entao
satisfaz a equac ao de Schrodinger

com potencial
A
= A
. (3.8)
Dessa forma, denindo-se
/
= i(g
dt + G
,j
dx
j
), (3.9)
e recordando o estudo das conexoes em espa co brados feita no C da Sec ao 2.2, mais
precisamente as equac oes estabelecidas em (2.20), vemos que (3.7) nos leva a denir uma
conexao no brado em retas complexas C E R
1,3
cujos cociclos de transic ao s ao
determinados por e
i
e que (3.9) dene uma conex ao de Cartan-Ehresmann em E. Eis

a o ambiente geometrico procurado.
Alem disso, como o campo de forca eletromagnetico F satisfaz F = dA
, conclumos
que este pode ser interpretado como a curvatura de tal conexao. Vale ressaltar que a
conexao induzida em um brado em retas associado, tem sua escrita local dada por uma
1-forma com valores puramente imagin arios, assim, a 1-forma de potencial de calibre vem
a ser apenas o coeciente real destas primeiras.
Mais precisamente considere o sistema de coordenadas x = (x
0
, x
1
, x
2
, x
3
) = (t, x)
em R
4
e seja U R
4
um aberto aonde esteja denido um potencial de calibre (
U
, A
U
).
Ent ao cam bem denidas a 1-forma de calibre
/
U
= iq(
U
dx
0
+ A
U,1
dx
1
+ A
U,2
dx
2
+ A
U,3
dx
3
)
e a conexao linear
U
: (E
U
)
1
(T
U, E
U
)
U
( s
U
) = (d +/
U
) s
U
, s
U
(x) = (x, 1),
4
Emmy Noether elaborou o Teorema de Noether, que explica as conexoes entre simetrias e as leis de
conserva cao em fsica teorica ([38], [4]).
100 CAP
ITULO 3. APLICA C

denida nas sec oes do brado trivial em E
U
= UC e tomando valores em
1
(T
U, E
U
) =
1
(T
U) (E
U
). Dessa forma, se pretendemos visualizar esta conex ao linear como a
manifestac ao de uma conex ao linear num brado em retas, precisamos estudar cuidado-
samente seu comportamento por mudanca de coordenadas.
Agora recorde de (1.15) que a forma eletromagnetica satisfaz a rela cao F = dA
U
. Uma
vez que F est a bem denida em todo R
4
, ent ao A
U
A
V
e uma 1-forma fechada em UV .
Se U V for simplesmente conexa, segue do Lema de Poincare que A
U
A
V
ser a exata,
o que implicar a na existencia de uma func ao diferenciavel f
UV
: U V C tal que
A
U
= A
V
df
UV
.
Por conseguinte, teremos
/
U
= /
V
iq df
UV
. (3.10)
Comparando-se esta equa cao com (2.20), conclumos que ser a possvel geometrizar estas
soluc oes locais da equa cao de Schrodinger como manifestac oes de sec oes locais de um
brado por retas com grupo estrutural U(1) = S
1
e aplicac oes de transi cao
g
UV
(x) = exp(iqf
UV
(x))
se pudermos obter uma cobertura boa de R
4
(i.e., tal que as intersec oes dois a dois s ao
simplesmente conexas) que satisfacam a condi cao de cociclo
g
UV
g
V W
g
WU
= 1
sempre que U V W ,= .
Observacao 3.5 Note que a existencia de funcoes diferenciaveis f
UV
: U V C
satisfazendo (3.10) ocorre mesmo na ausencia de coberturas boas. O caso particular que
veremos na proxima secao e um exemplo disso.
Resta-nos agora vericar como podemos interpretar as soluc oes locais da equacao de
Shrodinger como manifesta cao de secoes locais deste brado.
Proposicao 3.6 (Principio da invariancia do calibre de Weyl) Se satisfaz a equa-
cao de Schrodinger (3.4) com forma de calibre /, entao
exp(iq f(x))
satisfaz a equacao de Schrodinger (3.4) com forma de calibre /iq df.
Demonstracao. Como se tratam de c alculos imediatos muito similares as ja executados
na Proposic ao 3.4, deixaremos os detalhes para o leitor interessado.
3.2. MONOPOLOS MAGN
ETICOS 101
Criamos assim um dicion ario entre o estudo de brados e a teoria de calibre:
Teoria de calibre Fibrados
Func ao de onda Escrita local de sec oes de brados em retas
Potencial de calibre Conexao de Cartan no brado em crculos
Campo de forca Forma de curvatura da conex ao de Cartan
Transformac ao local Ac ao local dos cociclos de transicao nas sec oes
Transformac ao de calibre Ac ao local dos cociclos de transicao nas formas de conexao
Veremos nas pr oximas duas sec oes como esta correspondencia entre geometria e fsica
nos fornece um melhor entendimento de dois fenomenos estudados em teoria de calibre,
a saber: os monopolos magneticos e efeito Aharonov-Bohm. Mais ainda, veremos como
surgem naturalmente a manifestac ao fsica de mais dois objetos geometricos: as classes
de Chern e a holonomia.
3.2 Monopolos magneticos
Nesta secao iremos estudar a geometrizac ao da solu cao qu antica do sistema monopolo-
carga.
3.2.1 Revisitando o potencial de calibre do monopolo
Recordemos do Exemplo 1.55 que o monopolo magnetico de carga g gera um campo de
forca eletromagnetico em R
1,3
dado em coordenadas esfericas por
F(, ) = g sen d d
e que pode ser descrito pelos potenciais de calibre
A
+
(, , ) = g(1 cos )d, denido em U
+
= Z
(3.11)
A
(, , ) = g(1 + cos )d, denido em U
= Z
+
onde = R
3
0 e Z
e Z
+
s ao respectivamente as partes negativa e positiva do eixo
z. Mais ainda, estes potenciais estao relacionados pela transformac ao de calibre
A
+
A
= d (2g) . (3.12)
Como estes sao constantes no tempo e nao dependem do raio, podemos nos restringir a
estud a-los em S
2
. Neste caso, teremos uma 2-forma de forca F = g sen d d com
potenciais
A
N
= A
+
[
S
2 = g(1 cos )d denido em U
N
= U
+
S
2
= S
2
0, 0, 1;
A
S
= A
[
S
2 = g(1 + cos )d denido em U
S
= U
S
2
= S
2
0, 0, 1.
(3.13)
102 CAP
ITULO 3. APLICA C

Note que do ponto de vista cl assico estes potencias nao tem nenhuma relevancia fsica,
ate mesmo por n ao serem unicos, n ao passando de mera ferramenta de c alculo que visa
simplicar o formato de certas equac oes. No entanto, esta visao muda dramaticamente
com o advento da mecanica qu antica. Para entendermos o porque disso, devemos consi-
derar um sistema um pouco mais complicado do que um monopolo isolado. Novamente,
iremos considerar um monopolo situado na origem de um referencial inercial. Agora in-
troduzimos uma partcula eletrica em movimento com carga q numa vizinhanca deste
monopolo. Como vimos (cf. Exemplo 1.5), do ponto de vista cl assico, o movimento da
partcula e governada pela segunda Lei de Newton atraves da chamada For ca de Lorentz.
Observacao 3.7 Embora os detalhes do movimento no modelo classico nao sejam ne-
cessarios para os nossos propositos, eles sao bastante interessantes. O leitor pode achar
divertido modicar os procedimentos usuais de calculo para a solucao do problema de Ke-
pler am de mostrar que, em geral, a carga e constrangida a mover-se sobre um cone cujo
vertice esta na localizacao do monopolo. (ver secao 9.4 de [17])
3.2.2 A quantizacao (canonica) do sistema monopolo-carga
No entanto, (cf. 3.1) a vis ao atual desse tipo de sistema e um pouco diferente. A carga n ao
e pensada como uma partcula pontual, mas sim como um objeto qu antico descrito pela
sua func ao de onda (t, x, y, z). Esta e uma func ao complexa de valores em (x, y, z) R
3
(no espaco tridimensional) e t R (no tempo), que acredita-se conter todas as informac oes
sicamente mensuraveis sobre a carga. Por exemplo, a probabilidade de encontrar a carga
em torno de R regiao do espaco, em algum instante de tempo t e calculado por meio da
integrac ao de [[
2
= sobre R. A fun cao de onda para q e encontrada resolvendo
a chamada equac ao de Schrodinger para o sistema de monopolo-carga. Recorde que a
equac ao de Schrodinger para um dado sistema e construdo escrevendo-se o Hamiltoniano
cl assico para o sistema e empregando o que e chamado de regra de correspondencia para
substituir as grandezas cl assicas no hamiltoniano por um operador apropiado.
Exemplo 3.8 (Equacao de Schrodinger do monopolo de Dirac) Recorde do Exem-
plo 1.59 que uma partcula de carga q sujeita à acao de um campo eletromagnetico (E, B)
com potencial dado por (, A) esta submetida a uma lagrangeana da forma
L =
mv
2
2
q + qA v V (x).
o que daria a descricao classica do sistema. Mas, seguindo a regra de correspondencia
para obter a quantizacao canonica do sistema, vimos no Exemplo 3.3 que a equacao que
descreve uma partcula carregada sobre efeito de um campo eletromagnetico (a equacao de
Schodinger corrigida) e dada por
i
_

t
+iq
_
=
1
2m
[iqA]
2
+ V . (3.14)
3.2. MONOPOLOS MAGN
ETICOS 103
No caso particular do sistema monopolo-carga teremos potenciais dados por (3.11) ou
(3.13), a depender do modelo matematico considerado.
Como E = 0, ent ao podemos tomar = 0. Portanto, do ponto de vista geometrico,
a unica caracterstica relevante para a nossa investigac ao e que o Hamiltoniano para uma
carga em um campo eletromagnetico envolve, de maneira essencial, o potencial vetor A
para o campo eletromagnetico (cf. (3.10)). Naturalmente, este potencial vetor nao e
unico.
Dessa forma, segue da Proposic ao (3.6) que a substituic ao de A por Ad na equac ao
de Schrodinger (3.14) leva ` a substituic ao da solucao por e
iq
, i.e.:
A A d = e
iq
,
onde e
iq
e um n umero complexo de m odulo um, uma vez que : R
3
0 R e uma
funcao (diferenciavel) real.
5
Assim, a mudanca A A altera unicamente a fase e nao o m odulo (amplitude)
da funcao de onda . Por algum tempo cou a impress ao de que as mudancas de fase
da fun cao de onda nao possuam signicado fsico, uma vez que todas as quantidades
sicamente mensur aveis (conhecidas) associadas à carga q dependiam apenas do modulo
quadrado [[
2
e este e o mesmo para e e
iq
. Na pr oxima secao, veremos que essa e
uma interpretac ao equivocada.
Antes de passarmos ` a geometrizac ao das solu coes da equa cao de Schrodinger, regres-
semos aos dois potenciais vetores locais A
N
e A
S
para o monopolo dados por (3.13) e
denidos respectivamente em U
N
e U
S
. Sejam
N
e
S
funcoes de onda para a carga
determinadas (atraves da equac ao de Schrodinger) pelos potenciais A
N
e A
S
, segue de
(3.12) que
N
= e
i(2qg)
S
em U
N
U
S
. Mas em U
N
U
S
(que contem o crculo (, , ) = (1, /2, )) tanto a
N
quanto a
S
atribui-se exatamente um ( unico) valor complexo para cada ponto. Assim,
para cada t xo, a mudan ca + 2 deve deixar ambos
N
e
S
inalterados. Isso
implica que a aplicac ao + 2 deve deixar e
i(2qg)
inalterada. Desta forma
e
i(2qg)
= e
i(2qg(+2))
= e
i(2qg)
e
i(4qg)
,
de onde segue que
e
i(4qg)
= 1;
ou seja 4qg = 2n para algum inteiro n. Conclumos que
qg = n/2 para algum n Z. (3.15)
5
Talvez frustrando um pouco os possveis leitores oriundos da fsica, escolheremos os referenciais de
forma que a constante de Dirac seja igual a um.
104 CAP
ITULO 3. APLICA C

Esta e a celebre condicao de quantizacao de Dirac e pode ser interpretada como segue: se
apenas um unico monopolo magnetico (com carga g) existir, entao a carga de qualquer
partcula eletrica deve ser quantizada, i.e., vem apenas em m ultiplos inteiros de uma
quantidade basica de carga (q = n(1/2g)).
6
Como a carga e de fato quantizada na
natureza e uma vez que nenhuma outra explicac ao plausvel para este fato ja foi oferecida,
a existencia de monopolos magneticos torna-se uma possibilidade bastante tentadora. Esta
quest ao foi levantada inicialmente pelo fsico britanico Paul Dirac em [12].
3.2.3 Geometrizando o sistema
No intuito de geometrizar o sistema monopolo-carga, passaremos agora a recordar o re-
ceitu ario estabelecido no 3.1.3. Recorde de (3.10) que as formas de conexao respeitam,
na intersec ao de seus domnios, ` a equac ao
/
N
= /
S
iq df
NS
,
onde /
N
= iqA
N
, /
S
= iqA
S
e f
NS
= 2g. Em particular, as esperadas aplicac oes de
transi cao devem assumir a forma
g
NS
(x) = exp(2iqg). (3.16)
Alem disso, segue da Proposicao 3.6 que
N
= e
i(2qg)
S
Logo, a condic ao de quantizac ao de Dirac (3.15) permite-nos ent ao concluir que
N
s
N
=
S
s
S
, onde s
N
(x) = (x, 1) (repesct. s
S
(x) = (x, 1)) e uma secao diferenci avel de U
N
C
(respect. U
N
C), geram uma sec ao global do brado com retas complexas denido
pela aplica cao de transicao (3.16) munido de uma conex ao linear denida pelas formas de
calibre /
N
e /
S
.
Acabamos de constatar que a condic ao de quantizac ao de Dirac e suciente para a
geometrizac ao das soluc oes da equac ao de Schrodinger. Como consequencia do Teorema
2.73, veremos que ela e tambem necess aria. Em outras palavras, iremos mostrar que n ao
e possvel realizar as solucoes da equa cao de Schrodinger em outros brado que nao os
dados por (3.16).
Suponhamos que exista um brado por retas complexas E munido de uma conex ao
dado pelas 1-formas de calibre /
N
e /
S
. Recordemos tambem de (1.15) que o uxo
magnetico e dado por
=
_
S
2
B dS =
_
S
2
g
r
2
e
r
ndA =
g
R
2
_
S
2
dA =
g
R
2
4R
2
= 4g.
6
A formato sicamente correto da condicao de quantizacao de Dirac usando as unidade de medida
padrao da fsica e 2qg/ = n para algum n Z.
3.2. MONOPOLOS MAGN
ETICOS 105
Por outro lado, segue de (1.15) e do teorema de Stokes que a integral da forma de for ca
nos da
_
S
2
F =
_
U
N
dA
N
+
_
U
S
dA
S
=
_
S
1
A
N

_
S
1
A
S
=
_
S
1
d (2g) = 2g
_
2
0
d = 4g
ou seja
=
_
S
2
B dS =
_
S
2
F = 4g.
Como a forma de Chern de um brado em crculos e dada por
c
1
(P, ) =
i
2
T,
onde T = iqF e a forma de curvatura da conexao denida pelas formas de calibre /
N
e
/
S
, ent ao
_
S
2
c
1
(P) =
_
S
2
i
2
T =
_
S
2
i
2
iqF =
1
2
q
_
S
2
F =
1
2
4qg = 2qg
o que nos diz que o n umero de Chern deste brado e igual a 2qg. O Teorema 2.73 nos
garante que este e sempre um n umero inteiro o que mostra que a geometrizac ao da equa cao
de Schrodinger num brado principal so pode se dar de forma a respeitar a condic ao de
quantizac ao de Dirac.
J a sabemos que o n umero de Chern de um brado n ao depende de nenhuma conex ao
em particular mas apenas da estrutura do brado em si. Desta forma, cada valor 2qg Z
do sistema monopolo-partcula carregada pode ser modelado em um brado diferente de
n umero de Chern n = 2qg. Resumidamente, para cada n temos um brado U(1)
P
n
n
S
2
com formas locais de conexao, funcao de transic ao e forma de curvatura dados
respectivamente por
/
N
= i
_
n
2
_
(1 cos )d; /
S
= i
_
n
2
_
(1 + cos )d; g
NS
= e
ni
;
T = i
_
n
2
_
sen d d.
Observe que j a conhecemos alguns casos particulares destes brados.
Exemplo 3.9 Quando n = 0 a funcao de transicao e g
NS
= e
0i
= 1, ou seja, o brado
em crculos em questao e o brado trivial U(1) S
2
U(1)

S
2
. Assim uma partcula
neste ambiente e estudada atraves de uma secao do brado em retas associado, neste
caso o brado em retas trivial S
2
C.
Exemplo 3.10 No caso em que n = 1 ou n = 1 as funcoes de transicao sao respectiva-
mente g
NS
= e
i
e g
SN
= e
i
ou g
NS
= e
i
e g
SN
= e
i
que sao as funcoes de transicao
do brado de Hopf U(1) S
3

S
2
(cf. Exemplo 2.24). Desta forma quando n = 1 o
potencial de calibre do monopolo e uma conexao no brado de Hopf e estudo da interacao
entre uma partcula e este monopolo e feito atraves de uma secao no brado tautologico,
que e o associado ao de Hopf.
106 CAP
ITULO 3. APLICA C

Para n > 1 teremos brados com cociclos de transic ao mais envolventes. Por exemplo,
e possvel mostrar que para n = 2 o monopolo magnetico em questao e modelado pelo
brado em crculos U(1) RP
3

S
2
e uma partcula interagindo com este e descrita
por uma sec ao no brado tangente da esfera de Riemann, mas isto esta fora do escopo
deste trabalho. O leitor interessado pode consultar [36].
Conclumos esta sec ao observando que, dos exemplos acima, o n umero de Chern do
brado do brado tautol ogico e igual a 1 e pelo Teorema 2.73 qualquer se cao sobre este
tera ao menos um ponto singular e pelo Teorema 2.18 este brado nao e trivial. Disto
temos que o seu brado associado, o brado de Hopf, tambem n ao e trivial, pois n ao
e associado ao brado em retas trivial. Desta maneira, os estudo dos monopolos nos
permitiu concluir fatos matematicos nao elementares.
3.3 Efeito Aharonov-Bohm
Introduzimos os potenciais de calibre no Captulo 1 e destacamos seu aparecimento histo-
ricamente como ferramenta facilitadora no operacional de equac oes diferenciais. Uma per-
gunta natural e se estes sao mera manipula cao matem atica ou tem alguma relev ancia fsica,
i.e., se podem ser experimentalmente detectados. Classicamente, uma partcula sujeita a
ac ao de um campo eletromagnetico experimenta a forca de Lorentz F = q(E + v B).
Quanticamente, e a equacao de Schrodinger
i
_

t
+ iq
_
=
1
2m
[iqA]
2
que descreve tal inuencia e nesta os potenciais aparecem explicitamente, o que sugere
que estes campos (potenciais de calibre) tem de fato alguma realidade fsica.
Foi no ano de 1959 que Yakir Aharonov e David Bohm propuseram em [2] um experi-
mento que viria a conrmar essa expectativa. Na gura abaixo apresentamos um esboco
do aparato envolvido no experimento.
Figura 1. Experimento Aharonov-Bohn
Um feixe de eletrons e lancado de um ponto P em direc ao a uma tela T protegida por
uma outra tela R com duas fendas F1 e F2. Por tras da parte do meio da tela R est a
um solenoide de dimens oes (di ametro e altura) de forma que quando ligada uma corrente
eletrica o campo magnetico produzido seja igual (aproximadamente) ao de um solenoide
innito. Os eletrons atingem a tela T formando um padr ao de interferencia especco e
quando e ligada a corrente eletrica no solenoide este padr ao sofre um deslocamento ao
longo de T.
Fisicamente o que se passa e o seguinte: sabemos que um eletron e descrito por uma
funcao de onda e que o modulo ao quadrado desta fornece a probabilidade dele estar
3.3. EFEITO AHARONOV-BOHM 107
numa dada regi ao do espaco. Com o solenoide desligado, a func ao de onda associada
ao feixe de eletrons e dividida em duas ao incidir na tela R, uma
1
que passa por F
1
e uma
2
que passa por F
2
, e estas se encontram novamente na tela T. Desse modo, a
probabilidade de se encontrar um eletron num ponto Q qualquer da tela T e dada por
[
1
(Q) +
2
(Q)[
2
. Uma conta simples nos mostra que isto induz um padrao construtivo-
destrutivo resultante da sobreposic ao das funcoes
1
e
2
, omitindo a dependencia de
Q.
Mais precisamente, sendo
1
= [
1
[e
i
e
2
= [
2
[e
i
teremos
[
1
+
2
[
2
= (
1
+
2
) (
1
+
2
)
= [
1
[
2
+[
2
[
2
+
1
2
+
2
1
= [
1
[
2
+[
2
[
2
+[
1
[e
i
[
2
[e
i
+[
2
[e
i
[
1
[e
i
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[
_
e
i
e
i
+ e
i
e
i
_
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[
_
e
i
+ e
i
_
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[2 cos( )
Claramente esta interferencia depende da diferenca de fase das funcoes
1
e
2
no ponto na tela, de modo que o efeito construtivo e m aximo quando = 2k e o
efeito destrutivo e m aximo quando [ [ = (2k + 1), k Z.
Para entendermos o que ocorre quando e ligado o solenoide, recordemos do Exemplo
1.6 que no exterior do solenoide o campo magnetico B e identicamente nulo e o potencial
e dado por
A(t, x) =
_
B
0
2
(y, x, 0) se =
_
(x
2
+ y
2
) a
B
0
a
2
2
_
y
(x
2
+y
2
)
,
x
(x
2
+y
2
)
, 0
_
se =
_
(x
2
+ y
2
) > a
(t, x) = 0.
ou seja B = 0 e A n ao.
De acordo com [47] a fun cao de onda de uma partcula livre e dada por = [[e
i(pr)
,
onde p e o momento e r e o vetor posi cao (cf. e.g. [47]). Sabemos da Sec ao 3.1 que
sob efeito de um campo magnetico o momento muda por p p qA (vide Exemplo
3.3). Portanto, (considerando q = 1 por simplicidade) na presenca do campo magnetico
a func ao de onda sera
A
:= [[e
i((pA)r)
= [[e
i(pr)
e
i(Ar)
Assim a fase da partcula muda pontualmente por A r. Am de calcularmos
a diferen ca total, devemos somar essas diferencas ao longo de toda a trajetoria da
partcula. Logo
=
_
Adr
108 CAP
ITULO 3. APLICA C

Portanto, num ponto Q sobre a tela T (ver Figura 1), as func oes de onda s ao dadas por
A
1
= [
1
[e
i
e
iS
1
e
A
2
= [
2
[e
i
e
iS
2
, onde
S
1
= q
_
1
Adr, S
2
= q
_
2
Adr
e
1
e
2
s ao curvas que ligam P a Q atraves de F
1
e F
2
, respectivamente. A nova
interferencia em Q ser a dada por
[
A
1
+
A
2
[
2
=
_
A
1
+
A
2
_
(
A
1
+
A
2
)
= [[
1
[e
i
e
iS
1
[
2
+[[
2
[e
i
e
iS
2
[
2
+[
1
[e
i
e
iS
1
[
2
[e
i
e
iS
2
+[
1
[e
i
e
iS
1
[
2
[e
i
e
iS
2
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[
_
e
i
e
iS
1
e
i
e
iS
2
+ e
i
e
iS
1
e
i
e
iS
2
_
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[
_
e
i(+S
1
S
2
)
+ e
i(+S
1
S
2
)
_
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[2 cos ( + S
1
S
2
) .
Como
S := S
1
S
2
=
__
1
Adr
_
2
Adr
_
(3.17)
=
__
1
Adr +
_
2
Adr
_
=
_
Adr =
temos
[
A
1
+
A
2
[
2
= [
1
[
2
+[
2
[
2
+[
1
[[
2
[2 cos ( )
ou seja, o padrao de interferencia sofre um deslocamento horizontal proporcional ao uxo
magnetico no interior do solenoide.
Uma vez que o campo eletromagnetico e identicamente nulo na regiao em que os
eletrons passam, a forca de Lorentz e tambem nula. Dessa forma, a teoria cl assica su-
postamente previa que nenhuma inuencia deveria ocorrer. No entanto, acabamos de ver
que quanticamente o fato do potencial de calibre nao ser nulo conduz a consequencias
observaveis, mostrando assim de uma vez por todas que o potencial possui sim existencia
fsica. Essa previs ao foi conrmada experimentalmente por Robert G. Chambers em 1960
([6]).
Veremos agora como o efeito Aharonov-Bohm pode ser naturalmente interpretado
como um evento se manifestando em um espaco brado munido de uma conex ao. Uma
vez que estamos estudando as func ao de onda das partculas, o brado em quest ao dever a
ser um brado em retas E, veremos agora como determin a-lo. Como estamos estudando
apenas o que se passa fora do solenoide, o potencial ser a
A(t, x) =
B
0
a
2
2
_
y
(x
2
+ y
2
)
,
x
(x
2
+ y
2
)
, 0
_
3.3. EFEITO AHARONOV-BOHM 109
podemos ent ao considerar o solenoide como sendo de raio a = 0 e como do Exemplo 1.6
temos
B
0
a
2
2
=

2
,
usaremos o potencial
A(t, x) =

2
_
y
(x
2
+ y
2
)
,
x
(x
2
+ y
2
)
, 0
_
com o solenoide sendo a origem do plano. Como o fen omeno e essencialmente bidimensi-
onal e n ao depende do tempo, tomaremos M = R
2
0 como variedade base. Assim o
brado em quest ao ser a o brado trivial E = M C munido da conex ao
/ = iA =
i
2(x
2
+ y
2
)
(ydx + xdy) .
Queremos agora destacar um fato geral relacionado ` a propriedade da conexao ser
compatvel com a metrica can onica deste brado. Considere dois pontos p, q M e dois
caminhos
1
e
2
distintos que ligam p a q. Tomando duas sec oes s, t (M, E), podemos
fazer o transporte paralelo de s(p) ao longo de
2
e t(p) ao longo de
1
, encontrando res-
pectivamente s(q) e

t(q). Como E tem uma estrutura metrica can onica, os comprimentos
e angulos s ao medidas intrnsecas, portanto, s(p) e t(p) possuem uma diferenca de fase
bem denida, bem como s(q) e

t(q) possuem uma diferenca de fase , tambem bem
denida.
Figura 2.
Como a conexao e compatvel com a metrica, se transportarmos s(q) e

t(q) ao longo
de
2
em sentido contr ario teremos que o transporte paralelo de s(q) sera s(p) = s(p),
enquanto o de

t(q) sera

t(p) de modo que a diferenca de fase entre s(p) e

t(p) tambem
ser a . Portanto a diferenca de fase entre s(q) e

t(q) ser a a diferenca de fase entre s(p)
e t(p) acrescida da diferen ca de fase resultante da holonomia := hol(, ) do caminho
fechado =
1
2
.
Figura 3.
No caso particular do efeito Aharonov-Bohm, teremos s(p) =
2
(P), t(p) =
1
(P),
s(q) =
A
2
(Q), e

t(q) =
A
1
(Q). De (2.16) e de (3.17) segue
hol(, ) = exp
_
/
_
= exp
_
iAdr
_
= exp(i)
e portanto a diferen ca de fase S equivale à holonomia do caminho.
Disto conclumos que o efeito Aharonov-Bohm e, do ponto de vista da geometria de
brados, a manifestac ao fsica da holonomia proveniente de uma certa conex ao. Em [54]
Wu e Yang asseveram que:
110 CAP
ITULO 3. APLICA C

o campo de forca F
ij
nao descreve completamente a fsica ou seja, situ-
acoes diferentes podem ter o mesmo campo de forca (...) o que fornece uma
descricao completa e o fator de fase exp(i).
Em termos geometricos: A curvatura nao fornece uma descricao completa da estru-
tura geometrica, mas sim a holonomia. No caso do efeito Aharonov-Bohm temos uma
geometria com curvatura zero porem holonomia nao trivial.
Conclusao
A classe de Chern e um invariante o brado (seja em retas ou em crculos) e o teorema
de Chern para brados em retas (Teorema 2.73) nos garante que o n umero de Chern de
uma superfcie qualquer contida na variedade base nos da a soma mnima dos ndices de
qualquer sec ao sobre tal superfcie e consequentemente sobre toda a variedade. Uma vez
que um brado em retas e trivial se, e somente se, admitir uma sec ao global que n ao se
anula em ponto algum (Teorema 2.18), temos que a classe de Chern de um brado nos da
a obstruc ao total deste brado ser trivial. Em outras palavras a classe de Chern de um
brado mede a sua nao-trivialidade.
Como resultado do di alogo entre geometria e fsica, as classes de Chern nos permitiram
concluir que para cada monopolo de diferente carga a situac ao fsica sera modelada em um
diferente brado. Reciprocamente, os potenciais de calibre provenientes dos monopolos de
diferentes cargas nos fornecem conex oes em diferentes brados sobre S
2
. Em particular,
conclumos com isto que o brado de Hopf n ao e trivial e ainda que qualquer sec ao
no brado tautol ogico ter a no mnimo um ponto singular. Apesar de ser um fenomeno
relacionado ao campo magnetico, vimos que o efeito Aharonov-Bohm n ao pode ser previsto
ou explicado pela teoria eletromagnetica cl assica, o que s o foi possvel atraves da mecanica
quantica. A diferenca crucial e que na mecanica qu antica temos o conceito de fase e esta
interage diretamente com o potencial de calibre. Aqui, do di alogo entre geometria e
fsica, pudemos constatar que o efeito Aharonov-Bohm e a manifestac ao fsica do conceito
geometrico de holonomia. No caminho inverso, este nos forneceu um exemplo de uma
geometria que possui curvatura nula porem holonomia nao-trivial.
Os brados em retas e em crculos vistos aqui s ao naturalmente generalizados. Os
brados em retas sao casos particulares de brados vetoriais, onde a bra, ao inves de
ser necessariamente um espaco vetorial complexo de dimens ao 1, pode ser um espaco
vetorial (real, complexo ou quaterni onico) de dimensao n qualquer. Nos brados vetoriais
temos naturalmente a extens ao de todos os resultados apresentados aqui, com ligeiras
diferen cas, por exemplo a trivialidade e equivalente a n se coes linearmente independentes
em todo ponto, ao inves de uma sec ao global que nunca se anula. O fato podermos olhar
para apenas uma sec ao facilitou bastante o estudo restrito aos brados em retas. J a a
generalizacao dos brados em crculos s ao os brados principais, onde a bra, ao inves de
ser necessariamente o grupo de Lie U(1), pode ser um grupo de Lie qualquer, inclusive
111
112 CONCLUS
AO
grupos nao-abelianos. Aqui o fato de U(1) ser abeliano nos poupou de uma construcao
te orica muito mais elaborada. O leitor interessado em tais generalizac oes pode consultar
[37], [21] e [35].
Impondo-se o princpio da invari ancia de calibre sobre a mec anica quantica de uma
partcula livre, obtivemos a teoria de calibre mais simples conhecida, a da mec anica quan-
tica de uma partcula na presenca de um campo eletromagnetico. As teorias de calibre
modernas em geral sao ligeiramente diferentes: impoe-se o princpio da invari ancia de ca-
libre sobre uma teoria de campos lagrangeana. O leitor interessado em tais teorias pode,
apos o presente trabalho, consultar [17], [3] e [33]. Destacamos que atualmente em fsica
te orica o estudo e procura por equivalentes ao efeito Aharonov-Bohm e a monopolos mag-
neticos em tais teorias constitui uma ativa area de pesquisa. O leitor pode por exemplo
consultar em [47] que monopolos magneticos sao casos particulares do que se conhece hoje
como solitons topologicos.
Assim como apresentado neste trabalho, as mais modernas teorias de calibre sao estu-
dadas usando-se do que h a de mais moderno no estudo de espacos brados. Recomenda-
mos como referencias para este assunto [5] e [22]. Destacamos que a pr opria formula cao
correta e rigorosa, do ponto de vista matem atico, de tais teorias e por si so uma area de
pesquisa. Por exemplo, na tese [49], defendida em 2007, o autor se propoe a dar uma
contribuicao à questao de como implementar o conceito de simetria global e simetria local
na teoria geometrica de campos.
Referencias Bibliogracas
[1] R. Abraham, J.E. Marsden and T. Ratiu, Manifolds, Tensor Analysis, and Applica-
tions. Springer-Verlag, New York. 2002.
[2] Y.Aharonov, D. Bohm, Signicance of Electromagnetic Potentials in Quantum The-
ory. Physical Review 115: 485491. 1959.
[3] R. Aldrovandi, J.G. Pereira, Notes for a Course on Classical Fields. Preprint -
disponvel em http://www.ift.unesp.br/users/jpereira/classnotes.html - acessado em
28/10/2012.
[4] V.I. Arnold, Mathematical Methods of Classical Mechanics. Springer-Verlag, New
York. 1989.
[5] D. Bleeker, Gauge Theory and Variational Principles. Addison-Wesley Publishing
Company, Boston. 1981.
[6] R.G. Chambers, Shift of an Electron Interference Pattern by Enclosed Magnetic Flux.
Physical Review Letters 5: 35. 1960.
[7] S.S. Chern, A Simple Intrinsic Proof of the Gauss-Bonnet Formula for Closed Rie-
mannian Manifolds. Annals of Mathematics, Vol. 45. 1944.
[8] S.S. Chern, On the curvatura integra in Riemannian manifold, Annals of Mathema-
tics, Vol. 46. 1945.
[9] S.S. Chern, Circle bundles, Lecture Notes in Mathematics - Geometry and Topology,
Vol. 597. Springer-Verlag, New York. 1977.
[10] S.S. Chern, Vector Bundles with a connection, Colet ania: Studies in Mathematics,
Vol 27 - Global Diferential Geometry. The Mathematical Association of America.
1989.
[11] C. Cohen-Tanoudji, B. Diu, F. Laloe, Quantum Mechanics. John Wiley & Sons, New
Jersey. 1992.
113
114 REFER
ENCIAS BIBLIOGR
AFICAS
[12] P.A.M. Dirac, Quantised Singularities in the Electromagnetic Field, Proc. Royal So-
ciety, A133, 6072. 1931.
[13] P.A.M. Dirac, The Theory of Magnetic Poles, Physical Review 74, 817830. 1948.
[14] M. Do Carmo, Geometria Riemanianna. Projeto Euclides, Rio de Janeiro: IMPA. 4
a
ed. 2008.
[15] M. Do Carmo, Geometria diferencial de Curvas e Superfcies. SBM, Rio de Janeiro.
4
a
ed. 2010.
[16] A. Einstein, Zur Elektrodynamik der bewegten Korper. Annalen der Physik 17: 891
921. 1905.
[17] B. Felsager, Geometry, Particles, and Fields. Springer-Verlag, New York. 1998.
[18] R. Feynman, R. Leighton, M. Sands, Feynman Lectures on Physics, Vol.I. Addison-
Wesley Publishing Company, Boston. 1964.
[19] R. Feynman, R. Leighton, M. Sands, Feynman Lectures on Physics, Vol.II. Addison-
[20] R. Feynman, R. Leighton, M. Sands, Feynman Lectures on Physics, Vol.III. Addison-
[21] T. Frankel, The Geometry of Physics, An Introduction. Cambridge University Press,
Cambridge. 1997.
[22] D.S. Freed, Classical Field Theory and Supersymmetry. IAS/Park City Mathematics
Series, Vol. 11. American Mathematical Society, Rode Island. 2001.
[23] I.M. Gelfand, V.S. Fomin, Calculus of Variations. Dover, New York. 2000.
[24] H. Goldstein, C. Poole, J. Safko, Classical Mechanics. Addison-Wesley Publishing
Company, Boston. 3
a
ed. 2002.
[25] D.J. Griths, Introduction to Eletrodynamics. Prentice Hall, New Jersey. 3
a
ed. 1999.
[26] D.J. Griths, Introduction to Quantum Mechanics. Prentice Hall, New Jersey. 1994.
[27] M. Kaku, Quantum Field Theory - A Modern Introduction. Oxford University Press,
Oxford. 1993.
[28] J. Leveugle, Poincare et la Relativite. La Jaune et la Rouge: 3151. Avril, 1994.
[29] S. Lie, Theorie der Transformationsgrouppen. 1888. Reprinted by Chelsea Publishing
Co, New York. 1970.
REFER
ENCIAS BIBLIOGR
AFICAS 115
[30] H.A. Lorentz, Electromagnetic Phenomena in a System Moving With Any Velocity
Less Than That of Light. Proc.Royal Acad. Amsterdam. 1904.
[31] C. Marchal, Henri Poincare : Une Contribution Decisive à la Relativite. Disponvel
em http://www-cosmosaf.iap.fr/Poincare.htm - acessado em 28/100/2012.
[32] S. Morita, Geometry of Dierential Forms. Translations of Mathematical Mono-
graphs, Vol. 201. American Mathematical Society, Rode Island. 1997.
[33] K. Moriyasu, An Elementary Primer for Gauge Theory. World Scientic Publishing,
Singapore. 1983.
[34] M. Murray, Line Bundles. Honours 1996. 2008. Disponvel em
http://www.maths.adelaide.edu.au/michael.murray/line bundles.pdf - acessado
em 29/10/2012.
[35] G.L. Naber, Topology, Geometry, and Gauge Fields: Foundations. Springer Verlag,
New York. 1997.
[36] G.L. Naber, Topology, Geometry, and Gauge Fields: Interactions. Springer Verlag,
New York. 1997.
[37] M. Nakahara, Geometry Topology and Physics. Odense University Press, Odense,
Dinamarca. 1981.
[38] E. Noether, Invariant Variation Problems. 1918. Tradu-
c ao para o ingles de M.A. Tavel. 2005. Disponvel em
http://arxiv.org/pdf/physics/0503066%20English%20translation%20of%20Noether%27s%20paper
- acessado em 28/10/2012.
[39] L. ORaifeartaigh, N. Straumann, Gauge Theory: Historical Origins and Some Mo-
dern Developments. Reviews of Modern Physics 1, Vol. 72. 2000.
[40] H. Poincare, La Mesure du Temps. Revue de Metaphysique et de Morale, 6: 371384.
1898.
[41] H. Poincare, La Science et lHypothèse. Edition Flammarion, Paris. 1902.
[42] H. Poincare, Letat Actuel et lAvenir de la Physique Mathematique. Bulletin des
Sciences Mathematiques, 28: 302324. 1904.
[43] H. Poincare, Sur la Dynamique de l
Electron. Comptes Rendus Acad. Sci. Paris, 140:

15041508. 1905.
[44] H. Poincare, Sur la Dynamique de l
Electron. Rendiconti del Circolo Matematico di

Palermo, 21: 129175. 1906.
116 REFER
ENCIAS BIBLIOGR
AFICAS
[45] C. Quigley, On the Origins of Gauge Theory. 2003. Disponvel em
http://www.math.toronto.edu/colliand/426 03/Papers03/C Quigley.pdf - acessado
em 29/10/2012.
[46] H. Romer, M. Forg, Elementare Feldtheorie. VCH-Verlag, Wei-
nheim, Alemanha. 1993. Traducao para o portugues disponvel em
http://www.ime.usp.br/forger/cursport.html - acessado em 28/10/2012.
[47] L.H. Ryder, Quantum Field Theory. Cambridge University Press, Cambridge. 2
a
ed.
(1985) 1996.
[48] C.C. Silva, Da Forca ao Tensor: Evolucao do Conceito Fsico e da Repre-
sentacao Matematica do Campo Eletromagnetico. Tese de Doutorado, Instituto
de Fsica Gleb Wataghin da Universidade de Campinas. 2002 - Disponvel em
http://webbif.i.unicamp.br/tesesOnline/teses/IF487.pdf - acessado em 28/10/2012.
[49] B.L. Soares, Simetrias Locais e Globais em Teoria de Calibre. Tese de Doutorado,
Instituto de Matem atica e Estatstica da Universidade de S ao Paulo. 2007.
[50] M. Tsamparlis, Special Relativity - An Introduction with 200 Problems Solution.
Springer-Verlag, New York. 2010.
[51] C. Marle, The Works of Charles Ehresmann on connections. Banach Center Publ.
76 (2007), 65-86
[52] R. Utiyama, Invariant Theoretical Interpretation of Interaction. Physical Review 5,
Vol. 101. 1956.
[53] H. Weyl, Gravitation and the Electron. Palmer Physical Laboratory, Vol. 15, Prince-
ton. 1929.
[54] T.T. Wu, C.N. Yang, Concept of Nonintegrable Phase Factors and Global Formulation
of Gauge Fields, Physical Review 12, Vol. 12. 1975.
[55] C.N. Yang, R.L. Mills, Conservation of Isotopic Spin and Isotopic Gauge Invariance.
Physical Review 1, Vol. 96. 1954.

Dissertação - Diego - Versão Final

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Dissertação - Diego - Versão Final

Transféré par

Droits d'auteur :

Formats disponibles

Universidade Federal do Esprito Santo

Centro de Ciencias Exatas

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

), podemos encontrar uma solucao (A, ) tal que

= +, onde (t, x) e qualquer solucao da equacao de onda

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

). Calculos diretos mostram que este satisfaz as equacoes de

representam o hemisferio norte e sul da esfera, respectivamente, e C o

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

de onde segue que

nao coincidem na intersecao de seus

diferem por uma transformacao de calibre com = 2g, portanto

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

dado da seguinte maneira:

de tipo (r, s), onde

T de tipo (0, 2) podemos associar um tensor

de tipo (2, 0) da seguinte maneira

para M, sabemos que

sua base dual. Assim, nesse sistema de

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

f e a -esima componente do vetor f neste sistema de coordenadas.

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

, de onde segue que

, de onde segue que

que se afasta ao longo de eixo x com

. Estes campos sao relacionados por

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

, de como este interage com o tensor

cuja representacao matricial

e a quadrivelocidade da partcula pontual.

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

e de como este interage com uma quadricorrente J

, tendo em vista o Lema

via um operador diferencial convenientemente escolhido, de tal forma

n ao e unico, pois, qualquer que seja a fun cao diferenci avel

n ao altera as equac oes de Maxwell. Alem disso,

. Neste caso, o calibre de Lorentz A +

= 0. Logo, as equa coes de movimento se reduzem a

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

e o sinal desta permutacao.

(M) para todos i

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

e a quadrivelocidade da partcula pontual e i

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

, segue do Exemplo 1.50 que

, pois, por (1.39), a expressao F = dA nos diz que

e isto e equivalente a dizer que

que e a transformac ao de calibre tensorial.

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

E conveniente, no entanto, que passemos para coordenadas esfericas. Assim teremos

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

. Entao, temos novamente dois potenciais tais que a uniao de seus

= (gd g cos d) + (gd + g cos d) = 2gd = d (2g) .

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

(t) sao a posicao e velocidade da partcula em funcao do tempo, tem como

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO

que diferem por um termo de diver-

ITULO 1. TEORIA DE CAMPOS: ELETROMAGNETISMO