Você está na página 1de 15

Notas sobre gravidade em 3 dimens

oes
Last version: November 1, 2010

IFSC

G. Luchini

Notas sobre gravidade em 3 dimens


oes

Aspectos introdut
orios da relatividade geral

Gravitation is not responsible for people falling in love.

Discutimos aqui certos aspectos da teoria da relatividade geral no intuito de fixar alguma notac
ao e
relembrar ao leitor, se for o caso, alguns conceitos basicos porem importantes para o que nos propomos a
fazer nesta dissertac
ao.
Em particular, desenvolvemos algumas peculiaridades da gravitacao em 3 dimensoes, do ponto de vista da
aproximac
ao newtoniana da teoria, o que nos leva a um primeiro encontro com o carater topologico da
mesma. Ainda neste captulo introduzimos o conceito de difeomorfismo, que sera fundamental durante todo
o trabalho. Nos baseamos fortemente em [?], que deve ser levado em conta para um estudo mais aprofundado
e geral.

A a
c
ao de Einstein-Hilbert da gravitac
ao

Um dos nossos objetivos e o de estudar a possibilidade de se construir uma teoria quantica para a gravitac
ao
de maneira minimamente semelhante ou ao menos inspirada nas teorias quanticas formuladas para as outras
interac
oes na Natureza (conhecida). Deste modo, nada mais natural que buscar escrever a relatividade geral,
que e a teoria que acreditamos descrever a gravidade em todos os seus aspectos, como uma teoria de campos,
permitindo assim que desfrutemos de todas as vantagens que este formalismo oferece. O primeiro passo nessa
direc
ao e a construc
ao de uma ac
ao que leve `as equacoes de movimento da teoria. Comecemos entao por
uma discuss
ao sobre essas equac
oes.

2.1

Sobre a equac
ao de Einstein da relatividade geral

Tomemos como ponto de partida a filosofica machiana da relatividade geral, que nos indica que as leis da
gravitac
ao devem assumir a forma tensorial G T , sendo o lado esquerdo dessa equacao relativo `
a
geometria do espaco-tempo, enquanto o lado direito diz respeito `a distribuicao de materia-energia.
Daqui, n
ao e difcil conceber algumas propriedades do tensor G , chamado tensor de Einstein. Em primeiro
lugar, sendo o tensor energia-momento simetrico[?], o tensor de Einstein tambem deve ser. Alem disso,
da conservac
ao de energia e materia, representada pela equacao de divergencia nula T = 0, temos,
consequentemente, G = 0.
Resta-nos ent
ao encontrar a quantidade G adequada satisfazendo estas condicoes.
A propriedade fundamental na soluc
ao desse problema e a chamada identidade de Bianchi, que e satisfeita
pelo tensor de curvatura de Riemann, R :

R
+ R
+ R
=0

Reescrevendo essa equac


ao em sua forma completamente covariante e usando as propriedades de antisimetria do tensor de curvatura[?], ficamos com
R R R = 0
Como o tensor de Einstein e um objeto com dois ndices apenas, contramos a equacao acima com g g ,
e usando a compatibilidade da metrica com o operador derivada covariante, i.e., g = 0, obtemos

(g R
) (g R
) (g R
)=0

Agora, com a definic


ao do tensor de Ricci R := R
e do escalar de Ricci R := g R , ficamos com

R R R = 0
que pode ser escrita como

Page 2 of 15

Notas sobre gravidade em 3 dimens


oes



1
R R = 0
2
de modo que o termo entre parentesis e um candidato a tensor de Einstein, pois sua divergencia e nula.
Portanto, podemos escrever


1
G = R R = 0
2
sendo um escalar.
Para mostrar que a quantidade assima e simetrica, e portanto, e o tensor de Einstein que procuravamos,
basta usar novamente as propriedades de antisimetria do tensor de curvatura1 :

R = R
= g R = g R = g R = R

Como mencionamos, e dada `


a relatividade geral o status de descrever corretamente a natureza do campo
de gravitac
ao. Portanto, devemos esperar que a constante de proporcionalidade da equacao de Einstein
fique determinada se tomarmos a gravitac
ao de Newton como limite da relatividade geral, em 4 dimens
oes,
quando o campo e fraco. Do ponto de vista geometrico, isso significa que para um campo fraco o espaco-tempo
torna-se quase plano, aonde vale a teoria da relatividade especial, e, para baixas velocidades, a gravitac
ao
de Newton, na qual o potencial gravitacional devido `a uma distribuicao de materia e determinado pela
equac
ao de Poisson
2 = 4G
sendo G a constante gravitacional, que tem valor aproximado de 6, 67 1011 N m2 /Kg 2 .
Encontrar a constante de proporcionalidade entre o tensor de Einstein e o tensor energia-momento nao e um
problema muito complicado, e vale a pena resolve-lo aqui por dois motivos: primeiro, para ganhar um pouco
mais de intuicao sobre o assunto com o qual queremos lidar, e segundo, porque o tipo de calculo envolvido
nesse problema reaparecer
a um pouco mais adiante, e portanto, podemos ganhar experiencia com ele agora.
Em primeiro lugar, vamos traduzir matematicamente a expressao limite de campo fraco. O esprito aqui e o
seguinte: na ausencia de campo gravitacional, a geometria do espaco-tempo e plana, e portanto, as partculas,
campos, etc. movimentam-se sobre um palco de fundo: o espacotempo de Minkowski, da relatividade
restrita, cuja metrica e = diag(1 + 1 + 1 + 1). Introduzir um campo gravitacional fraco nesse ambiente
significa perturbar a metrica plana usando uma quantidade dinamica h (x), sendo | h | 1, de modo que
a metrica do espaco-tempo pode ser agora aproximada por g ' + h .
Em um espaco-tempo sem campo de gravitacao, uma partcula livre move-se, de acordo com a primeira lei

cao dessa equacao para


de Newton, em uma linha reta, com velocidade v constante: dv
d = 0. A generaliza
um espaco-tempo curvo e a chamada equac
ao da geodesica

sendo o smbolo de Christoffel

dv
dx dx
+
=0
d
d d
dado por


1 
g
g + g g
(1)
2
Alem do limite do campo fraco, devemos ainda tomar em conta o limite para velocidades pequenas.
Em escalas at
omicas, i.e., para dist
ancias de ordem entre 106 e 1014 metros, podemos encontrar partculas
com velocidades apreciavelmente pr
oximas `
a da luz, c ' 2, 99 108 m/s. Para maiores distancias, as velocidades usuais s
ao muitssimo menores. Portanto, so haveria necessidade de considerarmos grandes velocidades
se a gravidade nas escalas at
omicas fosse relevante, o que nao e o caso. Nessa escala, a forca eletromagnetica
e incrvelmente maior que a gravitacional. Para se ter uma ideia, a forca eletrostatica entre um proton e um
eletron e da ordem de 1040 vezes mais forte que a forca gravitacional entre eles.
Assim, resta-nos considerar velocidades tais que v  c. Tomemos entao a razao entre a velocidade e a
velocidade da luz como de ordem , i.e. vc . O tempo proprio de uma partcula que se move num caminho
com elemento de linha ds e dado por d = ds
c , que quando escrito em termos do tempo medido no referencial
de um outro observador fica
=

