Você está na página 1de 143

UNIVERSIDADE DE SO PAULO

INSTITUTO DE FSICA

Mundos Brana: Buracos Negros


e Buracos de Minhoca
Juliano Cesar Silva Neves

Orientador: Prof. Dr. Carlos Molina Mendes

Tese apresentada ao Instituto de Fsica da Universidade


de So Paulo para a obteno do ttulo de Doutor em Cincias.

Comisso Examinadora:

Prof.
Prof.
Prof.
Prof.
Prof.

Dr.
Dr.
Dr.
Dr.
Dr.

Carlos Molina Mendes (EACH-USP)


Diego Trancanelli (IF-USP)
Marcos Vinicius Borges Teixeira Lima (IF-USP)
Jorge Ernesto Horvath (IAG-USP)
Olexandr Zhydenko (UFABC)

So Paulo
2012

FICHA CATALOGRFICA
Preparada pelo Servio de Biblioteca e Informao
do Instituto de Fsica da Universidade de So Paulo

Neves, Juliano Cesar Silva


Mundos brana: buracos negros e buracos de minhoca.
So Paulo, 2012.

Tese (Doutorado) Universidade de So Paulo.


Instituto de Fsica Depto. de Fsica Matemtica

Orientador: Prof. Dr. Carlos Molina Mendes


rea de Concentrao: Fsica
Unitermos: 1. Mundos brana; 2. Buracos negros;
3.Buracos de minhoca; 4. tica geomtrica.
USP/IF/SBI-091/2012

Resumo
Neste trabalho, construmos novas solues com simetria esfrica ou axial para as equaes do campo gravitacional induzido num cenrio brana do tipo Randall-Sundrum, onde uma
3-brana com constante cosmolgica est imersa num espao-tempo 5-dimensional conhecido
como bulk. Para o caso esfericamente simtrico, com constante cosmolgica negativa, obtivemos uma famlia de solues numa brana assintoticamente anti-de Sitter, sendo que cada
membro desta diferenciado de outro por uma constante integrao C, que fixada proveu-nos
solues de buracos negros ou buracos de minhocas. Com a mesma simetria, geometrias que
descrevem buracos de minhoca foram encontradas numa brana assintoticamente de Sitter.
Para o caso axialmente simtrico, mtricas assintoticamente anti-de Sitter e de Sitter foram
construdas no contexto citado. Propriedades ticas, como a rotao do vetor de polarizao,
foram estudadas, mostrando-nos algumas diferenas entre os mundos brana, tratados como
uma teoria de gravitao modificada, e a relatividade geral.

Abstract
In this work we have constructed new solutions, with axial or spherical symmetry, to the
induced gravitational field equations within a Randall-Sundrum type brane world scenario,
where a 3-brane with cosmological constant is embedded in a 5-dimensional space-time called bulk. For the spherical case with negative cosmological constant, we have found a family
of solutions in an anti-de Sitter brane, where each member of the family is different from
another when C is fixed. With a fixed C we have black holes or wormholes. In this same
case, with spherical symmetry, we have obtained wormhole solutions in a de Sitter brane. In
the same context, for the axially symmetric case, metrics asymptotically anti-de Sitter and
de Sitter were built. Optics features, like rotation of polarization vector, have been studied.
These features showed some differences between brane worlds, a theory of modified gravity,
and the General Relativity.

Agradecimentos
Ao orientador e agncia de fomento, os agradecimentos so imprescindveis e quase
obrigatrios. A Carlos Molina, agradeo pela leitura crtica desta tese e pelos frutos colhidos nos ltimos anos sem tua ajuda seriam impossveis. CAPES, agradeo pelo apoio
financeiro nos ltimos anos.
minha famlia: pai, me, irm mais velha e irm mais nova todo o caminho que
tenho percorrido cruza os vossos caminhos. Agradeo-te, famlia.
Aos amigos, dedico as palavras de Zaratustra. Depois de dez anos, alimentando-se somente do seu esprito e solido, o sbio descobriu o que a amizade . queles que sabem ser
e ter amigos, as palavras a seguir em vs foram inspiradas:
s puro ar e solido e po e remdio para os teus amigos? H quem no pode
se soltar dos prprios grilhes e, no entanto, um salvador para o amigo.
s um escravo? Ento no podes ser amigo. s um tirano? Ento no podes ter
amigos. (Friedrich Nietzsche, Assim falou Zaratustra I, Do amigo)

vida que ascende.

(...) quanto mais afetos permitirmos falar sobre uma


coisa, quanto mais olhos, diferentes olhos, soubermos
utilizar para essa coisa, tanto mais completo ser o
nosso conceito dela, nossa objetividade.
Friedrich Nietzsche, Genealogia da moral, III, 12.

Sumrio
1 Introduo
2 Mundos brana
2.1 Dimenses extras . . . . .
2.2 Modelos Randall-Sundrum
2.3 Solues a partir do bulk .
2.4 Solues a partir da brana .

.
.
.
.

.
.
.
.

.
.
.
.

3 Simetria esfrica em mundos brana


3.1 Solues assintoticamente planas
3.2 Solues assintoticamente AdS .
3.3 Solues assintoticamente dS . .
3.4 Geodsicas . . . . . . . . . . .
3.4.1 Trajetrias radiais . . . .
3.4.2 Trajetrias no radiais .

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

4 Simetria axial em mundos brana


4.1 Solues de Kerr e Kerr-(anti)-de Sitter
4.2 Soluo assintoticamente plana . . . . .
4.3 Soluo assintoticamente AdS . . . . .
4.4 Soluo assintoticamente dS . . . . . .
4.5 Cargas conservadas . . . . . . . . . . .
4.6 Geodsicas . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

5 tica geomtrica em espaos-tempo curvos


5.1 A abordagem de Pineault e Roeder . . . . . . . . . . . . . . . . .
5.2 Aplicaes s geometrias com simetria axial . . . . . . . . . . . .
5.2.1 Variao do vetor de polarizao . . . . . . . . . . . . . .
5.2.2 Variao do cisalhamento na direo da congruncia nula .
xi

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.

.
.
.
.

7
7
10
14
18

.
.
.
.
.
.

23
23
26
37
42
44
47

.
.
.
.
.
.

49
49
53
56
61
68
73

.
.
.
.

79
79
84
86
92

SUMRIO

xii

95

Comentrios finais

A Equaes do campo gravitacional numa 3-brana

97

B Mtricas com simetria axial ou esfrica

105

C Horizontes

109

D O formalismo de Newman-Penrose

113

E Os referenciais localmente no girantes

121

Captulo 1
Introduo
Buracos negros e buracos de minhoca esto entre os frutos mais curiosos da fsica terica.
O primeiro, uma regio do espao-tempo sem conexo causal com aquilo que lhe externo;
o segundo, uma ponte entre distantes regies do cosmo. Ambos, solues das equaes da
teoria geomtrica da gravitao de Albert Einstein: a teoria da relatividade geral.
Pouco tempo depois de sua formulao, em 1916, a teoria da relatividade geral foi apreciada e solues tambm conhecidas como mtricas, geometrias, espaos-tempo das
chamadas equaes de Einstein foram criadas. Uma das primeiras solues foi proposta por
Schwarzschild no mesmo ano de 1916 [1], uma geometria com simetria esfrica; logo em
seguida, uma geometria com a mesma simetria e um ingrediente a mais a carga eltrica
foi obtida, de forma independente, por Reissner [2] e Nordstrm [3]. Solues com simetria
axial, que descrevem corpos em rotao, foram somente obtidas dcadas depois; como exemplo podemos citar a soluo de Kerr em 1963 no Gravitational field of a spinning mass as an
example of algebraically special metrics [4], talvez a mais importante nesta categoria. Dois
anos mais tarde, no trabalho [5], Newman et al. colocaram carga eltrica na mtrica de Kerr.
A geometria de Kerr assintoticamente plana, surge a partir das equaes de Einstein com
constante cosmolgica nula; sua generalizao para os casos em que a constante cosmolgica
positiva, assintoticamente de Sitter (dS), ou a constante cosmolgica negativa, assintoticamente anti-de Sitter (AdS), foi realizada por Carter [6] em 1968. Ambos os trabalhos
de Kerr e de Carter referem-se a solues quadridimensionais; suas generalizaes para
um nmero qualquer de dimenses foram realizadas quase duas dcadas depois por Mayers e
Perry, em 1986, no trabalho [7], onde generalizaram a soluo de Kerr, e por Gibbons, Page
e Pope [8] em 2005, onde generalizaram as solues Kerr-dS e Kerr-AdS. Antes, vale a pena
citar, o artigo de Hawking, Hunter e Taylor-Robinson [9] trouxe a soluo em 5 dimenses
para a mtrica Kerr-AdS pela primeira vez na literatura cientfica. Todas as geometrias, solu-

CAPTULO 1. INTRODUO

es ou mtricas citadas referem-se quilo que hoje chamamos de buracos negros1 . Tal termo
somente foi cunhado em 1968, por John Wheeler, num artigo intitulado The Know and the
Unknow, publicado na American Scientist e na American Scholar.
J os buracos de minhoca aparecem na dcada de sessenta do sculo passado em estudos
feitos tambm por John Wheeler. Entretanto, em tais estudos, as solues encontradas no
tinham uma caracterstica importante, que somente nos trabalhos de Michael Morris e Kip
Thorne [10] apareceu: a transitabilidade. Ou seja, em Morris e Thorne, buracos de minhoca
so transitveis, so passveis de representar o papel de uma ponte ou tnel entre regies
distantes do universo. Ento, um viajante, nesse caso, pode entrar e sair livremente de tal
tnel, pode retornar e contar sua histria. Alm disso, em Morris e Thorne, buracos de
minhoca apresentam outra caracterstica perturbadora surgem como possveis mquinas
do tempo. Mas s recentemente os buracos de minhoca tm ganhado ateno. Desde a
deteco da expanso acelerada do universo [11, 12] em 1998 promovida por um campo,
a energia escura, que viola algumas condies de energia na relatividade geral , buracos de
minhoca tornaram-se mais interessantes. justamente a existncia de tal campo extico que
pode promover a realidade fsica de um buraco de minhoca.
Portanto, buracos negros e de minhoca so objetos fsicos que devem ter uma realidade tal
como estrelas e galxias. Fortes indcios existem hoje sobre a existncia de buracos negros,
por exemplo, no centro de galxias como a Via Lctea [13]. Por outro lado, mesmo com
ainda nenhum indcio, a existncia de buracos de minhocas, como j dissemos, hoje mais
aceitvel do que antes. De qualquer forma, ambos apresentam-se como objetos extremos
na relatividade geral. Realidades fsicas somente possveis em condies extremas. So os
limites da relatividade geral que surgem com tais objetos. No caso de buracos negros, a
existncia de singularidades em espaos-tempos einsteinianos, um limite relatividade geral,
razovel, segundo os teoremas de Hawking e Penrose2 . Mas em mundos brana, isso nem
sempre uma regra3 .
...
Mundos brana tm atrado a ateno dos fsicos desde a segunda metade dos anos noventa
do sculo passado. Inspirado em teorias de cordas, o conceito de brana varia de acordo com o
modelo. Em [15] soluo de Horava-Witten , os campos de calibre esto confinados em
duas 10-dimensionais branas; as 6 dimenses extras restantes so compactas com dimenses
1 Para

uma definio de buracos negros, veja o nosso apndice C, onde a noo de horizonte de eventos foi
apresentada. Tal noo imprescindvel para a definio desses objetos.
2 Cf. [14], especialmente o captulo 8.
3 No captulo 3, mostramos uma geometria esfericamente simtrica com um horizonte de eventos e sem uma
singularidade. So os chamados buracos negros regulares que possuem essa caracterstica.

CAPTULO 1. INTRODUO

muito reduzidas, da ordem da escala de Planck. Uma proposta 5-dimensional dessa soluo
foi feita em 1999 [16], onde a dimenso extra pode ser maior do que a escala citada anteriormente. Esta ltima tentativa deu origem proposta do modelo Randall-Sundrum II (RS-II)
[17], segundo o qual uma brana 4-dimensional est imersa num espao-tempo 5-dimensional
assintoticamente anti-de Sitter conhecido como bulk, sendo que todos os campos, exceto o
gravitacional, so confinados na hipersuperfcie quadridimensional; nesse caso, o raio da dimenso extra pode ser infinito. Antes, porm, estes mesmos autores propuseram o modelo
Randall-Sundrum I (RS-I) [18], que contm duas branas 4-dimensionais imersas num espaotempo 5-dimensional; nesse caso, a dimenso extra compacta. Outro modelo inspirador o
modelo ADD [19], de Arkani, Dimopoulos e Dvali, com mais de uma dimenso extra, cujos
tamanhos so da ordem do milmetro. As propostas citadas anteriormente4 surgem a partir
da tentativa de resolver o problema da hierarquia, que a enorme diferena entre a escala
eletrofraca, M f 103 GeV , e a escala de massa de Planck 4-dimensional, M p 1019 GeV .
No caso do modelo RS-I, o problema da hierarquia resolvido com o uso de um fator (warp
factor) que se apresenta na mtrica do bulk, tornando-a no fatorvel, capaz de explicar a
enorme diferena entre as escalas citadas.
Com uma nova viso, o que ns chamamos de mundo, para os modelos brana, apenas
uma parte dele. Nos mundos brana nosso universo visvel, quadridimensional, est imerso
num espao-tempo 5-dimensional. Com essa nova viso, uma nova fsica pde surgir. Em
fsica de partculas, os mundos brana trouxeram novas partculas e modelos alm do chamado
modelo padro das interaes fundamentais [22]; na cosmologia, trouxeram o modelo DGP
[23], de Dvali, Gabadadze e Porrati, alm das cosmologias com ricochete (bouncing cosmologies5 ), que tornam o big bang (a grande exploso), h quase quatorze bilhes de anos atrs,
dispensvel. Mas esta tese tem o intuito de explorar a gravitao trazida luz pelos mundos
brana. Nos captulos 3 e 4 expusemos geometrias que nascem nesse frutfero contexto.
Com os mundos brana construdos, a gravitao nesse contexto foi estudada. J em 2000,
pouco tempo depois do surgimento dos modelos Randall-Sundrum, Chamblin, Hawking e
Reall, no Brane-world black holes [25], construram a chamada corda negra. Em tal soluo, a mtrica na brana Schwarzschild, e a geometria no bulk mostrou-se instvel diante
de perturbaes. Por outro lado, uma nova abordagem surgiu a partir do seminal trabalho de
Shiromizu, Maeda e Sasaki, The Einstein equations on the 3-brane world [26]; nesse importante trabalho, a partir de um bulk 5-dimensional, as equaes do campo gravitacional foram
projetadas numa 3-brana ou brana quadridimensional. Com esse importante trabalho, estudos
4 Uma

reviso sobre o tema mundos brana pode ser obtida em [20, 21].
digno de nota enfatizar que ricochetes no surgem apenas em mundos brana. Seja em modelos f (R), ou
em gravidade quntica em loop, ou em mundos branas, ricochetes surgem. Cf. [24], especialmente a seo 6
que trata de ricochetes em cosmologias de branas.
5

CAPTULO 1. INTRODUO

de buracos negros, buracos de minhoca e at de cosmologia foram realizados. A partir dessas equaes projetadas, que no limite de baixas energias tornam-se as equaes de Einstein,
Casadio et al. [27] e Bronnikov et al. [28] construram mtricas de buracos negros e buracos
de minhoca num contexto do tipo RS. Na vereda aberta por esses ltimos autores citados, ns
realizamos o trabalho exposto nesta tese.
Com as equaes do campo gravitacional deduzidas por Shiromizu et al., exploramos
em Black holes and wormholes in AdS branes [29] geometrias com simetria esfrica numa
brana com constante cosmolgica negativa. Nossos resultados generalizaram os trabalhos
[27, 28], pois nestes a constante cosmolgica na brana nula. Em nosso trabalho, uma
famlia de solues foi obtida: cada membro de tal difere de outro ajustando-se uma constante
de integrao C. Em tal famlia, identificamos buracos negros regulares e singulares, alm de
buracos de minhoca, como pode ser visto na seo 3.2.
J em Wormholes in de Sitter branes [30], mostramos um equvoco no j citado trabalho
de Bronnikov et al. Em tal trabalho, os autores afirmam que a nica mtrica numa brana com
constante cosmolgica positiva a soluo de Sitter. Mas em nosso artigo, construmos uma
famlia de buracos de minhoca nesse mesmo contexto, discordando, assim, de Bronnikov et
al. Uma caracterstica desses buracos de minhoca alm do comportamento assinttico
serem transitveis. Ou seja, esses no possuem um horizonte de eventos que os protegem.
Sendo assim, como j afirmamos anteriormente, podem servir como tnel entre distantes
regies do espao-tempo em que so gerados.
Em todas as referncias citadas at o momento, temos somente solues com simetria
esfrica em cenrios do tipo Randall-Sundrum. Mas em 2002, Modgil et al. [31] anunciaram
uma soluo com simetria axial, ou um buraco negro em rotao, no contexto de mundos
brana, onde a generalizao da mtrica com simetria esfrica numa 3-brana Ricci-plana, obtida por Chamblin et al. [25], foi mostrada. Seguindo o trabalho de Dadhich et al. [32],
que usaram simetria esfrica, Aliev e Gmrkoglu no Charged rotating black holes on a
3-brane [33] construram mtricas axialmente simtricas, sem constante cosmolgica, com
ou sem campo de Maxwell na brana. Em ambos casos Dadhich et al. e Aliev et al. foi
notado o aparecimento na brana de cargas de mar, cargas do tipo Coulomb; tais medem
a influncia do bulk na brana. Alm da simetria adotada, a diferena entre os trabalhos de
Dadhich et al. e Aliev et al. est nas equaes projetadas na brana as equaes do campo
gravitacional , com o primeiro tendo usado o trabalho de Shiromizu et al. [26] e o segundo
tendo se apoiado num trabalho de prpria autoria [34].
Em Rotating black holes in a Randall-Sundrum brane with a cosmological constant [35],
propusemos generalizar tambm os resultados de Aliev e Gmrkoglu [33], adotando na
brana constante cosmolgica negativa ou positiva. No captulo 4 ambas esto expostas. Em

CAPTULO 1. INTRODUO

ambos os casos, construmo-las a partir do chamado ansatz de Kerr-Schild-(A)-dS. Como


resultado, a estrutura das geometrias no caso assintoticamente AdS e assintoticamente dS
assemelham-se s mtricas Kerr-Newman-(A)dS no contexto einsteiniano. Mesmo tendo
usado um ansatz sem carga, tal como Aliev e Gmrkoglu, a carga de mar q apresentouse como uma carga coulombiana, quando a mtrica foi escrita nas coordenadas de BoyerLindquist. Tambm em nossos resultados, o uso de valores negativos para q amplificam os
efeitos gravitacionais do bulk na brana. Ou seja, o raio do horizonte de eventos, a ergosfera,
por exemplo, assumiram valores maiores quando q < 0. Como pde-se notar pelas cargas de
mar, buracos negros em mundos brana oferecem resultados que no tm um correspondente
na relatividade geral. Com as mtricas nas mos, obtivemos as equaes das geodsicas, que
foram indispensveis para a aplicao que delas fizemos: um estudo de tica geomtrica em
geometrias com simetria axial.
...
Desde a metade do sculo passado, relativistas acreditam que um campo gravitacional,
gerado por um corpo em rotao, altera o plano de polarizao de ondas eletromagnticas
que o circundam. Devido a esse fenmeno, segundo Brodutch et al. [36], haveria a alterao
da polarizao de raios X provenientes de discos de acreo no entorno de buracos negros.
Como Pineault e Roeder [37], Frederick et al. [38] estimaram a variao do vetor de polarizao na geometria de Kerr. Os ltimos utilizaram no somente os referenciais localmente
no girantes referencias que rodam junto com o buraco negro, de acordo com o apndice
E , mas tambm usaram o chamado referencial global inercial, onde a direo da base de
vetores permanece inalterada em relao s estrelas fixas. Utilizamos, nesta tese, a abordagem de Pineault e Roeder, descrita em Applications of geometrical optics to the Kerr metric,
na qual o chamado formalismo de Newman-Penrose foi usado para a estimativa de grandezas
ticas de interesse. Tal formalismo uma opo desenvolvida na segunda metade do sculo
XX para apresentar a relatividade geral surgiu no trabalho An approach to gravitational
radiation by a method of spin coefficients [39], de 1962, desenvolvido para o estudo da radiao gravitacional. Os autores, a partir da escolha de uma tetrada nula (uma base de quatro
vetores do tipo luz ou tipo nulo6 ), obtiveram 12 constantes, chamadas coeficientes de spin
importantes para avaliar quantidades ticas de um espao-tempo, como pode ser visto no
apndice D. Por outro lado, a utilizao da tetrada nula tambm pode ser indicada para radiao eletromagntica, ou seja, para luz como foi feito por Pineault e Roeder [37] para
mtrica de Kerr, como j dissemos , pois o vetor tangente de uma congruncia nula (um
feixe de luz) igualmente do tipo luz.
6O

uso das tetradas nulas pde tornar as equaes envolvidas mais simples todas de primeira ordem
sem envolver uma base de coordenadas quando um tensor foi escrito.

CAPTULO 1. INTRODUO

No captulo 5, utilizamos o formalismo de Newman-Penrose, tal como Pineault e Roeder,


e calculamos a variao do vetor de polarizao e a variao do cisalhamento da luz em trajetrias nas geometrias axiais, no contexto de branas que escolhemos, estudadas no captulo
4. A existncia do bulk alterou as duas grandezas ticas mencionadas em relao relatividade geral. Aqui, novamente, temos uma amplificao dos efeitos do bulk na brana com a
escolha da carga de mar q negativa. Podemos, ento, consider-los um possvel teste que
nos mostraria os vestgios da dimenso extra.
...
Todos os resultados mostrados nesta tese esto expressos nas unidades geomtricas
segundo as quais a velocidade da luz e a constante gravitacional 4-dimensional valem 1 , e
as mtricas tm assinatura (, +, +, +).

Captulo 2
Mundos brana
Neste captulo, discutimos a origem da necessidade por dimenses extras e os chamados
mundos brana, modelos que adotam dimenses alm das quatro habituais. Demos nfase aos
modelos Randall-Sundrum, que surgiram no final do sculo passado. Alm disso, elencamos
dois possveis caminhos para obter-se solues de buracos negros e buracos de minhoca nesse
contexto: construo de mtricas a partir da brana e a partir do espao-tempo 5-dimensional
no qual o nosso mundo 4-dimensional est imerso , conhecido como bulk.

2.1 Dimenses extras


A utilizao de dimenses extras para descrever fenmenos fsicos data dos pioneiros
trabalhos de Kaluza e Klein, em anos da dcada de 1920. Atualmente, dimenses extras
so um ingrediente indispensvel na mais popular candidata teoria unificada na fsica: a
teoria de cordas. Caso sejam consideradas fisicamente reais, algumas questes se colocam:
(i) como essas dimenses extras podem alterar ou afetar o mundo sensvel, que , desde a
relatividade de Einstein, um continuum quadridimensional?; (ii) por que no as observamos
diretamente?
Segundo Newton, em sua lei da gravitao universal, o mdulo da fora entre duas partculas de massas m1 e m2 , separadas pela distncia r, dado por GN m1 m2 /r2 , onde GN
a constante gravitacional newtoniana em 4 dimenses. O fato da fora depender somente
da distncia relativa entre os corpos pode ser creditado como uma consequncia da isotropia
do espao, ou seja, as leis fsicas so independentes da direo, so as mesmas em qualquer
direo. A constante gravitacional newtoniana conduz a uma escala fundamental, a escala
de Planck ou massa de Planck 4-dimensional (M p ). Quando se adota h/2 = c = 1 (onde h
a constante de Planck, e c a velocidade da luz), em unidades naturais, GN (= 1066 cm2 )

CAPTULO 2. MUNDOS BRANA

conduz ao seguinte valor para aquela escala:


GN =

1
M p = 1019 Gev.
MP2

(2.1)

Com a suposio de dimenses extras, a ao gravitacional de Einstein-Hilbert torna-se


1
S=
16 G4+d

[
]
(4+d)
(4+d)
d xd y
g
R 24+d ,
4

(2.2)

sendo d o nmero de dimenses extras, x, coordenadas nas dimenses usuais, y, coordenadas


nas dimenses extras, G4+d ,(4+d) g,(4+d) R e 4+d so a constante gravitacional, a mtrica,
o escalar de curvatura ou escalar de Ricci e a constante cosmolgica em 4 + d dimenses,
respectivamente. Segundo Maartens1 , numa interessante reviso sobre esse tema, a ao
(2.2) conduz seguinte equao para o campo gravitacional:
(4+d)

GAB

(4+d)

RAB

1
2

(4+d)

R (4+d) gAB = 4+d

(4+d)

gAB + 8 G4+d

(4+d)

TAB , (2.3)

com X A = (x0 , ..., x3 , y0 , ..., yd ). A relao entre a constante gravitacional em 4 + d dimenses


e a massa de Planck em 4 + d dimenses semelhante ao caso quadridimensional
G4+d =

1
2+d
M4+d

(2.4)

No limite do campo fraco, onde vale a gravitao de Newton, as equaes (2.3) conduzem
a uma equao de Poisson (4 + d)dimensional , cuja soluo o potencial gravitacional
V (r)

8 G4+d
.
r1+d

(2.5)

Considerando que a escala ou a ordem do comprimento das dimenses extras seja L, em


escalas menores do que esta (r . L), o potencial gravitacional ser (4 + d)dimensional
(V (r) r(1+d) ). Por outro lado, quando a escala em foco for da ordem de L ou maior, o
potencial gravitacional apresentar-se- como um potencial 4-dimensional, ou seja, V (r)
Ld r1 , tornando irrelevante a influncia das dimenses extras. Ento, para objetos macroscpicos, o mdulo da fora gravitacional ser proporcional razo 1/r2 , como tem sido
medido. Quando so feitos experimentos a curtas distncias, outras foras, como a fora
eltrica, interferem na medida da fora gravitacional pois a gravitao fraca a curtas
distncias. Os melhores dados obtidos por [40] mostram que abaixo de 0, 1mm no pode1 Cf.

[20], cap. 1.

CAPTULO 2. MUNDOS BRANA

mos discernir entre a fora gravitacional e as demais foras. Portanto, a lei da fora, que
diminui com 1/r2 , funciona muito bem apenas entre a escala astronmica distncias da
ordem do sistema solar e 0, 1mm. Se dimenses extras existirem, sua importncia ser
notada somente em medidas abaixo de 0, 1mm. De uma forma geral, num mundo (4 + d)dimensional, a lei da gravitao diminuir com 1/r2+d e ser inversamente proporcional
massa de Planck (4 + d)-dimensional, conforme (2.4) e a definio da fora. Dessa forma, as
massas ou escalas de Planck 4-dimensional e (4 + d)-dimensional relacionar-se-o por
2+d d
M p2 M4+d
L ,

(2.6)

onde Ld o volume das d dimenses adicionais. Neste contexto, a constante M p ser uma
constante de acoplamento efetiva, relacionada escala fundamental, M4+d . Quando Ld for da
ordem de M p , teremos M4+d M p . Quando isso no ocorre, especialmente no caso Ld & M p ,
a escala fundamental poder ser muito menor do que a escala em 4 dimenses: M4+d M p
1019 Gev. Com M4+d pequeno, a fraqueza da gravidade a pequenas distncias explicar-se-
pelo seu transbordamento para as d dimenses extras.
Em 1921, Kaluza, na tentativa de unificar o eletromagnetismo com a gravitao, props
um espao-tempo com 4 dimenses espaciais e uma temporal. As dimenses espaciais eram:
3 dimenses infinitas e uma compacta de raio rc . Poucos anos depois, Klein, em 1926, sugeriu
que o tamanho de tal dimenso compacta seria da ordem da escala de Planck, 1033 cm
algo totalmente inobservvel. Ento, a gravitao seria consistente com o que observamos
mesmo com a isotropia do espao violada, pois as demais dimenses so distinguidas da
dimenso extra devido s linhas de fora s poderem propagar-se at uma distncia finita na
dimenso compacta , em largas escalas ou distncias (r > rc ), teramos a adequao da lei
da gravitao a um espao-tempo quadridimensional (3 dimenses espaciais e 1 dimenso
temporal) e a sua diminuio com 1/r2 . Em pequenas distncias (r < rc ), a lei da fora
diminuiria com 1/r3 .
Como vimos, nos trabalhos de Kaluza e Klein as dimenses extras tinham tamanho muito
reduzido da ordem da escala de Planck. Mesmo para teoria de cordas, as 6 dimenses extras que necessita tm essa mesma ordem de grandeza2 . Entretanto, possvel pensar numa
dimenso extra no to reduzida, mesmo at com um raio infinito. Em 1996, o trabalho [45]
indicou que tais dimenses extras podem ser menores que 103 GeV , isto , 16 ordens de grandeza maiores do que a escala de Planck quadridimensional (1019 GeV ). Alm disso, atravs
do trabalho de Arkani-Hamed, Dimopoulos e Dvali [19], que deu origem ao modelo ADD, a
previso para o raio da dimenso compacta no caso de 2 dimenses extras pode ser 1mm
2 Cf.

[44], que faz uma reviso sobre o tema das cordas.

CAPTULO 2. MUNDOS BRANA

10

um valor razovel e passvel de ser testado. O modelo ADD utiliza um conceito proveniente
da teoria de cordas que ser modificado e utilizado nos modelos Randall-Sundrum, o conceito
de brana. O termo brana deriva-se de membrana e significa, sem muito rigor, uma superfcie imersa num espao com maior nmero de dimenses. Para a teoria de cordas, existem
subvariedades (p + 1)dimensionais imersas num bulk 10-dimensional chamadas pbranas.
Entre as pbranas existem as Dbranas, que so extremidades de cordas abertas (1-brana).
Assim, no modelo ADD temos um espao tempo (4 + d)-dimensional, com as d dimenses
extras compactas, contornado por branas onde todos os campos, exceto o gravitacional, esto confinados nas subvariedades. A motivao do modelo ADD foi resolver o problema da
hierarquia, que a diferena entre a escala de massa eletrofraca, M f 103 GeV , e a escala de
massa de Planck quadridimensional, M p 1019 GeV .
Mas qual a origem da diferena entre as escalas M f e M p ? A diferena entre escala
eletrofraca, dada pelo valor esperado no vcuo do bson de Higgs, e a escala de Planck, M p ,
j foi buscada em algumas propostas3 , tais como a supersimetria e o modelo technicolor.
Modelos com dimenses extras tambm esto entre as tentativas para a resoluo desse problema. No modelo ADD, a nica escala natural a escala eletrofraca, sendo a planckiana em
(4+d)-dimenses da mesma ordem daquela. Da mesma forma, no modelo Randall-Sundrum
I (RS-I), a escala planckiana em cinco dimenses tida da ordem da escala eletrofraca. Para
resolver o problema da hierarquia, no RS-I, com uma dimenso extra, um fator exponencial
foi adicionado mtrica do espao-tempo 5-dimensional no qual nosso mundo quadridimensional est imerso.
Entretanto, a dimenso extra pode ser maior do que alguns milmetros, pode ser infinita,
como veremos no modelo Randall-Sundrum 2 (RS-II), que surge a partir do modelo RandallSundrum I.

2.2

Modelos Randall-Sundrum

Existem dois modelos Randall-Sundrum, ambos utilizam a ideia de um bulk de 5 dimenses, sendo que todos os campos, exceto o gravitacional, esto confinados numa brana que
pode representar o nosso universo quadridimensional. O modelo Randall-Sundrum I (RS-I)
consiste de duas branas quadridimensionais imersas num bulk, com o tamanho da dimenso
extra finito. Por outro lado, o modelo Randall-Sundrum II (RS-II) consiste de uma brana
quadridimensional tambm imersa num bulk, mas o tamanho da dimenso extra pode ser infinito. Os modelos Randall-Sundrum, como j dissemos, foram desenvolvidos, motivados,
pelo problema da hierarquia. Nesses, a gravidade mais forte perto da brana e diminui expo3 Cf.

[22], uma sucinta descrio sobre algumas tentativas de eliminar o problema da hierarquia.

CAPTULO 2. MUNDOS BRANA

11

nencialmente quando nos afastamos dela, na dimenso extra. Justamente por isso, a mtrica
no bulk tem um fator exponencial que depende da nova dimenso, funo da coordenada extra. E esse novo fator (warp factor) na mtrica que atenua a gravidade e corrige o problema
da hierarquia no RS-I.
De acordo com o artigo Large mass hierarchy from a small extra dimension [18], o modelo RS-I adota duas 3-branas imersas num bulk 5-dimensional anti-de Sitter (AdS) com
simetria S1 /Z2 , cuja coordenada extra (y) compacta com raio rc . Uma das branas pode
ser identificada com o nosso universo visvel, a outra, com um universo escondido; ambas
possuem posies fixas no bulk. Assim, podemos restringir o intervalo de interesse da coordenada y colocando uma brana em y = 0, a brana visvel, e a outra em y = rc , a brana
escondida. Na figura 2.1, representada uma imagem deste modelo com uma dimenso
espacial suprimida.

brana visivel

brana escondida

5D
vis <0

esc >0

y= r c

y=0

Figura 2.1: Representao do modelo RS-I onde uma dimenso espacial foi suprimida. As duas branas,
visvel e escondida, possuem tenso negativa e positiva, respectivamente. Ambas esto imersas num bulk antide Sitter com constante cosmolgica 5D .

Neste modelo, as mtricas das duas 3-branas so escritas como


gvis
=

(5)

gAB (y = 0)A B ,

(2.7)

gesc
=

(5)

gAB (y = rc )A B ,

(2.8)

onde (5) gAB a mtrica no bulk (os ndices gregos vo de 0 a 3, e os ndices latinos vo de 0
a 4). Sua ao clssica dada por
S = S5D + Svis + Sesc ,

(2.9)

sendo S5D , Svis , Sesc as aes no bulk, brana visvel e brana escondida, respectivamente. As

CAPTULO 2. MUNDOS BRANA

12

expresses para cada componente da ao so

S5D =

