Espacio-Tiempo de Anti de Sitter

Andrés Pinto
1

Paris Physics Master

Université de Paris - Sorbonne Université
29 de marzo de 2020

1. Convenciones y Notación

La dimensión del espacio-tiempo se denota por D y consideramos letras griegas para índices
espacio-temporales µ, ν, ... = 0, 1, ..., D − 1. Mientras que letras latinas para índices espaciales i, j, ... =
1, 2, ..., D − 1. La métrica del espacio-tiempo se denota por gµν y la métrica de Minkowsi por ηµν .
Además, consideramos signatura (−, +, +, ..., +) y el sistema de unidades donde c = 1. En caso de
buscar una mayor rigurosidad y análisis, se recomienda revisar las referencias proporcionadas al nal.

2. Deducción de la Métrica

En la presenta sección buscamos la solución más general posible a las ecuaciones de vacío de
Einstein que verique lo siguiente: Debe ser maximalmente simétrica, es decir que la dimensión del
espacio vectorial del grupo de isometrías (vectores de Killing) sea D(D + 1)/2. Se exige que la métrica
sea estacionaria y estática. Las dos condiciones mencionadas se pueden denir estricamente como: Un
espacio-tiempo se dice estacionario si existe un grupo uniparamétrico de isometrías, φt , cuyas curvas
sean de tipo tiempo tal que representan una simetría temporal traslacional, o equivalentemente, un
espacio-tiempo estacionario es aquel que posee un vector de Killing de tipo tiempo, ξ µ . Por otra parte,
un espacio-tiempo se dice estático, si es estacionario y adicionalmente existe una hipersupercie de
tipo espacio, Σ, que es ortogonal a las curvas temporales del grupo de isometrías (gura 1), lo cual se
resume en Lξ gµν = 0, donde Lξ es la derivada de Lie con respecto al campo ξ [1].

∅t

∅t

Figura 1: Esquema de un espacio-tiempo estático: Las curvas temporales (rojas, grupo de isometría)
son ortogonales a la hipersupercie espacial Σ.

Esto tiene una gran implicación, ya que el elemento de línea no posee términos cruzados entre tiempo
y espacio del tipo dtdxi . Por tanto, el elemento de línea general del tipo,

D−1
X
ds2 = fµν (xµ , xν )dxµ dxν , (1)
µ,ν=0

1
andrsp1@hotmail.com

1
con fµν funciones de todas las coordenadas, puede reducirse al siguiente caso,

D−1
X
2 i 0
ds = f00 (x )dx dx0 + fij (xi , xj )dxi dxj . (2)
i,j=1

donde las funciones sólo dependen del espacio.

Aún más, exigiremos que el espacio-tiempo sea esféricamente simétrico. Rigurosamente, se dice
esféricamente simétrico si el grupo de isometrías contiene un subgrupo isomorfo al grupo especial
ortogonal (D − 1)−dimensional, SO(D − 1) y las curvas de este grupo son (D − 2)−esferas [1]. Por
tanto, la métrica es invariante bajo rotaciones y ésta induce una métrica proporcional al elemento de
línea de la (D − 2)−esfera, S D−2 . Grácamente puede entenderse que la parte espacial se divide en
sub-esferas (gure 2).

Σ (D-1)

S D-2

Figura 2: Esquema de un espacio-tiempo (D − 1)−dimensional con simetría esférica.

En D = 3 (R3 ), la métrica de la 2−esfera de radio unidad es,

dΩ22 = dθ2 + sin2 θdϕ2 (3)

mientras que en (D − 1)−dimensiones, tenemos,

dΩ2D−2 = dθ12 + sin2 θ1 dθ22 + sin2 θ2 dθ32 + sin2 θ3 × ... × dθD−3

2
+ sin2 θD−3 dθD−2
2




, (4)

donde la base es {θ1 , θ2 , ..., θD−2 }. Por simplicidad notaremos al elemento de línea por dΩD−2 . Cabe
resaltar que en el espacio euclideano usual, r, representa el radio de la esfera desde el origen, mientras
que en espacios-tiempo curvados, una esfera no necesita un centro. Ejemplo, la variedad puede ser R×
S D−2 y no RD−1 . Con esto en mente diremos que, r, es la coordenada radial pero que no necesariamente
representa el radio de una esfera. Considerando la simetría esférica, el elemento de línea se reduce a la
forma:
ds2 = −f (r)dt2 + h(r)dr2 + r2 dΩ2D−2 , (5)