1 Tendo

em vista que a segunda parte, referente ao tensor


e naturalmente sim
etrica.

Page 3 of 15

Notas sobre gravidade em 3 dimens


oes

r
ds
v2
= dt 1 2
d =
c
c
de modo que, no limite de baixas velocidades, ate primeira ordem em , o elemento de linha, tambem
chamado de comprimento de arco, e
ds cdt
Portanto, tomando o comprimento de arco como parametro, as componentes espacial e temporal da
velocidade s
ao dadas por
dxa
ds
dx0
ds

=
=

dxa dt
1
' va ' 0
dt ds
c
dx0 dt
1
' c=1
dt ds
c

Ainda, a derivada com respeito ao tempo proprio fica

=
a

c x
xa
logo, podemos aproximar o operador de DAlembert pelo operador de Laplace, ou seja, podemos desprezar
derivadas (segundas) temporais, que s
ao de segunda ordem em .
a
Finalmente, na equac
ao da geodesica, parametrizada no comprimento de arco, como os termos com dx
ds se
anulam, resta-nos somente2
 dx0 2
1 d2 xa
a
+

=0
00
c2 dt2
ds
O smbolo de Christoffel, definido em 1 fica entao

1 a 
g
20 g0 g00
2
Localmente, e sempre possvel diagonalizar a metrica, portanto
a00 =

a00

=
=
'
'


1 a 
g
20 g0 g00
2
1 a
g g00
2
1
(1 ha ) (00 + h00 )
2
1 a
h00
2

Finalmente, a equac
ao de movimento nos da
d2 xa
c2
' a h00
2
dt
2
2

Por outro lado, para o campo gravitacional, temos que ddtx2 = a . Logo, comparando as equac
oes,
conclumos que a componente puramente temporal da perturbacao gravitacional e proporcional ao potencial de Newton, e portanto a componente puramente temporal da metrica do espacotempo e dada, nessa
aproximac
ao por

2 
g00 = 1 + 2
c
2 aonde

usamos

d
ds

1 d
c dt

Page 4 of 15

Notas sobre gravidade em 3 dimens


oes

Observe que teramos obtido o mesmo resultado (muito mais facilmente) se, ao tomarmos a metrica
diagonal, tivessemos simplesmente dito que o nosso universo e estatico no tempo, ou seja, 0 g = 0. Isso,
de fato, concorda bastante com a fsica de Newton!
Passamos agora `
a discuss
ao da parte relativa `a materia e energia da equacao de Einstein, deixando o
resultado acima para ser usado no momento adequado.
A primeira pergunta que devemos nos fazer e o que significa o tensor T na fsica de Newton. Notadamente,
o universo cl
assico e composto de corpos celestiais perambulando num plano de fundo. Entao, a primeira
possibilidade e considerarmos uma partcula pontual movendo-se no tecido espaco-temporal, livremente. Isso
significa que sua traget
oria e descrita pela extremalizacao da acao
Z
Sm = mc ds

entre os pontos inicial e final do caminho , rotulados no tempo proprio da partcula por 1 e 2 .
Ent
ao, tomemos a variac
ao da metrica do espaco-tempo na acao
Z 2 q
Sm = mc
d g (x( ))x ( )x ( )
1

considerando que g (x(1 )) = 0 = g (x(2 )). Alem disso, por se tratar aqui de partculas pontuais, a
variac
ao da metrica do espaco-tempo e tomada como uma variacao num ponto:
Z
g (x( )) = d4 yg (y) 4 (y x( ))
Assim
Sm =

mc
2

Z
d

d4 y 4 (y x( )) p

x ( )x ( )
g (y)
g (x( ))x ( )x ( )

Como o termo no denominador e exatamente 1c , e ainda, usando a definicao para o tensor energia-momento
como[?]
2 Sm
T =
g g
temos
mc2
T (y) = p
g(y)

d 4 (y x( ))x ( )x ( )

Definindo a densidade
m
(y) =
g
e tambem

d 4 (y x( ))



x := u (y)

y=x( )

temos que T = c2 u u e o tensor energia-momento correspondente.


N
ao e difcil de ver que e a densidade de massa no referencial proprio da partcula.
Para o nosso prop
osito, i.e., a aproximac
ao newtoniana da relatividade geral, consideremos a partcula parada
no espaco, ou seja, u = (1 0 0 0). Ent
ao, a u
nica componente do tensor energia-momento que nao se anula
e a puramente temporal, T00 = c2 .
Calculemos agora a componente puramente temporal do tensor de Ricci. Tomando a aproximacao linear na
metrica do tensor de curvatura
R =