3 (5)
R],
dy (5) g [5D + 2M5D

(2.10)

d 4 x gvis [Lvis vis ]

(2.11)

d 4 x gesc [Lesc esc ],

(2.12)

rc

d x
0

Svis =
e

Sesc =

onde (5) g, gvis e gesc so os determinantes das mtricas do bulk, brana visvel e brana escondida, respectivamente. A constante cosmolgica em 5 dimenses representada por 5D ,
e M5D a massa de Planck 5-dimensional. (5) R o escalar de Ricci 5-dimensional, vis
a tenso na brana visvel, e esc a tenso na brana escondida, ambas atenuam o efeito da
constante cosmolgica do bulk. De acordo com os autores, as lagrangianas Lvis e Lesc das
3-branas no precisam ser conhecidas em detalhes para se determinar a mtrica do bulk. As
integrais acima so em relao a x , coordenada na brana, e y, coordenada da dimenso extra.
Podemos obter as equaes de Einstein em 5 dimenses extremizando a ao (2.9). Com
isso feito, as equaes de campo apresentam-se como
(
)

1 (5) (5)
1

(5)
(5)
g
RAB
gAB R = 3 [ gvis gvis
A B vis (y)
2
4M5D


+ (5) g (5) gAB 5D + gesc gesc
A B esc (y rc )].

(2.13)

Assumindo que existe uma soluo quadridimensional, uma soluo na brana, que obedece
a invarincia de Poincar nas direes indicadas a partir das coordenadas x , pode-se usar a
mtrica 5-dimensional
ds2 = e2 (y) dx dx + dy2
(2.14)
como ansatz em (2.13), onde a mtrica quadridimensional a mtrica de Minkowski.
Dessa forma, as equaes de Einstein reduzem-se ao par
6 2 =
e
3 =

5D
3
4M5D

vis (y) esc (y rc )


+
.
3
3
2M5D
2M5D

(2.15)

(2.16)

Os smbolos linha indicam derivao com respeito coordenada y. A soluo para (2.15)

CAPTULO 2. MUNDOS BRANA

13

que respeita a simetria S1 /Z2 , ou seja, y y,

= |y|

5D
.
3
24M5D

(2.17)

Vemos, em (2.17), que somente a soluo aceitvel aquela com 5D negativa. Portanto, o
espao-tempo entre as duas branas tido como AdS5 .
Como a mtrica (2.14) uma funo peridica em y (soluo com simetria S1 /Z2 ), com
a derivao de (2.17), vlida no intervalo 0 y rc , obtm-se

= 2rc

5D
{ (y) (y rc )}.
3
24M5D

(2.18)

Ento, temos (2.16) a partir de (2.18) somente se vis , esc e 5D estiverem relacionadas
com um escalar k da seguinte maneira
3
vis = esc = 24M5D
k

3 2
5D = 24M5D
k ,

(2.19)

sendo k uma escala da ordem da escala planckiana. As relaes acima entre os termos cosmolgicos do bulk e da borda so fundamentais para obter-se uma soluo que respeite a
invarincia de Poincar quadridimensional na brana; mantendo-as, a mtrica do bulk torna-se
ds2 = e2k|y| dx dx + dy2 ,

(2.20)

para ambos os modelos, RS-I e RS-II, sendo que este ltimo adota rc .
Fazendo k = 1/l e introduzindo a coordenada z = ley/l em (2.20), temos a mtrica
ds2 =

l2
(dz2 + ab dxa dxb ),
z2

(2.21)

(onde l o raio AdS), que conforme mtrica plana (com fator conforme l 2 /z2 ). A geometria de Minkowski em (2.21), que o segundo termo entre parnteses, pode ser substituda
por qualquer mtrica Ricci plana e, ainda assim, ser tambm soluo de (2.13)4 .
Para, a partir da mtrica (2.20), resolver o problema da hierarquia, Randall e Sundrum
relacionaram a massa de Planck efetiva (MP ), quadridimensional, com massa de Planck 5dimensional, M5D . Para isso, identificaram os modos zero da soluo clssica flutuaes
gravitacionais no massivas substituindo a mtrica de Minkowski , em (2.20), pela
4 Como

foi feito em [25], como veremos, na seo 2.3, substituindo pela mtrica de Schwarzschild.

CAPTULO 2. MUNDOS BRANA

14

mtrica
g = + h ,

(2.22)

que os conduziu a uma ao efetiva na brana visvel. Com a mtrica perturbada, com o auxlio
da ao clssica (2.9), chegaram ao seguinte resultado:
Se f

d4x

rc
0

dy 2M5D
rc e2k|y| g R,

(2.23)

onde R o escalar de Ricci proveniente da mtrica perturbada (2.22). Para determinar Se f , a


ao quadridimensional efetiva, realizaram a integrao na dimenso extra, identificando-a
massa de Planck efetiva. Ou seja,
3
M p2 = 2M5D
rc

rc

dy e2k|y| =

)
3 (
M5D
1 e2krc
k

(2.24)

pde conduzi-los igualdade entre as escalas eletrofraca ( 103 Gev) e a planckiana em cinco
1
dimenses, desde que k fosse da ordem de 102 M5D
(ou l = 102 M5D ), e a distncia entre as
branas fosse tal que a razo rc /l valesse 35. Com isso, a escala M p efetiva adquiriu seu valor
da ordem de 1019 Gev, como se requer na gravitao quadridimensional.
J no modelo Randall-Sundrum II, de acordo com An alternative to compactification
[17], apenas uma 3-brana foi utilizada; como no RS-I, o bulk tem uma geometria anti-de
Sitter, AdS5 ; alm disso, possui simetria Z2 e mtrica expressa por (2.20). Nesse caso, a
coordenada y pode tender ao infinito, ou seja, ao contrrio do modelo anterior, o RS-II no
utiliza uma dimenso extra compacta rc infinito. No RS-II, o fator exponencial na
mtrica do bulk assegura que a gravidade se localize perto da brana. Fazendo rc em
(2.24), no se resolve o problema da hierarquia, mas o interesse no RS-II d-se pelo meio
segundo o qual a relatividade geral restaurada.

2.3

Solues a partir do bulk

Nesta seo, a construo de solues das equaes do campo gravitacional conduz a


uma completa soluo. Ou seja, na abordagem aqui descrita, obtm-se solues na brana e
no bulk, ao mesmo tempo. A primeira tentativa de construir uma soluo de buracos negros
num cenrio como o RS-II foi feita por Hawking et al. em Brane-world black holes [25].
Nessa tentativa, os autores trocaram, na mtrica para o bulk (2.20), a soluo de Minkowski
pela de Schwarzschild. Isto ,

CAPTULO 2. MUNDOS BRANA

15

]
[ (
)
(
)1
(
)
2M
2M
dt 2 + 1
dr2 + r2 d 2 + sen2 d 2 +dy2 . (2.25)
ds2 = e2k|y| 1
r
r
Entre as interessantes caractersticas da mtrica acima que satisfaz as equaes de campo
do modelo Randall-Sundrum esto a no necessidade de alguma matria extra no bulk
e o fato de que sua projeo na brana uma soluo muito bem conhecida: a soluo de
Schwarzschild. Entretanto, em 5 dimenses, a soluo (2.25) conduz ao seguinte resultado
para o escalar de Kretschmann:
RABCD RABCD

48M 2 e4k|y|
.
r6

(2.26)

Esse escalar diverge no somente na brana em r = 0 e y = 0, mas a sua divergncia estende-se


por toda a coordenada extra y. Temos, ento, nesse resultado, a justificativa para interpretar
(2.25) como uma corda negra, ou seja, como uma singularidade protegida por um horizonte
de eventos, que se faz notar alm da brana. Entretanto, a soluo de Hawking et al. mostrouse instvel a perturbaes lineares, vitimada pelas j conhecidas instabilidades de GregoryLaflamme, de acordo com [41, 42].
Um outro caminho foi traado por Creek, Gregory, Kanti e Mistry no trabalho Braneworld
stars and black holes [43]. Nesse artigo, os autores assumiram uma mtrica no bulk, gAB , com
simetria esfrica escrita como:
ds2 = U(r)dt 2 +

(
)
1
dr2 + r2 d 2 + sen2 d2 ,
U(r)

(2.27)

onde U(r) uma funo geral, e d2 a mtrica de uma 2-esfera. Nessa abordagem, consideraram um espao-tempo simtrico a reflexes no entorno de uma brana (simetria Z2 ) com
tenso positiva, cuja funo (t, r) indica a sua posio em relao dimenso extra. Para
construir a mtrica induzida quadridimensional, definiram uma base em termos de vetores
tangentes no normalizados e de um vetor unitrio normal brana
T A = (1, 0, , 0, 0),

RA = (0, 1, , 0, 0),

nA = n(, , 1, 0, 0),

(2.28)

com o ponto, acima do , indicando derivada parcial em relao coordenada t, o smbolo


)
(
linha denotando derivao em relao coordenada r e n2 = (Ur2 )/ r2 2 +U 2 r2 +U .
Ento, com o tensor
hAB = gAB nA nB ,
(2.29)
projetaram vetores na brana, com suas componentes tangentes a definir uma mtrica induzida.
O vetor nA ortogonal brana e ao vetor eA , tangente ao espao-tempo quadridimensional.

CAPTULO 2. MUNDOS BRANA

16

Com este ltimo, puderam relacionar a mtrica 5-dimensional com a mtrica induzida, isto ,
h = eA eB gAB = eA eB hAB .

(2.30)

O principal ingrediente extra nessa abordagem so as condies de juno de Israel, que


nesse caso, com uma brana com tensor energia-momento T , podem ser escritas como:
K =

)
5 (
3T h T ,
6

(2.31)

onde
K = eA eB A nB

(2.32)

a curvatura extrnseca do espao-tempo 4-dimensional, 5 a constante de acoplamento


gravitacional em 5 dimenses5 , e T o trao de T .
No equivalentemente [25], Creek et al. adotaram um tensor energia momento na brana
em sua forma geral para um fluido perfeito com densidade de energia (t, r) e presso p(t, r):
T = [ (t, r) + p(t, r)] h h u u + p(t, r)h ,

(2.33)

com h definido em (2.30). O vetor u a quadrivelocidade do fluido paralela ao vetor


do tipo tempo T , que satisfaz a seguinte condio de normalizao: u u h = 1. Os
autores escreveram a densidade de energia e a presso numa equao de estado dada por
p(t, r) =

[v(t, r) 2]
(r,t),
3

(2.34)

sendo que tal equao de estado diferente da equao padro onde a presso uma
grandeza proporcional densidade de energia , sem restringir de forma alguma p, pois v
uma funo arbitrria de t e r.
A partir do tensor energia momento (2.33), substituindo-o em (2.31), as componentes de
K tornaram-se:
Ktt
Krr
Ktr
K
5

)
(
)
1
5 (
= n +Ur 2 UU = v U + r2 2 ,
2
6
]
(
)
[

U
2
5
1
(1 + v)r4 2 2
2 2

3
+
+Ur
+r +
,
= n +
=
r
2U
6
U
U r2 2
)
(

U
5

2
= n + +Ur
= vr2 ,
r
2U
6
) 5 2 2
(

2
= n Ur sen sen cos = r sen .
6

= 8 G5 e G5 a constante gravitacional em 5 dimenses.

(2.35)
(2.36)
(2.37)
(2.38)

CAPTULO 2. MUNDOS BRANA

17

Alm dessas equaes, mais duas outras no independentes foram fornecidas pela conservao do tensor energia-momento. Foram elas

(
)
5
5 2
1
2
1 + U r U +
(1 + v)r cot =
r
2
6n
6n

(2.39)

(
)
1
5
r4 2 cot
5 2
1 + U r U +
(1 + v) 2 2
=
r .
2
6n
r U
6n

(2.40)

Portanto, nesse modelo, uma brana quadridimensional, com um tensor energia momento que
descreve um fluido perfeito, estar imersa num espao-tempo tempo 5-dimensional com simetria esfrica desde que tenhamos (t, r), p(t, r) e (t, r) consistentes com as equaes
(2.35)-(2.40).
Para uma simplificao considervel ocorrer, os autores assumiram que a trajetria da
brana no bulk no depende do tempo. Sendo assim, = 0, o que implica por (2.39) em
= 0. As equaes remanescentes tornaram-se
(

v = r

1
2U r

U ( r ) +

]
,

)
(
) 1
Ur + r
U r U = 0,
2
2

(2.41)

(2.42)

com = rcos . As demais que restam, dependem de e suas derivadas:

5
U r + = r U ( r )2 + r2 2
6
(

[
]
) 1 + 21 U r U
r (
= r
.

U ( r ) +

(2.43)

(2.44)

Com a integrao de (2.44), obtiveram

(r) =

)
]
0 [ (
U

,
r

r2

(2.45)

onde 0 uma constante de integrao. Substituindo-a em (2.43), escreveram esta ltima


como
(
)
(
)2
36
2
U r + 1 2 2 r2 = 0.
(2.46)
5 0
As equaes (2.42) e (2.46), que expressam a variao de , puderam ser integradas com o

CAPTULO 2. MUNDOS BRANA

18

auxlio de uma nova coordenada radial

r =

dr
,
U

(2.47)

que conduziu ao resultado


cos = aer + ber ,

(2.48)

com 4ab = 136/52 02 . Dessa forma, uma expresso para v em (2.41) pde ser determinada.
Com isso, a partir de (2.34), igualmente uma expresso para p(r) foi construda. Ambas
equaes para (r) e p(r) em sua forma final foram escritas como:
]
)
0 [ ( r
U ae ber + aer + ber ,
r
)
2
0U (
p(r) = 0 (r) aer ber .
3
6 U

(r) =

(2.49)
(2.50)

Por fim, com a determinao de T , foi possvel escrever a mtrica, com simetria esfrica,
induzida na brana como
ds2 = Udt 2 +

)
(
1 4ab
dr2 + r2 2 d2 .
2
U (1 )

(2.51)

Os autores de [43] utilizaram algumas mtricas no bulk para o estudo desta abordagem
(por (2.51) nota-se que fixando a mtrica no bulk, ou seja, escolhendo U, fixa-se a mtrica na brana). Entre as mtricas 5-dimensionais, usaram a anti-de Sitter, Schwarzschild
e Schwarzschild-AdS. Para este ltimo caso, fixaram U = 1 + k2 r2 /r2 , sendo k o inverso
do raio AdS. Todo um estudo de trajetrias da brana no espao-tempo 5-dimensional foi realizado. No fim, concluram que para um bulk Schwarzschild-AdS o cenrio seria mais realista,
alm de concordar com os modelos Randall-Sundrum que, segundo (2.17), requerem um bulk
AdS.
Como pde ser visto nesta seo, a abordagem a partir do bulk conduz a um conhecimento
completo da geometria. Aqui, as mtricas no bulk e brana so determinadas. Na prxima
seo, a abordagem a partir da brana foi exposta. Como j dissemos, a abordagem que
usamos nesta tese e em nossos trabalhos.

2.4

Solues a partir da brana

Com solues a partir da brana, queremos dizer uma abordagem que parte da brana para
construir uma soluo de buraco negro ou buraco de minhoca no espao-tempo quadridimen-

CAPTULO 2. MUNDOS BRANA

19

sional sem especificar a soluo total (bulk + brana). Em toda esta tese, como foram expostas
nos captulos 3 e 4, as mtricas por ns obtidas partiram desta abordagem. Foram Shiromizu,
Maeda e Sasaki os responsveis pelo surgimento do caminho ilustrado nesta seo. Logo
aps a publicao dos modelos Randall-Sundrum, os trs autores escreveram o trabalho The
Einstein equations on the 3-brane world [26]. Nele, foram construdas as equaes do campo
gravitacional induzido numa brana obtidas com auxlio das equaes de Gauss-Codazzi
e da assuno de uma simetria Z2 no bulk6 . As equaes induzidas relacionam o tensor de
Einstein na brana com elementos no bulk:

onde

G = 4D g + 8 GN + 52 E ,

(2.52)

1
1
4D = 52 (5D + 52 2 ),
2
6

(2.53)

52
GN =
48

(2.54)

1
1
1
1
= + + g g 2 ,
(2.55)
4
12
8
24
sendo 4D , g , e a constante cosmolgica, a mtrica, o tensor energia momento e
a tenso na brana7 , respectivamente; 5D , como j dissemos, a constante cosmolgica no
bulk; 52 , como j vimos, a constante de acoplamento gravitacional em 5 dimenses. O
(
)
importante tensor E tem trao nulo E = 0 , conhecido como a parte eltrica do tensor
de Weyl mede a influncia do bulk na brana. Por fim, a constante GN a constante
gravitacional em 4 dimenses, que se relaciona com a mesma constante em 5 dimenses.
Como j foi dito nas sees destinadas aos modelos Randall-Sundrum, todos os campos,
exceto o gravitacional, esto confinados na brana, e as equaes do campo gravitacional
apresentadas reduzem-se s equaes de Einstein da relatividade geral no limite de baixas
energias.
Esse caminho, a resoluo de (2.52), foi trilhado por alguns autores. Em [32], Dadhich
et al. obtiveram uma soluo do tipo Reissner-Nordstrm, com uma carga de mar induzida
pelo bulk na brana. No trabalho [46], Gregory et al. supuseram uma equao de estado para
um fluido de Weyl, explorando caractersticas do tensor E . Por outro lado, nos trabalhos
[27, 28, 29, 30, 33, 35, 74], resolve-se a equao R = cte para construir solues na brana.
este ltimo caso que abordamos nesta tese, especialmente os caminhos seguidos por Casadio
6 No

apndice A, a deduo desse importante trabalho foi exposta.


os ndices no canto superior esquerdo em escales e tensores. Todas a grandezas (R, R , G
etc.), doravante, referem-se brana quadridimensional.
7 Suprimimos

CAPTULO 2. MUNDOS BRANA

20

et al. [27] e Bronnikov et al. [28], que tratam de simetria esfrica, expostos no prximo
captulo, e por Aliev e Gmrkoglu [33], conforme o captulo 4 dedicado simetria axial.
Com a contrao das equaes induzidas com g , sabendo que G = R 12 g R ,
temos
R = 44D 8 GN 52 ,
(2.56)
onde R o escalar de Ricci em 4 dimenses. A equao acima uma equao diferencial
para as componentes da mtrica, e suas solues podem conduzir a mtricas com as simetrias
axial ou esfrica buracos negros estticos e em rotao e buracos de minhocas , como
veremos nos captulos 3 e 4.
Para o caso de simetria esfrica, ns utilizamos, assim como [27, 28], o ansatz
ds2 = A(r)dt 2 +

(
)
1
dr2 + r2 d 2 + sen2 d 2 ,
B(r)

(2.57)

para resolver (2.56). Esse procedimento nos conduziu a uma famlia de solues assintoticamente anti-de Sitter numa 3-brana, que generalizou os resultados de [28], publicadas no
trabalho [29] em 2010 na revista Physical Review D, e a solues assintoticamente de Sitter
buracos de minhoca publicadas na mesma revista neste ano de 2012 [30]. No captulo
3, mostramos e comentamos esses dois trabalhos.
Para o caso axialmente simtrico mais geral, utilizamos o ansatz de Kerr-Schild, apresentado em [8]:
(2.58)
ds2 = ds2 + H(l dx )2 ,
onde ds2 pode ser a mtrica de Minkowski, ou anti-de Sitter, ou de Sitter; H uma funo
de r e , somente, e l um vetor tipo nulo8 . A funo H escolhida depender somente das
variveis r e , pois queremos uma mtrica com simetria axial, ou seja, invariante por t e ,
simultaneamente. Segundo [68], no captulo 32, o ansatz (2.58) no caso de uma mtrica assintoticamente plana foi utilizado inicialmente por A. Trautman porque ele acreditava que
ondas gravitacionais propagam informao, e isso pode ser conseguido se a mtrica (2.58),
nas formas covariante e contravariante, depender linearmente da mesma funo H(r, ). No
captulo 4, mostramos solues por ns criadas com o ansatz de Kerr-Schild, seguindo e generalizando os resultados de Aliev e Gmrkoglu em [33]. Tais resultados mostraram-se
assintoticamente de Sitter ou anti-de Sitter e foram expressos, depois de uma transformao
de coordenadas, na forma (B.11), til para o estudo de tica geomtrica de buracos negros
em rotao, realizado no captulo 5.
Talvez, o maior problema da abordagem a partir da brana seja o desconhecimento da
8 Aqui,

estamos usando as coordenadas (t, r, , ) .

CAPTULO 2. MUNDOS BRANA

21

mtrica total (bulk + brana). justamente esse desconhecimento o alvo das principais crticas
direcionadas a esse caminho. Segundo Seahra [47], como no conhecemos a mtrica total,
no sabemos se, por exemplo, a singularidade na brana estende-se pelo bulk. Tambm a forma
do horizonte de eventos torna-se, segundo esse crtico, desconhecida, impossibilitando uma
termodinmica desses objetos. Entretanto, esse mesmo crtico, junto com Wesson, escreveu o
trabalho [48], no qual aplica teoremas do tipo Campbell-Magaard a modelos como o RandallSundrum, com o intuito de determinar a mtrica total (bulk + brana).
Os teoremas do tipo Campbell-Magaard, segundo o trabalho de Seahra e Wesson, partem do problema da imerso de um espao-tempo d-dimensional numa variedade (d + 1)dimensional que satisfaz as equaes de Einstein. A partir das equaes de Gauss-Codazzi
em (d + 1) dimenses, determinaram em cada foliao d-dimensional, , a projeo de tais
equaes. Com isso, em cada hipersuperfcie (uma brana, no caso do modelo RS), as
equaes do campo gravitacional so determinadas por trs tensores:
g (x , ), K (x , ) e E (x , ).

(2.59)

O tensor g a mtrica induzida no espao-tempo d-dimensional, K a sua curvatura


extrnseca, e o tensor E relaciona-se com o tensor de Riemann (d+1) RABCD em (d + 1)
dimenses por
E (d+1) RABCD nA eB nC eD
(2.60)
.
Os vetores nA e eA so normal e tangente hipersuperfcie , respectivamente. O ndice
denota uma dada hipersuperfcie; nesta, as coordenadas so dadas por x . Sendo simtricos,
os tensores (2.59) tm cada um d(d + 1)/2 quantidades dinmicas independentes. Portanto,
o total de quantidades independentes a determinar em cada foliao ndin = 3d(d + 1)/2.
Como as equaes que determinam o campo gravitacional no variam com a variao de ,
tais equaes so conservadas conforme se desloca de uma hipersuperfcie a outra. Com isso,
as equaes que envolvem (2.59) so em (d + 1) dimenses interpretadas, na linguagem do
formalismo hamiltoniano da relatividade geral, como equaes que vinculam o sistema.
Ento, a tarefa que Seahra e Wesson se colocaram foi construir uma soluo para as
equaes de Einstein (d + 1)-dimensionais tal que fosse uma foliao com propriedades
geomtricas apropriadas. Mas, a partir das equaes de Gauss-Codazzi, os autores mostraram
que na hipersuperfcie d-dimensional existem nvin = (d + 1)(d + 2)/2 equaes independentes, chamadas de equaes de vnculos. Para d > 2, o nmero de quantidades dinmicas
ndin maior do que nvin . Portanto, para d > 2 deve-se livremente determinar a dependncia
funcional de nlivre = ndin nvin = d 2 1 quantidades indeterminadas. Esta liberdade o

CAPTULO 2. MUNDOS BRANA

22

corao do teorema de Campbell-Magaard, afirmam Seahra e Wesson9 , pois sendo nlivre


maior do que o nmero de componentes independentes de g , para d > 2, podemos escolher a mtrica em 0 corresponder a qualquer d-dimensional variedade lorentziana e ainda
satisfazer as equaes de vnculos. Portanto, completando seu esboo de prova, Seahra e
Wesson concluem que para o teorema de Campbell-Magaard qualquer d-dimensional variedade pode ser localmente imersa num espao-tempo einsteiniano (d + 1)-dimensional10 .
Alm disso, quando se escolhe a mtrica induzida no espao-tempo d-dimensional no se
fixa de forma nica a geometria em (d + 1) dimenses. Ou seja, pode-se imergir uma dada
foliao 0 em diferentes espaos einsteinianos. Dito de outra forma, em geral a geometria
(d + 1)dimensional no unicamente determinada pela geometria intrnseca de 0 .

9 Cf.

[48], p. 1327.
Ibidem. Itlico dos autores. Doravante, todas as tradues so de minha autoria.

10 Idem,

Captulo 3
Simetria esfrica em mundos brana
Este captulo aborda solues com simetria esfrica das equaes do campo gravitacional induzido num contexto de mundos brana. Na primeira seo, elencamos dois caminhos percorridos nesse contexto: o de Casadio et al. e o de Bronnikov et al.. Na seo seguinte, expusemos a famlia de solues assintoticamente anti-de Sitter (AdS) numa 3-brana sem contedo
de matria os resultados dessa seo referem-se ao nosso Black holes and wormholes in
AdS branes, publicado na revista Physical Review D em 2010 [29]. Em tal artigo, as solues construdas referem-se a buracos negros e buracos de minhoca. Em seguida, solues
no mesmo contexto so apresentadas, com a diferena de que, nesse caso, tais solues so
interpretadas como buracos de minhocas numa brana assintoticamente de Sitter (dS). Recentemente, um trabalho nosso com o ttulo Wormholes in de Sitter branes [30] foi publicado
na mesma revista com estes ltimos resultados. Por fim, na ltima seo, um estudo de
geodsicas equatoriais foi feito para as solues dS.

3.1 Solues assintoticamente planas


Em New black holes in the brane world? [27], Casadio, Fabbri e Mazzacurati buscaram
solues com simetria esfrica na brana, num contexto do tipo Randall-Sundrum [17, 18],
propondo duas famlias de solues que violam a igualdade A(r) = B(r) no ansatz1 (2.57).
Ambas famlias foram parametrizadas pela massa ADM e pelo parmetro ps-newtoniano2
1 Com

isso, mostra-se a no aplicabilidade do teorema de Birkhoff no contexto de mundos brana. Na relatividade geral, por outro lado, esse teorema afirma que a nica soluo no vcuo com simetria esfria a soluo
de Schwarzschild.
2 A chamada parametrizao ps-newtoniana (PPN), de acordo com Clifton et al., a ideia de criar uma
construo que englobe um leque de diferentes teorias da gravidade e contm parmetros que podem ser vinculados por observaes (...). De tal forma que experimentais podem aplicar seus resultados para vincular
teorias sem precisar conhec-las em detalhes, e tericos podem vincular suas novas teorias a fim de compar-las
com os limites dos parmetros ps-newtonianos j estabelecidos (...). Cf. [21], p. 20.

23

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

24

. O procedimento usado por esses autores foi, de forma anloga, resolver a equao (2.56),
para os termos da mtrica, assumindo a ausncia de uma constante cosmolgica na brana e
vcuo na mesma. Ou seja, a equao citada torna-se simplificada:
R = 0.

(3.1)

Com o ansatz esfericamente simtrico, substituram-no na equao (3.1), de tal forma a obter
a seguinte equao diferencial:
[
(
)]
A A 2 A (B) 2 A (B)
2
(1 B) B
+
= 0,

+
+
r2
A 2A2
2AB
r A
B

(3.2)

onde o smbolo linha significa derivada ordinria em relao coordenada r, e solues


distintas surgiram de acordo com a escolha das funes A(r) ou B(r).
Nesta breve reviso do trabalho de Casadio et al., vamos apenas citar a famlia de solues
que parte da seguinte escolha:
2M
A(r) = 1
.
(3.3)
r
Tal funo A(r) escolhida a mesma da soluo de Schwarzschild no contexto da relatividade
geral. Entretanto, substituindo-a em (3.2), proveu a funo
(
)
1 3M
2r
)[
],
B(r) = (
M
1 2M
1

(4

1)
r
2r

(3.4)

onde, como j dissemos, um parmetro ps-newtoniano (experimentalmente, segundo


[21], muito prximo da unidade) que torna A(r) = B(r) quando assume valor 1. Com isso,
(3.3) e (3.4) juntas fixaram a mtrica na brana.
Com o uso de outro parmetro na mtrica, = (4/9) , sendo = 3( 1) mais um
parmetro de PPN diferente de zero, os autores dividiram essa famlia de solues em dois
casos: < 0 e > 0. O mais interessante dos dois, quando > 0, mostrou-se ser livre de
singularidades e, segundo os autores, ao contrrio de corda negra de Chamblin, Hawking e
Reall [25], pode comportar um bulk no singular.
Num trabalho na mesma linha, General class of brane-world black holes [28], Bronnikov,
Melnikov e Dehnen construram uma classe geral de geometrias estticas com simetria esfrica, no interessante cenrio que surgiu devido ao seminal trabalho de Lisa Randall e Raman
Sundrum [17]. Usando as equaes do campo gravitacional, deduzidas por Shiromizu et al.
[26], esses autores obtiveram geometrias numa 3-brana sem contedo de matria, fixando
A(r) uma funo suave escolhida de tal forma a anular-se em algum r = r+ > 0 para

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

25

obter B(r). Tal como Casadio et al., resolveram (3.1), impondo ainda que o escalar R fosse
uma funo de r. Com a definio f (r) rB(r), (3.2) tornou-se
(
)
[ (
)
]
[
]
A 4A + rA f + r 2AA A2 + 3AA f = 2A2 2 r2 R(r) ,

(3.5)

cuja soluo dada pela integral


f (r) =

2Ae3
(4A + rA )2

onde
(r) =

4A + rA

)[

]
2 r2 R(r) e3 dr,

A
dr.
(4A + rA )

(3.6)

(3.7)

A resoluo da integral (3.6), a partir de uma funo A(r), que obedece as condies
impostas, fornece uma constante de integrao, um parmetro C diferenciador de tipos de
solues. Ou seja, uma escolha genrica da funo A(r) conduz a uma famlia de solues
com um parmetro que, num certo intervalo de C (uma constante de integrao), unifica
buracos negros no extremos globalmente regulares com uma estrutura causal do tipo Kerr,
buracos negros extremos e buracos de minhocas simtricos.3
Entre as geometrias assintoticamente planas geradas por essa abordagem, constam aquela
j obtida por Casadio et. al em (3.3)-(3.4) e outras solues assintoticamente planas. Mas
nesse trabalho, existe uma interessante soluo que motivou nosso artigo [30], exposto na
seo 3.3. Esta ltima foi construda a partir da funo A(r) da mtrica de-Sitter (dS) pura
A(r) = 1

r2
,
L2

(3.8)

12
,
L2

(3.9)

que foi usada para resolver a equao


R = 44D =

onde 4D a constante cosmolgica na brana, e L o raio dS (nesse caso assumindo constante


cosmolgica positiva na brana). A soluo de (3.2), onde agora R dado por (3.9), forneceulhes
]
(
)[
r2
C
B(r) = 1 2
1+
.
(3.10)
3/2
L
r (2L2 3r2 )
Para a mtrica fixada pelas funes (3.8) e (3.10), Bronnikov et al., afirmaram que nessa
3 Cf.

[28], p. 2.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

26

situao (...) a nica soluo bem comportada a de Sitter (...).4 , quando C = 0, o que
torna A(r) = B(r). Como mostramos na seo 3.3, essa afirmao equivocada. Para a
mesma funo (3.8), construmos solues de buracos de minhoca nesse contexto.

3.2

Solues assintoticamente AdS

A partir da vereda aberta por Casadio et al. e Bronnikov et al., generalizamos seus resultados, impondo constante cosmolgica negativa ou positiva na brana. constante cosmolgica
positiva a seo seguinte, que fruto do nosso trabalho [30], foi dedicada. constante cosmolgica negativa esta seo, que mostra os resultados de um trabalho publicado por ns [29]
em 2010, foi destinada.
As equaes do campo gravitacional induzido, apresentadas no captulo anterior (2.52),
numa 3-brana sem contedo de matria tomam uma forma mais simples devido a esta assuno. Isto ,
(3.11)
G = 4D g E
pretende descrever o campo gravitacional numa 3-brana vazia. A constante 4D e g , como
j foi dito, so a constante cosmolgica e a mtrica na brana, respectivamente. O tensor E ,
conhecido como a parte eltrica do tensor de Weyl, devido sua construo tem trao nulo

(E = 0). Assim, por (2.56), a equao resolvida foi


R = 44D =

12
,
L2

(3.12)

onde R representa o escalar de Ricci na brana, e L o raio anti-de Sitter da mesma. Com o
auxlio do ansatz (B.13), escrito nas coordenadas (t, r, , ), a equao (3.12) apresentou-se
como
[
(
)]
2
A A 2 A B 2 A B
(1 B) B

+
+
+
= 44D .
(3.13)
r2
A 2A2 2AB r A
B
Para resolver a equao acima, fixamos uma funo A, levando-se em considerao sua
analiticidade no horizonte, como fez Bronnikov et al. [28], de tal forma a obter como solues da equao (3.13) uma famlia de solues B, tal que a funo B B. Nessa famlia,
no temos somente A = B. Isto implica como nos trabalhos citados na seo anterior na
no aplicabilidade do teorema de Birkhoff no contexto de mundos brana. Em nosso trabalho
tambm propusemos o relaxamento desse teorema. A famlia de solues construda possui membros que se distinguem entre si quando fixamos a constante de integrao C. Dessa
4 Cf.

[28], p. 7.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

27

forma, existe um valor de C(C = C0 ) que torna A = B. Ento, para realizar este trabalho,
assumimos as seguintes condies:
Condio primeira: vcuo na brana ou, de forma equivalente, um tensor energiamomento efetivo com trao nulo.
Condio segunda: estaticidade e simetria esfrica.
Condio terceira: existe um valor de C(C = C0 ) para que tenhamos A = B. Ou
seja, esta soluo, indicada por (A0 , B0 ), pertence a uma famlia B tal que
seus membros so deformaes contnuas de (A0 , B0 ).
A condio primeira nos diz que (3.11) a equao do campo gravitacional; a segunda nos
conduz equao (3.13). Com a condio terceira em (3.13), chegamos equao diferencial5
12r2
r2 A + 4rA + 2A = 2 + 2 ,
(3.14)
L
cuja soluo mais geral aquela que escolhemos e usamos :
2M Q2 r2
+ 2 + 2,
(3.15)
r
r
L
onde M e Q so constantes de integrao, e L est relacionada com a constante cosmolgica na brana por: L2 = 3/4D . A funo A(r) escolhida foi, ento, a mesma da mtrica
Reissner-Nordstrm-anti-de Sitter. Entretanto, Q no foi interpretada como uma carga coulombiana no sentido usual. A condio primeira afirma que (3.11) diz respeito a uma brana
vazia6 ou, de forma equivalente, a um espao-tempo 4-dimensional, no contexto da relatividade geral, com um tensor energia-momento efetivo com trao nulo. Assim, Q, quando tratamos de mundos brana, pode ser encarada como uma carga induzida pelo bulk na brana. Isso
ocorre da mesma forma com geometrias que possuem outras simetrias (por exemplo, aquelas
descritas no prximo captulo). Por outro lado, quando pensamos que (3.11) a equao de
Einstein, E pode ser visto como um tensor energia-momento efetivo no nulo, e Q pode
ser interpretada como a medida de um campo de matria na brana. A outra constante, M, tem
a mesma interpretao de massa no sentido da mtrica Reissner-Nordstrm-anti-de Sitter.
Os zeros da funo A(r) foram relevantes para um estudo da estrutura causal das geometrias construdas. Quando L2 > 0, M > 0 e Q = 0, a funo A(r) tem somente um zero real
e positivo, r+ . Quando Q = 0, temos um resultado um pouco maior. Existe, ento, um valor
mximo para Q(Qmax ) que torna possvel A(r) ter zeros reais e positivos. Nesse caso, quando
A(r) = A0 (r) = 1

5A

equao (5) do nosso trabalho [29] tem um sinal errado, como pode-se notar comparando-a com (3.14).
que a brana seja vazia, impusemos = 0 na equao do campo gravitacional induzido, cf. eq.
(A.33).
6 Para

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

28

L2 > 0, M > 0 e Q2 > 0, a funo A(r) tem: (a) dois zeros reais simples (r e r+ ) quando
2 + 3r 2 /L2 = 0; (b) um zero duplo positivo
|Q| um pouco menor do que Qmax , onde Q2max /r+
+
quando |Q| = Qmax ; (c) nenhum zero real se |Q| > Qmax . Se M 0, a funo A(r) no tem
zeros reais e positivos, o que implica na possibilidade de termos solues com singularidade
nua. Em nosso trabalho, consideramos somente o caso M > 0.
Como (3.13) linear em termos de B, uma linear combinao de solues, com uma
funo A fixa, tambm soluo. Como estamos interessados em deformaes de (3.15),
assumimos o seguinte ansatz: a funo A(r) dada por (3.15) e a funo B(r) escrita como
B(r) = B0 (r) + (C C0 ) Blin (r),

(3.16)

com Blin / C = 0 e B0 (r) = A0 (r). Usamos (3.15) e (3.16) para reescrever o vnculo (3.13)
como uma equao diferencial ordinria de primeira ordem em Blin . Ou seja,
h(r)

dBlin (r)
+ f (r) Blin (r) = 0,
dr

(3.17)

com as funes h(r) e f (r) dadas por:


h(r) = 4A0 (r) + rA0 (r)
e
f (r) =

(3.18)

4A0 (r)
r (A0 (r) )2
+ 4A0 (r) + 2rA0 (r)
.
r
A0 (r)

(3.19)

Com a escolha da funo A(r), dada por (3.15), chegamos como soluo de (3.17), isto ,
de (3.16), a uma famlia B de funes escrita como
[
B(r) = A0 (r) 1 + (C C0 )
onde
L4 exp
P(r) =

K
4qp2

]
P(r)
,
(r r0 )k
(

arctan

2r+p
4qp2

(3.20)

)]

