Indice

1. Introduccion 3

2. Principio Cosmologico y Ecuaciones de Friedmann 4

3. Curvatura y variedades maximalmente simetricas 12

4. Correspondencia (A)dS/CFT 19

5. Apendice: Sistemas de coordenadas en de Sitter 23

5.1. Coordenadas globales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.2. Coordenadas conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.3. Coordenadas planares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.4. Coordenadas hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

6. Bibliografa 26

2
1. Introduccion
Cuando en 1915 Albert Einstein introdujo al mundo su Teora General de la Relativi-
dad, una de las primeras preocupaciones fue encontrar soluciones exactas a las ecuaciones
de campo de Einstein. Un ano despues, Karl Schwarzschild encontro la primera solucion
exacta no trivial a estas ecuaciones [1], la conocida metrica de Schwarzschild, que asume
una simetra esferica espacial y es capaz de describir el campo gravitatorio generado por
un agujero negro estatico y neutro.
Debido a la no linealidad de estas ecuaciones, la dificultad para encontrar soluciones
depende de las condiciones de simetra que se impongan de antemano para resolverlas.
Asumiendo un universo homogeneo e isotropo (condicion que se conoce actualmente
como el Principio Cosmologico), en 1922 Alexander Friedmann [2] y posteriormente
Georges Lematre [3], encontraron las primeras soluciones cosmologicas a las ecuaciones
de Einstein, para las cuales el universo poda contraerse o expandirse. Sin embargo,
entonces se crea que nuestro universo es estatico, por lo que Einstein haba introducido
un termino adicional en sus ecuaciones que explicara esta caracterstica, la constante
cosmologica [4].
Con este termino, las ecuaciones de Einstein toman la forma

1
R Rg + g = 8GT (1)
2
g es el tensor metrico que utilizamos para definir distancias en el espacio-tiempo
como ds2 = g dx dx ; R y R son el tensor y el escalar de Ricci respectivamente,
que dependen de la metrica y de sus derivadas hasta segundo orden; T es el tensor
de energa-momento, que da cuenta de la densidad de energa y momento, as como de
la presion y viscosidad presentes; y es la constante cosmologica, cuyo valor positivo
genera una repulsion que puede contrarrestar el efecto atractivo generado por la materia
convencional.
Sin embargo, en 1929 Edwin Hubble descubrio que el universo se encontraba en ex-
pansion [5], por tanto la constante cosmologica dejaba de ser necesaria, y paso a ser
denominada por Einstein como ((el mayor error de su carrera)). Pasaron casi 70 anos has-
ta que en 1998 el High-z Supernova Search Team [6] y el Supernova Cosmology Project
[7], analizando el redshift de las supernovas tipo Ia, descubrieron que no solo el universo
se encontraba en expansion, sino que esta se vea acelerada y por tanto, es necesaria la
presencia de una ((Energa oscura)) cuyo caracter repulsivo explique este fenomeno. La
constante cosmologica es, de esta forma, nuevamente retomada como posible, aunque no
unica, solucion.

3
 No obstante, antes de las evidencias observacionales, ya en 1917 Willem de Sitter [8]
trabajaba con la hipotesis de un universo en ausencia de materia dominado por una
constante cosmologica positiva. La solucion para un universo homogeneo e isotropo con
estas condiciones es lo que se conoce como espacio de de Sitter, el cual resulta ser un
caso particular de las soluciones de Friedmann y Lematre.
Matematicamente podemos definir este espacio (de dimension d + 1) como el hiperbo-
loide embebido en un espacio-tiempo Minkowskiano con una dimension espacial adicional
Rd+1,1 , tal que cumple

AB X A X B = l2 (2)
AB es la metrica de Rd+1,1 de signatura ( + + + +...), X A son sus coordenadas con
esta metrica y l es el parametro caracterstico del hiperboloide, que se puede relacionar
con la constante cosmologica como l2 = d(d1) 2
.

2. Principio Cosmologico y Ecuaciones de

Friedmann
Para estudiar la importancia de esta variedad hemos de analizar la dinamica de nuestro
universo asumiendo distintas hipotesis. Primero consideramos el Principio Cosmologico,
que establece que a distancias suficientemente grandes el universo es espacialmente ho-
mogeneo e isotropo. La confirmacion experimental viene determinada, en primer lugar,
por las fuentes de radio extragalacticas, cuya densidad es similar en cualquier direccion
que observemos, salvo a lo largo de la Va Lactea, ya que esta es opaca frente a este tipo
de radiacion.
Pero la mayor evidencia del Principio Cosmologico la da la radiacion del Fondo Cosmi-
co de Microondas (CMB), el cual ha sido observado tanto por el COBE (COsmic Back-
ground Explorer) como por el WMAP (Wilkinson Microwave Anisothropy Probe). El
ultimo de ellos ha mostrado que las fluctuaciones en la temperatura a lo largo de todas
las direcciones son del orden de 105 K sobre una temperatura media de unos 2, 725 K,
confirmando de esta forma la homogeneidad e isotropa de nuestro universo [9].
El Principio Cosmologico nos permite realizar foliaciones en el espacio-tiempo de la
forma R, donde R representa la direccion temporal y es una variedad d-dimensional
homogenea e isotropa, es decir, con maxima simetra, lo cual nos permite tomar una
metrica de la forma:

4
 ds2 = dt2 + a2 (t)ij (u)dui duj , (3)
donde t es el parametro de R, correspondiente con el tiempo y que, tomando la velocidad
de la luz c = 1, presenta unidades de longitud; ui son las coordenadas de y ij es su
metrica, que al tener simetra esferica podemos escribirla como

d 2 = ij (u)dui duj = e2(r) dr2 + r2 d2d1 , (4)

