Ps-Graduaao

Unificao Geomtrica das Interaes Fundamentais

Disrael Camargo Neves da Cunha

Maio de 2013

Braslia - DF

Disrael Camargo Neves da Cunha

Unificao Geomtrica das Interaes Fundamentais

apresentada ao InstiDissertacao
tuto de Fsica da Universidade de
Braslia como parte dos requisitos

do
necessarios
para a obtencao

ttulo de Mestre em Fsica Teorica.

Banca Examinadora
Marcos Duarte Maia (Orientador) - UnB - Fsica
Aleksandr Nikolaievich Pinzul - UnB - Fsica
Marco Czar Barbosa Fernandes - UnB - Fsica (Suplente)
Pedro Roitman - UnB - Matemtica

Maio de 2013

Braslia - DF

ii

Agradecimentos
nao
seria possvel sem a dedicacao
constante e atenciosa do meu
Esta dissertacao
o incrvel dom de explicar teorias
orientador, Professor Marcos Duarte Maia, que tem
consideradas por mim difceis, de forma totalmente compreensvel. O professor Re simbolica,

nato Portugal teve um papel decisivo no meu aprendizado de computacao

utilizada na ultima
parte do trabalho.

Daniel Muller,
Agradeco aos professores Marco Cezar,
Lucas Costa, Mauro Patrao,

Capistrano e Edmundo Monte e aos amigos FeRichard Kerner, Pedro Odon, Abraao
Coelho por conversarem comigo
lipe Dorazio, Bruno Vieira, Alisson Chavier e Natalia

sobre os assuntos desta dissertacao.

` minha esposa Julia pelo com a` minha famlia. A
Gostaria de agradecer tambem
panheirismo neste momento difcil que e o mestrado. Aos meus pais, Eldis e Tarcsio

` mais
pela inesgotavel
paciencia
que tiveram ao responder sempre prontamente as

variadas perguntas que eu fazia quando crianca. Aos meus irmaos

Lulu, Theou,
Marcela, Bebel e Abel que sempre me encorajaram a discutir fsica de maneira
Jojo,

mais didatica
possvel, me ensinando a organizar os conceitos, permitindo uma maior
clareza dos conteudos
por mim estudados.

Por fim, agradeco a` CAPES pelo auxlio financeiro.

iv

Para se entender
Tem que se achar
e so isso que se ve
Que a vida nao
E um pouco mais
conseguem perceber
Que os olhos nao
nao
ousam tocar
E as maos
recusam pisar
E os pes

Mangueira. De Herminio Bello de Carvalho e Paulinho da Viola.

Sei la,

Resumo
abeliana, proposta em 1963 para a unificacao
das interacoes

A teoria de Kaluza-Klein nao

do espaco-tempo no
fundamentais e modificada, utilizando a topologia de imersao
de Einstein-Hilbert aplicada ao espacolugar da topologia produto original. A acao

tempo total e mantida, mas o ansatz da metrica

e derivado apenas usando a imersao.
e compacto, mas sim gerado pelas dimensoes
extras requeridas
O espaco interno nao
e o grupo de isometria desempenha o papel da simetria de calibre. Os
pela imersao
de origem geometrica,

potenciais de calibre sao

dada pela terceira forma fundamental
de Einstein-Hilbert do espaco de imersao

do espaco-tempo quadridimensional. A acao

na acao
gravitacional usual do espaco-tempo mais a acao
de Yang-Mills,
se decompoe
determinado pela segunda forma fundamental
adicionado de um termo de interacao
(ou curvatura extrnseca do espaco-tempo). Uma vantagem sobre a teoria de Kaluza
Klein original e que o problema da quiralidade fermionica
na escala eletrofraca e re fundamentais.
solvido, juntamente com o problema da hierarquia das interacoes
Unificacao

Palavras-chave: Kaluza-Klein, Imersao,

vi

Abstract
The non abelian Kaluza-Klein theory, from 1963 for the unification of the fundamental
interactions is modified, using the embedding topology of space-times in place of the
original product topology. The Einstein-Hilbert action applied to the higher dimensional
embedding space is maintained, but the metric ansatz is derived from the embedding.
The internal space is not compact as generated by the extra dimensions of the embedding and its isometry group plays the role of the gauge symmetry. The gauge potentials are of geometrical origin, given by the third fundamental form of the embedded
space-time. The Lagrangian of the total space decomposes in the gravitational plus
the Yang-Mills plus an interaction term determined by the second fundamental form (or
extrinsic curvature). The advantage over the original Kaluza-Klein is that the problem
associated with the fermions chirality at the electroweak scale is resolved, together
with the the hierarchy of the fundamental interactions.

Keywords: Kaluza-Klein, Embedding, Unification

vii

Indice
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

iv

Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

vi

Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

vii

Lista de Figuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Lista de Convencoes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1 Introducao

2 Fsica e Geometria

Euclideanas . . . . . . . . . . . . .
2.1 O Surgimento das Geometrias Nao

2.2 Geometria Riemanniana . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

3 Geometria Riemanniana Imersa

28

3.1 Importancia
da Segunda e Terceira Formas Fundamentais . . . . . . .

32

de Integrabilidade da Imersao
. . . . . . . . . . . . . . . . . .
3.2 Condicao

38

4 Interacoes
Fundamentais

44

4.1 Gravitacao
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

45

de Einstein-Hilbert . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Acao

47

4.2 Campos de Calibre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

4.2.1 Teoria de Calibre de Weyl . . . . . . . . . . . . . . . . . . . . . .

51

4.2.2 Renascimento da Teoria de Calibre . . . . . . . . . . . . . . . .

52

4.2.3 A Teoria de Yang-Mills . . . . . . . . . . . . . . . . . . . . . . . .

53

Geometrica

4.2.4 Formulacao
da Teoria de Yang-Mills . . . . . . . . .

57

5 Exemplos de Unificacao

61

5.1 Teoria de Kaluza-Klein . . . . . . . . . . . . . . . . . . . . . . . . . . . .

viii

61

5.1.1 Incio da Teoria de Kaluza-Klein . . . . . . . . . . . . . . . . . .

61

Abeliana . . . . . . . . . . . . . . . .
5.1.2 Teoria de Kaluza-Klein Nao

70

5.2 A Hierarquia Gravitacional . . . . . . . . . . . . . . . . . . . . . . . . . .

80

Geometrica

6 Unificacao

84

Conclusao

97

da Terceira Forma Fundamental

A Transformacao

99

Infinitesimal da Terceira Forma Fundamental . . . . . . 100

A.1 Transformacao
da Terceira Forma Fundamental . . . . . . . . . . . . . . 101
A.2 Transformacao
e Unificacao

B Exemplo de Imersao

104

Referencias

134

ix

Lista de Figuras

2.1 Solidos
Platonicos
como Elementos Fundamentais da Natureza . . . .

2.2 Postulados de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

2.3 Contra-Exemplo ao Postulado de Euclides . . . . . . . . . . . . . . . . .

11

Euclideanos
2.4 Soma dos Angulos
internos de triangulos
em espacos nao

12

da Normal em relacao
a` uma curva (t) . . . . . . . . . . . . .
2.5 Variacao

13

Normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6 Seccao

14

2.7 Circunferencia
de maior contato . . . . . . . . . . . . . . . . . . . . . .

14

2.8 Superfcies planas isometricas

. . . . . . . . . . . . . . . . . . . . . . .

16

2.9 Helice
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

2.10 Coordenadas em uma Variedade . . . . . . . . . . . . . . . . . . . . . .

19

2.11 Exemplo de transporte paralelo na esfera . . . . . . . . . . . . . . . . .

21

2.12 Transporte paralelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

2.13 Curvatura na esfera . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

2.14 Paralelogramo de Riemann . . . . . . . . . . . . . . . . . . . . . . . . .

24

de Imersao
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1 Funcao

29

de Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Descricao

32

4.1 Aharonov-Bohn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

53

4.2 Fibrado Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

58

5.1 Cilindro de Einstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

68

5.2 Espaco total como o produto topologico

. . . . . . . . . . . . . . . . . .

76

A.1 Simetria de calibre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

99

Captulo 1

Introducao

O esforco para o conhecimento, por sua propria

natureza, nos impele ao mesmo
da extrema variedade da experiencia

tempo para a compreensao

e para o domnio da

simplicidade economica
das hipoteses
fundamentais.

Como Vejo o Mundo. Albert Einstein.

O conhecimento cientfico, em sua busca por compreender a natureza de forma

unica
e simples, sugere que fenomenos
naturais genericos
sejam explicados por ape

nas uma unica

teoria. A historia
da ciencia
esta repleta de exemplos que mostram

da uniao
de teorias antes considera necessidade de descrever a natureza atraves

adas distintas . Abdus Salam e Steve Weinberg, ganhadores do premio

nobel, tiveram
do eletromagnetismo com a forca nuclear fraca.
sucesso na tentativa de unificacao
1

 [1] de pelo menos 2 marcos importantes

Salam nos lembra em livro de sua publicacao
da unificacao:

feita por Issac Newton no seculo

na direcao
1- A unificacao
XVII na

qual sua teoria descrevia tanto fenomenos

terrestres como celestes, que ate a epoca
da Eletricidade e do Magnetismo concluda
eram vistos como distintos; 2- a unificacao

por Maxwell na segunda metade do seculo

XIX, resultando na teoria Eletromagnetica;

Pura [2], ja tratava o espaco e o

Kant, no seu memoravel
trabalho Crtica da Razao

tempo como pertencentes a` uma mesma classe ontologica

de formas de percepcao.

Einstein descreveu o espaco e o tempo como elementos analogos

na Teoria da Relatividade Especial.
de partculas descreve de forma satisfatoria

Atualmente, o Modelo Padrao

tres
fundamentais conhecidas: a forca nuclear fraca, a forca eletrodas quatro interacoes

magnetica
e a forca nuclear forte (todas conhecidas como interacoes
de calibre). A
pertence a` este conjunto e a da gravitacao.

unica
forca fundamental que nao
Um

grande esforco para inclu-la foi dispensado pelos cientistas nos ultimos
anos, sem

final. A maior dificuldade encontrada para incluir a gravidade no modelo

conclusao
e a sua aparente incompatibilidade com a teoria quantica,

se
padrao
pois anda nao

conseguiu desenvolver uma teoria testavel

na qual a gravidade e quantizada. Isto e

devido a` grande quantidade de energia necessaria

para realizar tal teste (o problema
da hierarquia gravitacional).

mais
Vale ressaltar a importancia
de teorias unificatorias
para uma compreensao

aprofundada dos fenomenos

naturais. Quando combinam-se duas ou mais teorias, o

resultado e uma nova teoria que possua mais generalidade ( aplica-se a mais fenomenos)
disso, o resultado deve apresentar a possibilidade de observacao

e simplicidade. Alem

de fenomenos
novos. E o caso da teoria Eletromagnetica,
que explicou as carac

tersticas ondulatorias
da luz (incluindo sua velocidade) e previu a existencia
de outras

ondas de mesma natureza em uma vasta faixa de frequencias

. Este fato foi obser de experimentos realizados por Hertz. Da mesma forma,
vado posteriormente atraves

perturbacoes

a RG preve o fenomeno
de ondas gravitacionais, que sao
periodicas
causadas por deformacoes
no espaco-tempo. Um
transmissoras de energia que sao

exemplo de tais fontes seria um sistema binario

de estrelas.

De acordo com Pierre de Maupertuis, filosofo

e matematico
belga do seculo
XVIII

de seus efeitos,
e diretor da Faculdade de Ciencias
de Berlin, a natureza, na producao
2

sempre age de maneira mais simples. Ele se inspirou nos trabalhos de Fermat, que
de refracao
da luz pelo postulado de que esta deveria se propaexplicava os padroes

gar entre dois pontos no menor tempo possvel. Concebeu assim o calculo
variacional
chamada acao.
A acao
de Maupertuis
com base nos valores mnimos de uma funcao
era muito simples, dada pelo produto M at
eria M ovimento Espaco (da massa pela

velocidade e pela distancia

percorrida por um corpo) que hoje, generalizada, e vista
chamada Lagrangeana. Esta simplicidade possibilita
como a integral de uma funcao
aprofundada das sutilezas inerentes as
` teorias. Um exemplo disso
uma compreencao
de uma forma muito mais concisa e geral as leis
e a teoria Newtoniana, que expoe
apenas casos particulares da teoria de Newton) e pode ser
de Kepler (as quais sao
derivada de princpios variacionais.
para se buscar uma teoria unificada e variada. Em relacao
a` ideia
de
A motivacao
Maupertuis, pode-se dizer que o intuito e descrever uma Lagrangeana que contenha

em s todas as caracteristicas dos fenomenos

observaveis
possveis. Hoje em dia ex
iste uma corrente de pensamento que afirma que o objetivo da ciencia
e chegar a uma

resposta final que explique todos os fenomenos

perceptveis. A corrente contraria,
muito difundida, diz que o projeto de unificacao
e uma ilusao,
pois mesmo
tambem
se pode provar sua veracidade. De acordo com essa
que se chegue a tal teoria, nao

ultima
corrente, poderiam existir varias
destas teorias com cada uma partindo de ax
que se adota no presente trabalho e claramente aquela
iomas diferentes. A posicao
que busca uma teoria unificada, pois pretende-se descrever todas as forcas funda a teoria a ser apresentada nao
tem a pretencao

mentais em uma so teoria. Porem

. Uma teoria que
de ser ultima
e acabada, mas sim passvel de constante revisao

final, uma vez que provavelunifica todas as forcas esta longe de ser a explicacao
inumeros
mente anda existirao
problemas inerentas a` propria teoria, a` sua aplicabil
filosofica

se pode
idade e a` questao
de certeza. De acordo com Poincare [3], nao
(que sao

provar a veracidade de uma teoria cientfica, apenas verificar suas limitacoes

as discordancias
com a experiencia).
Neste sentido sera impossvel dizer que uma
final da natureza.
dada teoria e a explicacao
A RG foi desenvolvida por Einstein em 1916 com o objetivo de descrever de maneira

gravitacional, de modo compatvel com a RE de 1905. Para

satisfatoria
a interacao

isso, ele usou a geometria Riemanniana como ferramental matematico

no qual a teo3

ria deveria ser fundamentada. Com o uso desta geometria, o espaco-tempo fsico a

ser estudado e uma variedade dotada de uma metrica,

que fornece informacoes
sobre a medida espacial e temporal realizada dentro da variedade, de modo intrnseco,
que desem a necessidade de realizar nenhuma medida fora da mesma. As equacoes
da metrica

conhecida, em geometria, como primeira

screvem a evolucao
(esta tambem
de materia

derivadas de
forma fundamental) a partir de uma dada distribuicao
sao
e a integral de uma funcao,
que e definida
uma princpio variacional, no qual a acao
em toda a variedade, e e chamada de Lagrangeana de Einstein-Hilbert, construda
com a curvatura escalar da variedade.

Ao longo dos anos, a RG conseguiu descrever fenomenos

gravitacionais de maneira

que nao
eram consistentes com a teoria Newsatisfatoria,
pois explicou observacoes
(como o desvio do perielio

toniana da gravitacao
de mercurio)
e ate recentemente

nenhuma evidencia
experimental direta permitiu descarta-la.
Entretato em astrofsica
explica o movimento de estrelas em galaxias

e cosmologia a teoria de Einstein nao

acelerada do universo (sao
os problemas da materia

espirais e nem a expansao

es
cura e energia escura, respectivamente). Portanto, inumeras
tentativas de modifica-la

sendo propostas. Isso se da porque ela possui uma dificuldade de

ou substitu-la vem

se integrar com a mecanica

quantica,
bem como dificuldade em explicar a energia e

materia
escuras e o problema da hierarquia.
a modificacao
da teoria da gravitacao
de Einstein em
O presente trabalho propoe
A modificacao

alguns aspectos com o objetivo de solucionar o problema da unificacao.

original
sugerida leva em conta crticas a` geometria Riemanniana em sua formulacao
[4], feitas antes mesmo da RG existir.
Para compreender essas crticas, basta notar que Riemann redefiniu o conceito
de variedade (este conceito ja era usado por Kant como o conjunto de todas as

percepcoes
objetivas) sem nenhuma referencia
a` um espaco maior em que esta esteja contida, ou seja, em termos puramente intrnsecos. Disso resulta que a geometria
tem meios para diferenciar localmente um plano de um cilindro, de
Riemanniana nao
de Riemann da geomeum cone ou de uma telha qualquer. Portanto, a formulacao
leva em conta informacoes
topologicas

tria nao
importantes, necessarias
para a plena
das formas dos objetos que ela se propoe
a descrever. A solucao
deste
compreensao

complexo problema de geometria teve seu apice

com o teorema de Nash de 1956,
4

afirmando que para uma variedade Riemanniana qualquer, existe sempre uma outra
superior em que aquela esta imersa. O teorema usa condicoes
menos
com dimensao
(mais especificamente, impondo apenas a diferenrestitivas possveis a` esta imersao
usada por Nash para provar o teorema e bem intuitiva:
ciabilidade da mesma). A ideia
de uma variedade particular e aplica-se uma deformacao
(local)
toma-se uma imersao
das dimensoes
extras. Obtem-se

nas direcoes
assim uma outra variedade com uma

dada metrica
qualquer.
aparecem outros objetos (alem
da metrica)

necessarios

Na imersao,
que sao
para
caracterizar completamente a variedade, conhecidos como segunda e terceira formas
do teorema de Nash para as variedades usadas na
fundamentais. Existe uma versao
RG (chamadas variedades semi-Riemannianas).
apresenta uma revisao
historica

O segundo captulo desta disertacao

e conceitual
de variedades Riemannianas. Apos

de geometria. O terceiro captulo trata da imersao

dos campos de calibre e do campo gravitaeste captulo, sera feita uma descricao
geometrica,

cional. Sera visto que estes campos permitem uma descricao

sendo que

o campo gravitacional define a metrica

do espaco-tempo e os campos de calibre de afim do espaco interno. Isso reforca a escolha de uma unificacao

terminam a conexao

geometrica,
concordando com a conjectura feita por Neeman, na qual as simetrias

de calibre do espaco interno teriam uma orgem fsica nas simetrias das dimensoes
extras.

Sera visto que as equacoes

dos campos de calibre so fazem sentido em 4 di
e uma teoria de calibre, portanto nao
possui esta limitacao
dimensoes.
A RG nao

` crticas (feitas
mensional, podendo se propagar nas dimensoes
extras. Em face as

inclusive pelo proprio

Riemann) quanto a` ambiguidade da forma exata das variedades,
pode-se postular que o espaco-tempo e uma sub-variedade de uma espaco com di maior que 4, no qual ele esta imerso.
mensao
da imersao
isometrica

das formas fundamentais) resolve o