18(r r0 )k (r2 + pr + q)2(k+k )/2

(3.21)

sendo r0 e r0 (r0 > r0 ) zeros reais e positivos da funo h(r). As constantes p, q, k, k e K


so definidas como
L 2 Q2
p = r0 + r0 , q =
,
(3.22)
3r0 r0
k = 2

r04 + L2 Mr0 L2 Q2
(
),
r0 (r0 r0 ) r02 + pr0 + q

(3.23)

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA


k = 2 +

29

4 + L2 Mr
2 2
r0
0 L Q
( 2
)
r0 (r0 r0 ) r0 + pr0 + q

(3.24)

[ (
)
(
)]
k
k
k + k
K=2 q
+
p 2
.
r0 r0
2

(3.25)

A famlia de geometrias indicada em (3.15) e (3.20) rotulada pela constante de integrao


C(C R) da equao diferencial de primeira ordem resolvida. Podemos, ento, deformar a
soluo usual, onde A(r) = B(r), usando a constante C para obter uma geometria qualquer da
famlia to prxima ou to distante da soluo usual. Para um importante valor da constante
de integrao (C = C0 ), valor este que iguala B(r) funo A(r) e conduz soluo ReissnerNordstrm-anti-de Sitter (Q = 0) ou Schwarzschild-anti-de Sitter (Q = 0), escrevemo-lo em
termos de r = r+ . Em termos de r+ , que foi interpretado como o raio do horizonte de eventos
ou raio do horizonte de Killing, como fica claro logo a seguir, tal parmetro foi expresso por
(r+ r0 )k
.
P(r+ )

C0 =

(3.26)

Deve-se enfatizar que quando M > 0 e L2 > 0, a situao por ns estudada: (a) f (r) ter
dois zeros reais positivos se 0 < Q < Qmax ou ter um zero se Q = 0; (b) 0 r0 r
r0 r+ ; (c) 4q p2 > 0, o que evita uma raiz imaginria em (3.21). Portanto, P(r) positivo
definido, e as funes A(r) e B(r) so bem comportadas quando r > r0 .
As importantes constantes r0 e r+ podem ser escritas em termos de M, Q e L, embora
tais expresses sejam grandes demais para serem escritas aqui. Para simplific-las, fizemos
Q = 0 para ter

r+ M
=
+
L
L

M
L

1/3

)2
+

1
27

1 M
+
3 L

M
L

1/3

)2
+

1
27

(3.27)

O polinmio f (r) nesse caso tem somente a raiz r0 , que escrevemos como:

r0
21/3 L

M
+
L

M
L

1/3

)2
+

32
729

32
729

)1/3

M +
L

M
L

1/3

)2
+

32
729

.
(3.28)

Notamos tambm que p r0 , q L2 /3r0 , r0 0 e k 0, quando Q 0.


As trs condies estabelecidas mais as funes A(r) e B(r), dadas por (3.15) e (3.20),

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

30

respectivamente, definem um tensor energia-momento efetivo:

(T e f )

E
=
=
8

e f
ef

prad
ef

ptan
ef

(3.29)

ptan
As expresses para a densidade e presses efetivas so:
3 B 1 B
+ 2 + ,
L2
r
r
B
3
B

1
A
= Err = 2 + 2 +
,
L
r
rA

= E = E

8 e f = Ett =
ef

8 prad
ef

8 ptan

= +

3 B 1 B A B
2
.
L2
r
2r 2rA

(3.30)
(3.31)

(3.32)

Ento, por construo, as geometrias dadas por A(r) e B(r) so solues das equaes do
campo gravitacional (3.11) com um tensor energia-momento efetivo, cujas componentes so

dadas por (3.30)-(3.32). Pode-se notar que a condio E = 0 satisfeita. interessante


ef
ef
frisar que e f , prad e ptan so finitas quando r > r0 . Este detalhe ser importante mais tarde.
A seguir, consideramos extenses maximais lorentzianas7 das solues criadas. Tais extenses nos conduziram a diagramas de Penrose8 da famlia de geometrias. A constante C
mostrou-se importante pois determinados valores desse parmetro fazem com que membros
da famlia diferenciem-se. Ou seja, a famlia de solues possui tipos de geometrias diferentes, que podem ser fisicamente interpretadas como buracos negros ou buracos de minhoca.
Em todos casos, o comportamento dos membros da famlia o mesmo quando r, a coordenada radial, grande. Quando r tende ao infinito, a funo P(r) tende a zero, e as geometrias
apresentam um comportamento assinttico semelhante geometria anti-de Sitter pura. Isto
,
( )
1
r2
B(r) = A(r) = 1 + 2 + O
,
(3.33)
L
r
quando r . Por outro lado, fora dessa condio, para valores de r finitos e no muito
7 Extenses

lorentzianas referem-se a mtricas lorentzianas. Espaos-tempos de interesse na relatividade


geral so descritos por mtricas desse tipo. Tais mtricas, quando escritas na forma cannica, ou seja, diagonalizadas, tm pelo menos um termo negativo em sua diagonal principal (ou pelo menos um positivo, dependendo
da conveno). Por outro lado, mtricas euclidianas tm todos membros positivos em sua diagonal principal,
cf. [50], p. 73.
8 Diagramas de Penrose ou diagramas conforme, de uma forma potica e pouco rigorosa, expressam o infinito
no finito. Trazem-nos a estrutura causal de um espao-tempo, cf. apndice C.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

31

grandes, a estrutura dos membros da famlia depende fortemente de B(r), ou seja, de C. Os


zeros de B(r) tm, assim, muita importncia na tarefa de construo dos diagramas. O maior
zero de A(r), que escrevemos como r+ , tambm o maior zero de B(r), quando C 0 (nico
zero, se C C0 , por (3.20)). Isto implica que as mtricas consideradas, nas coordenadas
(t, r, , ), so bem definidas no intervalo r > r+ , quando C 0. As extenses maximais
foram nesses casos buracos negros. Quando C < 0, a extenso maximal nos conduziu a uma
interpretao de buraco de minhoca. Neste ltimo caso, existe um zero rthr , na funo B(r),
tal que rthr > r+ .
Como A(r) e B(r) tm zeros em r = r+ , sendo o maior zero de ambas as funes (no caso
C 0), r+ um candidato a horizonte de eventos (mesmo no sendo um horizonte de eventos,
em todos os casos explorados aqui, elencados logo a seguir, r+ sempre o raio do horizonte
de Killing9 ). Isto porque o horizonte de eventos uma superfcie nula de raio constante, uma
membrana de caminho nico que protege a singularidade. Como mostramos a seguir, nem
todas as solues da famlia exposta apresentam uma singularidade fsica.
Para confeccionar os diagramas de Penrose, precisamos construir os chamados blocos10 .
Tais dividem as geometrias focadas em interior e exterior. o horizonte de Killing que une
os blocos interior e exterior, delimitando, assim, o espao-tempo. Definimos a coordenada
tartaruga, r , com a expresso
dr
1
=
.
(3.34)
dr
A(r)B(r)
Com isso, as coordenadas temporais avanada (v) e retardada (w) foram escritas nas formas
tradicionais
w = t r
e
v = t + r .
(3.35)
A partir destas, definimos as coordenadas W = arctg w e V = arctg v. E para terminar, a
coordenada do tipo tempo T e a coordenada do tipo espao X foram introduzidas. Com
isso, a mtrica do espao-tempo, g (ds2 ), foi escrita em termos de uma mtrica conforme,
g (d s2 ):
d s2 = (T, X)2 ds2 ,
(3.36)
d s2 = dT 2 + dX 2 + r(T, X)2 (d 2 + sen2 d 2 ).

(3.37)

O espao-tempo fsico mais os limites singulares e infinitos so conformalmente mapeados


numa variedade com uma fronteira que o chamado diagrama de Penrose. Ento, o bloco
exterior das geometrias o mesmo da geometria anti-de Sitter, pois por (3.33) e (3.34) a
9 Uma

breve discusso sobre a diferena entre horizontes de eventos e de Killing encontra-se no apndice C.
um estudo sobre esses blocos, o trabalho de Martin Walker, Block diagrams and the extension of
timelike two-surfaces, uma boa referncia; cf. [72].
10 Para

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

32

famlia de solues tem um comportamento assinttico do tipo anti-de Sitter puro. Entretanto, temos at cinco tipos de blocos interiores distintos na famlia, ou seja, cinco tipos de
diagramas de Penrose diferentes.
Buracos negros singulares assintoticamente AdS
Quando C > C0 , a funo B(r) tem um nico zero, r = r+ . Como assumimos M > 0 e
> 0, temos a importante desigualdade: 0 < r0 < r+ . O comportamento das funes A(r)
e B(r) neste caso e o diagrama de Penrose correspondente so exibidos na figura 3.1. De
acordo com esta figura, B(r) diverge em r0 . Isto , (3.20) mostrou-nos que
L2

lim B(r) =

rr0+

1
+ O(r r0 )0
k
(r r0 )

quando r r0 .

(3.38)

Quando construmos o escalar de Kretschmann, R R , notamos que r0 a singularidade fsica ou real.






R
R

=

1
6

(r r0 )

+ O(r r0 )0 quando r r0 .

(3.39)

De forma diferente s geometrias Schwarzschild-AdS e Reissner-Nordstrm-AdS, a singularidade nessa geometria, num contexto de mundos brana, no fica na origem do sistema de
coordenadas, em r = 0, quando se usa (t, r, , ), mas em r = r0 . Como consequncia, as
componentes do tensor energia-momento (3.30)-(3.32) divergem nesse ponto. Ento, a mxima extenso da mtrica foi no intervalo r0 < r < . Colando os dois blocos o interior,
que nas coordenadas (t, r, , ) abrange r0 < r < r+ , e o exterior, que naquelas coordenadas
abrange r+ < r < , temos o diagrama de Penrose do caso C > C0 exposto na figura 3.1
direita, semelhante ao Schwarzschild-AdS, exposto no apndice C. Neste caso, r+ representa
um horizonte de eventos, protegendo a singularidade fsica, situada em r0 .
Como um ltimo comentrio, quando Q = Qmax e C 0, notamos que a estrutura causal
mudou drasticamente. Nesse caso, r+ = r0 = r0 , e r+ um zero duplo da funo A(r)
e um ponto que faz com que a funo B(r) e o escalar de Kretschmann divirjam. Nessa
configurao, temos, ento, singularidades nuas, no exploradas nesta tese.
Buracos negros: Schwarzschild-AdS e Reissner-Nordstrm-AdS
Quando C = C0 , temos as solues de Schwarzschild-AdS (Q = 0) e Reissner-NordstrmAdS (Q = 0 com 0 < Q < Qmax ), seus diagramas de Penrose j so conhecidos11 . No apn11 Cf.,

por exemplo, [76].

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

33

dice B, ambas mtricas foram expostas.


4
3
2

r0

r+

1
0
-1
-2
-3
A(r), analytical

-4

B (r), analytical
C

B (r), numerical

-5
-6
0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3 1.4
r

Figura 3.1: (Esquerda) Grfico das funes A(r) e B(r) com C > C0 . Neste grfico, M = 1, Q =
1/2, L = 1, C = 15 e C0 = 10.32. Como ilustrao, a soluo numrica de (3.13) para B tambm
exibida. (Direita) Diagrama conforme da mxima extenso da soluo com C > C0 . As linhas
verticais representam o infinito, as diagonais representam as superfcies nulas (horizontes de eventos),
e as irregulares, a singularidade.

Buracos negros regulares assintoticamente AdS


Quando 0 < C < C0 , temos buracos negros regulares assintoticamente AdS; neste caso,
a funo B(r) tem um zero simples, rmin , dentro do intervalo (r0 , r+ ). Depois da extenso
analtica da mtrica, conclumos que a coordenada radial vlida somente para r > rmin . O
bloco interior tem uma estrutura de buraco de minhoca12 , como pode ser visto pela transformao de coordenadas (t, r) (t, x), onde x = rmin + x2 . O buraco negro para este caso no
apresenta uma singularidade, r+ representa somente um horizonte de Killing. Casos como
este j foram relatados nos trabalhos [27, 28]. O diagrama de Penrose desse tipo de soluo
dado pela figura 3.2 direita.
Buracos negros extremos assintoticamente AdS
Quando C = 0, a funo B(r) tem um zero duplo em r = r+ e positiva em todo intervalo
r0 < r < , como pode ser visto na figura 3.3. Para fazer a extenso alm do horizonte,
reescrevemos a mtrica usando a coordenada quase-global u, que obedece a condio gtt guu =
12 Discutimos,

logo a seguir, um pouco mais sobre buracos de minhoca, inclusive na prxima seo, dedicada
somente a estes curiosos objetos.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

34

1. Assim, a mtrica com simetria esfrica, na sua forma mais geral (B.13), ficou
ds2 = A (u)dt 2 +

du2
+ r(u)(d 2 + sen2 d 2 ),
A (u)

onde temos

A (u) = A(r),

r(u) = r,

dr
A (u)
du

(3.40)

)2
= B(r).

(3.41)

A coordenada radial quase-global conveniente no estudo de geometrias com simetria esfrica13 . Ela traz para geometrias esfricas gerais as boas propriedades da coordenada r da
soluo de Schwarzschild no contexto da relatividade geral. O nome quase-global deve-se
ao motivo de que, prximo ao horizonte, essa coordenada varia como as bem comportadas
coordenadas de Kruskal, que so usadas na extenso maximal da mtrica de Schwarzschild.

0.3

r0

rmin r+

0.2

0.1

0.0

A(r), analytical

-0.1

B (r), analytical
C

B (r), numerical

0.7

0.8

0.9
r

1.0

1.1

Figura 3.2: (Esquerda) Grfico das funes A(r) e B(r) com 0 < C < C0 . Neste grfico, M = 1,
Q = 1/2, L = 1, C = 5 e C0 = 10.32. Como ilustrao, a soluo numrica de (3.13) para B tambm
mostrada. (Direita) Diagrama conforme da mxima extenso da soluo com 0 < C < C0 . As linhas
verticais representam o infinito, a diagonais as superfcies nulas (horizontes de Killing).

Para nos certificarmos de que a geometria com C = 0 pode ser estendida, notamos que a
funo A (u) tem um zero duplo em u = 0, onde r(0) = r+ :
A (u) =

(2 r+ R)2 2
u + O(u4 ).
4

2A (r+ )r+

(3.42)

A extenso interior somente foi possvel pois r(u) analtica. Em particular, prximo ao
13 Cf.,

por exemplo, [74].

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

35

horizonte de Killing, u = 0. Ou seja,


r(u) = r+ +

(2 r+ R)2 2
u + O(u4 ).
4

2
2A (r+ ) r+

(3.43)

Nesse sistema de coordenadas (t, u, , ), a mtrica tem a assinatura14 correta dentro do


horizonte de Killing (u < 0), como pode ser visto em (3.40) e (3.42). Antes da mudana
de coordenadas, pelo grfico na figura 3.3, as funes A(r) e B(r) tinham sinais opostos na
regio interna (r < r+ ). Isto, de acordo com a forma geral de uma mtrica com simetria
esfria (B.13), conduzia a uma assinatura diferente da mtrica dentro do horizonte. Com a
adoo da coordenada quase-global esse problema foi resolvido. Assim, a mxima extenso
lorentziana da mtrica foi formada por duas regies assintoticamente AdS (u , u )
separadas por um horizonte de Killing (u = 0 ou r = r+ ), de acordo com a figura 3.3 direita.
1.0
0.9
0.8
0.7
0.6

r0

r+

0.5
0.4
0.3
0.2
A(r), analytical
0

B (r), analytical

0.1

B (r), numerical

0.0
0.7

0.8

0.9

1.0

1.1

1.2

1.3

1.4

Figura 3.3: (Esquerda) Grfico das funes A(r) e B(r) com C = 0. Neste grfico, M = 1, Q =
1/2, L = 1, C = 0 e C0 = 10.32. Como ilustrao, a soluo numrica de (3.13) para B tambm
exibida. (Direita) Diagrama conforme da mxima extenso da soluo com C = 0. As linhas verticais
representam o infinito, a diagonais, as superfcies nulas (horizontes de Killing).

Buracos de minhoca assintoticamente AdS


Quando C < 0, temos buracos de minhoca assintoticamente AdS. Buracos de minhoca
tm ganho destaque nas pesquisas fsicas desde o importante trabalho de Morris e Thorne,
Wormholes in spacetime and their use for interstellar travel: A tool for teaching general
relativity, em 1988 [10]. Nesse trabalho, os autores consideraram buracos de minhoca que
14 A assinatura de uma mtrica, quando escrita em sua forma cannica, dada pelo numero de termos positivos

e negativos na sua diagonal principal. Na mtrica (B.13), por exemplo, temos um termo negativo (gtt ) e trs
positivos (grr , g , g ). Nesse caso, a assinatura +2.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

36

possam ser tidos como pontes, estreitadores de caminho, entre duas regies distantes do
universo. O termo cunhado para tais buracos de minhoca transitvel, ou seja, estes objetos
permitem que um homem (...) possa viajar de forma segura (...) num tempo razovel para
poder retornar a tempo e contar sua faanha.15 Para que seja transitvel, um buraco de
minhoca no pode ter um horizonte de eventos. Um horizonte de eventos impediria o retorno
de um viajante ao seu ponto de partida. Tal objeto compacto, quando a mtrica lorentziana,
conhecido como buraco de minhoca lorentziano e transitvel. Nesta seo e na prxima,
lidamos apenas com esse tipo de buraco de minhoca.

0.3

r0

r+

rthr

0.2

0.1

0.0

A(r), analytical

-0.1

B (r), analytical
0

B (r), numerical

0.7

0.8

0.9

1.0

1.1

1.2

Figura 3.4: (Esquerda) Grfico das funes A(r) e B(r) com C < 0. Neste grfico, M = 1, Q = 1/2,
L = 1, C = 5 e C0 = 10.32. Como ilustrao, a soluo numrica de (3.13) para B tambm mostrada. (Direita) Diagrama conforme da mxima extenso da soluo com C < 0. A linha pontilhada
vertical significa a garganta do buraco de minhoca, e as linhas verticais representam o infinito.

Para um valor negativo da funo C, a funo B(r) tem dois zeros simples e positivos
(r+ e rthr ), onde r+ < rthr e A(rthr ) = 0. As coordenadas (t, r, , ) no so vlidas para
r < rthr ; adotando-se uma outra coordenada radial, , chamada de comprimento prprio
como pode ser visto, por exemplo, em [73, 74] , temos
1
d(r)
=
.
dr
B(r)

(3.44)

Pode-se notar por (3.44) que a funo r() tem um mnimo rthr em = 0 (este valor de
escolhido de tal forma que no se perde a generalidade com esta escolha). Como r+ <
rthr , o zero de B(r), r+ , no tem mais importncia na estrutura causal neste caso no
h aqui um horizonte de eventos, temos, ento, um buraco de minhoca transitvel. Portanto,
interpretamos rthr como a garganta de um buraco de minhoca transitvel que une duas regies
15 Cf.

[73], p. 100. Nessa obra, um estudo detalhado sobre buracos de minhoca feito.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

37

assintoticamente AdS, como mostra a figura 3.4 direita. Os escalares e as componentes do


tensor energia momento efetivo so finitos em todo espao-tempo.

3.3

Solues assintoticamente dS

Como j foi dito, no trabalho General class of brane-world black holes, Bronnikov, Melnikov e Dehnen afirmam que o procedimento de construo de solues no contexto de mundos brana descrito na seo anterior conduz para o caso de constante cosmolgica positiva
na brana somente soluo de Sitter pura. Nesta seo, mostramos que esses autores se
equivocaram. Conseguimos, no contexto mencionado, uma famlia de buracos de minhoca.
Aqui o caminho o mesmo: a resoluo das equaes do campo gravitacional induzido
na 3-brana deduzidas por Shiromizu et al., apresentadas no apndice A. Para o caso de uma
brana com constante cosmolgica positiva e vazia, a equao (3.11), de acordo com a seo
anterior, tornou-se
R = 44D ,
(3.45)
onde, como j dissemos, R o escalar de Ricci na brana, e 4D a constante cosmolgica
na mesma16 . Quando usamos o ansatz (B.13) em (3.45), chegamos, como na seo anterior,
equao diferencial (3.13). Em nosso trabalho [30], propusemos construir espaos-tempo
assintoticamente de Sitter, ou seja, espaos-tempo com 4D > 0. Alm disso, assumimos que
estes so prximos soluo no vcuo com simetria esfrica dada por
A0 (r) = B0 (r) = 1

2M Q2 4D 2
+ 2
r ,
r
r
3

(3.46)

sendo M e Q constantes de integrao positivas. Indicamos uma soluo particular (A, B)


de funes que satisfazem o vnculo (3.13), de modo que esta faa parte de uma famlia
de solues B. Ou seja, tambm neste caso, assumimos as trs condies expostas na seo anterior. Como na seo anterior, os zeros de A0 so de muita importncia. Quando
M > 0, Q = 0 e 0 < 4D < ext , onde
ext

1
3

=
2
8Q
32

[(

9M 2 6

Q3
Q

)2

8
9M 2
2
3M
4
Q
Q

)3/2 ]
(3.47)

o valor extremo de 4D , a funo A0 (r) tem quatro zeros reais (rc , r+ , r , rn ) que se relacionam da seguinte forma: rn < 0 < r < r+ < rc . No intervalo entre rn < r < rc , a
16 Para

que esta seo fique de acordo com nosso trabalho [30], escrevemos, c como l, o escalar de Ricci na
brana somente como funo da constante cosmolgica, 4D , e no como funo do raio dS, L.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

38

funo h(r) tem igualmente quatro zeros (r0 , r0 , r0 , r0n ) que obedecem a desigualdade
r0n < 0 < r0 < r0 < r0 . No expusemos as expresses de tantas razes neste texto por serem exageradamente grandes. O que vale a pena destacar que r+ < r0 < rc sempre quando
0 < 4D < ext .
Para resolver (3.13), impusemos A(r) = A0 (r) e uma redefinio da funo B(r):
B(r) = B0 (r) CBlin (r),

(3.48)

sendo Blin / C = 0 e B0 (r) = A0 (r). Usamos, da mesma maneira nesta seo, (3.46) e (3.48)
para reescrever o vnculo (3.13) como uma equao diferencial ordinria de primeira ordem
em Blin , que assumiu a forma (3.17) depois das substituies feitas.
A soluo da equao diferencial ordinria (3.17), para a correo Blin (r), foi
Blin (r) = A0 (r)

(r r0 )c0
,
(r r0 )c0 (r r0 )c0 (r r0n )c0n

(3.49)

onde as constantes positivas c0 , c0 , c0 e c0n assumiram a forma


(
)
r0 24D r02 1
2
,
c0 =
4D (r0 r0 ) (r0 r0 ) (r0 r0n )
(
)
2 1
r0 24D r0
2
c0 =
,
4D (r0 r0 ) (r0 r0 ) (r0 r0n )
(
)
2
r0 24D r0
1
2
c0 =
,
4D (r0 r0 ) (r0 r0 ) (r0 r0n )
(
)
2 1
r0n 24D r0n
2
c0n =
.
4D (r0 r0n ) (r0 r0n ) (r0 r0n )

(3.50)

(3.51)
(3.52)
(3.53)

Portanto, as expresses finais para A(r) e B(r), o conjunto completo das solues construdas,
foram escritas como:
A(r) = A0 (r) =

4D
(rc r) (r r+ ) (r r ) (r rn )
3r2

[
B(r) = A0 (r) 1 +

]
C
(r r0 )c0
.
(r r0 )c0 (r r0 )c0 (r r0n )c0n

(3.54)

(3.55)

Como claro, a funo B(r) diverge quando r r0 . Como entre r+ e rc , ou seja, r+ <
r < rc , temos uma candidata para a regio esttica do espao-tempo17 e r+ < r0 < rc , o
17 Aqui,

por enquanto, r+ e rc so candidatos a horizontes de eventos e cosmolgico, respectivamente.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

39

trabalho de Bronnikov et al. [28] considerou que solues regulares de (3.45), com constante
cosmolgica positiva, no existem alm da soluo de Sitter. Entretanto, de acordo com o
nosso trabalho [30], isso mostrou-se equivocado depois de um estudo dos tipos de solues
que surgem a partir de diferentes escolhas do parmetro C da equao (3.55). Tal parmetro
mostrou-nos trs possibilidades: quando C < 0, temos uma singularidade nua; quando C = 0,
a geometria Reissner-Nordstrm-de Sitter surge; finalmente, a possibilidade explorada aqui,
quando C > 0 buracos de minhoca assintoticamente de Sitter so gerados.
Singularidade nua
Quando C < 0, as funes A(r) e B(r) so positivas para r+ < r < rc . Entretanto, r+ < r0 < rc ,
o que implica na divergncia de B(r) nesse intervalo (em r0 , como fica claro em (3.55)). A
geometria esttica e bem comportada somente para r > r0 . Em r0 o escalar de Kretschmann
diverge, mostrando-nos onde se encontra a singularidade fsica. Isto ,
lim |R R | .

rr0

(3.56)

Como r+ < r0 , temos aqui um cenrio que envolve uma singularidade nua, desprotegida de
um horizonte de eventos. Este caso no tratamos em nosso trabalho.
Soluo de Reissner-Nordstrm-de Sitter
Quando C = 0, a soluo obtida a Reissner-Nordstrm-de Sitter, como (3.16) e (3.46) indicam. Nessa, a regio regular, bem comportada, r+ < r < rc . No chamado caso no extremo
dessa soluo, as superfcies r = r+ e r = rc indicam o horizonte de eventos e o horizontes
cosmolgico, respectivamente.
Buracos de minhoca assintoticamente de Sitter
Por fim, quando C > 0, temos uma surpreendente geometria que descreve um buraco de
minhoca transitvel, ou seja, sem horizonte de eventos. Neste caso, a funo B(r) no
positiva definida entre r+ e rc . Existe um zero a mais para B(r). Tal zero, r = rthr , de muita
importncia porque
r+ < r0 < rthr < rc .
(3.57)
As funes A(r) e B(r), no intervalo rthr < r < rc , so sempre positivas. Portanto, as coordenadas (t, r, , ) so vlidas na regio rthr < r < rc . A extenso analtica da soluo, somente
para C > 0, foi feita com o uso do comprimento prprio, definido em (3.44). Com a escolha
de uma apropriada constante de integrao na definio de (r), a regio rthr < r < rc foi

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

40

mapeada em 0 < < max , para um valor finito de max . A extenso foi feita com a continuao no intervalo max < < max . Como resultado desse procedimento, tivemos uma
geometria que descreve um buraco de minhoca com uma garganta em r = rthr . Para realizar a
extenso alm de r = rc , usamos as chamadas coordenadas avanadas (w,t, , ) e retardadas
(v,t, , ) de Eddington, onde w e v so as conhecidas variveis do cone de luz j definidas
em (3.35). Na mxima extenso, a superfcie = max (r = rc ) um horizonte de Killing,
interpretado como um horizonte cosmolgico, como pode ser visto no diagrama de Penrose
correspondente na figura 3.5. Sistemas de coordenadas que se utilizam da coordenada tartaruga, r , definida em (3.34), ou das coordenadas avanadas ou retardadas, podem ento
ser usados para cobrir toda a regio esttica. Nesse caso, {(t, , , ), max < < max )}
mapeado em {(t, r , , ), < r < } ou {(w, v, , ), < w < , < v < }.

rc

rc
r thr

rc

rc

Figura 3.5: Diagrama conforme ou diagrama de Penrose para o caso C > 0. Temos, aqui, um buraco
de minhoca dentro de um horizonte cosmolgico rc . A linha pontilhada indica sua garganta.

Temos, ento, como uma possvel interpretao fsica para essa soluo, um buraco de
minhoca transitvel com simetria esfrica num universo em expanso. Para que esta ltima
afirmao fique mais clara, usamos uma forma simplificada de (3.55), com M = Q = 0, que
ainda apreende todas as principais caractersticas da soluo, para mostrar que temos neste
contexto uma densidade de energia negativa, que viola condies de energia, permeando a
geometria em foco. Com essa simplificao, as funes da mtrica A(r) e B(r) tornaram-se
A(r) = 1
e

r2
rc2

(
)[
]
r2
1
B(r) = 1 2
1 C 2
.
rc
r(r r02 )3/2

As expresses para rc e r0 tambm ficaram menores:

(3.58)

(3.59)

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

rc =

3
,
4D

r0 =

2
.
4D

41
(3.60)

Igualmente, as demais constantes apresentaram-se como: rn = r0n = r0 , c0 = c0n = 3/2,


c0 = 1. As constantes que restaram, r , r , r0 , r0 , c0 , foram anuladas. Assim, as
componentes do tensor energia momento efetivo na brana, definidos em (3.29), neste caso
simplificado, resumem-se s
C 2r2 5r02
,
3r02 r(r2 r02 )5/2

(3.61)

C 2r2 r02
,
= 2 3 2
r0 r (r r02 )3/2

(3.62)

8 e f =
ef
8 prad
ef

8 ptan =

C 4r4 (2r0 r)2 + 3r04


.
6r02 r3 (r2 r02 )5/2

(3.63)

Podemos ver nas equaes (3.61)-(3.63) que neste caso, C > 0, a densidade de energia e
as presses efetivas no so sempre positivas definidas em r > r0 , no satisfazem sempre
as famosas condies de energia. Como mostra Visser18 , a matria prxima garganta do
buraco de minhoca, r = rthr , viola a condio de energia nula. Entretanto, buracos de minhoca
transitveis violam, alm dessa, as condies de energia fraca, forte e dominante. O autor,
em Lorentzian wormholes: from Einstein to Hawking, elenca pelo menos sete condies de
energia. Quando o tensor energia-momento do tipo I, ou seja, quando pode ser escrito
numa base ortonormal para expressar-se como (3.29) com todas as componentes fora da
diagonal principal nulas , as quatro condies possveis de serem violadas por buracos de
minhoca so (o ndice j indica a componente da presso: para j = 1, presso radial, para
j = 2 e 3, presso tangencial):
condio nula: j, + p j 0;
condio fraca: 0 e j, + p j 0;
condio forte: j, + p j 0 e + j p j 0;
condio dominante: 0 e j, p j [ , ].
Tudo isso corrobora a interpretao de (3.58)-(3.59) como uma geometria com simetria
esfrica que, para um dado conjunto de parmetros, descreve um buraco de minhoca num
espao-tempo em expanso, pois a energia escura aquilo que tido, nos dias de hoje,
como a possvel fonte da expanso acelerada do nosso universo de forma semelhante no
satisfaz todas as condies de energia. Dentro do contexto da relatividade geral, buracos de
minhocas somente so possveis a partir da existncia de um tipo de matria extica que vi18 Cf.

[73], cap. 12, que dedicado inteiramente s condies de energia.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

42

ola as condies de energia (a energia escura enquadra-se nesse tipo de matria). Por outro
lado, no contexto de mundos brana que trabalhamos, a existncia de buracos de minhoca
transitveis exclui a necessidade de tal matria extica. A condio de possibilidade de existncia desses interessantes objetos dada, apenas, pela influncia do bulk na brana uma
influncia geomtrica.

3.4