1
g g g + g
2

(2)

e usando uma metrica diagonal,

Page 5 of 15

Notas sobre gravidade em 3 dimens


oes

=
=
'

g R

1 
g
g g g + g
2

1 

h h h + h
2

a componente puramente temporal do tensor de Ricci fica


1
h00
2
Usando o resultado do caso esttico, aonde o dalambertiano fica igual ao laplaciano, temos
R00 '

1
a a
c2
Vamos escrever a equaca
o de Einstein como G = T . Usando o resultado que encontramos para o
tensor de Einstein, temos
R00 '

1
R g R = T
2

Multiplicando essa equac


ao por g , e definindo o traco do tensor energia-momento como T = g T ,

obtemos R = T . Ent
ao, podemos escrever o tensor de Ricci como
R =



1
T g T

Assim,
R00 '

T00
2

de onde vem que


a a =

4
c
2

que e a equac
ao de Poisson.
Portanto, temos o valor da constante de proporcionalidade desejada:
8G
1
R g R = 4 T
2
c
Uma quest
ao relevante que surge e sobre a relacao entre a relatividade geral, o limite newtoniano e a
dimens
ao do espaco-tempo. Vimos que para se obter a teoria de Newton como um limite quasi -plano da
gravitac
ao, tomamos em conta que nosso universo tem 4 dimensoes. Entao, seria possvel, obter esse limite
tomando a relatividade geral para dimens
oes maiores ou menores que 4? Mais adiante iremos tratar essa
quest
ao para 3 dimens
oes.

2.2

Introduzindo a ac
ao

Depois de brevemente vislumbradas as equacoes de Einstein que descrevem a dinamica do espaco-tempo,


concentramo-nos agora na discuss
ao da ac
ao que nos leva a elas.
Historicamente, a construc
ao dessa ac
ao, chamada acao de Einstein-Hilbert, e bastante intrigante, cheia de
reviravoltas... um drama cientfico e pessoal, muito bem descrito em [?].
Enfim, n
ao podemos e nem devemos aqui reproduzir os passos que foram dados no seculo passado para se
chegar a ac
ao desejada. Faremos porem, uma discussao padrao, com argumentos para explicar a escolha
da ac
ao como ela e. Maiores detalhes podem ser encontrados em quase todos os bons livros de relatividade
geral. Baseamo-nos essencialmente em [?].
Em geral, uma teoria de campos, (e.g. eletromagnetismo) ou mesmo uma mecanica classica, e formulada
com base em uma lagrangiana com dependencia nas variaveis de configuracao e suas derivadas primeiras. O

Page 6 of 15

Notas sobre gravidade em 3 dimens


oes

primeiro criterio em qualquer uma dessas teorias e que a lagrangiana seja um escalar (sob transformac
oes
de Lorentz no primeiro caso, e sobre transformacoes de Gaileo, no segundo), o que restringe, com efeito, as
possibilidades de termos a serem introduzidos.
Ao imaginarmos a gravitac
ao como uma teoria de campos, imediatamente podemos identificar a metrica
g (x) como a vari
avel (campo) de configuracao. Portanto, poderamos esperar, a priori, uma lagrangiana
do tipo L(g (x), g (x)), i.e., um funcional escalar com dependencia nas coordenadas e velocidades.
No eletromagnetismo, por exemplo, tomamos o potencial A (x) como variavel de configuracao e a lagrangiana
fica dada por L(A (x), A (x)). A pr
oxima etapa e ver quais termos ou combinacao de termos podemos
usar. Ainda no eletromagnetismo, temos, por exemplo, A , A A , etc. aonde a imposicao que fazemos
a esses termos e que sejam escalares de Lorentz, que e o grupo de simetria espaco-temporal de qualquer
teoria relativstica. Assim, colocamos na lagrangiana todos os termos possveis e com argumentos fsicos,
etc. eliminamos uns e outros, de maneira que ao final, resta-nos, para a teoria dita no vacuum, entendido
aqui como uma regi
ao do espaco-tempo sem materia carregada, a lagrangiana L = 14 F F , onde F e o
campo eletromagnetico, definido por F = A A .
Voltemos ent
ao `
a quest
ao da gravitac
ao. Qual deve ser a lagrangiana dessa teoria? O eletromagnetismo
vai nos acompanhar durante todo esse trabalho, pois ele e uma especie de teoria modelo, de modo que para
entender o que ocorre com a gravidade, podemos tentar buscar um analogo eletromagnetico, guardadas as
proporc
oes, por quest
ao de simplicidade e intuicao.
Note que para a lagrangiana do eletromagnetismo, exigimos que o princpio da relatividade restrita seja
satisfeito, ou seja, que as leis da fsica sejam as mesmas para obseravadores inerciais, sendo a velocidade da
luz o limite para as velocidades existentes, e com o mesmo valor em qualquer referencial. Esse princpio fsico
nos leva `
a conclus
ao de que o grupo de simetria da teoria e o grupo de Lorentz, e portanto, as quantidades
que podem ser colocadas na lagrangiana devem ser escalares de Lorentz. Agora, e para a gravidade? Qual
princpio fsico deve ser satisfeito? Consequentemente, qual o grupo de simetria da teoria?
Essa foi exatamente a quest
ao prim
aria, por assim dizer, na busca de uma generalizacao da teoria da relatividade restrita. O princpio fsico aqui presente e chamado de princpio da relatividade geral, e diz que as leis
da fsica devem ser as mesmas para quaisquer observadores. A reflexao sobre o assunto nos leva a conclus
ao
de que, em quatro dimens
oes, por exemplo, o grupo de simetria deve ser o GL(4, R) local, que constitui-se
das transformac
oes gerais de coordenadas, invertveis [?].
Acontece que quantidades envolvendo derivadas primeiras da metrica nao sao escalares sob esse grupo, e
portanto, nosso primeiro palpite est
a equivocado. A solucao imediata e tentar aumentar a derivada: vamos
buscar uma lagrangiana que seja func
ao da metrica e das derivadas primeiras e segundas da metrica.
Eis que nessas circunst
ancias as coisas parecem mais agradaveis, afinal, o tensor de Riemann, como vimos
anteriormente, e exatamente func
ao das derivadas primeiras e segundas da metrica.
Ora, o tensor de Riemann n
ao poderia entrar sozinho na lagrangiana, pois precisamos de uma quantidade
escalar. Uma tentativa, por exemplo, seria uma contracao do tensor de curvatura com o tensor de LeviCivita. Enfim, pode-se pensar em algumas maneiras, e algumas outras quantidades que poderiam aparecer
aqui. Entretanto, felizmente, a quantidade escalar que deve aparecer na lagrangiana e bastante simples: o
escalar de Ricci. A resposta para isso encontra-se no seguinte: em n dimensoes, o tensor de Riemann tem
1 2 2
oes, ficamos com 20. Localmente, podemos
12 n (n 1) componentes independentes, portanto, em 4 dimens
fixar os graus de liberdade de Lorentz, que sao 3 rotacoes e 3 boosts. Assim, ainda restam 14 componentes
independentes. Entretanto, dessas componentes, o escalar de Ricci e o u
nico escalar que e linear nas derivadas
R
segundas da metrica. Portanto, a est
a nosso candidato. Assim, poderamos escrever a acao como d4 xR.
Entretanto, um problema aparece: essa ac
ao nao e invariante sob tansformacoes gerais de coordenadas. Note
que, de fato, o problema est
a na medida de integracao.
Considere uma tranformac
ao de coordenadas x x0 = x +  (x). O elemento de volume d4 x se
0
4
transforma com uma matriz jacobiana, como segue d4 x0 | x
ao
x | d x, aonde as entradas da matriz s
0
0
x
x