siendo d2d1 = d12 +sin2 1 d22 +...+sin2 1 ... sin2 d2 dd1
2
la metrica de una d1-esfera.
Ademas, como presenta maxima simetra, ha de cumplir

Rij = 2kij , (5)

con k constante. Si hallamos el tensor de Ricci a partir de ij tenemos:
 
2 2 2 2
Rij = diag r , e (rr 1) + 1, [e (rr 1) + 1] sin 1 , ... , (6)
r
con lo que mediante (5) comprobamos como

1
(r) = log(1 kr2 ) (7)
2
es la solucion buscada, de modo que la metrica espacio-temporal queda:

dr2
 
2 2 2 2 2
ds = dt + a (t) + r dd1 . (8)
1 kr2
Esta es la denominada metrica de Robertson-Walker, donde podemos hacer los cam-
bios

k
k
|k|
p
r |k|r (9)
a
a p ,
|k|
con lo que k solo tomara los valores +1,0 o -1, indicandonos la curvatura espacial. La
funcion a(t) se conoce como el factor de escala, que nos indica como varan las distancias
espaciales en respecto al tiempo.
Para el caso k = 0 tenemos un espacio plano cuya metrica es

d 2 = dr2 + r2 d2d1 , (10)

5
el cual puede corresponderse con una variedad no compacta como Rd o bien una variedad
compacta como un d-toro S 1 S 1 S 1 ....
Para el caso k = +1 la curvatura sera positiva y se habla de espacio ((cerrado)). Si
realizamos el cambio r = sin la metrica espacial queda

d 2 = d 2 + sin2 d2d1 , (11)

correspondiente a una d-esfera S d .
Y para k = 1 la curvatura es negativa y hablamos de espacio ((abierto)). Realizando
el cambio r = sinh la metrica en nos queda

d 2 = d2 + sinh2 d2d1 , (12)

que se corresponde con la de un d-espacio hiperbolico de curvatura negativa y constante.
Una vez obtenida la metrica de Robertson-Walker, para estudiar su dinamica recurri-
mos a las ecuaciones de Einstein (1), con lo que hemos de hallar el tensor y el escalar
de Ricci a partir de esta metrica. En primer lugar se calculan los smbolos de Christoffel
mediante

1
= g ( g + g g ) , (13)
2
donde g es la matriz inversa de g tal que g g = . A partir de ellos el tensor de
Ricci se obtiene de la forma:

R = + (14)
y el escalar de Ricci contrayendo el anterior:

R = R = g R . (15)
En nuestro caso las componentes no nulas del tensor de Ricci son

a
R00 = d
a
aa + (d 1)a2 + (d 1)k
R11 =
1 kr2
R22 = r2 (aa + (d 1)a2 + (d 1)k) (16)
R33 = r2 (aa + (d 1)a2 + (d 1)k) sin2 1
R44 = r2 (aa + (d 1)a2 + (d 1)k) sin2 1 sin2 2

6
y el escalar de Ricci resulta

d
R= 2
(2aa + (d 1)a2 + (d 1)k), (17)
a
con lo que nuestro tensor de Einstein G = R 12 Rg queda:

d(d 1)
G00 = (k + a2 )
2a2
d1
G11 = (2aa + (d 2)a2 + (d 2)k)
2(1 kr2 )
d1
G22 = r2 (2aa + (d 2)a2 + (d 2)k) (18)
2
d1
G33 = r2 sin2 1 (2aa + (d 2)a2 + (d 2)k)
2
d1
G44 = r2 sin2 1 sin2 2 (2aa + (d 2)a2 + (d 2)k).
2

Ahora analizamos el otro lado de las ecuaciones de Einstein, el termino de materia.

El primer ansatz que usamos es tomar una distribucion de energa y materia corres-
pondientes con un fluido ideal, por lo que nuestro tensor de energa-momento es de la
forma

T = ( + p)U U + pg , (19)
y p son la densidad de energa y la presion respectivamente y U es la cuadrivelocidad
del fluido. Asumiendo el Principio Cosmologico la homogeneidad nos indica que estas
magnitudes no dependeran de la posicion espacial donde nos encontremos, y la isotropa
implica que el fluido estara en reposo, por tanto U = (1, 0, 0, ...). De modo que el tensor
de energa-momento para un fluido ideal bajo la hipotesis del Principio Cosmologico
queda:

0 0 ...
0
T = (20)


0 pgij
...
(gij es la restriccion a la parte espacial de la metrica (8)), o lo que es lo mismo:

T = diag(, p, p, ...). (21)

7
 Puesto que consideramos fluidos ideales, estos han de obedecer una ecuacion de estado
relacionando densidad y presion de la forma

p = w, (22)
donde w es el factor conocido como parametro de estado. Existen diversas condiciones
que limitan los posibles valores de este parametro. En concreto, la condicion de energa
dominante estipula que para todo campo vectorial X ~ de tipo-tiempo o tipo-luz apun-
tando hacia el futuro, el campo vectorial T X tambien sera tipo-tiempo o tipo-luz
y apuntara hacia el futuro, lo cual implica que la energa nunca puede ser observada
fluyendo mas rapido que la velocidad de la luz y restringe el valor del parametro de
estado a

1 w 1. (23)
A partir de la ecuacion de conservacion local de la energa, T = T ; = 0
podemos obtener la primera restriccion a la densidad de energa y la presion. Tomando
la componente temporal de estas ecuaciones, aplicando la ecuacion de estado e integrando
obtenemos:

a
+ d ( + p) = 0
a
a
= d(1 + w)
a
d(1+w)
a . (24)

Por lo tanto, la ecuacion anterior nos indica como se modifica la densidad de energa
de cualquier fluido ideal segun vara el factor de escala. Es inmediato comprobar como,
segun se expande el universo, la densidad de energa decrece mas rapidamente para
parametros de estado mayores. En concreto, existen tres casos interesantes:

Polvo: La materia que estamos acostumbrados a ver, compuesta de partculas masivas

(fundamentalmente bariones) moviendose a velocidades no relativistas, y la materia
oscura fra (Cold Dark Matter), presentan una presion despreciable frente a su
densidad. Un ejemplo es el caso de un gas ideal de masa molar M en un volumen
V a temperatura T . Su ecuacion de estado toma la conocida forma p = nRTV
= mRT
MV
donde R = 8, 314J/(K mol) es la constante de los gases ideales, n es el numero
de moles y m = n M la masa total del gas. Puesto que la densidad de energa es
2
= mc
V
tenemos

8
 RT
, p= (25)
M c2
RT
o lo que es lo mismo, un parametro de estado w = M c2
. Para masas molares tpicas,
del orden de 102 kg/mol, este parametro queda

8, 314J K 1 mol1 T
w =
102 kg mol1 (3 108 m s1 )2
1014 K 1 T, (26)

que es practicamente nulo para temperaturas correspondientes a energas cineticas

no relativistas. Notese que para temperaturas demasiado altas este modelo no es
aplicable y por lo tanto carece de sentido suponer que para T > 1014 K vamos a
tener w > 1, ya que se violara la condicion de energa dominante.
Sustituyendo en (24) vemos como para el polvo la densidad de energa decrece
segun

polvo ad . (27)

Este resultado es el esperado si asumimos que el numero de partculas no vara,

el cual ha de ser proporcional a la masa total m = polvo V . Mediante (4) u (8) se
deduce que el volumen espacial depende del factor de escala segun V ad y por
lo tanto m polvo ad a0 = cte.

Radiacion: La presion de la radiacion electromagnetica, as como la de la materia rela-

tivista, s que es comparable a su densidad de energa, de modo que en este caso el
parametro de estado sera distinto de cero y el comportamiento de su densidad de
energa diferira con la del polvo. Para hallar la ecuacion de estado de la radiacion
electromagnetica tomamos su tensor de energa-momento
 
1 1
T = F F g F F (28)
4 d+1
y hallamos su traza:
 
1 d + 1
T = F F F F = 0. (29)
4 d+1
En (21) vemos que la traza de un fluido ideal es T = + dp, por lo que
igualando a cero tenemos que el parametro de estado de la radiacion es

9
 1
wrad = (30)
d
y por tanto la densidad de energa depende del factor de escala como

rad a(d+1) . (31)

No solo disminuye la densidad de fotones con un factor ad , ademas la energa de

cada uno se reduce en un factor a1 debido al ((corrimiento al rojo)) (red-shift).

Constante Cosmologica: Las ecuaciones de Einstein (1) se pueden reescribir como

G = 8GT g = 8GT , donde redefinimos el tensor energa-momento
tal que

T = T g . (32)
8G
Por tanto, en presencia de constante cosmologica podemos asignarle un tensor de
energa-momento al vaco

Tvac = , (33)
8G
y comparandolo con (21) le asignamos una densidad de energa y una presion:

= p = . (34)
8G
Vemos que el vaco actua como un fluido ideal con un parametro de estado w = 1,
lo cual es de esperar: Consideremos un sistema termodinamico sometido a una va-
riacion de volumen dV , su energa se modificara dE = pdV . Puesto que la energa
del vaco ha de aumentar si aumenta el volumen, la presion es necesariamente ne-
gativa. Ademas, si aplicamos la ecuacion de Euler en el vaco tenemos

pV = E, (35)
y como la energa total no es mas que E = V nos queda:

p = . (36)

En (24) se ve directamente como para w = 1 la densidad de energa se mantie-

ne constante, tal y como se ve en (34). Para valores menores de w esta densidad

10
 aumentara con la expansion, sin embargo, se violara la condicion de energa do-
minante.

El proximo paso consiste en tomar las ecuaciones de Einstein (1) y reemplazar los
valores de los que disponemos para el tensor de Einstein G en (18) y para el tensor de
energa-momento T en (20). Las ecuaciones correspondientes a las distintas componen-
tes espaciales de la diagonal son equivalentes, con lo que obtenemos las dos ecuaciones:

d(d 1)
2
(k + a2 ) = 8G
2a
d1
(2aa + (d 2)(a2 + k)) + a2 = 8Gpa2 . (37)
2
Si despejamos en la primera de ellas, aplicamos la ecuacion de estado p = w y
sustituimos el valor de a2 + k en la segunda, finalmente llegamos a las ecuaciones de
Friedmann:

a2 + k 8G +
2
= (38)
2a d(d 1)
a 8G(d(1 + w) 2) 2
= . (39)
a d(d 1)

Esta ultima ecuacion es redundante si tenemos en cuenta la ecuacion de conservacion

local de la energa (24), ya que las ecuaciones de Einstein (1) implican necesariamente
T ; = 0. Derivando en (38) y sustituyendo = d(1 + w) aa obtenemos (39).

Definiendo la densidad de energa del vaco como vac = 8G , (39) nos indica que la
segunda derivada del factor de escala, la aceleracion del universo, sera positiva, a > 0,
si y solo si

2
< , (40)
vac d(1 + w) 2
donde no tiene en cuenta la aportacion del vaco a la densidad de energa. Si en cambio
introducimos el termino de la constante cosmologica en el tensor de energa-momento,
tal y como hemos hecho en (32)-(34), la condicion para que a > 0 se convierte en

d(1 + w) 2 < 0
d2
w < . (41)
d

11
 Actualmente sabemos que esta es la situacion real de nuestro universo en la era en