Geodsicas

Nesta seo, geodsicas foram estudadas na geometria de Sitter exposta anteriormente.


Para obt-las, construmos as trs grandezas conservadas relativas geometria em questo.
De acordo com o apndice B, um espao-tempo com simetria esfrica tem trs campos de
Killing do tipo espao associados a essa simetria. Como nesta seo abordamos somente
geodsicas equatoriais ( = /2), resta, devido ltima assuno, somente o campo do tipo
espao

=
,
(3.64)

que em coordenadas escrito como

= (0, 0, 0, 1) ,

(
)
= 0, 0, 0, r2 .

(3.65)

Devido ao fato de ser estacionria, a geometria que descreve um buraco de minhoca da seo
anterior tem o campo de Killing do tipo tempo

t =

,
t

(3.66)

t = (1, 0, 0, 0) .

(3.67)

que em coordenadas

t = (1, 0, 0, 0) ,

Tais campos forneceram-nos as equaes das geodsicas desejadas. Como consta no apndice
B, campos de Killing dizem-nos sobre quantidades conservadas.
A equao de movimento de uma partcula num espao-tempo, sujeita somente ao campo
gravitacional, escrita na base das coordenadas,

d 2 x
dx dx
+

= 0,

d 2
d d

onde um parmetro afim importante, e

(3.68)

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

43

(
)
1

= g g + g g
(3.69)
2
a conexo afim ou smbolo de Christoffel, com representando o operador derivada parcial
numa mtrica g . Uma trajetria dada pela equao (3.68) chamada de geodsica; nela,
o seu vetor tangente representado em suas componentes por dx /d transportado
paralelamente a si mesmo. Alm disso, na parametrizao escolhida em (3.68), a norma desse
vetor tangente permanece inalterada. Sem correr o risco de perder generalidade, geodsicas
equatoriais podem ser escritas como
(
)

x ( ) = (t( ), r( ), ( ), ( )) = t( ), r( ), , ( ) .
2

(3.70)

Associadas aos campos t e temos as quantidades conservadas E e L (energia e momento


angular), numa geodsica, definidas pelas equaes
E = t

dx ( )
dt( )
= +A (r ( ))
d
d

(3.71)

dx ( )
d ( )
L =
= +r ( )2
.
(3.72)
d
d
Como na relatividade geral a conexo compatvel com a mtrica e, portanto, o tensor mtrico transportado paralelamente ao longo da geodsica, temos, a partir disso, mais uma
quantidade conservada, a constante K
dx ( ) dx ( )
2K = g
= A (r ( ))
d
d

dt( )
d

)2

1
+
B (r( ))

dr( )
d

)2

(
2

+ r ( )

d ( )
d

)2
.

(3.73)

Com as trs quantidade conservadas, E, L, K , o problema da determinao das geodsicas em espaos-tempo com simetria esfrica pde ser colocado na seguinte forma, em termos
de quatro equaes:
dt( )
= ft (r) ,
d
)
(
dr( ) 2
2
= fr (r) ,
r =
d

,
=
2
d ( )
=
= f (r),
d
t =

(3.74)
(3.75)
(3.76)
(3.77)

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

44

com as funes ft , fr e f definidas como


E
,
A(r)
B(r) 2
L2
fr (r) =
E B(r) 2 2K B(r),
A(r)
r
L
f (r) = 2 .
r
ft (r) =

(3.78)
(3.79)
(3.80)

O problema, ento, est desacoplado. Ou seja, a equao (3.75) independente das demais
uma vez resolvida e a soluo r( ) determinada, as equaes (3.74) e (3.77) tm suas
solues independentes.
Para o caso exposto na seo anterior um buraco de minhoca numa brana assintoticamente de Sitter , a equao (3.75) mostrou-nos caractersticas notveis em dois pontos:
r = rthr e r = rc , isto , na garganta e no horizonte cosmolgico. No primeiro, um ponto de inflexo surgiu, segundo o qual r = 0. No segundo, a funo r divergiu. Contudo, como vimos
na seo anterior, o sistema de coordenadas (t, r, , ) s valido no intervalo rthr < r < rc .
Ento, tais caractersticas notveis devem-se ao inadequado sistema de coordenadas.
Como foi dito, um sistema de coordenadas mais adequado para esse problema aquele
que se utiliza da coordenada tartaruga r , definida em (3.34). Com as coordenadas (t, r , , ),
a equao (3.75) tornou-se
2

(r ) =
sendo

dr ( )
d

)2
= gr (r) ,

[ 2
]
1
E
L2
gr (r) =
2K ,
A(r) A(r) r2

(3.81)

(3.82)

pois

dr
dr dr
dr
=
= A(r) B(r)
.
(3.83)
d
dr d
d
Dessa forma, como veremos, tornou-se claro que a garganta, r = 0, no , em todos os casos,
um ponto de inflexo. Vejamos dois tipos de trajetrias: radiais e no radiais.

3.4.1

Trajetrias radiais

As trajetrias radiais so aqui geodsicas tais que

= 0.

(3.84)

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

45

De tal forma, a rbita projeo da geodsica numa hipersuperfcie onde t constante


aponta na direo radial. Com a condio (3.84) para um certo valor do parmetro afim,
= 0 , a equao (3.77) ficou
L
= 0,
(3.85)
r (0 )2
ou seja, em = 0 , a constante L nula. Mas como j dissemos, L uma das trs constantes
de movimento. Portanto, L nula para qualquer , em qualquer ponto da geodsica radial,
de acordo com (3.84). Com a condio L = 0, (3.82) simplificou-se
[ 2
]
1
E
gr (r) =
2K .
A(r) A(r)

(3.86)

Geodsicas radiais tipo luz


Para o caso de uma trajetria radial, cujo vetor tangente do tipo luz, K = 0, com isso
gr (r) =

E2
,
A(r)2

(3.87)

portanto,

dr
> 0.
(3.88)
d
Ou seja, no existem pontos de inflexo para geodsicas radiais do tipo luz, pois A(r) e
dr /d so funes positivas definidas na regio de interesse, entre a garganta e o horizonte
cosmolgico. Uma interpretao para este ltimo resultado a seguinte: feixes de luz radiais
sempre atravessam a garganta, no importando quo energticos so.
Geodsicas radiais do tipo tempo
Para geodsicas radiais do tipo tempo, temos K > 0, isto , a funo gr (r) pode ter um
zero real na regio que nos interessa. Dessa forma, um ponto de inflexo possvel para esse
tipo de curva, conforme a figura 3.6. Se supusermos geodsicas radiais que partem (num
certo = 0 ) do lado direito do diagrama de Penrose, mostrado na figura 3.5, na direo da
garganta
dr (0 )
r (0 ) > 0 e
< 0.
(3.89)
d
seja maior do que zero, ou seja,
Se, alm disso, impusermos que o ponto de inflexo r = rin
f
< r ( ), e que r
esteja tambm no mesmo lado do diagrama de Penrose tal que 0 < rin
0
in f
f

seja o valor da coordenada r de modo que r = rin f , ento, a energia associada geodsica,

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

46

segundo (3.81) e (3.86), ser


E2
2K = 0,
A(rin f )
ou seja,

(3.90)

E=

2K A(rin f ).

(3.91)

Mas a funo A(r) decrescente, com mximo valor em r = rthr , no intervalo rthr < r < rc .
Portanto, existe um valor mximo de Emax segundo o qual um ponto de inflexo est presente.
Quando indicamos esse mximo, considerando que a inflexo ocorre na garganta, r = rthr ,
obtivemos

(
)

2M Q2 2
Emax = 2K A(rthr ) = 2K 1
+ 2 rthr .
(3.92)
rthr rthr
3
200
EM = 0.1
150
EM = 0.45
100

grHrLM

EM = 1
50

-50

-100
15.0

15.5

16.0

16.5

17.0

rM

Figura 3.6: Funo gr (r) para alguns valores de E com L = 0 (trajetrias radiais), dentro do intervalo
rthr < r < rc . Neste grfico Emax /M vale 0.74. Com isso, constata-se que quando E < Emax h um
ponto de inflexo, e a partcula, que percorre uma geodsica do tipo tempo, sofre um ricochete.
Para valores de E maiores do que Emax no h ponto de inflexo. Uma interpretao para
esse resultado a seguinte: partculas massivas com energias menores do que Emax descrevendo geodsicas radiais inicialmente na direo da garganta do buraco de minhoca
sofrem um ricochete e retornam na direo do horizonte cosmolgico. Quando uma partcula
tem energia igual energia mxima Emax , sofre um ricochete na garganta do buraco de minhoca, ou seja, o ponto de inflexo rin f = rthr . Por fim, partculas energticas com E > Emax
no sofrem qualquer ricochete atravessam a garganta da mesma forma que raios de luz.

CAPTULO 3. SIMETRIA ESFRICA EM MUNDOS BRANA

47

100
17.0
80

r* inf M

rinf M

16.5

16.0

15.5

15.0

60

40

20

0.0

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.0

0.1

0.2

EM

0.3

0.4

0.5

0.6

0.7

EM

Figura 3.7: Pontos de inflexo em funo do parmetro E/M para o caso de trajetrias radiais.
.
esquerda a coordenada rin f ; direita a coordenada tartaruga rin
f

3.4.2 Trajetrias no radiais


Neste caso, d (0 )/d = 0 em algum ponto da trajetria. Com isso, L = 0. Portanto,
mesmo em geodsicas do tipo luz podemos ter pontos de inflexo e ricochetes. Para um dado
ponto de inflexo, r = rin f , em geodsicas do tipo tempo ou nula, temos
E2
L2
2 2K = 0,
A(rin f ) rin f
de tal forma que

v
u
u
E = tA(r

in f )

L2
+ 2K
2
rin
f

(3.93)

)
.

(3.94)

O comportamento qualitativo das geodsicas no radiais, do tipo tempo ou luz, o mesmo


apresentado para as geodsicas do tipo tempo radiais. Porm, fisicamente, o termo centrpeto
na equao radial pode forar a existncia de um ponto de inflexo. Como j dissemos,
mesmo para luz pode ocorrer um ricochete, mas neste caso, o raio de luz curvado pelo
buraco de minhoca, sem nele entrar.

Captulo 4
Simetria axial em mundos brana
Este captulo aborda solues estacionrias com simetria axial das equaes do campo gravitacional num contexto de mundos brana. Mas para come-lo, apresentamos a soluo, no
contexto da teoria da relatividade geral, mais famosa que apresenta esse tipo de simetria
a soluo de Kerr. Esta, um grande xito da relatividade geral obtido tardiamente1 , representa um buraco negro com rotao. Sua presena neste captulo um captulo dedicado
ao contexto de mundos brana faz-se necessria. Usamo-la como referncia, como algo
para comparar com as solues criadas num contexto diferente da relatividade geral. Em
seguida, comentamos a sua generalizao para os casos anti-de Sitter (AdS) e de Sitter (dS).
Num contexto de mundos brana, apresentamos a soluo com simetria axial sem constante
cosmolgica obtida por Aliev e Gmrkoglu no trabalho [33]. Neste mesmo contexto,
trazemos as solues obtidas por ns em Rotating black holes in a Randall-Sundrum brane
with a cosmological constant [35], que generalizam os resultados dos dois autores citados.
Tais solues apresentam um ingrediente a mais: a constante cosmolgica. Por fim, na seo
4.5, tratamos das equaes das geodsicas das novas mtricas construdas. Estudos sobre
geodsicas so importantes pois mostram a razoabilidade de espaos-tempo que podem ser
considerados fisicamente reais.

4.1 Solues de Kerr e Kerr-(anti)-de Sitter


No contexto da teoria da relatividade geral, a soluo de Kerr, obtida em 1963 por Roy
Patrick Kerr [4], nas coordenadas de Boyer-Lindquist (t, r, , ) apresenta dois campos de
1A

soluo de Kerr, que consta pela primeira vez no trabalho Gravitational field of a spinning mass as an
example of algebraically special metrics de Roy P. Kerr em 1963 [4], surgiu quase cinquenta anos depois da
soluo de Schwarzschild.

49

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

50