donde r ∈ [0, ∞[ y t ∈] − ∞, ∞[. Ahora, la física del problema cambia si se introduce la constante
cosmológica o no. En particular, nos interesa hallar la solución de vacío más general posible que sea
estática, maximalmente simétrica con simetría esférica y constante cosmológica no nula
Λ, que satisfaga,
1
Rαβ − gαβ R + gαβ Λ = 0. (6)
2
donde Rαβ y R son el tensor de Ricci y la curvatura escalar, respectivamente. A partir de ahora,
tomamos D = 4 tal que:

{xµ } = {x0 , x1 , x2 , x3 } = {t, r, θ, ϕ}, r 2 = x2 + y 2 + z 2 , θ ∈ [0, π], ϕ ∈ [0, 2π[. (7)

Considerando la métrica en cuestión, los simbolos de Christoel vienen dados por,

1
Γαβγ = g αδ (∂γ gβδ + ∂β gδγ − ∂δ gβγ ) . (8)
2

2
Para la componente temporal, α = 0, tenemos,

1
Γ0βγ = g 00 (∂γ gβ0 + ∂β gγ0 ) ,
2
donde el último término es nulo ya que la métrica no depende del tiempo. Ahora, si β = γ, se sigue,

Γ0ββ = g 00 ∂β gβ0 ⇒ Γ0ββ = 0 ,

ya que ∂β gβ0 = 0 para todo valor de β . Es decir, que todos los elementos de la diagonal de Γ0αβ son
nulos. 6 γ y además índices espaciales, se tiene,
Ahora, si β =

1
Γ0ij = g 00 (∂j gi0 + ∂i gj0 ) = 0 ⇒ Γ0ij = 0 ,
2
ya que no existen términos cruzados en la métrica, esta es nula para toda la parte espacial. Sólo nos
interesa la parte temporal. Consideremos β 6= γ , tal que los únicos términos que no se anulan son
cuando β=0 o γ = 0, es decir
1
Γ0β0 = g 00 ∂β g00 6= 0 ⇔ β = 1.
2
Por tanto, los símbolos del tipo Γ0αβ poseen únicamente dos componentes no nulas dadas por,

1
Γ010 = Γ001 = ∂1 f (r) (9)
2f (r)

Ahora nos encargamos de la componente radial, es decir,

1
Γ1βγ = g 11 (∂γ gβ1 + ∂β g1γ − ∂1 gβγ ) .
2
tomando β 6= γ , se tiene la expresión,

1
Γ1βγ = g 11 (∂γ gβ1 + ∂β g1γ ) ,
2
Nótese que si β=0 o γ=0 la expresión siempre se anula, es decir,

Γ10µ = 0 µ 6= 0.

Ahora consideramos, β, γ , índices espaciales tal que,

1
Γ1ij = g 11 (∂j gi1 + ∂i g1j ) ,
2
que claramente se anulan para i, j = 2, 3 ya que no hay términos cruzados de ningún tipo en la métrica.
Si i=1 o j=1 tenemos,
1
Γ1i1 = g 11 ∂1 gi1 ,
2
que se anula para todo i 6= 1. Es decir, que exceptuando la diagonal, todos los términos espaciales son
cero. Ésto se resume,

Γ1µν = Γ1νµ = 0 µ 6= ν (10)

Ahora nos enfocamos en la diagonal. Es decir, β = γ, tal que,

1
Γ1µµ = g 11 (2∂µ g1µ − ∂1 gµµ ) .
2

3
Si µ = 0, 1, 2, 3, tenemos los símbolos no nulos para Γ1µν ,

1 1
Γ100 = − g 11 ∂1 g00 = ∂1 f (r),
2 2h(r)
1 1
Γ111 = g 11 ∂1 g11 = ∂1 h(r),
2 2h(r)
(11)
1 1 r
Γ122 = − g 11 ∂1 g22 = − ∂1 r 2 = − ,
2 2h(r) h(r)
1 1 r sin2 θ
Γ111 = − g 11 ∂1 g33 = − ∂1 (r2 sin2 θ) = − .
2 2h(r) h(r)

Para las componentes angulares, es necesario enfatizar que los símbolos de Christoel son los
ya conocidos símbolos para la 2−esfera que pueden consultarse en cualquier referencia de geometría
diferencial, métodos matemáticos, etc. Por lo tanto sólo se añadirán. Así, los resultados se resumen a
continuación:

 
 1 ∂f
 1 ∂f
0 0 0 2h(r) ∂r 0 0 0
2f (r) ∂r
1 ∂h
1 ∂f 0 0 0
 
0 0 0
 
2h(r) ∂r
Γ0µν Γ1µν
 
= 2f (r) ∂r , = ,
 
r
 0 0 0 0  
 0 0 − h(r) 0 

2
0 0 0 0 0 0 0 − r h(r)
sin θ
 
0 0 0 0 
0 0 0 0

 0 0 1/r 0  0 0 0 1/r 
Γ2µν

=
 0 1/r 0
,
Γ3µν = .
0   0 0 0 cot θ 
0 0 0 − sin θ cos θ 0 1/r cot θ 0

Ahora, para resolver el problema es necesario hallar el tensor de Ricci y la curvatura escalar. En
principio existen muchas componentes pero nos enfocamos en las diagonales ya que nos permiten hallar
la curvatura escalar. Así, la forma general del tensor es,

ρ
Rσν = Rσρν = ∂ρ Γρσν − ∂ν Γρρσ + Γρρλ Γλσν − Γρνλ Γλρσ . (12)

Para la componente σ=ν=0 tenemos,

R00 = ∂ρ Γρ00 − ∂0 Γρρ0 + Γρρλ Γλ00 − Γρ0λ Γλρ0 .

donde cada término viene dado por,

f 0 h0 f 00
∂ρ Γρ00 = ∂1 Γ100 = − + .
2h2 2h
∂0 Γρρ0 = 0.
f0 f 02 f 0 h0
Γρρλ Γλ00 = Γ001 Γ100 + Γ111 Γ100 + Γ221 Γ100 + Γ331 Γ100 = + + 2.
rh 4hf 4h
f 02
Γρ0λ Γλρ0 = Γ100 Γ010 + Γ101 Γ100 = .
2hf
tal que,

f 0 h0 f 00 f0 f 02 f 0 h0 f 02 h0 f 0 f0 f 02 f 00
R00 = − + + + + − ⇒ R00 = − + − + . (13)
2h2 2h rh 4hf 4h2 2hf 4h2 hr 4hf 2h

Considerando σ=ν=1 tenemos,

R11 = ∂ρ Γρ11 − ∂1 Γρρ1 + Γρρλ Γλ11 − Γρ1λ Γλρ1 .

4
donde cada término viene dado por,

h02 h00
∂ρ Γρ11 = ∂1 Γ111 = − + .
2h2 2h
f 02 f 00 h02 h00 2
∂1 Γρρ1 = ∂1 Γ001 + ∂1 Γ111 = − 2 + − 2+ − 2.
2f 2f 2h 2h r
 0
h0 2 h0

f
Γρρλ Γλ11 = Γ001 + Γ111 + Γ221 + Γ331 Γ111 =


+ + .
2f 2h r 2h
2 f 02 h02
Γρ1λ Γλρ1 = Γ010 Γ001 + Γ111 Γ111 + Γ212 Γ221 + Γ313 Γ331 = 2 + 2 + 2 .
r 4f 4h
por tanto,

h02 h00 f 02 f 00 h02 h00 2 f 0 h0 h02 h0 2 f 02 h02

R11 = − + + − + − + + + + − − − .
2h2 2h 2f 2 2f 2h2 2h r2 4hf 4h2 rh r2 4f 2 4h2
2 (14)
f0 h0 h0 f 0 f 00
R11 = 2+ + −
4f rh 4hf 2f

Considerando σ=ν=2 tenemos,

R22 = ∂ρ Γρ22 − ∂2 Γρρ2 + Γρρλ Γλ22 − Γρ2λ Γλρ2 .

donde cada término viene dado por,

1 rh0
∂ρ Γρ22 = ∂1 Γ122 = − + 2.
h h
∂2 Γρρ2 = ∂2 Γ332 = ∂2 cot θ = − csc2 θ.
2 rf 0 rh0
Γρρλ Γλ22 = Γ001 + Γ111 + Γ221 + Γ331 Γ122 = − −


− 2.
h 2hf 2h
2
Γρ2λ Γλρ2 = Γ221 Γ122 + Γ122 Γ212 + Γ323 Γ332 = cot2 θ − .
h
por tanto,

1 rh0 2 rf 0 rh0 2
R22 = − + 2 + csc2 θ − − − 2 − cot2 θ + ,
h h h 2hf 2h h
1 rh 0 rf 0
R22 = |csc2 θ {z
− cot2 θ} − + 2 − ,
h 2h 2hf (15)
=1

1 rh0 rf 0
R22 = 1 − + 2− .
h 2h 2hf

Finalmente, tomemos σ=ν=3 tal que,

R33 = ∂ρ Γρ33 − ∂3 Γρρ3 + Γρρλ Γλ33 − Γρ3λ Γλρ3 .

donde cada término viene dado por,

sin2 θ rh0 sin2 θ

∂ρ Γρ33 = ∂1 Γ133 = sin2 θ − cos2 θ − + .
h h2
∂3 Γρρ3 = 0.
rf 0 sin2 θ rh0 sin2 θ 2 sin2 θ
Γρρλ Γλ33 = Γ001 + Γ111 + Γ221 + Γ331 Γ133 + Γ332 Γ233 = − cos2 θ −


− − .
2hf 2h2 h
2 sin2 θ
Γρ3λ Γλρ3 = Γ331 Γ133 + Γ332 Γ233 + Γ133 Γ313 + Γ233 Γ323 = − − 2 cos2 θ.
h

5
por tanto,

sin2 θ rh0 sin2 θ rf 0 sin2 θ

R33 = sin2 θ − cos2 θ − + − cos 2
θ − − ...
h h2 2hf
rh0 sin2 θ 2 sin2 θ 2 sin2 θ
... − − + + 2 cos2 θ, (16)
2h2 h h
rf 0 rh0
 
2 1
R33 = sin θ 1 − − + 2 .
h 2hf 2h

Resumiendo, las componentes diagonales del tensor de Ricci son,

h0 f 0 f0 f 02 f 00
R00 = − + − + .
4h2 hr 4hf 2h
2
f0 h0 h0 f 0 f 00
R11 = 2+ + − .
4f rh 4hf 2f
(17)
1 rh0 rf 0
R22 =1− + 2 − .
h 2h 2hf
rf 0 rh0
 
2 1
R33 = sin θ 1 − − + 2 .
h 2hf 2h

Así, el escalar puede obtenerse mediante,

R = g αβ Rαβ = g 00 R00 + g 11 R11 + g 22 R22 + g 33 R33 ,

1 1 1 1
R = − R00 + R11 + 2 R22 + 2 2 R33 ,
f h r r sin θ
h0 f 0 f0 f 02 f 00 f 02 h0 h0 f 0 f 00
R= 2 − + − + + + − + ...
4h f rhf 4hf 2 2hf 4hf rh2 4h2 f 2hf
1 1 h0 f0 1 1 f0 h0
... + 2 − 2 + 2 − + 2− 2 − + ,
r r h 2h r 2hf r r r h 2hf r 2rh2
2 2 2f 0 f 02 2h0 h0 f 0 f 00
R= 2 − 2 − + + + − .
r r h rhf 2hf 2 rh2 2h2 f hf
Finalmente, la curvatura escalar corresponde a,

2 2 2f 0 f 02 2h0 h0 f 0 f 00
R= − − + + + − . (18)
r2 r2 h rhf 2hf 2 rh2 2h2 f hf

Ahora, previo a introducir los elementos encontrados en las ecuaciones de campo, es conveniente ex-
presar Λ en términos de la curvatura escalar. Usando la ec. (6) se sigue,

1 1 R
g αβ Rαβ − g αβ gαβ R + g αβ gαβ Λ = 0 ⇒ R − 4R + 4Λ = 0 ⇒ Λ = ,
2 2 4
tal que las ecuaciones de campo se escriben como,

1 1 1 1
Rαβ − gαβ R + gαβ Λ ⇒ Rαβ − gαβ R + gαβ R ⇒ Rαβ − gαβ R = 0 . (19)
2 2 4 4

Ahora procedemos a reemplazar los resultados obtenidos. Usando las componentes temporal y radial
del tensor de Ricci, tenemos,

R00 − 14 g00 R = 0

g11
1 ⇒ R11 − R00 = 0. (20)
R11 − 4 g11 R = 0 g00

6
Reemplazando R00 y R11 , se sigue,

2
f0 h0 h0 f 0 f 00
 0 0
f0 f 02 f 00

h hf
2
+ + − + − 2 + − + = 0,
4f rh 4hf 2f f 4h hr 4hf 2h
2
f0 h0 h0 f 0 f 00 h0 f 0 f0 f 02 f 00
+ + − − + − + = 0,
4f 2 rh 4hf 2f 4hf rf 4f 2 2f
h0 f0
+ = 0.
rh rf
donde se ha obtenido la ecuación,

h0 f 0 C
+ = 0 ⇒ − ln h = ln f + cst ⇒ h(r) = .
h f f (r)
√
Para evitar la constante, podemos redenir el tiempo como t → Ct o sin pérdida de generalidad,
basta tomar C = 1. Por tanto, la métrica viene dada por,

1
ds2 = −f (r)dt2 + dr2 + r2 dΩ22 . (21)
f (r)
Con esta consideración, R00 se reduce a,

h0 f 0 f0 f 02 f 00
R00 = − + − + ,
4h2 hr 4hf 2h
f 2f 0 f f 0 f 02 f f 00
 
1
=− ∂1 + − + , (22)
4 f r 4 2
f 02 f f 0 f 02 f f 00
 0
f 00

f
= + − + ⇒ R00 = f + .
4 r 4 2 r 2
mientras que la curvatura escalar,

2 2 2f 0 f 02 2h0 h0 f 0 f 00
R= − − + + + − ,
r2 r2 h rhf 2hf 2 rh2 2h2 f hf
2f 0 f 02 2f 2 ff0
   
2 2f 1 1
= 2− 2 − + + ∂1 + ∂1 − f 00 ,
r r r 2f r f 2 f
2 2f 2f 0 f 02 2f 0 f 02 00 2 4f 0
= − − + − − − f ⇒ R = (1 − f ) − − f 00 .
r2 r2 r 2f r 2f r2 r

Resumiendo, se tiene R00 y R como,

f 0 f 00
 
R00 = f + ,
r 2
(23)
2 4f 0
R = 2 (1 − f ) − − f 00 .
r r

Ahora, podemos resolver la ecuación de Einstein para α = β = 0 y hallar una ecuación diferencial para
f (r), esto es,

1
R00 − g00 R = 0,
 0 4
f 00 4f 0
  
f f 2 00
f + + (1 − f ) − − f = 0,
r 2 4 r2 r
f f 0 f f 00 f f f 0 f f 00
+ + 2 (1 − f ) − − = 0,
r 2 2r  r 4
2
f f 00 + 2 (1 − f ) = 0.
r

7
Para no tener una solución trivial, exigimos que el corchete sea nulo y por tanto debemos solucionar
la siguiente ecuación diferencial,
∂ 2 f (r) 2 2
2
− 2 f (r) + 2 = 0. (24)
∂r r r
Para simplicar el problema se toma
t
el cambio de variable r = e , tal que dr = et dt y así las derivadas
vienen dadas por,

∂ ∂
= e−t ,
∂r ∂t
∂2
 2 
−2t ∂ ∂
=e − ,
∂r2 ∂t2 ∂t
Reemplazando,

∂ 2 f (r) ∂2f
 
2 2 ∂f
2
− 2 f (r) + 2 = 0 ⇒ e−2t 2
− − 2e−2t f + e−2t 2 = 0, (25)
∂r r r ∂t ∂t

el problema a resolver (a coecientes constantes) es del tipo,

∂ 2 f (t) ∂f (t)
− − 2f (t) = −2. (26)
∂t2 ∂t
Por ser a coecientes constantes, buscamos primero la solución homogénea, h(t), mediante el polinomio
característico,
∂ 2 h(t) ∂h(t)

2
− − 2h(t) = 0 ⇒ λ2 − λ − 2 = 0 ⇔ λ = . (27)
∂t2 ∂t −1
por tanto, h(t) es de la forma,
h(t) = Ae2t + Be−t . (28)

Para hallar la solución general, asumimos una f del tipo f (t) = h(t) + C , tal que verique (26),
entonces,
∂2f ∂f ∂ 2 h ∂h
− − 2f = −2 ⇒ − − 2h −2C = −2 ⇔ C = 1.
∂t2 ∂t |∂t
2 ∂t
{z }
=0
Así, la solución general para f viene dada por,

t=ln r
2 B
f (t) = Ae2t + Be−t + 1 ⇒ f (r) = Aeln r + Beln(1/r) + 1 ⇒ f (r) = Ar2 + + 1.
z}|{
r
Ya que, r = 0, es un punto interior del dominio, debemos exigir B = 0 para evitar divergencias.
Además, elegimos la constante A= 1/L2 donde L es otra constante. Así, el resultado más general al
problema viene dado por el elemento de línea,

r2
 
1
ds2AdS4 = − 1 + 2 dt2 + r2
dr2 + r2 dΩ22 . (29)
L 1 + L2

El elemento de línea (29) se conoce como el espacio-tiempo de Anti de Sitter en coordenadas globales
{t, r, θ, ϕ} que además es invariante bajo SO(1, D − 1). Aún más, con la forma de f , el escalar de Ricci
viene dado por,

4f 0 r2
   
2 2 4 2r 2 −12 12
R = 2 (1 − f ) − − f 00 = 2 1−1− 2 − 2
− 2 = 2 ⇒ R=− 2 . (30)
r r r L r L L L L

Mientras que la constante cosmológica es,

R 3 3
Λ= =− 2 ⇒ Λ=− 2 . (31)
4 L L

8
Por tanto, AdS es un espacio-tiempo de curvatura escalar y constante cosmológica negativas. Cabe
resaltar que la expresión (29) es perfectamente generalizable a D−dimensiones, y esta viene dada por,

r2
 
1
ds2AdSD = − 1 + 2 dt2 + r2
dr2 + r2 dΩ2D−2 . (32)
L 1 + L2

donde el cambio se da en el espacio ambiente inducido por la

PD−1 (D − 2)−esfera y ahora r2 = (x1 )2 +
(x2 )2 + ... + (xD−1 )2 = i 2
i=1 (x ) es el radio de la hyperesfera. Además, la curvatura escalar y la
constante cosmológica vienen dadas por,

D(D − 1) (D − 1)(D − 2)
R=− , Λ=− . (33)
L2 2L2
Cabe resaltar que las coordendadas aquí utilizadas se conocen como coordenadas globables ya que
cubren todo el espacio de Anti de Sitter.

3. El Espacio Hiperbólico

El espacio-tiempo AdSD es conocido por ser un espacio-tiempo hiperbólico con dos componentes
temporales. Para demostrar ello, primero consideremos R3 en coordenadas esféricas. Así, el elemento
de línea es,

dx2 + dy 2 + dz 2 = dr2 + r2 (dθ2 + sin2 θdφ2 ) ⇒ dx2 + dy 2 + dz 2 = dr2 + r2 dΩ22 . (34)

En RD−1 se tiene algo similar,

dxi dxi = (dx1 )2 + (dx2 )2 + ...(dxD−1 )2 = dr2 + r2 dΩ2D−2 . (35)

A partir de las expresiones descritas, se tiene la siguiente relación,

r2 dΩ2D−2 = dxi dxi − dr2 (36)

Introduciendo esta última en el elemento de línea (32), se sigue,

r2
 
1
ds2AdSD = − 1 + 2 dt2 + r2
dr2 + r2 dΩ2D−2 ,
L 1 + L2
2
 
r 1
= − 1 + 2 dt2 + 2 2
2 dr − dr + dx dxi ,
i
L 1 + Lr 2
!
r2
 
1
= − 1 + 2 dt2 + 2 − 1 dr2 + dxi dxi ,
L 1 + Lr 2
r2 r2
 
= − 1 + 2 dt2 − 2 dr2 + dxi dxi ,
L L + r2
p 2  dt 2  r
2
=− 2
L +r 2 − √ dr2 + dxi dxi ,
L L2 + r2
Ahora introducimos la siguiente identidad,

   
2t 2 t
cos + sin = 1.
L L

9
Por tanto,

2       2
p t t dt
ds2AdSD =− L2 + r2 cos 2
+ sin 2
− ...
L L L
 2     
r t t
... − √ cos2 + sin2 dr2 + dxi dxi ,
2
L +r 2 L L
(   2    2 )
p t dt r t
=− L2 + r2 cos + √ sin dr − ...
L L 2
L +r 2 L
(   2    2 )
p t dt r t
... − L2 + r2 sin + √ cos dr + dxi dxi .
L L 2
L +r 2 L
Ahora, procedemos a añadir el siguiente cero,
p       p      
2 2
t dt r t 2 2
t dt r t
2 L + r sin √ cos dr −2 L + r cos √ sin dr = 0.
L L 2
L +r 2 L L L 2
L +r 2 L
tal que la métrica toma la forma,
(   2    2
p t dt r t
ds2AdSD =− 2 2
L + r cos + √ sin dr + ...
L L L2 + r2 L
p      
2 2
t dt r t
+..,2 L + r cos √ sin dr − ...
L L 2
L +r 2 L
(   2    2
p
2 2
t dt r t
... − L + r sin + √ cos dr − ...
L L 2
L +r 2 L
p      
t dt r t
... − 2 L2 + r2 sin √ cos dr + dxi dxi .
L L 2
L +r 2 L
que se puede simplicar considerando el binomio,
p     2
t dt r t
ds2AdSD =− 2 2
L + r cos +√ sin dr − ...
L L 2
L +r 2 L
     2
r t p t dt
... − √ cos 2 2
dr − L + r sin + dxi dxi .
2
L +r 2 L L L
Además,
       
t t dt t t dt p  r
d sin = cos , d cos = − sin , d L2 + r2 = √ dr.
L L L L L L L + r2
2

Reemplazando, se sigue,
p    2
t p  t
ds2AdSD =− 2 2
L + r d sin +d 2 2
L + r sin − ...
L L
 p   p  2
 t t
... − d 2 2
L + r cos 2 2
+ L + r d cos + dxi dxi ,
L L
tomando en cuenta la regla del producto para las derivadas,
 p 2  p 2
t t
ds2AdSD =− d L2 + r2 sin − d L2 + r2 cos + dxi dxi .
L L
Ahora, denimos las siguientes coordenadas,

p t
Z0 = L2 + r2 sin ,
L
p t (37)
Z D = L2 + r2 cos ,
L
Z i = xi .

10
 PD−1
donde i = 1, 2, ..., D − 1 y i=1 (Z i )2 = r2 . Así, la métrica se escribe como,

D−1
X
ds2AdSD+1 = −(dZ 0 )2 − (dZ D )2 + (dZ i )2 . (38)
i=1

Nótese que la métrica AdSD es la métrica inducida de un espacio hiperbólico con constante cosmológica
negativa de (D + 1)−dimensiones donde 2 coordenadas son temporales. Además este espacio-tiempo
verica,
D−1
X
(Z 0 )2 + (Z D )2 − (Z i )2 = L2 . (39)
i=1

La ecuación (39) describe un espacio-tiempo invariante bajo SO(2, D − 1) que corresponde al grupo de
isometrías del hiperboloide cuya apertura (escala de AdS ) está regulada por el valor de L. En D = 4,
el espacio-tiempo AdS4 es generado por un espacio ambiente de 5 dimensiones.

4. Otras Coordenadas Globales

Un cambio de coordenadas que cubre completamente el espacio-tiempo AdS viene dado por el
cambio de variable,

r dr
= sinh ρ ⇒ = cosh ρ dρ,
L L
donde ρ ∈ [0, ∞[. Además,

r2 dr2
cosh2 ρ − sinh2 ρ = 1 ⇒ 1+ = cosh2 ρ, r2
= L2 dρ2 .
L2 1+ L2

Así, el elemento de línea (32), se escribe de la forma,

ds2AdSD = − cosh2 ρ dt2 + L2 dρ2 + sinh2 ρ dΩ2D−2 ,

(40)

5. Coordenadas de Poincaré

Las coordenadas de Poincaré o parche de Poincaré, son un conjunto de coordenadas que a diferencia
de las ya mostradas, éstas no cubren enteramente el espacio de Anti de Sitter, solamente una porción.
Vienen dadas por,

L2 − t2 + ~x2
 
D z
Z = 1+ ,
2 z2
L2 + t2 − ~x2
 
D−1 z (41)
Z = 1− ,
2 z2
L
Z µ = xµ . µ = 0, 1, ..., D − 2.
z
donde {~x} = {x1 , x2 , ..., xD−2 } son coordenadas transversales a la coordenada z = xD−1 , y verican
D−2 i 2 2
~x2
P
= i=1 (x ) . Para hallar el elemento de línea (38) en las coordenadas (41), es conveniente
reescribirlo como,

D−1
X
ds2AdSD+1 = −(dZ 0 )2 − (dZ D )2 + (dZ i )2 ,
i=1
(42)
D−2
X
= −(dZ D )2 + (dZ D−1 )2 − (dZ 0 )2 + (dZ i )2 ,
i=1
2
En D=4 tenemos x = {x, y}
~ mientras que z = z, tal que x 2 = x2 + y 2
~

11
donde simplemente hemos sacado el término (D − 1) de la suma. Ahora procedemos a hallar los
diferenciales,

L µ L
dZ µ = − 2
x dz + dxµ ,
z z
L 2 L2 L2
(dZ µ )2 = 4 (xµ )2 dz 2 + 2 (dxµ )2 − 2 3 xµ dzdxµ .
z z z
Nótese que,

D−2 D−2 D−2 D−2

X L2 2 X i 2 L2 X L2 X i i
(dZ i )2 = dz (x ) + (dx i 2
) −2 dz x dx ,
z4 z2 z3
i=1 i=1 i=1 i=1
| {z } | {z } | {z }
=1 x2
=d~ x·d~
=~ x
L2 L2 L2
= ~x2 dz 2 + d~x2 − 2 (~x · d~x)dz.
z4 z2 z3
añadiendo la componente temporal, tenemos,

D−2
X L2 2 2 L2 2 L2 L2 2 2 L2 2 L2
−(dZ 0 )2 + (dZ i )2 = − t dz − dt + 2 t dz dt + ~
x dz + d~
x − 2 (~x · d~x)dz,
z4 z2 z3 z4 z2 z3
i=1
L2 2 2

2 L2 2 2

L2
= −t + ~
x dz + −dt + d~
x − 2 dz (−t dt + ~x · d~x) .
z4 z2 z3
Por tanto, tenemos hasta ahora,

D−2
0 2
X L2
2 L2 L2
(dZ i )2 = 2 2 2 2


−(dZ ) + −t + ~
x dz + −dt + d~
x − 2 dz (−t dt + ~x · d~x) . (43)
z4 z2 z3
i=1

Para calcular los términos restantes del elemento de línea (42), es conveniente calcular primero las
siguientes expresiones,

L2 − t2 + ~x2 L2 + t2 − ~x2
   
D D−1 z z
Z −Z = 1+ − 1− ,
2 z2 2 z2
L2 − t2 + ~x2 L2 + t2 − ~x2 L2 L2
= + = ⇒ Z D − Z D−1 =
2z 2z z z
por otra parte,

L2 − t2 + ~x2 L2 + t2 − ~x2
   
z z
Z D + Z D−1 = 1+ + 1 − ,
2 z2 2 z2
L2 − t2 + ~x2 L2 + t2 − ~x2
=z+ − ,
2z 2z
−t2 + ~x2 −t2 + ~x2
=z+ ⇒ Z D + Z D−1 = z +
z z
Tomando los diferenciales, se sigue,

L2
dZ D − dZ D−1 = − dz,
z2  2
−t + ~x2

−t dt + ~x · d~x
dZ D + dZ D−1 =2 − − 1 dz.
z z2
Ahora podemos calcular el producto, para obtener,

−(dZ D )2 + (dZ D−1 )2 = (dZ D−1 − dZ D )(dZ D−1 + dZ D ),

L2
 2
−t + ~x2
  
−t dt + ~x · d~x
= 2 dz 2 − − 1 dz ,
z z z2
L2 L2 L2
= 2 3 dz(−t dt + ~x · d~x) − 4 −t2 + ~x2 dz 2 + 2 dz 2 .


z z z

12
Con los resultados calculados, se sigue que el elemento de línea viene dado por,

D−2
X L2 L2
− (dZ D )2 + (dZ D−1 )2 − (dZ 0 )2 + (dZ i )2 = 2 dz(−t dt + ~x · d~x) − 4 −t2 + ~x2 dz 2 + ...


z 3 z
i=1
L2 L2 L2 L2
... + 2 dz 2 + 4 −t2 + ~x2 dz 2 + 2 −dt2 + d~x2 − 2 3 dz (−t dt + ~x · d~x) ,



z z z z
L2 2 L2 L 2
= 2 dz + 2 −dt2 + d~x2 = 2 dz 2 − dt2 + d~x2 .



z z z
Así, la métrica de AdS en coordenadas de Poincaré es de la forma,

L2
ds2AdSD = dz 2 − dt2 + d~x2 ,


(44)
z 2

donde es necesario recordar que d~x2 corresponde a la suma de los diferenciales de (D − 2)−coordenadas
transversales a z . Nótese que los dos últimos términos de (44) corresponden a la métrica de un espacio
plano de (D − 1)−dimensiones. Así, elemento de línea se puede reescribir como,

L2
ds2AdSD = dz 2 + ηµν dxµ dxν ,


(45)
z 2

siendo ηµν la métrica del espacio de Minkowski con (D − 1)−dimensiones. Además, el elemento de línea
(45) permanece invariante bajo los cambios,

t → kt, z → kz, xi → kxi , k > 0. (46)

Como caso particular, si D = 4, tenemos {~x} = {x, y} con elemento de línea,

L2
ds2AdS4 = (−dt2 + dx2 + dy 2 + dz 2 ) (47)
z2
Ya que z = 0 es un punto excluido del elemento de línea (45), AdS queda divido en tres regiones como
se muestra en el diagrama de Penrose (gura 3). La región z > 0 se denomina el parche de Poincaré.

Figura 3: Diagrama de Penrose para el espacio AdS tomado de [2]. Tipo espacio (t = const) y tipo
tiempo (z = const). Cada región está determinada por el signo de z y separadas por horizontes de
Cauchy (líneas punteadas). El parche de Poincaré corresponde a la región para z > 0.

13
6. La Frontera de AdS

La mayor parte de este análisis ha sido basado en el tutorial de Javier García, de su

curso Curso de Relatividad General que puede consultarse en la referencia [3].
El espacio-tiempo AdS posee un sin número de curiosidades y el objetivo de la presente sección es
estudiarlas. Comencemos por analizar el movimiento de la luz y las partículas materiales en geodésicas
dentro de AdS , haciendo uso de las coordenadas globales en el elemento de línea (40).

ds2AdSD = − cosh2 ρ dt2 + L2 dρ2 + sinh2 ρ dΩ2D−2 .

(48)

Por tratarse de la luz, se cumple ds = 0 tal que,

2 2 !2
cosh2 ρ dΩ2D−2
 
dt dρ
= + sinh2 ρ .
L2 dλ dλ dλ

siendo λ 3
un parámetro . Ahora, podemos considerar el vector momento D−dimensional de la luz,
dx0
k = =k µ eµ (k 0 , ~k). Donde k0 = dλ es la componente temporal y
~k las componentes espaciales de
(D − 1)−elementos4 . Además, el elemento de línea (48) posee el killing temporal,

ξ~ = ~e0 .

Ya que la métrica es estacionaria. Así, la energía del fotón E, puede obtenerse de la forma,

dt E
k · ξ~ = −E ⇒ k µ e~µ · e~0 = k µ gµ0 = k 0 g00 = −E ⇒ = .
dλ cosh2 ρ

Además, por tratarse de vectores nulos, se cumple k · k = 0, es decir,

2 2 2 D−1 2
dxi dxj dxi
   
dt dt dρ X
k · k = 0 ⇔ 0 = g00 + gij ⇒ cosh2 ρ =L 2
+ gii .
dλ dλ dλ dλ dλ dλ
i=2

Nótese que el problema a resolver consiste en hallar D funciones en términos de λ para luego conectarlas
a todas. Ya que el espacio AdS es esféricamente simétrico, podemos analizar el problema de forma radial
sin perder generalidad. Ya que, todas las direcciones son equivalentes desde este punto de vista. Así,
las ecuaciones a resolver, vienen dadas por,

dt E

 = ,
dλ cosh2 ρ dρ E E

⇒ =± ⇒ sinh ρ = ± λ + λ0
 dρ cosh ρ dt dλ L cosh ρ L

 =± ,
dλ L dλ
Considerando la identidad cosh2 ρ − sinh2 ρ = 1, obtenemos,

E 2
 
2
cosh ρ = 1 + λ0 ± λ .
L

Para el tiempo, se sigue,

Z Z
dt E E E
= 2 =
2 ⇒ dt = dλ
2 .
dλ cosh ρ 1 + λ0 ± E
1 + λ0 ± E
Lλ Lλ
3
Cuando se estudia partículas materiales, el parámetro es el tiempo propio τ pero en este caso para la luz no se tiene

dicho concepto y se parametriza de forma genérica.

4
 
dx1 dx2~k = dx D−1
~k = dr dθ dφ


En estas coordenadas tenemos
dλ
, dλ
, ..., dλ
. En D=4 con simetría esférica , ,
dλ dλ dλ
.

14
 E
Para integrar tomamos el cambio de variable u = λ0 ± Lλ → du = ± E
L dλ, tal que,

Z
du
t = ±L = ±L arctan u,
1 + u2
 
E
t − t0 = ±L arctan λ0 ± λ ,
L
 
E
t − t0 = L arctan λ ± λ0 ,
L
donde t0 es una constante de integración y hemos usado el hecho que la función tangente es impar.
Así, obtenemos,
 
E t − t0
λ ± λ0 = tan . (49)
L L
Consideremos la condición inicial ρ(t = 0) = 0, entonces,

E
λ0 ± λ = 0,

    
L   ⇒ ∓λ0 ± λ0 = tan − t0 ⇒ tan t0 = 0 ⇔ t0 = 0 .
E t0 L L
 λ ± λ0 = tan −


L L

Análogamente, exigimos ρ(λ = 0) = 0 implicando λ0 = 0. Finalmente, considerando que ρ ∈ [0, ∞[,

las ecuaciones se reducen a,

E

 sinh ρ = λ,  

L t
  ⇒ sinh ρ = tan . (50)
t E L
tan = λ


L L
Ahora, con la ecuación del movimiento del fotón, es de interés saber el tiempo que le toma a este
alcanzar el innito, es decir cuando ρ → ∞.
∞
" #
π X (−1)n −(2n+1)
lı́m t(ρ) = L lı́m arctan (sinh ρ) = L lı́m − (sinh ρ) ,
ρ→∞ ρ→∞ ρ→∞ 2 2n + 1
n=0
∞ ∞ 2n+1
(−1)n (−1)n

π X 1 π X 2
= L − L lı́m = L − L lı́m ,
2 ρ→∞ 2n + 1 (sinh ρ)2n+1 2 ρ→∞ 2n + 1 eρ − e−ρ
n=0 n=0
∞ 2n+1
(−1)n

π X 2 π π
= L−L lı́m ρ −ρ
= L ⇒ lı́m t(ρ) = L .
2 2n + 1 ρ→∞ e −e 2 ρ→∞ 2
n=0 | {z }
=0

donde hemos utilizado la serie del arctan(x) de la forma,

∞
π X (−1)n −(2n+1)
arctan x = − x , |x| > 1.
2 2n + 1
n=0

Así, hemos obtenido que el tiempo necesario para que un fotón alcance el innito es t(ρ → ∞) = Lπ/2.
Es decir, un observador que envía un fotón al innito, puede recibirlo nuevamente en un incremento de
tiempo ∆t = πL. Análogamente, un evento el innito puede inuenciar a un observador en un tiempo
nito. Esto es totalmente diferente a muchos espacios, en donde, para alcanzar el innito se requiere
un tiempo innito.
dt dx 1 D−1
Ahora, estudiamos partículas materiales de masa m y momento P = P µ eµ = ( dτ , dτ , ..., dxdτ )
con τ el tiempo propio. Usando el vector de Killing, tenemos,

dt dt E
P · ξ~ = P µ gµ0 = m g00 = −E ⇒ = .
dτ dτ m cosh2 ρ

15
mientras que del elemento de línea (radialmente) tenemos,

 2  2
dt dρ
−dτ 2 = − cosh2 ρ dt2 + L2 dρ2 ⇒ cosh2 ρ − 1 = L2 .
dτ dτ

Así, debemos resolver,

1/2
E2

dρ 1
=± −1 .
dτ L m2 cosh2 ρ
5
La ecuación diferencial en cuestión no es sencilla de abordar . Sin embargo, su primitiva no es necesaria
para el análisis ya que podemos estudiar los casos límites. Primero, si ρ = 0, tenemos,

s 
E 2

dρ  1
= ± − 1, (51)
dτ ρ=0 L m

tal que la tasa de variación de ρ con respecto al tiempo propio siempre es mayor que cero si E > m.
Lo cual tiene sentido. Ahora, consideremos que la partícula se va al innito, es decir ρ → ∞, entonces,

dρ  i
→ ± ∈ C. (52)
dτ ρ→∞
 L

Este resultado es contra intuitivo, ya que la tasa de variación al ser compleja carece de interpretación
física. Esto implica que una partícula material no puede alcanzar el innito en un tiempo nito y
aún más, la distancia que puede recorrer está limitada por la energía total disponible, es decir cuando
dρ/dτ = 0.
  
dρ  −1 E
= 0 ⇔ ρE = cosh , (53)
dτ ρ=ρE
 m
donde ρE es la densidad de energía para un valor jo de E . Los resultados en cuestión, permiten intuir
que en ρ → ∞ debería existir algún tipo de frontera. Para analizarla procedemos a tomar un cambio
de variable inspirado en las geodéiscas de la luz, de la forma,

1
tan χ = sinh ρ → dχ = cosh ρ dρ. (54)
cos2 χ

tal que el elemento de línea (48) toma la forma,

ds2AdSD = − cosh2 ρ dt2 + L2 dρ2 + sinh2 ρ dΩ2D−2 ,

 

dχ2
 
ds2AdSD 2 2 2 2 2
 
= − (1 + tan χ) dt + L  4 + tan χ dΩ D−2
,
| {z }  cos χ (1 + tan2 χ) 

2
=1/ cos χ | {z }
=1/ cos2 χ
2
dχ2
 
1 sin χ
ds2AdSD
= − 2 dt + L2 2
+ 2
dΩD−2 ,
cos χ cos2 χ cos2 χ
"   #
dsAdSD 2 dt 2
 
1 2 2
= − + sin χ dΩD−2 .
L cos2 χ L

Sin perdida de generalidad, podemos denir un nuevo tiempo T = t/L y ds = dsAdSD /L, tal que el
elemento de línea en las nuevas coordenadas viene dado por,

1
ds2 = −dT 2 + dχ2 + sin2 χ dΩ2D−2 .


(55)
2
cos χ
5
La integración puede consultarse en el anexo, sección 11.

16
Nótese que la métrica cumple: ρ = 0 ⇒ χ = 0 y ρ → ∞ ⇒ χ = π/2. Es decir, χ ∈ [0, π/2[ tal que la
métrica (55) tiene una frontera en π/2. Entonces, se dice que un espacio tiempo dotado de una métrica,
gµν , tiene una frontera conforme, si es del tipo,

1
gµν = hµν , (56)
ψ(xα )2

donde hµν es una métrica regular con frontera y ψ(xα ) es una función con un cero xα = x , siendo x
algún punto del espacio-tiempo. Y además, ψ, verica lo siguiente,

ψ(xα ) > 0 es positiva en los puntos interiores a la frontera.

ψ(xα )|x = 0 se anula en la frontera.

∂β ψ(xα )|x 6= 0 su primera derivada es diferente de cero en la frontera.

Bajo este criterio, podemos concluir que (55) posee una frontera conforme en χ = π/2.

7. Aproximándonos a la Frontera

Habiendo determinado la frontera, ahora nos interesa estudiar la física cercana a esta. Para ello,
nos aproximamos considerando χ = χ0 . π/2, siendo χ0 un valor menor a π/2 pero tan cercano como
queramos. En dicho caso, el elemento de línea toma la forma,

 
1
ds2 = −dT 2 + dχ20 + sin2 χ0 dΩ2D−2  (57)
cos2 χ0 |{z} | {z }
| {z } =0 w1
1

Ya que siempre es posible redenir el elemento de línea, consideramos ds2b = cos2 χ0 ds2 como el
elemento de línea cercano a la frontera. Por tanto,

ds2b = −dT 2 + dΩ2D−2 . (58)

Para tener una mejor visualización del espacio tiempo, consideremos D = 4, entonces,

ds2b = −dT 2 + dθ2 + sin2 θ dϕ2 . (59)

El espacio al ser maximalmente simétrico, puede ser analizado desde el plano ecuatorial θ = π/2 (Ya
que tenemos el Killing ξ~ = ~eφ ). Por tanto,

ds2b = −dT 2 + dϕ2 . (60)

Aún más, si el ángulo φ es jado sobre la frontera, nótese que la métrica dependerá únicamente de dT
y sería una línea vertical en la que sólo corre el tiempo. Considerando que el ángulo azimutal está en el
intervalo ϕ ∈ [0, 2π[, la frontera es un cilindro de longitud innita cuyo frontera es de tipo tiempo (time-
like). Cabe resaltar que si χ < π/2, la métrica en cuestión describe AdS pero cuánto más cercano sea
aπ/2, nos acercamos a la frontera conforme. Por tanto, podemos concluir que en la frontera la métrica
eslocalmente plana y puede considerarse como el espacio-tiempo de Minkowski (∼ −dt2 + dx2 ) con
mismo grupo de isometrías. Además, para el caso general D−dimensional, la frontera tiene topología
R × S D−2

17
 +∞
𝑡

𝑑𝑠 2 ~ − 𝑑𝑡 2 + 𝑑𝑥 2
Minkowski
AdS

𝑡
𝜒
𝜋
𝜒o =
2

𝜑 𝑥
𝑦

𝑥
−∞
Figura 4: Representación del espacio de Anti de Sitter en 3 dimensiones.

8. Espacio-tiempo de Schwarzschild y su Conexión con AdS

En la presenta sección buscamos la solución más general posible a las ecuaciones de vacío de Einstein
que verica las condiciones ya mencionadas. La diferencia ahora es que exigiremos que la constante
cosmológica sea nula Λ = 0, tal que partimos del elemento de línea,

ds2 = −f (r)dt2 + h(r)dr2 + r2 dΩ2D−2 .

Donde las componentes del tensor de Ricci son las dada por (17), es decir,

h0 f 0 f0 f 02 f 00
R00 = − + − + .
4h2 hr 4hf 2h
2
f0 h0 h0 f 0 f 00
R11 = 2+ + − .
4f rh 4hf 2f
1 rh0 rf 0
R22 =1− + 2 − .
h 2h 2hf
rf 0 rh0
 
2 1
R33 = sin θ 1 − − + 2 .
h 2hf 2h

Ahora, a diferencia de AdS buscamos resolver,

1
Rαβ − gαβ R = 0,
2
que además verica,
1 1
g αβ Rαβ − g αβ gαβ R = 0 ⇒ R − R = 0 ⇒ R = 0.
2 2
Así, el problema se reduce a solucionar,
Rαβ = 0. (61)

18
Considerando α = β = 0, 1, tenemos el sistema,
 
  − h0 f 0 + f 0 − f 02 + f 00 = 0.  − h0 f 0 + f 0 − f 022 + f 00 = 0.
R00 = 0. 4h r 4f 2 4hf rf 4f 2f
⇒ 02 0 0f 0 00 ⇒ 02 0 0f 0 00
R11 = 0.  f
2 +
h
+ h
− f
= 0.  f
2 +
h
+ h
− f
= 0.
4f rh 4hf 2f 4f rh 4hf 2f

Sumando ambas ecuaciones, obtenemos,

h0 f0 dh df C
+ =0⇒ = − ⇒ ln h = − ln f + C ⇒ h(r) = .
rh rf h f f (r)

donde C es una constante que puede elegirse como la unidad o simplemente redenir las variables en
cuestión. Así, el elemento de línea es de la forma,

1
ds2 = −f (r)dt2 + dr2 + r2 dΩ2D−2 .
f (r)

Con el resultado obtenido, tenemos que R22 se reduce a,

1 rh0 rf 0
R22 = 1 −+ 2− ,
h 2h 2hf
rf 2 rf 0
 
1
=1−f + ∂1 − ,
2 f 2
rf 0 rf 0
=1−f − − ⇒ R22 = 1 − f − rf 0 .
2 2
Ahora resolvemos la ecuación de Einstein R22 = 0, tal que,

R22 = 0,
df (r)
1 − f (r) − r = 0,
dr
d
1 − (rf (r)) = 0
dr
d
(rf (r)) = 1,
dr
A
rf (r) = r + A ⇒ f (r) = 1 + .
r

Para determinar la constante A, 6

debemos recurrir al límite Newtoniano . Consideremos una perturba-
ción estacionaria hµν sobre la métrica de Minkowski, ηµν , es decir,

gµν = ηµν + hµν , (62)

siendo |hµν |  1. Nos referiremos a esto como orden ε tal que ε2 ∼ 0 . Así el análisis se considera sólo
a primer orden en ε. Los símbolos de Christoel vienen dados por,

1
Γαβγ ' η αδ (∂γ hβδ + ∂β hδγ − ∂δ hβγ ) ,
2
donde claramente no aparecen derivadas de ηµν ya que es constante. Ahora nos enfocamos en las
geodésicas,
d2 xµ α
µ dx dx
β
+ Γ αβ = 0.
dτ 2 dτ dτ
Para µ=i siendo i cualquier coordenada espacial, tenemos,

d2 xi 0
i dx dx
0 n
i dx dx
n j
i dx dx
k 0
i dx dx
l
+ Γ 00 + Γ nn + Γ jk + Γ 0l = 0.
dt2 dt dt dt dt dt dt dt dt
6
En el contexto de la Relatividad General el límite clásico consiste en asumir que el espacio es aproximadamente el

espacio de Minkowski y que además las velocidades son pequeñas en comparación con la velocidad de la luz.

19
donde j 6= k , l 6= 0, y además hemos considerado que en el límite clásico τ ≈ t. Así dx0 /dτ ≈ 1 mientras
que las componentes de la velocidad son de orden ε. Al multiplicarse por los símbolos de Christoel
3 2
pasan a ser ∼ O(ε ) y ∼ O(ε ) para el último término. Entonces, la aproximación viene dada por,

d2 xi 1
2
' −Γi00 = η ii ∂i h00 .
dt 2
Por otra parte, de la mecánica Newtoniana, tenemos,

d2~r d2~r d2 xi
F~ = m 2 ⇒ −∇V = m 2 ⇒ = −∂ i Φ .
dt dt dt2

donde i = 1, 2, ..., D − 1, m es la masa, V = mΦ la energía potencial y Φ el potencial Gravitatorio.

Comparando con la expresión de las Geodésicas, tenemos,

(
d2 xi
= 12 ∂ i h00 , 1
dt2
d2 xi i
⇒ ∂ i h00 = −∂ i Φ ⇒ h00 = −2Φ.
dt2
= −∂ Φ 2

donde la constante de integración es nula ya que se exige que el potencial sea cero en el innito. Dentro
del límite clásico, tenemos,

 
A GM
g00 = η00 + h00 ⇒− 1+ = −1 − 2Φ ⇒ A = 2rΦ = −2r ⇒ A = −2GM ,
r r

donde hemos utilizado la forma del potencial gravitatorio newtoniano. Finalmente, hemos obtenido
la solución más general posible en D=4 que es maximalmente simétrica, estacionaria, estática, con
simetria esférica y constante cosmológica nula cuyo elemento de línea es,

2GM −1 2
   
2GM
ds2BH =− 1− 2
dt + 1 − dr + dΩ22 . (63)
r r

El resultado obtenido es conocido como el agujero negro de Schwarzschild y posee dos discontinuidades,
una removible en r = 2GM 7 conocida como horizonte de eventos y una no removible en r = 0,
denominada singularidad. Este resultado puede generalizarse a D−dimensiones, como,

   −1
2GM 2GM
ds2BHD = − 1 − D−3 2
dt + 1 − D−3 dr2 + dΩ2D−2 . (64)
r r

La solución de Schwarzschild-de Sitter

Previamente, se obtuvo que al añadir la constante cosmológica, la solución de vacío más general
era el espacio de Anti de Sitter siempre y cuando existiera continuidad en r = 0. Sin embargo, si r=0
es una singularidad no removible del espacio-tiempo, tenemos el elemento de línea,

−1
r2 r2
  
2GM 2GM
ds2AdS−BH =− 1+ 2 − 2
dt + 1 + 2 − dr2 + r2 dΩ22 , (65)
L r L r

mientras que en D−dimensiones,

−1
r2 r2
  
2GM 2GM
ds2(AdS−BH)D = − 1 + 2 − D−3 2
dt + 1 + 2 − D−3 dr2 + r2 dΩ2D−2 . (66)
L r L r
7
El sistema de coordenadas en donde es posible remover esta singularidad se conoce como la extensión de Kruskal-

Szekeres y puede estudiarse en el curso de Javier García de la referencia [4].

20
9. Métrica de Reissner-Nordström

Ahora, habiendo resuelto las ecuaciones de vacío, estamos listos para buscar la solución más general
posible (tomando en cuenta las consideraciones ya explicadas) pero con tensor energía-impulso no nulo.
En particular, nos enfocaremos en resolver el problema en presencia de un campo eléctrico. Para ello,
tenemos,  
1 1
Tµν = Fµα Fνα − gµν Fαβ F αβ (67)
4π 4
siendo Fµν = ∂µ Aν − ∂ν Aµ el tensor del campo Electromagnético8 y Aµ = (φ, A) ~ con φ el potencial
~
escalar y A el potencial vector. Matricialmente en coordenadas cartesianas, F
µν , viene dado por,
   
0 Ex Ey Ez 0 −Ex −Ey −Ez
 −Ex 0 Hz −Hy  Hz −Hy 
F µν =   Fµν =  Ex 0

, (68)
 −Ey −Hz 0 Hx   Ey −Hz 0 Hx 
−Ez Hy −Hx 0 Ez Hy −Hx 0
donde, Ei y Hi , son las componentes del campo eléctrico y magnético, respectivamente. Además Fµν
verica,
∇ν F µν = −4πj µ ,
donde ∇ν es la conexión de Levi-Civita y j µ el D−vector corriente. En particular, nos enfocaremos en
jµ ~ = ~0, tal que el problema es,
= 0 y F ij = 0 ⇒ H
1
Rµν − gµν R = 8πGTµν ,
2
∇ν F µν = 0.
Nótese que buscamos resolver un problema ya abordado pero de tipo no homogéneo. Para ello, tenemos
un Ansatz del tipo,
ds2 = −f (r)dt2 + h(r)dr2 + r2 dΩ22 ,
que mediante un análisis ya realizado, se sigue,

1
h(r) = .
f (r)
Intuitivamente, esperamos que f (r) incluya la solución de Schwarzschild más alguna contribución del
campo eléctrico. Entonces, nuestro interés radica en hallar esa contribución extra. Primero, reescriba-
mos las ecuaciones de campo como se sigue,

1
g µν Rµν − g µν gµν R = 8πG g µν Tµν ⇒ R = −8πG T,
| {z } 2 | {z } | {z }
=R =4 =T

por tanto,
 
1 1
Rµν − gµν (−8πG T ) = 8πGTµν ⇒ Rµν = 8πG Tµν − gµν T .
2 2
Nótese que el tensor energía-momento electromagnético posee traza cero,
 
1  1 1  
g µν Tµν =T = Fµα g µν Fνα − g µν gµν Fαβ F αβ  = Fµα F µα − Fαβ F αβ = 0 ⇒ T = 0 .
4π | {z } 4 | {z } 4π
F µα 4

Por tanto, el problema se reduce a solucionar,

Rµν = 8πGTµν ,
(69)
∇ν F µν = 0.
8 1
Nótese que Fµν = −Fνµ , i.e. es antisimétrico. Además usamos el sistema de unidades donde µ0 = 0
= 4π .

21
Cabe resaltar que si Tµν = 0 recuperamos la solución de Schwarzschild. Ahora, nos enfocamos en hallar
la componente temporal del tensor energía momento, que viene dada por,
 
1 α 1 αβ
T00 = F0α F0 − g00 Fαβ F ,
4π 4
 
1 βα 1 αβ
= F0α g0β F − g00 Fαβ F ,
4π 4
   
1  1  
= g0β  F00 F β0 + F0i F βi  − g00 F0β F 0β + Fiβ F iβ  ,
4π |{z} 4
=0
  
1  βi 1 00
= g0β F0i F − g00 F 00 F +F0i F 0i + Fi0 F i0 + Fik F ik  ,
 
4π 4 | {z } | {z } | {z }
=0 Fi0 F i0 =0
 
1 0i 1 0i
= g00 F0i F − g00 F0i F ,
4π 2
 
g00 1
= F0i F 0i − F0i F 0i ,
4π 2
g00
= F0i F 0i .
8π
por tanto,

f (r)
T00 = − F0i F 0i , (70)
8π
donde se recobra el resultado para espacio plano si f (r → ∞) = 1. Ahora podemos abordar el problema
debidamente. Si consideramos R00 , tenemos la ecuación,

f 0 (r) f 00 (r) f 0 (r) f 00 (r)

 
R00 = 8πGT00 ⇒ f (r) + = −G f (r)F0i F 0i ⇒ + = −G F0i F 0i . (71)
r 2 r 2
Nos falta determinar la forma funcional del campo eléctrico, F0i F 0i , bajo la inuencia de fuentes
gravitacionales, en particular esta puede (o no) discernir de la conocida ∝ 1/r2 . Para ello, recurrimos
a la segunda ecuación.

∇ν F µν = 0 ⇒ ∂ν F µν + Γµαν F αν + Γναν F µα = 0,

expandiendo para los valores de ν, tenemos,

∂0 F µ0 + ∂i F µi + Γµα0 F α0 + Γµαi F αi + Γ0α0 F µα + Γiαi F µα = 0,

∂0 F µ0 + ∂i F µi + Γµ00 |{z}
F 00 + Γµi0 F i0 +Γµ0i F 0i + Γµji |{z}
F ji + Γ000 F µ0 + Γ0i0 F µi + Γi0i F µ0 + Γiji F µj = 0,
| {z } |{z} |{z}
=0 =0
−Γµ
0i F
0i =0 =0

∂0 F µ0 + ∂i F µi −Γµ0i F 0i + Γµ0i F 0i +Γ0i0 F µi + Γiji F µj = 0,

| {z }
=0
∂0 F µ0 + ∂i F µi + Γ0i0 F µi + Γiji F µj = 0,
∂0 F µ0 + ∂i F µi + Γνiν F µi = 0,
donde los términos espaciales de F µν son cero ya que no consideramos campo magnético. Ahora, nos
enfocamos cuando µ = k, es decir, un índice espacial,

∂0 F k0 + ∂i |{z}
F ki +Γνiν |{z}
F ki = 0 ⇒ ∂0 F k0 = 0 .
=0 =0

Considerando que F 0k son las componentes del campo eléctrico, se sigue,

~
∂E
− ∂0 F 0k = 0 ⇒ ~ = E(r).
=0⇒E ~ (72)
∂t

22
lo cual es de esperarse ya que la solución se ha exigido estática. Además, asumimos que el campo
eléctrico sólo depende del módulo de r ya que el problema es esféricamente simétrico y por tanto F 0k
no depende de t, θ y ϕ. Ahora, tomamos µ=0 tal que,

∂ F 00 +∂ F 0i + Γµiµ F 0i = 0,
| 0{z } i
=0
 

∂r F 0r + ∂θ F 0θ + ∂ϕ F 0ϕ + Γ0r0 + Γrrr +Γθrθ + Γϕ  0r + Γϕ F 0θ = 0,

rϕ F
| {z } θϕ
=0
0r 2
∂r F + ∂θ F 0θ + ∂ϕ F 0ϕ + F 0r + cot θF 0θ = 0,
r
1 ∂ 2 0r

1 ∂ 
0θ
 ∂ 0ϕ
2
r F + sin θF + F = 0.
r ∂r sin θ ∂θ ∂ϕ
expresión que puede reducirse sólo a su parte radial por la simetría, tal que,

1 ∂ ∂ Q
r2 F 0r = 0 ⇒ r2 F 0r = 0 ⇒ F 0r (r) = 2 .



2
r ∂r ∂r r
Podemos recalcar que debido a la simetría, su componente radial es análoga a la expresión de la
electroestática clásica F 0r = E r . Además del límite clásico obtenemos que la constante debe ser la
carga eléctrica y el potencial vector tiene componente no nula,

Q Q
E r = F 0r = g 00 g rr F0r = g 00 g rr (∂0 Ar − ∂r A0 ) = ∂r A0 = 2 ⇒ A0 = − (73)
| {z } r r
=−1

Es decir que φ = φ(r), implicando F 0θ = F 0ϕ = 0. Ahora ya podemos abordar la ecuación de Einstein,

como se sigue,

f 0 (r) f 00 (r) f 0 (r) f 00 (r)
2 f 0 (r) f 00 (r) GQ2

+ = −G F0i F 0i ⇒ + = −G g00 grr F 0r , ⇒ + = 4 .
r 2 r 2 | {z } r 2 r
−1

Para solucionar, simplemente usamos el cambio de variable r = et , tal que la ecuación se simplica a
la siguiente expresión,

e−2t ∂ 2
 
−2t ∂ ∂
e f (t) + − f (t) = e−4t GQ2 ,
∂t 2 ∂t2 ∂t
1 ∂2
 
∂
+ f (t) = e−2t GQ2 ,
2 ∂t2 ∂t
 
1 ∂ ∂f (t)
+ f (t) = e−2t GQ2 ,
2 ∂t ∂t
Z
∂f (t)
+ f (t) = 2 GQ2 dt e−2t ,
∂t
∂f (t)
+ f (t) = −GQ2 e−2t + B.
∂t
Ahora, multiplicamos a la última ecuación por el factor et , tal que,

∂f (t)
et + et f (t) = −GQ2 e−t + Bet ,
∂t
∂  t
e f (t) = −GQ2 e−t + Bet ,

∂t Z Z
t 2 −t
e f (t) = −GQ dt e +B dt et

et f (t) = GQ2 e−t + Bet + C,

f (t) = B + Ce−t + GQ2 e−2t .

23
Volviendo a la variable original donde t = ln r, se sigue,

f (r) = B + Ce− ln r + GQ2 e−2 ln r ,

C GQ2
f (r) = B + + 2 .
r r
Ya que exigimos f (r → ∞) = 1, se sigue B = 1, mientras que del límite clásico C = −2GM como se
mostró previamente. Así, obtenemos f (r) para un agujero negro que posee carga eléctrica.

2GM GQ2
f (r) = 1 − + 2 . (74)
r r
Este resultado se conoce como la solución de Reissner-Nordström y su elemento en D=4 viene dado
por,
−1
GQ2 GQ2
  
2GM 2GM
ds2RN = − 1 − + 2 dt2 + 1 − + 2 dr2 + r2 dΩ22 . (75)
r r r r
mientras que en D−dimensiones, se obtiene,

−1
GQ2 GQ2
  
2GM 2GM
ds2RN = − 1 − D−3 + 2(D−3) 2
dt + 1 − D−3 + 2(D−3) dr2 + r2 dΩ2D−2 . (76)
r r r r

En este caso, las singularidades vienen dadas por r = 0 y los valores,

p
r± = GM ± G2 M 2 − GQ2 (77)

tomando el sistema de unidades en que G = 1, la expresión viene dada por,

p
r± = M ± M 2 − Q2 (78)

que tiene sentido físico siempre que M ≥ |Q| y da lugar a dos horizontes. En el caso M = |Q|, los
horizontes son degenerados y corresponden al mismo. Por otra parte, si M < |Q|, claramente no existen
horizonte de eventos ni de Cauchy y por tanto tendríamos una singularidad desnuda en r = 0. Lo cual
no tiene sentido ya que va en contra de la hipótesis de censura cósmica.

10. La solución de Reissner-Nordström-de Sitter

Siguiendo los resultados ya expuestos, si buscamos la solución más general posible bajo las restriccio-
nes mencionadas y constante cosmológica no nula, obtendremos la solución de Reissner-Nordström-de
Sitter. Para hallarla, debemos resolver el problema del siguiente tipo,

1
Rµν − gµν R + gµν Λ = 8πGTµν ,
2
∇ν F µν = 0.
contrayendo los índices tenemos,

1 8πGT + R
g µν Rµν − g µν gµν R + g µν gµν Λ = 8πGg µν Tµν ⇒ R − 2R + 4Λ = 8πGT ⇒ Λ = ,
2 4
tal que,
   
1 8πGT + R 1 1
Rµν − gµν R + gµν = 8πGTµν ⇒ Rµν − gµν R = 8πG Tµν − gµν T .
2 4 4 4
Tomando en cuenta que el tensor energía-impulso electromagnético verica T = 0, debemos resolver,

1
Rµν − gµν R = 8πGTµν ,
4 (79)
∇ν F µν = 0.

24
Para ello proponemos el ansatz,

1
ds2 = −f (r)dt2 + dr2 + r2 dΩ22 ,
f (r)
que verica,

f 0 f 00
 
R00 = f + ,
r 2
2 4f 0
R=(1 − f ) − − f 00 ,
r2  r 
1 f (r) 00 2
R00 − g00 R = f + 2 (1 − f )
4 4 r
mientras que de los resultados ya mostrados, T00 es,

f (r)
T00 = − F0i F 0i .
8π
Así, la ecuación diferencial viene dada por,

1 ∂ 2 f (r) 2
R00 − g00 R = 8πGT00 ⇒ 2
+ 2 [1 − f (r)] = −4GF0i F 0i .
4 ∂r r

Ya que el porblema a tratar consiste del mismo ansatz que Reissner-Nordström, es claro que de la
ecuación del tensor de campo electromagnético, tenemos,

1 ∂ Q
r2 F 0r = 0 ⇒ F 0r = 2 .


2
r ∂r r

Por tanto, debemos resolver el problema del tipo,

∂2 2 0r 2

∂2 2 4GQ2
f (r) + [1 − f (r)] = −4G g g F ⇒ f (r) + [1 − f (r)] = . (80)
∂r2 r2 |00{z rr} ∂r2 r2 r4
−1

La idea es hallar la solución homogénea, h(r), que corresponde a la solución de Schwarzschild-de Sitter,
es decir,
r2 2GM
h(r) = 1 + 2
− .
L r2
Para hallar la solución general f (r) = h(r) + ψ(r), proponemos (inspirados en la solución de Reissner-
Nordström), la siguiente función,
A
ψ(r) = ,
r2
tal que reemplazando, obtenemos,

∂2 2 4GQ2
(h + ψ) + [1 − (h + ψ)] = ,
∂r2 r2 r4
∂2 2 ∂2 2 4GQ2
2
h + (1 − h) + ψ − ψ = ,
|∂r r2
{z } ∂r
2 r2 r4
=0
6A 2A 4GQ2
− = ,
r4 r4 r4
A = GQ2 .

Por tanto, ψ es solución siempre que A = GQ2 . Así, obtenemos f (r) como,

r2 2GM GQ2
f (r) = 1 + − + , (81)
L2 r r2

25
y elemento de línea es de la forma,

−1
r2 GQ2 r2 GQ2
  
2GM 2GM
ds2AdS−RN = − 1 + 2 − + 2 dt2 + 1 + 2 − + 2 dr2 + r2 dΩ22 , (82)
L r r L r r

mientras que en D−dimensiones,

−1
r2 GQ2 r2 GQ2
  
2GM 2GM
ds2(AdS−RN )D = − 1 + 2 − D−3 + 2(D−3) 2
dt + 1 + 2 − D−3 + 2(D−3) dr2 + r2 dΩ2D−2 .
L r r L r r
(83)
Ya que la traza del tensor energía-momento es cero, la constante cosmológica y la curvatura escalar
son iguales a las obtenidas para AdS .

11. Anexo

Buscamos realizar la integral del tipo,

E2
Z
dρ
I= , a2 = . (84)
m2
q
a2
cosh2 ρ
−1

Comenzamos por usar la identidad cosh2 x − sinh2 x = 1.

Z
dρ
I= q ,
a2
cosh2 ρ
−1
Z Z
cosh ρ cosh ρ
=dρ p = dρ p .
a2 − cosh2 ρ a2 − 1 − sinh2 ρ
√ √
Ahora tomamos el cambio de variable a2 − 1 x = sinh ρ → a2 − 1 dx = cosh ρ dρ, tal que la integral
es de la forma,
Z
cosh ρ
I= dρ p ,
a − 1 − sinh2 ρ
2
√
a2 − 1
Z
= dx p ,
(a2 − 1) − (a2 − 1)x2
√
a2 − 1
Z
= dx p √ ,
(a2 − 1) 1 − x2
Z
dx
= √ ,
1 − x2
= arcsin (x) + C,
 
sinh ρ
= arcsin √ + C,
a2 − 1
donde la última integral es directa ya que su primitiva es el arcsin(x). Por tanto, obtenemos el resultado,
 
sinh ρ 
I = arcsin  q +C (85)
E2
m 2 − 1

E2
Nótese que el resultado es real siempre y cuando
m2
− 1 ≥ 0.

26
Referencias

[1] R. M. Wald, General Relativity. The University of Chicago Press, 1984.

[2] J. B. Griths and J. Podolsky, Exact Space-Times in Einstein's General Relativity. Cambridge
University Press, 2009.

https://www.youtube.
[3] J. García, Curso de Relatividad General. La frontera de Anti de Sitter:
com/watch?v=hk4GUW9Xm-A&list=PLAnA8FVrBl8DF03y6o-AIYPLK12F1IA25&index=124&t=3749s,
2020.

[4] J. García, Curso de Relatividad General. Entrando en un agujero negro: https://www.youtube.

com/watch?v=g-P2aTiKykI&t=4s, 2020.

27