A descricao
(atraves
disso, os conjuntos
problema da forma exata da variedade espaco-temporal. Alem
abertos usados para assegurar a propriedade de ser o espaco-tempo um espaco

topologico
(fato este ja contido no paper original de Riemann de 1854, mas somente

esclarecido em 1931 por Whitehead e Veblen [5]), se extende ao espaco de imersao.

extras, entao
a topologia
Isto significa que se a gravidade se propaga nas dimensoes
5

 possue extensao
natural para alem
das 4 dimensoes
posdo espaco-tempo tambem
tuladas na RE. Isto assegura a possibilidade de que os campos gravitacionais possam
extras, dando origem a` foliacoes
do espaco de
acessar continuamente as dimensoes
no qual cada folha e um espaco-tempo.
imersao

Desta forma, o teorema de Nash prove um forte embasamento matematico

para
e aplica-se aos espacos-tempo quadridimensionais usados na relatividade
a imersao
ser imersos em uma variedade com dimensao
superior. Vageral, que podem entao
resolve o problema da hierarquia, uma vez que a constante
mos ver que isto tambem
de Einstein nao
e mais uma
gravitacional Newtoniana G, que aparece na equacao

constante fundamental da natureza, pois sua dimensionalidade e adaptada a` tres

dimensoes
espaciais, isto sugere que esta seja modificada. Com o formalismo de
justifica-se o uso de uma nova constante G , adaptavel

do probimersao
a` solucao

lema da hierarquia, que corresponda a` escala de energia das demais interacoes.

o surgimento da
Outras teorias admitem a existencia
de dimensoes
extras. Apos
teoria de Kaluza-Klein, apareceram a Teoria de Cordas e a Teoria de Branas-Mundo
apresentadas - a primeira e a ultima
(que serao
- no captulo 5). A teoria de Kaluza

Klein admite que o princpio de Einstein-Hilbert vale para o espaco de maior dimensao,

que descrevem tanto a gravidade quanto as outras forcas

obtem-se
assim equacoes
de calibre). Isso seria suficiente para realizar
fundamentais da natureza (as interacoes
porem
em 1984 descobriu-se que a teoria de Kaluza-Klein contradiz cera unificacao,

tas observacoes,
como a quiralidade dos fermions
a` baixas energias. Vale lembrar
que este problema surgiu porque se admitia uma topologia bem particular, na qual
extras eram compactas. A Teoria de Cordas nao
guarda semelhancas
as dimensoes
que parte de outro princpio variacional (o
diretas com a Relatividade Geral, uma vez

princpio de Nambu-Goto) para obter as equacoes

de movimento. Por outro lado,

de variedades e o princpio
a teoria de branas-mundo usa a hipotese
de imersao
usa tambem
uma condicao
de contorno conhecida como
de Einstein-Hilbert, porem
e consequencia

Israel-Darmois-Lanczos, que nao

das outras hipoteses,
mas decorre
na teoria de cordas.
do axioma de simetria de espelho, que tem sua motivacao
Na teoria a ser desenvolvida aqui ( apresentada no sexto captulo), mostra-se que

e o princpio de Einstein-Hilbert, obtem-se uma

somente com a hipotese
de imersao

metrica
semelhante a` de Kaluza-Klein, porem,
como a topologia e diferente, ela nao
6

 os mesmos problemas da teoria original. Sera visto que a terceira forma funcontem
damental faz o papel de campo de calibre, que se transforma de acordo com o grupo

de rotacoes
nas dimensoes
extras, respondendo a` conjectura de Neemam, de que
extras poderiam ser geradoras de simetrias internas que
as simetrias das dimensoes
a` teoria de Kaluzadescrevem as forcas de calibre. A diferenca principal em relacao
envolvendo a segunda forma fundamental
Klein e o surgimento do termo de interacao

e os
do espaco-tempo, o qual faz o papel de campo intermediario
entre a gravitacao
campos de calibre.

Captulo 2
Fsica e Geometria

geometrica

Riemann, tomando a medida como operacao

fundamental, mostrou a
dos princpios de geometria pelo estudo
necessidade de preceder toda a discucao
das variedades, suceptveis de serem medidas.

Cartan
Elie

de que a geometria esta intimamente ligada a` descricao

da natureza, foi
A ideia

efetivada com o advento da Teoria da Relatividade Geral, anda que esta associacao

seja muito mais antiga. De fato, a propria

palavra geometria ja nos remete a` uma
de medida pois seu significado vem
do grego e e a juncao
de dois radicais: geo
nocao
da referencia

(terra) e metria (medida). Alem

a` medida, que e um conceito essencial
com o surgimento independente em varias

a` fsica, este significado tem relacao

cul8

turas antigas de um conjunto pratico

de conhecimentos sobre comprimentos, areas
e
volumes, geralmente ligados a` agricultura.
da realidade atraves
da geometria tambem
e muito antiga. AnaximanA descricao
dro, discpulo de Tales, sugeriu que a Terra estivesse no centro do universo e esta

teria uma forma cilndrica. Aristoteles

descreveu uma teoria na qual os constituntes
fundamentais da natureza eram formados por cinco elementos diferentes: terra, fogo,

ar, agua
e eter
(este ultimo
era a materia-prima
do ceu).
A` cada um desses ele

mentos, Aristoteles
associou um solido
platonico
(ver figura 2.1), afirmando que aos

constituntes fundamentais desses elementos correspondiam cada um a` um solido

platonico
especfico.

Figura 2.1: Solidos

Platonicos
como Elementos Fundamentais da Natureza.

entre fsica e geometria de

Este trabalho tem como proposito
reafirmar a uniao
so a` descricao
das interacoes

forma que ela leve nao

fundamentais mas sim a` uma
das mesmas por meio da imersao.
Estes topicos

desta forma, deunificacao

serao,
senvolvidos neste captulo.

2.1

Euclideanas
O Surgimento das Geometrias Nao

de
O livro Elementos de Euclides (330-277 a.C.) e responsavel
pela sistematizacao

e demonstracoes

todo o saber geometrico

disponvel em sua epoca,
reunindo proposicoes
tomadas das fontes mais diferentes e apresentando uma estrutura dedutiva.
definicoes,

No primeiro livro dos Elementos, Euclides fixa vinte e tres

cinco postu comuns . Os postulados representavam verdades
lados (axiomas) e algumas nocoes
9


esquematizados na figura 2.2 abaixo): I - pode-se levar uma
indubitaveis
(e estao
reta de qualquer ponto a qualquer outro ponto; II- uma reta finita pode ser prolongada

a` vontade; III- pode-se tracar um crculo de qualquer centro e raio; IV - todos os angulos
iguais; V - Se uma reta, encontrando outras duas retas, produz dois angulos

retos sao

internos localizados na mesma parte, menores do que dois angulos

retos, aquelas
os angulos

retas, prolongadas ao infinito se encontram na mesma parte em que estao

menores dessas duas retas.

Figura 2.2: Postulados de Euclides

definir os conceitos e axiomas, Euclides apresenta teoremas que constituem
Apos

a base do conhecimento geometrico

da epoca,
hoje conhecido como sistema Euclideano. Este modelo de saber dedutivo influenciou o pensamento cientfico du

rante seculos.
Sendo os teoremas corretamente deduzidos a partir das proposicoes
pareciam como indubitavelmente
primeiras (tidas como auto-evidentes), eles tambem
o conceito de evidencia

verdadeiros. Porem
e algo muito subjetivo e desde a antigu fora
totalmente aceito como tal. Este postulado nos diz
idade o quinto postulado nao
que dada uma reta e um ponto fora dela existe no plano somente uma reta que passa
intersecta a primeira reta , chamada de reta paralela (parte V
por este ponto e nao

da figura 2.2 abaixo).

nao
e necessariamente verdadeira, podendo se mostrar falsa em
Esta proposicao

outras situacoes.
De fato, se considerarmos os objetos limitados a` uma area
finita do
podem existir infinitas retas que passam pelo ponto e
plano (como um crculo), entao
intersectam a primeira reta ( ver figura 2.3 abaixo). Que tipo de intuicao
ou autonao

ocorre quando o plano e ilimitado?

evidencia
permitiria dizer que este mesmo fato nao

suficientes para ilustrar o incomodo

Estas consideracoes
sao
que o quinto pos10

Figura 2.3: Contra-Exemplo ao Postulado de Euclides

possuir
tulado provocou nos pensadores gregos, arabes
e renascentistas. Por nao
a simplicidade dos outros, este postulado se assemelha mais a` um teorema, da a

tentativa desses pensadores em demonstra-lo

a partir dos quatro anteriores.
demonstrabilidade do
Foi Karl Friedrich Gauss (1777 - 1855) que percebeu a nao

quinto postulado e a possibilidade da existencia

de sistemas geometricos
diferentes
publicou suas ideias

negdo Euclidiano. Gauss nao

com medo das possveis reacoes

impediu Lobachevski e Bolyai

ativas dos seus contemporaneos
. Isto, contudo nao
de construirem, por volta de 1826, independentemente, uma geometria na qual o
valeria mais. A nova geometria e conhecida como hiperbolica

quinto postulado nao

apenas uma
e o quinto postulado e substitudo pelo postulado que enunciava que nao
reta paralela passaria em um ponto exterior a` uma dada reta, mas sim uma infinidade
delas. Poucos anos depois Bernhard Riemann (1826 - 1866) construra um sistema

da teoria conhecida hoje como geometria Riemanniana)

geometrico
(antes da criacao
no qual o axioma das paralelas era substituido pelo axioma (de Riemann), no qual
pelo menos um ponto em comum. Para se ter uma ideia

duas retas quaisquer tem

de tal geometria (chamada de elptica), basta tomar o modelo de uma esfera em que
representadas por crculos maximos.

e possvel obter duas retas que

as reta sao
Nao
se encontrem. Os teoremas Euclideanos tambem
deixam de ser todos validos.

nao

Por exemplo, a soma dos angulos

internos de um triangulo
deixa de ser exatamente

180o para ser um valor maior que este no caso elptico (ver figura 2.4). Existem tambem

modelos para o espaco hiperbolico,

como a pseudo esfera (desenhada na figura 2.4)

e a sela de cavalo, onde todos os triangulos

possuem angulos
internos cuja soma e
inferior a` 180o .
Euclideanas fica evidente que os axCom o desenvolvimento das geometrias nao
uma questao
de escolha, e nao
uma verdade imposta pela natureza. Assim,
iomas sao
11

Euclideanos
Figura 2.4: Soma dos Angulos
internos de triangulos
em espacos nao
entre geometria matematica

surge a distincao
e geometria fsica: a primeira apresenta
em relaciona-las

suas premissas sem nenhuma ambicao

com os objetos do mundo,
enquanto a segunda se mostra como um ramo da fsica e procura traduzir aspectos

da experiencia
sensvel, com particular destaque a` experiencia
espacial.
da geometria fsica foi investigada por Gauss, em seu trabalho [6], no
A questao
a medida da distancia

montes, com o intuito de demonstrar a

qual propoe
entre tres

natureza do espaco fsico: se hiperbolica,

elptica ou Euclideana. Isso poderia ser

verificado ao se calcular a soma dos angulos

internos do triangulo
cujas extremidades
os picos dos montes e compara-los

sao
com o angulo
de 180o .

A partir de 1816 Gauss fez um levantamento de agrimensura de certas areas

da

Alemanha e percebeu que para se calcular areas,

angulos
e comprimentos de su era necessario

perfcies nao
fazer nenhuma referencia
ao espaco tridimensional no
qual esta estaria imersa. Suas pesquisas relacionadas a este assunto (propriedades

o que
matematicas
das superfcies imersas no espaco Euclideano tridimensional) sao

hoje e conhecido como Geometria Diferencial Classica

de Superfcies.
O estudo de superfcies imersas no espaco Euclideano IR3 (SIE) e de fundamental

da Geometria Diferencial [7]. Isto tambem

importancia
para a plena compreensao
historia

se da no estudo da evolucao
desta disciplina, uma vez que Gauss e seus
antecessores estudavam as superfcies como objetos bidimensionais pertencentes a`
um espaco euclidiano tridimensional, o IR3 . Em cada ponto q da superfcie S existe

um plano tangente Tq S e o produto interno < , > neste plano fornece uma aplicacao

g : Tq S Tq S IR , g(u, v) =< u, v >

denominada metrica,
ou primeira forma fundamental. Se v ( = 1, 2) e uma base
12


de Tq S usa-se a seguinte notacao:
g = g(v , v ). Com este objeto, obtido intrin
secamente (calculado somente com instrumentos de medida localizados na propria
dependem da maneira em que a
superfcie) e possvel calcular quantidades que nao

superfcie esta imersa no IR3 , tais como areas

de regioes
da superfcie encerradas
por uma curva simples, comprimentos de curvas cujo traco esteja contido na mesma,

angulo
entre duas curvas na superfcie, etc.
de Gauss consiste na prova de que existe uma quantidade (hoje
A contribuicao

denominada curvatura Gaussiana) que depende somente da metrica,

fato este visto
que esta quantidade e construda com objetos extrnsecos
como contraintuitivo, uma vez
(somente depois e que Gauss mostrou que esta e expressa em termos envolvendo

matematica

- vide
somente a metrica,
fornecendo uma relacao
que prova a afirmacao

formula
(3.21) a ser derivada logo mais).
Para entender melhor como construir a curvatura Gaussiana, observa-se que dado
um ponto q da superfcie S, pode-se associar um vetor normal N , que e perpendicular

do produto exterior
ao plano tangente Tq S, calculavel
atraves

v1 v2
|v1 v2 |

= N ,onde v1 e

vetores nao
proporcionais que geram o espaco tangente a` S. Uma maneira de
v2 sao
calcular a curvatura Gaussiana e quantificar a maneira na qual o vetor normal varia na
de cada vetor tangente a` superfcie (ver figura 2.5).
direcao

da Normal em relacao
a` uma curva (t)
Figura 2.5: Variacao
do plano formado por um vetor tangente e a normal
Ao se considerar a interseccao
normal na direcao
tangente
com a superfcie, obtemos uma curva chamada de seccao
considerada (figura 2.6).
tangente e medida pelo inverso
A curvatura direcional associada a` cada direcao

normal no ponto q
do raio da circunferencia
que possua maior contato com a seccao
considerado (k =

1
,
R

ver figura 2.7).

em que esta quanE creditado a` Euler a descoberta de que existem duas direcoes
13

 Normal
Figura 2.6: Seccao

Figura 2.7: Circunferencia

de maior contato

tidade e extrema, estas chamadas de direcoes

principais, as curvaturas associados
chamadas de principais e denotadas por k1 e k2 . A curvatura Gaussiana K e o
sao

produto das curvaturas principais, K = k1 k2 e a curvatura media

H e a metade da
soma das curvaturas principais, H =

k1 +k2
.
2

O conhecimento das duas quantidades K

das quantidades k1 e k2 atraves

da solucao
da equacao

e H permite a recuperacao
de segundo grau x2 2Hx + K = 0. Portanto, e necessario o conhecimento de ambas

as curvaturas, media
e Gaussiana, para obter a forma local de uma superfcie. Basta
que pelo menos uma das duas curvaturas principais se anule para que a curvatura
Gaussiana seja nula.
Gauss descobriu que, apesar de K ser definido com o uso do vetor normal (com

IR3 ), este poderia ser expresso apenas com o uso da

referencia
ao espaco de imersao

metrica,
atribuindo um carater
intrnseco a` quantidade K. Este e o resultado principal
14


do seu famoso Teorema Egregium [6] e sera provado adiante, na formula
(3.21).

Do ponto de vista computacional, pode-se calcular a curvatura Gaussiana e media

com o uso da 2a forma fundamental [8]. Para um ponto q da superfcie e um vetor
, deriva-se a normal N nesta direcao

tangente a` este ponto que aponte para a direcao

deste
e obtem-se assim um vetor N, pertencente ao espaco tangente. A projecao
vetor em um outro vetor tangente vj , feita atraves do produto interno cartesiano define
bilinear k : Tq S Tq S IR dada por k(v , v ) = < N, , v >, chamada
a aplicacao
induz uma
segunda forma fundamental. Denota-se k = k(v , v ). Esta aplicacao
linear no espaco tangente (que associa v a` N, ) com as seguintes
transformacao
dependem de escolha de uma base no espaco tangente): os
propriedades (que nao
precisamente as curvaturas principais, o determinante e a curvatura
autovalores sao
importante notar que a segunda

Gaussiana e a metade do traco e a curvatura media.

E
forma e uma quantidade que depende do vetor normal e, portanto, extrnseca (apesar
de seu determinante ser intrnseco).
que leva uma superfcie em outra e dita isometrica

Uma transformacao
se ela

preserva distancia
medidas dentro de tais superfcies. Um vez que as distancia
nao

mudam, os coeficientes da metrica

em um dado sistema de coordenadas para uma su que ser o mesmo no sistema de coordenadas induzido por na outra superfcie tem
mudam e a curvatura Gaussiana so depende da
perfcie. Como estes coeficientes nao

metrica,
superfcies isometricas
possuem necessariamente a mesma curvatura Gaus que o conhecimento da primeira forma funsiana. O Teorema Egregium garante entao

damental (a metrica)
determina a superfcie a menos de isometrias (transformacoes

que preservam distancias

intrnsecas entre pontos na superfcie). O problema e que
esta classe de isomerias e muito grande.
Considere um plano. E evidente que o mesmo tem curvatura Gaussiana nula, pois
muda quando o mesmo e deslocado em qualquer direcao
do plano.
o vetor normal nao

Se este plano for uma folha de papel, por exemplo, pode-se deforma-lo
sem estica

lo. Qualquer uma destas deformacoes

manteria constante a distancia
de uma curva
desenhada nesta folha, portanto a curvatura Gaussiana desta classe de superfcies e
o cilindro, o cone e a telha (figura 2.8). Nessas
nula. Exemplos de tais superfcies sao
principal na qual a normal nao
muda, o que confirma o
figuras existe uma direcao

fato de terem estas superfcies curvatura Gaussiana nula. O que diferencia estas tres
15


e nula, mas nesses casos
figuras e a curvatura media
(que no caso do plano tambem

nao).

(a) Cilndro

(b) Cone

(c) Telha

Figura 2.8: Superfcies planas isometricas

vamos falar um pouco sobre geometria de curAntes de terminar esta seccao,
vas imersas no espaco tridimensional. Uma curva e convenientemente descrita por

uma aplicacao
~ : IR IR3 parametrizada pelo comprimento de arco (s). A derivada
0
tangente ~t(s) (portanto
de
~ (s) e um vetor que aponta na direcao
~ (s) = ~t(s)). A

normal e pode-se fazer com que o

derivada deste vetor tangente aponta na direcao

seu modulo
se torne unitario
e obter o vetor normal ~n(s). O coeficiente de propor0

cionalidade entre estes vetores e denominado k(s) (portanto ~t (s) = k(s)~n(s)) e uma

medida da curvatura, pois o inverso de seu valor indica o raio da circunferencia

de
contidos
maior contato com o traco desta curva. Os vetores tangente e normal estao
no plano osculador e seu produto vetorial gera um vetor que pode ser unitarizado e e
chamado de vetor bi-normal ~b(s). O coeficiente de proporcionalidade entre a derivada
0
do vetor binormal e o vetor tangente, (s) (portanto ~b (s) = (s)~t(s)) e um indicador

As formulas

da mudanca do plano osculador e e chamado de torcao.

que resumem
sao
chamadas de equacoes
de Frenet [9]:
estas observacoes
0

t = kn

n = kt b
16

(2.1)

b = n

Para exemplificar, considere a helice

da figura 2.9 abaixo, de raio a e distancia
0

periodica
vertical de comprimento b. O vetor tangente
~ esta desenhado. O vetor
normal aponta sempre para o cento. Juntos, eles formam uma base para o plano
osculador. O vetor binormal e perpendicular a` este plano. A curvatura, sendo o inverso
e igual a` distancia

do raio de maior contato com a curva e dada por k = a1 , e a torcao

intuitiva de torcao,
pois quanto
periodica
vertical de = b. Isso concorda com a nocao
maior esta quantidade, mais torcida sera a curva e mais ela se afastara do plano xy.

Figura 2.9: Helice

da curvatura Gaussiana, outra quantidade intrnseca importante das superfcies
Alem

e a exisencias
de varias
curvas chamadas de geodesicas,
as quais minimizam a

` retas do espaco Euclideano. A partir de

distancia
entre dois pontos, analogas
as
pontos pode-se construir um triangulo

tres
geodesico
T . Gauss obteve a formula
3
X

Z Z
i =

Kd
T

i=1

que relaciona a soma dos angulos

internos i deste triangulo
com a curvatura
chegou a demonstra-lo,

Gaussiana (Gauss nao

o que foi feito por Bonet, e e conhecido

hoje como teorema de Gauss-Bonet ). Esta formula

pode ser interpretada com a
de que o excesso da soma dos angulos

afirmacao
internos de um triangulo
geodesico
a` e igual a` integral da curvatura gaussiana K sobre T . Eis entao

T em relacao

um ferramental matematico
que permite determinar de forma concisa a natureza do
17

espaco, possvelmente revelada por medidas experimentais.

de conferencista em Gottingen,

Em 1854 Riemann almejava uma posicao

e en propostas, das quais Gauss escolheu para Riemann a terceira, Sobre as
tregou tres

Hipoteses
que Formam os Fundamentos da Geometria , no qual Riemann propunha
de uma geometria puramente intrseca, generalizavel

a adocao
para qualquer numero

de dimensoes.
Na realidade, este trabalho e o fundamento do que hoje se conhece
como geometria Riemanniana, que no fundo, e uma tentativa de extender os resulta

dos de Gauss para um numero

arbitrario
de dimensoes.

2.2

Geometria Riemanniana

Riemann lancou os fundamentos do que e hoje conhecido como geometria Riemanniana, cujo estudo foi posteriormente detalhado e expandido por personalidades como

a varChristoffel, Levi-Civita e Cartan. Os conceitos basicos

desta geometria sao

iedade V e a metrica
desta, g . A variedade representa um espaco formado por um
conjunto de pontos, sendo que para cada ponto e possvel encontrar uma vizinhanca
por algum sistema de coordenadas. E cada ponto
que permita uma parametrizacao
q pode-se definir o espaco tangente Tq V , e um produto interno para cada um desses

pontos e chamada metrica,

denotada por g, ou seja g : Tq V Tq V IR bilinear

precisa de Variedade Riemanniana pode

e simetrica
nos argumentos. A definicao
ser encontrada em qualquer manual sobre o assunto, por exemplo [7]. Geralmente
da variedade a ser estudada (sendo a mesma
especifica-se o numero
de dimensao

coordenadas independentes necessarias

definida como o numero

mnimo de funcoes

para parametrizar qualquer vizinhanca ).

tinhamos dificuldades em definir os vetores do espaco tangente, uma
Em SIE nao
IR3 . Mas em Gevez que eles eram vetores que pertenciam ao espaco de imersao
temos esta referencia

ometria Riemanniana nao

ao espaco maior em que a variedade

esteja imersa. E necessario

obter um espaco vetorial intrnseco associado ao espaco

tangente da variedade, sem fazer referencia

a nenhum espaco maior em que esta
variedade esteja imersa. Isto pode ser superado se considerarmos um sistema de
coordenadas x e notarmos que uma base e adequada para o espaco tangente e a
18


base formada delas derivadas direcionais1 e = e a metrica
passa a ser um produto
degenerado neste espaco vetorial de operadores diferinterno positivo definido e nao
intuitiva de espaco tangente como sendo um vetor que aponta
enciais. Assim, a nocao
considerada e estabelecida intrinsecamente (ver figura 2.10), represenna direcao
as
` SIE, que destaca a motivacao

tando uma grande mudanca conceitual com relacao

de Riemann de se definir tudo intrinsecamente.

Figura 2.10: Coordenadas em uma Variedade

for positivo definido, obtem-se

Se o produto interno nao

uma variedade semi usadas na RG e tem
dimensao
4, sao
chamadas de espacoRiemanniana (estas sao
das equacoes
de Einstein, que sera vista no captulo 4).
tempo quando solucao

Dado um sistema de coordenadas (x ) , denota-se os coeficientes da metrica

neste
sistema por g = g(e , e ). O espaco vetorial dual ao espaco tangente {e } e o espaco
das 1-formas {dx } ( ou {e } ), pois dx aplicado em e dx ( ) = , mas esta
nao
e natural 2 . Para obter um isomorfismo natural, usa-se a metrica,

associacao
degenerada, fornece um tal isomorfismo (nao
depende do sistema
que por ser nao
de coordenadas) entre o espaco tangente e seu espaco dual, o cotangente, dado por
e g dx . O isomorfismo inverso e dado por dx g e , onde a matriz g e
a matriz inversa de g . Vamos ver que muitas quantidades que qualificam aspectos
tensores, obtidos ao se considerar
impotantes da variedade, como sua curvatura, sao
o produto tensorial3 de vetores e = do espaco tangente e de vetores e = dx

do espaco cotangente. Assim, um tensor geral T pode ser escrito como (a notacao
e significa que ndices que aparecem
de Einstein e usada no decorrer da dissertacao
f
de derivada direcional de f na direcao
e e e [f ] = x
a notacao

A definicao
= f , onde e

compacta para o operador x

2
O isomorfismo dx depende do sistema de coordenadas
3
O produto tensorial de dois espacos vetoriais de bases b1 , .., bm e c1 , .., cn e um outro espaco veto dada pelo
rial, cuja base podem ser denotada b1 c1 , .., bm cn . Este espaco vetorial tem dimensao
dos espacos que o originaram: m n
produto das dimensoes
1

19

 sendo somados):
repetidos estao

T = T .... e e .. e e e .. e

(2.2)

..
chamadas de coeficientes do tensor T na base de coorde
sao
As funcoes
T..

nadas4 . Dependendo das simetrias dos ndices, pode-se ter tipos muito especiais de
tensores. Um tensor muito importante e o tensor n-forma, que e formado pelo pro antissimetricas

duto tensorial de vetores do espaco cotangente, e sao

sobre qualquer
de dois ndices adjacentes. Com o auxlio das formas fundamentais e
permutacao
de operadores convenientes que atuam neste espaco e possvel descrever geomet

ricamente a mecanica
classica
, a termodinamica,
a mecanica
quantica,
a teoria de
Yang-Mills, a Geometria Riemanniana, e muitas outras disciplinas estudadas em fsica
[10].

Num espaco Euclideano sabemos que se um dado vetor aponta numa certa direcao
caso desloquemos sua origem atraves

ele continuara a apontar para a mesma direcao

de uma curva qualquer. Existe portanto um isomorfismo natural entre os espacos ve

toriais de pontos diferentes. No caso de uma variedade arbitraria

tal isomorfismo nao
existe. Vamos exemplificar com um caso em que a variedade e uma esfera. Se o
ponto inicial e ( = /2, = 0) e o vetor aponta para o polo norte, uma maneira

intuitiva de transporta-lo
ate o polo norte pelo meridiano ( = 0) mudando minimamente seria o considerado na figura 2.11. Intuitivamente para um observador que

perceba somente o mundo esferico

esta seria a maneira de transporta-lo
mudando-o

minimamente possvel (ou em termos tecnicos,

fazendo um transporte paralelo). Ao
de uma viagem pelo
se escolher outro caminho, como por exemplo, uma composicao
equador de = 0 ate = /2 seguida de uma viagem pelo meridiano deste ponto
norte, o resultado do transporte paralelo do mesmo vetor atraves
deste
ate o polo
outro caminho resulta num vetor final diferente. Isto indica que para uma variedade
4

depende do sistema de coordenadas. De fato, se x e um

Sendo T um objeto geometrico,
nao
funcoes

outro sistema de coordenadas, existirao

inversveis x (x ) que transformam as coordenadas
do novo sistema nas do antigo. A base do espaco cotangente se transformara de acordo com o ja

(e por isso seus ndices sao

chamados de covariantes): dx = x
cobiano da transformacao
x dx e

sendo a base do espaco tangente escolhida de forma dx e = , os vetores do espaco tangente se

(por isso seus ndices sao
chamados de
transformam com o o inverso do Jacobiano da transformacao
das bases na representacao
tensorial 2.2, os
contravariantes). Portanto, substituindo as tranformacoes
coeficientes do tensor no novo sistema de coordenadas se relacionam com os do antigo da seguinte

x
x x x ..
maneira: T ..
T
..
= x .. x x
..

..
x

20


existe um isomorfismo natural entre vetores tangentes pertencentes a`
generica
nao
trivial desta
pontos diferentes. Veremos adiante que isto e um efeito da curvatura nao
variedade.

Figura 2.11: Exemplo de transporte paralelo na esfera

Fica claro que precisamos obter uma regra matematica

que, especificados dois
pontos e um caminho que una estes, forneca um isomorfismo entre os espacos tangentes a` estes pontos. Isto esclareceria o problema de encontrar um vetor numa
extremidade de um caminho sendo que so sabemos o seu valor numa outra extrem de uma dada
idade. Tal regra e chamada de transporte paralelo de vetores atraves
curva (figura 2.12).

Figura 2.12: Transporte paralelo

Iremos mostrar que a existencia

de um transporte paralelo e equivalente a` ex
a qual pode ser pensada como o analogo

istencia
de uma conexao,
diferencial do
e um operador diferencial que, utilizando
transporte paralelo. De fato, a conexao
W , denotado
o vetor W = W e , fornece o operador derivada covariante na direcao
por W . Assim, a derivada covariante de um campo vetorial u (um campo vetorial
que associa a` cada ponto q da variedade um vetor u(q) do espaco
e uma aplicacao
do vetor v e denotada por por v (u) e definida pelas
tangente a` este ponto) na direcao
21


seguintes propriedades para qualisquer vetores v campos vetoriais u e w e funcoes
escalares f e g:
1. v (u) e algebricamente linear em v, ou seja: f v+gw (u) = f v (u) + gw (u)
2. v (u) e distributivo em u, ou seja: v (u + w) = v (u) + v (w)
3. v (u) obedece a regra do produto v (f u) = f v (u) + uv f
Quando e aplicada a` um vetor qualquer, o objeto restante continua sendo um
vetor, portanto quando aplicada a` um vetor da base de coordenadas e , o resultado
linear dos vetores da base , e = e ,
pode ser expresso como uma combinacao
os coeficientes de conexao
na base e de coordenadas5 . Um campo
onde sao
`
vetorial sobre uma curva e dito ser transportado paralelamente aquela
curva se a sua
tangente a` curva e nula em todos os pontos da mesma.
derivada covariante na direcao
Uma vez que a derivada covariante e um operador diferencial de primeira ordem, dado
de uma curva
um vetor V em um ponto, para transporta-lo paralelamente atraves
0 V = 0, que junto com a condicao
inicial (o vetor V no
basta resolver a equacao
ponto inicial) pode ser resolvida unicamente. Para exemplificar, vamos pegar uma
curva coordenada, ou seja, uma curva em que o vetor tangente e algum vetor da
base de coordenadas e . Escrevendo o vetor V na base de coordenadas {e }, temos

V = V e e entao

V = (V e ) = (( V )e + V e ) = (V, + V )e
Denotando V; como o componente de V na base {e }, ou seja , (V; )e =
( V ) e , teremos que6

V; = V, + V
5

(2.3)

Pode-se definir derivadas covariantes para tensores aplicando a regra de Leibniz para o produto
tensorial e demandando que a derivada covariante de um tensor seja um tensor de mesma natureza,

e para escalares usando a derivada parcial usual. Aplicando em = e (dx ), obtem-se

dx =

dx . Com as formulas
obtidas para a derivada covariante de escalares, vetores tangentes e
da regra de Leibniz a formula

cotangentes, e possvel obter atraves

geral para a derivada covariante de
qualquer tensor
6

A formula
2.3 pode se generalizada para qualquer componente T .... de um tensor arbitrario.
de derivada covariante, chega-se a seguinte formula

Usando a definicao
geral para as componentes:

..
..

..

..
so faz
T ....; = T ...., +
.. + .. + T
.. T
.. .. T
.. . Porem
T
..
sentido se a quantidade T .. for o coeficiente de um tensor. Isso pode ser verificado fazendo uma
de coordenadas e notar que esta quantidade se transforma como os coeficientes de um
transformacao
tensor do respectivo tipo.

22

 acima a` zero, obtem-se

portanto igualando a equacao

uma formula
que pode ser
num ponto. Uma dada regra
resolvida unicamente para V , dado o valor desta funcao
equivale portanto a` um transporte paralelo na curva coordenada. Reciprocamene, um
unica
transporte paralelo para V ao longo da curva coordenada fornece uma solucao

para os smbolos de Christoffel.

Uma geodesica
e uma curva cujo vetor tangente e transportado paralelamente a`
s mesmo. Assim, dado um ponto e um vetor tangente, pode-se construir uma unica

geodesica
que possua este vetor como o seu vetor tangente neste ponto.

Existem varios
tipos de conexoes
que se pode atribuir a` uma variedade. Na
de Riemann, a conexao
deveria ser obtida unicamente a partir da metrica.

concepcao

Ele exigiu isto porque queria que todas as quantidades geometricas

relevantes depen
dessem apenas das medidas feitas dentro da propria
variedade. Isso e feito exigindose que o produto escalar de dois vetores em um ponto tenha o mesmo valor se estes
forem transportados paralelamente para um outro ponto qualquer (ou seja, a medida
de quandidades transportadas paralelamente permanecem a mesma), fornecendo um

criterio
preciso para a frase transportar um vetor mudando-o minimamente utilizada
isto equivale a dizer que a metrica

acima. Em termos de conexao,

(a medida) e transportada paralelamente. Ou seja:

g; = g, g g = 0
acima duas equacao
semelhantes , porem
utilizando a
Subtrando da equacao
cclica dos coeficientes (), resulta
segunda e terceira permutacao

( + )g = g, + g, g,
sejam completamente determinados pela
Para que os coeficientes de conexao

metrica,
basta exigir que sejam simetricos
nos ndices e fazer uso da metrica
in Com esta exigencia,

versa e isolar o coeficiente de conexaa.

chamada de condicao
sao
dados por
de simetria, os coeficientes de conexao
1
= g (g, + g, g, )
2
23

(2.4)

 chamados de smbolos de Christofel7 e a conexao

metrica

e sao
e chamada de
Levi-Civita.
Dado um ponto da variedade, pode-se utilizar um sistema de coordenadas chamado

os vetores tande geodesico

(ou normal), no qual os vetores tagentes da base sao

transportados paralelamente a` s
gentes a` geodesica
considerada. Como estes sao
nulos neste ponto.
mesmos, os coeficientes de Christoffel sao

de curvatura para a variedade. Observando a

O proximo
passo e uma definicao
esfera da figura 2.13 , pode-se notar que dado um vetor inicial no ponto q que aponte
de um loop comecando pelo ponto
para o sul, transpotando-o paralelamente atravez
ao leste, o vetor que retorna ao ponto q nao
e mais o mesmo, pois apos

P em direcao
percorrer o loop ele aponta para o leste. Isso se da pela presenca da curvatura na
variedade.

Figura 2.13: Curvatura na esfera

Intuitivamente, para o calculo

da curvatura numa variedade geral, pode-se considerar o paralelogramo infinitesimal formado pelos vetores e e e 2.14.

Figura 2.14: Paralelogramo de Riemann

Tome um vetor e e transporte-o paralelamente, fazendo um loop no paralelo do operador de curvatura R(e , e )
gramo. O novo vetor e o resultado da aplicacao
7

de coordenadas estes coeficientes nao

se transformam como
Note que sobre uma tranformacao
um tensor

24

 os vetores do paralelogramo como argumento) ao vetor e e sua compo(que contem

descrita acima
nente lambda e o tensor de Riemman R
. Uma analise
da situacao

fornece uma formula

explicita para o tensor de Riemann em termos dos smbolos de
Christoffel.

R
= , , +

Este tensor generaliza a curvatura Gaussiana e a formula

obtida coincide com a
de Gauss para o caso bidimensional.

Uma maneira analoga

de se consider o tensor de curvatura e transportar parale de dois lados de um paralelogramo ,
lamente um vetor de componentes v atraves
pelos lados opostos e comparar a diferenca entre os tensores asdepois transporta-lo
sim obtidos. Infinitesimalmente, queremos obter v; v; . O resultado e conhecido
como identidade de Ricci8

v; v; = v R

(2.5)

O operador de curvatura pode ser pensado abstratamente (sem o uso de ndices e

` coordenadas) como um operador definido pelo comutador de derivadas

de referencia
as
covariantes

R(e , e ) = [ , ]

(2.6)

E importante ressaltar que Riemann distinguia a existencia

de uma espaco basico