x = +  e portanto, em primeira ordem, temos | x |' 1 +  , o que resulta em uma transformac


ao no elemento de volume dependente da divergencia do parametro infinitesimal.
0
Porem, note que sob a mesma transformacao de coordenadas, a metrica se transforma como g
(x0 ) =
x x
4
x0 x0 g (x), de modo que o produto d x g fica invariante.
Assim, a ac
ao que descreve a relatividade geral em 4 dimensoes e
Z

Ig =
d4 x g R
(3)
M

Page 7 of 15

Notas sobre gravidade em 3 dimens


oes

c
2, 41 1047 g cm s2 .
aonde = 16G
Notadamente, essa ac
ao descreve a gravitacao na ausencia de materia, que sera chamada de gravitac
ao
no v
acuo.
Para entender melhor o que esperamos de uma tal teoria3 , vamos olhar por um instante o seu analogo para
o eletromagnetismo, o chamado eletromagnetismo no vacuo, descrito pela acao
Z
1
S=
F F
sendo F = A A
4

As equac
oes de movimento para a ac
ao do eletromagnetismo acima sao dadas por F = 0. Nos perguntamos ent
ao qual a soluc
ao dessa equac
ao. Para tanto, tomamos a definicao do campo eletromagnetico, obtendo
A A = 0. Devemos ent
ao resolver essa equacao para A , dadas certas condicoes de contorno
especficas, que caracterizam a situac
ao fsica de interesse, encontrando assim a dinamica desse campo. A
quest
ao central aqui concerne o que n
os entendemos por dinamica. Na experiencia quotidiana, entender a
din
amica de algo significa poder prever de alguma maneira seu comportamento no passado e/ou no futuro.
Est
a implcita a ideia de tempo, como uma coordenada especial, com respeito a qual as quantidades de
interesse fsico devem ser parametrizadas e consequentemente, devem evoluir. O tempo, por si so nao tem
din
amica.
De fato, sendo o eletromagnetismo uma teoria de campos formulada sobre o espaco-tempo de Minkowski,
aonde a noc
ao de tempo e fixa e conhecida a priori, e inclusive, a coordenada tempo sendo bastante diferenciada das demais coordenadas, podemos decompor a equacao acima em parte espacial e temporal, e reconhecer
as partes espacial e temporal de A : o potencial vetor e o potencial escalar. Assim, entender a dinamica do
sistema aqui discutido e resolver as equac
oes para esses potenciais.
Sabemos que ao fazer isso, obtemos como solucoes funcoes ondulatorias. Ou seja, mesmo na ausencia de
materia, existe uma onda que se propaga no espaco-tempo, i.e., existe alguma coisa, se propagando em algum lugar.
Voltamos ent
ao para o nosso caso gravitacional. O que podemos esperar da gravitacao na ausencia de
materia?
A princpio, seguindo o resultado do eletromagnetismo, podemos esperar que o campo de gravitacao se
propague. Entretanto, rapidamente percebemos o grande problema no qual nos encontramos: o campo de
gravitac
ao e o pr
oprio espaco-tempo. Aonde ele iria se propagar? Qual o sentido da palavra propagac
ao
aqui? Afinal, propagac
ao com respeito a que, se o tempo nao esta definido, a priori ?
Essas quest
oes nos mostram imediatamente o quao particular e a gravidade.
Bem como fizemos para o eletromagnetismo, tentar resolver as equacoes de movimento e um excelente caminho para entender melhor a teoria. Com efeito, vamos tomar um caso particular, primeiramente com uma
fonte, dada pelo campo eletromagnetico.
Nesse caso, a teoria e descrita pela ac
ao I = Ig + Im , aonde naturalmente, a acao da materia deve ter,
alem das simetrias usuais, relacionadas ao campo eletromagnetico, a invariancia sob transformacoes gerais
de coordenadas. Para tanto, substitumos as derivadas parciais por derivadas covariantes , e a metrica
de Minkowski e substituida por g :
Z