la que vivimos, por tanto ha de existir un cierto tipo de energa cuyo parametro de
estado cumpla (41), a la que se le conoce como Energa Oscura. El -CDM es el modelo
cosmologico mas simple que es capaz de explicar estas observaciones. En el la Energa
Oscura es representada por una cierta constante cosmologica que, en unidades de Planck,
toma un valor aproximado 10122 [9]. Si este modelo es correcto, conforme avance
el tiempo y el universo se expanda, debido a (24) todas las densidades de energa se
anularan asintoticamente excepto la correspondiente a la constante cosmologica. De
modo que para tiempos muy grandes, la dinamica del universo la dictara la ecuacion

a2 + k 2 1
2
= 2, (42)
a d(d 1) l
en la que definimos el parametro l, que presenta unidades de longitud.
Resolviendo (42) obtenemos el comportamiento del factor de escala del universo para
tiempos lo suficientemente grandes (tal que tengamos  vac ), el resultado es:

kl2 t/l
 
C t/l
a(t) = e + 2e , (43)
2 C
donde C es una constante de integracion que ha de ser positiva por la propia definicion
del factor de escala en (3).
La metrica que se obtiene a partir de (43) representa un mismo tipo de espacio sean
cual sean los valores C > 0 y k = 1, 0, +1. Esta variedad es la que hemos comenta-
do anteriormente en (2), el espacio de ((de Sitter)). Los diversos comportamientos que
observamos en el factor de escala son resultado simplemente de distintos sistemas de
coordenadas utilizados para cubrir este espacio. De esta forma podemos tomar foliacio-
nes espaciales de curvatura tanto positiva, negativa o nula, segun sea el valor de k.
Ademas, esta es una de las variedades denominadas maximalmente simetricas. Para
entender esta propiedad hemos de repasar el concepto de curvatura.

3. Curvatura y variedades maximalmente

simetricas
Dada una variedad pseudo-riemanniana (M, g), su metrica g define automaticamente
una conexion mediante la ecuacion (13), tal que el transporte paralelo dado por esta
conexion mantiene la metrica:

X g = X g = X g g g = 0.


(44)

12
 En una variedad sin curvatura, plana, el transporte paralelo de cualquier vector X
sobre una trayectoria cerrada no lo modifica. Sin embargo, si la variedad no es plana y
reducimos el loop a una trayectoria infinitesimal el vector se transformara de acuerdo a
cierto objeto matematico conocido como el Tensor de Riemann, segun

Riem(Y, Z)X = Y Z X Z Y X [Y,Z] X (45)

para cualesquiera campos vectoriales Y, Z. La arbitrariedad en la eleccion de estos dos
campos nos permite tomar aquellos cuyo conmutador se anule, en especial los corres-
pondientes a un sistema de coordenadas. Sean Y = y Z = , la ecuacion anterior
queda

Riem( , )X = X X, (46)
o bien expresandolo a partir de sus componentes:

R X = X X . (47)
Por tanto, la curvatura de una variedad estara totalmente determinada por el tensor
de Riemann R , y sera nula cuando todas las componentes de este tensor se anulen.
Las componentes del tensor de Riemann pueden obtenerse a partir de los smbolos de
Christoffel mediante

R = + . (48)
En una variedad n-dimensional un tensor de rango 4 presenta n4 componentes, sin
embargo en nuestro caso existen ciertas simetras que reducen el numero de componentes
independientes. Directamente de la definicion en (47) vemos como es asimetrico respecto
a sus dos ultimos ndices,

R = R . (49)
El hecho de que la conexion sea simetrica en sus dos ndices inferiores, = ,
implica

R + R + R = 0. (50)
Bajando el ndice contravariante, R = g R , se puede obtener, por ejemplo
tomando un sistema de coordenadas localmente inercial, otra simetra:

R = R , (51)

13
que con (49) nos permite obtener:

R = R . (52)
Combinando estas simetras el numero de componentes independientes se reduce fi-
2 2
nalmente a n (n121) .
El tensor de Ricci y la curvatura escalar se obtienen a partir de Riemann contrayendo
ndices directamente,

R = R (53)
R = R , (54)

y debido a (51) el tensor de Ricci resulta simetrico,

R = R , (55)
con lo que en una variedad n-dimensional constara de n(n+1)
2
componentes independien-
tes.
Veamos especficamente el numero de componentes del tensor de Riemann para dis-
tintos valores en la dimension de la variedad:

n = 1. Todas las curvas son planas. Un cambio de coordenadas puede convertir la metri-
ca en constante, con lo que desaparece cualquier nocion de curvatura y, por tanto
R = 0.

n = 2. Para superficies el tensor de Riemann solo presenta una componente indepen-

2 2
diente, 2 (2121) = 1, que viene a ser la curvatura escalar R.
2 2
n = 3. En este caso el numero de componentes independientes es 3 (3121) = 6 = 3(3+1)
2
,
que vemos que coincide con el numero de componentes del tensor de Ricci, y
por tanto conocer este ultimo nos sirve para determinar toda la curvatura de la
variedad. Esta es la causa por la que en 2+1 dimensiones la gravedad solo existe
por contacto (asumiendo la validez de la Relatividad General). En las regiones
en las que no existe materia y si la constante cosmologica es nula, mediante las
ecuaciones de Einstein (1) se obtiene un tensor de Ricci nulo, de modo que el tensor
de Riemann tambien es nulo y el espacio, por tanto, es plano.

n 4. Ahora existen mas componentes independientes en el tensor de Riemann que en

el de Ricci, as que el valor de este no restringe completamente la curvatura total,

14
 el resto de componentes las da el tensor de Weyl. Son posibles distintas soluciones
de la ecuacion de Einstein para una misma distribucion de la materia, correspon-
dientes a las posibles ondas gravitatorias, y ademas los efectos gravitatorios se
extienden en regiones vacas.