da metrica
deste espaco, justamente pelo fato de a metrica
ser relacionada a` medida.
Schemberg [12]: A geometria de Euclides era uma geometria metrica,

Como diz Mario

mas Riemann introduziu uma geometria metrica

mais generalizada. Achava que a

existencia
do espaco era uma coisa e a existencia
da metrica,
da medida, era outra.

Segundo Riemann, a metrica

resultaria da materia
e das forcas entre as partculas
materiais.
os espacos hiperbolicos

A geomeria de Riemann e muito geral e contem

e elpticos

como subcasos, fornecendo portanto um ferramental matematico

poderoso para es8

Observamos que v; = v; v; v; e que v; = v, v . Substitundo estas

desejada, obtemos o resultado.

formulas
na expresao

25

tudar os tipos de espacos possveis para o nosso mundo. Einstein percebeu este
de que e possvel descrever a geometria fsica com esta tecnica

fato e firmou a ideia

puramente intrnseca. Veremos a partir do quinto captulo que e possvel considerar
efeitos da geometria extrnseca no nosso mundo quadridimensional.
tambem

Ate o final do captulo sera derivado um conjunto de formulas

bem conhecido em
Geometria Riemanniana.

O tensor de Riemann possui varias

simetrias. Uma maneira de obte-las
e escrever
explicitamente o tensor de Riemann

1
1
R = (g g {g, + g, g, }) g (g {g, + g, g, })
2
2

+g { }

g g,
Usando a relacao
= g g, = g ( g + g ) obtemos:

1
R = [g, g, g, + g, ] + g [ ]
2

(2.7)

(2.7), fica facil

de ver as propriedades algebricas

Com esta equacao

do tensor de
curvatura:
Simetria:

R = R

(2.8)

R = R = R = +R

(2.9)

R + R + R = 0

(2.10)

Antissimetria:

Ciclicidade:

e chamada tambem
de primeira identidade de Bianchi. Para
Esta ultima
expressao

(2.7) num sisderivar a segunda identidade de Bianchi, basta considerar a equacao

26

a` :
tema de coordenadas geodesico
e deriva-la
com relacao

R; =

1
(g, g, g, + g, )
2 x

Permutando ciclicamente (, , ) obtemos a segunda identidade de Bianchi:

R; + R; + R; = 0

(2.11)

iremos usar
Apenas para ttulo de esclarecimento, pois no decorrer da dissertacao
provem
de um sistema de coordeuma base {
e } para o espaco tangente que nao

nadas com o intuito de simplificar os calculos

do tensor de curvatura, em tal sistema a
para os smbolos de Christoffel e para o tensor de Riemann e mais geral.
expresao
1
1
= g (g, + g, g, c g c g ) + c
2
2

R = c , + , +
os coeficients de comutacao
9 e sao
definidas por [

e , e ] =
As funcoes
c sao
c e . No caso de uma base provinda de um sistema de coordenadas, estes coefi
cientes se anulam [11] e recupera-se as formulas
obtidas anteriormente.

A comutacao,
ou o parenteses
de Lie entre dois vetores arbitrarios
e definida por [u, v] =
[u , v ] = u (v ) v (u ) e um outro vetor. Calcular esta quantidade resulta [u, v] =

(u v,
v u, )

27

Captulo 3
Geometria Riemanniana Imersa

..superfcies arbritarias
conicas
e cilndricas contam como equivalentes a` um plano..

B. Riemann

Existe uma classe muito grande de objetos caracterizados pela mesma metrica
(ou
de coordenadas na qual os mesmos coeficientes da metrica

por uma transformacao

iguais), que porem
diferenciam-se em quantidades extrinsecas, nao
consideradas
sao
existe diferenca lopor Riemann. Neste sentido, para a geometria Riemanniana nao
superfcies que possuem uma
cal entre um cilindro, um cone1 e um plano, pois sao
isometrica

transformacao
que leva uma na outra .
L. Schlaefli [13] conjecturou que este problema
Para resolver esta indeterminacao,
1

e bem definido
O cone e considerado variedade as se retirar o vertice,
cujo plano tagente nao

28

poderia ser resolvido ao se admitir que qualquer variedade Riemanniana Vn de di n e metrica

mensao
g seja imersa isometricamente
em uma outra variedade maior

matematica para esta conjectura e prediVD (D > n) com metrica

GAB . A formulacao

de imersao
isometrica,

zer a existencia
de uma funcao
X : Vn VD tal que, se X A e a
X expressa num sistema de coordenadas de VD , entao
o produto interno dos
funcao
A
de isometria2
vetores tangentes Xk
em VD satisfaz a condicao

B
A
= g
Xk
GAB Xk

(3.1)

Assim como a metrica,

pode-se definir uma segunda forma fundamental e uma

` SIE, com o uso de D n vetores

terceira forma fundamental de maneira analoga
as
normais Na escolhidos de forma a serem ontonormais, ou seja: .
A
GAB Xk
NaB = 0

(3.2)

GAB NaA NbB = ab

(3.3)

ultimas

Estas tres
equacoes
(3.1), (3.2) e (3.3) caracterizam de modo mais com
pleto a geometria de Riemann, que leva em conta apenas a primeira forma, ja que

agora podemos distinguir a forma local de duas variedades com mesma metrica.
A
de imersao
X:
figura a seguir ilustra a funcao

de Imersao

Figura 3.1: Funcao

A segunda forma fundamental e a terceira forma fundamental (denotada por A) da
precedente pode ser escrita em componetes como
imersao

A
ka = XA Nak
GAB
2

A
NbB GAB
Aab = Nak

Aqui k significa a derivada covariante com respeito a` merica

do espaco de imersao

29

(3.4)

 para essas quantidades. Por enPosteriormente sera dada uma interpretacao

quanto basta dizer que elas ja foram definidas para uma variedade unidimensional

imersa no IR3 (vide equacoes

de Frenet (2.1) da pagina
16), onde fica claro que k e
o produto interno da derivada da normal com o vetor tangente e e o produto interno
normal. Com os trabalhos de Cartan [14], Janet [15] e
do vetor binormal na direcao
Burstin [16], ficou provada a conjectura de Schlaefli de que dada uma variedade Riemanniana e sempre possvel achar outra maior em que a primeira e uma subvariedade
de imersao
analtica nas coordenadas x .
descrita por uma funcao
por Nash [17], na qual a hipotese

O mesmo resultado foi obtido tambem

de analitici (uma condicao
bem menos
dade foi substituda pela de diferenciabilidade da imersao
do teorema de Nash para variedades semi-Riemannianas foi
restritiva). A extensao

inicial
obtida por Greene [18]. A estrategia
de Nash foi comecar com uma imersao
deforma-la

normal. No capitulo
conhecida de uma dada variedade e entao
na direcao

perturbados na direcao
normal
final iremos ver que os coeficientes da metrica
serao

e dada pela equacao

de Nash (a ser obtida no
tambem,
e sua derivada nesta direcao
captulo final):

1 g
= ki
2 y i

(3.5)

Assim, escolhendo o coeficiene da segunda forma convenientemente, e possvel

fazer uma serie

de perturbacoes
infinitesimais ate se chegar ao coeficiente g da

de analiticidade e dispensada. A
metrica
desejada. Com este resultado a condicao
feita por Nash foi num espaco Euclideano, e a dimensao
mnima requerida foi
imersao
n(n+3)
.
2

de

de espacos-tempo e enunciado de forma analoga:

O problema da imersao
dada

uma variedade semi-Riemmaniana V4 com metrica

g achar uma variedade VD (D =
extras) com metrica

X :
4 + n, onde n e o numero
de dimensoes
GAB e uma funcao

de imersao,
que satisfaca
V4 VD , chamada funcao

A
B
GAB Xk
Xk
= g

(3.6)

Um ponto P de V4 de coordenadas x possui vizinhanca3 U V4 e pode, atraves

3

foi introduzido por Riemann, referindo-se aos deslocamentos

O conceito de vizinhanca tambem

` variedades Riemannianas
realizados na variedade, e isto emprestou o nome de espaco topologico
as

30

 X, ser descrita em VD por um conjunto de D funcoes,

da imersao
as coordenadas
acima e a condicao
de isometria (3.1). Isto
X A (x ) de X(U ) em VD . A expressao
estabelece que a imagem local de X, aqui denotada por X(U ), e um subconjunto
disso, pode-se achar vetores tangentes a` este subespaco tais que o
de VD , e alem
produto interno destes (vistos como vetores do espaco tangente maior) resulte nos

coeficientes da metrica
do espaco menor. Esta maneira de estabelecer o problema
e derivado do problema semelhante de SIE . De fato, a superfcie e vista como um

subconjunto tal que o produto interno dos vetores tangentes fornece a metrica
desta
para se estabelecer esta relacao
e que
variedade bidimensional. Uma outra motivacao
ela implica que a geometria do espaco maior induz a geometria do espaco menor.
Como em cada ponto q X(V4 ) o espaco tangente Tq X(V4 ) formado pelos ve 4 e o espaco tangente de VD tem dimensao
D, a coditores X, tem dimensao
definida por D 4 = n, e diferente de zero e podemos atribuir a` i-esima

mensao,
extra o vetor normal Ni . Por questao
de conveniencia,

dimensao
usando o metodo
de Gram-Schmidt pode-se admitir uma condicao
de ortonormalide ortonormalizacao
seguintes:
dade para estes N vetores normais, que se traduzem nas duas equacoes

A
GAB Xk
NaB = 0

(3.7)

NiA NjB GAB = gij

(3.8)

extra considonde gij = i ij e a = 1, a depender da assinatura da dimensao

analogas

erada. Estas equacoes

sao
a` (3.2) e (3.3) respectivamente, so que agora
do espaco-tempo. Vale notar que, alem
da primeira forma
definidas para a imersao
fundamental, outra duas formas fundamentais aparecem: a segunda (denotada por
ka ) e a terceira forma fundamental (denotada por Aab ), que ja foram definidas ante
riormente na formula
(3.4).

A segunda forma e simetrica

nos dois primeiros ndices e a terceira forma e antis
seguinte.
simetrica
nos dois ultimos

ndices. Isso sera demonstrado na seccao

31

3.1

Importancia
da Segunda e Terceira Formas Fundamentais

Para compreender o significado dos coeficientes da segunda e terceira formas funda

mentais e sua importancia
no entendimento de geometria de variedades (em particular do espaco-tempo) e conveniente verificar um caso mais intuitivo, que e o caso da
geometria de SIE. Assim, se (u, v) e um sistema de coordenadas para a superfcie
de imersao

S e (x, y, z) o sistema de coordenadas cartesiano para IR3 , a funcao

X : S IR3 pode ser escrita em coordenadas como X(u, v) = (x(u, v), y(u, v), z(u, v))
de isometria e fornecida pelo produto cartesiano dos ve(ver figura 3.2). A condicao

tores tangentes, uma vez que a metrica

do IR3 e a Euclideana .

de Superfcies
Figura 3.2: Descricao

implcitas no desenvolvimento, pois para encontrar

As equacoes
3.2 e 3.3 estao
o vetor normal e so fazer o produto vetorial de dois vetores tangentes linearmente

independentes e dividir pelo modulo.

Vale notar que nos livros de geometria diferencial

classica
(por exemplo [9] [19]), os coeficientes da primeira forma fundamental sao
denotados da seguinte maneira (mesma feita por Gauss): guu = E, guv = gvu = F e

gvv = G. O produto escalar de dois vetores Y e Z e denotado por Y Z. Nesta notacao,

de isometria (3.1) se escreve :
a condicao

X,u X,u = E

X,u X,v = F

X,v X,v = G

Ou, em forma matricial

g = X, X, =
(3.2) e (3.3):
e as equacoes
32

E F
F G

Xu N = 0

Xv N = 0

N N =1

Sendo N um vetor definido em IR3 , diferente de zero somente na superfcie e

da forma
dependendo das coordenadas (u, v) da superfcie, para se ter uma ideia
a uma destas coordenadas. O
da superfcie pode-se derivar este vetor em relacao
resultado sera um outro campo vetorial, N, ( {u, v}), que sera necessariamente
tangente a` superfcie

: N N = 0. Portanto, este campo vetorial pode ser escrito

linear dos vetores tangentes da base de coordenadas X, :

como combinacao

N, = II X,
linear e o sinal de menos e tomado por conveniencia.

II e o coeficiente da combinacao
da
Isso quer dizer que se o coeficiente II e diferente de zero, existe uma inclinacao
quando sua base percorre uma caminho na direcao
. Estes
normal na direcao
descobrir como o plano osculador (tangente a` superfcie
coeficientes permitem entao
fornecendo uma nocao
da forma
e perpendicular a` normal) varia em cada direcao,
em que a superfcie esta imersa no espaco tridimensinal Euclideano. Fazendo o pro de isometria e baixando
duto interno do vetor N, com o vetor X , usando a condicao

o primeiro ndice de II com a metrica

g , obtem-se
II = N, X, . Uma vez

que a metrica
do espaco IR3 e Euclideana, seus coeficientes no sistema de coorde dados por GAB = AB , ou seja, e uma matriz 3 3 identidade.
nadas cartesiano sao
A B
da
Desta forma, pode-se escrever II = N,
X, GAB . Comparando com a definicao

segunda forma fundamental5 dada pela formula

3.4, obtem-se que o tensor II e a
que foi dada para ele neste
segunda forma fundamental k , e portanto a interpretacao
da segunda forma fundamental.
paragrafo e a interpretacao

Tem-se
assim a seguinte expressao:

N, = g k X,

(3.9)

Pode-se ver que a segunda forma e um tensor simetrico

da seguinte maneira: a
A B
(3.2) e X,
equacao
N GAB = 0 e como GAB tem coeficientes constantes no sistema
4

a` a equacao
N N = 1 e usar a regra de Leibniz e a
Para ver isso, basta derivar com relacao
simetria do produto interno Euclideano
5
e 1 e o ndice que a representa sera suprimido
Aqui a codimensao

33

 com relacao
a` uma direcao
tande coordenadas Euclideano, derivando esta equacao
A
A B
A

gente, obtem-se
que X,
N B GAB = X,
N, GAB . Portanto k = X,
N B GAB . Uma

de imersao
X e bem definida e possui derivadas ate de terceira
vez que a funcao
ordem contnua, X, = X, , o que resulta em k = k .
para a segunda forma
Em vista do que foi dito, pode-se dar outra interpretacao

fundamental. Em geometria diferencial classica,

o conjunto de vetores X,u , X,v forma
uma base para o estaco tangente, apesar de estarem definidos no IR3 6 . Tomando tangente, o resultado em
se a derivada parcial de cada um deles em uma direcao
nao
mais necesgeral sera um outro campo vetorial definido na superfcie, porem
sariamente tangente a` esta. Este campo possuira tanto componentes normais como
lincomponentes tangentes. Quando se escreve este campo como uma combinacao
ear na base dos vetores tangentes e da normal, os coeficientes associados a` base
os smbolos de Christoffel desta superfcies7 , e segue do paragrafo

tangente sao
an normal sao
os coeficientes da segunda
terior que os coeficientes associados a` direcao
forma fundamental. Assim,

X, = X + k N

(3.10)

N, = II X, a terceira forma se anula (A = 0),

Vale observar que pela equacao
A B
faz sentido interpretar a terceira forma
uma vez que N,
N GAB = 0. Portanto nao

fundamental em geometria se SIE, pois a mesma e identicamente nula. Sera visto

da imersao
for 1, a terceira forma fundamental se
que sempre que a codimensao
anula.
das formas fundamentais em geometria RieAntes de passar para a interpretacao
reescrever as equacaoes

manniana, convem
para as formas fundamentais de uma
maneira um pouco diferente. Isso acontece porque em geometria Riemanniana os
nao
sao

smbolos de Christoffel (aqui denotado por A

o de imersao
BC ) para o espac
geralmente iguais a` zero. Somente em espacos planos pode-se achar um sistema
de coordenadas em que os smbolos de Christoffel se anulam num conjunto aberto8 .
6

diferentes de zero na superfcie

Eles so sao
Sera visto adiante que isso e verdade para qualquer variedade Riemanniana, inclundo portanto as
superfcies aqui descritas
8
Num espaco plano, pode-se transportar um conjunto de vetores tangentes paralelamente, e esta
entre espacos tangentes diferentes nao
dependera do caminho, indicando que estes podem
associacao
ser tomados como base em qualquer ponto (se formarem uma base no ponto inicial). Como os coe7

34

 pode ser interpretada como um

Em geral, a derivada parcial de um campo vetorial nao
se transformam como tal. A derivada
outro campo vetorial, pois suas coordenadas nao
parcial tem que ser substituda pela derivada covariante.
como o espaco
Numa variedade Riemanniana imersa, tanto o espaco de imersao
seus proprios

imerso tem
smbolos de Christoffel. Apesar de um induzir o outro
da inducao
da metrica

de imersao
isometrica),

(atraves
contida na relacao
seus co diferentes. Assim,
eficientes se referem a` espacos diferentes e portanto em geral sao
a derivada covariante do espaco imerso sera denotada por ; e a derivada covariante
por uma barra dupla k .
do espaco de imersao
No caso do estudo de superfcies analisado, usamos um sistema de coordenadas
no IR3 (cartesiano) em que os smbolos de Christoffel se iguala a` zero. Portanto a
derivada parcial de qualquer campo vetorial do IR3 (inclusive aqueles definidos so ao espaco de
mente na superfcie) e equivalente a` derivada covariante (em relacao

isso nao
seria verdade se fosse usado outro sistema de coordenadas
imersao).
Porem

diferentes de zero).
do IR3 (por exemplo o esferico,
onde os smbolos de Chistoffel sao
e importante, porque em geometria Riemanniana nao
pode-se admiEsta observacao
que exista um sistema de coordenadas cartesiano em que os smbolos
tir de antemao
de Christoffel se anulem num aberto. Desta maneira, usando um sistema de coorde
faz mais sentido pois a derivada parcial
nadas curvilneo em IR3 a formula
(3.10) nao
tangente nao
e mais um campo de vetores9 . A substituicao

comum de X, na direcao
e derivar covariantemente em relacao
a`
a ser feita para aplicar a mesma interpretacao
tangente o vetor X, (que pode ser escrito Xk uma vez que X A e um escalar),
direcao
portanto a formula que se busca e Xk = X + k N , e k e a derivada covariante
com respeito ao sitema de coordenadas curvineos em IR3 . Se ; denota a derivada covariante do sistema de coordenadas no espaco imerso e notando que N A e X A podem
ser vistos como escalares nesta variedade, resulta que N, = N; e X, = X; = Xk .
Esclarecido o significado da segunda forma fundamental no caso de SIE, em ge da segunda e terceira forma fundamental sera
ometria Riemmaniana a interpretacao

antes vamos demonstrar a afirmacao

quanto
feita a seguir de maneira analoga,
porem

transportados paralelamente, basta conhece-los

ficientes da metrica
sao
em um unico
ponto que eles

mudarao
na base considerada. Sendo constantes os coeficientes da metrica,

nao
o tensor de Riemann
por causa da anulacao
dos smbolos de Christoffel, que dependem da derivada da metrica,

se anulara,
que e nula
9
que dizer que nao
possa ser definida essa quatidade, o que e feito, por exemplo em [20]
Isso nao

35

a` simetria dos ndices da segunda e terceira forma fundamentais referida anterior

mente. A segunda forma e simetrica
nos dois primeiros ndices e a terceira forma e

antissimetrica
nos dois ultimos

ndices. Isso pode ser demonstrado da seguinte forma:

a` com respeito a` metrica

Derivando-se covariantemente (3.2) em relacao

GAB ,
A
A
pode-se escrever a segunda forma fundamental como ka = Xk
NaB GAB = Xk
NaB GAB =

da terceira forma
ka . Fazendo a mesma coisa para (3.8) e substituindo na definicao
B
A
da simeGAB = Aba . Na explicitacao
NbB GAB = NaA Nbk
fundamental, Aab = Nak
A
A
, o que e verdade devido a`
= Xk
tria da segunda forma acima foi usado que Xk

simetria do smbolo de Christoffel

e da seguinte simetria X, = X, (vide equacao
e nao
trivial e fundamental para garantir a
3.15). Sera visto adiante que esta condicao

imersao.
definir a segunda forma de maneira alternativa:
Pode-se entao

A
ki = Xk
NiB GAB

(3.11)

das formas fundamentais em geometria RiemanniAgora vamos a` interpretacao

ana. Como o conjunto de vetores (X, , Ni ) forma um referencial (ou uma base) para
o espaco tangente de VD em cada ponto de X(VD )), as derivadas covariantes desses
tangentes a` X(VD )10 com respeito a` metrica GAB sao

campos vetoriais nas direcoes

linear desses proprios

outros campos vetoriais e podem ser escritos como combinacao

denotados por , II, II e III) :
vetores da base (os coeficientes serao
A
A
Xk
= Xk
+ II a NaA

(3.12)

A
A
Nak
= II a Xk
+ III ba NbA

(3.13)

X , obtem-se

Derivando parcialmente (3.1) na direcao

a equacao

A B
A
C A B
X, X, + GAB (X,
X, + X,
X,B ) = g,
GAB,C X,

a soma das duas equacoes

obtidas fazendo duas permutacoes

Subtraindo desta equacao

10

fsica, D = 4 + n e V4 e o espaco-tempo
numa aplicacao

36

cclicas dos ndices , obtem-se

A B
GAB X,
Xk =

(3.14)

C D
B
B
+ B
= X,
Xk
CD X, X,

(3.15)

onde

com respeito a` metrica

e a derivada covariante de X, na direcao

GAB .
B
(3.12) por g GAB X,
, e usando (3.14), (3.1) e (3.2), obtemMultiplicando a equacao

(3.12) por GAB NbB e fazendo

se que = . Multiplicando esta mesma equacao
da segunda forma (3.11) e das equacoes

uso da definicao
(3.2) e (3.8), obtem-se
II a gab = kb .
B
(3.13), multiplica-se por GAB X,
(3.1) e (3.2)
Para a equacao
e usa-se a equacao

de da segunda forma (3.4) para obter II a = ka . Multiplicando esta

e a definicao
da terceira forma
por GAB NcB e utilizando (3.2) e (3.8) e a definicao
mesma equacao

(3.4), obtem-se
III ca gcb = Aab
a
E conveniente colocar k
= g ab kb e Aca = g cb Aab , pois desta maneira os resul-

tados apresentados nos paragrafos

anteriores podem ser resumidos pelas seguintes

equacoes:

A
A
a
Xk
= Xk
+ k
NaA

(3.16)

A
Nak
= ka
Xk
+ Aba NbA

(3.17)

dos coeficientes das formas fundamentais e analoga a` feita no caso

A interpretacao
, observa-se
de superfcies do IR3 . Variando-se um ponto da superfcie numa direcao
muda.
que se a base de um vetor normal Na se encontra nesses pontos, sua direcao
justamente
A medida dessa mudanca em cada componete da base {X , Ni } (que sao
linear de (3.17)) fornece a taxa em que
os coeficientes que aparecem na combinacao
Conhecer esses coeficientes (que sao

esta normal passa a inclinar-se para tal direcao.

que as normais
a segunda e terceira forma fundamentais) permite conhecer a direcao
variam, e portanto a maneira em que a subvariedade esta imersa.
37

E importante notar que todo o desenvolvimento feito aqui segue naturalmente das

seguinte que e sempre possvel

equacoes
(3.1),(3.2) e (3.8). Veremos na seccao
achar uma subvariedade se forem fornecidas quantidades g , ki e Aij , desde que
de integrabilidade para essas equacoes.

essas mesmas satisfacam condicoes

3.2

de Integrabilidade da Imersao

Condicao

de integrabilidade para a funcao

de imersao.
A primeira
Queremos obter as condicoes
para uma dada EDP. A resposta para
pergunta que se faz e quando existe solucao

este problema esta contida no Teorema de Frobenius, que fornece uma condicao

esta que se satisfeita garante a

matematica
sobre as funcoes
envolvidas, condicao

Isto pode ser visto por exemplo em [10].

existencia
de uma solucao.
, pode-se imaginar um exemplo simplificado de termodinamica,

Para se ter uma ideia

na qual existem dois tipos de formas diferenciais, chamadas de exatas e inexatas.
(assim como em
As diferenciais exatas derivam de um potencial, e as inexatas nao

conservativas). Supodo que nos

mecanica
podem existir forcas conservativas e nao
e dado uma forma diferencial w, que num sistema de coordenadas xA e escrita como
dos xA . O teorema de Frobenius
w = wA dxA , onde cada conponente wA e uma funcao
de um potencial se as componetes safisfizgarante que esta forma diferencial provem
que ja e bem conhecida nos livros de termodinamica

erem uma equacao

(por exemplo
[21]) mas que valem em geral:

wA,B = wB,A

(3.18)

seja satisfeita, a forma w e exata e pode-se escrever w = df ,

Caso esta condicao
de xA .
onde f e alguma funcao
wA = f,A so tem uma solucao
f (admitindo que os
Dito de outra forma, a equacao

wA sejam funcoes)
se os wA safisfizerem (3.18).
Para o estudo que sera feito aqui, esta forma de entendimento do teorema de
sera visto como aplicar este teorema na
Frobenius basta. No restante desta seccao

geometria diferencial classica

e na geometria Riemmaniana, respectivamente11 .
11

ou seja uma aplicacao

De fato, o teorema e mais geral. Ele afirma que se e uma distribuicao,

que associa a cada ponto da variedade um conjunto de vetores linearmente independentes do espaco

extangente a este ponto, com o mesmo numero

de dimensoes
independente em cada ponto, entao

38

No estudos de superfcies imersas no espaco Euclideano, para garantir que a

de imersao
exista, bastaria achar um conjunto de equacoes
da forma X, = ,
funcao

aplicar a condicao
de existencia

para algum conjunto de funcoes

, e entao
de um
de imersao)
tal que: ( ), = ( ), . Isso
potencial X (que neste caso seria a funcao

somente a
so seria satisfatorio
se tivessemos equacoes
da forma X, = , porem
de isometria nao
fornece essas funcoes.

condicao
Teremos que procurar condicoes
para cada uma das funcoes
X,u , X,v e N (as duas primeiras
de integrabilidade tambem
geram o espaco tangente e a ultima
o espaco normal). Isso seria possvel se existis
, e que satisfacam as equacoes:

sem um conjunto de funcoes

(X,u ), =

(X,v ), =

N, =

de integrabilidade para o triedro X,u , X,v e N seria ( ), =

Neste caso, a condicao

( ), , ( ), = ( ), e ( ), = ( ), . De fato, as funcoes
, e podem
anterior, a condicao
de isometria garante a
ser obtidas. Pelo que foi dito na secao

aparece porque so existe

existencia
da segunda forma fundamental (a terceira nao
extra) e isso implica que, pelas equacoes

uma dimensao
(3.9) e (3.10) (escolhendo

por conveniencia
um sistema de coordenadas Euclideano para o IR3 ) ,
X, = X, + k N

N, = k X,

(3.19)

justamente as funcoes

sao
, e . usa-se a seguinte notacao:
kuu = e,
acima, as condicoes
de integrabilidade
kuv = kvu = f e kvv = g. Em vista da equacao
:
para o triedro sao

(X,uu ),v = (X,uv ),u ,

(X,vv ),u = (X,vu ),v

(N,u ),v = (N,v ),u

(3.20)

tres
equacoes
vetoriais, e os vetores do triedo sao
linearmente indepenComo sao
na realidade nove equacoes
envolvendo os coeficientes da primeira
dentes, estas sao

sao
indee segunda forma e os smbolos de Christoffel. Destas nove equacoes,
tres
pendentes [19]:
(um conjunto de subvariedades de mesma dimensao
que a distribuicao
e que
istira uma folheacao
se, e somente se, [, ] (o
preenchem a variedade) cujos vetores tangentes geram a distribuicao
tem
que ser linearmente dependentes dos vetores
comutador de quaisquer dois vetores da distribuicao

da distribuicao)

39

K = g (, , + )

(3.21)

e,v f,u = euuv + f (vuv + uuu ) gvuu

(3.22)

f,v g,u = euvv + f (vvv + uuv ) gvuv

(3.23)

(3.21) e chamada
onde K = det(k ) = egf 2 e a curvatura Gaussiana. A equacao
de Gauss (usada por Gauss para provar que a curvatura Gaussiana so
de equacao
chamadas de equacoes

depende da primeira forma fundamental) e (3.22) e (3.23) sao

de Codazzi-Mainardi.
Elas permitem dizer se o triedro existe. Podem ser resolvidas para e, f, g e assim,

, e , que agora podem ser integradas, fornecendo uma

obtem-se
as funcoes

tais que X, = e a
solucao explcita para o triedro. Obtem-se
assim as funcoes
para que exista um potencial X e:
( ), = ( ), . Isto e automaticamente
condicao
safisfeito em decorrencia da simetria da segunda forma fundamental e da simetria do

smbolo de Christoffel,
pois X, = X, pode ser verificado em (3.19).
E, F , G , e, f e g (ou seja, a primeira e segunda formas fundamenDadas funcoes
acima, o teorema de Frobenius garante que exista
tais) que satisfacam as equacoes
uma superfcie com tais formas (a menos de movimenos rgidos). Este resultado e
conhecido como Teorema Fundamental das Superfcies.
do problema da imersao
para a geometria diferUma vez entendido a resolucao

para variedades Riemmaencial classica

de superfcies imersas no IR3 , sua extensao
ao anterior e que os
nianas surge naturalmente. O problema adicional em relacao

sao
mais necessariamente nulos num
smbolos de Christoffel da metrica
GAB ja nao
analoga a` condicao

aberto. Este problema sera contornado mostrando uma equacao

a` condicao
de
de integrabilidade (3.18). A primeira analogia a ser feita e com relacao
se pode utilizar a condicao
de Frobenius
Frobenius. Assim como no caso anterior nao
se tem a sua forma funcional. Porem,

diretamente em X , pois nao

como foi visto na
anterior, a condicao
de isometria (3.1) e ortonormalidade (3.3) e (3.2) implicam
secao
(3.16) e (3.17) sejam verdadeiras. Mas elas envolvem derivadas coque as equacoes
de Frobenius so envolve derivadas parciais. Para
variantes, enquanto que a condicao
40

poder aplicar o teorema de Frobenius , podemos usar a identidade de Ricci (2.5) para
X, na qual X, = X, e safisfeito se e somente se

A
A

X;
X;
= X,A R;

(3.24)

Se quisermos usar esta identidade sera conveniente escrever (3.16) e (3.17) em

termos da derivadas covariantes da metrica

g . Primeiro e importante observar que
de coordenadas de V4 a quantidade XA se transforma como
sobre uma transformacao
A
A
A
e
desta ultima
equacao
XA . Isolando X,
= X,
uma 1-forma, portanto X;

C D
A
B
+ XA + B
= X;
substitundo em (3.15) resulta que Xk
CD X, X, . Substituindo

este resultado em (3.16) obtemos:

A
B C
i
A
X;
= A
BC X X + k Ni

(3.25)

Para os vetores normais, nota-se que seus componentes NAi podem ser vistos
mudam sobre uma transformacao
de cocomo campos escalares para V4 , pois nao
C
C
para um observador em V D temos Nik
+
= Ni,
ordenadas desta variedade. Porem
C
C
A B
C
AB X Ni . Assim, (lembrando que Ni, = Ni; e fazendo uso de 3.17)

j
A

B C
A
Ni;
= ki
XA A
BC X, Ni + Ai Nj

(3.26)

A
A
de integrabilidade para os NiA e Ni,

A condicao
= Ni,
, que em decorrencia
da

simetria dos smbolos de Christoffel fica:

A
A
Ni;
= Ni;

(3.27)

que, se
Substituindo (3.25) e (3.26) na identidade de Ricci, obtem-se uma equacao
B

contrada com GAB X

fornece (3.28) e se contrada com GAB NjB obtem-se
(3.29):

i
i
A B C D
R = (k
ki k
ki ) + RABCD X,
X, X, X,

(3.28)

A B C D
ka; ka; = (Aia ki Aia ki ) + RABCD X,
Na X, X,

(3.29)

sao
conhecidas como equacoes
de Gauss e Codazzi, respectivaEstas equacoes
41


mente. O tensor RABCD e o tensor de Riemman para a metrica
GAB
surge com a equacao
(3.27), ao se fazer a substituicao
das
Uma terceira equacao
(3.25) e (3.26) e contrair com GAB N b :
funcoes

D
C
X,
A;ij A;ij = (Aki Akj Akj Aki ) g (ki kj ki k j) + RABCD NiA NjB X,

(3.30)
e chamada de equacao
de Ricci.
Esta equacao

Resolver este conjunto de equacoes,

(3.28), (3.29) e (3.30) resulta na obtencao

das formas fundamentais, bem como a existencia

de um referencial movel
(X , Ni ).
Analogamente ao teorema fundamental das superfcies, pode-se enunciar o teorema
i

e Aij que satisfacam as

fundamental das variedades: dadas funcoes
GAB , g , k

equacoes
de Gauss, Codazzi e Ricci, e garantida a existencia
de duas variedades,
uma com primeira forma GAB contendo uma subvariedade imersa que tenha o restante
como formas fundamentais .
das funcoes

Para o caso de curvas imersas no IR3 , tem-se

apenas um ndice para a direcao
de Gauss resulta que o unico
tangente. Da equacao
componente da curvatura, R1111 ,

se anula identicamente (isso pode ser visto levando em conta a antissimetria do tensor
ha meios para se descobrir intrinsicamente
de Riemann (2.9). Isto indica que um nao
que se modificara curvatura desta variedade unidimensional, o que e intitivo uma vez

ira mudar, portanto todas as curvas

mos um fio sem estica-lo,
o seu comprimento nao
localmente isometricas.

sao
que apenas a primeira forma fundamental nao
caracteriza completaUma vez
uma imersao
12 . Mas
mente a variedade, esta e totalmente descrita quando se tem

que nao
e unico.
e nessesario
escolher o espaco de imersao,
O teorema de Greene

de Vn em um Vm plano se m =
garante que existe uma imersao

n(n+3)
,
2

em casos
porem

requerido e muito menor. Pode-se reespecficos geralmente o numero

de dimensoes

a ser considera e aquela em que

querer que para um dado espaco-tempo a imersao

fixa a
o numero
de dimensoes
seja o menor possvel. Mas mesmo assim, isso nao

necessariamente sera plana. Fala-se, neste caso

metrica
do espaco maior, que nao
assim como na RE
que o formato de uma variedade e relativa ao espaco de imersao,
12

fsica a ser feita na dissertacao

Este e o problema fundamental na aplicacao

42

o comprimento de um objeto e relativo a` um observador.

Com os resultados obtidos neste captulo fica evidente que o significado da equacoes

justamente porque
de Gauss, Codazzi e Ricci e garantir a existencia
de uma imersao,

equivalentes a` condicao
de Frobenius para o referencial movel

estas equacoes
sao

(X , Ni ). Uma maneira de se entender estas equacoes

e notar que elas fornecem
para o tensor de Riemann RABCD da variedade de imersao
em teruma expressao
mos do tensor de Riemann R da variedade imersa e da segunda e terceira formas
feita aqui para estas equacoes

fundamentais. A derivacao
e semelhante a` feita por

Eisenhart [20]. Este captulo tenta suprir a dificuldade encontrada na interpretacao

dessas equacoes.

43

Captulo 4

Interacoes
Fundamentais

uma espiral sobre o invisvel

As coisas visveis sao

Democrito
e Anaxagoras.

e sugerir uma unificacao

das interacoes

Uma vez que o objetivo desta dissertacao

uma exposicao
das teorias que descrevem essa interacoes,

fundamentais, faz-se necessario

e Teoria de Yang-Mills. A primeira sera tratada na
a saber: Teoria da Gravitacao

e e responsavel

da forca gravitacional, enquanto que

proxima
secao
pela descricao
seguinte) e responsavel