1
d4 x g g g F F
F = A A
Im =
4
Assim, temos do princpio de Hamilton que
Z
I
I
I =
g +
A = 0
g
A
O primeiro termo do lado direito da equacao acima resulta na equacao de Einstein G T , enquanto
o segundo, na equac
ao de movimento do eletromagnetismo covariante, i.e., acoplado com o campo de gravidade.
Assim, a soluc
ao do primeiro, que deve determinar a metrica, afeta o segundo, que contem a metrica; por
outro lado, a soluc
ao do segundo, que determina o campo A , afeta o primeiro, que dele depende.
A maneira mais simples de visualizarmos isso e com um exemplo de mecanica classica, aonde uma partcula
est
a constrangida a se mover sobre uma superfcie. Naturalmente, a superfcie aqui se porta como um campo
3 Devemos lembrar que n
ao
e nossa intens
ao estudar profundamente o significado do v
acuo em gravitac
ao cl
assica e muito
menos qu
antica. O u
nico prop
osito aqui
e entrar numa discuss
ao que vai acabar nos levando ao conceito de independ
encia de
background da relatividade geral.

Page 8 of 15

Notas sobre gravidade em 3 dimens


oes

de fundo, como o palco, aonde a partcula se move. Nao ha qualquer resposta da superfcie sobre o movimento
da partcula, no sentido de podermos substituir a superfcie por uma restricao estatica, imutavel, nas
coordenadas da partcula.
Entretanto, trazendo a situac
ao acima discutida para este exemplo, a medida que a partcula se move sobre
a superfcie, sua forma vai sendo alterada de acordo, no sentido que ha uma interacao dinamica entre a
partcula e a superfcie.
Portanto, a gravitac
ao e uma teoria chamada de independente de background , ao contrario das demais
teorias de campos usuais.
No que diz respeito `
a teoria no v
acuo, e difcil falar em propagacao, afinal, o campo de gravitacao nao tem
aonde se propagar. Mais ainda, uma vez determinada a metrica atraves de G = 0, ela nao deve se alterar,
afinal, pelo que acabamos de ver, e necess
aria uma fonte para tal.
Entretanto, e possvel observarmos propagac
ao de pequenas perturbacoes de um campo de fundo em pequenas regi
oes do espaco-tempo. Por exemplo, numa vizinhanca plana e possvel introduzirmos um pequeno
campo de gravitac
ao e observarmos sua propagacao sobre ela.

Aproxima
c
ao de campo fraco

3.1

A equac
ao de Einstein para o campo fraco

Consideremos, como j
a fizemos antes, a metrica do espaco-tempo n-dimensional dada por
g = + h

(4)

aonde h e uma pequena perturbac


ao em primeira ordem do espaco-tempo de Minkowski. Qualquer
quantidade de ordem | h |2 deve portanto ser desprezada nos calculos que seguem.
Ent
ao, para escrever o tensor de Einstein G = R 21 g R, comecamos por perturbar o smbolo de
Christoffel:

=
'


1 
g
g + g g
2

1 

h + h h
2

Lembrando que a metrica inversa, quando perturbada resulta em g = h . Para se convencer


desse fato basta calcular g g = ( + h )( h ) = + O(h2 ).
Assim, o tensor de Riemann


R
=
+

fica apenas com os dois primeiros termos, haja visto que os outros contem quantidades de ordem superior
em | h |.
Portanto, o tensor de Ricci, que entra na equacao da gravitacao fica

R = R
'

e usando o smbolo de Christoffel perturbado, temos

'
i
1h
'
( h + h h ) ( h + h h )
2
i
1h
=
h + h ( h + h)
2

aonde usamos a comutatividade entre as derivadas parciais e denotamos o traco da perturbacao por h.
O escalar de Ricci e dado por R ' R , uma vez que o segundo termo contem quantidades desprezveis na

Page 9 of 15

Notas sobre gravidade em 3 dimens


oes

nossa ordem de aproximac


ao. Assim, o resultado da contracao com da equacao acima, apos renomearmos
alguns ndices mudos, e
R ' h h
Finalmente, o tensor de Einstein fica

1
' R R
2
i 1
1h
h + h ( h + h) ( h h)
=
2
2

= h 1 h, cujo
Vamos agora, por conveniencia, reescrever essa quantidade em termos do campo h
2
1
2n
= h
= h h =
traco e h
e
2
2 h. Portanto, em termos do novo campo, temos que h
dado por
+
h = h

h
2n

que quando substitudo no tensor de Einstein da

'

1h
+ h ) + (h
+ h ) (h
+ h ) 2h
(h
2
2n
2n
2n
2n


i
h
2
h
+
(h
)
2n
2n

1h
2
h

+
h 2 h
h + h
h
2
2n
2n 2n
i

h + 2h
h
2n
2n
i
1h

h
h

h + h
2

Podemos ent
ao escrever a equac
ao de Einstein como
1 h
T
) 1 h
(5)
( h
2
2
Veremos agora que gracas a uma simetria envolvida nesse problema, podemos simplificar a equacao acima,
tornando-a mais promissora no que diz respeito `a sua resolucao.

3.2

Uma breve discuss


ao sobre difeomorfismos