El tensor de Riemann R se puede descomponer en tres partes distintas segun sus

contracciones: una parte puramente escalar, otra correspondiente a la parte sin traza del
tensor de Ricci, y el tensor de Weyl W , que representa el resto de componentes.

1
R = (g g g g ) R +
(n 1)(n 2)
1
+ (g R g R + g R g R ) + (56)
n2
+ W .

Obviamente, el tensor de Weyl es nulo si n < 4, ya que el tensor de Ricci determina

completamente al tensor de Riemann.
Una variedad se dice maximalmente simetrica si es tanto homogenea como isotropa, lo
cual implica que su tensor de Riemann estara completamente determinado unicamente
por su curvatura escalar R, la cual sera constante en toda la variedad. Se puede demostrar
[10] que en una variedad tal ha de cumplirse

R
R = (g g g g ) . (57)
n(n 1)
Esta condicion es equivalente al hecho de que la variedad admita el maximo nume-
ro posible de vectores de Killing independientes, los mismos que posee Rn (el espacio
eucldeo) o bien cualquier Rp,np , p n, p N, que resultan ser n(n+1)
2
, n correspon-
n(n1)
dientes a las traslaciones y 2 a las rotaciones/boosts.
Considerando unicamente variedades riemannianas (aquellas en las que la metrica
esta definida positiva), tenemos tres variedades distintas maximalmente simetricas, segun
el signo del escalar de curvatura.

R = 0. El caso mas sencillo, no existe curvatura y la metrica es definida positiva, la

variedad involucrada no es mas que el espacio eucldeo Rn . Sus n(n+1)
2
vectores
de Killing independientes son los n relacionados con las traslaciones en todas las
direcciones posibles y los n(n1)
2
que representan las rotaciones del grupo SO(n).

R > 0. Si la curvatura es positiva la variedad correspondiente es la esfera S n , la cual

podemos embeber en el espacio eucldeo de una dimension mayor, Rn+1 , a partir
de la ecuacion

15

2
2
2
XA X A = X 1 + X2 + + X n+1 = l2 , (58)
donde l es el radio de la esfera y X A las coordenadas cartesianas de Rn+1 . Puesto
que la metrica de Rn+1 es invariante bajo el grupo de rotaciones SO(n + 1) y
la ecuacion anterior tambien lo es, la metrica inducida en la esfera S n tambien
sera invariante bajo SO(n + 1), cuya dimension resulta ser n(n+1)
2
, correspondiente
a una variedad maximalmente simetrica. El escalar de curvatura para la esfera es
R = n(n1)
l2
.

R < 0. La variedad maximalmente simetrica con curvatura negativa y metrica definida

positiva es el hiperboloide H n , que en este caso es embebido en el espacio de
Minkowski Rn,1 mediante

2
2
XA X A = X 0 + X1 + + (X n )2 = l2 . (59)

Hay que senalar que esta ecuacion representa dos hipersuperficies no conexas,
segun el signo de X 0 , ambas con topologa Rn (en realidad, la solucion global
es una variedad de topologa Rn S 0 ), el hiperboloide se refiere a unicamente
una de las dos soluciones. La metrica de Rn,1 es la minkowskiana con signatura
(, +, +, ..., +), invariante bajo el grupo SO(n, 1), y por construccion tambien
H n es invariante bajo este grupo. De la misma forma que en el caso anterior,
la dimension de SO(n, 1) tambien es n(n+1)
2
, como ha de ser para una variedad
maximalmente simetrica. El escalar de curvatura del hiperboloide resulta R =
n(n1)
l2
.

Si tratamos con variedades lorentzianas, esto es, con signatura (1, n 1), existen
tambien tres variedades distintas maximalmente simetricas, distinguidas, al igual que
sus analogas riemannianas, por el signo del escalar de curvatura en cada una.

R = 0. Este caso se corresponde al espacio de Minkowski Rn1,1 como era de esperar. El

grupo de isometras es el de Poincare: n traslaciones y las (n1)(n2)
2
rotaciones y
n(n+1)
n 1 boosts del grupo SO(n 1, 1), que dan un total de 2 vectores de Killing
independientes.

R > 0. La variedad lorentziana maximalmente simetrica y de curvatura positiva es el

espacio de de Sitter. Tal y como hemos hecho antes, podemos embeberlo en un
espacio de una dimension mayor, en este caso Rn,1 , mediante la ecuacion

16

2
2
XA X A = X 0 + X1 + + (X n )2 = l2 , (60)
que nos da una hipersuperficie de topologa S n1 R. De la misma forma que en
H n , la invariancia bajo SO(n, 1) se mantiene, con lo que volvemos a tener n(n+1)
2
vectores de Killing. Si calculamos el escalar de curvatura obtenemos el mismo que
el de la esfera, R = n(n1)
l2
.

R < 0. Y por ultimo, si la curvatura es negativa nuestra variedad es Anti-de Sitter.

Para embeberla hemos de tomar un espacio minkowskiano con dos tiempos, Rn1,2
y aplicar la ecuacion

2
2
2
XA X A = X 0 + X1 + + X n1 (X n )2 = l2 . (61)
La topologa resulta Rn1 S 1 . En este caso el grupo de rotaciones/boosts de Rn1,2
es SO(n 1, 2), y como (61) es invariante bajo este grupo, este sera el grupo de
isometras de Anti-de Sitter, cuya dimension es n(n+1) 2
como era de esperar. El
n(n1)
escalar de curvatura en esta variedad es R = l2 .