das
a segunda (que sera tratada na secao
pela descricao

forcas de calibre: nuclear forte, eletromagnetica

e nuclear fraca. Sera visto que as
que governam a dinamca

de princpios variaequacoes
de ambos os campos provem
cionais diferentes, ou seja, com Lagrangeanas diferentes.
44

4.1

Gravitacao

A Teoria da RG foi desenvolvida por Einstein nos anos de 1907 ate 1915. Sua intencao
gravitacional, ate entao
descrita pela Lei da
era generalizar a RE e incluir a intercao
Universal, de Isaac Newton. No sec.
XIX a crenca na validade da lei de
Gravitacao
de Newton era tao
grande que o planeta Netuno teve sua existencia

atracao
postu previstos pela teoria Newtoniana na
lada somente para poder explicar desvios nao

direta, atraves
de um telescopio

orbita
de Urano ao redor do Sol. Sua observacao
foi
feita um ano depois, em 1846. Em 1859 Le Verrier observou que o planeta Mercurio

apresentava tais desvios (conhecidos como precessao

do perielio),

totambem
porem

das as hipoteses
feitas para explicar tais desvios puramente com o arcabolso teorico
Newtoniana se mostrou inconcludente. Os planetas mais
fornecido pela Gravitacao

poderiam provocar a precessao

medida. Este problema so
proximos
de mercurio
nao

de uma nova teoria gravitacional (a RG), testada

veio a ser explicado com a introducao
direta na cidade de Sobral, em 1919, pela equipe de Eddington.
por observcao

No discurso de recebimento do seu premio

nobel (pelo efeito fotoeletrico),
Einstein
para a RG foi o fato de que na RE existem referencidisse que a primeira motivacao
nao

ais privilegiados (os referenciais inerciais), sendo que uma teoria mais satisfatoria
a existecnia

deveria assumir de antemao

de tais referenciais (foi levado a postular as
sim a chamada Covariancia
Generalizada, na qual todos os sistemas de coordenadas
dinamica).

deveriam possuir a mesma equacao

No artigo de 1907 Einstein mostra
que um referencial em queda livre e equivalente a` um referencial inercial da RE (na

RG e chamado de princpio da equivalencia).

Em 1914 ele publica outro artigo que
baseada na equivalencia

faz uma discusao,

de massa inercial e gravitacional, sobre a
impossibilidade de diferenciar localmente um referencial uniformemente acelerado de
de um campo gravitacional uniforme.
um referencial parado sobre a acao

Uma experiencia
de pensamento proposta por Einstein ajuda a explicar o porque
da necessidade de usar a geometria Riemanianna. Um observador que esteja na

tera o comprimento de sua regua

circunferencia
de um disco em rotacao
contrado,
ira medir um valor para a circunferencia

entao
maior do que 2r, onde r e o raio
sofre variacao
em seu comprimento). Isso indica claramente uma incom(que nao
patibilidade com a geometria Euclideana. Uma vez que o observador esta acelerado,
anteriores, nao
ha como diferenciar a acereracao
uniforme da
e pelas consideracao
45

 causada por um campo gravitacional, pode-se concluir que a presenca de

aceleracao

uma fonte de campo gravitacional muda a natureza Euclideana do espaco. O proximo

passo trilhado por Einstein era descobrir uma teoria geometrica

que servisse como

dos campos gravitacionais. Com auxilio de

ferramental matematico
para a descricao
por conselho de Tullio
Marcel Grossmann estudou geometria Riemanniana e tambem

o principio
Levi-Civita comecou a estudar a algebra
tensorial, com vistas a` aplicacao

da covariancia
generalizada.
que governasse a geometria a partir de uma
O ultimo
passo era obter a equacao

de materia

dada distribuicao
(ou energia - o tensor energia momento). Einstein pos que o espaco-tempo fsico era uma variedade pseudo-Riemanniana e
tulou entao
primeiramente pensou na possibilidade de que o tensor de curvatura R se igualasse
isso leva a` nao
conservacao
do tensor energia
ao tensor energia-momento T , porem
e necessariamente nulo. Atraves
de um estudo da
momento1 uma vez que R ; nao
compatvel com a
identidade contrada de Bianchi e possvel descobrir que a equacao
da energia e
conservacao
1
8G
R g R = 4 T
2
c

(4.1)

de Einstein. Para ver que o lado direito e conservado,

conhecida como equacao
tome a segunda identidade de Bianchi 2.11 e contraia com g :

R; R; R;
=0

Contrando de novo temos

R;
=0
R; R;

ou
1
(R R); = 0
2
acima e
Uma forma mais familiar da equacao
1

do tensor energia-momento e escrita como T; = 0 e pode ser interpretada como

A conservacao

~
de continuidade semelhante a` j,
uma equacao
= 0 da relatividade especial (ou seja,
v )),
t = (~
tomando a derivada covariante. Ela permite dizer que a energia e o momento da fonte do campo
porem
consevados.
graviacional sao

46

1
(R g R); = 0
2

do lado esquerdo da equacao

que e justamente a formula

que prova a conservacao
para uma dada distribuicao
de materia

de Einstein (4.1). Resolvida esta equacao

e

energia, descobre-se a metrica

g . Um percurso de uma partcula em queda-livre
da geodesica

u (s) sera descrito pela equacao

d2 u
du du
=0
+

ds2
ds ds

da linha
cujo comprimento entre dois pontos e o menor possvel (generalizacao
reta Euclideana).

existe um procedimento geral para resolver a equacao

de
Por ser nao-linear,
nao
exEinstein de maneira explcita e geral. Entetanto, um numero
limitado de solucoes

conhecidas, entre elas, a solucao

de Schwarzschild, de Raisner-Nordstron,
atas sao

Kerr, de Siter e Robertson-Walker. Consideracoes

cosmologicas
levam Einstein a`
do termo g no lado esquerdo da equacao
de Einstein, onde a funcao
conadicao

stante e chamada de constante cosmologica.

observadas, destacam-se a ja citada precessao
do perielio
de
Dentre as previsoes

mercurio,
o desvio da trajetoria
da luz e o desvio para o vermelho (conhecidos como

testes classicos
da teoria).

4.1.1

de Einstein-Hilbert
Acao

de Einstein pode e deve ser obtida de um princpio

Como em toda Fsica, a equacao

variacional, e de fato foi obtida por Hilbert em 1915, curiosamente antes que o proprio

S e
Einstein a publicasse. Hilbert usou o calculo
variacional ao admitir que a acao
dada por
Z
S=
onde L e a Lagrangeana da teoria,

L gd4 x
gd4 x e o elemento de volume2 (g e o deter-

O elemento de volume e escolhido desta maneira porque se assim definido ele independe do sistema de coordenadas

47

minante da metrica
g ). Usualmente, a Lagrangeana da teoria e a soma da parte

geometrica,
a Lagrangeana de Einstein-Hilbert (LEH ) que da origem a` parte es
de Einstein (4.1), com a Lagrangeana LM provinda
querda (geometrica)
da equacao

da fonte de materia
e que da origem ao termo T . Para obter as equacoes
de Ein
stein impoe-se
que a Lagrangeana de Einstein-Hilbert seja proporcional ao escalar de
curvatura da variedade LEH =

R
,
2

onde = 8Gc4 , G e a constante gravitacional de

Newton e c e a velocidade da luz no vacuo.

Assim, evoca-se o princpio variacional:
Z
0 = S =

{[

1
R + LM ] g}d4 x = 0
2

Estabelecendo que a integral da curvatura R e maxima

ou mnima. Isto implica
Z
0=

Z
=

1 ( gR) ( gLM ) 4
[
+
]g d x
2 g
g

1 R
R g
1 ( gLM )
[ ( +
)+
]g
gd4 x
2 g
g g
g
g

e verdadeira para qualquer g temos:

Como esta equacao

R g
1 ( gLM )
R
+
= 2
g
g g
g
g
do determinante e g = g g g = g g g . Assim4
A variacao

(4.2)
g
g

= g g , e

acima fica iqual a` T , onde define-se T por:

o lado direito da equacao

2 ( g)LM
LM
=
=
2
+ g LM
g
g
g

def

(4.3)

do tensor de RiePara a parte geometrica,

vamos considerar primeiro a variacao
mann:
3

Uma maneira de calcular o determinante e denotar por M a matriz cujos coeficientes m

sejam

1
os elementos g e tomar o determinante como g = 4! m m m m , onde os valores de
entre () e (). E igual a` 1 se um for uma permutacao
par do outro, 1 se
dependem da relacao
mpar, zero se nao
tiverem elementos em comum ou se qualquer um deles tiverem
for uma permutacao
pelo menos dois elementos repetidos
1
1
4

Para provar isso, basta calcular g = ( 4!
m m m m ) = 4!
(m
m m m +

m m m m + m m m m + m m m m ) = m , onde a matriz e a matriz cofator de

1

M , dada por = ( 3!
m m m ). Usando o resultado de algebra
linear, no qual a matriz cofator
e a mariz inversa multiplicada pelo determinante g, segue o resultado

48

R = + +
Notando que se transforma como um tensor5 obtemos:

R = ( ); ( );
escrever
Podemos entao

R = R g + g R = R g + (g g );
O ultimo
termo, quando for multiplicado por

g sera uma derivada total6 , portanto

conta para a variacao

da
pelo teorema de Stokes, e um termo de fronteira e nao
integral.
que
Podemos considerar entao

R
= R
g

(4.4)

R g
1

= g R

g g
2

(4.5)

Para finalizar, so resta o termo

de Einstein (4.1) e obtida ao se substituir as equacoes

A equacao
(4.4), (4.5) e
(4.2) .
(4.3) na equacao

2.4 do smbolo de Christoffel em um outro sistema de coordenadas

Escrevendo a definicao

e notando que os coeficientes da metrica

se trasformam como um tensor, obtem-se
a formula
de
=
dos coeficientes de Christoffel para dois sistemas de coordenadas diferentes:
transformacao

x x x x 2 x
x
x % x x
x
.
x

fosse pelo ultimo

Se nao
termo, este coeficiente se tranformaria como um

fazendo a diferenca de dois smbolos de Christoffel diferentes, este ultimo

tensor. Porem
termo se

cancela e a quantidade se transformara como um tensor, assim sua derivada covariante faz sentido

6
Para ver isso, considere o componente A de um vetor qualquer. Temos 1g ( gA ), =
(g),
2g A

+ A
a` feita no rodape 4 da pagina
, . O termo (g), pode ser calculado de maneira analoga

direta
48 e resulta g, = (m ), = g g g, que e igual a` 2g (e so verificar pela substituicao

ou

(
gA
)
=
gA
em 2.4). Portanto 1g ( gA ), = A

;
;

49

4.2

Campos de Calibre

Comecaremos com uma breve retrospectiva historica

do desenvolvimento da teoria
fases importantes no desenvolvimento da teoria:
de Yang-Mills [22]. Houveram tres

a descoberta inicial de Weyl em 1919 [23], depois o resurgimento da mesma, porem

quantica,

com uma interpretacao

em 1929 [24] e finalmente a teoria de Yang-Mills
propriamente dita, desenvolvida em 1954 [25].
O essencial de qualquer teoria de calibre e o grupo7 de simetria de calibre e o
da dinamica

papel crucial que ele desempenha na determinacao

da teoria. Um outro
e uma transformacao
fsica de coaspecto marcante e que a simetria de calibre nao
ordenadas no espaco-tempo da RE, mas sim do chamado espaco interno8 (de fato, o
de coordenadas das
nome calibre foi dado por Weyl para distinguir as transformacoes
do potencial). Veremos que isto pode ser revisto quando se leva em
transformacoes

conta as teorias cujas transformacoes

de calibre ficam associadas a` transformacoes
extras.
de coordenadas nas dimensoes
importante veio com o teorema de Noether de 1919, que afirma
Outra contribuicao

que o conhecimento da Lagrangeana e das transformacoes

que a deixam invariante
de quantidades conservadas. Por exemplo, se a Lagrangeana e
permite a obtencao
entao
o momento linear e conservado [26]. Se for invariinvariante por translacao,

o momento angular e que e conservado. Caso seja tambem

ante por rotacoes,

entao
temporal, a energia e conservada9 . Pode-se consider
invariante por uma translacao
7

que deixam invariante

Para a fsica, e comum conceber um grupo como o conjunto das opercoes
ortogonais no espaco IRn , denotado
uma certa estrutura, como por exemplo o grupo de transformacoes

por O(n), que deixam o produto interno canonico

invariante. De maneira abstrata, um grupo e um
associativa, contendo a identidade e para cada elemento dado,
conjunto munido de uma multiplicacao
o seu inverso (aquele que se multiplicado pelo elemento inverso se iguala a` identidade). Os grupos
numero
de Lie contem
infinito de elementos e seus elementos podem ser parametrizados como numa

seria obtida pelas variaveis independentes que

variedade. No exemplo fornecido, uma parametrizacao
dimensoes
os angulos

parametrizam as matrizes ortogonais (no caso de tres

de Euler servem para este

proposito)
8
E comum estudar os vetores tangentes a` identidade (denotados por ~ei ), que e um espaco vetorial
que parametriza os elementos do grupo de Lie (e por isso chamados de geradores). Isto permite
estudar as propriedades dos grupos com muito mais facilidade, e foi sugerido primeiramente por Lie,
do grupo pela algebra,

exponencial. Esta
que forneceu uma parametrizacao
chamada de aplicacao
so alcanca a componente conexa da identidade do grupo, mas outras parametrizacoes

parametrizacao
possveis, que alcancem qualquer elemento do grupo. Para provar isso, Lie sou o fato de que para
sao

conhecer a estrutura multiplicativa de um grupo, basta conhecer as constantes de estrutura da algebra

ckij , definida por [~ei , ~ej ] = ckij ~ek . Como os elementos do grupo atuam de forma natural nos elementos da

algebra,
pode-se considerar que o espaco interno na qual um dado grupo atua e justamenteo espaco

linear para o grupo, chamada de representacao

adjunta
da algebra,
que fornece uma representacao
9
para se considerar na mecanica

Isto e uma motivacao

quantica
a energia como o auto valor de um

50

 transformacoes

apenas nas coordenadas, mas tambem

nas funcoes,

tambem
nao
de calibre, que transforma o potencial, mas deixa a
como e o caso da tansformacao

lagrangeana invariante. Para transformacoes

locais , dadas as transformacoes
que
deixam a Lagrangeana invariante (este conjunto e um grupo de Lie) e a Lagrangeana,
uma quantidade Ti que e conservada por uma derivada generalizada,
Noether obtem
D Ti = 0, onde D = + C , para um operador C . Posteriormente verificou-se que
C e analoga

tal operador correspondia a` uma derivada covariante D cuja conexao

a`
do grupo visto como grupo de calibre, pois se transforma como tal.
conexao

4.2.1

Teoria de Calibre de Weyl

Na epoca
em que esta teoria foi desenvolvida, 1919, as unicas
partculas elementares

de Weyl em propor
que se tinha conhecimento eram o eletron
e o proton.
A motivacao
de invariancia

do desvio da trajetoria

a ideia
de calibre veio com a confirmacao
da luz,
prevista pela RG.

Weyl se perguntou: se o campo gravitacional pode ser descrito por uma conexao
relativas entre dois sistemas de referencial locais no espacoque fornece as orientacoes
o eletromagnetismo ser associado com uma conexao
similar?
tempo, poderia tambem
que a norma de um vetor fsico nao
seja uma quantidade absoluta, mas
Sugeriu entao
no espaco-tempo. Para visualizar esta ideia
considere
dependa da sua localizacao
um campo vetorial qualquer que em um ponto fixo x dado tenha norma f (x). A norma
deste vetor no ponto x + dx e f (x + dx) f (x) + ( f )dx . Agora introduz-se uma
de um fator multiplicativo S , que e uma funcao
das coormudanca de calibre atravez
no ponto x, ou seja: S(x + dx) = 1 + ( S)dx . Agora a nova norma
denadas e unitario
do vetor no ponto x + dx sera S(x + dx)f (x + dx) f (x) + ( S) f dx + ( f )dx ,
pois a derivada
ou seja, f = ( + ( S))f dx . Isso funciona como uma conexao,
parcial e substituda por uma outra que difere desta por um termo aditivo.

Weyl interpretou a quantidade S como o quadri-potencial eletromagnetico

A
de calibre com um novo fator de escala transporque uma segunda transformacao
da seguinte maneira: A A + , que e a transformacao
de
formara a conexao

calibre do eletromagnetismo (deixam as equacoes

de Maxwell invariantes, portanto
simetrias de calibre). Aqui (x ) representa o parametro

sao
local de transformacao
operador proporcional a` derivada temporal, e o momento linear como proporcional a` derivada espacial

51

de calibre do eletromagnetismo.
Alguns anos depois Bergman (para um relato deste acontecimento, ver [27]) notou
era incorreta, por estar em conflito com a mecanica

que esta interpretacao

quantica,
na qual o comprimento de onda Compton =

h
mc

e uma escala de comprimento

disso nao
depende da posicao
da mesma.
natural associada a` uma partcula e alem
de invariancia

Desconsiderando esta falha inicial, a ideia

de calibre sobreviveu, porem

era vista como um acidente matematico

que permitia simplificar os calculos.

4.2.2

Renascimento da Teoria de Calibre

de Bergmann , em 1929 Weyl propos

uma nova interpretacao

Para contornar a observacao

original, mas agora motivado pela teoria quantica

foi
para a sua ideia
(a sugestao
de transformar as normas dos vedada por V.Fock [28] e London [29]). Ao inves
e feita na fase da funcao
de onda , solucao
da equacao
de
tores, a modificacao

de
Schrodinger10 na presenca de um campo eletromagnetico
A . Se a nova funcao
da mesma equacao
de Schrodinger isto implicara que o A
onda eie(x) for solucao
deve mudar para A .
a` teoria original de Weyl nao
se aplica mais porque uma mudanca na
A objecao
altera o valor medido para a densidade de probabilidade (que e a norma da
fase nao
de onda). Fixando um calibre para o campo eletromagnetico

funcao
(fazendo uma escolha para A ) possibilita que se fixe a quantidade , e portanto permite que se tenha
de como a funcao
de onda varia de ponto a ponto, conseguentemente o
uma nocao
para a fase de onda. Portanto, apesar das
campo A funciona como uma conexao
de Maxwell serem classicas

justificativa quantica.

equacoes
a simetria de calibre tem

O grupo de simetria aqui considerado seria o U (1), o grupo unitario

de um parametro,

correspondente a` simetria de calibre do campo eletromagnetico.

entre potencial eletroUm experimento que vem reforcar anda mais esta relacao

de onda e o proposto por Aharonov-Bohm, no qual observa-se

magnetico
e funcao

a possibilidade de medir o potencial eletromagnetico

diretamente, dando uma im

portancia
mais fundamental a` estes do que ao campo eletromagnetico
propriamente
2

~2
de Schrodinger i~ t
A equacao
(~r, t) = [ ~
r, t)](~r, t)para um potencial V (~r, t) e obtida
2m + V (~
p2
de energia nao
relativstica E = 2m
pela lei de conservacao
+ V , substituindo a energia E por um

operador proporcional a` derivada temporal E = i~ t e o momento linear p~ por um operador proporcional

~
a` derivada espacial p~ = i~

10

52


de onda
dito. O experimento de Aharonov-Bohm mostra a interferencia
na funcao

do eletron
(figura 4.1) causada pelo potencial. Se colocarmos um solenoide
entre as

mudam na regiao
exterior ao solenoide,

fendas os campos eletrico

e magneticos
nao
ocorre uma mudanca no potencial e uma consequente mudanca no padrao
de
porem

interferencia
observado. Isto implica que potencial em s e um observavel.

Figura 4.1: Aharonov-Bohn

da invariancia

Apesar disto, a inerpretacao

de calibre feta por Weyl continuou

sendo subestimada e vista apenas como uma propriedade matematica

da mecanica

como um propriedade fundamental da natureza. Isso so veio a ocorrer

quantica,
e nao
com o desenvolvimento da teoria de Yang-Mills, que generaliza o eletromagnetismo

para as outras forcas de calibre, levando em conta a propriedade de invariancia

de
nucleares.
calibre da teoria eletromagnetica e estendendo-a para as interacoes

4.2.3

A Teoria de Yang-Mills

Dois conceitos basicos

foram importantes para o desenvolvimento da teoria de Yang proposta por Yukawa, de que a forca nuclear fosse
Mills. O primeiro era a ideia

intermediada por uma partcula, chamada de meson

(assim como a forca eletro

veio com a observacao

de que
magnetica
e intermediada por fotons).
A segunda ideia

a forca nuclear independia da carga eletrica.

Assim, Heisenberg sugeriu que o neu
tron e o proton
pudessem ser considerados como estados diferentes de uma mesma

partcula (em analogia com os estados up e down do spin). A invariancia

da carga

de um novo
e obtida quando se observa a invariancia
da forca nuclear sobre a acao
grupo de simetria, o SU (2). Entretanto, diferentemente do U (1) considerado ante
riormente, que e uma simetria global (os parametros
independem das coordenadas),
53


corresponde a` propriedade interna chamada de isospin. O meson
seria o carregador
da forca nuclear e auto-estado do isospin.
nuclear e deEm 1954 Yang e Mills propuseram uma teoria na qual a interacao