Vamos introduzir o conceito (bastante abstrato, nesse primeiro momento) de difeomorfismos, ou transformac
ao de difeomorfismo. Com efeito, a simetria a qual nos referimos acima e aquela relacionada `a uma
tal transformac
ao.
Primeiro, consideremos o mapeamento : M N entre duas variedades e consideremos tambem uma
func
ao f : N R em C (N ).
Definimos o pull-back de f como a composic
ao f : M R.
O mapeamento pode ser linearizado em certo sentido como o mapeamento entre os espacos tangentes em
` essa linearizacao damos o nome de push-forward e definimo-la pela acao do
cada ponto das variedades. A
vetor mapeado em N sobre a func
ao f , como segue:
: Tp (M)
v

T(p) N
( v)

tal que

( v)(f ) = v(f )

O mapeamento : M N pode tambem fazer o pull-back de formas diferenciais, de T(p)


N para
Tp M. Basta para isso, definirmos o pull-back como

Page 10 of 15

Notas sobre gravidade em 3 dimens


oes

(N )
: T(p)

Tp M

( )

tal que

( )(v) = ( v)

Apesar de claro, vale a pena lembrar que T(p)


(N ) e v Tp (M).

Em particular, podemos mapear a 2-forma correspondente `a metrica em T(p)


(N ) para aquela em Tp (M),



fazendo ( g)(u, v) = g ( u), ( v) .


Agora, algo muito interessante ocorre quando requeremos que seja, alem de C , uma bijecao, tendo portanto, uma inversa 1 tambem em C .
Primeiramente, isso implica que M e isom
orfica a N , de modo que ambas variedades podem ser vistas como
representando o mesmo espaco-tempo, e sendo uma transformacao de coordenadas, chamada difeomorfismo.
A propriedade interessante surge exatamente a partir da existencia dessa inversa, juntamente com um problema, ou melhor, uma limitac
ao, na definic
ao do pull-back e do push-forward para tensores arbitrarios.
Vemos que, da mesma forma que estendemos a acao de em uma 1-forma para uma 2-forma, podemos
continuar o processo para uma n-forma. Alem disso, podemos usar para fazer o push-forward nao s
o
de vetores, mas tambem de qualquer tensor do tipo (m, 0). Entretanto, nao se pode atuar com ou
em tensores mistos j
a que por definic
ao, o pull-back so enxerga ndices inferiores, e o push-forward, ndices
superiores.
Afortunadamente, quando e um difeomorfismo, como definido anteriormente, a inversa 1 pode ser usada
para estender a definic
ao de push-forward para todos os tipos de tensores, pois (1 ) : T(p) M Tp M e
ent
ao, podemos definir um tensor do tipo (m, n) em (p) usando o push-forward de um tensor do tipo (m, n)
em p como4

( T )ba b v a = Tab ( )b ([1 ] v)a


O campo fundamental da gravitac
ao e o tensor metrico g . Mas, para descrever a gravidade, precisamos
ainda da estrutura da variedade M, portanto, precisamos do par (M, g ), e nao somente de um ou de outro.
De maneira ingenua5 pensamos num difeomorfismo como uma troca de coordenadas.
Conclumos portanto que os difeomorfismos nao devem afetar medidas de distancias e angulos no espacotempo. Dado o espaco-tempo (M, g ) e o espaco-tempo (M, g ), devemos encara-los como o mesmo
espaco-tempo fsico.
Dessa observacao, podemos dizer que difeomorfismos se parecem bastante com transformacoes de gauge, aonde
o campo fundamental e transformado, e.g. no eletromagnetismo, A A + A, enquanto as quantidades
realmente fsicas n
ao o s
ao; no caso, F (A + A) = F (A).
Os objetos matem
aticos que usamos para descrever a nossa teoria sao funcoes, formas diferenciais , tensores,
etc.
Naturalmente, precisamos entender como tais quantidades se comportam quando transformadas por um
difeomorfismo, que como vimos, s
ao transformacoes gerais de coordenadas.
Consideremos, inicialmente, uma 0-forma f (x), e a transformacao de coordenadas x0 = x0 (x), que denotamos
em componentes por x0 = x + (x). Dizer que essa funcao e invariante sob essa transformacao e dizer que
x 7 x0 f (x) 7 f 0 (x0 ). Portanto, a funcao deve mudar a sua forma, de modo a manter o resultado o
mesmo. Sendo a transformac
ao infinitesimal, tomemos uma aproximacao de Taylor em primeira ordem:
f 0 (x + ) = f 0 (x) + f 0 (x)
Definindo a variac
ao funcional de f como f = f 0 (x) f (x), podemos substituir os termos f 0 (x) acima por
f (x) + f (x), ficando com a forma original da funcao. Novamente, desprezando termos de segunda ordem
em diante, temos
f 0 (x + )

= f (x) + f (x) + (f (x) + f (x)) = f (x)

f (x)

= f (x)

4 Aqui, os
ndices devem ser tratados como quantidadesmsticas, cujo papel
e simplesmente indicar o tipo de objeto aos
quais est
ao agregados
5 O que estamos fazendo aqui
e explicar o ponto de vista passivo do difeomorfismo. A palavra ing
enua significa que n
ao
pretendemos entrar em detalhes.

Page 11 of 15

Notas sobre gravidade em 3 dimens


oes

Definindo L f (x) = f (x), chamada derivada de Lie de f , temos que f (x) = L f (x).
Agora, consideramos uma 1-forma = dx , e impomos a invariancia 0 (x0 )dx0 = (x)dx
Ent
ao
0 (x + )d(x + ) = (x)dx
Como e func
ao de x, podemos escrever d =
ordem, temos

x dx ,

de modo que, com a expansao ate primeira



0 (x) + 0 (x) dx + dx

= (x)dx

0 (x)dx + 0 (x) dx + 0 (x)dx

= (x)dx

Agora, usando a definic


ao da variac
ao funcional (x) = 0 (x) (x) acima, como fizemos no faso
anterior, para a func
ao f , obtemos


(x)dx = + dx
Analogamente, definimos a derivada de Lie da 1-forma como L = + .
Podemos continuar o processo para uma 2-forma, para uma 3-forma, etc., ate percebermos que de maneira
geral, para uma p-forma, a derivada de Lie na direcao do campo e
(L )1 ...p = 1 ...p + 1 2 ...p + 2 1 2 ...p + ... + p 1 2 ...p1
Vamos agora introduzir uma maneira mais interessante, por ser independente da escolha de coordenadas,
de expressarmos a derivada de Lie. Para tanto, precisamos do que se chama derivada interior.
Denotamos a derivada interior associada ao vetor por i . Essa operacao, na verdade, e uma anti-derivada,
levando p-formas em p 1-formas. O termo anti-derivada significa que a regra de Leibnitz em particular
quando aplicada ao produto de 1-formas, fica com o sinal trocado. De maneira geral: i ( ) = i +
(1)p i , aonde p indica que e uma p-forma.
Alem disso, como n
ao definimos formas com grau negativo, a derivada interior de uma zero forma deve ser
nula.
Assim, definimos a derivada interior da base {dx } como i (dx ) = . Logo, para uma 1-forma, = dx
temos
i = i ( dx ) = (i )dx + (i dx ) =
Para uma 2-forma, obtemos
i ()

=
=
=

1
i (dx dx )
2


1
(i dx )dx dx (i dx )
2


1
dx dx = dx
2

Note ainda que a derivada interior e nilpotente, ou seja, (i i ) = 0 Agora, afirmamos6 que a derivada
de Lie de uma forma diferencial e dada por


L = i d + d i
(6)
Rapidamente podemos checar que a definicao acima concorda com nosso resultado anteiror, para uma
0-forma:
L f = i df = i ( f dx ) = f
O mesmo pode ser feito para demais formas.
Finalmente podemos agora voltar ao nosso problema de resolver a equacao de Einstein no limite de campo
fraco.
6 Omitimos a prova dessa afirma
ca
o, entretanto, ela
e direta: basta verificar que a quantidade acima definida satisfaz as
propriedades da derivada de Lie (linearidade, Leibnitz, etc.), e verificar alguns exemplos explcitos.

Page 12 of 15

Notas sobre gravidade em 3 dimens


oes

3.3

Soluc
ao da equac
ao de Einstein para o campo fraco

Consideremos ent
ao o efeito de uma transformacao de difeomorfismo no campo de gravitacao, ou seja,
tomemos uma transformac
ao infinitesimal nas coordenadas
x 7 x + (x)
cujo efeito sobre a metrica e
dif f g L g = L ( + h ) = L h
O lado esquerdo dessa equac
ao fica
dif f g = g + ( )g + ( )g
Usando a compatibilidade da metrica (i.e., g = 0) o primeiro termo se anula, e mais ainda, da regra
da cadeia, e novamente, com a compatibilidade da metrica, obtemos
dif f g = + =: dif f h
2
Por outro lado, a derivada covariante do parametro e dada por = +
= + O( )
e portanto, na nossa ordem de aproximacao, podemos substituir a derivada covariante pela derivada
plana, associada `
a metrica de Minkowski:

dif f h = +

(7)

Como foi discutido na sec


ao precedente, as duas variedades espaco-temporais caracterizadas por metricas
que se distinguem por um quantidade dif f g , sao fisicamente as mesmas.
Na aproximac
ao que estamos considerando, essa equivalencia aparece na liberade de termos h e h +
dif f h gerando o mesmo espaco-tempo.
Vejamos agora como essa liberdade nos permite simplificar a equacao 5. Novamente, tomemos como exemplo
o eletromagnetismo no vacuum.
Temos, nesse caso, a seguinte equac
ao de movimento, analoga a 5: A A = 0. O grupo de
simetria, dita simetria de gauge, e o U (1), de modo que a seguinte transformacao deixa a fsica invariante:
A0 = A + .
Podemos escolher A tal que A = 0 seja satisfeita. Portanto, tomando a derivada da equacao anterior e
igualando-a a zero, de modo a fixarmos o gauge, temos que  = A , que podemos resolver.
Ainda resta-nos uma invari
ancia residual, dada por A0 = A + tal que A0 = 0 = A , de maneira
que resta-nos  = 0.
Isso e resolvido fazendo-se uma segunda fixacao de gauge: o gauge temporal A0 = 0.
Fizemos ent
ao duas fixac
oes sobre quatro componentes de A, o que resulta em dois graus de liberdade fsicos
na teoria, i.e., os dois graus de liberdade do campo eletromagnetico.
= 0, analoga `a fixacao de gauge descrita a pouco
Voltando para a gravitac
ao, vamos tomar a condicao h
para o eletromagnetismo.
T . Assim, no caso do vacuum, temos h
' 0, e portanto:
Da equac
ao 5 ficamos somente com h
h ' 0

(8)

Ainda podemos fazer mais uma fixac


ao para a invariancia de gauge residual, i.e., h 7 h + + ,
0 = h
= 0.
tal que h
Consideremos o caso em quatro dimens
oes (n = 4). O campo de gravitacao, por ser um tensor simetrico,
n(n+1)
possui
= 10 componentes. A escolha de gauge que fizemos fixa 4 desses graus de liberdade, restando
2
ainda 6 deles. Com a escolha do gauge residual, fixamos mais 4, sobrando finalmente 2 graus de liberdade,
que, como mostrado por Fierz e Pauli em 1939 podem ser pensados como referentes a uma partcula de spin
2 propagando-se no espaco-tempo plano.
Note que essa interpretac
ao s
o tem validade quando lidamos com um espaco-tempo de fundo, i.e., com a
teoria linearizada. Ela n
ao cabe na discuss
ao da teoria completa, independente de background.
Deixamos para a pr
oxima sec
ao a tentativa de solucao da equacao 8. Terminamos essa discussao com a
observac
ao de que a teoria linearizada da gravidade se aproxima bastante das teorias de gauge conhecidas, em
particular, do eletromagnetismo, em diversos aspectos. Mais do que isso, veremos como a teoria completa,
Page 13 of 15

Notas sobre gravidade em 3 dimens


oes

n
ao linearizada, pode tambem, em certo sentido, se aproximar de uma teoria de gauge. Essa relac
ao e
exatamente o que permite certos avancos no sentido de se quantizar a gravitacao.

3.4

A (aus
encia da) gravitac
ao de Newton em 3 dimens
oes

Vimos anteriormente que a gravitac


ao de Newton pode ser obtida como um limite da relatividade geral em
certas condic
oes, indicando pelo menos dois aspectos dessa teoria: (i) ela e mais fundamental que a gravitac
ao
de Newton e (ii) ela deve estar correta7 .
Um dos resultados obtidos pela relatividade geral e a existencia de ondas gravitacionais, que sao perturbac
oes
num espaco-tempo plano, satisfazendo a equacao 8.
Nessa sec
ao, faremos um estudo dessa equacao para o caso tridimensional, que e o caso de nosso interesse
para o restante do trabalho. Os c
alculos para mais dimensoes sao completamente analogos, e em particular,
para 4 dimens
oes podem ser encontrados na literatura padrao sobre o assunto[?], [?] [?].
Naturalmente, o candidado mais prov
avel para solucao da equacao 8 e a onda plana
= eik x
h
aonde e um tensor simetrico constante e = 0, 1, 2.
Substituindo esse candidato na equac
ao de onda, encontramos as condicoes necessarias que fazem dele a
soluc
ao:



eik x



ik eik x
k k eik x

0 k k h = 0 k k = 0

= 0, temos que
Agora, da fixac
ao de gauge h

eik x = 0 i k eik x = 0 k = 0
Da primeira dessas condic
oes temos que a onda deve ser propagar `a velocidade da luz, segundo a relac
ao
de dispers
ao 2 =| ~k |2 , sendo k = (, ~k).
possui 6 componentes. A segunda condic
Para o nosso caso de interesse, quando temos 3 dimensoes, h
ao
nos fornece as componentes que s
ao independentes. Mais explicitamente temos
00 + 0i k i