Vemos como (60) es identica a la ecuacion (2) y representa el mismo espacio que se
obtiene sustituyendo (43) en (8), teniendo en cuenta que la dimension es n = d + 1. El
grupo de isometras de de Sitter, SO(n, 1), presenta n(n+1)
2
generadores independientes,
los cuales se corresponden con las componentes de una matriz antisimetrica MAB definida
sobre el espacio Rn,1 en el que se embebe de Sitter, las cuales cumplen las reglas de
conmutacion propias del grupo de Lorentz:

[MAB , MCD ] = i (AC MBD AD MBC BC MAD + BD MAC ) , (62)

AB es la metrica de Minkowski de Rn,1 con signatura (, +, +, ..., +). Se puede com-
probar que existe un isomorfismo entre el algebra de SO(n, 1) y la correspondiente al
grupo conforme sobre un espacio eucldeo de n 1 dimensiones, Rn1 .
El grupo conforme es el grupo de transformaciones de un espacio en s mismo tal que
se preservan todos los angulos. Este grupo incluye no solo a las isometras, sino tambien
las dilataciones y las transformaciones conformes especiales, que pueden verse como la
secuencia de una inversion, una traslacion y otra inversion. Los generadores de este grupo
son:

Mij , las (n1)(n2)

2
componentes de una matriz antisimetrica en Rn1 relacionadas con
el subgrupo SO(n 1) de rotaciones.

17
Pi , n 1 generadores de las traslaciones.

D, el generador correspondiente a las dilataciones, y

Ki , las n 1 transformaciones conformes especiales.

Estos generadores cumplen las siguientes reglas de conmutacion:

[Mij , Mkl ] = i (ik Mjl il Mjk jk Mil + jl Mik ) ,

[Mij , Pk ] = i (ik Pj jk Pi ) ,
[Mij , Kk ] = i (ik Kj jk Ki ) ,
[D, Pi ] = iPi , (63)
[D, Ki ] = iKi ,
[Pi , Kj ] = 2iMij 2iij D,

el resto de conmutadores se anulan.

Para comprobar el isomorfismo entre ambas algebras simplemente hay que relacionar
los generadores de cada una y comprobar que cumplen las mismas reglas de conmuta-
cion. Los correspondientes a las rotaciones se relacionan directamente con las (n1)(n2)
2
componentes de la matriz MAB para valores de A, B entre 1 y n 1: Mij MAB .
Esto nos deja 2n 1 generadores que se relacionan segun

Pi M0i Mni
Ki M0i + Mni (64)
D M0n ,

y que podemos comprobar aplicando (62), satisfacen las reglas de conmutacion esperadas.

[M0i Mni , M0j + Mnj ] = [M0i , M0j ] + [M0i , Mnj ] [Mni , M0j ] [Mni , Mnj ]
= [M0i , M0j ] + [M0i , Mnj ] + [M0j , Mni ] [Mni , Mnj ]
= i00 Mij iij M0n iji M0n + inn Mij
= 2iMij 2iij M0n
= 2iMij 2iij D = [Pi , Kj ] , (65)

18
 [Mij , M0k Mnk ] = [Mij , M0k ] [Mij , Mnk ]
= i(ik Mj0 + jk Mi0 ) + i(ik Mjn + jk Min )
= i(ik (M0j Mnj ) jk (M0i Mni ))
= i(ik Pj jk Pi ) = [Mij , Pk ] , (66)

[Mij , M0k + Mnk ] = [Mij , M0k ] + [Mij , Mnk ]

= i(ik Mj0 + jk Mi0 ) i(ik Mjn + jk Min )
= i(ik (M0j + Mnj ) jk (M0i + Mni ))
= i(ik Kj jk Ki ) = [Mij , Kk ] , (67)

[M0n , M0i Mni ] = [M0n , M0i ] [M0n , Mni ]

= i00 Mni inn M0i
= i(M0i Mni ) = iPi = [D, Pi ] , (68)

[M0n , M0i + Mni ] = [M0n , M0i ] + [M0n , Mni ]

= i00 Mni + inn M0i
= i(M0i + Mni ) = iKi = [D, Ki ] . (69)

De forma identica, tambien existe un isomorfismo entre las algebras del grupo de
isometras de Anti-de Sitter, SO(n 1, 2), y del grupo conforme en n 1 dimensiones.

4. Correspondencia (A)dS/CFT
El resultado anterior fue una de las motivaciones que impulsaron a Juan Maldacena a
desarrollar la ((Correspondencia AdS/CFT)). Esta es una dualidad conjeturada en 1997
que establece la equivalencia entre una teora gravitatoria sobre un espacio Anti-de Sitter
y una teora gauge presente de una simetra conforme definida sobre la frontera de Anti-
de Sitter [11].
El primer marco donde aparecio esta conjetura fue en la teora de cuerdas IIB, defi-
nida en un espacio-tiempo minkowskiano de 9+1 dimensiones. Situamos N D3-branas