Killing devido sua independncia em relao s coordenadas t e . Ou seja, a mtrica


)
]
2a [ 2
1(
r a2 sen2 dt 2
(r + a2 ) r sen2 dtd +

[
]
2
1
+
dr + d 2 + (r2 + a2 )2 a2 r sen2 sen2 d 2 ,
r

ds2 =

(4.1)

com
r = r2 + a2 2Mr

= r2 + a2 cos2 ,

(4.2)

no depende dessas duas coordenadas, como fica claro acima. Ento, de acordo com o apndice B2 , podemos construir dois campos de Killing na base das coordenadas usadas, de tal
forma que

t =
e =
.
(4.3)
t

Alm disso, como pode ser visto no apndice citado, por (4.1) ser independente de t, segue
que a mtrica de Kerr estacionria. A simetria axial surge por possuir tambm um campo
de Killing que conduz isometria cujas rbitas so curvas do tipo espao fechadas. Ento,
a mtrica de Kerr pode ser expressa na forma mais geral que uma mtrica estacionria com
simetria axial pode ser escrita. Tal forma indicada pela equao (B.11). A soluo (4.1) tem
dois parmetros, a e M. O primeiro reduz a mtrica de Kerr de Schwarzschild desde que
seja nulo; chamado de parmetro de rotao. O segundo, M, identificado com a massa do
buraco negro3 .
A mtrica de Kerr nas coordenadas (t, r, , ) mostra-se problemtica em r = 0 ou = 0.
Quando uma destas duas condies satisfeita, a mtrica (4.1) diverge. Com o escalar de
Kretschmann, R R , mostra-se que a mtrica de Kerr tem somente uma singularidade
fsica ou intrnseca quando = r2 + a2 cos2 for nulo e M = 0. Ou seja,
R R

1
.
6

(4.4)

Ento, quando r = cos = 0 esse escalar diverge. Segundo Hawking e Ellis [14], no captulo dedicado a solues exatas das equaes de Einstein, pode-se mostrar que a singularidade fsica na mtrica de Kerr tem formato anelar. Com uma mudana de coordenadas, tal
que o espao-tempo seja descrito por (t, x, y, z), o clculo do escalar de Kretschmann indica
2 No apndice B, apresentamos os conceitos de simetrias esfrica e axial, utilizando campos de Killing.

Alm
disso, enfatizamos a importncia destes para quantidades conservadas numa variedade M equipada com uma
mtrica lorentziana.
3 Discute-se, na seo 4.5 desta tese, que em geometrias assintoticamente planas, a massa de um buraco
negro pode ser determinada por meio das integrais de Komar. Com estas, M da soluo de Kerr, por exemplo,
pode ser interpretado como massa. Entretanto, em geometrias assintoticamente no planas, a questo outra.
Nestas, a integral de Komar diverge. Na seo 4.5, algumas opes para resolver este problema foram expostas.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

51

que a singularidade situa-se em z = 0 ( = /2 nas coordenadas de Boyer-Lindquist), com


x2 + y2 = a2 , exibindo, ento, o formato de um anel com raio a. Por outro lado, a condio
r = 0 conduz a uma singularidade no intrnseca mtrica. Tal causada por um sistema de
coordenadas inadequado regio da variedade em foco. Como o conhecido r = 2M da mtrica de Schwarzschild (um zero da equao grr = 1 2M/r = 0), os zeros de grr da soluo
de Kerr, ou seja, os zeros de r = 0, fornecem os raios dos horizontes, que so superfcies cujos vetores tangentes so do tipo nulo4 . Na mtrica de Kerr, ento, esses zeros so o horizonte
interno, r , e o horizonte externo (o horizonte de eventos), r+ ; cujas expresses so:
r = M

M 2 a2 .

(4.5)

Vale a pena enfatizar que as expresses para os horizontes somente existem quando a2 M 2 .
Quando esta relao no obedecida, r no tem razes reais, e a soluo de Kerr fornece
uma singularidade nua uma singularidade sem horizonte de eventos. Para as mtricas
com simetria axial construdas por ns, discutidas nas sees 4.3 e 4.4, levaremos em conta
somente a condio de que o parmetro de rotao a seja menor ou igual ao parmetro M.
Quando a = M, temos o chamado caso extremo; neste, r = r+ .
O problema na mtrica de Kerr, cuja origem remonta a um sistema de coordenadas
inaplicvel para r 6 r+ , pode ser resolvido com uma adequada mudana de coordenadas
(t, r, , ) (u, r, , ). Isto , com
(

)
r 2 + a2
du = dt +
dr
r

d = d +

a
dr,
r

(4.6)

a mtrica (4.1) torna-se


)
1(
4amr 2
r a2 sen2 du2
sen dud + 2drd 2asen2 drd

]
1[ 2
2
2 2
2
(4.7)
+ d + (r + a ) a r sen2 sen2 d 2 ,

ds2 =

analtica em r = r+ e r = r . De forma semelhante, pode-se fazer a extenso da mtrica


utilizando (t, r, , ) (v, r, , ), onde
(

)
r2 + a2
dv = dt
dr
r

e d = d

a
dr.
r

(4.8)

Igualmente, nesse caso, temos (4.7), mas com v e nos lugares de u e , respectivamente.
A chamada mxima extenso ocorre com a combinao dessas duas extenses, com toda a
4 No

apndice C h uma pequena discusso sobre a natureza dos horizontes.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

52

variedade M coberta por um atlas analtico, que uma coleo de sistemas de coordenadas.
A soluo de Kerr possui uma interessante e mais rica estrutura em relao soluo
de Schwarzschild. Esta estrutura exibe cinco regies identificveis no espao-tempo. Para
indic-las, vamos, primeiro, obter a norma do campo de Killing t . Na base das coordenadas,

t tem as seguintes componentes: (1, 0, 0, 0); sua norma dada por t2 = g t t . Isso nos
leva ao resultado
)
1(
t2 = gtt = r a2 sen2 .
(4.9)

O campo t torna-se nulo em duas superfcies, onde t2 = 0. Tais so chamadas superfcies


de Killing provenientes de t . A superfcie interna indicamos por S , e a externa indicada
por S+ . Uma parte da regio entre elas de muito interesse. Mas antes de anunciar o nome
desta interessante regio, onde vetores de Killing t so tipo espao, convm relacionar essas
superfcies com os horizontes interno e de eventos (o mais externo). As cinco regies acima
mencionadas, de acordo com a distncia em relao origem do sistema de coordenadas, so:
0 < S < r < r+ < S+ < . Entre r+ e S+ temos a chamada ergosfera, onde o campo t
assume uma norma que o torna do tipo espao. A ergosfera uma regio ainda acessvel a um
observador muito distante. Nela, para percorrer as rbitas do campo t , preciso percorrer
curvas do tipo espao5 .
A generalizao da soluo de Kerr, que assintoticamente plana (isto , para r a
mtrica de Kerr torna-se a mtrica de Minkowski em coordenadas polares esfricas), para os
casos assintoticamente de Sitter e anti-de Sitter, foi obtida por Carter no seu HamiltonJacobi
and Schrdinger separable solutions of Einsteins equations [6], em 1968. Nas coordenadas
de Boyer-Lindquist (t, r, , ), essa generalizao escrita como:
[ 2
)
] 2
1(
2a
2
(r
+
a
)
r a2 sen2 dt 2

sen dtd +
r

(1 + 3 a2 )
[ 2
]
1
2
+
dr + d 2 +
(r + a2 )2 r a2 sen2 sen2 d 2 , (4.10)

2
2
r

(1 + 3 a )

ds2 =

com sendo o mesmo da soluo de Kerr. A constante representa a constante cosmolgica,


o termo a mais nas equaes de Einstein que possibilita a construo da mtrica acima. Os
novos termos na mtrica so
(
)

r = r2 + a2 (1 r2 ) 2Mr e = 1 + a2 cos2 .
3
3

(4.11)

As generalizaes com carga, cujo comportamento assinttico plano (Kerr-Newman), de


Sitter (Kerr-Newman-dS) e anti-de Sitter (Kerr-Newman-AdS), so as solues comentadas
5 Na

seo 12.3 de [49], pode-se encontrar uma pequena discusso sobre esse efeito.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

53

e expostas acima com a adio de um campo eletromagntico (F = 0), geralmente o campo


eltrico. Diferem das solues apresentadas porque tm o termo Q2 na funo r . A presena
deste termo muda a estrutura do espao-tempo, como pode ser visto na seo 12.3 do General relativity, de Wald. Nas prximas trs sees, apresentamos mtricas estacionrias com
simetria axial construdas num outro cenrio os mundos brana. A primeira, assintoticamente plana, foi desenvolvida por Aliev e Gmrkoglu, a segunda e a terceira mtricas,
assintoticamente AdS e dS, foram obtidas por ns em [35].

4.2

Soluo assintoticamente plana

No trabalho Charged rotating black holes on a 3-brane [33], em 2005, Aliev e Gmrkoglu descrevem uma soluo estacionria com simetria axial num cenrio brana do tipo RandallSundrum. Para obt-la, usaram as equaes do campo gravitacional induzidas na brana derivadas num trabalho por eles mesmos publicado [34]. Levando-se em considerao vcuo
no bulk, as equaes desses autores coincidem com as equaes deduzidas por Shiromizu et
al. em [26]. Estas ltimas as mesmas usadas por ns6 , como ser visto nas prximas duas
sees. Ento, para uma 3-brana sem campos de matria e sem constante cosmolgica, as
equaes resolvidas por Aliev et al. foram
R = E ,

(4.12)

R = 0,

(4.13)

que implicam em

onde R o tensor de Ricci, E um tensor7 que tem trao nulo (E = 0), e R o escalar
de Ricci ou de curvatura. Para resolver as equaes acima, os autores usaram o ansatz de
Kerr-Schild8 :
ds2 = ds2plana + H(l dx )2 ,
(4.14)
sendo ds2plana a mtrica plana ou de Minkowski, H(r, ), uma funo de r e , e l representa
um vetor de norma nula. Com esse recurso, (4.14) forneceu a Aliev et al. uma maneira
6 A deduo desse importante resultado, de Shiromizu et al., um trabalho muitssimo citado, est no apndice

A.
7O

significado de E o mesmo tanto para Aliev. et al. quanto para Shiromizu et al.: E a chamada
parte eltrica do 5-dimensional tensor de Weyl.
8 O ansatz de Kerr-Schild (...) para a mtrica induzida na brana, grosseiramente falando, implica que a
mtrica exata para um buraco negro na brana pode ser expressa na forma de sua aproximao linear em torno
da mtrica plana (cf. [33], p. 4). O ansatz usado por esses autores no possui constante cosmolgica e foi
construdo por Kerr e Schild em 1965, cf. [75].

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

54

de escrever uma mtrica assintoticamente plana numa 3-brana com a propriedade de possuir
simetria axial. Nas coordenadas ( , r, , ), tal ansatz toma a forma
ds2 =

[
]
(d + dr)2 + dr2 + d 2 + (r2 + a2 )sen2 d 2 + 2asen2 drd (4.15)

+ H(d asen2 d 2 ).
O problema, ento, foi determinar a funo H. Nas coordenadas acima expostas, os autores
usaram (4.15) na equao do campo (4.13) que os conduziu

2 H 4r H 2
+
+ H = 0.
r2
r

(4.16)

Ou seja,
2Mr q
,
(4.17)

onde o mesmo da soluo de Kerr. Com a determinao de H, a mtrica (4.15) pde


ser explicitada. Entretanto, os parmetros M e q so constantes de integrao, e tornaram-se
claros seus sentidos fsicos quando se passou a mtrica (4.15) para as coordenadas de BoyerLindquist com as seguintes transformaes:
H=

d = dt

r 2 + a2
dr
r

(4.18)

a
dr,
r

(4.19)

e
d = d
com

r = r2 + a2 2Mr + q.

(4.20)

Com essas transformaes, a mtrica tornou-se a mesma da equao (4.1), com um acrscimo
do parmetro q na funo r . Os autores, ento, enfatizaram a semelhana que existe entre a
mtrica construda por eles e a mtrica de Kerr-Newman, no contexto da relatividade geral,
que descreve um buraco negro estacionrio com simetria axial e carga. Por esse motivo,
interpretaram os parmetros M e a como massa e razo do momento angular pela massa,
respectivamente, do buraco negro. Alm disso, afirmaram que a partir da forma assinttica
da mtrica (...), segue que o parmetro q , num certo sentido, uma carga do tipo Coulomb.9
Tal parmetro mede a influncia do bulk na brana. Enfatizamos que a carga de mar no
corresponde a uma carga eltrica na brana. Nesta, o tensor eletromagntico nulo (F = 0).
Este o motivo para denominar q como uma carga induzida, um efeito do bulk na brana.
9 Cf.

[33], p. 5 (trocamos neste trabalho , usada no trabalho citado, por q).

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

55

Os zeros de (4.20) correspondem aos horizontes: um interno e outro externo, o horizonte


de eventos. A expresso para este ltimo simples e pode ser colocada aqui10
r+ = M +

M 2 a2 q.

(4.21)

Para ser real, a expresso acima tem que obedecer a M 2 a2 + q. A igualdade ocorre no caso
extremo, tornando r+ = M. Neste caso, quando q for negativa, a ser maior do que M. Ento,
os autores afirmaram que o efeito do bulk na brana pode prover um mecanismo para girar
um buraco negro estacionrio com simetria axial na brana de tal forma que seu parmetro de
rotao exceda sua massa. No entanto, tal mecanismo impossvel na relatividade geral11 ,
como vimos na seo 4.1, quando a mtrica de Kerr foi brevemente discutida. Naquele caso,
a2 M 2 para que tenhamos um buraco negro com um horizonte de eventos usual. Aqui,
podemos ter o contrrio. Outro resultado importante do trabalho de Aliev e Gmrkoglu
a possibilidade da carga de mar amplificar os efeitos gravitacionais na brana, isto , a
influncia do bulk na brana pode tornar o raio do horizonte de eventos maior neste contexto
do que no contexto da relatividade geral, pois q tambm assume valores negativos12 .
De forma anloga mtrica de Kerr, os zeros de gtt fornecem as superfcies de Killing
superfcies onde t2 = 0. A maior de todas, o limite ou o raio da ergosfera, dada por
S+ = M +

M 2 a2 cos2 q.

(4.22)

Tal como o horizonte de eventos, S+ torna-se maior quando q < 0. Quando = 0 ou = ,


S+ coincide com r+ . No caso extremo, M 2 = a2 + q e r+ = M, a ergosfera (r+ < r < S+ )
torna-se

M < r < M + sen M 2 q.


(4.23)
Pode-se notar que, com q < 0, essa importante regio maior no contexto de mundos brana
do que na relatividade geral. Dessa forma, Aliev et al. concluem que (...) buracos negros,
em rotao em mundos brana com carga de mar negativa, so objetos mais energticos no
sentido de extrao de energia rotacional de suas ergosferas. 13
10 Como

veremos nas prximas duas sees, as solues assintoticamente AdS e dS tm mais do que dois
horizontes. Suas expresses correspondentes no sero colocadas no texto devido ao tamanho que possuem.
11 Ibid., p. 6. Itlico dos autores.

12 Na soluo Kerr-Newman, r = M +
M 2 a2 Q2 .
+
13 Ibid., p. 6. Itlico dos autores. O mecanismo de extrao de energia de rotao de buracos negros o
mecanismo de Penrose, cf. [49], seo 12.4.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

4.3

56

Soluo assintoticamente AdS

Seguindo a alternativa proposta em [33], construmos em [35] uma mtrica estacionria


com simetria axial e constante cosmolgica negativa num cenrio brana do tipo RandallSundrum [17]. As equaes do campo gravitacional induzido numa 3-brana por um bulk 5dimensional assintoticamente AdS, para um bulk e uma brana com tensores energia-momento
nulos, reduzem-se, de acordo com (2.56),
R=

12
,
L2

(4.24)

onde L o raio AdS, que est relacionado constante cosmolgica por 4D = 3/L2 .
Para resolver (4.24), somente na brana, para o caso estacionrio com simetria axial e
constante cosmolgica negativa, utilizamos um ansatz 4-dimensional escrito na forma KerrSchild-AdS, que pode ser encontrado em [8]:
ds2 = ds2AdS + H(l dx )2 .

(4.25)

Neste caso, ds2AdS a mtrica anti-de Sitter pura, H, novamente, uma funo de r e , e l
representa um vetor de norma nula. Nas coordenadas (t, r, , ), (4.25) apresenta-se como:
2

ds2AdS

(1 + Lr 2 )
2

1 La2

dt 2 +

(1 + Lr 2 )(r2 + a2 )

(
H(l dx )2 = H

1 La2

dt +

dr2 +

(r2 + a2 )sen2 2

d 2 +
d , (4.26)
2

1 a2
L

(1 + Lr 2 )(r2 + a2 )

dr

asen2
2

1 La2

)2
d

(4.27)

sendo

a2
cos2
e
= r2 + a2 cos2 .
(4.28)
L2
A constante a foi interpretada como parmetro de rotao impondo-a nula, temos uma
soluo simetricamente esfrica. Inserindo (4.26) e (4.27) na equao (4.24), obtivemos
= 1

R=
ou seja,

12
2 H 4r H 2
+
+ H 2,
2
r
r
L

(4.29)

2 H 4r H 2
+
+ H = 0.
(4.30)
r2
r
Assim como [33], a equao (4.30) conduziu-nos a uma funo H(r, ) que no depende da

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

57

constante cosmolgica. Diferentemente de [8], H(r, ) depende de uma constante de integrao M mais um termo novo, q, chamado de carga de mar, tal como no caso assintoticamente plano. Isto ,
2Mr q
H=
.
(4.31)

Para obter algumas grandezas fsicas relevantes, como o horizonte de eventos, passamos
a mtrica na forma Kerr-Schild-AdS, com o uso de (4.26) e (4.27), para as coordenadas de
Boyer-Lindquist utilizando as transformaes
dt = d +
e
d = d +

H
2

(1 + Lr 2 )r

dr

(4.32)

a
aH
dr,
d + 2
2
L
(r + a2 )r

(4.33)

r2
) 2Mr + q.
L2

(4.34)

onde
r = (r2 + a2 )(1 +

Nessas coordenadas, q faz o papel de Q2 da soluo Kerr-Newman-AdS. Nesta ltima,


r = (r2 +a2 )(1+r2 /L2 )2Mr +Q2 . Portanto, a soluo obtida acima uma soluo estacionria na brana com simetria axial, constante cosmolgica negativa e uma carga induzida,
que chamamos de carga de mar, assim como Aliev e Gmrkoglu na soluo exposta
na seo anterior. Assim fica claro, segundo (4.34), o porqu atribuirmos a palavra carga
constante q, mesmo assumindo um tensor eletromagntico nulo na brana (F = 0). Esta
constante, q, mede a influncia do bulk na brana (veremos que a sua apario nas expresses
para os horizontes tambm nesse caso modifica o tamanho destes). Por fim, temos, a partir
das transformaes de coordenadas realizadas, a mtrica na forma Boyer-Lindquist
)
[ 2
] 2
2a
1(
2
r a2 sen2 d 2
(r
+
a
)

sen d d +
r

(1 La2 )
[ 2
] 2
1
2
2 2
2
2
dr + d 2 +
+
sen d 2 . (4.35)
(r
+
a
)

a
sen

2
a 2
r

(1 2 )

ds2 =

A mtrica acima, nas coordenadas ( , r, , ), possui problemas: diverge quando =


0, ou r = 0, ou = 0, ou a2 = L2 . Quando calculamos o escalar de Kretschmann,
R R , demo-nos conta de que somente quando = 0 ou = 0 temos um problema
que no se deve ao sistema de coordenadas escolhido. Ou seja,
R R

1
1
+
.
8

(4.36)

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

58

Por (4.28), o escalar acima diverge, como na mtrica de Kerr, quando r = cos = 0. Assim,
por ter a mesma simetria, interpretamos tambm aqui a singularidade fsica como um anel,
uma estrutura como aquela existente em Kerr, comentada na seo 4.1. A divergncia ocorre
tambm quando = 0, ou seja, L2 = a2 cos2 . Este ltimo resultado nos indicou que o
raio AdS tem um tamanho mnimo o que equivale 4D ter igualmente um valor mnimo
(4D = 3/L2 ). Quando = 0,
4D =

3
.
a2 cos2

(4.37)

3
.
a2

(4.38)

Como 0 /2,
4D

Trabalhamos, ento, somente com 4D > 3/a2 ou L2 > a2 . No caso assintoticamente dS


da prxima seo, como veremos, esse problema no existe porque se trata de uma soluo
com constante cosmolgica positiva.
A mtrica (4.35) tem a mesma simetria e, por isso, pode ser escrita da mesma forma que
a mtrica de Kerr ou de Kerr-Newman. Devido a essa semelhana, a extenso da mtrica
(4.35) realiza-se, como no caso Kerr exposto na seo 4.1, com as transformaes (4.6) e
(4.8), tornando-a analtica quando r = 0.
Impondo grr = 0, ou seja, r = 0, temos os horizontes superfcies cujos vetores tangentes tm norma nula como razes desta equao, de acordo com o apndice C. No caso
da mtrica (4.35), a equao resolvida foi um polinmio de quarto grau. No expusemos tais
razes obtidas devido ao grande tamanho que cada expresso possui. Mas para o caso onde
a < M, o nico caso que abordamos, temos quatro razes, sendo duas reais e duas complexas
conjugadas, desde que qmin < q < qmax (os valores de qmin e qmax dependem da escolha dos
parmetros a, M, L). As razes reais correspondem a um horizonte interno, r , e um horizonte
externo, r+ . Este ltimo pode ser considerado o horizonte de eventos usual. A constante q,
novamente, influencia estes resultados determinando diretamente os raios dos horizontes,
de acordo com a figura 4.1. Um detalhe importante a enfatizar que qmin pode assumir at
valores negativos. Este resultado uma inovao em relao relatividade geral, pois na
mtrica de Kerr-Newman o termo da carga expresso ao quadrado; no importa, ento, se Q
positiva ou negativa; em ambos os casos, os raios dos horizontes tm os mesmos comprimentos. Entretanto, para valores negativos de q, como fica claro na figura 4.1, o horizonte de
eventos torna-se ainda maior.
Outro aspecto importante de (4.35) variao do raio do horizonte de eventos com o
aumento ou diminuio do parmetro de rotao a. O grfico 4.2 mostra que o raio do
horizonte de eventos diminui com o aumento do parmetro de rotao.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

59

2.5

r- M
r+ M

1.5
4. 10-3

1.0

r_ M

r- M , r+ M

2.0

0.5

-4. 10-3
-2. 10-2

-1. 10-2
qM

0.0
-0.5
-1.0

0.0

-0.5

0.5

1.0

qM

Figura 4.1: O horizonte interno, r , linha vermelha, e o horizonte de eventos, r+ , linha azul, so
dependentes do parmetro q, a carga de mar. O grfico interno representa a ampliao de um
pequeno intervalo negativo para mostrar
que para valores de q < 0 temos r e r+ reais e positivos.
Usamos neste grfico a = 0.1M, L = 30M e M = 1.

aM = 0

1.8
aM = 0.1
aM = 0.3

1.6

aM = 0.5

r+ M

aM = 0.7
aM = 0.9

1.4

1.2

1.0

0.0

0.2

0.4

0.6

0.8

1.0

qM

Figura 4.2: A dependncia do tamanho ou raio do horizonte de eventos com o parmetro de rotao,
a, ilustrada neste grfico. Com
o aumento desse parmetro, o raio do horizonte diminui. Usamos
neste grfico a = 0.1M, L = 30M e M = 1. Neste grfico, a linha vertical tracejada indica o valor
mnimo de q/M para que tenhamos dois horizontes.

A mtrica (4.35) nas coordenadas ( ,r, , ) independente de duas coordenadas: e ;


possui, consequentemente, 2 campos de Killing que podem ser imediatamente construdos na

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA


base das coordenadas14 :

Suas normas so

2 = g =
e

2 = g =

1
(1

a2
L2

)2

)
1(
r a2 sen2

[ 2
]
(r + a2 )2 a2 r sen2 sen2 .

60

(4.39)

(4.40)

(4.41)

Os zeros da equao (4.40) fornecem as superfcies de Killing geradas por , que nesse
caso dependem de M, a, , L e q. Para valores de q/M que nos permitem ter dois horizontes,
podemos dividir o espao-tempo em cinco regies, de acordo com a figura 4.3:
0 < S < r < r+ < S+ < .

(4.42)

Os dois zeros reais de 2 , S e S+ , so as duas superfcies onde o campo de Killing


tem norma nula. A regio entre S e S+ especial: nela, a norma do campo de Killing
positiva, como mostra o grfico 4.3. Isto , na assinatura da mtrica usada por ns, um
vetor com norma positiva do tipo espao. Da mesma forma, na regio entre r+ e S+ ,
do tipo espao; esta regio tem um nome devido sua importncia tal conhecida como
ergosfera, como j foi mencionada na seo 4.1. Outra caracterstica desse tipo de geometrias
assintoticamente AdS, como fica ntida no grfico 4.3, a norma do campo de Killing que
diverge quando r tende para o infinito.
Temos tratado a soluo (4.35) como assintoticamente AdS. O nome desta seo torna
isso ainda mais flagrante. Uma forma rpida de se convencer disso olhar para a mtrica na
forma Kerr-Schild-AdS, especialmente no termo (4.27) que envolve H(r, ). Quando r tende
ao infinito, esse termo tende a zero, devido funo H(r, ) ser inversamente proporcional
ao quadrado de r. Ento,
ds2 ds2AdS quando r ,
(4.43)
e a soluo assintoticamente anti-de Sitter.
14 Sobre

a relao entre campos de Killing e coordenadas, o apndice B faz uma pequena exposio, relacionando tais campos com as simetrias esfrica e axial.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA


1.0

61

1.0

=0
= 4
0.5

2M

2M

0.5

0.0

0.0

-0.5

-0.5

-1.0
-1.0

= 2

rM

rM
6. 10-2

2. 10-3
-2

2M

2M

4. 10

1. 10-3

2. 10-2

0
2.96 10-1

0
2.99 10-1

1.546

3.01 10-1

1.548

1.55

rM

rM

Figura 4.3: A norma do campo de Killing para o caso assintoticamente AdS ilustrada nos
grficos superiores. As retas verticais tracejadas no grfico superior esquerdo indicam as superfcies
de Killing, S e S+ . No grfico superior direita, constatamos que para diferentes valores de , o
ngulo polar, a norma do campo tende, quando r cresce, para o mesmo valor independentemente do
valor do ngulo. Nos grficos inferiores, destacamos regies prximas s superfcies S e S+ (retas
verticais tracejadas), respectivamente. As retas verticais em vermelho indicam o horizonte interno,
na figura inferior esquerda, e o horizonte de eventos, figura inferior direita. Com isso, podemos
dizer que o espao-tempo
dividido em cinco regies: 0 < S < r < r+ < S+ < . Usamos nestes
grficos a = 0.1M, L = 30M e M = 1.

4.4 Soluo assintoticamente dS


De forma similar ao caso da seo anterior, tambm obtivemos em [35] uma soluo
estacionria com simetria axial e constante cosmolgica positiva num contexto de mundos
brana. Para tal, resolvemos a equao (2.56). Entretanto, temos, agora, que impor a constante
cosmolgica positiva na brana. Ou seja,
R=

12
,
L2

(4.44)

onde L, neste caso, o raio dS, que se relaciona com a constante cosmolgica na brana por
4D = 3/L2 .
Seguindo os mesmos passos do caso AdS da seo anterior para resolver a equao dife-

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

62

rencial (4.44), utilizamos o ansatz Kerr-Schild-dS, de acordo com [8]:


ds2 = ds2dS + H(l dx )2 ,

(4.45)

que nas coordenadas t, r, e tomou a forma


2

ds2dS =

(1 Lr 2 )
2

1 + La2

dt 2 +

(1 Lr 2 )(r2 + a2 )

(
H(l dx )2 = H

1 + La2

dt +

dr2 +

(r2 + a2 )sen2 2
d 2 +
d
2

1 + a2

(4.46)

(1 Lr 2 )(r2 + a2 )

dr

asen2
2

1 + La2

)2
d

(4.47)

onde

a2
cos2
e
= r2 + a2 cos2 .
(4.48)
L2
Novamente, a constante a ser interpretada como parmetro de rotao. Inserindo (4.46) e
(4.47) na equao (4.44), tivemos
= 1 +

R=

12
2 H 4r H 2
+
+
H
+
,
r2
r
L2

(4.49)

ou seja,

2 H 4r H 2
+
+ H = 0,
(4.50)
r2
r
que a mesma equao obtida no caso AdS, cuja soluo dada por (4.31).
Passamos, igualmente para este caso, a mtrica da forma Kerr-Schild-dS para as coordenadas de Boyer-Lindquist, de acordo com as transformaes
dt = d +
e
d = d

H
2

(1 Lr 2 )r

dr

a
aH
d + 2
dr,
2
L
(r + a2 )r

onde

(4.51)

(4.52)

r2
) 2Mr + q.
(4.53)
L2
Tal como o caso AdS, nessas coordenadas, q faz o papel de uma carga induzida, uma
carga de mar, e tem alguma semelhana com Q2 da soluo Kerr-Newman-dS, onde
r = (r2 + a2 )(1 r2 /L2 ) 2Mr + Q2 . Ento, temos uma soluo com simetria axial, constante cosmolgica positiva e uma carga induzida na brana. Por fim, a mtrica, depois das
r = (r2 + a2 )(1

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

63

transformaes de coordenadas, apresentou-se como


)
[ 2
] 2
1(
2a
2
r a2 sen2 d 2
(r
+
a
)

sen d d +
r

(1 + La2 )
[ 2
] 2
2
1
2 2
2
2
+
(r
+
a
)

dr + d 2 +

a
sen

sen d 2 . (4.54)
r

2
r

(1 + a2 )2

ds2 =

A mtrica acima, tal como a mtrica assintoticamente AdS da seo anterior, diverge
quando r = 0 ou = 0. Neste caso no existem valores de L que a tornem divergente.
Diferente daquela, esta mtrica tem uma singularidade fsica somente quando = 0, como
pode ser visto no escalar de Kretschmann:
R R

1
.
8

(4.55)

A divergncia em r mostra-se apenas como uma insuficincia das coordenadas de BoyerLindquist na regio da variedade onde isso ocorre. Da mesma maneira que a mtrica da
seo anterior, (4.54) tambm pde ser escrita na forma em que as mtricas de Kerr ou de
Kerr-Newman so escritas, nas coordenadas de Boyer-Lindquist. Devido a essa semelhana,
a extenso da mtrica (4.54) realiza-se, como no caso Kerr exposto na seo 4.1, com as
transformaes (4.6) e (4.8), tornando-a analtica quando r = 0.
Vamos discutir os horizontes dessa mtrica, que so um pouco diferentes do caso estudado
na seo anterior. Impondo, novamente, grr = 0, ou seja, r = 0, temos at quatro razes
diferentes para esse polinmio. Limitando-nos ao caso a < M, se qmin < q < qmax onde
os valores de qmin e qmax dependem da escolha dos parmetros a, M, L , temos at trs
razes reais, sendo a menor delas o horizonte interno (r ), a intermediria, o horizonte de
eventos (r+ ), e a maior, o horizonte cosmolgico (rc ). Vemos que, neste caso, um horizonte
a mais apresenta-se. Como no caso anterior, as expresses para esses horizontes so muito
grandes para serem expostas aqui. Ilustramos seus comportamentos, suas dependncias com
o parmetro q, a carga de mar, com o auxlio da figura 4.4. Novamente, fica claro que q
afeta o tamanho dos horizontes de uma forma diferente da carga Q na mtrica Kerr-Newman
que se apresenta ao quadrado , mostrando-nos um resultado qualitativamente distinto da
relatividade geral. Quando a carga de mar assume valores negativos, o raio do horizonte de
eventos adquire tamanho ainda maior como pode ser notado no grfico 4.4. Nos grficos
da figura 4.5, vemos que com o aumento do parmetro de rotao a, para um mesmo valor
de q/M , o raio do horizonte de eventos diminui, e o raio do horizonte cosmolgico aumenta.
Isso uma propriedade j conhecida de razes de polinmios15 .
15 A

propriedade mencionada uma das frmulas de Girard-Newton-Vite. Para um polinmio de grau n,

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

64

r+ M

r- M
2

4. 10-3
r- M

r- M , r+ M , rc M

rc M

-4. 10

-3

-2. 10-2

-1. 10-2
qM

0
-1.0

0.0

-0.5

0.5

1.0

qM

Figura 4.4: O horizonte interno, r , linha preta, o horizonte de eventos, r+ , linha azul, e o horizonte
cosmolgico, rc , linha vermelha, so dependentes do parmetro q, a carga de mar. O grfico menor,
interno, destaca um pequeno intervalo negativo para mostrar que existe,
mesmo para q < 0, um valor
real e positivo para r , r+ e rc . Usamos neste grfico a = 0.1M, L = 30M e M = 1.

4.3

2.6
aM = 0

2.4

4.2

aM = 0.1

2.2

aM = 0.3

4.1
aM = 0.5

aM = 0

rc M

r+ M

2.0

aM = 0.7

4.0

1.8

aM = 0.1

aM = 0.9

aM = 0.3

3.9

1.6

aM = 0.5

1.4

aM = 0.7

3.8

1.2

aM = 0.9

3.7
0.0

0.2

0.4

0.6

qM

0.8

1.0

1.2

0.0

0.2

0.4

0.6

0.8

1.0

1.2

qM

Figura 4.5: A variao dos horizontes de evento, r+ , e cosmolgico, rc , com o aumento da carga
de mar para alguns valores do parmetro de rotao exibida nas figuras da esquerda e da direita,
respectivamente. Com o aumento de a, para um mesmo valor deq, o horizonte de eventos diminui e
o cosmolgico aumenta. Usamos nestes grficos a = 0.1M, L = 30M e M = 1.

Tal como a mtrica assintoticamente AdS, a mtrica desta seo nas coordenadas ( ,r, , )
independente de duas coordenadas: e ; possui, da mesma forma, 2 campos de Killing
que podem ser imediatamente construdos na base das coordenadas como (4.39), cujas normas so
)
1(
2 = g = r a2 sen2
(4.56)

Pn (x) = a0 xn + a1 xn1 + ... + an1 x + an , sendo r1 , r2 ..., rn razes desse polinmio, a propriedade mencionada
diz que: r1 + r2 + ... + rn = a1 /a0 .

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA


e

2 = g =

1
2

(1 + La2 )2

[ 2
]
(r + a2 )2 a2 r sen2 sen2 .

65

(4.57)

Os zeros da equao (4.56) fornecem as superfcies de Killing, que nesse caso tambm dependem de M, a, , L e q. Para valores de q/M que nos permitem ter trs horizontes (r , r+ e
rc ), podemos dividir o espao-tempo em seis regies, de acordo com a figura 4.6:
0 < S < r < r+ < Si < S+ < rc .

(4.58)

Aqui, 2 pode ter at trs razes: S , Si (uma superfcie interna) e S+ , isto , este campo
assume norma nula em trs superfcies. A regio entre Si e S+ especial. Nela a norma do
campo de Killing negativa, como mostra o grfico 4.6. Isto , na assinatura da mtrica
usada por ns, para constante cosmolgica positiva, um vetor com norma negativa do tipo
espao. De forma diferente do caso assintoticamente AdS, toda a regio entre r+ e S+ no
torna o campo tipo espao. Isto s ocorre entre Si e S+ . Entre r+ e Si , a norma do campo
em questo tipo tempo. Ento, nesse caso, a ergosfera situa-se entre Si e S+ e no alcana
o horizonte de eventos. Outra caracterstica compartilhada com o caso AdS a divergncia
da norma do campo quando r cresce ntida no grfico 4.6.
Tal como a soluo assintoticamente AdS da seo anterior, a mtrica desta seo tambm
tem um comportamento assinttico que no de uma mtrica plana. Por (4.45), tomando
r (nas forma de Kerr-Schild-dS, a mtrica pode ser estendida at o infinito), H 0 e
nos conduz ao resultado
ds2 ds2dS .
(4.59)
Portanto, podemos concluir que a mtrica construda nesta seo assintoticamente de Sitter.
As solues (4.35) e (4.54) podem ser interpretadas de duas formas: no contexto da relatividade geral, temos solues das equaes de Einstein com um tensor energia-momento
ef
efetivo T no nulo, pois podemos considerar que o tensor E /8 faz esse papel, na equao do campo gravitacional, em ambas solues. Isto ,
ef

G + 4D g = E = 8 T .

(4.60)

Por outro lado, no contexto de mundos brana que temos tratado, consideramos vcuo na 3brana. Nesta interpretao, as equaes do campo gravitacional so outras, so deduzidas a
partir das equaes de Gauss-Codazzi, como pode ser visto no apndice A. Nesta outra formulao das equaes do campo gravitacional, o tensor E visto como a manifestao do
bulk na brana, como um elemento que no tem correspondente na relatividade geral. De qualquer forma, em ambas interpretaes e solues (assintoticamente AdS e dS) as componentes

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

66

E so:
E
Err
E

)
2(r2 + a2 )
1
=
=q
2 ,
3

q
= E = 2 ,
( 2 2 ) 2
)
r + a sen
2qa (
=
E = 3 r2 + a2 sen2 ,

onde
= 1+

(4.61)

4D 2
a .
3

(4.62)

2M

2M

Pode-se notar que o vnculo E = 0 satisfeito.

=0

= 4
= 2

-1

-1
0

10

10

rM

rM
1. 10-2
4. 10-4

2M

2M

2M

1.2 10-3

6. 10-4

2. 10-4

-1. 10-2
1.36 10-1

1.38 10-1

rM

1.4 10-1

2.283

2.287

rM

2.291

3.874

3.876

3.878

rM

Figura 4.6: A norma do campo de Killing para o caso assintoticamente dS ilustrada nos grficos
superiores. As retas verticais tracejadas no grfico superior esquerdo indicam as superfcies de Killing,
S , Si e S+ . No grfico superior direita, constatamos que para diferentes valores de , o ngulo
polar, a norma do campo tende, quando r cresce, para o mesmo valor independentemente do valor do
ngulo (uma grande diferena na curva notada quando = 0, entre S e Si ). Nos grficos inferiores,
destacamos regies prximas s superfcies S , Si e S+ (retas verticais tracejadas), respectivamente.
As retas verticais em vermelho indicam o horizonte interno, na figura inferior esquerda, o horizonte
de eventos, figura inferior ao centro, e o horizonte cosmolgico, figura inferior direita. Com isso,
podemos dizer que o espao-tempo dividido
em seis regies: 0 < S < r < r+ < Si < S+ < rc .

Usamos nestes grficos a = 0.1M, L = 30M e M = 1.

As componentes de E tm grande semelhana com as componentes do tensor energiamomento das solues com carga eltrica Kerr-Newman-(A)-dS e Kerr-Newman (quando

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

67

4D = 0). Para estas mtricas conhecidas, as componentes no nulas do tensor energiamomento so:

T
Trr
T

(
)
1
Q2 2(r2 + a2 )
=
=
2 ,
8
3

2
Q
= T =
,
8) 2
( 2
)
r + a2 sen2
Q2 a ( 2
=
T =
r + a2 sen2 .
3

(4.63)

Sendo assim, a semelhana entre as componentes (4.61) e (4.63) patente; basta trocar q
por Q2 e multiplicar E por 1/8 para termos o tensor energia-momento do campo eletromagntico. Isto torna razovel interpretar q, nas solues obtidas, como um tipo de carga
coulombiana.
Quando interpretamos as solues construdas nas duas sees anteriores como buracos
negros assintoticamente AdS e dS (e temos razes para isso, pois tais apresentam todas as
estruturas das solues Kerr-Newman-(A)dS, como o horizonte de eventos, horizontes de
Killing, ergosfera), podemos estimar a velocidade angular desses objetos como
(
)
g
r (r2 + a2 )
= a
.
=
g
(r2 + a2 )2 r a2 sen2

(4.64)

No infinito, para o caso AdS, quando r , um observador mede


=

4D
a,
3

(4.65)

que, ao contrrio da mtrica de Kerr (4D = 0), no nula. Assim, um espao-tempo assintoticamente AdS diferencia-se de um espao-tempo assintoticamente plano tambm por essa
caracterstica. No horizonte, r = 0, a velocidade angular desses buracos negros tornou-se
+ =

a
2 + a2
r+

(4.66)

No caso dS, existe tambm a velocidade angular do horizonte cosmolgico, dada por
c =

a
rc2 + a2

(4.67)

Os resultados, quando 4D < 0, das velocidades angulares acima so iguais aos mostrados em
[77, 58] para o caso Kerr-AdS ou Kerr-Newman-AdS. Tambm concordam quando 4D > 0,

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

68

de acordo com [59] e com a definio de velocidade angular do horizonte cosmolgico, que
se encontra em [51], onde expuseram tais grandezas para a mtrica Kerr-Newman-dS.
A partir do que foi visto nas duas sees anteriores e nesta, no importa se existe na
brana a constante cosmolgica, como nas geometrias construdas por ns, ou no, como na
soluo proposta por Aliev e Gmrkoglu. O bulk, que assintoticamente AdS, imprime
suas pegadas na brana. Estas pegadas, como vimos, alteram a estrutura da geometria do
espao-tempo 4-dimensional.

4.5

Cargas conservadas

Como j dissemos, as solues (4.35) e (4.54) podem ser interpretadas de duas formas.
Na primeira no contexto de mundos brana que abordamos , a formulao de uma termodinmica completa apresenta-se problemtica, pois a soluo total (bulk + brana) nos
desconhecida. Na segunda interpretando as solues obtidas como solues no contexto
da teoria de Einstein , uma termodinmica direta. De acordo com (4.61) e (4.63), o tensor
energia-momento efetivo das solues por ns construdas do tipo Kerr-Newman-(A)-dS.
A diferena fundamental faz-se notar na presena do termo de carga, que no est elevado ao
quadrado. Impondo nas mtricas construdas valores negativos para essa constante, como j
vimos, nas sees 4.3 e 4.4, efeitos gravitacionais ampliam-se (com q < 0, temos horizontes
de eventos e ergosferas maiores, por exemplo). Ento, a possibilidade de utilizar valores negativos para q pode apresentar uma termodinmica diferente dos casos Kerr-Newman-dS e
Kerr-Newman-AdS.
Mas para construir uma termodinmica, cargas conservadas so imprescindveis. Cargas
conservadas esto entre as mais importantes quantidades que uma teoria pode prover. Nas
sees anteriores, evitamos chamar o parmetro M nas mtricas (4.35) e (4.54) de massa
ou de uma quantidade conservada outra qualquer. Em geometrias assintoticamente de Sitter
e anti-de Sitter no contexto da relatividade geral , a determinao de uma quantidade
conservada, como a massa de um buraco negro, no um consenso. Por outro lado, em
geometrias assintoticamente planas, as chamadas integrais de Komar so um caminho para
obter cargas conservadas, como a massa e o momento angular. Quando uma geometria possui
um campo de Killing do tipo tempo ( ), a integral de Komar, algo similar integral de Gauss
no eletromagnetismo, fornece a massa/energia do sistema:
1
E=
4

d x

(2) ,

(4.68)

onde , uma 2-esfera no infinito espacial, a fronteira de uma hipersuperfcie do tipo es-

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

69

pao, e (2) o determinante de sua mtrica induzida; os vetores unitrios e so


normais s hipersuperfcies e , respectivamente. No caso da mtrica de Kerr, por exemplo, E = M. Para calcular o momento angular, J, a integral de Komar correspondente leva
em considerao o campo de Killing do tipo espao , que caracteriza a rotao. Ou seja,
1
J=
8

d x

(2) .

(4.69)

Em Kerr, J = aM, onde a o parmetro de rotao.


Em outro caminho, na formulao hamiltoniana da relatividade geral, o formalismo ADM
(Arnowitt, Deser e Misner) fornece uma maneira para se calcular quantidades conservadas.
Em uma geometria assintoticamente plana, cargas conservadas so justamente aquelas fornecidas pelo formalismo ADM, correspondendo s d(d + 1)/2 cargas relacionadas aos geradores do grupo de Poincar em d dimenses. Partindo de uma maneira de escrever a mtrica tal
como em teoria de perturbao (na aproximao linear)
g = + h ,

(4.70)

onde aqui h requerida ser pequena somente no infinito espacial, no necessariamente em


todo espao-tempo, a massa/energia no formalismo ADM dada por uma integral sobre uma
2-esfera no infinito espacial
1
EADM =
16

)
(
j
j
i
(2)
d x j hi i h j .
2

(4.71)

Os ndices i e j referem-se a quantidades na 2-esfera. A integral de Komar (4.68) e a expresso para a massa ADM (4.71) concordam entre si quando h independente do tempo no
infinito.
Mas em geometrias assintoticamente de Sitter ou anti-de Sitter, (4.68) ou (4.69) e (4.71)
divergem. No caso das integrais de Komar, podemos interpretar essa divergncia pensando
que as integrais acima so definidas em todo espao. Ento, em geometrias com < 0 ou
> 0, a quantidade de energia levada em conta na integrao uma integral onde o infinito
um dos seus limites infinita porque a constante cosmolgica pode ser encarada como
uma componente da energia do espao-tempo, permeando-o em sua totalidade. Para superar
essa dificuldade, foram desenvolvidas as tcnicas conforme e dos contratermos16 . A primeira,
devido a Penrose, utiliza-se de condies de contorno que lidam com o comportamento assinttico da geometria para remover as divergncias; em geometrias assintoticamente AdS
16 Uma

tentativa de utilizar as integrais de Komar, em espaos-tempo assintoticamente AdS, evitando as


divergncias, foi feita, por exemplo, em [52].

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

70

foi usada por Ashtekar e Magnon [53], para o caso quadrimensional, e por Ashtekar e Das
[54], para dimenses maiores do que quatro. A segunda tcnica desenvolvida para geometrias assintoticamente anti-de Sitter [55] e para geometrias assintoticamente dS [56]
surgiu de forma independente graas correspondncia AdS/CFT: nesse caso, contratermos
so adicionados ao gravitacional, a fim de torn-la finita, para promover a remoo das
divergncias em clculo de quantidades conservadas. Entretanto, outro caminho, anterior
tcnica dos contratermos, foi percorrido por Brown e York [57]. Os resultados obtidos por
Brown e York so em relao a um espao-tempo referncia, considerado como estado fundamental classe de geometrias em questo. Isto , realiza-se, nesse caso, uma subtrao
entre a ao gravitacional e a ao do espao-tempo que serve como referncia o estado
fundamental , que um funcional da mtrica induzida na fronteira do espao tempo em
questo, seja assintoticamente AdS ou dS. A escolha desse espao-tempo referencial colocada como um dos problemas da tcnica de Brown e York. Mas a tcnica dos contratermos
uma extenso da tcnica dos dois ltimos autores citados, eliminando a necessidade de
imergir a geometria estudada num espao-tempo que serve como referncia.
Nesta tese, vamos seguir a tcnica de adicionar contratermos ao gravitacional. Em
Themodynamics of Kerr-Newman-AdS black holes and conformal field theories [58], Caldarelli, Cognola e Klemm estudaram a termodinmica da geometria de Kerr-Newman-AdS,
obtendo a temperatura Hawking, uma expresso para a massa/energia (a frmula de Smarr)
e a entropia, com o auxlio de um contratermo ao gravitacional. J em The thermodynamic of a Kerr-Newman-de Sitter black hole [59], Dehghani e KhajehAzad usaram o mesmo
procedimento, agora para a geometria com constante cosmolgica positiva, para estudar o
sistema que composto por dois horizontes: o horizonte de eventos e o cosmolgico17 . Em
ambos trabalhos, ao total dada por
S = SG + Sct ,

(4.72)

onde SG a ao gravitacional de Einstein-Hilbert com o termo de Hawking-Gibbons [61].


O segundo termo do lado direito de (4.72) um contratermo adicionado ao. Em nosso
caso, a ao gravitacional
SG =

1
16

1
d 4 x g (R 24D )
16
M

d 4 xLcampo +

1
8

d 3 x K, (4.73)

onde M o espao-tempo, g o determinante de g , Lcampo a lagrangiana do campo


17 Termodinmica

em geometrias assintoticamente dS que contm um buraco negro apresentam um interessante problema sobre a estabilidade do sistema horizonte de eventos-horizonte cosmolgico. Em [60] existe
uma discusso sobre tal problema.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

71

tipo Maxwell, expresso pelo tensor energia-momento efetivo (4.61); M uma possvel
fronteira tridimensional de M , com mtrica induzida i j e curvatura extrnseca Ki j , sendo K
o trao desta ltima. A componente de ao que traz o(s) contratermo(s) de acordo com
Caldarelli et al. (no caso assintoticamente AdS) e Dehghani et al. (no caso assintoticamente
dS) escreve-se como:
1
Sct =
8

d x

)
2 L
R .
L 2

(4.74)

Na ao acima, o sinal positivo em indica o caso AdS, o negativo, dS18 , e o escalar R


a curvatura intrnseca da fronteira, isto , o escalar de Ricci associado mtrica induzida na
fronteira.

+
3

B
u

Figura 4.7: O espao-tempo M , no formalismo de Brown e York, tem fronteira dada por M . Esta

ltima definida pelas hipersuperfcies , no passado, e + , no futuro, mais a hipersuperfcie tipo


tempo 3 B. Para uma hipersuperfcie qualquer , com u sendo normal e unitrio, sua fronteira B.