10 + 1i k i

20 + 2i k

com i = 1, 2. Daqui vemos que 3 componentes sao fixadas em termos das outras e da invariancia de gauge
residual podemos fixar as outras 3, de modo que nao ficamos com nenhum grau de liberdade.
Esse resultado e crucial e mais adiante vamos entender melhor o significado de uma teoria sem graus de
liberdade locais8 .
Ainda de forma mais geral, vamos considerar a teoria com fontes, i.e., com um tensor energia-momento
diferente de zero. Temos, nesse caso, a seguinte equacao para a perturbacao do espaco-tempo plano, no
gauge de Einstein:
= 2T
h
Contraindo essa equac
ao com a metrica de Minkowski e denotando o traco do tensor energia-momento
por T , temos
7 Claro que o fato de ela reproduzir resultados conhecidos em certos limites n
ao
eou
nica que sugere sua veracidade. Temos
hoje muitssimos dados experimentais referentes a
` situaco
es fsicas no pr
oprio regime da relatividade geral que nos mostram
isso.
8 Lembrando que essa aproxima
c
ao de campo fraco
e tomada localmente, de modo que todo resultado aqui obtido
e local.

Page 14 of 15

Notas sobre gravidade em 3 dimens


oes

= 2T
h
, temos que h
=
Como vimos, da definic
ao de h
relac
ao entre os dois campos se resume a

2n
2 h,

= 1 h, ou seja, a
e portanto, para n = 3, h
2

= h + h

h
o que nos leva `
a seguinte equac
ao de movimento:
= h + h
= 2T
h
Finalmente
h = 2(T T )

(9)

Agora, como j
a discutido anteriormente, tomando o limite newtoniano, i.e., quando v  c, temos que
~ 2 . Considerando tambem um tensor energia-momento cuja u

nica componente nao nula e T00 = (x),
0
2
~
temos T0 = , e ent
ao h00 = 2( ) = 0. Como h00 = 2, obtemos
~ 2 = 0

(10)

Esse resultado mostra que em 3 dimens


oes a materia nao produz qualquer efeito de interacao, tornando
a teoria trivial. Mais ainda, podemos sem muito trabalho calcular a geodesica seguida por uma partcula
nesse limite de campo fraco e vamos encontrar que a trajetoria e uma reta, i.e., a aceleracao e nula.
Essas observacoes que apontam uma aparente trivialidade na gravitacao em 3 dimensoes podem ser expressas
pelo fato de o tensor de Riemann, nessas circunstancias, ser completamente determinado pelo tensor de Ricci9 ,
via a seguinte equac
ao
1
R = g R + g R g R g R R(g g g g )
2

(11)

Ent
ao, contraindo a equac
ao de Einstein no vacuo R 21 Rg = 0 com a metrica, obtemos que o escalar
de Ricci se anula: R = 0. O que, por sua vez, quando substituido na propria equacao de Einstein, mostra
que R = 0. Esses dois resultados em 11 levam a10 R = 0. Isso significa que o espaco-tempo e plano.
Da a teoria ser trivial. Veremos que apesar disso, muitos aspectos interessantes podem ser obtidos de teorias
assim caracterizadas (n
ao s
o a gravitac
ao em 3 dimensoes).

9 Uma pista de que isso


e verdade consiste no n
umero de componentes independentes do tensor de Riemann em 3 dimens
oes,
que
e 6, bem como o n
umero de componentes independentes do tensor de Ricci nessas dimens
oes.
10 Uma discuss
ao sobre o significado geom
etrico da equac
ao de curvatura nula ser
a feita mais adiante.

Page 15 of 15

Você também pode gostar