scrita por uma teoria de campo que possua uma invariancia

de calibre, postulando
que o grupo de calibre fosse o SU (2), atuando localmente (em cada ponto do espaco fornece uma regra para determinar como o estempo). A escolha de uma conexao
tado avaliado em um ponto (neste caso, o estado pode ser interpretado como uma
linear de proton

combinacao
e neutron)
influencia o estado numa vizinhanca deste.

entre
No eletromagnetismo, o potencial eletromagnetico
A fornece uma conexao
de onda em posicoes
proximas.

a fase da funcao
Na teoria de Yang-Mills a fase e sub
do isospin. O
stituda por uma variavel
local mais complicada, que especifica a direcao
no espaco de simetria interna (assim como
potencial de Yang-Mills gera uma rotacao
no IR3 ) , esta rotacao
tem geradores que aqui
o grupo SU (2) SO(3) gera rotacoes
~ em analogia com o momento angular, que gera rotacoes
denotados por L,
esserao
~ gera uma rotacao
no espaco
paciais. Assim, um elemento do grupo de simetria R()
~L
~
~ = ei
interno dado por R()
, indicando que a forma mais geral para um potencial

linear de geradores de rotacao

no espaco interno
de Yang-Mills A e uma combinacao
geradores independentes
A = Ai (x)Li . Neste caso, o grupo de simetria tem tres
parametros

(que correspondem a` tres

independentes de SU (2)), e assim como no
caso do momento angular, pode-se escolher L+ , L e L3 como base e pode-se in que muda um proton

terpretar, por exemplo, o operador L+ como uma transformacao

para um neutron.

sao
mais partculas fundamenHoje em dia sabe-se que o proton
e o neutron
nao
tais, sendo os mesmos constitudos por quarks. Assim, a teoria de Yang-Mills teve que
forte. O espaco interno nao
e mais necese adaptar ao novo modelo de interacao

sariamente o do isospin, mas sim da algebra

de Lie de SU (3), cujos parametros
sao
locais e que correspondem a` estrutura dos quarks. Dado um grupo de Lie, escolhe-se
linear no mesmo espaco que sera representada a funcao
de onda.
uma representacao
serao
denotados por Fk , e qualquer elemento do
Os geradores desta transformacao
exponencial, escolhidos os parametros

grupo pode ser alcancado por uma aplicacao

k (x) em cada ponto x do espaco-tempo. Assim, dado um elemento arbitrario

gb do
de onda da seguinte maneira: gb = (eiq
grupo de Lie, ele atua numa funcao
54

k (x)F
k

),

onde a constante iq e tomada por conveniencia

e os geradores da algebra
satisfazem
de estrutura de Lie,
a equacao

[Fi , Fj ] = ckij Fk

constantes de estrutura da Algebra

de Lie do grupo considerado.
e os ckij sao

Se denotarmos os vetores do espaco interno por ui , poderemos separar a funcao

de onda em sua parte interna e externa (x) = i (x)ui . Ao se aplicar uma transformacao
de onda entre dois pontos que diferem
de calibre e se analisar a diferenca da funcao
apenas a parte externa i (x) muda, mas
infinitesimalmente, percebe-se que nao
a parte do espaco interno ui .
tambem

d = (x + dx) (x) = ( i )dx ui + i dui

Levando em conta o fato de que o grupo atua somente no espaco interno e que
transformacoes
lineares neste espaco (e sao,
portanto, matrizes
os geradores Fk sao
(Fk )i j ), obtem-se dui = eiq(

k +d k )F
k

ui eiq(

kF

k)

ui iq( k )dx (Fk )ji uj (foi tomado

ate a primeira ordem na expansao).

Denotando (A )i j = ( k )(Fk )i j resulta que d =
(D i )dx ui , onde D e a derivada covariante de calibre, D i = ( ji iq(A )ji )j .
mais compacta,
Numa notacao

D = ( iqA )
de calibre geral U , a conexao
se transforma da seguinte
Para uma transformacao
maneira11 :
i
0
A = U A U 1 ( U )U 1
q

(4.6)

No eletromagnetismo, o campo eletromagnetico e dado pelo tensor de Maxwell

F = [ iqA , iqA ]
os campos provindos dos potenciais de calibre serao
dados por:
Por generalizacao,
11

do grupo U , que pela

Isto e obtido impondo que a derivada covariante D comute com a acao
4.2.3, ( iqA )(U ) = U ( iqA ) resulta na equacao
para a transformacao
da conexao

equacao

depois de um pouco de manipulacao

55

F = [D , D ] = A, A, iq[A , A ]
para a curvatura F associada a` conexao
A
Note que esta e uma expressao
2.6 da pagina

(compare com a expressao

25). Portanto, na teoria de Yang-Mills, falase de curvatura referindo-se a` F .
covariante, a Lagrangeana do campo eletromagnetico

Na notacao
e proporcional a`
F F . No caso da teoria de Yang-Mills a quantidade F F e a soma de produtos de
um operador. Uma escolha para uma funcao
Lagrangeana
operadores, sendo entao
dependa da base escolhida para a representacao
matricial deste operador e
que nao
o traco desta quantidade, T r(F F ). Portanto a Lagrangeana para o potencial de
Yang-Mills e dada por12
1
LY M = T r(F F )
4
mnima da acao
com respeito a` variacao
de A ,
Impondo o princpio de variacao

das equacoes
de Maxwell nao
homogeneas

obtem-se
uma generalizacao

F iq[A , F ] = j
onde j e a quadricorrente associada a` Lagrangeana da fonte. Aqui diferente da
e solucao
das equacoes
de Yang-Mills e nao
sao
dadas por uma exRG, a conexao
em termos da metrica.

pressao
Outra diferenca e que a Lagrangeana e quadratica

na curvatura, enquanto que na RG e linear na curvatura. As outras equacoes

ho
identidades e nao
provem
da Lagrangeana.
mogeneas
sao
que a mesma e quantizavel

O sucesso da teoria veio com a observacao

e que os
os grupos de calibre das interacoes
forte e fraca, respectigrupos SU(3) e SU(2) sao
vamente. O U (1), como ja vimos e o grupo de calibre do eletromagnetismo. Vale notar
de partculas abarcar as tres
interacoes

que, apesar do modelo padrao

de calibre,

ele so descreve de maneira unificada duas delas, a eletromagnetica

e a nuclear fraca,
conhecida como unificacao
eletrofraca. Uma teoria que unifique
sendo esta unificacao
12

entao
e possvel mostrar a equacao

Se um campo presente na Lagrangeana minimiza a acao,

de Euler-Lagrange e satisfeita [26]. No caso da Lagrangeana de Yang-Mills considerada, a equacao

Y M
de Yang-Mills e a seguinte: L
de Euler-Lagrange do potencial de calibre que gera a equacao
i
(A ) =

LY M
[ (
i ]
A )

56

 de calibre esta sendo buscada anda, e e chamada de GUT (sigla

todas as interacoes
para Grand Unified Theory). O caminho trilhado e achar um grupo que conem ingles
tenha como subgrupo o U (1)SU (2)SU (3). Os candidato mais estudados ate agora
os grupos de cobertura de SU (5) e de SO(10), ou mesmo os grupos exepcionais
sao
E6 , E7 , e E8 .

4.2.4

Geometrica

Formulacao
da Teoria de Yang-Mills

Conforme ja foi comentado anteriormente, muitas area

da fsica admitem uma descricao

deixa de ser verdade.

geometrica.
Para a teoria de Yang Mills isso nao
E comum nessas teorias o uso de formas diferenciais13 e seus operadores associados, como o produto exterior14 , produto de Hodge15 , e a derivada exterior16

Com o uso de tais operadores, escrevemos as equacoes

de Yang-Mills de uma
depende do sistema de coordenadas. Para isso, definimos
maneira abstrata, que nao
abstratamente o operador derivada exterior covariante como D = d + A, onde d e a
A = A dx , cujos coeficientes pertencam
derivada exterior e A uma forma de conexao
a` algebra de Lie do grupo de simetria considerado. Definimos abstratamente o tensor
de curvatura como

F = D A = (d + A) A = d A + A A

Escrevendo F = F dx dx e com o uso das definicoes

dadas, obtem-se
a ja
dos coeficientes da curvatura
conhecida expressao

F = A, A, [A , A ]
13

Uma p-forma diferencial e um tensor de p ndices F = F.. dx dx ..dx antissimetrico

ao se trocar
m, o espaco de n-formas tem

dois ndices consecutivos quaisquer, portanto, num espaco de dimensao

m!
n!(mn)!
dimensao
14
O produto exterior de uma p-forma com uma q-forma e uma (p+q)-forma denotada
por , que se aplicadas os vetores (e1 , .., ep+q ) e (e1 , .., ep+q ) =
P
o das permutacoes

de n numeros

Sp+q ( )(e(1) , .., e(p) )(e(p+1) , .., e(p+q) ). O conjunto Sn e

naturais, e o numero
indica qual e o sinal da permutacao

15
das n-formas, e possvel descobrir que estas sao
isomorfas as
` (m-n)
Pelo numero
de dimensao

formas, e o produto de Hodge fornece este isomorfismo. Aplicar o produto de Hodge a` uma n-forma

definida num espaco m-dimensional e transforma-la

numa (m-n)-forma cujos coeficiententes sao

b1 ,..,bn
wa1 ,..,amn = b1 ,..,bn ,a1 ,..,amn
, onde o o numero
b1 ,..,bn ,a1 ,..,amn e o tensor de Levi-Civita, que e

dos ndices
nulo caso dois ou mais coeficientes sejam iguais e 1 conforme a paridade da permutacao
16

Leva uma (p)-forma

numa
(p+1)forma.
Atuando
numa
func

ao
f
fornece
df
=
(
f
)dx
e atuando

P
a1
ap
numa p-forma F, dF = a1 <..<ap dFa1 ,..,ap dx ..dx .

57

 diretamente das definicoes

feitas que a parte homogenea

Segue tambem
da equacao
de Yang-Mills e dada por

DF =0
homogenea

e a parte nao
e dada por

D F = 4J
onde J e o tensor quadricorrente (uma 1-forma), F =  F e J =  J .
detalhada ver [30].
Para uma derivacao
geometrica

A figura 4.2 a seguir exemplifica o quadro de descricao

dos campos de
calibre. O espaco-tempo e representado pelo plano horizontal, enquanto que o espaco

interno e desenhado verticalmente a` cada ponto. A linha desenhada indica a trajetoria

de alguma partcula tanto no espaco-tempo como em algum espaco interno, como o

U (1). Os geometras
modernos chamam este espaco que descreve tanto o espacotempo como o espaco interno de fibrado. Nesta figura, o espaco-tempo e a base do
fibrado, e todas as fibras ( cada uma delas e o espaco interno associado a` um ponto)
isomorfas a` um unico
sao
espaco que e chamado de fibra tpica. Este fibrado pode ser

visto localmente como o produto cartesiano do espaco-tempo pela fibra tpica (que e
de uma partcula no espaco-tempo e representada
o espaco interno). A localizacao
no espaco interno e especificada
por um ponto no plano horizontal e sua orientacao
por um ponto na fibra.

Figura 4.2: Fibrado Principal

58

 (4.2.4), a hipotese

Pela equacao
de que os campos de Yang-Mills sa confinados

a` quadridimensionalidade e necessaria.
Se o espaco-tempo em que vivemos tem
4 , entao
o tensor F e necessariamente

dimensao
uma 2-forma (isso e um dado experimental), e D F sera uma 3-forma. No lado direito, J e um vetor covariante (o
por medidas experimentais, e portanto J so sera uma
mesmo que 1-forma) tambem
uma 1-forma e
3-forma se a dimensionalidade do espaco for quatro, porque a entao
isomorfa a` uma 3-forma e o produto de Hodge fornece tal isomorfismo. Portanto, uma
que as quadricorrentes e campos sao
medidas experimentalmente, as equacao

vez

teramos como
de Yang-Mills so fazem sentido em 4 dimensoes,
caso contrario
nao
isomorfos. Um argumento Fsico a
igualar quantidades que pertencam a` espacos nao
de que somente a gravitacao
pode se propagar nas dimensoes
exfavor da afirmacao
blindaveis

tras e levar em conta o fato de que os campos de calibre sao

(para o caso

eletromagnetico,
basta considerar a gaiola de Faraday) enquando que e impossvel
blindar uma fonte de campo gravitacional.
Note que o campo de Yang-Mills e originalmente definido no espaco-tempo da

afeta a geometria
RE, ou seja, sua metrica
e a de Minkowski. Como tal, ele nao
sua metrica

do espaco-tempo, uma vez que tem

(Minkowski) previamente definida.

Como o campo de Yang-Mills possue energia (e um tensor de energia-momento nao

trivial), pode-se considerar o efeito de tal campo na RG, e assim introduzir o tensor
de Einstein, e obter assim
energia momento deste campo no lado direito da equacao

seja necessariamente plana. O efeito da

uma metrica
para o espaco-tempo que nao

plana nas equacoes

da derivada parcial
metrica
nao
de Yang-Mills e a substituicao

pela derivada covariante com respeito a` nova metrica.

O efeito de um campo de Yang-Mills na estrutura do espaco-tempo e obtido ao
considerar seu efeito na parte da fonte do campo gravitacional e substituir o tensor de
energia-momento T provindo da Lagrangeana de Yang-Mills LY M (substitui-se para

isso a metrica
de Minkowski por uma metrica
geral). Fazendo uso de 4.3, obtemos o
tensor energia-momento associado ao campo de Yang-Mills:
1
(TY M ) = T r (F F g g F F )
2
do tensor energia-momento do campo eletromagnetico.

que e uma generalizacao

de Einstein-Hilbert como a acao
de YangE interessante notar que tanto a acao
59

 primeiramente afirmacoes

Mills referem-se a` cuvatura e portanto sao

sobre a natureza da geometria. Mas enquanto Einstein-Hilbert e linear na curvatura, Yang-Mills

e quadratica.
A teoria de Kaluza-Klein parte do princpio de Einstein-Hilbert em um

multidimensional
numero
maior de dimensoes
(maior que 4), resultando que a acao

a acao
de Einstein-Hilbert usual de 4-dimensoes
e a acao
de Yang-Mills.
contem

60

Captulo 5

Exemplos de Unificacao

O que e essencial e invisvel aos olhos

Antoine de Saint-Exupery
em espacos de diEste captulo sera dedicado a` dois exemplos de unificacao
maior que 4 com base na acao
de Einstein-Hilbert que sao
as teorias de
mensao
Kaluza-Klein (descrito em [31]) e a teoria de branas-mundo (descrita em [32] ).

5.1
5.1.1

Teoria de Kaluza-Klein
Incio da Teoria de Kaluza-Klein

e o Eletromagnetismo
O proposito
da teoria em sua forma original era unir a Gravitacao
da introducao
de uma dimensao
a mais do tipo espaco na teoria de Einstein
atraves
em 5 dimensoes).

(isto e,
61

 [33] em 1914 propos

Antes mesmo do advento da Relatividade Geral, Nordstron

uma teoria na qual a gravidade e descrita por um campo escalar acoplado ao traco
extra ao espaco-tempo 4do tensor energia-momento. Ele adiciona uma dimensao
dimensional, obtendo uma variedade 5-dimensional. Introduziu um campo vetorial de
calibre de 5 componentes, identificando a quinta componente com o campo escalar

dee as 4 restantes com o potencial eletromagnetico.

Se as variaveis
dinamicas
nao
as equacoes

pendessem da quinta dimensao,

provenientes desta teoria se reduzem
` eletromagnetica

as
e gravitacional. Esta teoria surgiu antes do desenvolvimento com Newtoniana , sendo, portanto
pleto da RG, e so reproduzia os resultados da gravitacao
o surgimento da RG. Porem
a ideia
de que a quinta componente
descartada logo apos
uma constante, foi incorporada apos
os trabalhos originais
e um campo escalar, e nao
de Kaluza-Klein.
Em 1921, Theodor Kaluza [34] considera um espaco-tempo 5-dimensional, com

uma metrica
dada por:

dS 2 = AB (x , y 5 )dxA dxB
Onde

AB =

g g5
g5 g55

Uma vez que as quantidades fsicas usuais dependem apenas do espaco-tempo 4

deve depender da coordenada da quinta dimensao:

dimensional usual, a metrica

nao

AB,5 = 0
de cilindricidade de Kaluza. A quantidade g55 foi
que e conhecida como condicao
os calculos feitos por ele podem tambem

posta igual a` unidade por Kaluza, porem

ser feitos considerando esta quantidade como um campo escalar, g55 = 2. Em

seguida, Kaluza calcula os smbolos de Christoffel de primeira especie

da metrica
AB (aqui denotado por ), percebendo que existe uma semelhanca entre g5, e A,
das seguintes quantidades
pela comparacao
62

1
5 = (g5, g5, )
2
e o tensor de Maxwell
F = A, A,
esta sugerida anteriormente por Hans Thirring no paper [35] (citado tambem

ideia

por Kaluza) intitulado Uma Analogia Formal Entre As Equacoes

Fundamentais do
de Einstein da Gravidade em Primeira Aproximacao,

Eletromagnetismo e as Equacoes

bastando para isso fazer g5 proporcional ao quadritensor do potencial eletromagnetico

A , com uma constante de proporcionalidade 2 resultando

5 = 5 = (A, A, ) = F

para o tensor de Maxwell F e a seguinte

Uma consequencia
desta definicao

equacao:

F, + F, + F, = 0

que corresponde ao conjunto geometrico

das equacoes
de Maxwell na forma co
uma solucao
aproximadamente linear para as
variante. Na sequencia,
Kaluza propoe
de Einstein em 5D
equacoes

onde |h | 1

= + h

= diag(1, 1, 1, 1) e a metrica
de Minkowski. Na ultima
parte do seu paper, Kaluza

da geodesica

5-dimensional (denotando a velociescreve a equacao

em sua versao
dade quadridimensional por u ). Colocando 2c5 =

q
,
m

ele obtem

du
q
+ u u + F u + , (c5 )2 = 0
d
m
que um mundo 5-dimensional em que apenas a
Portanto, chega-se a conclusao
esta presente equivale ao mundo 4-dimensional em que estao
presentes
gravitacao
e o eletromagnetismo. Isso fica evidente ao se notar o termo
a gravitacao
da geodesica

equacao
acima, que equivale a` forca de Lorentz.
63

q
F ik ui
m

na

 de Klein [36] [37] da proposta de Kaluza, foi considerado inicialmente

Na versao

Klein modificou alguns

que a metrica
era 5-dimensional dS 2 = dx dx . Porem
aspectos que considerava incompletos na teoria precedente, mantendo entretanto a
de cilindricidade. Uma pergunta importante refere-se a` aplicacao
do princpio
condicao

de covariancia
generalizada ao espaco total. A resposta dada por Klein e negativa.
de coordenadas
Uma meneira simples de ver isso e considerar uma transformacao
0

arbitraria
x (x , y) e y (x , y), cujas novas coordenadas (x , y ) sejam funcoes
in
versveis das antigas (x , y). Uma vez que a covariancia
generalizada e um princpio

todas feitas em quatro dimensoes,

experimental e as experiencia
sao
e natural de se
0

supor que este princpio seja valido

somente em 4 dimensoes.
Isso significa que x
depende somente de x . Dito de outra maneira,

x
y 5

=0

de cilindricidade deve tambem

valer
No novo sistema de coordenadas a condicao

(A0 B 0 ,50 = 0). Em particular, considerando a componente A0 = 0 e B 0 = 50 da metrica

AB , que se transforma como 0 50 =

xA xB

x0 y 50 AB

x y 5

x0 y 50 5

y 5 y 5
,
x0 y 50 55

temos que

50

a derivada desta quantidade com respeito a` y deve ser zero. Isso ja e verdade para
necessariamente para seus coeficientes, especifios componetes 55 e 5 , mas nao
camente os coeficientes

y 5
y 50

y 5
.
x0

de cilindricidade deve-se
Para respeitar a condicao

impor que:
2y5
=0
y 50 y 50

2y5
=0
y 50 y 0
0

tem solucao
y 5 = a(x )y 5 + b(x ) ( onde a(x ) e b(x ) sao

A primeira equacao
0

arbitrarias),

funcoes
que se substituida na segunda obtem-se que a(x ) e constante

de coorde(por conveniencia
coloca-se igual a` unidade.). Portanto a transformacao

nadas mais geral para esta teoria e:

y 5 y 5 = y 5 + (x ), x x = (x )

(5.1)

Esclarecido as possveis transformacoes

de coordenadas, Klein percebeu que a

escolha da metrica
feita por Kaluza ( = g , onde g e a metrica
do espaco-tempo

quadridimensional) anda e inconsistente com a covariancia

generalizada quadridimensional. Isso se deve ao fato de que o elemento de linha restrito ao espaco-tempo
e invariante sobre as transformacoes
acima.
quadridimensional ds2 = dx dx nao
64

O ponto a se chegar agora e impor que o elemento de linha do espaco tempo 4-D
usual se torne invariante. Neste momento, o caminho trilhado por Klein fica mais evi quadridimensional,
dente ao se fazer uma analogia. Olhando apenas para a gravitacao
uma pergunta e sugerida: como construir um elemento de linha dl apenas espacial
(sem incluir a parte temporal) que seja invariante? A resposta ja e bem conhecida.
de ndices e temporariamente substituda
Para acompanhar o raciocnio a convencao
(os ndices gregos variam na parte espacial, = 1 a` 3, os ndices latinos minusculos

representam a parte temporal , i = 4 e os ndices latinos maiusculos

variam em todos

usual
os componentes A = 1..4), ate que se diga o momento de retorno a` convencao

seguida nesta dissertacao).

Para determinar o elemento dl, a distancia
espacial entre

dois pontos, supoe-se

que um sinal de luz e direcionado de um ponto Q (que possua

coordenadas x + dx ) do espaco para um ponto P infinitamente proximo

a` ele x e

depois disso volte pelo mesmo caminho. Obviamente o tempo proprio

gasto neste
processo (para o observador em Q) quando multiplicado por c fornece duas vezes a

distancia
entre estes pontos. O intervalo sera do tipo luz, e portanto [70]
0 = ds2 = gAB dxA dxB = gii dxi dxi + 2gi dxi dx + g dx dx

