Sumrio

1 O Espao de Anti-de Sitter AdS

1.1 Introduo . . . . . . . . . . . . . . . . . . . . . .
1.1.1 EXEMPLOS . . . . . . . . . . . . . . . .
1.2 Equivalncia de caracterizaes dos Espaos AdS
1.2.1 EXEMPLOS . . . . . . . . . . . . . . . .
1.3 Grupos de Isometria dos Espaos AdS . . . . . .
1.4 O Tensor de Curvatura dos Espaos AdS . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

2
2
4
8
10
10
10

Captulo 1

O Espao de Anti-de Sitter

AdS
1.1

Introduo

fato notrio sobre a dificuldade de se integrar as equaes de campo da

Relatividade Geral. Em geral, as solues so obtidas fazendo o caminho
inverso: escolhe-se (muito bem) uma soluo g e forando como soluo
de:
1
R Rg = kT
2
Uma das solues famosas o chamado espao de Anti-de Sitter Space,
descoberta por De Sitter e Albert Einstein nos anos 20 do sculo passado.
O objetivo dessas notas o de de criar um quadro conceitual minimamente
preciso e claro sobre o assunto, porque apesar da literatura sobre o mesmo
ser vasta, existe muita desorganizao, dificultando muito para quem precisa
entender sobre esse exemplo de espaos semi-riemannianos.
Para isso, passemos a um ponto de vista semi-formal:
Definio 1.1.1. Seja M = Rp Rq+1 , munido da seguinte forma quadrtica:
f:MR
(x, y) ||x||2 ||y||2
2

Onde ||x|| e ||y|| so as normas euclidianas em Rp e Rq+1 respectivamente.

E da mtrica semi-riemanniana:

g=

dx2i

i=1

q+1

dy2j

j=1

O espao Anti de Sitter AdSp,q com mtrica semi-riemanniana h de assinatura (p, q) definido como:
AdSp,q := f1 (c2 )


h := g
AdSp,q

Ou seja, o espao AdSp,q uma hipersuperfcie de M = Rp Rq+1 munida

da mtrica induzida.
Para tornar o resultado mais preciso:
Proposio
- 1.1.2. Seja a variedade M como na definio anterior, temos


que df
sobrejetora, e portanto:
AdSp,q

(I) dim AdSp,q = p + q

(II) T(x,y) AdSp,q = Ker df(x,y)
Demonstrao. - Vamos provar o resultado usando o teorema do valor
regular. A diferencial df(x,y) (u, v), com (x, y) P AdSp,q e (u, v) P M dada
por:
f((x, y) + t(u, v)) f(x, y)
f(x + tu, y + tv) f(x, y)
= lim
t0
t
t
2
2
2
2
||x + tu|| ||y + tv|| (||x|| ||y|| )
lim
t0
t
||x||2 + t2 ||u||2 + 2txx, uy ||y||2 t2 ||v||2 2txy, vy ||x||2 + ||y||2
lim
t0
t
2
2
2
t (||u|| ||v|| ) + 2t(xx, uy xy, vy)
lim
t0
t
2
2
lim t(||u|| ||v|| ) + 2(xx, uy xv, yy)

df(x,y) (u, v) = lim

t0

=
=
=
=
6

t0

df(x,y) (u, v) = 2 (xx, uy xy, vy)

3

Agora, dado P R; tomamos (u, v) = 2c2 (x, y). Ficamos com:




df(x,y) (u, v) = 2 (xx, uy xy, vy) = 2 xx, 2 xy xy, 2 yy

2c
2c

(xx, xy xy, yy) =

= 2 |ooooooooomooooooooo}
c
= ||x||2 ||y||2 = c2

df(x,y) (u, v) =

Portanto, pelo teorema do valor regular ([1], Teorema 9.8, pgina 104 e [2],
Corolrio 5.14, pgina 106), segue que AdSp,q uma variedade diferencivel.

Observao 1.1.3. Na literatura da Fsica, os espaos de Anti-de Sitter so
denotados por AdSn e em relao nossa notao AdSn = AdSn1,1
Antes de passarmos para uma outra caracterizao dos espaos AdSp,q , vamos apresentar alguns exemplos:

1.1.1

EXEMPLOS

(I) Caso unidimensional (p + q = 1 e c = 1)

(A) AdS1,0 = {(x, y) P R2 | x2 y2 = 1}. No caso, temos uma hiprbole:

E como parametrizao, adotamos:



x = sinh t dx = cosh tdt

y = cosh t dy = sinh tdt


= dx2 dy2 = cosh2 tdt2 sinh2 tdt2
h = g
AdS10
2

= |oooooooooomoooooooooo}
(cosh t sinh2 t) dt2 = dt2
=1

h = dt2

(B) AdS0,1 = {(x, y) P R2 | x2 y2 = 1} = S1 . Neste caso , temos

uma circunferncia:

E como parametrizao, adotamos:



x = cos t dx = sin tdt

y = sin t dy = cos tdt


h = g
= dx2 dy2 = sin2 tdt2 cos2 tdt2
AdS10
2

= |oooooooomoooooooo}
(cos t + sin2 t) dt2 = dt2
=1

h = dt2

(II) Caso bidimensional (p + q = 2 e c = 1)

(A) AdS2,0 = {(x, y, z) P R3 | x2 + y2 z2 = 1}. No caso, temos um
hiperbolide de duas folhas:

E como parametrizao, adotamos:

x = sinh t cos dx = cosh t cos dt sinh t sin d

y = sinh t sin dy = cosh t sin dt + sinh t cos d

z = cosh t dz = sinh tdt



J a mtrica induzida h = g
dada por:
AdS2,0



h = g

AdS2,0
2

= cosh t cos dt + sinh t sin d 2 cosh t cos sinh t sin dtd

= cosh2 t sin2 dt2 + sinh2 t cos2 d2 + 2 cosh t sin sinh t cos dtd

dx
dy

AdS2,0
2



= (dx2 + dy2 dz2 )

dz2 = sinh2 tdt2

h = cosh2 tdt2 + sinh2 td2 sinh2 tdt2 = dt2 + sinh2 td2
6

h = dt2 + sinh2 td2

6

(B) AdS1,1 = {(x, y, z) P R3 | x2 y2 z2 = 1}. Neste caso , temos

um hiperbolide de uma nica folha:

E como parametrizao, adotamos:

x = sinh t dx = cosh tdt

y = cosh t cos dy = sinh t cos dt cosh t sin d

z = cosh t sin dz = sinh t sin dt + cosh t cos d



J a mtrica induzida h = g
dada por:
AdS1,1



h = g

AdS1,1
2
2

AdS1,1

= cosh tdt

= sinh2 t cos2 dt2 + cosh2 t sin2 d2 2 sinh t cos cosh t sin dtd

dx
dy



= (dx2 dy2 dz2 )

dz2 = sinh2 t sin2 dt2 + cosh2 t cos2 d2 + 2 sinh t sin cosh t cos dtd
h = cosh2 tdt2 sinh2 tdt2 cosh2 td2 = dt2 cosh2 td2
6

h = dt2 cosh2 td2

1.2

Equivalncia de caracterizaes dos Espaos AdS

Na seo anterior, apresentamos a construo usual dos Espaos AdSp,q ; mas

tambm se encontra na literatura uma outra definio desses espaos
Definio 1.2.1. Os espaos de anti-de Sitter (no nvel topolgico) so dados
por:
AdSp,q := Rp Sq (c)
onde Sq (c) = {x P Rq+1 | xx, xy = ||x||2 =
dimenso q e raio igual a c.

q+1
i=1

x2i = c2 } so as esferas de

O ponto fundamental: essas duas caracterizaes devem ser equivalentes

pelo menos no nvel diferencivel. De fato:
Teorema - 1.2.2. As duas caracterizaes dos Espaos AdS so difeomorfas. Ou seja:
AdSp,q Rp Sq (c)
Demonstrao. - Consideremos as funes:
: AdSp,q Rp Sq (c)
!
cy
= (u, v)
(x, y) x, a
c2 + ||x||2
: Rp Sq (c) AdSp,q
!
a
c2 + ||u||2
(u, v) u,
v = (x, y)
c
As mesmas esto bem definidas, so claramente suaves e uma a inversa da
outra, de fato:

(I)

2
cy
||cy||2
c2 ||y||2


= c2
||v||2 =  a
= 2
= 2


2
2
2
2
c
+
||x||
c + ||x||
c + ||x||
|oooomoooo}
= ||y||2

v= a

cy
c2

+ ||x||2

P Sq (c)

(II)
 ac2 + ||u||2 2


||x|| ||y|| = ||u|| 
v
c
c2 + ||u||2 2
c = c2
= ||u||2
c2
6 (x, y) P AdSp,q
2

Falta mostrar que temos uma bijeo entre os espaos:

(III)
cy

(x, y) = ((x, y)) = x, a

c2 + ||x||2
a
c2 + ||x||2
cy
a
= (x,
) = (x, y)
2
c
c + ||x||2
= idAdSp,q

6
(IV)

a
(u, v) = u,

!
a
c2 + ||u||2
cv
a
u,
= (u, v)
c
c2 + ||u||2

=
6

c2 + ||u||2
v
c

= idRp Sq (c)

Portanto AdSp,q Rp Sq (c)


9

1.2.1

EXEMPLOS

(1) AdS1,0 = R S0 (c) = R {c, c}.

Observao 1.2.3. A presena da esfera de dimenso nula mostra
que temos um espao desconexo (os dois ramos da hiprbole).
(2) AdS0,1 = {0} S1 (c) S1 (c).
(3) AdS2,0 = R2 S0 (c) = R2 {c, c}.
Observao 1.2.4. A presena da esfera de dimenso nula mostra
que temos um espao desconexo (as duas folhas do hiperbolide. Se
fssemos fazer uma escolha fsica (mesmo num toy model), deveramos
escolher esse tipo de espao (no caso bidimensional); pois possui apenas
uma dimenso temporal, mas como o mesmo desconexo, no teramos
ligao do futuro com o passado.
(4) AdS1,1 = R S1 (c)
Observao 1.2.5. Esse um exemplo de espao AdS adotado na
literatura de Fsica, temos duas dimenses temporais, mas o mesmo
conexo.

1.3

Grupos de Isometria dos Espaos AdS

1.4

O Tensor de Curvatura dos Espaos AdS

10

Referncias Bibliogrficas
[1] L. W. Tu, An Introduction to Smooth Manifolds, 2nd Edition, Springer
Verlag, 2011
[2] J. Lee, Introduction to Smooth Manifolds, 2nd Edition, Springer Verlag,
2012

11