Com a ao definida em (4.72), usa-se o caminho percorrido por Brown e York para
construir quantidades conservadas19 , definindo o tensor energia-momento na fronteira. Ou
seja,
2 S
i j =
(4.75)
i j
determina quantidades conservadas em todo espao-tempo M . Extremizando S, i j assume
a forma
[
(
)]
) 2 ij
1 ( ij
1 ij
ij
ij
ij
K K L R R .
=
(4.76)
8
L
2
Mas antes, para obter as quantidades conservadas, escreve-se a mtrica i j para tempos iguais
18 Em

Cadarelli et al.[58], existem mais termos em Sct , mas segundo Dehghani et al. [59], tais termos a mais
no contribuem devido aos seus decaimentos, quando r cresce, serem mais rpidos.
19 Vale a pena enfatizar que em [57], Brown e York no utilizam contratermos em sua ao total.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

72

no formalismo ADM. Isto


(
)
i j dxi dx j = N 2 d 2 + ab (d a +V a d ) d b +V b d ,

(4.77)

com os ndices a e b referindo-se a uma hipersuperfcie de dimenso dois (indicada por B na


figura 4.7), cuja mtrica induzida expressa por ab ; as coordenadas a so variveis angulares que parametrizam curvas no entorno de uma origem. De acordo com o formalismo ADM,
N a funo lapso, e V a o vetor de deslocamento. Dessa forma, para um campo de Killing
associado a uma isometria na fronteira M , sua quantidade conservada correspondente

Q =

d 2 x i j ui j ,

(4.78)

onde ui um vetor normal unitrio a uma superfcie definida por fixo (indicada por na
figura 4.7).
A determinao da quantidade conservada M, massa, ou momento angular, J, depende
do uso em (4.78) do campo de Killing ou , respectivamente. Para Caldarelli et al.
que usaram a mtrica Kerr-Newman-AdS , o resultado para a massa e o momento angular
foram
Ma
M
Mh = 2 e Jh = 2 .
(4.79)

J para Dehghani et al. que usaram a mtrica Kerr-Newman-dS , a massa e o momento


angular foram calculados em relao ao horizonte cosmolgico. Ou seja,
Mc =

M
2

Jc =

Ma
.
2

(4.80)

Por outro lado, em [62], seguindo o caminho de Gomberoff e Teitelboim [63], essas duas
grandezas na geometria Kerr-Newman-dS foram tambm construdas para o horizonte de
eventos. Nesse caso, os resultados so os mesmos da geometria assintoticamente AdS, dados
por (4.79).
Como as mtricas (4.35) e (4.54) so do tipo Kerr-Newman-dS e Kerr-Newman-AdS,
podemos, no contexto da relatividade geral, interpretar a constante de integrao M como
a massa do buraco negro multiplicada por um fator que depende somente da rotao e da
constante cosmolgica. Alm disso, o momento angular tambm pode ser expresso por (4.79)
ou (4.80), onde a interpretado como o parmetro de rotao.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

4.6

73

Geodsicas

Segundo Chandrasekhar, no seu The mathematical theory of black holes, (...) a separabilidade da equao de Hamilton-Jacobi (descoberta por Carter) foi a primeira de muitas
propriedades que dotou a mtrica de Kerr de uma aura miraculosa.20 Sem entrar na discusso sobre essa aura miraculosa da mtrica de Kerr, construmos as equaes das geodsicas
das mtricas obtidas nas sees 4.3 e 4.4 seguindo o mesmo caminho do seminal trabalho de Carter, Global structure of the Kerr family gravitational fields, publicado em 1968
[64]. As solues construdas nas sees 4.3 e 4.4 tm duas constantes de movimento relacionadas aos campos de Killing e . A primeira representa a energia por unidade de massa,
E, e a segunda representa o momento angular por unidade de massa, , de uma partcula
em movimento em qualquer uma das duas geometrias com simetria axial expostas nas sees
citadas. Duas quantidades conservadas a mais surgiram, sendo a ltima a partir da resoluo
da equao de Hamilton-Jacobi.
Num espao-tempo, uma partcula somente sujeita interao gravitacional percorre geodsicas, que na base das coordenadas so curvas que obedecem a equao (3.68). Geodsicas
extremizam o comprimento de curvas que ligam dois pontos quaisquer. Sendo assim, pode-se
obter (3.68) a partir da lagrangiana
1
L = g x x ,
2

(4.81)

onde o ponto indica derivada ordinria em relao a um parmetro, , que se relaciona com
o parmetro afim , segundo Carter, por

= .

(4.82)

Isto equivalente a impor a seguinte condio de normalizao


g x x = 2 .

(4.83)

O sinal na condio (4.83) refere-se ao caso de Sitter e anti-de Sitter, respectivamente.


Como foi visto, no caso de Sitter, um vetor tipo tempo tem norma positiva, no outro, tem
norma negativa. Escolhendo = 0 ou = 1, a lagrangiana (4.81) fornece geodsicas do tipo
luz ou do tipo tempo, respectivamente. A equao (4.83) conhecida como condio de normalizao e fornece uma terceira constante de movimento, , ligada conservao da norma
do vetor tangente paralelamente transportado ao longo da geodsica a quadrivelocidade.
20 Cf.

[65], cap. 7, p. 319.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

74

A quarta constante de movimento para as geometrias expostas nas sees anteriores pde ser
obtida, como j dissemos, seguindo o caminho de Carter [64], num processo de separao de
variveis realizado para a resoluo da equao de Hamilton-Jacobi.
Antes, construmos a hamiltoniana usando a definio dos momentos generalizados para
a lagrangiana (4.81). Ou seja,
L
p = g x ,
(4.84)
x
conduziu-nos
1
H p x L = g p p
2

(4.85)

para a nossa lagrangiana (com p = x ). Os momentos conjugados, usando as mtricas21


assintoticamente de Sitter e anti-de Sitter construdas nas sees 4.3 e 4.4, so:
pt = gtt t + gt
)
[ 2
]
a
1(
(r + a2 ) r sen2 ,
= r a2 sen2 t

(1 + 34D a2 )
pr = grr r

=
r,
r
p = g

=
,

p = g + g t t
] 2
[ 2
1
2
2
2 2
=

a
sen

sen
(r
+
a
)

(1 + 34D a2 )2
[ 2
] 2
a
2

(r
+
a
)

sen t.
r

(1 + 34D a2 )

(4.86)

(4.87)

(4.88)

(4.89)

Tais momentos, com o uso de (4.85) e da mtrica invertida

(r2 +a2 )

r a2 sen2
r

0
0
2
(r2 +a2 ) r
(1 + 34D a2 )
r

0
r

(1 +

2
2
4D 2 (r +a ) r
a
)
3
r

(1 + 34D a2 )2

r a2 sen2
r

cosec2

(4.90)

conduziram-nos seguinte hamiltoniana:


21 Usaremos,

expresses.

doravante, explicitamente a constante cosmolgica, 4D , ao invs do raio AdS/dS, L, em todas

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA


1
H=
2

75

[ (
)
(
) ( r2 +a2 2 )
2
(r2 +a2 ) r a2 sen2
(
) r
4D 2
2

pt 2 1 + 3 a
pt p
r
r
(

+r p2r + p2 + 1 + 34D a2

)2 (

a2 sen2

r
r

cosec2 p2 .

(4.91)

Como foi dito acima, duas quantidades conservadas so imediatamente reconhecidas pela
existncia dos campos de Killing t e . Estas so
pt = E

p = ,

(4.92)

a energia e o momento angular, respectivamente, de uma partcula que percorre uma geodsica. A terceira quantidade conservada segundo Bardeen et al. [70], esta a massa de
repouso de uma partcula que se move numa geodsica qualquer. Sem perda de generalidade,
para ftons = 0 e para partculas massivas = 1.
Para chegar na quarta e ltima quantidade conservada, resolvemos a equao de HamiltonJacobi na gravitao, que a partir da hamiltoniana (4.85), tornou-se

S 1 S S
= g
,
2
x x

(4.93)

onde S a funo principal de Hamilton, que se relaciona com os momentos generalizados


por
S
p .
(4.94)
x
Para resolv-la, assumimos, como Carter, que suas variveis podem ser separadas; ento,
buscamos uma soluo do tipo
1
(4.95)
S = 2 Et + + S ( ) + Sr (r).
2
Inserimos (4.95) na equao (4.93) para obter, com a inversa da mtrica dada por (4.90),
2

]
[(
)2
(
)[ 2
]
r2 + a2 r a2 sen2
4D 2
(r + a2 ) r
2
E + 2a 1 +
a
E
=
r
3
r
(
)
(
) (
) [
]
4D 2 2 r a2 sen2
r dSr 2 dS 2
+
+
+ 1+
a
cosec2 2 . (4.96)
dr

d
3
r

Separamos, nesta ltima equao, termos que envolvem r e . Com isso, chegamos igualdade

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

)
[
(
]2
)
dS 2
1
4D 2
+
asen E 1 +

a cosec 2 a2 cos2
d

3
(
) ]2
(
)
[
)
dSr 2 1 ( 2
4D 2
2
= r
+
r +a E a 1+
a 2 r2 .
dr
r
3

76

(4.97)

Ambos os lados de (4.97) so iguais a uma constante de separao K, conhecida como constante de Carter nos smbolos e , ao lado de 2 , o sinal superior refere-se mtrica
de Sitter e o inferior anti-de Sitter. Assim, pudemos escrever (4.97) como duas equaes
desacopladas:
dSr
dr
dS
d

{[
}1
(
) ]2
) 2
( 2
)
( 2 2
4D 2
2
r +a E a 1+
a r r + K
,
(4.98)
3
{ [
}1
(
]2
)
( 2 2 2
) 2
1
4D 2
.(4.99)
=
asen E 1 +
a cosec a cos K

1
=
r

Definimos, ento,

de tal forma que

)
]2
[(
4D 2
Q = K 1 +
a aE ,
3

(4.100)

dS
=
,
d

(4.101)

onde
[

]
(
)2
(
)

4D 2
a
cosec2 2 .
= Q cos2 a2 2 E 2 + 1 +
3

(4.102)

A constante Q foi a quarta e ltima constante obtida uma relao entre as constantes
E, e a constante de separao de variveis K. Para que se tenha, nas mtricas consideradas, as interessantes geodsicas ou rbitas, as equatoriais22 ( = /2), Q deve necessariamente ser nula. Por (4.88), vemos que rbitas inteiramente contidas no plano equatorial tm
p = 0( = 0), o que implica em S / = 0, pela definio dos momentos (4.94). Ento,
de acordo com (4.101), numa rbita equatorial deve ser nula, o que impe a condio de
que Q igualmente seja nula.
22 Equaes

das geodsicas equatoriais foram usadas no captulo 5, que utilizou as geometrias construdas
neste captulo para um estudo de tica geomtrica.

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

77

Por fim, uma outra definio foi feita:


(
)
4D 2
P = r +a E 1+
a a,
3
(

(4.103)

que nos conduziu a uma forma mais resumida de (4.98). Isto ,

com

dSr
R
=
,
dr
r

(4.104)

(
)
R = P2 r 2 r2 + K .

(4.105)

Com o olhar de volta s expresses dos momentos generalizados (4.86)-(4.89), agora com
o que temos nas mos, (4.101) e (4.104), pudemos obter as equaes das geodsicas ou, pelo
menos, como as coordenadas r e variam com a variao do parmetro afim . Ou seja,
sabemos por (4.87) que r est relacionada com pr . Mas como pr = dSr /dr, ento
r =

R.

(4.106)

Da mesma forma, por (4.88), sabendo que p = dS /d , chegamos


=

(4.107)

Aqui, levamos em considerao somente o valor positivo das equaes (4.101) e (4.104).
Para construir as dependncias de t e com o parmetro afim , a tarefa um pouco
mais complicada. Usamos (4.86) e (4.89), escritas como um sistema de duas equaes e duas
incgnitas (t, ):
E = gtt t gt ,

(4.108)

= g + g t t.

(4.109)

Primeiro para t: multiplicamos (4.108) por g e (4.109) por gt e conseguimos


]
[
(g t )2 g gtt t = gt + Eg .

(4.110)

Usando as mtricas obtidas nas sees 4.3 e 4.4, chegamos


) ]
[
(
(r2 + a2 )P
a
4D 2
2
aEsen 1 +
t =

a .
r

(4.111)

CAPTULO 4. SIMETRIA AXIAL EM MUNDOS BRANA

78

Finalmente para : multiplicamos (4.108) por g t e (4.109) por gtt e conseguimos


[
]
g gtt (g t )2 = gtt + Eg t .

(4.112)

Igualmente, com as mtricas acima citadas, chegamos


[
(
)
]
1
aP
4D 2
2
=
a cosec .

aE 1 +
r
3

(4.113)

No fim, esse caminho nos conduziu a equaes que nos indicam como cada coordenada varia
com a variao do parmetro afim . Essas derivadas primeiras podem ser elencadas lado a
lado para uma melhor leitura e visualizao:
t =
r =
=
=

[
(
) ]
(r2 + a2 )P
a
4D 2
2
aEsen 1 +

a ,
r

R,

,
[
(
)
]
4D 2
aP
1
2
aE 1 +

a cosec .
r
3

(4.114)
(4.115)
(4.116)
(4.117)

Foi somente em 2010 que as equaes das geodsicas das mtricas Kerr-de Sitter e Kerranti-de Sitter foram resolvidas explicitamente mais de quarenta anos depois do trabalho
de Carter onde tais mtrica foram criadas. Num exaustivo trabalho, Hackmann et al. [66]
afirmam peremptoriamente tal feito. Esses autores resolveram, no contexto da relatividade
geral, equaes semelhantes s (4.114)-(4.117).
Como j dissemos, as equaes (4.114)-(4.117) foram teis no prximo captulo, onde
um estudo de tica geomtrica foi realizado com as solues no contexto de mundos brana.

Captulo 5
tica geomtrica em espaos-tempo
curvos
Neste captulo, utilizamos o formalismo de Newman-Penrose para o clculo de grandezas
ticas tais como a rotao do plano de polarizao da luz e a variao do cisalhamento ,
conforme Pineault e Roeder, em [37], que desenvolveram a abordagem, que aqui descrevemos
e usamos, para a mtrica de Kerr. Tal abordagem valida somente quando a frequncia da
radiao alta, o que equivale a um pequeno comprimento de onda. Neste caso, o tratamento
o da tica geomtrica, isto , feixes de luz percorrem geodsicas do tipo nula, e o seus
vetores de polarizao propagam-se paralelamente ao longo da curva. Com essa abordagem,
construmos grandezas ticas para as mtricas com simetria axial e constante cosmolgica,
num contexto de mundos branas, estudadas e expostas no captulo anterior.

5.1 A abordagem de Pineault e Roeder


No trabalho Applications of geometrical optics to the Kerr metric, Pineault e Roeder utilizaram o formalismo das tetradas nulas para analisar propriedades ticas na geometria de
Kerr em baixas rotaes. A abordagem geomtrica mostra-se til quando o comprimento de
onda da radiao estudada pequeno em relao s grandezas envolvidas, de acordo com
[71], captulo 22. Neste caso, um feixe de luz caminha ao longo de uma geodsica do tipo
luz ou nula, e o seu vetor de polarizao propagado paralelamente ao longo da curva nula.
Tal feixe comporta-se como uma onda plana num espao-tempo de curvatura desprezvel.
{ } (
)
Com uma tetrada igual quela usada no apndice D ea = m , m , l , k , adotada no
formalismo de Newman-Penrose, a direo k aqui escolhida como tangente congruncia
de geodsicas do tipo nula, ou seja, k = dx /d , onde um parmetro afim. Ento, a
direo definida por k deve permanecer fixa quando submetida a uma rotao nula (trans79

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

80

formao de Lorentz) do tipo (D.15). Como pode ser visto pelos coeficientes de spin em
(D.19), impor que a direo k seja tangente congruncia nula implica que o coeficiente
seja igualmente nulo. Da mesma forma, devemos impor, por convenincia, que o restante da
tetrada deva propagar-se paralelamente congruncia; com isso, outros dois coeficientes de
spin tornaram-se nulos:
= = 0.
(5.1)
Com as imposies acima, especialmente a escolha de como um parmetro afim, a
equao da geodsica nula foi escrita como
k k = 0.

(5.2)

Pudemos definir, ento, trs quantidades ticas, conhecidas como escalares ticos1 :
1
k ,
2
)1
(
2
1

,
=
[ k ] k
2
(
)1
2
1

2
| | =
.
( k ) k
2

(5.3)
(5.4)
(5.5)

O escalar indica expanso, indica rotao, e o mdulo de escalar definido em (D.19)


indica distoro ou cisalhamento de imagens formadas pela congruncia nula. Estes escalares so independentes dos outros membros da tetrada (m , m , l ). A quantidade | | tem
grande importncia na classificao de espaos-tempo na relatividade geral. De acordo com
o teorema de Goldberg-Sachs2 :
Uma soluo no vcuo algebricamente especial se e somente se possui uma
congruncia nula sem cisalhamento.
Portanto, de grande interesse saber como varia na direo k , ou seja, como nesta direo
o cisalhamento menor ou maior ou simplesmente nulo; para isso, utiliza-se a notao (D.26)
e a equao de Newman-Penrose (D.34), que para as imposies acima assume uma forma
simplificada
D = ( + ) + 0 ,
(5.6)
onde D o operador derivada covariante na direo k , um dos coeficientes de spin
listados em (D.19), e 0 , definido em (D.30). Em [37], Pineault e Roeder estimaram a
que usam parnteses ou colchetes no entorno de ndices significam: ( k ) =
(
)
1
e [ k ] = 2 k k .
2 Cf. [68], especialmente a seo 7.6, onde generalizaes desse teorema so mostradas.
1 Notaes

1
2

(
)
k + k

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

81

variao, na direo da congruncia nula, do cisalhamento para o buraco negro de Kerr,


somente em baixas rotaes. Faremos o mesmo para mtricas num contexto de mundos brana
construdas no captulo anterior. Mas antes de obter esse resultado, deve-se, de acordo com
os autores citados, escrever todo o formalismo para os referenciais localmente no girantes,
expostos no apndice E, para que, por lidarmos com simetria axial, uma simplificao seja
feita.
Segundo Pineault e Roeder, a propagao de m na direo de k ,
Dm = 0,

(5.7)

2
m =
(a + ib ),
(5.8)
2
conduz ao conhecimento sobre a vario do vetor de polarizao da luz na direo da congruncia nula. Em tica geomtrica, a luz tem vetor de onda k ortogonal ao vetor de polarizao f ; isto quer dizer que
(5.9)
k k = 0, Dk = 0
sendo

e
k f = 0,

D f = 0.

(5.10)

As relaes (5.9) e (5.10) permitem identificar o vetor de onda com o vetor nulo do formalismo de Newman-Penrose (k ) e o vetor a com o vetor de polarizao f . Isto porque
pode-se identificar o plano dado pelos vetores k e a com o plano de polarizao, que propagado paralelamente na direo k , isto , esse plano permanece inalterado na direo da
congruncia nula e corrobora a interpretao de a como vetor de polarizao. Para construir
uma expresso para o vetor
a} , a {
partir do vetor m , os
} autores utilizaram a tetrada nula lo{
(

)
calmente ortonormal3 e(a) = r( ) , r( ) , q( ) , p( ) que obedece as relaes (D.3), que
se encontram no apndice D dedicado ao formalismo de Newman-Penrose4 :
1
p( ) = (1, 1, 0, 0) ,
2
1
r( ) = (0, 0, 1, i) ,
2

1
q( ) = (1, 1, 0, 0) ,
2
1
r( ) = (0, 0, 1, i) .
2

(5.11)

3 Para

essa base, tal como no apndice E, o ndice da tetrada foi colocado entre parnteses. Alm disso, para
discerni-la, os ndices tensoriais esto igualmente entre {
parnteses.
}
} {
4 Para

subir e descer os ndices tensoriais da base


diag(1, 1, 1, 1).

( )

e(a)

= r( ) , r( ) , q( ) , p( )

usa-se g = =

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

82

A partir de uma transformao do tipo


(
( )

( )

L ( ) = ( ) +

k ( ) p( )

)(

k( ) p( )

k( ) p( )

)
,

(5.12)

aplicada na tetrada (5.11), obtiveram uma base nula apropriada a descrever uma congruncia
nula, onde k o seu vetor tangente. O prximo passo foi aplicar esta ltima transformao
em r( ) e, em seguida, utilizar a transformao nula m( ) m( ) k( ) para obter o vetor
igualmente nulo
1
( )
m = r( ) p( ) = (, , 1, i) ,
(5.13)
2
( )

onde = k( ) r( ) /k( ) p( ) . Mais uma rotao nula foi realizada, m+


( )

( )

= m

+ k( ) , com

a seguinte imposio: m+ u( ) = 0. Ou seja, a transformao


(
( )
m+

( )
= m

( )

u( )

k( ) u( )

k( ) ,

(5.14)

onde u( ) a quadrivelocidade de um observador qualquer projetada na base nula (5.11),


produziu um vetor tipo espao que no tem componente temporal nesse referencial (referencial ou base onde os ndices esto entre parnteses) e ortogonal linha mundo de um
observador qualquer. Com a imposio de que esse observador esteja em repouso em relao
( )
( )
( )
tetrada (5.11), ou seja, u( ) = (1, 0, 0, 0) , sabendo que m+ = a+ + ib+ , Pineault e
( )
Roeder escreveram este ltimo vetor, m+ , em componentes:
(

( )
a+
( )

b+

)
( )2
k(2)
0, (0) , 1 K k(2) , Kk(2) k(3) ,
k
(
)
( )2
1
k(3)
=
0, (0) , Kk(2) k(3) , 1 K k(3)
,
k
2
1
=
2

(5.15)

(
)]
[
onde K = 1/ k(0) k(0) + k(1) . Na prxima seo, a assuno acima de que o referencial
esteja em repouso permitir que o formalismo localmente no girante seja usado. Para mtricas com simetria axial, ser adotado esse formalismo, onde o observador gira com o sistema,
no caso um buraco negro.
( )
Para finalizar, impuseram mais uma rotao nula em m+ ,
( )

m+

( )

m( ) = ei m+ ,

(5.16)

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

83

de tal foma que seja nulo e esteja de acordo com (5.1). Sabendo por (D.19) que

) 1
1(
1
m m k = Dm m = Dm( ) m ( ) ,
2
2
2

(5.17)

com a substituio de (5.16) na definio acima, temos


)]
1 [ ( i
D e m+( ) m ( )
2
]
1 [ i
=
ie D m+( ) + ei Dm+( ) m ( ) .
2

(5.18)

Como = 0,
iD m+( ) = Dm+( ) .

(5.19)
( )

Com a multiplicao de ambos os lados de (5.19) por m + conhecendo a propriedade


( )
desse vetor (m m = 1), de acordo com (D.3), e que por (5.17) 2+ = Dm+( ) m + ,
chega-se na expresso para a variao de (ngulo usado na ltima transformao nula) na
direo da congruncia nula:
D = 2i+ .
(5.20)
Temos, finalmente, depois de todas rotaes nulas, uma expresso para m( ) :
(
)
2 ( )
( )
a + ib( ) = ei m+ .
m( ) =
2

(5.21)

O resultado ltimo forneceu-nos, ento, o vetor de polarizao a( ) projetado na tetrada


(5.11).
Outra grandeza de interesse, como veremos na prxima seo, expressa na base (5.11),
0 = R( )( )( )( ) k( ) m( ) k( ) m( ) ,

(5.22)

pois determina a variao de na direo da congruncia nula, como pode ser visto na
equao (5.6). Mas como m( ) dado por (5.21), 0 assume a forma
( )

( )

0 = ei2 R( )( )( )( ) k( ) m+ k( ) m+ ,

(5.23)

0 = ei2 0+ .

(5.24)

ou seja,

Para que tudo fique claro nos prximos passos, nesta seo foi exposta a abordagem de
Pineault e Roeder que, com auxlio do formalismo de Newman-Penrose, expressa grandezas,

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

84

como o vetor de polarizao e o escalar 0 , numa base ortonormal, indicada por vetores que
possuem parnteses no entorno de seus ndices tensoriais. Na seo seguinte, determinamos
essa base ortonormal, fixamo-la com o auxlio da j exposta abordagem de Bardeen et al. no
apndice E, para que as grandezas acima mencionadas fossem calculadas.

5.2

Aplicaes s geometrias com simetria axial

Nesta seo, utilizamos o formalismo exibido na seo anterior para determinar a variao
do plano de polarizao e a taxa de cisalhamento na direo k , escolhida como a direo da
congruncia nula, no caso das mtricas com simetria axial num contexto de mundos brana
expostas no captulo 4. Para isso, construmos as componentes dos tensores de Riemann e
conexo, projetadas numa
base{localmente no girante,
} teis para o clculo dessas grandezas.
{ }
(a)
(

)
(r)
(

)
(

)
A base escolhida foi e
= e ,e ,e ,e
, dada por (E.3), com sua correspondente
{ }
dual escrita como (E.2). Como Pineault e Roeder, identificamos a base e(a) quela escrita
com seus ndices tensoriais entre parnteses e projetamos as grandezas de interesse nela.
Ento, o problema fsico este: observador e fonte da luz esto em repouso em relao ao
referencial e(a) . Seja na posio da fonte ou do observador, o vetor de polarizao dado por
(5.21).
Escrevemos as mtricas construdas apresentadas no captulo 4, (4.35) e (4.54), nas coordenadas , r, e , na forma mais geral para o caso com simetria axial, como pode ser visto
no apndice B,
ds2 = e2 d 2 + e2 (d d )2 + e2 dr2 + e2 d 2 ,

(5.25)

com e2 , e2 , e2 e e2 dadas por:


e2 =

e2 =

,
r

e2 =

1 + 34D a2
e2 =

sendo
=
e

),

sen2
),
(
1 + 34D a2

(5.26)

(r2 + a2 )2 a2 r sen2
)
(
1 + 34D a2

[
]
a (r2 + a2 ) r
g
=
,
=
g

(5.27)

(5.28)

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

85

onde = r2 + a2 cos2 , r = (r2 + a2 )(1 4D r2 /3) 2Mr + q, = 1 + 4D a2 /3, e a o


parmetro de rotao. A constante cosmolgica na brana define o caso assintoticamente de
Sitter, 4D > 0, e o caso assintoticamente anti-de Sitter, 4D < 0.
Como j vimos, um tensor qualquer pode ser projetado numa tetrada ortonormal de
acordo com (E.6). O tensor de Riemann, por exemplo, na base no girante, usando a notao da seo anterior, escreve-se como:
( ) ( ) ( ) ( )

R(a)(b)(c)(d) = R( )( )( )( ) e(a) e(b) e(c) e(d) ,

(5.29)

com a, b, c e d fazendo o papel de ndices da tetrada ortonormal; podem assumir valores de 1


a 4, sendo que = 0, r = 1, = 2 e = 3. Portanto, as componentes dos tensor de Riemann
e da conexo escritas no referencial localmente no girante so:
R( )( )( )( ) = R(r)( )(r)( ) = Q1 ,
R( )( )(r)( ) = Q2 ,
]
1 [
q
R( )(r)( )(r) =
Q1 (2 + z) 2 + 4D ,
(1 z)

]
q
1 [
Q1 (2 + z) + 2 + 4D ,
R( )( )( )( ) =
(1 z)

R( )(r)( )( ) = R( )(r)( )( ) = SQ2 ,


[
]
q
4D
,
R( )(r)( )(r) = S Q1 2 +
3
3
[
]
4D
q
R( )( )( )( ) = S Q1 + 2 +
,
3
3
2+z
R( )(r)( )( ) = Q2
,
1z
(q
) ]
1 [
R( )( )( )( ) =
Q1 (1 + 2z) + 2 + 4D z ,
(1 z)

[
(q
) ]
1
Q1 (1 + 2z) 2 4D z ,
R( )(r)( )(r) =
(1 z)

1 + 2z
R( )( )( )(r) = Q2
,
1z
onde as funes Q1 , Q2 , S e z expressam-se por:
Q1
Q2

[
]
Mr(r2 3a2 cos2 ) q(r2 a2 cos2 )
4D
+
,
=
3
3

]
[
Mr(r2 3a2 cos2 ) q(r2 a2 cos2 )
4D
=
+
,
3
3

(5.30)

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

S =

z =

86

3a(r2 + a2 )(r )1/2 sen


(
)
,
1 + 34D a2
r a2 sen2
2

(r2 + a2 )

(5.31)

Da mesma forma, as componentes da conexo escritas nas base localmente no girante, projetadas nessa base, puderam ser escritas como:

(a)
(b)(c)

( )
(a)
( ) ( )
e e e .
( )( ) ( ) (b) (c)

(5.32)

Ento, suas componentes no nulas nessa base so:


( )
(r)( )
( )
( )( )
(r)
( )(r)
(r)
( )( )
(r)
( )( )
( )
( )( )

( )
(r)( )

( )
( )( )

(r)
( )( )

( )
( )( )

( )
( )(r)

( )
( )( )

(r)
= r e ,
( )( )
( )
( )( ) = e ,
( )
(r)(r) = e ,
( )
(r)( ) = r e ,
( )
(r)( ) = r e ,
( )
( )( ) = e ,

=
=
=
=
=
=

1
= r e ,
2
1
( )
( )
( )
= ( )( ) = ( )( ) = ( )( ) = e .
2

(r)
( )( )

( )
( )(r)

( )
(r)( )

(5.33)
As funes , , e podem ser obtidas em (5.26). Todas as componentes no nulas desses
tensores (Riemann e conexo) podem ser obtidas a partir das componentes acima escritas,
utilizando-se simetrias associadas a esses dois tensores. Estas expresses reduzem-se s obtidas em [37] e [70] fazendo q = 0 (a carga de mar q, como j discutimos no captulo 4,
quantifica o efeito do bulk na brana) e 4D = 0.

5.2.1

Variao do vetor de polarizao

Desde os anos cinquenta do sculo passado, acredita-se que o campo gravitacional de


um corpo em rotao altera, roda, o plano de polarizao de ondas eletromagnticas. Tal
fenmeno, segundo [36], altera radicalmente a polarizao de raios X provenientes de discos

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

87

de acreo de buracos negros. Como Pineault e Roeder, Frederick et al. [38] estimaram a
variao do vetor de polarizao na geometria de Kerr. Os ltimos utilizaram no somente
os referenciais localmente no girantes, mas tambm usaram o chamado referencial global
inercial, onde a direo da base de vetores permanece inalterada em relao s estrelas fixas.
De acordo com o formalismo de Pineault e Roeder, apresentado anteriormente, a variao
do plano de polarizao na direo da congruncia nula, k , como j foi dito, dada por
D = 2i+ , conforme (5.20). Como o vetor de polarizao identificado com o a( ) ,
( )
sendo m( ) = 22 (a( ) + ib( ) ) = ei m+ , de acordo com (5.21), existe uma variao sua
( )
em relao ao vetor a+ , dada por uma rotao no sentido anti-horrio expressa por um

este ngulo
ngulo . Para estimar quanto
) varia na direo k , determinamos o coeficiente
(
( )
/2, que pde ser escrito depois das transformaes
de spin + , dado por + = Dm+( ) m +

em m (5.14), como:

+ =

(
)]
1[
m ( ) Dm( ) + ,
2

( ) Dp( ) ,
com = m

(5.34)

( )

( )

onde, conforme (D.16), Dp( ) = ( )( ) p( ) k( ) . As componentes da conexo ( )( ) ,


{ } {
}
(a)
(

)
(r)
(

)
(

)
escritas na base e
= e ,e ,e ,e
, so aquelas expostas em (5.33). Assim, a
variao do plano de polarizao assume sua forma final, escrita em termos da conexo e do
vetor k projetados na base localmente no girante:
(
D = 2i+ =

(r)
( )
(r)
( )
( )( ) k( ) + ( )(r) k(r) + ( )( ) k( ) + ( )( ) k( )
k( ) + k(r)

(r)
( )
( )
(r)
( )( ) k( ) + ( )(r) k(r) + ( )( ) k( ) + ( )( ) k( )
k( ) + k(r)

( )
( )
k( ) + ( )( ) k( ) .
( )( )

e(a)

k( ) , k(r) , k( ) , k( )

k( )

k( )
(5.35)

Para determinar a projeo de


na base
determinamos, primeiro,
o vetor tangente congruncia e depois o projetamos na base (E.3). Como, j na seo
5.1, escolhemos k = dx /d com representando um parmetro afim , usamos as
equaes geodsicas5 listadas no captulo 4 (4.114)-(4.117) para determinar k , ou seja, x
(como estamos lidando com um problema de tica, o parmetro , nas equaes geodsicas,
nulo). Dessa forma, para projetar k na base localmente no girante, usamos (E.6) para
5 Neste

captulo, usamos ao invs de t para ficar de acordo com a mtrica (5.25).

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

88

chegar s expresses
k(0) = k( ) = e k0 = e ,
k(1) = k(r) = e k1 = e r,
k(2) = k( ) = e k2 = e ,
(
)
k(3) = k( ) = e k3 k1 = e ( ) ,

(5.36)

onde e , e , e , e e foram listadas em (5.26) e (5.28), respectivamente.


Para um caso particular, quando o parmetro a nas mtricas expostas no captulo 4
muito pequeno,
cos
D = 2 2 + (3Mr 2q)
r sen

Q 2 cot 2
asen + O(a2 ).
r5

(5.37)

Nesse regime, a funo definida em (4.102) tornou-se

e, por (4.116), com r2 ,

= Q 2 cot 2 ,

(5.38)

d
= r2 = r2 .
d

(5.39)

As duas ltimas simplificaes, (5.38) e (5.39), quando substitudas em (5.37), forneceramnos


(
)
cos
2q a sen d
D = 2 2 + 3M
+ O(a2 ).
(5.40)
r sen
r
r2 d
Como em todas grandezas de interesse que temos determinado (raio do horizonte de eventos,
superfcie de Killing), o parmetro q aparece. Como j discutimos no captulo 4, a carga de
mar q mede a influncia do bulk na brana. No resultado acima, a rotao do plano de polarizao tambm depende desse parmetro (curiosamente, no depende de 4D diretamente).
Com q = 0, temos o mesmo resultado obtido por Pineault e Roeder em [37], embora no
seja o mesmo, pois nesta tese lidamos com geometrias assintoticamente de Sitter e anti-de
Sitter (no trabalho desses autores, a geometria usada foi a de Kerr, que assintoticamente
plana). Quando o parmetro de rotao nulo, isto , a = 0, temos um curioso resultado: D
no nulo. Mesmo sabendo, por [37], que na geometria de Schwarzschild no existe rotao
do plano de polarizao, o resultado acima somente reafirma o que j foi dito sobre o desloca( )
mento entre os vetores a( ) e a+ a expresso (5.40) mede somente o deslocamento entre
( )
os vetores a( ) e a+ . Portanto, em Schwarzschild o vetor de polarizao, a( ) , constante
( )
ao longo de k e est deslocado por um ngulo em relao a a+ , de acordo com (5.21) e

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

89

com a definio m( ) = 2 (a( ) + ib( ) )/2; o primeiro termo de (5.40) indica-nos isso. Por
outro lado, quando a = 0, varia ao longo da congruncia nula porque o segundo termo de
( )
(5.40) depende de , indicando-nos que a direo de a( ) varia em relao direo de a+ .
Em mundos brana, o resultado que pode ser interpretado como ausncia de rotao,
quando o segundo termo de (5.40) nulo e conduz constncia do vetor de polarizao
(mesmo quando a = 0), numa rbita com r constante, pode ser obtido. Fazendo r = 2q/3M,
o segundo termo de (5.40) igualmente nulo. Mas para o regime que focamos, baixas rotaes, a M, esse ponto privilegiado fica dentro do horizonte de eventos. Por fim, rbitas
equatoriais ( = /2) conduzem ao seguinte resultado: D = 0 porque, como vimos no
captulo 4 na seo sobre geodsicas, nulo, o que implica em = 0. Portanto, em traje( )
trias equatoriais a variao entre a( ) e a+ inexistente, seja qual for o caso (com ou sem
rotao, na relatividade geral ou em mundos brana).
Mas para obter a variao do vetor de polarizao, deve-se tambm computar o efeito do
arrasto do espao-tempo6 . Tal variao de a( ) , ou seja, m( ) , segundo Pineault e Roeder, foi
escrita como uma soma
(5.41)
= + ,
onde o segundo termo direita de (5.41) a componente na variao de a( ) que surge devido
ao arrasto do espao-tempo. Para mostrar um caso especfico, resolvemos primeiro (5.40).
Para isso, uma nova coordenada foi introduzida para fazer o papel do ngulo azimutal no
plano da rbita. Um novo ngulo, , que mede a inclinao do plano orbital em relao ao
plano equatorial, foi relacionado com por
cos
.
sen

(5.42)

cos
+ D + O(a2 ),
r2 sen2

(5.43)

sen =
Com a definio de , (5.40) tornou-se
D =
onde

)
(
2q a sen d(sen )
D = 3M
.
r
r2
d

(5.44)

A seguir, ilustramos dois casos de interesse.


6 Como

vimos, no captulo 4, esse efeito uma propriedade de geometrias com simetria axial tambm
foi notado no contexto de mundos brana adotado neste trabalho. Naquele captulo, determinamos a ergosfera,
que resultado do arrasto, proveniente da rotao.

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

90

Congruncia nula paralela ao eixo de simetria


Continuamos com Pineault e Roeder e calculamos (5.41) para dois casos. No primeiro,
o plano orbital faz um ngulo de /2 em relao ao plano equatorial, ou seja, = /2.
Alm disso, assumimos que a fonte est no plano equatorial e o observador num plano acima
(ambos girando com o buraco negro), sendo a congruncia nula paralela ao eixo de simetria,
de acordo com a figura 5.1, a uma distncia d daquele eixo. Para um resultado vlido no
limite do campo fraco, assumimos a relao

r2 d 2
sen =
,
r

(5.45)

que usada em (5.44), alm de = 0, pois no h momento angular para a partcula, conduziunos
(
)( 2
)
2q
1
a
d
dr

,
(5.46)
D = 2 3M
2
r
r
r
r2 d 2 d
ou seja,

d =

)
ro (
3Mr 2q
r5

ad 2

dr,
r2 d 2

(5.47)

pois D = k1 d /dr e k1 = dr/d . A integral acima resultou em


{
)
)]
[ (
(
1
M
2
q
1
3
=
ro2 d 2
+
2
+
ro ro2 d 2
2ro ro2 2d 2
(
[
]) }
3q
d

arctan
a,
4d 3 2
ro2 d 2

(5.48)

sendo ro a posio do observador. Com 4D = 0 e ro , temos


(

)
2Ma 3 aq
=

.
d2
8d 3

(5.49)

A expresso acima para a mesma que Pineault e Roeder [37] obtiveram para a mtrica
( )
de Kerr, desde que q = 0. A influncia do bulk na brana acentua a variao entre a( ) e a+
quando assume valores negativos.
Para determinar a componente devido ao arrasto , neste caso, usamos o conhecimento que o vetor de polarizao, na fonte ou no observador, gira com o buraco negro. Isto
, sua velocidade de rotao, num referencial fixo, dada por . Sendo assim,

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

ao

ao
e

ko
O

af

ko
O

kf
F

kf
af

91

BN

BN

Figura 5.1: Variao do vetor de polarizao com a rotao de um buraco negro. esquerda, o caso onde
a congruncia nula propaga-se paralelamente ao eixo de rotao do buraco negro (BN); fonte (F) e observador
(O) encontram-se a uma distncia d daquele eixo. direita, o caso onde fonte e observador situam-se no eixo


de simetria. Em ambas figuras, k e
a representam o vetor de onda e o vetor de polarizao, respectivamente.

A variao de a dada por p , esquerda, e e , direita.

)
dt
d = dt =
dr
dr
k0
= 1 dr,
k

(5.50)

de acordo com (5.36). Para a2 M 2 , baixas rotaes, temos, de acordo com (5.50),
f
i

]
4D
aE
d =
+
r
dr
3
2
r
3
d
E r2 d 2
{[(
)
]
)
[(
2
d
q

q
2M
2M
4D
2
E2 2
=

E +
r0

E2
d 2 2d 2 ro
3
ro
d 2 2d 3

}
]
]
(
[
)
4
4D
qE
1
1
a
2

+
E 1 3 arctan
arctan 2 2
d
.
3
2d
E
E ro
E2 1
1
d2
r0 [
2Mr q

(5.51)
Considerando o caso onde a brana no tem constante cosmolgica (afim de compararmos com
os resultados obtidos em Kerr), a energia da partcula, dada por (4.108), pde ser considerada
unitria no infinito. Isto
lim E = 1.
(5.52)
r

Alm disso, adotamos ro , e (5.51) tornou-se:


(
=

)
2M q

a.
d 2 4d 3

(5.53)

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

92

Por fim, a variao do vetor de polarizao (5.41), no exemplo onde no h constante


cosmolgica na brana,
aq
(5.54)
p = + = 3 .
8d
Quando q = 0, o resultado de Pineault e Roeder [37] e Su e Mallett [38] alcanado. Mais
uma vez, no contexto de mundos brana que adotamos, temos uma situao, um exemplo,
onde o valor de uma grandeza fsica no corresponde ao seu valor obtido no contexto da
relatividade geral. O influncia do bulk na brana fez-se notar novamente. O curioso aqui
que com q < 0, o vetor de polarizao roda no sentido oposto ao da rotao do buraco negro.
Congruncia nula no eixo de simetria
No segundo caso, fonte e observador esto no eixo de simetria, de acordo com a figura
5.1. Com isso, = 0, o que implicou em D = 0, conforme (5.44), e D = 0, pois = 0.
O procedimento, dessa vez, para obter-se a variao do vetor de polarizao foi o mesmo do
exemplo anterior. A diferena nica foi assumir que d = 0 na equao (5.51), tornando-a
mais simples:
f
i

]
4D
d =
+
adr
r4
3
rf
(
)
)
]
[ (
)
1
1
q 1
1
4D (
= e = M 2 2

r f ro a,
3 r3f ro3
3
r f ro
ro [
2Mr q

(5.55)

sendo r f , na integral definida, a posio da fonte. Com 4D = 0 e ro , (5.55) apresentouse como


(
)
M
q
= e =
3 a.
(5.56)
2
r f 3r f
Novamente, quando q = 0, temos o resultado de Pineault e Roeder [37] e Godfrey [79], que
usou uma outra abordagem. Em relao ao contexto da relatividade geral, comparando com
a geometria de Kerr, (5.56) indica-nos uma maior variao do vetor de polarizao quando
q < 0, sendo, mais uma vez, este o caso onde os efeitos gravitacionais do espao-tempo
5-dimensional anti-de Sitter na brana so amplificados.

5.2.2 Variao do cisalhamento na direo da congruncia nula


Como j foi dito no comeo deste captulo, determinamos a variao do cisalhamento
( ) na direo da congruncia nula, na direo k , no caso das mtricas com simetria axial

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

93

e constante cosmolgica no cenrio retratado no captulo 4. Pela equao (5.6), a variao


de depende linearmente de 0 . Ento, faz-se necessrio o clculo deste ltimo. Seguindo
Pineault e Roeder, sabemos, por (5.23) e (5.24), que 0 = ei2 0+ . O clculo de 0+
mostrou-se, segundo os autores, tedioso e grande. Assim como no trabalho que usamos nesta
tese como referncia [37], apenas expusemos o resultado final dessa tarefa. Dessa forma, as
partes real e imaginria de 0+ foram escritas como:
1

)2 [ Q1 + Q2 + 2S (Q2 G + Q1 H )]
2 k( ) + k(r)
1
Im (0+ ) =
(
)2 [ Q1 Q2 + 2S (Q2 H Q1 G )] ,
2 k( ) + k(r)
Re(0+ ) =

(5.57)
(5.58)

onde

= A + c1 C c2 E ,
e
c1 =

2+z
,
1w

= B + c1 D c2 F

c2 =

1 + 2z
.
1z

(5.59)

(5.60)

As funes Q1 , Q2 , S e z foram definidas em (5.31), e as componentes k( ) e k(r) fazem parte


da projeo de k na tetrada girante. As demais funes escritas acima dependem dessa
projeo. Isto ,
) [(
) (
)2 ]
(
)2
( )2
( )2
( )
(r)
( ) (r)
( )
(r)
k
k
k
+ k +k
+ 2k k
k +k
,
A = k
[(
) (
)2 ]
( ) ( )
( )2
( )2
( )
(r)
B = 2k k
k
k
+ k +k
,
(

( )2

( )2

)2 (
)
(
2
2
= 2 k( ) + k(r)
k( ) k( ) ,
(
)2
D = 4k( ) k( ) k( ) + k(r) ,
(
) [(
) (
)2 ]
(
)2
( )2
( )2
( )2
( )2
( )
(r)
E = k
k
k
k
k +k
+ 2k( ) k(r) k( ) + k(r) ,
[(
) (
)2 ]
( ) ( )
( )2
( )2
( )
(r)
F = 2k k
k
k
k +k
,
]
(
) [(
) (
)2
( )
(r)
( )2
( )2
( )
(r)
( )2
( )
G = k
k +k
k
k
k +k
2k
,
]
(
) [(
) (
)2
( )
( )
(r)
( )2
( )2
( )
(r)
( )2
H = k
k +k
k
k
k +k
+ 2k
.
(5.61)
C

Para um caso particular, por exemplo, onde trajetrias permanecem no plano equatorial
( = /2, k( ) = 0) e o parmetro a da mtrica (5.25) pequeno, a expresso para 0 tornou-

CAPTULO 5. TICA GEOMTRICA EM ESPAOS-TEMPO CURVOS

94

se mais simples. Nesse caso, como vimos anteriormente, D = 0. Podemos, ento, sem perda
de generalidade, considerar uma constante nula. Isso conduz igualdade: 0+ = 0 .
Ento, a parte imaginria de 0+ nula. Temos, consequentemente, uma mais resumida
expresso para o escalar 0 :
Q1
0 = (
)2 (A + c1 C c2 E 2SH ) .
2 k( ) + k(r)

(5.62)

Com as expresses para k( ) calculadas em (5.36), e substitudas em A , C , E e H , Q1


e S, definidas em (5.31), e c1 e c2 , definidas em (5.60), chegamos em
(
)(
)
q 4D 3
2aE
32
0 = 5 M
r
1
.
r
3

(5.63)

No caso q = 4D = 0, temos o resultado de Pineault e Roeder. A influncia do bulk na brana e


a constante cosmolgica desta fazem-se presentes nesse resultado. Como no trabalho desses
autores, para um valor negativo de , uma quantidade conservada pela partcula7 , temos um
maior valor de 0 . Isto equivale a dizer que para ftons em trajetrias equatoriais no sentido
contrrio ao da rotao, o efeito do cisalhamento amplificado, de acordo com (5.6). Em
outras palavras, a variao do cisalhamento, na direo da congruncia nula (D ), maior
quando ftons percorrem uma trajetria no sentido oposto ao da rotao. Mas em mundos
brana, esse efeito ainda maior quando q < 0, o que mostra mais uma vez a ampliao dos
esfeitos gravitacionais quando o valor da carga induzida negativo. Esse efeito mximo
quando o espao-tempo assintoticamente AdS (4D < 0), assumindo igualmente um valor
negativo para q.

vimos no captulo 4, uma quantidade conservada da partcula ao longo da geodsica; no caso


presente, um fton. Mais especificamente, o momento da partcula na direo do eixo z de rotao (p =
Lz = ). Em trajetrias no sentido oposto ao da rotao, p negativo.
7 Como

Captulo 6
Comentrios finais
Os mundos brana apresentam-se como um contexto alm da relatividade geral. Nos chamados modelos Randall-Sundrum [17, 18], nosso universo est imerso num espao-tempo
5-dimensional anti-de Sitter, conhecido como bulk. Com um cenrio to extico, uma nova
fsica surgiu. Seja em fsica de partculas, cosmologia ou gravitao, os mundos branas trouxeram luz novos fenmenos, novas vises.
Com to interessante cenrio, estudos que envolvem buracos negros e buracos de minhoca
tm sido realizados. Logo depois da publicao dos modelos Randall-Sundrum, Chamblin et
al. [25] construram a chamada corda negra. Na brana, a mtrica foi a mesma da soluo de
Schwarzschild, no bulk, uma mtrica com constante cosmolgica negativa que se apresentou
instvel. Numa outra abordagem que partiu do seminal trabalho de Shiromizu et al. [26],
onde as equaes do campo gravitacional foram projetadas na brana, Casadio et al. [27] e
Bronnikov et al. [28] obtiveram mtricas com simetria esfrica em branas sem constante
cosmolgica. Em nosso Black holes and wormholes in AdS branes [29], generalizamos os
resultados desses autores, impondo constante cosmolgica negativa na brana, chegando, com
isso, numa famlia de solues diversificada, parametrizada por uma constante C, que para
determinados valores assumidos (C > 0) forneceu-nos buracos negros singulares e regulares
e buracos de minhoca (C < 0) assintoticamente anti-de Sitter.
Nesse mesmo caminho, conseguimos, para uma brana com constante cosmolgica positiva, no artigo Wormholes in de Sitter branes [30], mtricas de buracos de minhoca transitveis. Desde o trabalho de Morris e Thorne [10], em 1988, esses objetos ganharam destaque.
No trabalho desses autores, dentro do contexto da relatividade geral, buracos de minhoca so
transitveis, ou seja, servem como ponte ou tnel entre distantes regies do espao-tempo,
alm de servirem como mquinas do tempo. Mas para existirem, necessitam de um campo
de matria que viole algumas condies de energia. Entretanto, desde 1998, a observao
da expanso acelerada do universo tida como consequncia de um campo que possui essa
95

CAPTULO 6. COMENTRIOS FINAIS

96

caracterstica. Em mundos brana, no entanto, tambm possvel construir mtricas com


tensores energia-momento que descrevem campos violadores das condies de energia. As
solues expostas no captulo 3 desta tese cumprem este requisito.
Com um grau de dificuldade maior, a construo de espaos-tempo com simetria axial,
que descrevem buracos negros em rotao, foi feita, por exemplo, em 2002 por Modgil et
al. [31], numa generalizao do trabalho de Chamblin et al. [25]. Seguindo o artigo de
Dadhich et al. [32], que adotou simetria esfrica, Aliev e Gmrkoglu [33] mostraram solues com simetria axial geradas a partir do ansatz de Kerr-Schild. No captulo 4 desta tese
e em Rotating black holes in a Randall-Sundrum brane with a cosmological constant [35],
generalizamos estes resultados, partindo do ansatz de Kerr-Schild-(A)-dS. Ou seja, adicionamos a constante cosmolgica (negativa ou positiva) e chegamos a curiosos resultados como,
j relatado em trabalhos sem a constante cosmolgica, a existncia de uma carga do tipo
coulombiana na brana, mesmo sem existir no mundo quadridimensional um campo maxwelliano. Tal carga, como vimos, surge da influncia do bulk na brana, amplifica os efeitos
gravitacionais em nosso espao-tempo quadridimensional quando assume valores negativos
(q < 0), tornando o horizonte de eventos e a ergosfera, por exemplo, regies maiores do que
as mesmas encontradas na relatividade geral.
Por fim, realizamos um estudo de tica geomtrica nas mtricas com simetria axial mostradas no captulo 4. tica geomtrica uma abordagem suficiente quando o comprimento
de onda da radiao eletromagntica pequeno. Desde os anos cinquenta do sculo XX
acredita-se que o campo gravitacional pode alterar o vetor de polarizao da luz. Nos trabalhos [79, 37, 38], estimativas foram feitas para essa previso. No captulo 5, usamos a
abordagem de Pineault e Roeder [37] para o clculo da variao do cisalhamento e do vetor de polarizao na direo da congruncia nula (direo do feixe de luz). Esses autores
realizaram um estudo no contexto da relatividade geral, mas em nosso trabalho o contexto
foi o de mundos branas. Como era esperado, alguns resultados foram diferentes. No caso
de uma fonte de luz (uma estrela) orbitando no plano equatorial em torno do buraco negro
no contexto que trabalhamos, a variao do vetor de polarizao da luz emitida e medida
por um observador no infinito (quando a constante cosmolgica na brana nula) no foi a
mesma do que aquela exposta por Pineault e Roeder. Em nosso caso, a variao no foi nula,
mas p = aq/8d 3 , sendo que com q < 0, o vetor de polarizao roda no sentido oposto
ao da rotao do buraco negro. Para o caso em que a fonte e o observador esto no eixo de
simetria do buraco negro, o valor estimado tambm foi outro: e = a(3Mr f q)/3r3f contra
e = Ma/r2f dos autores citados. Em ambas situaes estudadas e comparadas, a influncia
do bulk na brana, medida pela carga de mar q, fez-se notar e indicou-nos mais um possvel
teste para detectar vestgios indiretos que possam corroborar a realidade dos mundos brana.

Apndice A
Equaes do campo gravitacional numa
3-brana
Neste apndice, mostramos a deduo das equaes do campo gravitacional em uma
3-brana imersa num bulk 5-dimensional com o auxlio das equaes de Gauss e Codazzi, das equaes de Einstein em 5 dimenses e das condies de juno de Israel, de
acordo com o seminal trabalho The Einstein equations on the 3-brane world [26], de Shiromizu, Maeda e Sasaki. Para isso, os autores relacionaram o tensor de Einstein na brana com
elementos no bulk. Em seguida, assumiram que todos os campos, exceto o gravitacional,
esto confinados na brana, alm da simetria Z2 no bulk. Vale a pena enfatizar que as equaes na 3-brana reduzem-se s equaes de Einstein da relatividade geral no limite de baixas
energias. O resultado apresentado neste apndice de extrema importncia para esta tese
sua espinha dorsal.
Nosso universo, uma brana 4-dimensional, ser indicada por M e ter uma mtrica h ;
no caso do espao-tempo 5-dimensional, sua mtrica foi indicada por gAB . Ambos tensores
relacionam-se por
hAB = gAB nA nB e hAB = gAB nA nB .
(A.1)
O vetor unitrio nA ortogonal brana. J o vetor eA tangente hipersuperfcie quadridimensional1 , projeta vetores na brana. Ento, a mtrica na brana construda pela projeo de
hAB na mesma. Ou seja,
h = eA eB hAB .
(A.2)
1 Os

ndices em grego vo de 0 a 3; os latinos, referentes ao bulk, vo de 0 a 4. Quantidades na brana


foram indicadas pelo nmero 4, entre parnteses, escrito em seus cantos superiores esquerda. Assim como
quantidades no bulk levam o nmero 5.

97

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA

98

Portanto, com auxlio de (A.2) e da relao eA eA = , temos


h = g

h = g .

Algumas propriedades foram teis na obteno das equaes desejadas:

hBA = gBA nB nA ,

nA nA = 1 e eA nA = 0.

(A.3)

As equaes de Gauss e Codazzi [48], ponto de partida desta deduo, foram escritas
como
(4)
(A.4)
R =(5) RABCD eA eB eC qD + K K K K
e
D K D K =(5) RAB nA eB ,

(A.5)

K = eA eB A nB

(A.6)

respectivamente, onde

a curvatura extrnseca de M , K = K o trao de K , e D o operador derivada


covariante em relao mtrica h . Contraindo (A.4) com relao aos ndices e , chegase
(4)
R =(5) RABCD h h eA eB eC eD + KK K K .
(A.7)
Como, por (A.2),

hBA = hAE hEB = eA eE eE eB h h

= eA eB h h ,

(A.8)

pois eE eE = , substituindo (A.8), com as devidas trocas de ndices, em (A.7), temos o


resultado
(4)

R =(5) RAB eA eB (5) RABCD nA nC eB eD + KK K K .

(A.9)

Com o tensor de Ricci em 4 dimenses, pode-se obter o escalar de Ricci contraindo (A.9)
com a mtrica h
(4)
R = h (4) R ,
(4)

R =(5) RAB hAB h

(5) A
R BCD nA nC eB eD + K 2 K K .

(A.10)

Ento, com auxlio de (A.9) e (A.10), as equaes do campo gravitacional na brana tornaram-

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA

99

se, aps alguma manipulao algbrica,

(4)

G =

(4)

1
R h
2

(5)

1
RAB eA eB (5) RAB hAB h E + KK K K
2

1
h [K 2 K K h
2

(4)

(5) A
R BCD nA nC eB eD ],

(A.11)

onde
E =(5) RABCD nA nC eB eD .

(A.12)

O segundo termo de (A.11), usando (A.1), pde ser escrito da seguinte forma
1 (5)
RAB hAB h =
2

(5)

AB

RAB g

n n

A B

)h

h
= gAB (5) R eA eB
2

2
(5)

RAB nA nB ,

(A.13)

pois h = gAB eA eB , devido relao de ortogonalidade: nA eA = 0. Com isso, (A.11) foi


expressa como
(

(4)

)
1
1
(5)
=
RAB gAB R eA eB + h (5) RAB nA nB E + KK
2
2
[
]
1

(5) A
B C D
K K h K K K h
R BCD nA n e e .
(A.14)
2
(5)

Mas sabendo que (5) GAB =


(4)

(5) R 1 g
(5) R,
AB
2 AB

ento

GAB hA hB E + KK K K +
[
]
1
+
h (5) RAB nA nB K 2 + K K +(5) RABCD nA nC hBD .
2

G =

(5)

(A.15)

Novamente, com auxlio de (A.1), realiza-se a seguinte simplificao:


(5) A
R BCD nA nC hBD

=
=

(5) A
R BCD nA nC
(5)
RAB nA nB ,

( BD
)
g nB nD
(A.16)

pois (5) RABCD nA nB nC nD = 0 (multiplicao de um tensor simtrico por um antissimtrico).


A igualdade acima conduziu

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA


(4)

G =

GAB eA eB E + KK K K +
(
)
1
+h (5) RAB nA nB h K 2 K K .
2

100

(5)

(A.17)

Para relacionar (4) G com o tensor energia-momento na brana, as equaes do campo


gravitacional em 5 dimenses,
(5)

1
GAB = (5) RAB gAB (5) R = 52 (5) TAB
2

(A.18)

(onde 52 a constante gravitacional em 5 dimenses, e (5) T o tensor energia-momento


do bulk), assim como o tensor de Weyl em 5 dimenses
(5)

(5)

CABCD =

RABCD

1(
gAC
3

(5)

RBD gAD (5) RCB gBC

1
(gAC gDB gAD gCB )
12

(5)

(5)

RDA + gBD (5) RCA

(A.19)

foram usados. A partir de (A.18), com auxlio de gAB , o escalar de curvatura e o tensor de
Ricci, em 5 dimenses, tomaram a seguinte forma
(5)

2
R = 52 (5) T
3

(5)

)
52 ( (5)
(5)
3 TAB T gAB .
RAB =
3

(A.20)

Substituindo-os na equao (A.17), chega-se igualdade


(4)

G = 52 (5) TAB eA eB E + KK K K +
)
(
)
2 (
1
+ h 5 3 (5) TAB (5) T gAB nA nB h K 2 K K .
3
2

(A.21)

Multiplicando (A.19) por nA nC hB hD com o auxlio de (A.3) , (A.12) foi expressa como
) 1 (
)
1 ( (5)
(5)
E =
RAB eA eB +(5) RCD nC nD gAB eA eB
R gAB eA eB +
3
12
(5)
A C B D
+
CABCD n n e e .
Com ajuda de (A.20), E finalmente assumiu a forma
E =

52
3

(5)

1
1
TAB eB eA 52 (5) T gAB eB eA + 52 (5) TCD nC nD h + E ,
6
3

(A.22)

onde
E = CABCD nA nC eB eD .

(A.23)

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA

101

Uma propriedade de E ter trao nulo, ou seja, E = 0. Substituindo (A.22) em (A.21),


temos as equaes do campo gravitacional quadridimensionais em funo do tensor energiamomento 5-dimensional, ou seja,
(4)

252
=
3

[
(5)

TAB eA eB +

(5)

TAB nA nB

(5) T

)
h

1
+ KK K K h (K 2 K K ).
2

E +
(A.24)

A expresso (A.24) nos revela que as equaes do campo gravitacional em 4 dimenses,


nesse cenrio, possuem termos que no dependem do tensor energia-momento. Portanto,
tais termos fazem o papel de uma matria geomtrica que curva o espao-tempo, sendo a
manifestao do bulk na brana.
A partir da equao (A.5), com o auxlio de (A.20) e do fato de que h n = 0, constri-se
a relao
D K

)
52 ( (5)
(5)
3 TAB T gAB nA eB
D K =
3
= 52 (5) TAB nA eB .

(A.25)

At o presente momento, no foi utilizada qualquer tipo de simetria em relao ao tensor


energia-momento. Ento, usa-se, por exemplo, um cenrio brana para lanar mo de algumas
escolhas. Com a escolha de uma coordenada y, a coordenada da dimenso extra, adota-se
uma nica brana, localizada em y = 0. Assim, n dx = dy, e a mtrica do bulk pde ser
escrita como
ds2 = h dx dx + dy2 .
(A.26)
Assumi-se tambm que o tensor energia-momento no bulk tem a forma
(5)

TAB = 5D gAB + SAB (y),

(A.27)

onde
S = eA eB SAB = h + ,

(A.28)

sendo 5D a constante cosmolgica em 5 dimenses, e a tenso e o tensor energiamomento, respectivamente, na brana e n = 0. O tensor energia-momento TAB , de acordo
com (A.27), tem um comportamento singular devido brana, que divide o bulk em duas
partes, quebrando a simetria de translao em y. Assim, existe uma regio de transio entre
o bulk e a brana, que requer uma soluo de continuidade dada pelas condies de juno de

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA

102

Israel [82]:
[h ] = 0

(A.29)

1
[K ] = 52 (S h S),
3
onde o operador [X ] definido como
[X ] = lim X lim X = X + X .
y+0

y0

(A.30)

(A.31)

Como nos modelos Randall-Sundrum, usa-se a simetria Z2 e fixa-se a brana num ponto
fixo da dimenso extra. Com isso, a simetria imposta relaciona a curvatura extrnseca da
brana com o seu tensor energia-momento
1
1

+
K
= K
= 5 (S h S).
2
3

(A.32)

Por causa dessa simetria, pode-se calcular quantidades em ambos os lados, + e -, da brana.
Por fim, substituindo (A.32) em (A.24), conclui-se que as equaes do campo gravitacional
induzido na brana so:
(4)

onde

G = 4D h + 8 GN + 52 E ,
1
1
4D = 52 (5D + 52 2 ),
2
6
GN =

52
48

(A.33)

(A.34)
(A.35)

1
1
1
1
= + + h h 2 .
(A.36)
4
12
8
24
As equaes (A.33) so, finalmente, as equaes do campo gravitacional projetadas na
brana e se tornam as conhecidas equaes da relatividade geral quando se toma o limite
de 0, mantendo GN finito e desprezando E . O tensor E a parte do tensor 5dimensional de Weyl projetado na brana e carrega consigo a informao do campo gravitacional fora dela, como o bulk a influencia. Portanto, E depende da geometria do bulk e
no pode ser determinado livremente, alm disso, porque vinculado matria na brana. Ou

APNDICE A. EQUAES DO CAMPO GRAVITACIONAL NUMA 3-BRANA


seja, usando a identidade de Bianchi, D

(4) G

103

= 0, observa-se a relao entre E e

D E = K (D K D K ),
1 2
1
=
5 [ (D D ) + ( h )D ].
4
3

(A.37)

Pode-se notar, ento, que E no livremente determinado, mas sua divergncia vinculada
T T , e numa
matria na brana. Com a decomposio de E em uma parte transversa, E
L , a ltima ser determinada completamente pela matria na brana.
parte longitudinal, E
T T for zero, as equaes (A.33) trataro somente de elementos contidos na
Dessa forma, se E
brana pois a parte transversa corresponde a ondas gravitacionais no bulk. Ento, para resolver
completamente as equaes na brana deve-se, em geral, resolver as equaes no bulk.

Apndice B
Mtricas com simetria axial ou esfrica
Numa variedade M , num dado ponto p, vetores so definidos utilizando os conceitos de
espao tangente, TP , e espao cotangente, TP 1 . Podemos, ento, escrever vetores num espao
tangente como operadores derivada direcional, quando escritos na base das coordenadas;
por exemplo, se escolhermos as coordenadas (x0 , x1 , x2 , ..., xn ) para mapear uma variedade
n-dimensional, teremos os vetores

, 1 , 2 , 3 , ..., n
0
x x x x
x

(B.1)

como vetores da base das coordenadas num espao tangente TP , num dado ponto p, variedade. Neste mesmo ponto, podemos construir uma base em TP , cujos vetores na base das
coordenadas so
dx0 , dx1 , dx2 , dx3 , ..., dxn .
(B.2)
Bases tangente e cotangente obedecem a relao

a eb = ab ,

(B.3)

onde ea uma base no espao tangente e b uma base no espao cotangente.2


Entre todos os campos vetoriais definidos numa variedade, os campos de Killing tm
um papel importante na relatividade geral; utilizando-os, podemos fazer afirmaes sobre
simetrias numa variedade equipada com uma mtrica lorentziana (M , g ) chamaremos
tal estrutura de espao-tempo. Uma importante caracterstica desses campos que quando
1 Cf.
2 Os

[49] e [50], especialmente o captulo 2 de ambos.


ndices a e b vo de 0 a n.

105

APNDICE B. MTRICAS COM SIMETRIA AXIAL OU ESFRICA

106

calculamos a derivada de Lie () da mtrica g ao longo deles, esta anula-se. Ou seja,


g = 0,

(B.4)

onde um campo de Killing. Esta simetria a conservao da mtrica sobre um campo


de Killing uma isometria. A equao (B.4) escrita explicitamente como
)
(
g = g + g + ( ) g
= +

(B.5)

sendo o operador derivada covariante. Conjugando os resultados (B.4) e (B.5), temos a


conhecida equao de Killing3
( ) = 0.
(B.6)
Ento, quando uma mtrica independente de uma coordenada temos um campo de Killing
associado ao espao-tempo descrito por essa mtrica ou, ao contrrio, quando um espaotempo tem um campo de Killing, a mtrica que o descreve independente de uma coordenada.
Campos de Killing referem-se a grandezas conservadas, isto , dada um geodsica x ( )
com vetor tangente v = dx /d e seja um campo de Killing, temos
v ( v ) = v v + v v
= 0,

(B.7)

pois o segundo termo da equao acima anula-se pelo fato de que x ( ) uma geodsica
)
(
v v = 0 , e o primeiro anula-se devido equao de Killing. Consequentemente, a
grandeza v conservada ao longo da geodsica.
Com o conceito de campos de Killing em mente, vamos construir a forma geral da mtrica
de um espao-tempo estacionrio com simetria axial. Um espao-tempo estacionrio aquele
em que os termos da mtrica que o descrevem so independentes de t, a coordenada temporal;
dito de outra forma, um espao-tempo estacionrio possui um campo de Killing tipo tempo,
t = / t, ou seja, existe uma isometria de M em M cujas rbitas so curvas do tipo
tempo (os vetores de Killing tangentes a essas curvas so do tipo tempo). Por outro lado,
um espao-tempo com simetria axial aquele em que os termos da mtrica que o descrevem
so independentes de , a coordenada angular azimutal, ou seja, este espao-tempo possui
1
2

3 As

notaes que usam parnteses ou colchetes no entorno de ndices significam:


)
(
)
+ e [ ] = 12 .

( ) =

APNDICE B. MTRICAS COM SIMETRIA AXIAL OU ESFRICA

107

um campo de Killing tipo espao, = / , uma isometria de M em M cujas rbitas so


curvas do tipo espao fechadas. Ento, um espao-tempo estacionrio com simetria axial
aquele que possui ambas isometrias, isto , possui os campos de Killing t e que comutam
entre si. Ou seja,

[
]
t , = 0.

(B.8)

Assim, uma soluo estacionria com simetria axial independente das coordenadas t e
e pode ser escrita, genericamente num espao-tempo 4-dimensional, por
(
)
ds2 = g x1 , x2 dx dx ,

(B.9)

(
)
onde x0 = t e x3 = , isto , adotamos as coordenadas t, x1 , x2 , para representar grandezas
fsicas nesse espao-tempo, sendo x1 e x2 coordenadas espaciais quaisquer. Como o tensor
g definido como um tensor simtrico, a mtrica (B.9) ter 10 componentes indeterminadas que so funes de x1 e x2 . Pode-se diminuir o nmero de componentes desconhecidas
sabendo que a mtrica deve ser invariante quando t t e . Portanto, temos os
termos nulos
g01 = g02 = g31 = g32 = 0.
(B.10)
Alm disso, com a ajuda do teorema que mostra que uma mtrica num plano descrito pelas
coordenadas (x, y) e possuidor de uma mtrica positiva ou negativa definida (+, + ou , ),
escrita como
ds2 = gxx dx2 + 2gxy dxdy + gyy dy2
pode ser expressa na forma diagonal
(
)
ds2 = e dx2 + dy2 ,
sendo funo de x e y, conclui-se4 que a geometria (B.9), na forma geral para mtricas
com simetria axial,
( )2
( )2
ds2 = e2 dt 2 + e2 (d dt)2 + e2 dx1 + e2 dx2 ,

(B.11)

onde , , , e so funes de x1 e x2 apenas.


Um espao-tempo dito esttico se ele pode ser folheado por uma famlia de hipersuperfcies ortogonais a um campo de Killing do tipo tempo5 . Num espao-tempo esttico, h um
4 Cf.
5 Cf.

[65], especialmente o captulo 2.


[50], p. 203 ou [67], p. 184.

APNDICE B. MTRICAS COM SIMETRIA AXIAL OU ESFRICA

108

sistema de coordenadas adaptado ao campo de Killing do tipo tempo de tal forma que a mtrica independente da coordenada temporal t e no possui termos cruzados do tipo gt = 0.
Por outro lado, um espao-tempo 4-dimensional que possui simetria esfrica tem trs campos
de Killing do tipo espao linearmente independentes cujas rbitas so fechadas e satisfazem
as relaes de comutao abaixo:
[1 , 2 ] = 3 ,
[2 , 3 ] = 1
e
[3 , 1 ] = 2 .

(B.12)

Para um espao-tempo esttico com esta simetria, podemos escrever sua mtrica 4-dimensional
nas coordenadas (t, r, , ) na seguinte forma
ds2 = A(r)dt 2 +

(
)
1
dr2 + r2 d 2 + sen2 d 2 ,
B(r)

(B.13)

onde as funes A(r) e B(r) so dependentes unicamente da coordenada r. Um ponto importante a destacar que todo espao-tempo estacionrio esfericamente simtrico esttico6 .
Na relatividade geral, onde A(r) = B(r) em (B.13), para o caso de vcuo, a mais geral
soluo dada por
2M Q2 4D 2
+ 2
r ,
(B.14)
A(r) = 1
r
r
3
que corresponde mtrica Reissner-Nordstrm-(A)-dS (AdS quando 4D < 0 e dS quando
4D > 0). Estas tm carga7 Q e constante cosmolgica. J a mtrica de Reissner-Nordstrm
tem somente carga, ou seja, 4D = 0. As mtricas de Schwarzschild-(A)-dS tm constante
cosmolgica e carga nula. Por fim, a mtrica de Schwarzschild aquela caracterizada pelo
vcuo e ausncia de carga e constante cosmolgica (Q = 4D = 0).

6 Cf.

[49], cap. 6, p. 121.


nestas solues pode ser eltrica e magntica. Ou seja, Q pode ser escrita como a soma de ambas.

7 Carga

Apndice C
Horizontes
Podemos representar a estrutura causal de um espao-tempo de forma muito til atravs
dos diagramas conforme ou diagramas de Penrose. Nestes, regies infinitas podem ser representadas por linhas finitas e pontos. O infinito pode corresponder ao destino e/ou origem de
curvas do tipo luz, tempo e espao. Temos, ento, trs tipos de infinitos representados: tipo
luz (J + , J ), tipo tempo (i+ , i ) e tipo espao (i0 ), que podem corresponder ao destino e/ou
origem de curvas do tipo luz, tempo e espao, respectivamente. Exemplos ilustrativos so os
diagramas para as geometrias de Minkowski e Schwarzschild, mostrados na figura C.1. No
de Schwarzschild, exemplo (ii) na figura C.1, vemos que uma curva do tipo luz, um feixe
de luz emitido por um observador A, no atinge o infinito J + , quando dentro de uma regio
especial, delimitada por r+ . Por outro lado, no espao-tempo de Minkowski, exemplo (i)
na figura C.1, todas curvas do tipo luz terminam no infinito tipo luz J + . Mas na geometria
de Minkowski no h um buraco negro. Consequentemente, num espao-tempo que contm
um buraco negro, como no de Schwarzschild, existe uma regio onde curvas do tipo luz ou
do tipo tempo no terminam no infinito tipo luz J + ou tipo tempo i+ ; tais curvas terminam
numa singularidade, em r = 0. Assim, a fronteira dessa regio especial, uma membrana de
caminho nico, chamada de horizonte de eventos (r+ indica o raio do horizonte de eventos,
que constante). Um observador depois que o atravessa jamais poder sair, como indicado
na figura C.1. Ento, para definir um horizonte de eventos, devemos conhecer a estrutura
passada ou futura do infinito do tipo luz. Isto implica que um horizonte de eventos no seja
um objeto local ele determinante na estrutura causal do espao-tempo.
No entanto, a estrutura de infinitos em diagramas de Penrose de geometrias assintoticamente anti-de Sitter (AdS) ou de Sitter (dS) um pouco diferente das acima citadas (Minkowski e Schwarzschild), assintoticamente planas. No caso de uma geometria assintoticamente AdS, como o espao-tempo Schwarzschild-AdS, o exemplo (iii) na figura C.1, os
infinitos do tipo luz, tempo e espao so subsumidos pelo infinito J, uma superfcie do tipo
109

APNDICE C. HORIZONTES

110

tempo. Para uma geometria assintoticamente dS, como a soluo Schwarzschild-dS, o exemplo (iv) na figura C.1, todos os tipos de infinitos so representados por duas superfcies tipo
espao, uma no passado J e uma no futuro J + . Para geometrias assintoticamente dS, temos
um elemento a mais no diagrama de Penrose: o horizonte cosmolgico, rc . Tal como horizonte de eventos, o horizonte cosmolgico uma superfcie nula, tipo luz. Na geometria de
Sitter pura, ou seja, sem uma singularidade fsica, o nico horizonte que existe o horizonte
cosmolgico.
i

J
i

r=0

r=0

(i)

r+

r+

r+

r+
J

(ii)

r=0

r=0

r=0

r+

r+

r+

r+

rc

r=0

r+

rc

J
rc

(iii)

r+

(iv)

r+

r+

r=0

rc

Figura C.1: Diagramas de Penrose dos espaos-tempo de Minkowski (i), Schwarzschild (ii), Schwarzschildanti de Sitter (iii) e Schwarzschild-de Sitter (iv). Em (ii), um observador B pode enviar sinais de luz que
chegaro no infinito J + ou cruzaro o horizonte de eventos, r = r+ . Por outro lado, um observador A, dentro
do horizonte, s poder emitir sinais que terminaro na singularidade, r = 0. Em Minkowski, entretanto, isso
no ocorre; no h um horizonte de eventos. Nos diagramas (iii) e (iv) a estrutura de infinitos um pouco
diferente. Na geometria de Schwarzschild-AdS, todos infinitos so representados pela superfcie tipo tempo J.
J para a mtrica Schwarzschild-dS, os infinitos so representados, no passado, por J e, no futuro, por J + ,
ambos indicados por uma superfcie tipo espao. Todos os diagramas foram retirados de [83].

Por outro lado, um horizonte de Killing um objeto local, pois definido como uma
superfcie H que possui vetores de Killing tangentes do tipo luz, ou seja, |H = 0
(a norma desse vetor especial, discutido no apndice anterior, nula em H). Em [14]
mostrado um expressivo resultado: num espao-tempo estacionrio e assintoticamente plano,
o horizonte de eventos coincide com o horizonte de Killing, para algum campo de Killing
.

APNDICE C. HORIZONTES

111

Para obter a localizao de um horizonte de eventos ou um horizonte cosmolgico, devemos determinar as superfcies com vetores tangentes do tipo luz. Isto se deve porque um
horizonte de eventos uma superfcie nula com raio constante1 . Por ser de raio constante, um
vetor ortogonal a essa superfcie (igualmente nulo pois um vetor ortogonal a uma superfcie
nula do mesmo modo nulo) pode ser escrito como o gradiente r (r a superfcie de raio
constante), usando um sistema de coordenadas adequado do tipo (t, r, , ). A norma desse
covetor , ento, dada por:
r r = g r r = grr ,
(C.1)
sendo a coordenada r independente das demais. Como j foi dito, a norma de r nula, o
que implica em
grr |horizonte = 0.
(C.2)
No caso de uma geometria ou mtrica com simetria esfrica, escrita na sua forma geral
(B.13), g

1
0
0
0
A(r)

0
B(r)
0
0
.
g =
(C.3)

1
0
0
0

2
r
2
0
0
0 cosec
r2
Portanto, a norma do covetor r , por (C.1) e (C.2), dada pelos zeros de B(r). Para a
mtrica Schwarzschild-de Sitter, cujo diagrama o (iv) na figura C.1, a funo B(r) tem dois
zeros positivos: o horizonte de eventos (r+ ) e o horizonte cosmolgico (rc ).
No caso de uma mtrica com simetria axial, expressa por (B.11) em sua forma geral, g
representado pela matriz

e2
0
0
e2
0
e2
0
0
2

0
0
0
e
e2
0
0
2 e2 + e2

(C.4)

Quando se passa a mtrica axial em sua forma geral para as coordenadas de Boyer-Lindquist,
como fizemos nos casos estudados no captulo 4,
g11 = e2 = grr =

r
.

(C.5)

Portanto, os zeros da funo r fornecem-nos os horizontes de eventos de uma mtrica com


simetria axial.
1 Em

[50], cap. 6, existem duas sees que tratam de horizontes de eventos e de Killing.

APNDICE C. HORIZONTES

112

Em caso de geometrias estticas ou estacionrias, como visto no apndice anterior, temos


um campo de Killing imediato, dado pelo fato de que tais mtricas so independentes da coordenada temporal t . Ento, podemos construir o campo na base das coordenadas (t, r, , ):

t =

(C.6)

Em coordenadas, t pode ser escrito como

t = (1, 0, 0, 0).

(C.7)

Ento, a norma desse importante vetor

t2 = g t t .

(C.8)

Nas geometrias que importam nesta tese, mtricas estticas ou estacionrias, a norma do
campo de Killing t sempre dada por

t2 = gtt .

(C.9)

Segue que encontramos o horizonte de Killing para t , definido acima, fazendo gtt = 0.
Em geometrias estacionrias e no estticas, geometrias com simetria axial, o horizonte
de Killing, gerado por t , no coincide com o horizonte de eventos. Para que haja tal coincidncia, necessrio construir o campo de Killing , escrito como uma combinao dos
campos t e (este ltimo, de acordo com o apndice B, define a simetria axial)

= t + + ,

(C.10)

onde + a velocidade angular do buraco negro estimada no horizonte de eventos. Nele, no


horizonte de eventos, temos
2 |r=r+ = 0.
(C.11)

Apndice D
O formalismo de Newman-Penrose
Uma forma alternativa de apresentar a relatividade geral o formalismo das tetradas. Ao
invs de expressar grandezas com vetores e tensores, quantidades relevantes, em termos de
uma base das coordenadas, = / x , escolhe-se uma base tetrada, que corresponde a
quatro vetores linearmente independentes, e projeta-se tais quantidades nessa base. O formalismo de Newman-Penrose um formalismo das tetradas com uma escolha para os vetores
da base. Neste, os vetores so nulos, ou seja, a base nula. No trabalho An approach to
gravitational radiation by a method of spin coefficients [39], publicado em 1962, Ezra Newman e Roger Penrose utilizaram as tetradas para estudar a radiao gravitacional. Mas tal
formalismo, como ser visto, tambm til para o caso da radiao eletromagntica, pois
ambas percorrem geodsicas do tipo nula. Para realizar tal trabalho, os autores obtiveram 12
constantes, chamadas coeficientes de spin, que foram importantes para o clculo de quantidades ticas nesta tese. Este formalismo mostra-se til por simplificar as equaes envolvidas,
todas somente de primeira ordem, no envolvendo, como j foi dito, uma base das coorde{ } (
)
nadas quando um tensor escrito. Usando a seguinte tetrada nula1 ea = m , m , l , k
ou, como ser conveniente a seguir, {ea } =(m, m,
l, k), onde a barra significa complexo conjugado, temos, por definio,
k k = l l = m m = m m = 0

(D.1)

e as seguintes relaes de ortogonalidade


k m = k m = l m = l m = 0.

(D.2)

a tetrada em questo, o ndice grego o tensorial, vai de 0 a 3. O ndice latino o que identifica os
componentes da tetrada, vai de 1 a 4 (e1 = m , e2 = m , e3 = l , e4 = k ).
1 Para

113

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

114

Alm das relaes citadas acima, temos

k l = m m = 1,

2
m =
(a + ib ) ,
2

1
a a = b b = .
2

(D.3)

Na base das coordenadas, , podemos expressar a tetrada como


ea = ea

.
x

(D.4)

Sua correspondente dual, ea a , igualmente na base das coordenadas, escreve-se na seguinte forma:
a = a dx .
(D.5)
Para subir e descer ndices tensoriais, usamos a mtrica e sua inversa. Assim
ea = g ea .

(D.6)

Podemos tambm usar a inversa de ea , isto , a , para que as relaes entre vetores, no
espao tangente, e covetores ou 1-formas, no espao dual, com suas respectivas componentes,
sejam satisfeitas:

ea b = ba
e
ea a = .
(D.7)
Por fim, assumimos que
ea eb = g ea eb = ab .

(D.8)

Para subir e descer ndices da tetrada (ea = ab eb = ab b ), usa-se a mtrica plana


ab , definida acima, que pode ser expressa na forma matricial quando a tetrada escolhida
a de Newman-Penrose como:

0 1 0
0

1 0 0

0
ab

ab = =
(D.9)
0 0 0 1 .

0 0 1 0
Das definies e construes acima, segue que o tensor mtrico pode ser escrito em termos
da base nula:
g = ea eb ab
= m m + m m l k k l .

(D.10)

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

115

Transformaes de Lorentz, aplicadas tetrada nula, foram importantes na abordagem


realizada por Pineault e Roeder [37] para o estudo de propriedades ticas geomtricas da
mtrica de Kerr. Como seguimos esse mesmo caminho, essa mesma abordagem, para as
mtricas construdas no captulo 4, convm listar transformaes nulas para a tetrada {ea } =
(m, m,
l, k) , pois foram utilizadas pelos autores citados:
Rotaes nulas (l fixo)
+ E El
, com E complexo. (D.11)
l = l , m = m + El , k = k + E m + Em
Rotaes nulas (k fixo)
+ BBl
, com B complexo.
k = k , m = m + Bk , l = l + Bm + Bm

(D.12)

Rotaes espaciais no plano m m

m = ei m , com real.

(D.13)

Transformaes especiais de Lorentz (boosts) no plano k l


k = Ak ,

l = A1 l ,

com A > 0.

(D.14)

Vale a pena ressaltar que os quatro tipos de transformaes acima, por meio de E, B, e A,
possuem no total seis parmetros reais. Por fim, temos:
Transformaes mais gerais que preservam a direo k
k = Ak ,

m = ei (m + Bk ) ,

+ BBk
).
l = A1 (l + Bm + Bm

(D.15)

Vamos obter, a partir de agora, os chamados coeficientes de spin, que so escalares importantes na caracterizao de espaos-tempo. Para tal feito, utilizamos a equao da derivada
{ }
covariante direcional para a base ea com o intuito de construir os chamados coeficientes
de rotao de Ricci2 . Utilizando o operador mencionado na base tetrada, obtivemos

eb ea = eb ea + ea eb
= g ea eb
= ea eb ,
2 Os

(D.16)

coeficientes de spin, como veremos, so combinaes lineares dos coeficientes de rotao de Ricci.

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

116

onde usamos o fato de que a derivada parcial de ea , na direo eb , nula e a simetria

= . Quando multiplicamos ambos os lados de (D.16) por ec , chegamos ao seguinte resultado:


ec eb ea = ea ec eb = abc .
(D.17)
As componentes do tensor , escritas na base tetrada (abc ), so conhecidas como coeficientes de rotao de Ricci. Podemos escrev-los como
cab = ec ea eb .

(D.18)

Os coeficientes de rotao de Ricci so antissimtricos nos primeiros dois ndices:


cab = acb . Escritos em termos da tetrada tetrada nula, conduzem aos chamados coeficientes de spin, que nada mais so do que combinaes lineares dos coeficientes de rotao.
As doze combinaes lineares, os doze coeficientes de spin, so:

144 = k m k ,
142 = k m m ,
141 = k m m ,
143 = k m l ,
233 = l m l ,
231 = l m m ,
232 = l m m ,
234 = l m k ,
)
1
1(

(214 344 ) = m m k k l k ,
2
2
)
1
1(

(211 341 ) = m m m k l m ,
2
2
)
1
1(

(433 123 ) = l k l m m l ,
2
2
)
1(
1
(432 122 ) = l k m m m m .

2
2

(D.19)

Com os coeficientes de spin, podemos construir o tensor de curvatura3 em termos da tetrada


nula e obter as chamadas equaes de Newman-Penrose ou identidades de Ricci, que medem
a variao dos coeficientes listados acima numa direo qualquer da tetrada4 (m, m,
l, k).
3 O tensor de curvatura, Ra , importante pois suas caractersticas denotam caractersticas do espao-tempo.
bcd
4 Cf. [39] e, tambm com um pouco mais de detalhes, [68]. Existe uma diferena no sinal dos coeficientes de

spin entre as referncias [39] e [68] que se justifica pela no igualdade entre as assinaturas das mtricas usadas.
Seguimos o caminho exposto em [68].

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

117

Uma maneira eficiente para o clculo das componentes do tensor de curvatura o procedimento desenvolvido por Cartan. Nesse caminho, defini-se a 2-forma da curvatura
1
ab Rabcd c d ,
2

(D.20)

onde o smbolo significa o produto exterior (produto entre 1-formas), que conduz segunda
equao de Cartan5
dab + ac cb = ab .
(D.21)
O operador d a derivada exterior, aplicada a 1-forma da conexo, ab abc c . A equao
acima equivalente definio do tensor de curvatura. Para a tetrada considerada, (m, m,
l, k),
a segunda equao de Cartan resume-se a apenas trs equaes
1
R41cd c d ,
2
1
d32 32 (21 + 43 ) =
R32cd c d ,
2
1
(R21cd + R43cd ) c d ,
d (21 + 43 ) + 232 41 =
2
d41 + 41 (21 + 43 ) =

(D.22)

onde os ndices numricos referem-se a tetrada. A 1-forma da conexo pode se escrita como
ab = abc c .

(D.23)

Com o uso de (D.17), essa mesma 1-forma fica


ab = ea ec eb c .

(D.24)

Assim, pode-se notar que 41 = 42 ou 21 = 12 , por exemplo. Pois a troca do ndice 1 da


tetrada pelo ndice 2 ou vice-versa indica a troca de m por m ou vice-versa.
Para obter as equaes de Newman-Penrose, necessrio escrever (D.22) usando os coeficientes de spin (D.19) listados acima. Mas para isso, escrevemos as componentes da conexo
na base dual em termos dos mesmos,
14 = 14c c = 1 2 3 4 ,
23 = 23c c = 1 + 2 + 3 + 4 ,
1
(12 + 34 ) = 1 2 3 4 ,
2
5 J que usamos a segunda equao de Cartan em nosso texto,

onde

ab

abc c

a 1-forma da conexo.

(D.25)

vale a pena citar a primeira: d a = ab b ,

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

118

e definimos as derivadas direcionais


D k ,

m ,

l ,
m ,

(D.26)

que sero usadas no lado esquerdo das componentes da segunda equao de Cartan escritas
na base nula (D.22). As derivadas direcionais medem variaes nas direes k, l, m e m e
indicam-nos como os coeficientes de spin variam em cada uma direo dos vetores da base.
Agora, no lado direito da equao (D.22), utilizamos a decomposio do tensor de Riemann
ou de curvatura
R = C + E + G ,
(D.27)
que define em 4 dimenses o tensor de Weyl C , sendo
)
1(
g S + g S g S g S ,
2
)
1
1 (
R g g g g Rg ,
12
12
1
R Rg ,
4

E
G
S

(D.28)

onde R = R o escalar de Ricci, conforme a notao de [68]. Definem-se, em termos da


tetrada nula, os escalares
1
1
00 S k k = R44 ,
2
2
1
1
01 S k m = R41 ,
2
2
1
1
02 S m m = R11,
2
2
1
1
11 S (k l + m m ) = (R43 + R12 ) ,
4
4
1
1

12 S l k = R31 ,
2
2
1
1

22 S l l = R33 ,
2
2

(D.29)

e os coeficientes ou escalares complexos que representam as 10 componentes independentes


do tensor de Weyl:

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

119

0 C k m k m ,
1 C k l k m ,
2 C k m l m ,
3 C l k l m ,
4 C l m l m .

(D.30)

Os cinco s definidos acima, segundo a interpretao de Szekeres [69], tm os seguintes


significados fsicos: 4 representa uma onda transversal na direo k; 3 , uma componente
de onda longitudinal; 2 , um termo de Coulomb; 0 e 1 representam uma componente
de uma onda transversal e uma componente de uma onda longitudinal, respectivamente, na
direo l. Suas leis de transformao, de acordo com (D.11) e (D.12), so:
l fixo: 4 = 4 ,

3 = 3 + E4 ,

2 = 2 + 2E3 + E 2 4 ,
1 = 1 + 3E2 + 3E 2 3 + E 3 4
0 = 0 + 4E1 + 6E 2 2 + 4E 3 3 + E 4 4 .
k fixo: 0 = 0 ,

(D.31)

0,
1 = 1 + B

1 + B 2 0 ,
2 = 2 + 2B
2 + 3B 2 1 + B 3 0 ,
3 = 3 + 3B
3 + 6B 2 2 + 4B 3 1 + B 4 0 .
4 = 4 + 4B

(D.32)

Com as definies dos s e dos s acima, a segunda equao de Cartan, escrita na


tetrada nula {m, m,
l, k}, transforma-se, ento, nas equaes de Newman-Penrose:
)
(
3 + + 00,
D = 2 + + ( + )

(D.33)

D = ( + ) + (3 ) ( + + 3 ) + 0 ,

(D.34)

D = ( + ) + ( + ) + ( ) (3 + ) + 1 + 01 ,
+ ( + ) + 10 ,
D = = ( + 2 ) +

(D.35)

D = ( + ) + ( ) ( + ) ( ) + 1 ,

(D.37)

(D.36)

D = ( + ) + ( + ) ( + ) ( + ) + + 2 (D.38)
R
(D.39)
+ 11 ,
24

APNDICE D. O FORMALISMO DE NEWMAN-PENROSE

(
)
D = + + 2 + (3 ) + 20 ,
R
,
12
( + ) + ( + ) + ( ) (3 + ) + 3 + 21,
(
)
( + ) (3 ) + 3 + + 4 ,
)
(
( + ) 3 + ( ) + ( ) 1 + 01 ,
+ + 2 + ( ) + ( )

120

(D.40)

D = + + ( + ) ( ) + 2 +

(D.41)

D =
=
=

(D.42)

(D.43)
(D.44)

R
,
(D.45)
24
)
(
= ( ) + ( ) + + + ( + 3 ) 3 + 21 , (D.46)
+ ( 3 ) + 22 ,
= 2 + + ( + )
(D.47)
= ( ) + ( ) + + 12 , (D.48)
2 + 11 +

= + + ( + ) (3 ) + 02 ,
(
)
R
= ( + ) + + ( + ) + 2 ,
12
(
)

= ( + ) ( + ) + ( ) + 3 .

(D.49)
(D.50)
(D.51)

Apndice E
Os referenciais localmente no girantes
Em 1972, Bardeen, Press e Teukolsky publicaram o trabalho Rotating black holes: locally nonrotating frames, energy extration, and scalar synchrotron radiation [70], no qual o
formalismo dos referenciais localmente no girantes tetradas ortonormais que rodam com
a geometria foi adotado para o estudo de fenmenos no entorno do buraco negro de Kerr.
Segundo os autores: A Fsica no simples nas coordenadas de Boyer-Lindquist, pois (i) o
arrasto dos referenciais inercias torna-se to forte que o vetor / t da base das coordenadas
tende a um vetor do tipo espao quando prximo do limite esttico r0 , que a fronteira da
ergosfera, e (ii) a mtrica no diagonal, ento subir e descer ndices tensoriais tipicamente
introduz complexidade algbrica.1 Para superar essas dificuldades, consideraram a mtrica
geral com simetria axial (B.11), escrita nas coordenadas (t, r, , ) ,
ds2 = e2 dt 2 + e2 (d dt)2 + e2 dr2 + e2 d 2 .

(E.1)

Escolheram, ento, um referencial localmente no girante, onde: r = const., = const.,


}
{ } {
= t + const.; assim, a tetrada ortonormal e(a) = e(t) , e(r) , e( ) , e( ) que gira com o
buraco negro pde ser escrita em termos de uma base das coordenadas, , de acordo com a
definio (D.4), como
e(1) = e(t) = e

+
t

,
r

= e( ) = e
,

.
= e( ) = e

)
,