de segundo grau para dxi (que aqui corresponde a` dx4 ),

Resolvendo esta equacao
tem-se duas razes (+ e ):

dx4(+)

4
=
[g4 dx +
g44

dx4()

4
=
[g4 dx
g44

q
(g4 g4 g g44 )dx dx ]

(g4 g4 g g44 )dx dx ]

Como x4 e o momento em que o sinal chegou a` P, o momento em que ele deixou

desta
Q e chegou a` ele foi x4 + dx4(+) e x4 + dx4() , respectivamente. Assim, a duracao
viagem foi
dx4(+)

dx4()

2
=
g44

q
(g4 g4 g g44 )dx dx

O intervalo de tempo proprio

deste processo (para um observador em Q) e obtido
houve mudanca de posicao
espacial e que a diferenca
notando que neste ponto nao
65

de tempo medida foi dx4(+) dx4() . Assim,

ds2 = c2 d 2 = g44 (dx4(+) dx4() )2
Implica que
d =

1
g44 (dx4(+) dx4() )2
c

A distancia
invariante dl
Substituindo (dx4(+) dx4() )2 obtem-se o tempo proprio.

entre estes dois pontos e calculada multiplicando o tempo proprio

de ida e volta por 2c ,
resultando:
dl2 = [g

g4 g4
]dx dx
g44

(5.2)

Este e o elemento de linha espacial entre dois pontos infinitesimais. Ele e in de coordenadas quaisquer pois foi construido pela
variante sobre a transformacao
do tempo proprio

multiplicacao
por 2c , sendo estas duas quantidades invariantes. Outro

faz sentido
aspecto interessante e que se a metrica
espacial depender do tempo, nao

infinitesimal ,
falar de distancia
entre dois objetos separados por uma distancia
nao
tem-se que
pois a integral de dl dependera da escolha da linha mundo. Caso contrario

depende do tempo, ou seja, 4 g = 0, condicao

analoga

a metrica
espacial nao
a` de
faz sentido falar sobre distancia

cilindricidade. Somente com esta condicao

puramente
espacial entre dois pontos em RG.

dependa da
Assim, numa analise
espacial da RG, em que a metrica
espacial nao
coordenada temporal, basta trabalhar com o seguinte elemento de linha espacial:

dl2 = dx dx , onde = g

g4 g4
g44

e caracteriza a metrica
invariante 3-D espacial.
de ndices adotada nesta dissertacao.
Klein, ao conAgora volta-se a convencao

struir sua teoria, tinha em mente justamente a seguinte analogia (em que a dimensao

extra faz o papel do tempo na analise

anterior) : que a metrica
do espaco-tempo usual
e que o intervalo do espaco-tempo 4-D usual
seja independente da quinta dimensao
de coordenadas (5.1). Pela analogia exposta, a
seja um invariante sob transformacao

melhor forma de realizar isto e relacionar a metrica

espaco-temporal 4-D g com a do
espaco total 5-D da seguinte forma
66

g = [

5 5
]
55

definidas
Certamente g dx dx assim definido e invariante sobre as transformacoes
pode-se tambem
verificar esta afirmacao
aplicando a transformacao

por Klein, porem

de coordenadas proposta por Klein diretamente no elemento de linha acima. O fato de
de cilindricidade indica que faz sentido tambem
falar sobre intervalos
valer a condicao

do espaco-tempo 4-D usual, salvando assim o pricpio da covariancia

generalizada
para os observadores restritos a` esta variedade. A componente quadriminesional da

acima.
metrica
5-D e obtida isolando na equacao
= g +

5 5
55

A escolha feita for Klein neste ponto e semelhante a` feita por Kaluza: 5 = Ai (x )
e 55 = (esta ultima,
constante) (para simplificar as contas, sera feito = 1). Isto

justifica a metrica
escolhida por Klein.

A metrica
escolhida por Klein ficou, portanto

AB =

g + 2 A A A
A

Os calculos
envolvidos para mostrar que tal metrica
e consequencia
da imposicao

geral (5.1)
de invariancia
do elemento de linha quadridimensional pela transformacao
foi explicitado por Klein no seu trabalho.
nao
Para descrever o movimento de uma partcula neste campo, considera-se sua lads 2
grangeana, L = 12 m( d
) , onde ds e o elemento de linha

ds2 = (g + 2 A A )dx dx + 2A dx dx5 + (dx5 )2

O momento e calculado de forma usual:
pA =

L
= mAB (dxB /d )
(dxA /d )
67

A quinta componete fica (denotando dxA /d por z A )

p5 = mA z + mz 5

e a -esima
componente de momento (quadridimensional)

p = mg z + m 2 A A z + mA z 5 = mz + A p5
e aquela de uma partcula carregada se movimentando num
Esta ultima
expressao

campo eletromagnetico,
desde que se tenha p5 = q/. A quantidade q e interpretada

como a carga da partcula. Ao atribuir propriedade quanticas

a` teoria, Klein usa a
de de Broglie, que relaciona o comprimento de onda 5 (da quinta dimensao,

relacao
no caso presente) da partcula com o momento (aqui sera p5 ) p5 = 2~/5 . Para que
este comprimento seja finito, e natural de se supor que este seja uma crculo (figura
5.1, onde V4 representa o espaco-tempo quadridimensional usual e S o crculo que
extra). Einstein foi o apresentador do
representa o espaco compacto da dimensao
trabalho de Kaluza, chegando a contribuir para a teoria. A figura abaixo e conhecida
como cilindro de Einstein.

Figura 5.1: Cilindro de Einstein

O crculo tem um permetro dado por 2r5 = N 5 (onde N e um inteiro) uma vez

que apenas um numero

inteiro de comprimentos de onda pode ocupa-lo,
assim a

da carga eletrica

quantizacao
e explicada, pois:
q = N ~/r5
68

 de coordenadas da quinta
Logo em seguida, Klein nota que uma transformacao
respeitando (x , y 5 ) (x , y 5 + (x )) resulta:
dimensao

0 50

xA xB
y 5 y 5
x y 5
=
AB =
55 + 0 50 5
x0 y 50
x0 y 50
x y

Substituindo os valores correspondentes em B5 :

A0 = A 1 f
do potencial de calibre do campo eletromagnetico.

Que e o tipo de transformacao

Isto indica que na teoria de Klein a invariancia

de calibre esta diretamente relacionada
de coordenadas na quinta dimensao,
atribuindo uma justificacao

com a transformacao

geometrica
a` esta propriedade de invariancia.
ao artigo de Kaluza e o fato de Klein ter calculado a
Outra diferenca em relacao
S de Einstein-Hilbert da teoria, extendida a` 5 dimensoes:

acao
S=

c3

e
16 G

d5 x R

onde e o determinande da metrica

5-D, que coincide com o da metrica
4-D do
e e um parametro

espaco-tempo, R e o escalar de curvatura do espaco total e G

livre, equivalene a` constante Newtoniana, so que agora definida para o espaco total.

Como R e so dependem das coordenadas 4-dimensionais (uma vez que a condicao

de cilindricidade e mantida), pode-se separar o integrando (o que e garantido pela
de que a topologia da variedade e um produto da variedade quadridimansuposicao
extra):
sional com a dimensao
S=

c3

e
16 G

dx

d4 x R

extra seja periodica

Considerando que a dimensao

e possua um raio constante
R 5
pode ser decomposta na soma da acao
do
r5 , tem-se que dx = 2r5 . A acao
[38],
eletromagnetismo e da gravitacao
1
R = R 2 F F
4
69

 seguinte para o caso nao

, como demonstrado no artigo citado e na seccao
abelianano, no qual este e um caso particular. Assim,
c3
S = Sgr + Sel =
16G

1
d x gR
40 c
4

d4 x gF F

e e sejam escolhidos como G

e = 2r5 G e =

desde que os parametros

livres G
(16G/0 c4 )1/2 .
a versao
de Kaluza e versao

Percebe-se, portanto, que as duas teorias, isto e,

de Klein, apesar de parecidas diferem na parte geometrica

de suas formulacoes.
De
sem fazer nenhuma mudanca na metrica

fato, Kaluza adicionou a quinta dimensao

adimitindo que o elemento de linha das quatro dimensoes

quadridimensional (nao
de coordenadas). Por outro lado, na modificacao
de
seja invariante por transformacao

(invariancia

Klein a metrica
e diferente, porque ha aquela suposicao
do elemento de
linha).
A. Einstein e P. Bergmann [39] mostraram que a teoria de Kaluza-Klein (nome dado
consistentes, porem
com a condicao
de cilindricidade a
a` teoria posteriormente) sao
de uma dimensao
a mais torna-se inocua,

acrescenta
introducao
pois a teoria nao

nenhum fato observavel

novo quando comparada a` teoria de Einstein-Maxwell usual

prevalece na generalizacao
nao-abeliana

em 4 dimensoes.
Veremos que isso nao
da

e comprovacao

teoria de Kaluza-Klein, na qual fenomenos

passveis de observacao
experimental se mostram incompatveis.

5.1.2

Abeliana
Teoria de Kaluza-Klein Nao

da Teoria de Kaluza-Klein para incluir os outros campos de Yang-Mills

A generalizacao
do eletromagnetico

nao
abeliana) surgiu numa lista
alem
(chamada de generalizacao

de exerccios escrita por B.S. DeWitt em 1965 no curso denominado Teoria Dinamica
aos
de Grupos e Campos, lecionado em Les Houches [40]. No problema 77 ele propos

dos campos de Yang-Mills e gravitacional

alunos que a teoria dinamica
de combinacao
de uma interpretacao
puramente geometrica,

poderia ser obtida atraves

possivelmente
pseudo-Riemanniano VD . Uma solucao
do probem um espaco de D=n+4 dimensoes
lema proposto por DeWitt foi fornecida por Kerner [41], que calculou o escalar de

de Einsteincurvatura associada a` metrica

do espaco total, mostrando que a acao
70

 na acao
gravitacional adicionada a` acao
do
Hilbert para o espaco total se decompoe

campo de Yang-Mills. Cho fornece um sistema de coordenadas no qual os calculos

se
simplificam enormemente [42]. Vamos aqui resumir e simplficar estes resultados.
O ponto de patida adotado por estes dois autores e feito considenrando que o
grupo de calibre G atua no espaco total VD , no qual cada ponto do espaco-tempo

do grupo
usual e visto como uma classe de equivalencia,
dada pela orbita
da acao

(ou seja V4 = VD /G, ou localmente VD = V4 G). A orbita

e isomorfa ao grupo e e
chamada de fibra tpica do fibrado. Em linguagem de geometria diferencial moderna
isso significa que o espaco total e um fibrado principal com o espaco-tempo como
base e o grupo de calibre como o grupo de estrutura1 . A seguir, escolhe-se uma base

de vetores tangentes ao espaco total (~eA ), onde os primeiros quatro vetores (~e ) sao
os geradores da algebra

tangentes ao espaco-tempo e os seguintes (~ei ) sao

de Lie na
induzida pela acao
do grupo no espaco total. Estes geradores devem
representacao
as constantes de
de comutacao
[~ei , ~ej ] = ckij ~ek , onde ckij sao
satisfazer uma relacao

estrutura da algebra.
Uma escolha para a metrica
deste espaco e a forma de Cartann
Kiling gij = cm
in cjm , e se esta for inversvel, isto equivale a escolha de um grupo G

chamado de semi-simples.
Localmente o espaco total pode ser visto como um produto cartesiano do espacotempo (chamado de espaco horizontal ) pelo grupo de calibre (chamado de espaco
vertical), assim um sistema de coordenadas para ambos ((x ) e (y i ), respectivamente)
induz um sistema de coordendas no espaco total (denotada por(x , y i ), ou seja, o
produto cartesiano das duas variedades precedentes). Um requerimento adicional e

que a metrica
AB do espaco total faca os subespacos vertical e horizontal ortogonais

entre s, afim de compatibilizar as respectivas metricas.

Assim, temos:

AB ~eA
eA
~
= g

(5.3)

AB ~eA
eA
~
i = 0

(5.4)

AB ~eA
eA
i ~
j = gij

(5.5)

onde denotamos por ~eA e ~eA

i as componentes das bases de coordenadas das re1

G ser o grupo de estrutura significa dizer que ele atua transitivamente na fibra (pode conectar
deixa nenhum ponto fixo. Assim a fibra tpica e isomorfa ao grupo. Este
quaisquer dois pontos) e nao
fibrado principal pode ser escrito localmente como o produto cartesiano do espaco-tempo pelo grupo

71


spectivas variedades. Assim como em geometria Riemanniana, em que uma conexao
entre espacos tangentes infinitesimalmente proximos,

fornece um regra de associacao

fornece uma maneira de relacionar dois pontos de fino fibrado principal, a conexao

bras infinitesimalmente proximas.

Isto seria especificado por um vetor tangente ao
horizontal. A escolha de uma conexao
para o fibrado
fibrado que aponte na direcao
vertical (nao
e gerado pelos ~ei ).
principal equivale portanto a` escolha de um vetor nao
vertical e o vetor ~e , que em geral nao
e , mas pode ter componentes
Este vetor nao

nas direcoes
de ~ei . Se o coeficientes de ~e nas direcoes
~ei forem denotados pelas
Ai teremos (o sinal negativo e convencional):
funcoes

~e = Ai~ei

(5.6)

k
Calculando o comutador [~e , ~e ] resulta [~e , ~e ] = F
~ek , onde

k
F
= Ak, Ak, + ckij Ai Aj

e pode claramente ser

Como se percebe por (5.6), Ai faz o papel de conexao
k
interpretada como potencial de Yang-Mills, cuja curvatura F
faz o papel de campo

de Yang-Mills.

Obtem-se a metrica
para o espaco total escrevendo-a numa base, como por exemplo, a base do produto direto local ( , ~ei ). Para , basta considerar =
AB ( )A ( )B , que e obtido ao se substituir 5.6 em 5.3, o resultado e = g +

gij Ai Aj . De forma analoga,

substituindo 5.6 em 5.4 obtem-se i = Aj gij .

Portanto, a metrica
pode ser escrita da seguinte maneira:

AB =

g +

gij Ai Aj

gij Ai

gij Aj
gij

(5.7)

que e uma metrica

muito parecida com a de Kaluza-Klein orginal de 5 dimensoes,
agora generalizada pela presenca da matriz Ai , que fara o papel de campo de
porem
Yang-Mills.
Vamos agora calcular o escalar de curvatura do espaco total da teoria de Kaluza denoKlein. O tensor de Riemann e o smbolo de Christoffel para o espaco VD serao
A

tados por RA
o-tempo V4 serao
BCD e BC , respectivamente, enquanto que para o espac

72

denotados da forma usual: e R .

e uma metrica

A primeira coisa a se notar e que a metrica

(5.10) nao
provinda de
um sistema de coordenadas. Isso se da porque os vetores tangentes provindos de
derivadas parciais nadirecao

um sistema de coordenadas comutam (uma vez que sao

coordenada considerada), e no caso aqui considerado os
de crescimento da funcao
extra ei , nao
comutam (tem
ckij como covetores da base correspondentes a` dimensao
(as constantes de estrutura), que geralmente sao
nao-nulos).

eficientes de comutacao
para o smbolo de Christoffel e para o tensor de Riemann
Neste caso, a expressao
e um pouco mais complicada :
1
1 A
E
ABC = AD (CD,B + BD,C BC,D cE
BD CE cCD BE ) + cBC
2
2

D
D
D
D
E
D
E
RDABC = cE
AB EC BC,A + AC,B AE BC + BC AC

e diferente de zero nas componentes extra-dimensionais.

onde o coeficiente cC
AB so

AB BC = CA :
A metrica
inversa e dada pela condicao

AB =

Ai

g Aj gij + g Ai Aj

expressos
Depois de calculados, os smbolos de Christoffel sao
1
ijk = cijk
2
jk = 0
1
l
)
ik = (cijk Aj + gkl g Ai F
2
1
l
k = gkl g F
2
1
1
j
j
+ Ak F
) Ai
i = (Ai, + Ai, ) + gik g Ai (Ak F
2
2
1
k
k
= + gik g (Ai F
+ Ai F
)
2
e o tensor de Ricci
73

1
1
j
l
F
Rik = gik + gij gkl g g F
4
4
1
1
1
j
l
l
Rk = gkl Al + gij gkl g g Ai F
F
+ gkl g D F
4
4
2
1
1
j
l
F
R = R + gik Ai Ak + gij gkl g g Ai Ak F
4
4
1
1
i
k
k
k
gik g F
F
+ gik g (Ai D F
+ Ai D F
)
2
2
onde D e a derivada covariante e de calibre D = Ai ~ei . Segue que

k
j
k
k
k
F
+ ckij Ai F
F
= F
D F

O escalar de curvatura resulta em

1
1
i
k
R = R + g ij gij gik g g F
F
4
4

(5.8)

O primeiro termo e o escalar de curvatura do espaco-tempo quadridimensional,

o segundo o escalar de curvaura do grupo de calibre G e o terceiro e a densidade
Lagrangeana associado ao campo de Yang-Mills.

Como foi comentado, os calculos

precedentes se mostram muito trabalhosos com
esta escolha de base ( , ~ei ). Existe uma outra escolha de base em que eles se

simplificam muito. Esta base e (~e , ~e ) ( ~e e definido em (5.6)), e a metrica

e sua
inversa fica

AB =

g
0

0
gij

AB =

ij

ortogonais
Nessa base os vetores tangentes associados ao espaco-tempo ~e sao
extra ~ei .
ao vetores associados a` dimensao

As componentes dos smbolos de Christoffel da metrica

AB nesta base ortogonal
fica
1
kij = ckij
2
ij = 0
74

ik = 0
1
l
k = g gkl F
2
1 i
i = F
2
=
Calculando o tensor de Ricci obtem-se
1
1
j
l
Rik = gik + gij gkl g g F
F
4
4
1
l
Rk = gkl g D F
2
1
i
k
R = R gik g F
F
2
E o escalar de curvatura resulta exatamente como em (5.8):
1
1
i
k
R = R + g ij gij gik g g F
F
4
4
depende da escolha de uma
o que e esperado, ja que uma quantidade escalar nao
base.
Portanto, a Lagrangeana L =

L=

R =

R, fica2 :

1
j
i
gR + gg g gij F
F
+ g g ij gij
4

(5.9)

usual de 4 dimensoes

Que e a soma da lagrangeana da gravitacao

mais a Lagrangeana do campo de Yang-Mills, e o terceiro termo corresponde a` uma constante

formados pelas constantes de estrutura do grupo).

cosmologica
(pois sao
deste resultado nao
se usou a compacticidade das diNota-se que na derivacao
extras como hipotese.

nao
abeliana, esta ideia

mensoes
No contexto da generalizacao
foi implementada por Cremmer e Scherk [43], no qual o espaco total e visto como um
produto do espaco-tempo por um esfera bidimensional com raio da ordem do raio

de Planck. A esfera e considerada como um espaco homegeneo,

no qual um grupo
observabilidade direta das
G atua. Explica-se esta escolha tendo em conta a nao
2

O determinante da metrica
AB e o mesmo determinante da metrica
g pois a matriz deste e obtida
de multiplicacao
de uma linha por constante e posterior
da matriz daquele (5.10) por repetidas operacos
nao
mudam o determinante.
soma em outra linha, e estas operacoes

75

dimensoes
extras. Uma outra exigencia
feita por eles e que a relatividade especial

(espaco-tempo quadridimensional cuja metrica

e a de Minkowski) deve ser recuper

ada no limite plano (na ausencia

de materia)
e estavel
(perturbatiamente) da RG. Isto
gera a imagem em que no nvel fundamental da teoria, o espaco total e um produto

topologico
do espaco de Minkowski por um espaco compacto (conforme ilustrado na
figura 5.2)

Figura 5.2: Espaco total como o produto topologico

Uma vez que a Lagrangeana do espaco total e a de Einstein-Hilbert, pode-se fazer

desta com respeito a` metrica

a variacao
do espaco total. No vacuo
(na ausencia
de

resulmateria,
ou quando o tensor energia-momento e trivialmente nulo), a equacao
de Einstein em N+4 dimensoes:

tante reproduz as equacoes

1
RAB RAB = 0 RAB = 0
2
pode acontecer se o espaco interno for curvo,
Assim, Rij = 0 , mas isso nao

como e o caso dos espacos homogeneos

compactos, como a esfera bidimensional
considerada (isto e provado por [44]). Este problema ocorre mesmo colocando uma

constante cosmologica
no espaco maior.
para este problema foi buscada por Cremmer e Scherk, e consiste em
Uma solucao

fazer as componentes da metrica

AB dependerem de todas as coordenadas, inclusive
extras (em particular a metrica

extras gij , que ate entao

das dimensoes
das dimensoes

era visto como constante, passa a depender das coordenadas). Com isso a metrica
derivada por Cho e Kerner passa a ser generalizada e tomada como um anzatz, pois
de (x , xi ). Luciani [45]
as quantidades g , Aij e gij dependem a partir de entao

extendeu o trabalho de Cremmer e Sherk para o caso em que o espaco das dimensoes
necesariamente esferico)

extras e compacto (nao

e homogeneo.
O anzatz da metrica
torna-se:
entao
76


AB =

g + gij Ai Aj gij Aj
gij Ai

gij

(5.10)

e as quantidades g , gij e Ai dependem das coordenadas {x , y i }, ou seja, pas extras (algo contrario
a` cilindricidade
sam a depeder das coordenadas das dimensoes
de Kaluza).
torna-se necessario

da acao
de
Com esta alteracao,
calcular a decomposicao
Einstein-Hilbert do espaco total VD na parte gravitacional (4-D) adicionada ao termo de
num espaco homogeneo

Yang-Mills. Para isso, usa-se o fato de que qualquer funcao

compacto B (geralmente descrito como o espaco quociente3 B = G/H de um grupo
harmonicas.

G por um de seus subgrupos normais H) pode ser escrita em expansoes

O espaco total passa a ser visto como VD = V4 B.

para uma funcao

definida no
A serie
de Fourier e um exemplo de tal expansao

das funcoes

crculo e os harmonicos
esfericos
formam uma base para a expansao
definidas na esfera. Para exemplificar, vamos considerar o caso em que existe so extra, do tipo circular, como ja foi descrito por Klein, porem
ele
mente uma dimensao
considerou a dependencia

nao
da metrica
do espaco maior nas coordenadas da di extra (em particular, Klein considerou g55 constante) . Jordan apontou para as
mensao

da Lagrangeana de
contradicoes
que esta escolha levou [46], entre elas a anulacao
das coordenadas, faz-se
Yang-Mills F F = 0. Mas no caso em que g55 seja funcao
de Fourrier na coordenada periodica

a expansao
y i . No geral, para qualquer funcao
definida no espaco 5-dimensional:

(x , y) =

+
X

n (x )einy/l

n=

onde l e o permetro do crculo.

para cada uma das funcoes
g , gij e Ai . Considere
Pode-se usar esta expressao
de Klein-Gordon4 para o espaco maior sem massa associada
em seguida a equacao
3

A esfera e um exemplo de tal espaco. Por exemplo, a esfera bidimensional e o quociente do grupo
SO(3) pelo subgrupo normal SO(2)
4
de Klein-Gordon e obtida como uma generalizacao
da equacao
de Schrodinger, uma vez
A equacao
de conservacao
de energia nao
relativstica a equacao
de Klein-Gordon e
que esta e obtida da equacao
de conservacao
de energia relativistica E 2 = p~2 +m2 c4 . Quando esta ultima

obtida da equacao
equacao

m2 c2
1 2
2
do rodape 10 da pagina

e quantizada, pela mesma perscricao

52,obtem-se c2 t2 + ~2 = 0.
2 2

pode ser
De forma covariante, ( + m~2c ) = 0, onde e a metrica
de Minkowski. A equacao

considerada no contexto de espacos curvos, basando pora isso substituir a metrica

plana de Minkowski

77

ao espaco total :

(g + 52 )(x , y) = 0
obtemos para cada termo de ordem n as equacoes:

Entao

(g +

n2 n
) = 0
l2

Observamos que cada componente n adquire uma massa mn =

n
l

no espaco-

possuir massa quando visto no espaco maior).

