Escolar Documentos
Profissional Documentos
Cultura Documentos
Gravitação em 3D
Gravitação em 3D
oes
Last version: November 1, 2010
IFSC
G. Luchini
Aspectos introdut
orios da relatividade geral
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
(g R
) (g R
) (g R
)=0
R R R = 0
que pode ser escrita como
Page 2 of 15
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
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
Page 3 of 15
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
=
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
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( )
1
g g g + g
2
(2)
Page 5 of 15
=
=
'
g R
1
g
g g g + g
2
1
h h h + h
2
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
obtemos R = T . Ent
ao, podemos escrever o tensor de Ricci como
R =
1
T g T
Assim,
R00 '
T00
2
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
Page 6 of 15
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
Ig =
d4 x g R
(3)
M
Page 7 of 15
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
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)
=
'
1
g
g + g g
2
1
h + h h
2
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
'
'
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
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
'
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
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 )
Page 10 of 15
(N )
: T(p)
Tp M
( )
tal que
( )(v) = ( v)
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
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 ,
0 (x) + 0 (x) dx + dx
= (x)dx
= (x)dx
=
=
=
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
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)
(8)
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
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
= 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)
(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).
Page 15 of 15