e(2) = e(r) = e
e(3)
e(4)
1 Cf.

[70], p. 353.

121

(E.2)

APNDICE E. OS REFERENCIAIS LOCALMENTE NO GIRANTES

122

{ }
Sua base dual correspondente e(a) , de acordo com (D.5), fica:
e(1) = e(t) = e dt,
e(2) = e(r) = e dr,
e(3) = e( ) = e d ,
e(4) = e( ) = e (d dt) .

(E.3)

Os ndices entre parnteses na tetrada indicam o referencial no girante. Nota-se, por (E.2) e
(E.3), que os vetores da tetrada satisfazem:

e(a) e(b)

0,
se a = b

= 1, se a = b = t

1,
se a = b e a = r, ou a = , ou a = .

(E.4)

Ou seja, a tetrada ortonormal composta por um vetor tipo tempo e trs do tipo espao. A
constante , que foi interpretada no artigo dos autores citados como velocidade angular do
buraco negro, no caso da mtrica de Kerr, como pode ser vista no captulo 12 de [49],
definida pela expresso
gt
.
(E.5)
=
g
A relao entre um tensor qualquer na base no girante, com ndices escritos entre parnteses, e um tensor escrito na base das coordenadas dada por

T(a)(b) = e(a) e(b)


T

(a) (b)