tempo quadridimensional (apesar de nao

Uma vez que o diametro

l do espaco compacto e muito pequeno, esta massa sera
(modo zero) n = 0 a massa
muito grande. Entretanto, no modo principal da expansao

dependem das dimensoes

e nula. Como no modo zero as funcoes

nao
extras, a
da acao
e recuperada em primeira aproximacao,
pois somente com
decomposicao

dependem das dimensoes

a hipotese
de que as quantidades nao
extras e que se

basta considerar
chega a` tal conclusao.
Para incluir as outras ordens da expansao
de ordem superior no calculo

perturbacoes
da Lagrangeana.
extras sao
formadas por
Salam [47] considera o caso geral em que as dimensoes

de orespacos homogeneos
(B = G/H) compactos para o calculo
da contribuicao
e mostra que estas correspondem a` campos com
dens mais elevadas da expansao

uma massa proporcional ao inverso do diametro

do espaco compacto, portanto muito
desaparecem, dado que o raio do espaco compacto e muito pegrandes e que nao

queno. O conjunto das massas geradas pelas expansoes,

e das partculas associadas, ficou conhecido como torre de Kaluza-Klein.
que se faz e que, somente os campos de interacao
fundamental
Uma observacao
descritos de forma unificada na teoria de Kaluza-Klein (que recebe a qualidade
sao
das interacoes
fundamentais). Os termos na Lagrangeana ende teoria de unificacao
de materia

sao
fornecidos
volvendo a distribuicao
(em particular as suas massas) nao

por esta teoria, e portanto devem ser inseridos como hipoteses

adicionais (como por
` partculas).
exemplo o campo de Higgs, que da massa as

Muitas tentativas foram propostas para explicar porque algumas dimensoes

se

c = 1 e ~ = 1 por simplicidade. Percebe-se

por uma metrica
g qualquer. No texto fez-se a simplificacao
de
que o operador de Laplace 2 = g quando aplicado num campo que satisfaca a equacao
como auto-valor uma quantidade proporcional ao quadrado da massa
Klein-Gordom tem

78


compactificaram e outras permaneceram nao-compactas.
Uma resposta foi sugerida
de Kasner das equacoes
de Einstein em 5-dimensoes
no vacuo

pela solucao
(ver, por
exemplo em [48]) :

ds2 = dt2 +

t
t0
(dx2 + dy 2 + dz 2 ) + d 2
t0
t

dimensoes

que descreve um universo na qual tres

expandem enquando um en cosmologica

do
colhe no tempo, propondo assim uma expansao
e uma contracao

espaco interno. Mas e necessario

explicar o mecanismo fsico pela qual a dimensao
de encolher. Uma explicacao
possvel para o enextra encolhe e eventualmente para

colhimento das dimensoes

extras e atribuda ao efeito Casimir5 , entendido como um

efeito quantico
do vacuo
gravitacional, o qual teria ocorrido no regime de Planck (este
seguinte). A compactificacao
da dimensao
extra seria
regime sera discutido na seccao

portanto um efeito topologico

(classico)
resultante daquele regime quantico

Finalmente, Witten mostra que, usando argumentos topologicos

e adimitindo ser o
extras compacto, o operador de Dirac6 em qualquer numero
espaco das dimensoes
de

nao
pode admitir um espectro quiral [49]. Assim como a equacao
de Kleindimensoes
de Dirac extendida
Gordon considerada anteriormente, pode-se considerar a equacao
` dimensoes
extras7 . A equacao
de Dirac descreve corretamente as propriedades de
as

patculas que tem

spin semi-inteiro. A quiralidade
spin das partculas. Os fermions
sao
do movimento
pode ser pensada como o sentido do spin (ou helicidade) na direcao
a` um observador. Se o fermion

em relacao
previsto pela teoria de Kaluza-Klein nao

isto significa que ele nao

apresenta quiralidade em decorrencia

da compactificacao,
com a experiencia,

apresenta spin, e isso esta em contradicao

conclui Witten.
Este resultado representou um golpe fatal para a teoria, apesar das boas perspec o interesse na teoria foi
tivas criadas por ela para a unidade da Fsica. Desde entao
diminuindo (chega a exaurir por volta de 1984), apesar de algumas tentativas de superar tal problema. Entre elas, pode-se destacar a tentativa feita por Wetterich [50],
5

quanticas,

Quando se considera flutuacoes

o vacuo
passa a ter estrutura e o efeito Casimir explica

porque duas placas condutoras proximas

e paralelas se atraem mesmo estando neutras e no vacuo
6
O operador de Dirac de um espaco e um operador cujo quadrado fornece o operador de Laplace,
e foi obtido por Dirac primeiramente para um espaco de Minkowski como uma tentativa te tornar a
de Klein-Gordon uma equacao
diferencial de primeira ordem nas derivadas, e resultou numa
equacao
completa do eletron

descricao
(inclusive sua antipartcula)
7
matrizes chamadas de matrizes de Dirac e satisfazem
Que e i~M A A + mc, onde M A sao
A
M M B + M B M A = 2 AB

79

 extras nao
for compacto o teono qual argumenta-se que se o espaco das dimensoes
mostrado um exemplo em que o espaco extra nao
se aplica. E

rema de Witten nao

tem um volume finito (chamado de onion). Outro exemplo foi
e compacto, porem

de uma geometria chamada de

mostrado por Weinberg , no qual propoe-se
a adocao
da geodesica

quase-Riemanniana, no qual a equacao

e modificada [51]. Segundo

Weinberg, com isso os fermions

da teoria podem ser quirais. Entretanto, por volta
de 1984, nenhuma dessas medidas salvadoras pareceu convincente e a teoria de
Kaluza-Klein foi abandonada em favor da teoria das cordas.

5.2

A Hierarquia Gravitacional

da gravitacao
com as
Um grande empecilho para se testar uma teoria de unificacao

demais interacoes
e o problema da hierarquia do campo gravitacional. A escala de
energia da teoria eletrofraca e da ordem de 103 Gev, enquanto que a escala de energia
ha nenhuma maneira conhecida para a
para a Gravidade e dada por 1019 Gev. Nao
de um aparato que alcance tal nvel de energia para que se possa testar
construcao
Para piorar, entre estes dois limites de energia nao
existe
a efetividade da unificacao.
fundamental, sendo chamado as
` vezes de Grande Deserto.
nenhuma outra interacao

Vale resaltar que este ultimo

nvel de energia surgiu de uma hipotese
sugerida por

Planck [52], que definiu um sistema de unidades na qua todas as constantes fossem
medidas em centmetros. Para isso postulou que a energia potencial (E) de duas
de onda com comprimento
partculas de massa m fosse igual a` energia de uma funcao

de onda , sendo este comprimento de onda a distancia

entre tais partculas:

E=
De onde ele extraiu MM P =

~c
G

Gm2
~c
=

que e conhecida como a massa de Planck da

teoria quadridimensional. Pode-se notar que ela e inversamente proporcional a` raiz

da constante gravitacional Newtoniana. Percebendo que a energia na RE de uma
e dada por E = mc2 , pode-se isolar na equacao
acima e obter
partcula tambem

o comprimento de onda quantico

=

~G
c3

1033 cm (chamado de comprimento de

Planck), bem como a energia de Planck E 1019 GeV . E difcil explicar a realidade

fsica do regime de Planck, exceto por uma analogia do ponto trplice de uma transicao
80


em que
de fase em fsica de estado solido
[53]. Neste ponto temos uma configuracao

o elemento esta nos 3 estados ao mesmo tempo (solido,

lquido e gasoso). Analoga Newtonimente, a particula em regime de Planck deve satisfazer as leis de gravitacao

ana, de dinamica
relativstica e de regime quantico
somente neste ponto trplice.

conseguem atingir um nvel de energia

Como os laboratorios
de hoje em dia nao
de existencia

da ordem de 1019 GeV (e nem existem condicoes

para tal laboratorio
-o

LHC deve chegar a` 14 103 GeV em breve), fica impossvel, ao menos com a descricao
fornecida pela Relatividade Geral, produzir um experimento que comprove diretamente
esta em pe de igualdade com as outras
os efeitos de uma fsica em que a gravitacao

de varios

forcas . Tal experimento e necessario

para a comprovacao
modelos de
A hipotese

Newtoniana deveria
unificacao.
feitas por Planck era de que a gravitacao
valer nesta ordem de comprimento de Plank. Isto esta longe de ser comprovado, o

maximo
que se chegou foi de 104 cm [54].

Uma tentativa seria

de se entender a origem do regime de Planck apareceu com
um artigo de Arkani-Hamed et al [57] no contexto de teoria de branas-mundo8 . Assu por nao
ser uma teoria de calibre, possa se propagar
mindo que somente a gravitacao,

nas dimensoes
extras, foi feito uma analogia com o potencial Newtoniano quadridi pode se propagar nas dimensoes
extras, entao
a conmensional. Mas se a gravitacao
stante gravitacional deve ser diferente da constante gravitacional Newtoniana. Uma
nova constante de proporcionalidade G foi definida tal que a energia potencial de

duas massas m resulte na lei de Newton com maior numero

de dimensoes:

E=

G m2
rn+1

Repetindo o procedimento anterior, como

temos que r =

~
.
mc

~c
r

= mc2 , isolando o comprimento r,

e a expressao
E = mc2 na
Substituindo esta ultima
expressao

do potencial Newtoniano generalizado acima, isolando o numero

equacao
G resulta

G =

~n+1
.
cn1 mn+2

anterior se
Denotando m por Mpl (4+n) , e notando que a expressao

reduz a` ja conhecida no caso n = 0, obtemos o potencial Newtoniano generalizado

para um espaco de n+4 dimensoes:

8

surgiu como uma proposta unificadora, mas

Vale esclarecer que a teoria de branas-mundo nao

em desenvolvimentos mais recentes que usam a correspondencia

ADS/CFT [55], procura estabelecer
da gravitacao
induzida pela quantizacao
do campode calibre (revivendo a ideia
de
uma quantizacao

Ashtekar [56]). Assim, no nvel quantico

desta teoria obteramos uma unificacao

81

V (r)

m2

Mpln+2
(4+n)

rn+1

O fato de so observarmos o decaimento Newtoniano

1
r

(para n = 0) resulta da

de que as dimensoes
extras sao
espaciais e compactas (diferente da teoria
suposicao
de Kaluza-Klein, podem ser toros planos) de raio R maior que o raio de Plank. As
sim, se duas massas estiverem a` uma distancia
r << R, o potencial sera o escrito
conseguirao
penetrar
acima, mas caso r >> R as linhas de fluxo gravitacional nao
extras e obtem-se

nas dimensoes

V (r)

m2
n
Mpln+2
(4+n) R

1
r

Uma forma analoga

para explicar o argumento acima e notar que pela periodi

cidade das dimensoes

extras9 tem-se
que matematicamente o problema e identico
ao de uma massa na origem de um espaco euclideano multidimensional, junto com

a presenca de varias
outras massas dispostas nos pontos de coordenadas 0,0 + R,
extras onde k e qualquer numero
0 + 2R, 0 + kR das dimensoes
inteiro, ou seja, uma

extras a` uma distancia

infinidade de massas nas dimensoes

R uma das outras. Muito

a situacao

proximo
a` origem, so a presenca da primeira massa conta, e teremos entao
de massa nao
e mais
acima. Longe da origem pode-se considerar que a distribuicao

discreta, mas sim contnua, analogamente

ao que se faz na eletrostatica.
Teramos
que num espaco euclideano de 3 + n dimensoes
produz
uma linha de n dimensoes

um potencial do tipo newtoniano classico.

(5.2) acima a massa de Planck Mpl se relacionaria
Desta maneira, pela equacao
com a nova massa multidimensional da seguinte forma: (Mpl )2 (Mpl (4+n) )2+n Rn .
Assumindo que a massa de Planck multidimensional seja da escala de energia da
17
eletrofraca, Mef ' 1T ev, ou em comprimento (m1
interacao
cm) resulta (para
ef 10

n 6= 0)
32

R 10 n 17 cm
Newtoniana
o caso n=1 resulta R 1015 cm, o que implicaria desvio da gravitacao
9

Foram consideradas do tipo toroidais planas, ou seja, um espaco euclideano na qual os pontos
identificados
(x, y, .., z) e (x + R, y + R, ..z + R) sao

82

 da distancia

alem
do sistema solar, o que e obviamente inobservavel.
Para todos
na gravitacao
so se torna verificavel

outros n 2 a modificacao
a` distancias
menores
do que as ja verificadas por experimentos.
mais importante que pode-se tirar com este exemplo de teoria que usa
A licao
e que a constante gravitacional G que aparece na Relao formalismo de imersao
precisa ser a constante Newtoniana usual se existirem campos
tividade Geral, nao

gravitacionais se propagando nas dimensoes

extras, podendo ser usada outra con
stante G , cuja energia correspondente seja da mesma ordem da energia da interacao
eletrofraca. O trabalho de Arkani-Hamed (ADD)[57] abriu espaco para outros dois
extra-dimensional conhecido como modelos de Randall-Sundrum
modelos de gravitacao
inspiacao

[58][59]. Ambos os modelos resolvem o problema da hierarquia, mas tem

na teoria de cordas (o que justifica o uso da simetria de espelho Z2 ), sendo que em
extras nao
e compacta. Pode-se resumir os modelos de branasum deles a dimensao
das seguintes caractersticas:
mundo usual atraves

confinadas a` quadridimensionalidade, e a var(1) As interacoes

de calibre estao
maior .
iedade em que vivemos esta imersa em uma variedade de dimensao
e comparavel

` outras energias das interacos

(2) A escala de energia da gravitacao

as
se propaga nas dimensoes
extras.
de calibre, uma vez que somente a gravitacao
da teoria e dada pela acao
de Einstein-Hilbert, somada a` acao
da tensao

(3) A acao
na brana
uma simetria Z2 , o
(4) Todas as quantidades definidas no espaco ambiente tem
que significa que o valor destas quantidades num ponto P + y e igual ao valor desta
quantidade no ponto P y, onde P e um ponto na brana (como e chamado o espaco extra. Assim, o espaco-tempo faz
tempo imerso) e y e uma coordenada na dimensao

o papel de um espelho ou contorno fixo separando dois lados do espaco de imersao

83

Captulo 6
Geometrica

Unificacao

e digna de ser vivida

Uma vida sem busca nao

Socrates
de variedades RieDe acordo com Neeman [60], ate 1965 o estudo de imersoes
unicamente matematica

da ammannianas tinha motivacao

(a saber, a explicacao

biguidade do tensor de Riemann segundo Schlaefli). Por exemplo, usando imersoes

de Schwarschild geodesicamente

C. Fronsdal [61] chega a` uma solucao

completa.
trata-se apenas de um artifcio matematico,

Porem
uma vez que o mesmo resultado
[62]. O uso da imersao
em RG ganhou impulso
pode ser obtido sem usar imersao
realizado por Neeman, no qual ele propoe
que o grupo de isometrias
com o seminario
isometricas

simetria de calibre tem origem nas imersoes

do espaco-tempo1 . Com isso,
1

de Neeman nao
avancou muito, pois conhecia-se muito
Mas na epoca
em que foi proposta, a ideia
nucleares
pouco sobre as interacoes

84

tanto a simetria do espaco-tempo quanto a simetria interna passam a ser obtidas de

de coordenadas do espaco de imersao,
abrindo espaco para uma
uma transformacao
verdadeiramente geometrica

unificacao
das interacoes.

obtidos apeDe fato, todos os ingredientes basicos

da teoria de Kaluza-Klein sao

ou seja, que o espaco-tempo usual quadridimensional

nas com a hipotese
de imersao,
superior a`
V4 e imerso isometricamente em uma variedade VD , que possui dimensao
5 (para que a terceira forma exista e possa ser interpretada como potencial de cali
bre) [63]. Desta maneira, a forma da metrica
obtida e um pouco mais geral que a de

somente a` conjecKaluza-Klein classica e prove um forte embasamento teorico

nao
para a de Salam, sobre a existencia

tura de Neeman, mas tambem

de um campo de
gravitacionais e de calibre. Aqui mostraremos que
spin 2 que intermedia as interacoes
da imersao.
A terceira forma fundamental faz
ambas as propostas se realizam atravez

o papel de potencial de calibre e a segunda forma o de campo intermediario

entre a
e a interacao
de calibre. Este e a tese principal desta dissertacao.

gravitacao
a ser desenvolvida a seguir, considera-se que observadores e obNa exposicao

usuais, uma vez que as forcas de calservaveis

permanecam nas quatro dimensoes

pode ser propagar

ibre so fazem sentido em 4 dimensoes.
Entretanto a gravitacao
extras, pois ela nao
e gerada por um campo de calibre e nao
possue
nas dimensoes
` quatro dimensoes.

a necessidade de se confinar as
Isto poderia explicar o porque
ser blindavel,

da forca gravitacional nao

como e o caso das outras forcas . Admitindo
que o espaco-tempo em que vivemos e uma variedade imersa isometricamente numa
maior na qual a gravitacao
pode se propagar, nos peroutra variedade de dimensao
guntamos se existem efeitos gravitacionais adicionais que possam ser medidos pelos
` quatro dimensoes.

observadores restritos as
Considere um espaco-tempo V4 da Teoria Gravitacional de Einstein como uma

variedade semi-Riemanniana com metrica

g imersa localmente e isometricamente

numa variedade VD , que possui assinatura (r + 3)(+) + (s + 1)(), metrica

GAB , e o
extras e denotado por n = D 4 .
numero
de dimensoes

Um ponto P do espaco-tempo V4 de coordenadas x possui vizinhanca U V4 . A

local X de V4 em VD e definida por um conjunto de D funcoes,

imersao
as coordenadas
de isometria, dada pela expressao
(3.1
X A (x ) de X(U ), que satisfazem a condicao

da pagina
29)
85

A
B
g = Xk
Xk
GAB

Com n vetores normais a` V4 satisfazendo

NiA NjB GAB = gij = i ij e NiA XB GAB = 0

considerada.
, onde i = 1, a depender da assinatura da metrica
na direcao
(3.4), os coeficientes da segunda e terceira forma quadratica de V4
Por definicao
expressos como:
sao

B
Aab = GAB NaA Nbk

e
B
ki = GAB XA Nik

Assumindo o princpio de Einstein-Hilbert para a metrica

da variedade VD , vamos
calcular o escalar de curvatura, pois a Lagrangeana e obtida a partir desta. Para este

calculo
faremos uma escolha particular de um sistema de coordenadas.
No sistema de coordenadas admitido inicialmente para o espaco maior, pode-se
considerar que a variedade quadridimensional e descrita localmente pelos pontos X A .

Se considerarmos pequenos deslocamentos y i nas direcoes

das normais NiA , obte descreve uma nova variedade V4 - os y i
mos (note que se fixamos y i a seguinte funcao
uma parametrizacao
para as variedade 4-dimensionais que folheiam
fornecem entao
:
o espaco de imersao)

Z A (x , y i ) = X A (x ) + y i NiA (x )

(6.1)

descreve um novo sistema de coordenadas para VD (que pode ser

Esta funcao

diferente do considerado inicialmente e que deu origem a` metrica

GAB ), parametrizado

agora pelas quantidades (x , y i ). Neste novo sistema de referencia,

os coeficientes da

diferentes do antigo, os novos serao

denotados por GAB , e terao
sua
metrica
serao
dada por
expresao

C
D
GAB = ZkA
ZkB
GCD

86

(6.2)

Seu calculo
sera feito adiante 6.8, pois antes necessitaremos de algumas formulas

simplificatorias.
VD tem assinatura (r + 3, s + 1) e grupo de Lorentz SO(r +
O espaco de imersao
3, s + 1), que tem um subgrupo invariante (entende-se subgrupo normal, no sentido de
ortonormais no espaco gerado pelos
teoria dos grupos2 ) SO(r, s), das transformacoes
vetores normais Ni .

No apendice
A mostra-se que a terceira forma fundamental se transforma como
de um campo de calibre para o grupo SO(r, s) . Primeiro vamos notar
uma conexao
de fornecerem uma complemento para as coordenadas x ,
que os numeros
y i alem

eles mesmos fornecem uma base para o espaco vetorial gerado pelos vetors normais
da seguinte aplicacao
(y i ) y i Ni . Assim qualquer vetor normal a` um ponto
Ni atraves
de fazer
do espaco tempo V4 pode ser parametrizado pelas coordenadas y i . Ao inves

os elementos da algebra
de Lie atuarem nos vetores normais, pode-se admitir uma
passiva, em que os operadores da algeba

transformacao
atuem nas coordenadas y i

do espaco vetorial normal. Portanto, os geradores da algebra

de Lie deste subgrupo
expressos em termos das mesmas 3
SO(r, s) atuam nas coordenadas y i e sao
1
Lij = (g jk y i k g ik y j k )
2

(6.3)

de comutacao
de Lie deste operador e tpica de um SO, dada por
e a relacao
1
[Lij , Lmn ] = (g jm Lin g jn Lim g im Ljn + g in Ljm )
2
Como posteriormente vamos mostrar que a terceira forma e um campo de calibre,
como um operador formado por uma combinacao

nada mais natural de que escreve-la

dessa
linear dos geradores da algebra
de Lie de SO(r, s), pois na representacao

algebra
no espaco interno, o espaco em que a algebra
atua coincide com o espaco
em que o operador do grupo atua (que neste caso e o espaco gerado pelos vetores
o operador A sera escrito na base da algebra

normais, e entao
acima) :
A = Aij Lij
2

Um subgrupo normal e uma subgrupo N or de G tal que dado um elemento g do grupo G, se con teremos
siderarmos o conjunto formado pelos elementos gn, onde n N or denotado por gN or entao
gN or = N or g, onde N or g e o conjunto formado pelos elementos ng

3
y
Os operadores i sao
i

87

 no espaco vetorial de uma

O coeficiente deste operador linear e obtido ao aplica-lo
coordenada conveniente yk , definida por yk = gkl y l (usaremos Lij (yk ) = 12 (yi kj yj ki ),
obtida de (6.3) aplicada a` yk ):

Ak = Aij Lij (yk ) = gkl Aij Lij (y l ) = Ajk y j .

A e D = + A e a curPortanto a derivada covariante associada a` conexao
A e
vatura associada a` esta conexao

F = [D , D ]ij Lij = [ + A , + A ]
um operador no espaco das coordenadas y, que se avaliado na
o qual e tambem
coordenada yk tem como coeficiente

Fk = F (yk ) = Ak, Ak, + g mn (Am Ank Am Ank )

(6.4)

Vamos agora calcular os componentes GAB da metrica

no novo sistema de coordenadas com o uso de (6.1) e (6.2), e das quantidades obtidas acima

A B
A
A
B
B
G = Zk
Zk GAB = (Xk
+ y a Nak
)(Xk
+ y b Nbk
)GAB

A
B
A
B
B
A
A
B
= Xk
Xk
GAB + y b Xk
Nbk
GAB + y a Xk
Nak
GAB + y a y b Nak
Nbk
GAB

(levando em conta a definicao

da
o primeiro termo e g , o segundo e terceiro sao
segunda forma (3.11)) y a ka (a barra na segunda forma fundamental indica que
ela e avaliada no ponto y i = 0) e o ultimo
(levando em conta (3.13)) resulta em

y a y b (g ka kb + g cd Aca Abd ). Portanto

G = g 2y a ka + y a y b (
g ka kb + g cd Aca Abd )

(6.5)

O componente Gi fica:

A B
A
A
Gi = Zk
Z,i GAB = (X,
+ y j Njk
)(NjB )GAB = y j Aji = Ai

O componentes restantes resultam em

88

(6.6)

A B
B
Gij = Zki
Zkj GAB = NkiA Nkj
GAB = gij

(6.7)

Portanto , para o sistema de coordenadas considerado, a metrica

obtida e escrita
da seguinte forma

GAB =

ij

g + g Ai Aj Ai
Aj

gij

(6.8)

Onde foi denotado:

g ki kj )
g = g 2y i ki + y i y j (

(6.9)

A partir deste ponto, e importante esclarecer que cada nova variedade da folheacao

espossui sua propria

forma fundamental. Por exemplo, escolhendo uma folheacao

pecfica (ou seja, escolhendo os y i ), temos que G e a metrica

desta nova variedade

V4 . A segunda forma fundamental de V4 sera denotada por ki . Note que a expressao

para a segunda forma desta variedade e ki e que no ponto (x , y i ) e dada por
A
ki = Zk
NiB = ki y j (g ki kj + g mn Ani Ajm )

a` y i obtemos:
Derivando G com relacao

1 G
= ki y j (g ki kj + g mn Ani Ajm )
2 y i

com a de cima, obtemos a equacao

de Nash:
Comparando esta equacao

1 G
= ki
2 y i

(6.10)

Note que a primeira e segunda forma fundamental foram perturbadas nas dimensoes
ocorre para os coeficientes da terceira forma fundamental (uma vez
extras. Isso nao
para os vetores normais nao
mudam em V4 ).
que a expressao

Pode-se observar que a metrica

obtida (6.8) coincide com o anzatz metrico
da teo fosse pela presenca de termos contendo a segunda
ria classica de Kaluza-Klein, nao
que existe uma dependencia

forma fundamental ki . Observe tambem

explcita nas

coordenadas das dimensoes

extras. Lembramos que no caso da teoria de Kaluza89

 na qual nao
havia esta dependencia,

Klein, fazia-se uma primeira aproximacao

pois
extras eram compactas e tomava-se apenas o termo zero da expansao

as dimensoes

exata para a curvatura (R) do espaco de

harmonica.
Se quisermos uma expressao
temos que necessariamente calcular as derivadas da metrica

imersao,
nas direcoes
extras (um calculo

para pequenos
das dimensoes
da curvatura utilizando expansoes
de Nash 6.10 prove um auxlio nesta
y i foi feita pelo autor no artigo [64]). A relacao
uma vez que ela nos fornece a segunda forma fundamental expressa em terdirecao,

das dimensoes

considerado
mos da derivada da metrica
na direcao
extras, fato nao

na teoria de Kaluza-Klein (e que complica um pouco mais o calculo

da curvatura ).

Uma vantagem e que com as hipoteses

aqui assumidas, esta maneira de escrever a

metrica
surge de forma natural, ou seja, como consequencia
da hipotese
de imersao.

Vamos agora calcular o escalar de curvatura R associado a` metrica

do espaco de
VD .
imersao

do escalar de curvatura se
Existe uma base na qual os calculos
para a obtencao
simplificam de maneira significativa. Vamos seguir o caminho sugerido inicialmente
por Sepangi et al [65]
por Cho no contexto da teoria de Kaluza-Klein [42], e tambem

`
no contexto de imersoes.
Nesta base, os vetores tangentes tornam-se ortogonais as
componormais, diferente da base de vetores normais usada acima (6.8), que tem
nula na direcao
normal devido a` presenca de Ai . Se mudarmos os vetores
nente nao
A
tangentes Zk
da seguinte maneira (retirando dos vetores tangentes as componentes

normais):

A
A
Yk
= Zk
+ g ij Aj NiA

(6.11)

para os coeficientes da metrica

A expressao
de VD nessa base sera diferente,
C
D
A
denotada por AB = YkA
YkB
GCD (agora o produto interno do vetor tangente Yk
com o

vetor normal sera zero, como vamos ver adiante).

Primeiro vamos calcular :

A
B
= (Zk
+ g ij Aj NiA )(Z,B + g mn An Nm
)GAB

A B

Os calculos
dos produtos dessas quantidades ja foram feitos antes (o termo Zk
Zk GAB
A

foi feito na formula

(6.5), o termo Zk
NiB GAB em (6.6) e NiA NjB GAB em (6.7)). O

90

primeiro termo e g + g ij Ai Aj . O segundo e terceiro e g ij Ai Aj e o quarto e

g ij Ai Aj . Resulta que = g .
Agora o termo k :

A
A
k = Yk
NkB GAB = (Zk
+ g ij Aj NiA )NkB GAB

A
A
+ g ij Aj NiA )NkB GAB
+ y i Nik
= (Xk

= y i Aki + g ij Aj gik = 0

AB
Portanto i = 0. Finalmente ij = NiA NjB GAB = gij . Potanto a nova metrica
fica:

AB =

g
0

0
gij

os coeficientes da
E importante notar que os coeficientes GAB , GAB e AB sao

mesma metrica
(do espaco VD ) so que escritos em bases diferentes. Antes de comecar

o calculo
do escalar de curvatura , vamos obter algumas identidades importantes que
usadas para tal. Neste novo sistema de coordenadas (com metrica

serao
AB , os
A
a` variedade V4
coeficientes da segunda forma mudam, pois os vetores tangentes Zk
A
mudou para Yk
. Assim vamos denotar os coeficientes da segunda forma de V4 neste

novo sistema por ki , ou seja com um (til) em cima desta quantidade. Portanto:
1 g
A
B
ki = GAB Yk
Nik
= ki y j g (kj ki ) =
2 y a

(6.12)

derivadas segundas na
Uma vez que a curvatura que queremos calcular contem

a` dimensao
extra e proporcional
metrica,
e a derivada primeira da metrica
com relacao

a` segunda forma (pelo teorema de Nash), teremos que obter uma formula
para a
a` dimensao
extra. Isso e feito
derivada da segunda forma fundamental com relacao
acima com relacao
a` dimensao
extra:
derivando diretamente a equacao

ki,j =
g kj ki
91

(6.13)

 esta expressao
anda e indesejavel

queremos que a Lagrangeana

Porem
porque nao
(e portanto a curvatura) contenha termos envolvedo ki e ki , ou seja, a segunda
forma fundamental da variedade inicial V4 e deformada V4 respectivamente. Isso se da
porque e difcil de se interpretar numa mesma lagrangeana formas fundamentais que
se refiram a` espacos diferentes. Para remover este problema, vamos expressar k em

termos de k:

A
B
A
A
B
ki = Xk
Nik
GAB = (Yk
y j Njk
g mn Am NnA )Nik
GAB

ou seja:

ki = ki + y k g kk ki

(6.14)

(6.14) com a equacao

(6.12) resulta:
Somando esta equacao

y j g kj ki = y j g (kj ki )
Como isso vale para qualquer y j ,

g kj ki = g (kj ki )

(6.15)

(6.15) em (6.13) obtemos finalmente

Usando esta equacao

ki,j = g kj ki

(6.16)

que e o que queramos, ou seja, expressar a derivada extradimensional da segunda

forma fundamental perturbada (de V4 ) em termos de quantidade de V4 .

de R e calcular os coeficientes de comutacao.

O proximo
passo para a obtencao

para os vetores da base nesta nova coorPara isso e necesario

obter uma expressao
denada.
(6.11), os vetores tangentes desta nova base sao
dados por ee =
Pela expressao
que eles foram deslocados para a direcao
normal para que nao

+ g ij Aj i , uma vez
Os vetores normais continuam a ser dados
tenham mais componentes nesta direcao.

cC
obtido considerando
por eei = ei = i . O calculo
dos coeficientes de comutacao
AB e
os comutadores [e
eA , eeB ] = cC
eC . O resultado e
AB e
92

Ai
A
Ai
A
cA
= Fi , ck = Aik , cij = 0

denotados por
Os smbolos de Christoffel quadridimensional da metrica
g serao

multidimensional AB na nova base seao

e os smbolos de Christoffel da metrica
denotados por C
resulta que:

AB . Calculando estes ultimos,

kij = 0, ij = 0, ki = 0

1
i = g ki + g Fi
2
1
i = g ij kj g ij Fj , =
2
ne Nash na quarta e quinta expressao.

Onde usamos a relacao

a` metrica

O tensor de Ricci do espaco maior com relacao

AB sera denotado por
a` metrica

RAB e para o espaco V4 com relacao

g denotaremos R :
1
1
1
Rij = g g Fj Fi + g g Fj ki + g g Fj ki
4
2
2

(6.17)

1
Rk = g D kk + g D Fk + g D kk
2

(6.18)

1
1
R = R + g ij g ki kj g ij g ki kj + g ij g Fj ki g ij g Fi Fj (6.19)
2
2
equacoes
(6.17), (6.18) e (6.19) usou-se a relacao
de Nash e a expresao

Nas tres
disso foi utilizado a
para a derivada extra dimensional da segunda forma (6.16). Alem
de derivada total D = + A , que inclui a derivada covariante do espacodefinicao
A do grupo de calibre.
tempo V4 adicionada da conexao
O escalar de curvatura do espaco total fica:
1
R = R + g ij g g (ki kj ki kj ) F i Fi
4
93

(6.20)


IEH que fornece as equacoe
de movimento e a de
Da hipotese
de que a acao
Einstein-Hilbert do espaco total4 resulta:

IEH

1
=
2

R dD V

considararemos tambem
a densidade Lagraneana
Apenas para completar a acao,
R

Imateria = Lmateria dD V , que dara origem

da fonte Lmateria com sua respectiva acao

VD .
ao tensor energia-momento TAB
do espaco de imersao

de movimento sao
encontradas ao se aplicar o princpio variacional
As equacoes
total I = IEH + Imateria , com relacao
a` variacao
da metrica

para a acao
do espaco

de imersao.
O resultado e analogo
ao caso quadridimensional e e dado por uma
de Einstein multidimensional (note que na sua derivacao
no captulo 4 a
equacao
foi usado como hipotese

partir do princpio variacional nao

a quadridimensionalidade
e definida, portanto ela pode ser considerada como
da variedade em que a acao
de dimensoes
desde que a acao
de Einstein-Hilbert
valendo para um numero
arbitario

valha para o espaco considerado), que escrito na base AB :

1

RAB AB R = TAB
2

E resultam em 3 equacoes

desde que separemos as partes (), (k) e (ij), e

disso facamos a substituicao

das equacoes
(6.17), (6.18) e (6.19):
alem
1
8G
R Rg Q E = 4 T
2
c

(6.21)

1
g D kk + g D Fk + g D kk = Tk
2

(6.22)

1
1
1
g g Fj Fi + g g Fj ki + g g Fj ki
4
2
2

(6.23)

e uma constante adaptada ao espaco total, e assim pode conter uma constante gravitacional G
diferente da Newtonian: = 8G c4
5

a constante de proporcionalidade e o tensor

Pode-se impor TAB
= TAB , onde e TAB sao
energia momento adaptados a` quadridimensionalidade, de maneira a` recuperar o lado direito usual da
de Einstein e resolver assim o problema da hierarquia
equacao

94

1
1
gij (R + g mn g g (kn km kn km ) g mn F n Fm ) = Tij
2
4
gravi-tensorial (ou equacao
de Einstein modificada),
Conhecidas como equacao
do tipo Yang-Mills) e gravi-escalar respectivamente.
gravi-vetorial (uma equacao
gravi-tensorial (6.21), o termo Q e dado por [66]
Na equacao
j ) 1 (ki kj ki kj )
Q = g ij (ki kj ki H
2
i = g ki , K
2 = g ij g g ki kj e H
2 = g ij H
iH
j . Por outro lado, o
onde H
termo E e o tensor energia-momento associado ao campo de Yang-Mills (ou seja,
associado a` terceira forma fundamental A vista como campo de Yang-Mills):
1
E = (gij F i F i g g F i Fi )
2
de Einstein modificada e esFinalmente, o ultimo
termo que aparece na equacao

Imateria .
colhido como sendo 8GT = T
, onde T
e obtida do da acao

T e E se consevam. Vamos mostrar que isso tambem

e verPor construcao,
dade para Q . De fato,

Q ; = g ij g g g (ki; kj + ki kj; ki; kj ki kj; )

1
g ij g g g (ki; kj + ki kj; ki; kj ki kj; )
2

(6.24)

Definindo Ti = ki; ki; segue que

ki; = ki; + Ti

(6.25)

notar que este tensor e antissimetrico

do segundo
E facil
sobre uma permutacao
primeiros termos de 6.24
e quarto ndices: Ti = Ti . Substituindo 6.25 nos tres
resulta (as partes com termos envolvendo Ti se anulam individualmente devido a`
referida antissimetria):

Q ; = g ij g g g (ki; kj + ki kj; ki; kj ki kj; )

95

1
g ij g g g (ki; kj + ki kj; ki; kj ki kj; )
2
acima as seguintes permutacoes

Fazendo na expressao
() () no quarto

termo, este se cancela com o segundo resulta na expresao:

1
Q ; = g ij g g g (ki; kj + ki kj; ki; kj ki kj; )
2

acima: () (), () ()
E fazendo as seguintes permutacoes
na expressao
e (i) (j) no primeiro termo; () (), () () e (i) (j) no terceiro; esta
se anula, pois o primeiro termo cancela o segudo e o terceiro termo cancela
expressao
de Q
o quarto. Portanto obtemos a conservacao
Q ; = 0
de unificacao
nao
ha problemas com quiralidade
O fato de que nesta formulacao

extras nao

fermionica
e visto por dois motivos: o primeiro e que em geral as dimensoes
compactas (evitando assim o resultado de Witten). O segundo e que os campos
sao
fontes para tais) nao
se propagam nas dimensoes

de calibre (e os campos que sao

ha necessidade de considerar a equacao
de Dirac em
extras, significando que nao
do espaco total.
todas as dimensoes
Com o intuito de exemplificar a teoria desenvolvida neste captulo, foi feito um modelo em Maple, em que um buraco negro neutro e carregado eletricamente por meio da
de Nash. O resultado esta contido no apendice

deformacao
B.

96


Conclusao

convenientemente descritas com o

Mostramos que as interacoes
fundamentais sao
original da geometria Riemanniuso da geometria. Partimos de crticas a` formulacao
da introducao
de dimensoes
extras . Uma vez
ana, devidamente solucionada atravez
, mostramos duas teorias de
que a RG apresenta problemas como o da unificacao
que utilizam dimensoes
extras. O principal resultado aqui apresentado diz
unificacao
da Lagrangeana de Einstein-Hibert para o espaco total como
respeito a` decomposicao
a soma do termo envolvendo a Lagrageana de Yang-Mills usual, o termo contendo a
Lagrangeana gravitacional usual 4-dimensional e um termo adicional dependente da
primeira e segunda formas fundamentais. Outro resultado e a prova de que a ter do grupo
ceira forma fundamental se comporta como um campo de calibre sobre acao
de Yang-Mills. As principais caractersticas de
SO(r, s), satisfazendo uma equacao
ao
ja eram previstas pela teoria de Kaluza-Klein, mas o problema que causou
unificac
extras nao
sao
mais compactas. Outra
seu abadono foi resolvido, pois as dimensoes

como um
vantagem e que a forma da metrica
e obtida de uma maneira natural, e nao
axioma.
De posse desse conhecimento, usamos o argumento de ADD (branas-mundo) para
das forcas fundamentais de forma efetiva, no sentido que a
justificar a unificacao
pode ter uma escala de energia tao
forte como as demais interacoes
(provogravitacao
da dinamica

cando a quebra da hierarquia). Portanto, as consideracoes

extrnseca do
espaco-tempo enriquecem consideravelmente a RG, resolvendo o problema da hier

arquia e provendo-nos com um embasamento fsico e matematico

para uma descricao
fundamentais. A consequencia

unificada dos campos de intercoes

disso e uma realizacao
geometrico

da conjectura de Neeman de que o campo de calibre e tao

quanto o campo

gravitacional (na verdade e um componente deste), e onde as simetrias de calibre sao

geradas pelas rotacoes

das normais. A segunda forma fundamental faz o papel de
97


e as interacoes
de calibre.
intermediario
entre a gravitacao
de calAnda falta muito a ser feito, considerando que nem mesmo as interacoes
eletrofraca e
ibre foram completamene unificadas por uma teoria GUT. A unificacao

ainda assim alguns parametros

que ser
descrita de maneira satisfatoria,
porem
tem
os fornece, como e o caso do angulo

medidos e a teoria nao

de Weinberg. Sobre os
pretende-se publicar o programa desenvolvido em Maple
estudos desta dissertacao,
num banco de dados da Internet para que mais pessoas tenham ascesso a` este ferramental que permite calcular as quantidades que determinam de maneira mais precisa
o universo em que vivemos.
dinamica

Teremos que fornecer uma explicacao

para o confinamento dos campos

de Yang-Mills so fazem
de Yang-Mills em 4 dimensoes.
Explicamos que as equacoes

sentido em quatro dimensoes.

Mas isso e porque medimos os campos e as quadricorrentes no mundo quadridimensional. Isso quer dizer que o motivo de rejeitamos a
multidimensional das equacoes
de Yang-Mills e puramente fsico. Matematicaversao
mente elas fazem sentido. Uma tentativa de explicar o porque do confinamento dos
observadores a` quadridimensionalidade e fornecida por Rubakov et al (ver [67]), que
de equilbrio de potencial
considera a possibilidade do espaco-tempo ser uma solucao
criado por uma parede de domnio.
quatica

Outro passo adicional a ser feito futuramente e estudar a versao

da teoria
e apresentado em [68], que aplica
apresentada. Um importante avanco nesta direcao
ADM ao espaco-tempo imerso.
a quantizacao
Por ultimo,
e imprescindvel fazer um modelo da teoria aqui desenvolvida (mod

em Maple).
elo este apresentado no apendice
B, por envolver uso de programacao
passveis de comprovacao
exO modelo e importante porque pode revelar situacoes
de mini-buracos negros no LHC
perimental da teoria , como por exemplo a criacao
[69].

98


Apendice
A
da Terceira Forma
Transformacao
Fundamental

transformacoes

Intuitivamente, as rotacoes
nas dimensoes
extras sao
que deixam
o mundo quadridimensional invariante. Uma vez que existem efeitos possivelmente

adiobservaveis
atravez
dos termos envolvendo as formas fundamentais que sao
de Einstein, vamos calcular a maneira em que a terceira forma se
cionadas a equacao

transforma sobre estas rotacoes.

A figura A.1 a seguir ilustra esta simetria:

Figura A.1: Simetria de calibre

E possvel mostrar que a terceira forma fundamental se transforma como um campo

ao grupo SO(r, s). Esta caacterstica
de calibre da Teoria de Yang-Mills, em relacao
foi sugerida primeiramente por Holdon [71]. Vamos mostrar isso de duas maneias
infinitesimal, e na
diferentes. Na primeira parte sera considerado uma ransformacao

sera considerada.
segunda esta hipotese
nao
99

A.1

Infinitesimal da Terceira Forma FunTransformacao

damental

infinitesimal de SO(p 3, q 1),

Sob uma transformacao

x, = x
onde i = ji (x )y j . Ja que Aij =
A,ab =

,
a
y ,b

y ,i = y i + i (x , y i )
i
,
y j

basta calcular
para obter a transformacao

,
. Comecando com a
.

,
i
=

xA xB
x y j
y k y j

+
kj
AB
j
x, y ,i
x, y ,i
x, y ,i

Para prosseguir e necessario calcular os termos

y j
y ,i

y k
.
x,

(A.1)

Notando que as transformacoes

infinitesimais e portanto basta tomar os termos ate primeira ordem em , obtem-se

sao

y j
= ij ,ij
y ,i

y k
k
= ,
x,

Substituindo o resultado acima em (1), obtem-se:

,
k
i
= (ij ,ij )j ,
gij

da terceira forma fundamental e:

Segue que a transformacao

A,ij =

,
,
i
y k i
l
=
= (jk jk )[(il il )Alk k,
gil ]
,j
,j
k
y
y y

Tomando os termos de primeira ordem em , resulta

k
gik
A,ij = Aij jk Aik ik Akj j,

de calibre referente as
` transformacoes
nas normais
que e o tipo de transformacao

pelo grupo das pseudo-rotacoes.

100

A.2

da Terceira Forma Fundamental

Transformacao

e fornecida pelo operador A = Aij Lij que atua nas coorNesta teoria, a conexao
representacao
matricial (A )ki , definida por A (y k ) :=
denadas y i . O operado A tem
(A )ki y i e dada por
1
A (y k ) = Aij Lij (y k ) = Aij (g jk y i g ik y j ) = y i g jk Aij
2
Portanto (A )ki = g kj Aij .
Conforme comentado, o grupo pode atuar ativamente, transformando os vetores
normais (que num sistema de coordenadas wA qualquer do espaco maior pode ser
expresso como i = NiA w A ), ou passivamente, atuando nas coordenadas dos vetores.
e a adotada. Um elemento U qualquer do grupo SO(p, q),
Esta ultima
convencao

quando atua nos vetores e representado pelo operador linear R e quando atua nas

coordenadas y i e dado pelo operador inverso R1 (isto e uma convencao).

se transforma sobre acao
de U , ou melhor,
Para ver como o operador de conexao
matricial (A )ki , precisamos saber como Aij se transforma. Mas
sua representacao
esta quantidade e formada a partir dos coeficientes NA . Portanto, vamos ver como o
elemento U atua nos coeficientes NiA .
representacao
matricial Rji , e como e o seu
Sendo um operador linear R , tem
inverso que atua nas coordenadas,

yi = (R1 )ij y j
com relacao
a` y j
Derivando esta expressao

ji = (R1 )ik

y k
y i

= Rji
yj
yj

Usando a regra da cadeia,

y i
i
=
=
R
j
yj
yj y i
y i
A
No novo sistema de coordenadas produzido por R, o coeficiente da normal N
i
sera definido por

yi

iA A . Pela equacao
anterior,
=N
w
101

Rji

A = (R1 )j N
A
=N
i
i j
i
A
i
y
w
y
wA

com
Comparando esta ultima
expressao

y i

= NiA w A , resulta:

jA ou N
jA = Rji NiA
NiA = (R1 )ji N

Vale notar que o operador U e justamente o que deixa a metrica

do espaco normal
g ij invariante. Isso quer dizer que uma vez que NiA NjB GAB = gij , temos
A
iA N
jB GAB = (Rim Nm
)(Rjn NjB )GAB
gij = N

Ou seja:

gij = Rim Rjn gmn

de avaliar a transformacao
para Aij :
Agora estamos em condicoes

A
ik
jB )GAB = (Rik NkA )k (Rjl NlB )GAB
Aij = (N
)(N

k
A
= (Ri,
NkA + Rik Nkk
)(Rjl NlB )GAB

k
A
= Ri,
Rjl NkA NlB GAB + Rik Rjl Nkk
NlB GAB

k
= Ri,
Rjl gkl + Rik Rjl Akl

para a matriz (A )ki fica:

A transformacao
(A )ki = g kj Aij

k
= +g kj Ri,
Rjl gkl + g kj Rik Rjl Akl

Fazendo uso de duas equacoes

102

(A.2)

m
n
Ri,
Rjn gmn = Rim Rj,
gmn

e
(R1 )km = g ij Rjn gmn

Obtidas da formula
(A.2), a primeira derivando-a e a segunda fazendo uso das
na expressao
obtida para (A )ki ,
inversas e R e gij . Substiuindo estas duas equacoes
resulta:
(A )ki = (R1 )kl (g ln Anm )(Rim ) (R1 )kj, Rij
Uma vez que a matriz acima atua nas coordenadas y i , o elemento U do grupo pode
acima torna-se uma
ser realizado como sendo a matriz (R1 ). Assim a expressao
da equacao
geral de transformacao
de calibre (4.6) mostrada na pagina

realizacao
55:
k
1 j
(A )ki = (U )kl (A )lm (U 1 )m
)i
i (U )j, (U

103

Apndice B Exemplo de Imerso e Unificao

O programa se dividir em 3: a Primeira Parte A ser feita para mostrar que possvel
deformar uma imerso inicial de buraco negro para um buraco negro carregado. A Parte
B ser feita para mostrar uma funo de imerso que fornea as formas usadas. A parte
C ser feita para mostrar que as condies de integrabilidade so satisfeitas.
Nesta primeira parte A apresentaremos um modelo no qual mostra-se que, com a
perturbao de Nash, possvel obter um potencial de Yang-Mills. Uma possibilidade
explcita observada que, a partir de uma soluo de um buraco negro no carregado
possvel, atravz da perturbao nas dimenses extras, obter uma soluo do buraco
negro carregado.
Neste exemplo, iremos usar o resultado (6.19), da pgina 93:

Vemos claramente que a Lagrangeana total

se decompe em 3:

Onde

a Lagrangeana da Relatividade Geral (de Einstein-Hilbert), que d origem parte

geomtrica das equaes de Einstein.

a Lagrangeana que depende da segunda forma fundamental,

na equao de Einstein.

o termo de Yang-Mills, que aqui, depende da terceira forma.

A ao escrita

104

, e d origem ao termo

Considerando que apenas a primeira forma

e terceira forma
aparecem na
Lagrangeana com termos envolvendo derivadas, consideraremos as equaes
provindas dos seguintes princpios variacionais:

e
Estas equaes so:

e
Que so as equaes de Einstein e Maxwell, respectivamente. Porm, como a
Lagrangeana
que consideramos no contem termos de fonte, importante adicionar ela o termo

Cuja primeira componente permite introduzir o termo

de fonte na equao de
Einstein, e a segunda componente permite introduzir o termo de fonte
da equao de
Yang-Mills. Com esta prescrio, as resulta nas equaes

No modelo que vamos considerar, havero 2 dimenses extras (pois queremos simular
uma fonte carregada eletricamente), de forma que a equao de Yang-Mills uma
equao de Maxwell. Vamos considerar a soluo de um buraco negro neutro e tentar
perturb- la para um buraco-negro carregado.
>

A coordenada do espao menor ser denotada por vars.

105

>

(1)

No prximo comando ser definido a variedade do espao menor inicial (no

perturbado) , denotada V4.
>

(2)

Vamos agora definir a mtrica do espao menor, denotada por "

, pois o exemplo
considerado ser a mtrica de Schwarzchild. (Lembre-se que esta mtrica a noperturbada). Ela ser escrita em um sistema de coordenadas diferentes, de uma forma
que apaream termos fora da diagonal, para que os clculos se simplifiquem. (uma
derivao desta forma de apresentar a mtrica de Schwarzchild pode ser vista no livro
do Anderson, Principles of Relativity, pg 387 )
V
4
>

106

(3
)

Vamos definir a assinatura das dimenses extras como do tipo espao.

V4 >

(4)

Vamos definir a mtrica do espao deformado , que pela equao (6,8) dada por

onde as quantidades em vermelho se referem primeira e segunda forma fundamentais

da variedade no perturbada (no texto estas quatidades esto denotadas com uma barra
em cima, mas no Maple esta denotao no possvel). Esta mtrica ser denotada por

V
4
>

107

Uma escolha possvel para a segunda forma fundamental cuja perturbao acima
fornea Reisner-Nordtron a seguinte:
para
e (ou ) iguais a um dos elementos do seguinte conjunto:
{1,4}. Caso contrrio a segunda forma fundamental ser nula. A constante "a" ser
determinada logo mais, e depender da carga eltrica dentro do b uraco negro.
Vamos ento fazer a substituio acima (chamaremos de SubsRN).
V4 >

V
4
>

V4 >

Com os coeficientes da mtrica prontos, vamos definir a mtrica da variedade

perturbada VP4, que ter mtrica chamada de RN (com termos fora da diagonal)
V
4
>

(5)

V4 >

108

(6
)

Fica evidente que a mtrica de Reissner-Nordstron pde ser obtida pela perturbao, na
qual a distncia da perturbao y6 fornece a carga. Mas temos que verificar se a
equao de Einstein modificada satisfeita. Para isso, temos que calcular todos os
termos que aparecem nela. Com o que j foi feito at agora, possvel calcular o tensor
de Einstein, que denotaremos por TERN.
V4 >

V4 >

V4 >

V4 >

V4
>

possvel tambm definir o tensor

. Ele dado por

:
109

Mas vale lembrar que

E esta ltima quantidade chamaremos de "kp", pois a segunda forma perturbada.

V
4
>

V4 >

V4 >

V4 >

O termo
O primeiro termo ser denotado por Q1, o segundo Q2 e o
ltimo termo entre parnteses ser denotado por Q3 . Como kp5=0, s consideraremos
kp6 ;
V4 >

V4 >

110

V4 >

V4 >

(7)

Isto indica que

nulo

O ltimo termo que falta para completar a equao de Einstein o tensor energia
momento do campo de calibre

Como s iremos considerar duas dimenses extras,

J que estamos interessados na simulao de um campo Coulombiano, e a terceira

forma faz papel de potencial de calibre, faremos
=
V4 >

111

V
4
>

Vamos verificar se a equao de Einstein satisfeita. Para isso, faremos

V
4
>

Vamos substituir agora o campo Coulombiano

V
4
>

112

(8
)

V4 >

(9
)

O prximo comando fornece uma soluo para as constantes "a", "y5" e "y6".
V4 >

(10)

Sendo y6 a carga, faremos

Que fornece uma soluo possvel para o sistema acima

V4 >

113

(11)

Isto indica que a equao de Einstein modificada satisfeita, desde que se escolha as
constantes adequadamente.
O prximo passo verificar se a equao de Maxwell vlida.

Para isso, vamos calcular primeiro

V4 >

V4 >

V4 >

V4 >

A equao de Maxwell est contida no tensor EM5 e EM5:

V4 >

(12)

114

V4 >

(13)

Isto indica que as equaes de Maxwell so satisfeitas;

Vamos para a parte B, no qual vamos mostrar uma funo de imerso X que fornea a
segunda e terceira forma fundamentais usadas na parte A. Isso ser feitpo usnado as
equaes

Mas antes vamos definir a variedade do espao maior, denotada por M6 , com mtrica
GM
V4 >

(14)

M
6
>

115

M6 >

M
6
>

M6 >

M6 >

(15)

M6 >

M6 >

(16
)

116

M6 >

Vamos agora definir as funes de imersa e ver se ela satisfaz a isometria.

M
6
>

(17)

M6 >

M6 >

(18)

M6 >
117

(19)

Esta ltima conta foi feita apenas para mostrar que a condio de isometria satisfeita.
O que indica que a imerso de Schwarzschild.
A prxima tarefa definir os vetores tangentes (denotados por Ti, onde i a direo
considerada,com respeito ordem de definio de variveis) e normais (denotados por
N). Primeiro os tangentes.
M6 >

(20)

V4 >

V
4
>

118

(21)

O comando a seguir seleciona vetores que, adicionados aos tangentes geram o espao
tangente total.
M6 >

(22)

M6 >

(23)

M6 >

(24)

O prximo passo somente para verificao da mtrica do espao maior.

M6 >

M6 >

119

M >

(25)

Chamaremos o smbolo de Christofell

do espao maior de

. A quantidade

de
M6 >

M6 >

Definiremos o tensor
, onde i indica qual a normal (escolhidas entre as
codimenso normais), A indica qual a componente deste vetor no espao M e indica
qual a direo (tangente) de derivao. Este objeto sera denotado por
so as indicadas anteriormente.

120

O objeto

ser denotado por

M6 >

M
6
>

Vamos obter a segunda forma fundamental,

M6 >

A segunda forma
M6
>

M6 >

121

(26)

M6 >

(27)

Isto est de acordo com a segunda forma utilizada na parte A.

Agora vamos obter a terceira forma fundamental

O objeto

ser denotado por

M6 >

M6 >

M6 >

122

(28)

Esta exatamente a terceira forma que usamos na parte A. Encerra-se aqui o clculo das
formas fundamentais.
Agora vamos Parte C, dedicada ao clculo das condies de integrabilidade. Como
estas condies (equaes de Gauss, Codazzi e Ricci) envolvem derivadas covariantes,
vamos definir os tensores segunda e terceira forma fundamentais, denotados por ,
respectivamente.
M6 >

(29)

V4 >

(30)

V4 >

V4 >

123

Agora vamos escrever a equao de Gauss,

o termo do lado esquerdo ser denotado por TG1 e os termos do lado direito sero
denotados por TG2 e TG3, respectivamente.
M6 >

V4 >

V4 >

V4 >

V4 >

M6 >

124

M
6
>

M6 >

M
6
>

A equaao de Gauss est contida no sistema Egauss,

Agora vamos escrever a equao de Codazzi,

125

O tensor

ser denotado por

M6 >

V4 >

Agora vamos escrever as equaes de Codazzi.

V
4
>

126

V
4
>

(31
)

A equao de Codazzi est contida no sistema Ecodazzi, e a equao de Ricci consiste

em quatro termos:

O tensor

ser denotado por

,o penltimo termo da equao de Codazzi,

, ser denotado por

. Vamos ao primeiro termo

, de tensor de Ricci. O ltimo ser

V4 >

127

Vamos agora ao TR1

V
4
>

V4 >

128

Vamos agora ao TR2

V
4
>

V
4
>

(32
)

Como os valores das equaes de Gauss, Codazzi e Ricci so identicamente nulos, fica
provado que as condies de integrabilidade so satisfeitas.
129


Referencias
das Forcas Fundamentais: O Grande desafio da
[1] A. Salam (1993) em A unificacao

Fsica Contemporanea
, Ed. Jorge Zahar.
[2] I. Kant (1998) em Critique of Pure Reason , traduzido e editado por Paul Guyer e
Allen W. Wood. Cambridge University Press.
[3] H. Poincare (1952) em Science and Hypothesis, Courier Dover Publications.
[4] B. Riemann (1873) em On the Hypotesis Whith Lie at the Basis of Geometry, translated by W. K. Clifford. Nature 8, 114-117, 136-137 .
[5] E. Scholz (1980) em Erhard Geschichte des Mannigfaltikeitsbegriff von Riemann
Base: Birkha User.
bis Poincare,
[6] C. F. Gauss (2005) em General Investigations of Curved Surfaces , translated by
James Cadall Morehead and Adam Miller Hiltebeitel, edited with an introduction
and notes by Peter Pesic, Dover.
[7] R. Torretti (1978) em Philosophy of Geometry from Riemann to Poncare , Dordrecht: D. Reidel.
[8] B. ONeil (1996) em Elementary Differential Geometry , Academic, New York, NY.
[9] M. P. Carmo (1976) em Differencial Geometry of Curves and Surfaces , PrenticeHall.
[10] C. V. Westenholz (1981) em Differential Forms in Mathematical Physics, captulo
8 , North-Holland Publishing Company.
[11] Misner, Thorne and Wheeler (1970) em Gravitation , Freeman and Company.
130

 Paulo: Brasiliense.
[12] M. Schemberg (1984) em Pensando a Fsica, Sao
[13] L. Schlaefli (1873) em Nota Alla memoria del Signor Beltrani Sugli Spazii di Curvatura Constante , Annali di Matematica Pura et Applicata 5, 170.
e Polonaise De Mathematique

[14] E. Cartan (1928) em Annales De La Societ

6, 1.
e Polonaise De Mathematique

[15] M. Janet (1926) em Annales De La Societ

5, 38.
[16] C. Burstin (1931) em Rec. Math. Moscou 38, 74.
[17] J. Nash (1956) em The Annals of Mathematics 63, 20.
[18] R. Greene (1970) em Memoirs of Mathematical Society, 97.
a` Geometria Diferencial, editora UNB.
[19] T. Keti (1988) em Introducao
[20] L. P. Eisenhart (1966) em Riemannian Geometry Princeton U.P., Reprint.
[21] P. M. Morse (1965) em Thermal Physics, second ed. pgs 28-30 , Phys. Rev.D 31,
262.
[22] K. Moriyasu (1983) em An Elementary Primer For Gauge Theory, World Scientific
Co Pte Ltd.
[23] H. Weyl (1922) em Space Time Matter. Dover, New York.
[24] H. Weyl (1929) em Zeit.Phys. 56, 330.
[25] C.N. Yang e R. Mills (1954) em Phys. Rev. 96, 191.
Addison Wesley.
[26] H. Goldstein (2001) em Classical Mechanics, Terceira edicao,
[27] P.Bergmann (1979) em Physics Today, 44, March.
[28] V. Fock (1927) em Zeit. Phys. 39, 226.
[29] F. London (1927) em Zeit. Phys. 42, 375.
[30] M. D. Maia (2011) em Geometry of the Fundamental Interactions: On Riemanns
Legacy to High Energy Physics and Cosmology, Springer.
131

[31] T. Appelquist, A. Chodos e P. Freund (1987) em Modern Kaluza-Klein Theories,

Addison Wesley.
[32] J. Vinet (2005) em Aspects of Braneworld Cosmology, PhD Thesis, McGill University.
(1912) em Zur theorie der gravitation vom standpunkt des rela[33] G. Nordstrom

tivitatsprinzips
, Ann. Phys. 42, 533-554.

[34] T. Kaluza (1921) em Zum Unitatsproblem

der Physik , Preuss. Akad. Wiss. Berlin,
Sitz.ber, 966 .
[35] H. Thirring (1918) em Phys. Zeits. 19, 204 .

[36] O. B. Klein (1926) em Quantentheorie und funfdimensionale

Relativistatstheorie
,

Zeit. fur
Phys, 37, 895-906.
[37] O. B. Klein (1926) em The atomicity of electricity as a quantum theory law , Nature
118, 516.

[38] Y. R. Thiry (1948) em Les equations

de la theorie
unitaire de Kaluza , Comptes
Rendus 226, 216 .
[39] A. Einstein e P. Bergamann (1938) em Ann. Math. 39, 683 .
[40] B. DeWitt (1964) em Relativity, Groups and Topology Gordon and Breach, NY.
9, 143.
[41] R. Kerner (1968) em Ann. Inst. H. poincare,
[42] Y. M. Cho (1975) em J. Math Phys, 16, 2029.
[43] E. Cremmer e J. Scherk (1976) em Nucl. Phys. B108, 409.
[44] R. Coquereaux and Jadczyk (1988) em Riemannian Geometry,Fiber Bundles,
Kaluza-Klein Theories and All That... World Scientific.
[45] J. F. Luciani (1978) em Nucl. Phys. B135, 111.
[46] P. Jordan (1959) em Z.F. Physik 157, 112.
[47] A. Salam e J. Strathdee (1982) em Ann. Phys (NY) 141, 316.
132

[48] A. Chodos e Detweiler (1980) em Phys. Rev. D21, 2167.

[49] E. Witten (1985) em Proceedings of the Shelter IslandConference MIT Press,
Cambridge. Mass.
[50] C. Wetterich (1984) em Nucl.Phys. B242, 473.
[51] S. Weinberg (1984) em Phys. Lett. 138B, 47
[52] M. Planck (1907) em Theoryod Heat Radiation 2nd edition, Blackistons Son and
Co, Philadelphia, PA.
[53] E. M. Lifshits (1941) em On the Theory of Second-Order Phase transition 1 and 2
Zr. Eksp. teor. Fiz 11 255- 269.
[54] R.S. Deccaet al (2007) Eur. Phys. J. C51, 963, arXiv:0706.3283 .
[55] J. M. Maldacena (1998) em Advances in theoretical and Mathematical Physics 2:
231-252.
[56] Ashtekar (1986) em Phys. Lett. 57, 2244.
[57] N. Arkani-Hamed, S. Dimopoulos and G. Dvali (1998) em Phys. Lett B 429, 263272.
[58] L. Randal e R. Sundrum (1999) em Phy. Rev. Lett, 83,17, 3370.
[59] L. Randal e R. Sundrum (1999) em Phy. Rev. Lett, 83,23, 4690.
[60] Y. Neeman (1965) em Rev. Mod. Phys 37, 1.
[61] C. Fronsdal (1958) em Phys. Rev. 116, 778.
[62] M. D. Kruskal (1960) em Phys. Rev. 119, 1743.
[63] M. D. Maia (1984) em Phy Rev D vol31,n 2.
[64] D. C. N. Cunha (2012) em the Sixth International School On Field Thepry and
Gravitation. AIP Conference Proceedings, vol 1483,pp. 429-434.
[65] H. R. Sepangi, S. Jalalzadeh e B. Vakili (2008) em arXiv:gr-qc/0409070v3
133

[66] M. D. Maia, J. S. Capistrano , J. S. Alcaniz e E. M. Monte (2011) em

arXiv:1101.3941v1 gr-qc
[67] V. A. Rubakov e Shaposhnikov (1983) in Do We Live Inside a Domain Wall? ,
Physics Letters 125B, 2,3.
Quantica

[68] N Silva (2007) em Gravitacao

em Branas-Mundo, Tese de Doutorado,
UnB-IF.
[69] M. D. Maia e E. M. Monte em On the stability of Black Holes at the LHC,
arXiv:0808.2631 .
[70] L. D. Landau e E. M. Lifschits (1975) in The Classical Theory of Fields , Pergamon,
Oxford.
[71] B. Holdon (1983) in The Cosmological Constant and The Embedded Universe,
Stanford preprint ITP-744.
[72] J. Rosen (1965) , Rev Mod Phys vol 37, n1.

134