19
paralelas y muy juntas, las cuales se extienden en un plano (3+1)-dimensional. Si con-
sideramos el lmite a bajas energas (tendiendo a cero la longitud caracterstica de las
cuerdas) el sistema se descompone por una parte en las excitaciones lejos de las branas
o no interactuantes con ellas (correspondientes a estados sin masa de cuerdas cerradas),
y por otra en las que quedan confinadas cerca de estas, que se corresponden con las
cuerdas abiertas, cuyos extremos estaran anclados a las branas.
El Lagrangiano efectivo a bajas energas de estos estados de cuerdas abiertas resulta
ser el de una teora supersimetrica de Yang-Mills con simetra U (N ) definida en 3+1
dimensiones, la cual presenta simetra conforme. Ademas, se puede analizar este sistema
considerando las branas como las fuentes de los campos de supergravedad, creando un
potencial gravitatorio que impide a las excitaciones cerca de las branas acceder a regiones
alejadas. En esta region se puede comprobar que la geometra se corresponde con la de
una variedad AdS5 S 5 .
La equivalencia entre estas dos descripciones impulso el desarrollo de la Corresponden-
cia AdS/CFT, la cual se ha extendido a muchos mas escenarios, en los que la geometra
Anti-de Sitter puede presentarse solo de forma asintotica como la metrica Schwarzschild-
AdS, correspondiente a un agujero negro en presencia de una constante cosmologica
negativa.
De forma analoga, Andrew Strominger propuso pocos anos despues la Correspondencia
dS/CFT [12], en la que la dualidad se conjetura entre una teora gravitatoria en un
espacio-tiempo tipo de Sitter, y una teora conforme definida en la frontera de esta
variedad. Sin embargo, existen diferencias significativas entre los dos casos, debido a las
distintas caractersticas de ambas variedades.
La frontera de un espacio de de Sitter n-dimensional presenta una topologa S n1 S 0 ,
esto es, consta de dos (n1)-esferas S n1 llamadas Pasado Infinito, I , y Futuro Infinito,
I + . La causalidad rompe la simetra entre estas dos piezas, tal que I afecta a I + pero
no al reves, de modo que la descripcion puede diferir segun se tome el Pasado o el Futuro
Infinito como frontera.
Ademas, la frontera es puramente espacial, y por tanto as ha de ser la teora conforme
definida en ella. Esto nos deja una CFT eucldea, sin ningun tiempo definido y que, por
tanto, carece en principio de dinamica alguna. Sin embargo, la mayor traba que presenta
esta correspondencia en contraposicion con AdS/CFT es la condicion de unitariedad de
los campos definidos sobre la variedad cerca de la frontera.
Consideremos un campo escalar de masa m en una espacio de de Sitter (d + 1)-
dimensional, dSd+1 , sujeto a la accion

20
 1
Z
dd+1 x g + m2 2 ,


S= (70)
2
por la que debe obedecer la ecuacion de Klein-Gordon:

2 m2 = 0. (71)
Si tomamos coordenadas planares (t, xi ), definidas en el apendice, esta ecuacion toma
la forma

i2 + dt + e2t i2 m2 l2 = 0. (72)
Como estas coordenadas solo cubren la mitad de de Sitter, y solo una de las dos
porciones de la frontera (concretamente I ), buscamos la solucion cuando t , en
este caso se puede separar la dependencia espacial de la temporal, con lo que el campo
queda:

lm (t, xi ) = eh t (xi ) + eh+ t + (xi ), (73)

t

donde
s 
2
d d
h = m2 l 2 . (74)
2 2
Podemos observar como estos exponentes se tornan complejos para masas mayores
que d2 l1 , esto es cualquier longitud de onda Compton menor en orden de magnitud
que la escala del universo. Por tanto, si queremos soluciones normalizables hemos de
restringirnos a masas menores que el valor anterior.
Si el espacio es Anti-de Sitter la situacion es la inversa, en este caso la condicion de
unitariedad establece un lmite inferior a la masa tal que
 2
2 d
m l2 , (75)
2
lo cual se conoce como el Lmite de Breitenlohner-Freedman [13]. Vemos como esta
condicion permite ciertas soluciones taquionicas, que como en el caso anterior, han de
poseer longitudes de onda Compton superiores a la escala del universo. Ademas, permite
cualquier valor real de la masa, por lo que no presenta problemas cuando se trata con
partculas masivas.
Puesto que en una teora de campos conforme no existen estados asintoticos o una
matriz S, los objetos naturales vienen a ser los operadores. Los campos definidos en

21
el volumen de (Anti-)de Sitter actuan como fuente de estos operadores, mediante un
R
termino (A)dS O en el Lagrangiano de la CFT.
Edward Witten en 1998, trabajando en AdS/CFT, establecio un ansatz relacionando
la teora conforme con la descripcion gravitatoria [14], que Strominger utilizo a su vez
en dS/CFT. El ansatz relaciona la CFT con (A)dS segun
 Z 
exp O = Z(A)dS ( ). (76)
(A)dS CF T
En la parte izquierda evaluamos la exponencial del termino de acoplamiento sobre
la CFT, y el termino de la derecha consiste en la funcion de particion de la teora
gravitatoria en (Anti-)de Sitter, sujeta a las condiciones de contorno en la frontera.
En la aproximacion clasica tenemos que la funcion de particion es la exponencial de la
accion

 Z 
S() 1 d+1 2 2


Z(A)dS ( ) = e = exp d x g + m . (77)
2
A partir de (76) es posible calcular las funciones de correlacion de n puntos en la
CFT. De este modo tenemos una manera de obtener informacion de la teora conforme
a partir del comportamiento de los campos en el volumen. En concreto se puede calcular
la dimension conforme de estos operadores segun

1
hO(x)O(y)i , (78)
|x y|2
obteniendo h+ si tenemos en cuenta que es el comportamiento predominante en la
frontera, lo cual se puede comprobar en (73).
Uno de los aspectos mas importantes de esta correspondencia es la relacion inversa
entre los coeficientes de acoplamiento en ambas teoras, si uno es fuerte el otro es debil y
viceversa. De esta forma es posible el estudio de fenomenos que ocurren en una teora de
interaccion fuerte, como la cromodinamica cuantica, a partir de calculos perturbativos
que se realizan en su teora dual, posibles gracias a su caracter debil.

22
5. Apendice: Sistemas de coordenadas en de Sitter
Tomemos la parametrizacion usual de la esfera S d :

1 = cos 1
2 = sin 1 cos 2
(79)
d = sin 1 sin d1 cos d
d+1 = sin 1 sin d1 sin d ,

donde 0 i < para 1 i d 1 y 0 d < 2, con lo cual la metrica de S d queda:

d2d = d12 + sin2 1 d22 + + sin2 1 sin2 d1 dd2 . (80)