T = e e T(a)(b) ,

(E.6)

(a)

sendo e(a) e e matrizes que podem ser escritas, conforme (E.2) e (E.3), como

e(a)

e
0
0
0
0
e
0
0

0
0 e
0
0 e
e 0

e
(a)
e

0 0 0
e
0
e 0 0
0
0 e 0
e 0 0 e

(E.7)

(E.8)

APNDICE E. OS REFERENCIAIS LOCALMENTE NO GIRANTES

123

O formalismo dos referencias localmente no girantes foi usado por ns, no captulo 5,
com o auxlio da abordagem de Pineault e Roeder, para realizar um estudo de tica geomtrica
das mtricas com simetria axial num contexto de mundos brana expostas no captulo 4.

Referncias Bibliogrficas
[1] SCHWARZSCHILD, K. ber das gravitationsfeld eines massenpunktes nach
der einsteinschen theorie. Sitzungsberichte der Kniglich-Preussischen Akademie der Wissenschaften. 189, 1916.
[2] REISSNER, H. ber die eigengravitation des elektrischen felds nach der einsteinschen theorie. Annalen der Physik, v. 50, 106, 1916.
[3] NORDSTRM, G. On the energy of the gravitational field in Einsteins theory.
Proc. Kon. Ned. Akad. Wet., v. 20, 1238, 1918.
[4] KERR, R. P. Gravitational field of a spinning mass as an example of algebraically special metrics. Physical Review Letters, v. 11, 26, 1963.
[5] NEWMAN, E. T.; COUCH, E.; CHINNAPARED, K.; EXTON, A.; PRAKASH, A.; TORRENCE, R. Metric of rotating charged mass. Jounal of
Mathematical Physics, v. 3, 566, 1965.
[6] CARTER, B. HamiltonJacobi and Schrodinger separable solutions of Einsteins equations. Communications in Mathemathical Physics, v. 10, 280, 1968.
[7] MAYERS, R. C.; PERRY, M. J. Black holes in higher dimensional spacetimes. Annals of Physics, v. 172, 304, 1986.
[8] GIBBONS, G. W.; L H.; PAGE, D. N.; POPE, C. N. The general Kerrde
Sitter metrics in all dimensions. Journal of Geometry and Physics, v. 53, 49,
2005.
[9] HAWKING, S. W.; HUNTER, C. J.; TAYLOR-ROBINSON, M. M. Rotation
and the AdS/CFT correspondence. Physical Review D, v. 59, 064005, 1999.
[10] MORRIS, M. S.; THORNE, K. S. Wormholes in spacetime and their use for
interstellar travel: A tool for teaching general relativity. American Journal of
Physics, v. 56, 395, 1988.
125

REFERNCIAS BIBLIOGRFICAS

126

[11] RIESS, A. G. et al. (Supernova Search Team Collaboration). Observational


evidence from supernovae for an accelerating universe and a cosmological
constant. The Astronomical Journal, v. 116, 1009, 1998.
[12] PERLMUTTER, S. et al. (Supernova Cosmology Project Collaboration). Measurements of and from 42 high-redshift supernovae. The Astrophysical
Journal, v. 517, 565, 1999.
[13] KORMENDY, J.; RICHSTONE, D. The Search for Supermassive black holes
in galatic nuclei. Annual Review of Astronomy and Astrophysics v. 33, 581,
1995.
[14] HAWKING, S.W.; ELLIS, G. F. R. The Large Scale Structure of Space-Time.
Cambridge: Cambridge University Press, 1973.
[15] HORAVA, P.; WITTEN, E. Heterotic and type I string dynamics from eleven
dimensions. Nuclear Physics B, v. 460, 506, 1996.
[16] LUKAS, A.; OVRUT, B. A. STELLE, K.S.; WALDRAM, D. Universe as a
domain wall. Physical Review D, v. 59, 086001,1999.
[17] RANDALL, L.; SUNDRUM, R. An Alternative to compactification. Physical
Review Letters, v. 83, 4690, 1999.
[18] RANDALL, L.; SUNDRUM, R. Large Mass Hierarchy from a Small Extra
Dimension. Physical Review Letters, v. 83, 3370, 1999.
[19] ARKANI-HAMED, N.; DIMOPOULOS, S.; DVALI, G. The Hierarchy problem and new dimensions at a millimeter. Physics Letters B, v. 429, 263, 1998.
[20] MAARTENS, R. Brane-world gravity. Living Reviews in Relativity. 7, 7,
2004.
[21] CLIFTON, T.; FERREIRA, P. G.; PADILLA, A.; SKORDIS, C. Modified
gravity and cosmology. Physics Reports, v. 513, 1, 2012.
[22] BURDMAN, G. New solutions to the hierarchy problem. Brazilian Journal of
Physics, v. 37, 2007.
[23] DVALI, G.; GABADADZE, G.; PORRATI, M. 4D gravity on a brane in 5D
Minkowski space. Physics Letters B, v. 485, 208, 2000.

REFERNCIAS BIBLIOGRFICAS

127

[24] NOVELLO, M.; BERGLIAFFA, S. E. PEREZ. Bouncing cosmologies. Physics Reports, v. 463, 127, 2008.
[25] CHAMBLIN, A.; HAWKING, S. W.; REALL, H. S. Brane-world black holes.
Physical Review D, v. 61, 065007, 2000.
[26] SHIROMIZU, T.; MAEDA, K.; SASAKI, M. The Einstein equations on the
3-brane world. Physical Review D, v. 62, 024012, 2000.
[27] CASADIO, R.; FABBRI, A.; MAZZACURATI, L. New black holes in the
brane world? Physical Review D, v. 65, 084040, 2002.
[28] BRONNIKOV, K; DEHREN, H.; MELNIKOV, V. General class of braneworld black holes. Physical Review D, v. 68, 024025, 2003.
[29] MOLINA, C.; NEVES, J. C. S. Black holes and wormholes in AdS branes.
Physical Review D, v. 82, 044029, 2010.
[30] MOLINA, C.; NEVES, J. C. S. Wormholes in de Sitter branes. Physical Review D, v. 86, 024015, 2012.
[31] MODGIL, M. S.; PANDA, S.; SENGUPTA, G. Rotating brane world black
holes. Modern Physics Letters A, v. 17, 23, 2002.
[32] DADHICH, N.; MAARTENS, R.; PAPADOPOULOS, P.; REZANIA, V.
Black holes on the brane. Physical Letters B, v. 487, 1, 2000.
[33] ALIEV, A. N.; GMRKOGLU, A. E. Charged rotating black holes on a
3-brane. Physical Review D, v. 71, 104027, 2005.
[34] ALIEV, A. N.; GMRKOGLU, A. E. Gravitational field equations on
and off a 3-brane world. Classical and Quantum Gravity. v. 21, 5081, 2004.
[35] NEVES, J. C. S.; MOLINA, C. Rotating black holes in a Randall-Sundrum
brane with a cosmological constant. arXiv:qr-qc/1211.2848, 2012.
[36] BRODUTCH, A.; DEMARIE, T. F.; TERNO, D. R. Photon polarization and
geometric phase in general relativity. Physical Review D, v. 84, 104043, 2011.
[37] PINEAULT, S.; ROEDER, R. C. Applications of geometrical optics to the
Kerr metric. The Astrophysical Journal, v. 212, 541, 1977.

REFERNCIAS BIBLIOGRFICAS

128

[38] SU, F. S. O.; MALLETT, R. L. The effect of the Kerr metric on the plane
of polarization of an electromagnetic wave. The Astrophysical Jounal, v. 238,
1980.
[39] NEWMAN, E.; PENROSE, R. An approach to gravitacional radiation by a
method of spin coefficients. Jounal of Mathematical Physics, v. 3, n. 3, 566,
1962.
[40] HOLE, C. D.; SCHMIDT, U.; HECKEL, B. R.; ADELBERGER, E. G.; GUNDLACH, J. H. KAPNER, D. J.; SWANSON, H. E. Sub-millimeter tests of the
gravitational inverse-square law: A search for "large" extra dimensions. Physical Review Letters, v. 86, 1418, 2001.
[41] GREGORY, R. Black string instabilities in anti-de Sitter space. Classical and
Quantum Gravity. v. 17, L125, 2000.
[42] GREGORY, R.; LAFLAMME, R. Black strings and p-branes are unstable.
Physical Review Letters, v. 70, 2837, 1993.
[43] CREEK, S.; GREGORY, R.; KANTI, P.; MISTRY, B. Braneworld stars and
black holes. Classical and Quantum Gravity, v. 23, 6633, 2006.
[44] MUKHI, S. String theory: a perspective over the last 25 years. Classical and
Quantum Gravity, v. 28, 153001, 2011.
[45] LYKKEN, J. Weak scale superstrings. Physical Review D, v. 54, 3693, 1996.
[46] GREGORY, R.; WHISKER, R.; BECKWITH, K.; DONE, C. Observing braneworld black holes. Journal of cosmology and astroparticle physics, v. 10,
013, 2004.
[47] SEAHRA, S. S. Naked shell singularities on the brane. Physical Review D, v.
71, 084020, 2005.
[48] SEAHRA, S. S.; WESSON, P. Application of the Campbell-Magaard theorem
to higher-dimensional physics. Classical and Quantum Gravity. v. 20, 1321,
2003.
[49] WALD, R. M. General Relativity. Chicago: The University of Chicago Press,
1984.

REFERNCIAS BIBLIOGRFICAS

129

[50] CARROLL, S. Spacetime and Geometry: an introduction to general relativity.


San Francisco: Addison Wesley, 2004.
[51] GIBBONS, G. W.; HAWKING, S. W. Cosmological event horizons, thermodynamics, and particle creation. Physical Review D, v. 15, 2738, 1977.
[52] MAGNON, A. On Komar integrals in asymptotically anti-de Sitter spacetimes. Journal of Mathematics Physics, v. 26, 3112, 1985.
[53] ASHTEKAR, A.; MAGNON, A. Asymptotically anti-de Sitter space-times.
Classical and Quantum Gravity. v. 1, L39, 1984.
[54] ASHTEKAR, A; DAS, S. Asymptotically anti-de Sitter space-times: conserved quantities. Classical and Quantum Gravity. v. 17, L17, 2000.
[55] BALASUBRAMANIAN, V.; KRAUSS, P. A stress tensor for anti-de Sitter
gravity. Communications in Mathematical Physics. v. 208, 413, 1999.
[56] GHEZELBASH, A. M.; MANN, R B. Action, Mass and Entropy of
Schwarzschild-de Sitter black holes and the de Sitter/CFT Correspondence.
Journal of High Energy Physics, v. 01, 005, 2002.
[57] BROWN, J.D.; YORK, W. Quasilocal energy and conserved charges from the
gravitacional action. Physical Review D, v. 47, 1407, 1993.
[58] CALDARELLI, M. M.; COGNOLA G.; KLEMM, D. Thermodynamics of
KerrNewmanAdS black holes and conformal field theories. Classical and
Quantum Gravity, v. 17, 399, 2000.
[59] DEHGHANI, M. H.; KHAJEHAZAD, H. The thermodynamic of a KerrNewman-de Sitter black hole. Canadian Journal of Physics, v. 81, 1363, 2003.
[60] TEITELBOIM, C. Gravitational thermodynamics of Schwarzschild de Sitter
space. arXiv:hep-th/0203258v1, 2002.
[61] GIBBONS, G. W.; HAWKING, S. W. Action integrals and partition functions
in quantum gravity. Physical Review D, v. 15, 2752, 1977.
[62] SEKIWA, Y. Thermodynamics of de Sitter black holes: Thermal cosmological
constant. Physical Review D, v. 73, 084009, 2006.
[63] GOMBEROFF, A.; TEITELBOIM, C. de Sitter black holes with either of the
two horizons as a boundary. Physical Review D, v. 67, 104024, 2003.

REFERNCIAS BIBLIOGRFICAS

130

[64] CARTER, B. Global structure of the Kerr family of gravitational fields. Physical Review, v. 174, n. 5, 1559, 1968.
[65] CHANDRASEKHAR. S. The mathematical theory of black holes. Oxford:
Oxford University Press, 1992.
[66] HACKMANN, E.; LMMERZAHL, C.; KAGRAMANOVA, V.; KUNZ, J.
Analytical solution of the geodesic equation in Kerr-(anti-) de Sitter spacetimes. Physical Review D, v. 81, 044020, 2010.
[67] DINVRENO, R. Introducing Einsteins Relativity. 5. ed. Oxford: Oxford
University Press, 1992.
[68] STEPHANI, H.; KRAMER, D.; MACCALLUM, M.; HOENSELAERS, C.;
HERLT, E. Exact solutions of Einsteins field equations. 2. ed. Cambridge:
Cambridge University Press, 2006.
[69] SZEKERES, P. The gravitaional compass. Journal of Mathematical Physics,
v. 6, 1387.
[70] BARDEEN, J. M.; PRESS, W. H.; TEUKOLSKY, S. A. Rotating black holes:
locally nonrotating frames, energy extration, and scalar synchrotron radiation.
The Astrophysical Journal, v. 178, 347, 1972.
[71] MISNER, C. W.; THORNE, K. S.; WHEELER, J. A. Gravitation. New York:
W. H. Freeman and Company, 1973.
[72] WALKER, M. Block diagrams and the extension of timelike two-surfaces.
Journal of Mathematical Physics, v. 11, 2280, 1970.
[73] VISSER, M. Lorentzian wormholes: from Einstein to Hawking. New York:
Springer-Verlag, 1996.
[74] BRONNIKOV, K. A.; ELIZALDE, E.; ODINTSOV, S. D.; ZASLAVSKII, O.
B. Horizons versus singularities in spherically symmetric space-times. Physical Review D, v. 78, 064049, 2008.
[75] KERR, R. P.; SCHILD, A. Some algebraically degenerate solutions of
Einsteins gravitational field equations. Proceedings of Symposia in Applied
Mathematics, v. 17, 199, 1965.

REFERNCIAS BIBLIOGRFICAS

131

[76] TAKASHI, T.; MAEDA, H. Spacetime structure of static solutions in GaussBonnet gravity: Neutral case. Physical Review D, v. 71, 124002, 2005.
[77] ALIEV, A. Electromagnetic properties of Kerranti-de Sitter black holes. Physical Review D, v. 75, 084041, 2007.
[78] HAWKING, S.W.; PAGE, D.N. Thermodynamic of black holes in anti-de Sitter space. Communications in Mathematical Physics. 87, 577, 1983.
[79] GODFREY, B. B. Machs Principle, the Kerr Metric, and Black-Hole Physics.
Physical Review D, v. 1, 2721, 1970.
[80] HEMMING, S.; THORLACIUS, L. Thermodynamic of large AdS black holes. Journal of High Energy Physics, v. 11, 086, 2007.
[81] BROWN, J.D.; CREIGHTON, J.; MANN, R.B. Temperature, energy, and heat
cpacity of asymptotically anti-de Sitter black holes. Physical Review D, v. 50,
6394, 1994.
[82] ISRAEL, W. Singular hypersurfaces and thin shells in general relativity. Nuovo Cimento B, v.44, n. 1, 1966.
[83] GIBLIN JR., J. T.; MAROLF, D.; GARVEY, R. Spacetime Embedding Diagrams for Spherically Symetric Black Holes. General Relativity and Gravitation, v. 36, n. 1, 83, 2004.