5.1. Coordenadas globales

En la ecuacion (2) o (60) podemos tomar:

 
0 t
X = l sinh
l
 
t
Xi i
= l cosh (81)
l
i = 1, ..., d + 1,

con los i definidos en (79) y < t < , de forma que se satisface (2) y de su metrica
de Minkowski obtenemos:

ds2 = dt2 + l2 cosh2 (t/l)d2d . (82)

Podemos observar que esta eleccion de coordenadas se corresponde con el caso k = 1
y C = l en (43) y el cambio usado en (11).

5.2. Coordenadas conformes

A partir de las coordenadas anteriores definimos tal que:
 
tan et/l , (83)
2

23
de modo que 0 < y la metrica queda:

l2
ds2 = (d 2 + d2d ). (84)
sin2
Este sistema de coordenadas nos permite analizar facilmente la estructura causal del
espacio de Sitter, ya que cualquier geodesica nula en esta metrica cumple obviamente:

d 2 + d2d = 0. (85)
Mediante este sistema podemos trazar el diagrama de Penrose, que representamos en
la figura 1. En el cada punto equivale a una esfera S d1 excepto los correspondientes
a los polos Norte y Sur; la coordenada se representa en el eje vertical y la 1 en el
horizontal, ambas con una longitud . Ademas, debido a la metrica (84), la luz viaja en
angulos de 45o (en caso contrario no podramos hablar de un diagrama de Penrose).

Figura 1: Diagrama de Penrose para dSd+1 .

5.3. Coordenadas planares

Tambien podemos tomar, en (2):

 
0 t 1
X = l sinh + xi xi et/l
l 2l
X i = xi et/l (86)
 
t 1
X d+1 = l cosh xi xi et/l ,
l 2l

24
donde i = 1, ..., d. Con lo que la metrica queda:

ds2 = dt2 + e2t/l dxi dxi . (87)

Estas coordenadas no cubren todo el espacio, sino solo la mitad. Ademas vemos que
la metrica (87) se corresponde con el caso en el que en (43) tenemos k = 0 y C = 2.
Tambien podemos realizar otra transformacion conforme definiendo:

let/l , (88)
donde < < 0 y por tanto la metrica queda:

l2
ds2 = (d 2 + dxi dxi ). (89)
2
Y si queremos podemos parametrizar el resto del espacio de Sitter simplemente ex-
tendiendo el rango de a todo R.

5.4. Coordenadas hiperbolicas

Hemos realizado foliaciones del espacio de de Sitter tanto con esferas, en las coorde-
nadas globales, como con planos en las planares. Por ultimo realizaremos foliaciones con
espacios de curvatura negativa y constante definiendo:

 
0 t
X = l sinh cosh
l
 
t
Xi i
= l sinh sinh (90)
l
 
t
X d+1 = cosh
l

con i = 1, ..., d. De forma que la metrica queda:

 
t 2
2 2
ds = dt + l sinh (d2 + sinh2 d2d1 ).
2
(91)
l
Podemos ver que esta eleccion de coordenadas se corresponde con el caso en el que
el universo presenta k = 1, establecemos el cambio de variable de (12) y en el factor
de escala de (43) tengamos C = l, de forma analoga al caso de coordenadas globales y
planares.

25
6. Bibliografa
[1] K. Schwarzschild: Uber das Gravitationsfeld eines Massenpunktes nach der Eins-
teinschen Theorie. Reimer, Berlin 1916, S. 189 ff. (1916),
[2] A. Friedman: Uber die Krummung des Raumes, Zeitschrift fur Physik A 10 (1):
377-386 (1922),
[3] G. Lematre: Un univers homogene de masse constante et de rayon croissant ren-
dant compte de la vitesse radiale des nebuleuses extra-galactiques, Annales de la So-
ciete Scientifique de Bruxelles A47: 49-56 (1927),
[4] A. Einstein: Kosmologische Betrachtungen zur allgemeinen Relativitatstheorie.
Koniglich Preussische Akademie der Wissenschaften, Sitzungsberichte (Berlin): 142-152
(1917),
[5] E. Hubble: A relation between distance and radial velocity among extra-galactic
nebulae. Proceedings of the National Academy of Sciences, Volume 15 : Number 3 (1929),
[6] B.P. Schmidt et al.: The High-Z Supernova Search: Measuring Cosmic Deceleration
and Global Curvature of the Universe Using Type IA Supernovae. Astrophys. J. 507 46
(1998),
[7] A.G. Riess et al.: Observational Evidence from Supernovae for an Accelerating
Universe and a Cosmological Constant. The Astronomical Journal 116 1009 (1998),
[8] W. de Sitter, Willem: On the relativity of inertia. Remarks concerning Einsteins
latest hypothesis. Koninklijke Nederlandsche Akademie van Wetenschappen Proceedings
19: 1217-1225. (1917),
[9] D.N. Spergel et al.: First-Year Wilkinson Anisotropy Probe (WMAP) Observations:
Determination of Cosmological Parameters. ApJS 148 175 (2003),
[10] M. Blau: Lecture Notes on General Relativity. ICTP (2000),
[11] J. Maldacena: The Large N limit of superconformal field theories and supergravity.
Adv. Theor. Math. Phys. 2 231 (1998),
[12] A. Strominger: The dS/CFT Correspondence. JHEP 0110 034 (2001),
[13] P. Breitenlohner, D. Z. Freedman: Positive Energy in Anti-De Sitter Backgrounds
and Gauged Extended Supergravity. Phys. Lett. 115B 197 (1982), P. Breitenlohner, D.
Z. Freedman: Stability in Gauged Extended Supergravity. Ann. Phys. 144 249 (1982),
[14] E. Witten: Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2 253
(1998),

26