Emc 2013 V 8 C

La Correspondencia Hologrfica:
Color a Partir de Geometra

Alberto Gijosa
Depto. de Fsica de Altas Energas
Instituto de Ciencias Nucleares, UNAM
alberto@nucleares.unam.mx

Tema: la correspondencia hologrfica,
tambin llamada
dualidad o correspondencia
AdS/CFT,
norma/gravedad,
norma/cuerdas,
bulto/frontera
o de Maldacena
Dualidad {curso Hugo} = equivalencia entre
2 teoras aparentemente distintas

Conocemos ejemplos donde
Teora de campos A = Teora de campos B
Teora de cuerdas C = Teora de cuerdas D

En la correspondencia hologrfica,
Teora de campos X = Teora de cuerdas Y
(sin gravedad) (con gravedad)
Por qu nos importa?
Nuevo paradigma terico: equivalencia
entre sistemas CON y SIN gravedad!
borra la frontera entre campos y cuerdas!
Permite desarrollar intuicin sobre algunas
teoras de campo fuertemente acopladas
remotamente similares a QCD, posibles
modelos de fsica ms all del Modelo
Estndar, o sistemas de materia condensada
Ofrece una perspectiva novedosa sobre
algunos problemas difciles en gravedad
cuntica
Propicia acercamiento entre distintas
comunidades de fsicos

Aclaraciones
NO afirmamos haber resuelto QCD, ni
solucionado por completo el problema de la
gravedad cuntica, ni cosa similar!! Las
teoras bajo control actualmente son
interesantes, pero representan apenas
modelos de juguete del mundo real
Esta aplicacin de la teora de cuerdas es
ortogonal a la bsqueda de una teora
unificada {curso Sal}: NO buscamos al
Modelo Estndar aqu

Pero, lo que veremos s ES la teora de
cuerdas, mostrando ser til
Esta es un rea muuuuuuuuuuuuuuuuy extensa
(el artculo original de Maldacena, hep-th/9711200,
ha recibido cerca de 9,000 citas!!)

En estas 3 clases, intentar dar una breve
introduccin, resaltando algunas de las ideas
principales

Pueden encontrar mucho ms detalle en los
apuntes del curso de posgrado que est al final de
la pgina:
www.nucleares.unam.mx/~alberto
/apuntes/indice.html

Aharony, Gubser, Maldacena, Ooguri, Oz, hep-th/9905111
Polchinski, arXiv:1010.6134
Horowitz, Polchinski, gr-qc/0602037
DHoker, Freedman, hep-th/0201253
McGreevy, arXiv:0909.0518
Nastase, arXiv:0712.0689
Edelstein, Portugues, hep-th/0602021
Klebanov, hep-ph/0509087
Aharony, hep-th/0212193
Skenderis, hep-th/0209067
Sonnenschein, hep-th/0003032

Algunos Artculos de Revisin
Aspectos Generales de la Correspondencia
Casalderrey, Mateos, Liu, Rajagopal, Wiedemann,
arXiv:1101.0618
Gubser, Karch, arXiv:0901.0935
Mateos, arXiv:0709.1523
Myers, Vzquez, arXiv:0804.2423
Hubeny, Rangamani, arXiv:1006.3675
Son, Starinets, arXiv:0704.0240
Erdmenger, Evans, Kirsch, Threlfall, arXiv:0711.4467
Peeters, Zamaklar, arXiv:0708.1502
Gubser, Pufu, Rocha, Yarom, arXiv:0902.4041
Edelstein, Shock, Zoakos, arXiv:0901.2534
Heller, Janik, Peschanski, arXiv:0811.3113

Aplicaciones a Fsica Tipo QCD
Horowitz, arXiv:1002.1722
Herzog, arXiv:0904.1975
Hartnoll, arXiv:0903.3246
Sachdev, arXiv:1002.2947
Schfer, Teaney, arXiv:0904.3107

Aplicaciones a Materia Condensada (y Atmica)
Varios
Alday, Roiban arXiv:0807.1889 (amplitudes de dispersin)
Plefka, hep-th/0507136 (BMN y cadenas de espn)
Beisert et al., arXiv:1012.3982 (integrabilidad)
Kraus, hep-th/0609074 (agujeros negros)
Mathur, arXiv:0810.4525 (agujeros negros)

Entender el comportamiento de teoras de
norma en el rgimen de acoplamiento
fuerte
Formular una teora de gravedad cuntica
La correspondencia norma/gravedad establece
una relacin entre 2 problemas importantes de la
fsica terica moderna:
Motivacin
En este curso enfatizaremos el primer aspecto,
que es donde se ha avanzado ms
Partculas= excitaciones pequeas de un campo
cuntico
Recordemos que un particulero es en realidad
un campista:
Teoras de Campos
Solitn= excitacin grande (con energa finita)
de un campo
Recordemos que un particulero es en realidad
un campista:
Teoras de Campos
Ms en detalle, para un campo libre (ec. de mov. lineal),
las partculas son cuantos de ondas planas por encima
de valor de fondo:
( )
1
3
1
( , ) 0
(2 )
2
D
ip x ip x
p p
p
d p
x t a e a e
E
+
= + +
}
2 / p t =
x
( )
, x t
( )
, p t
( 1, 1, 1, , 1)
v
q = + + +
Operador que crea o aniquila 1 partcula en x
con , la expansin perturbativa nos da receta

sistemtica para calcular funciones de correlacin
(= correladores):
1 g
Para una teora interactuante, pero dbilmente acoplada,
( )
( )
2
2 2 3
1 1 1
2 2 3!
D
S d x m g = c
}
Amplitud de
probabilidad
g
Constante de
acoplamiento
controla la
intensidad de las
interacciones
1
x
4
x
3
x
1 2 3 4
0 ( ) ( ) ( ) ( ) 0 x x x x = +
2
x
~amplitud de empezar/terminar
con partculas en posiciones dadas
Isla de la
expansin
Perturbativa
1 g
1 g
Acoplamiento Fuerte?
Para los particuleros, el ejemplo paradigmtico de
una teora cuntica de campos fuertemente
acoplada es QCD
Quarks
Cromodinmica Cuntica (QCD)
( )
( ) 1, 2, 3 ( 1, , 6)
S
C
x C S
o
= =
I
I
( ) ( ) , 1, 2, 3 I 1, , 8
CC CC
A x A x t C C

= =
+
Gluones
Sabores (simetra global)
Quarks
( )
( ) 1, 2, 3 ( 1, , 6)
S
C
x C S
o
= =
I
I
( ) ( ) , 1, 2, 3 I 1, ,8
CC CC
A x A x t C C

= =
+
Gluones
2
YM
g
YM
g
YM
g
(3) SU
3 colores (tipos de carga fuerte)
Simetra
local
4 ( ) ( ) ( )
QCD
1
Tr( ) ( )
2
S S S
S d x F F i D m
v
v

(
= + +
(

}
YM
YM
,
i
D ig A F D D
g
v v
( c +

Quarks
( )
( ) 1, 2, 3 ( 1, , 6)
S
C
x C S
o
= =
I
I
( ) ( ) , 1, 2, 3 I 1, ,8
CC CC
A x A x t C C

= =
+
Gluones
2
YM
g
YM
g
YM
g
(3) SU
constante de acoplamiento
(magnitud de la carga
fuerte) : controla intensidad de las interacciones
Simetra
local
( )
( ) 1, 2, 3 ( 1, , 6)
S
C
x C S
o
= = Quarks
+
Gluones
Entendemos bien cuando (acoplamiento dbil)
YM
1 g
pero no tan bien cuando (acoplamiento fuerte)
YM
1 g >
usamos en ese caso clculos numricos en versin
discretizada del espaciotiempo: QCD en la red
2
YM
g
YM
g
YM
g
(3) SU
Simetra
local
I
I
( ) ( ) , 1, 2, 3 I 1, ,8
CC CC
A x A x t C C

= =
De: Bethke, hep-ex/0407021
Altas energas: acoplamiento dbil
Libertad asinttica
E
2
( )
4
YM
g E
t
De: Bethke, hep-ex/0407021
E
2
( )
4
YM
g E
t
Bajas energas:
acoplamiento fuerte
Normalmente da lugar a
confinamiento: solo vemos
objetos neutros de color
(protn, neutrn, pin, etc.)

Clculos en la red (euclideana) tiles para determinar
propiedades estticas (p.ej., espectro de hadrones,
entropa de QGP), pero NO dinmicas (p.ej.,
amplitudes de dispersin, viscosidad de QGP)
Expansin perturbativa intil
QCD a Bajas Energas
confinada o no (p.ej. plasma de quarks y gluones =QGP)
Podemos intentar formular modelos fenomenolgicos
(=tratar de adivinar, y cruzar los dedos)
O tratar de hacer clculos de primeros principios en una
teora distinta (pero, esperamos, similar): un
modelo de juguete de QCD (=universo imaginario)
es una teora de norma fuertemente acoplada

QCD sin quarks ( ) = Yang-Mills

Yang-Mills (con/sin quarks) con

Primas de QCD
(3)
c
SU 0
s
N =
Preserva libertad asinttica/confinamiento
( )
c
SU N 3
c
N >
Tomar con fija [t Hooft]

c
N
2
YM c
g N
Intentar
2
(3) ( ) (1/ )
c c c
SU SU O N +
Red: para ciertas propiedades,
da aproximacin razonable al caso !
c
N
3
c
N =
[Teper; Lucini, Panero;
Bali,Bursa,Castagnini,Collins,DelDebbio,Lucini,Panero]

QCD sin quarks ( ) = Yang-Mills

Yang-Mills (con/sin quarks) con

Primas de QCD
(3)
c
SU 0
s
N =
( )
c
SU N 3
c
N >
Tomar con fija [t Hooft]

c
N
2
YM c
g N
2
YM
g
acoplamiento de
t Hooft (a gluones
de cualquier color)
acoplamiento de
Yang-Mills (a gluones
de color especfico)
3-2
1-2
3-1
3-2
-2 n
3-n
2
YM c
g N Notar : vs.

Reescalando , tenemos

( ) ( )
aqui usual
YM
A g A

=
| |
4
2
1
Tr( ) Tr( ) Tr( )
YM
YM
S d x A A AA A AAAA
g
c c + c +
}

donde cada es una matriz

( )
CC
A A
c c
N N
Propagador libre:

2
2
1 1
0 ( ) (0) 0
DD CC
YM CD
DD CD CC
c
A x A g
N x
v v
q o o o o
| |

|
\ .
CC
DD
v
C
C
D C
D C
=
=
ignorar

Vrtices de gluones:

2
1
YM
g
2
1
YM
g

Adems, cada lazo de quark que se forme en un
diagrama contribuir factor de por suma sobre los
posibles colores.

c
N

Estos son ejemplos de diagramas planares: pueden
dibujarse en una hoja sin cruzar lneas

Podemos entonces fcilmente contar factores:

Para ellos, a L lazos (de glun), obtenemos

1 2 L
c
N

2
2 3 3 2
2
1
( )
YM c c
YM
g N N
g
| |
=
|
\ .
Props. Vrtices Lazos de quark

4
2 6 4 2 2
2
1
( )
YM c c
YM
g N N
g
| |
=
|
\ .

Sucede algo interesante si rellenamos los agujeros
(incluido el exterior, agregando el punto en infinito)
para asociar una superficie a cada diagrama de
doble lnea

Los diagramas no planares estn suprimidos por
potencias de :

1/
c
N
Tomar con fija simplifica la
teora porque retiene solo los diagramas
planares
c
N
2
YM c
g N
4
2 6 2 2
2
1
( )
YM c
YM
g N
g

| |
=
|
\ .

Los no planares tienen una manija adicional por cada
cruce de lneas:

Los diagramas planares se convierten en esferas :

Un diagrama con V vrtices (=vrtices del polihedro), A
propagadores (=aristas) y C lazos (=caras) es
proporcional a

donde es el nmero (o caracterstica)
de Euler de la superficie

V A C _ +
, un invariante topolgico
que puede reescribirse en la forma

con el nmero de manijas (=gnero de la
superficie). Esto da otra manera de explicar por
qu los diagramas no planares estn suprimidos
( )
2
A V
A V
C C A V
YM c c c
c
g N N N
N
_
| |
= =
|
\ .
2 2m _ =
m

Al agregar quarks, tenemos propagadores de 1 sola lnea,

lo cual corresponde a quitar caras, es decir, agregar
bordes:
vs.
6
2 9 5 3 2
2
1
( )
YM c c
YM
g N N
g

| |
=
|
\ .
6
2 9 4 3
2
1
( )
YM c c s
YM
g N N N
g
| |
=
|
\ .
Fijo

reduciendo el nmero de Euler:

con el nmero de bordes. Esto implica que los
diagramas con lazos de quarks estn suprimidos (a
menos que ).
2 2m b _ =
b
vs.
s c
N N

(divergencias IR pueden provocar la aparicin de
potencias no enteras de )

Concluimos entonces que las amplitudes tienen la forma

1
, , ,
, 0 0 , 0
( , )
L b
c s m b L c m b s
m b L m b
N N c N f N
_ _

= = =
=

Esta es la misma forma de la expansin perturbativa
en una teora de cuerdas con acoplamiento
{curso de Norma}
(suma sobre superficies pesada con ) !!!
1/
c c
g N =
c
g
_

(divergencias IR pueden provocar la aparicin de
potencias no enteras de )

Concluimos entonces que las amplitudes tienen la forma

Si solo hay gluones (campos en rep. adjunta, i.e.,
matrices), no hay bordes: se trata de una teora
de cuerdas cerradas
Si adems hay quarks (campos en rep. fundamental,
i.e., columnas), s puede haber bordes: se trata de
una teora de cuerdas cerradas y abiertas
1
, , ,
, 0 0 , 0
( , )
L b
c s m b L c m b s
m b L m b
N N c N f N
_ _

= = =
=

Esta es la misma forma de la expansin perturbativa
en una teora de cuerdas con acoplamiento
{curso de Norma}
(suma sobre superficies pesada con ) !!!
1/
c c
g N =
c
g
_

Por supuesto, este argumento apenas sugiere una
conexin con alguna teora de cuerdas, puesto que no
tenemos verdaderas superficies
Expansin perturbativa vlida: dominan
diagramas con pocos vrtices
Intuitivamente, dominan diagramas con
muchos vrtices, acaso se llenan los hoyos para
dar verdaderas superficies?
1
1
De ser as, la expansin en potencias de
podra estar conectada con la expansin en
(el inverso de la tensin de la cuerda)
1/
2
c
l o
'
Y el argumento de t Hooft tampoco nos dice cul teora

de cuerdas sera relevante
Como veremos, AdS/CFT hace todo esto muy explcito

Se puede mostrar que, a pesar de que gluones y quarks
estn fuertemente acoplados a bajas energas, la
expansin alrededor del lmite de
logra que las glubolas y los mesones que ellos
forman se vuelvan dbilmente acoplados entre s ,
con cte. de acoplamiento y ,
respectivamente! [Witten]

El caso de los bariones es distinto: por ser estados
ligados de quarks, su energa escala como ,
y aparecen como solitones (objetos no perturbativos)
de los campos mesnicos [Witten]
Para mayor informacin (incluyendo fenomenologa),
ver p.ej. Manohar, hep-ph/9802419
Para entender mejor el rgimen de acoplamiento
fuerte, nos conviene cambiar a una prima ms
distante de QCD
c
N
c
N
c
N
1/
c
N 1/
c
N
4 = N
= Super-Yang-Mills con supersimetras
4 = N
( )
c
SU N

Yang-Mills (QCD SIN quarks):
+ 6 campos escalares sin masa:
+ 4 espinores de Weyl sin masa:
+ interacciones de 3 y 4 pts. sincronizadas con cuidado
( )
c
SU N
Una Prima Lejana de QCD
( ) , 1, ,
c
CC
A x C C N
=
( ) 1, , 6
I
CC
x I u =
( ) 1, , 4
A
CC
x A
o
=
Caso particular de SYM con:
1 multiplete/supercampo vectorial {curso Myriam}
+3 multipletes/supercampos quirales sin masa
+ superpotencial
1 = N
(o de SYM con: 1 multiplete vectorial
+1 hipermultiplete sin masa )
2 = N
r
u
V
| | ( )
1 2 3
Tr , W u u u
SYM
Teora invariante bajo reescalamientos an a nivel
cuntico NO corre con la energa!! [Sohnius,West]

YM
g
4 = N
2 2
2
1
Tr
2 8
C , C , , ,
2
A A I I
YM
YM
AB I AB I I J I J
YM
YM I A B YM I A B
F F F F i D D D
g
g
g g
v v
v v
u
o
t

= + u u
( ( ( (
+ u + u + u u u u
`

)
L
(Puede entenderse como reduccin dimensional de
SYM en 9+1 dim {curso Sal} )

1 = N
nmeros (coefs. de Clebsch-Gordan)

Lorentz + Translaciones
Simetra espaciotemporal:
(4, 2) Poincar(3,1) (3,1) SO SO = Grupo Conforme
+ Dilataciones (reescalamientos)
+ Transformaciones conformes especiales
M
v
P
D x s x

2
2 2
1 2
x a x
x
a x a x

+ +
( )
( )
[ , ] perm; [ , ] ;
[ , ] 0; [ , ] 0; [ , ] ;
[ , ] 2 2 ;
[ , ] 0; [ , ] ; [ , ]
M M i M M P i P P
P P K K M K i K K
P K i M i D
M D D P iP D K iK
v o vo v v v
v v v
v v v
v
q q q
q q
q
= =
= = =
=
= = =
4 = N
SYM es una
Teora de Campos Conforme (CFT)
4 = N
que rota entre s los
y (por separado) los
rota tambin las supercargas: Simetra R
Simetra interna global: (4) (6) SU SO
'
( ) 1, , 6
I
CC
x I u =
'
( ) 1, , 4
A
CC
x A
o
=
Simetra ferminica global:
16 supercargas usuales
+ 16 supercargas conformes
1, , 4
A
Q A
o
=
1, , 4
A
S A
o
=
Teora de Campos Superconforme (SCFT)
{ , } ; [ , ] ; [ , ] ; { , } ;
[ , ] ; [ , ] ; { , }
2 2
Q Q P K Q S P S Q S S K
i i
D Q Q D S S Q S M D R = = + +

:

:
QCD vs. SYM
Asintt. libre
Confinada en IR
Solo partculas masivas
Potencial lineal
No Supersimtrica

4 = N
0 T =
Conforme
Desconfinada siempre
No hay escala de masa
Potencial de Coulomb
Supersimtrica
=
desconfinamiento
T T >
Aprox. conforme
Desconfinada
Plasma no abeliano de
gluones y quarks
Potencial apantallado
No Supersimtrica

Desconfinada
Plasma no abeliano de
gluones y materia extica
Potencial apantallado
Supersimetra rota

~
2
/ 0
YM
dg dE =
2
/ 0
YM
dg dE <
4
T c
4
T c
(Aunque: mismas amplitudes glunicas a nivel rbol)
Como veremos, la dualidad norma/gravedad
afirma que podemos entender a esta (y otras)
prima(s) de QCD en trminos de una cierta
teora de cuerdas que vive en un cierto
espaciotiempo curvo
As que SYM
a temperatura cero nos sirve solo como
laboratorio terico,
y a temperatura finita podra servirnos
adems como modelo de juguete para el QGP
del mundo real
4 = N
Para deducir esta correspondencia,
necesitamos recordar un par de ingredientes
cuyas excitaciones pequeas son descritas por cuerdas:
gravitn + bosones de norma + fermiones + etc.
tamao , acoplamiento
c
g
c
l
Qu es la Teora de Cuerdas?
Dentro de la teora de cuerdas, el espaciotiempo
resulta ser apenas parte de una estructura mucho ms
compleja (~ un campo de cuerdas)
3 19
10 GeV< 10 GeV
c
m <
35 19
10 m 10 m
c
l

< <
Excitaciones perturbativas sobre algn fondo (no
necesariamente plano) {curso de Norma}
0 m=
4 /
c
m l =
8 /
c
m l =
Para modelos de unificacin,
1GeV
c
m
Para aplicaciones tipo QCD
(origen histrico de cuerdas),
Teora de Cuerdas
Gravitn
+ Fermiones
Bosones de Norma
0 m=
1 1
...
, , , ,
p
MN M MN M M
h B A C
+
Dilatn
Contenido de la teora de campos conocida como
Supergravedad (SUGRA) en
{curso Elena}
1, 2 = N
9 1 D= +
Descripcin efectiva a bajas energas:
Interacciones se resumen en accin efectiva
( )
( )
1 2 2
2
10 2 2
IIB [ ]
2
[ ]
1,1,3
16
1 1
4( )
12
1
fermiones
( 2)!
trminos con ms derivadas suprimidos por
N
p
M M NL
M M M
p
n
c
G
S d x g e R B
C
p
l
| |
= + c c
|
\ .
(
c + +
(
+
+
}
Teora de Cuerdas IIB

Interacciones se resumen en accin efectiva
( )
( )
1 2 2
2
10 2 2
IIB [ ]
2
2
[ ]
1,1,3
1 1
4( )
2 12
1
fermiones
( 2)!
trminos con ms derivadas suprimidos por
p
M M NL
M M M
p
n
c
S d x g e R B
C
p
l
k
+
| |
= + c c
|
\ .
(
c + +
(
+
+
}
Es importante tener presente que la teora de cuerdas NO

es nicamente una teora DE CUERDAS {curso Hugo}
Teora de Cuerdas IIB
01
( )
p
C r ( ) r
( )
MN
g r
( )
( )
( )
( )
8
1/ 2 2 2 1/ 2 2 2 2
0
(3 )/ 4 1
7
5
7 7 7
2
7
01
2
,
ex
( )
p ( ) ( ) , 1 ,
( ) 1 , ( )
p
M N
p
p
s
p
p
MN
p
p p p
c c
p
dx dx H dx dx H dr r d
g H H
L
H r L g Nl
g r
C r
r
r
t
= + + + + O
= =
+ I
Branas Negras
Ecs. de SUGRA tienen soluciones solitnicas {curso Elena}
r
1
, ,
p
x x
8 p
S
[Horowitz,Strominger]
Explcitamente, en el caso extremal (masa=carga):
horizonte de
eventos
Branas Negras
1
(2 )
p
p p
s s
NV
M
g l t
+
=
0 r =
8 p p
S R
r
Versiones extendidas (p-dim) de agujeros negros cargados:
1
, ,
p
x x
Direcciones longitudinales
omitidas
[Horowitz,Strominger]
Q N =
(por distorsin de
espaciotiempo)
(por ley de Gauss)
cuyas excitaciones son descritas por cuerdas abiertas
D-branas
1
, ,
p
x x
Dp-brana
[Dai,Leigh,Polchinski]
Las D-branas {curso Hugo} son objetos dinmicos
,
i
A
u
0, , 1, , 9 p i p = = +
+ fermiones + etc.
1
, ,
p
x x
( ) ( )
,
i
IJ IJ
A
u
0, , 1, , 9 p i p = = +
+ fermiones + etc.
I
J
N Dp-branas
, 1, , I J N =
D-branas Mltiples
1
, ,
p
x x
( ) ( )
,
i
IJ IJ
A
u
0, , 1, , 9 p i p = = +
+ fermiones + etc.
I
J
N Dp-branas
, 1, , I J N =
Super-Yang-Mills en
con grupo de norma y
(7 ) / 2
2
p
= N 1 D p = +
( ) U N
2 2 3
(2 )
p p
YM c c
g g l t

=
[Witten]
1/(7 )
1/ , 1/ ( )
p
c c c
E l g N l
D
1
,
(2 )
p
p Dp
p p
c c
NV
M Q N
g l t
+
= =
Esta masa y carga coinciden con las de la
p-brana negra!
D-branas Mltiples
(bajo )
1 1
...
p
M M
C
+
[Polchinski]
p-Brana Negra
N Dp-branas
+ Espacio Plano
Misma masa y carga [Polchinski]

D-branas vs. Brana Negra
p-Brana Negra
N Dp-branas
+ Espacio Plano
Mismas amplitudes de dispersin

[Klebanov,Thorlacius; Garousi,Myers;
Gubser,Hashimoto,Klebanov,Maldacena]
D-branas/Cuerdas Abiertas? Espacio Curvo?
=
[Polchinski]
p-Brana Negra
N Dp-branas
+ Espacio Plano
D-branas/Cuerdas Abiertas? Espacio Curvo?
=
[Polchinski]
p-Brana Negra
N Dp-branas
+ Espacio Plano
Tomemos . A bajas energas,

ocurren 2 cosas importantes
1/4
1/ 1/ (4 ) , 1/ ,
c c c
E L g N l E l t
3 p =
Deduccin de AdS/CFT
=
Primero, dado que la seccin eficaz de absorcin
,
en el lmite la(s) (D-)brana(s)
no puede(n) comunicarse con el exterior
Deduccin de AdS/CFT
8
( ) EL o
[Klebanov; Gubser,Klebanov,Tseytlin;
Gubser,Klebanov; Gubser,Hashimoto]
, 0
c
EL El
=
As que cada sistema se divide en 2 componentes
desacoplados
Deduccin de AdS/CFT
=
Segundo, estos componentes se simplifican
drsticamente
Deduccin de AdS/CFT
=
En el lado derecho, dado el factor de corrimiento al rojo

bajas energas implican a arbitraria
ARBITRARIA a
Deduccin de AdS/CFT
1/ 4
4
prop prop
4
( ) ( ) 1 ( )
tt
L
E g r E r E r
r
| |
= = +
|
\ .
prop
( ) 1 E r L
r
prop
( ) E r
,
c
r L l
=
=
El componente exterior es el MISMO en ambos lados,
as que podemos cancelarlo
Supergravedad libre
en 9+1 dim planas
Deduccin de AdS/CFT
( ) ( )
5
1/ 2 2 2 1/ 2 2 2 2
( ) 1
0123
4
4
( ) ,
, ( ) 1 ,
( ) 1
M N
MN
r
c
g r dx dx H dt dx H dr r d
e g C r H
L
H r
r
= + + + O
= =
+
X
Deduccin de AdS/CFT
En lo que resta del
lado izquierdo,
=
( )
5
2 2
2 2 2 2 2
2 2
( ) ,
M N
MN
r L
g r dx dx dt dx dr L d
L r
(
= + + + O
(

anti-de Sitter 5-dim (cua de Poincar)
Deduccin de AdS/CFT
=
Cuerdas IIB en AdS
5
xS
5

(con dilatn constante y N unidades de flujo del
campo Ramond-Ramond a travs de S
5
)

Deduccin de AdS/CFT
0123
C
=
SYM SU(N) en 3+1 dim Cuerdas IIB en AdS
5
xS
5
Deduccin de AdS/CFT
En lo que resta del
lado izquierdo,
=
=
=
!!
[Maldacena; Gubser,Klebanov,Polyakov; Witten]
Deduccin de AdS/CFT

SYM SU(N) en 3+1 dim Cuerdas IIB en AdS
5
xS
5
SIN gravedad CON gravedad
SYM
en 3+1 dim
Cuerdas IIB en espaciotiempo
[Maldacena]
Esta equivalencia suena totalmente absurda, pero, 15.5
aos y 9000 citas despus, sigue pareciendo cierta!
Partculas vs. Cuerdas
CON color SIN color
( )
c
SU N
4 = N
5
5
AdS S
espaciotiempo PLANO espaciotiempo CURVO
3+1 dim 9+1 dim
A pesar de las marcadas diferencias, estas 2 teoras son
equivalentes: existe un diccionario que traduce entre ellas
Correspondencia AdS/CFT
=
Idea revolucionaria: la presencia/ausencia de gravedad,
y el nmero de dimensiones del espacio, pueden
depender del punto de vista que adoptemos!!
La mera existencia de esta conexin es sorprendente!!
SYM
en 3+1 dim
[Maldacena]
( )
c
SU N
4 = N
5
5
AdS S
=
=
OJO: Ninguna de estas 2 teoras describe
NUESTRO universo!
Se trata de 2 universos imaginarios (si
acaso, modelos de juguete del nuestro),
que resultan ser uno mismo!!
SYM
en 3+1 dim
[Maldacena]
( )
c
SU N
4 = N
5
5
AdS S
La equivalencia NO ha sido demostrada rigurosamente, por lo
que, a nivel de fsica matemtica, se mantiene como
conjetura (de hecho, en toda la fsica de altas energas
el nivel de rigor matemtico no logra ser muy alto)
Ms an, NO tenemos una definicin completa (no
perturbativa) de IIB, e incluso a nivel perturbativo hay
obstculos tcnicos para clculos en fondo AdS (por
presencia de campo Ramond-Ramond)
An as, a la fecha hay tanta evidencia acumulada a favor de
la correspondencia, que la postura de consenso es
suponer que es correcta como hiptesis de trabajo,
y utilizarla para extraer consecuencias
Si la asumimos como cierta, nos da una definicin no
perturbativa de cuerdas IIB en AdS (y ste NO es un
enunciado vaco, porque sabemos bastante de IIB)
Teora de campos
en d dim
El anterior es apenas el ejemplo mejor entendido de una
correspondencia norma/gravedad ms general:
Correspondencia Norma/Gravedad
=
Teora de cuerdas en cierto
espaciotiempo con D>d dim
P.ej., si ponemos a las D3-branas no en Minkowski 9+1 R
9,1
,
( )
5
2 2 2 2 2
dt dx dr r d + + + O
sino en R
3,1
x la conidad (=conifold) {curso Elena},
( )
( )
( )
2
1
1 1 2 2 9
2 2 2 2
2
2 2 2
1
6
1
cos cos
sen
i i i
i
d d d
dt dx dr r
d d
u | u |
u u |
=
(
+ +
(
+ + +
( | |
+ +
| (
\ .

1,1
T
9,1
,
( )
5
2 2 2 2 2
sino en R
3,1
( )
( )
( )
2
1
1 1 2 2 9
2 2 2 2
2
2 2 2
1
6
1
cos cos
sen
i i i
i
d d d
dt dx dr r
d d
u | u |
u u |
=
(
+ +
(
+ + +
( | |
+ +
| (
\ .

R
6
D3

1,1
T
5
S
D3

r
r
vs.

Conidad

9,1
,
( )
5
2 2 2 2 2
sino en R
3,1
entonces la teora de norma que se obtiene sobre las D3 a
ultra-bajas energas es distinta:
todava es una CFT, pero solo con SUSY ,
tiene grupo de norma ,
con supercampos quirales
1 = N
( ) ( )
c c
SU N SU N
1 2 1 2
, , , A A B B [Klebanov,Witten]
y la teora de cuerdas IIB dual vive en :
1,1
5
AdS T
( )
5
2 2
2 2 2 2 2 2
2 2
,
r L
ds dt dx dr L ds
L r
(
= + + +
(

9,1
,
( )
5
2 2 2 2 2
sino en R
3,1
entonces la teora de norma que se obtiene sobre las D3 a
ultra-bajas energas es distinta:
todava es una CFT, pero solo con SUSY ,
tiene grupo de norma ,
con supercampos quirales
1 = N
( ) ( )
c c
SU N SU N
1 2 1 2
, , , A A B B [Klebanov,Witten]
y la teora de cuerdas IIB dual vive en
1,1
5
AdS T
ste todava es un ejemplo AdS/CFT;
tambin existen ejemplos no-AdS/no-CFT
Justo como un holograma logra
reproducir una imagen 3D a partir de
una pelcula 2D, la teora de campos
captura la informacin de una teora
en ms dimensiones
Holografa
Teora de campos
en d dim
Conocemos ejemplos que involucran p.ej. a primas ms
cercanas de QCD: con quarks, sin supersimetra, con
confinamiento, con rompimiento de simetra quiral,
correspondencia hologrfica ms general:
[Sakai-Sugimoto(-Witten); Klebanov-Strassler; Maldacena-Nez;
Polchinski-Strassler; Freedman-Gubser-Pilch-Warner; etc.]
Y otros con similitud a sistemas de materia condensada
(superfluidos, superconductores, metales extraos,)
=
Correspondencia Hologrfica
Teora de cuerdas en cierto
[Son; Balasubramanian,McGreevy; Kachru,Liu,Mulligan; Gubser;
Hartnoll,Herzog,Horowitz; Hartnoll, Polchinski, Silverstein, Tong; etc.]
Teora SIN gravedad
con d dim
Existen ejemplos donde el lado izquierdo NO es una
teora de CAMPOS (modelos matriciales, no
conmutatividad, teora de cuerditas, etc.)
correspondencia hologrfica ms general
[Brezin, Kazakov, Zamolodchikov; Gross, Klebanov; McGreevy, Verlinde;
Douglas, Klebanov, Kutasov, Maldacena, Martinec, Seiberg; Itzhaki,
McGreevy; Russo, Maldacena; Aharony, Berkooz, Kutasov, Seiberg; etc.]
Y algunos otros donde el lado derecho NO parece ser una
teora de CUERDAS (teoras de alto espn)
=
Correspondencia Hologrfica
Teora CON gravedad en
y cierta asintopia
[Klebanov, Polyakov; Giombi, Yin; Gaberdiel, Gopakumar; etc.]
SYM
en 3+1 dim
[Maldacena]
( )
c
SU N
4 = N
5
5
AdS S
=
Para apreciar mejor el enunciado de la correspondencia,
nos falta entender mejor qu cosa es AdS
Espacio Anti-de Sitter
Espacio mximamente simtrico con curvatura negativa,
definido como (cubierta universal de) hiperboloide en :
2 2 2 2 2 2 2
0 1 2 3 4 5
X X X X X X L + + + + =
4,2
R
2 2 2 2 2 2 2
0 1 2 3 4 5
X X X X X X L + + + + =
4,2
R
Coords. globales:
( )
0
5
2 2 2 2 2 2 2
3
cosh cos
senh
cosh sen
cosh senh
A A
X L
X L
X L
ds L d d d
t
t
t
=
= O
=
= + + O
0 , , 0 1
A
t s < < s O s
( 1, , 4, 1)
A A
A= O O =
En trminos de una coordenada radial modificada,
la mtrica se reescribe en la forma
( )
2
2 2 2 2 2
3
2
sen
cos
L
ds d d d t o o
o
= + + O
tan senh 0
2
t
o o = s s
Haciendo una transformacin de Weyl (=conforme),
podemos eliminar el factor de enfrente, respetando
las direcciones nulas, para visualizar a AdS
completo en una regin (espacial) finita. La
representacin resultante se conoce como el
diagrama de Penrose de AdS
Diagrama de Penrose:
,
2
t
o = =
0
0
o
=
=
0 t =
t
,
2
t
o = =
1 2 3
, , u u u
Diagrama de Penrose
(corte a ):
0 =
0 t =
El infinito espacial
(y nulo) es una
superficie tipo
tiempo
AdS NO es global-
mente hiperblico.
Es importante
especificar
condiciones de
frontera
t
t t =
t t =
1
0, u t =
La luz toma un
tiempo finito
en llegar a la
frontera
,
2
t
o = = ,
2
t
o = =
2 2 2 2 2 2 2
0 1 2 3 4 5
X X X X X X L + + + + =
Coords de Poincar (u horosfricas)
( )
( )
( )
2 2
2 2 2
0
4
2 2
2 2 2
4 5
4
2 2
2 2 2 2
2 2
1 ,
2
1 ,
2
L r r
X L x t X x
r L L
L r r
X L x t X t
r L L
r L
ds dt dx dr
L r
| |
= + + =
|
\ .
| |
= + =
|
\ .
= + +
0 , , r t x s < <
4,2
R
r =
0 r =
t =
t =
0 t =
Observadores a r=cte.
comparten un
horizonte de
aceleracin en r=0
(como en Rindler,
relevante para
efecto Unruh, PERO
aqu con T=0)
0 r =
Coords. de Poincar
cubren solo una
parte de AdS
Diagrama de Penrose
(corte a ):
1
0, u t =
Estas son las coords.
que aparecieron
naturalmente en
deduccin de
AdS/CFT
r =
0 r =
t =
t =
0 t =
Trayectorias tipo
tiempo (o nulas)
cruzan el horizonte
en tiempo global
finito, pero en
tiempo de
Poincar (y de
SYM) infinito
0 r =
Diagrama de Penrose
(corte a ):
1
0, u t =
Estas son las coords.
que aparecieron
naturalmente en
deduccin de
AdS/CFT
x
r
0 r =
r =
2 2 2 2 2 2
( / ) ( ) ( / ) ds r L dt dx L r dr = + +
Desde ahora, denotaremos cua de Poincar as:
5
AdS ( ) L
x
2
/ z L r
5
AdS ( ) L
z =
0 z =
2 2 2 2 2
( / ) ( ) ds L z dt dx dz = + +
O, equivalentemente:
x
2
/ z L r
z =
0 z =
2 2 2
( / ) ( ) ds L z dx dx dz
v
v
q = +
Teora de Cuerdas en AdS
Las fluctuaciones de este fondo pueden ser pequeas
5
AdS ( ) L
x
2
/ z L r
z =
0 z =
2 2 2
( / ) ( ( , ) ) ds L z g x z dx dx dz
v
v
= +
5
AdS ( ) L
pero tambin pueden ser grandes
Teora de Cuerdas en AdS
El espaciotiempo puro corresponde al vaco de SYM
La geometra del lado derecho es dinmica:
5
AdS
Excitaciones (grandes o pequeas) sobre
corresponden a otros estados
5
AdS
[Maldacena]
Ms en general, cualquier objeto o proceso de un lado
corresponde a algn objeto o proceso en el otro lado
Existe un diccionario (todava en construccin) que
traduce de un lenguaje al otro
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
2
4
YM c
g g t =
IMPORTANTE: la teora de cuerdas bajo control a nivel de
clculos solo si el espacio est dbilmente curvado y
cuerdas estn dbilmente acopladas
2 4 4
/
YM c c
g N L l =
c
N =
Diccionario AdS/CFT
Unidades de flujo de
a travs de
MNOP
C
5
S
acopl. de
t Hooft:
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Clculos fciles en gravedad
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
1,
c c
g l L
5
5
AdS S
Diccionario AdS/CFT
2 2
1, 1, 1
YM c YM c
g N g N
Clculos fciles en gravedad
permiten acceso a SYM
con acoplamiento fuerte!
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Diccionario AdS/CFT
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Diccionario AdS/CFT
Lo ms fcil es hacer clculos en el lmite de
acoplamiento infinito en SYM, y ,
donde:
c
N
2
YM c
g N
2 2 2
/ / 0
c
L l L o
'

Con ms esfuerzo, pueden incorporarse correcciones en
, que en SYM corresponden a
2
1/
YM c
g N
0
c
g , as que IIB es libre/clsica
, as que IIB se describe de
manera exacta con SUGRA
2
/ L o
'
Las correcciones cunticas en potencias de
(difciles de calcular!) incorporan interacciones en IIB y
corresponden en SYM a correcciones en 1/
c
N
c
g
2 2
1, arbitrario, 1
YM c YM c
g N g N
Clculos fciles en SYM
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Diccionario AdS/CFT
Clculos fciles en SYM
permiten acceso a gravedad cuntica
en fondo altamente curvado
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
Pero, en general, es difcil interpretar
resultados geomtricamente (fondo
es muy cuerdero, no aproximado
como espacio con mtrica)
1, / arbitrario,
c c c c
g L g l l L
[Gopakumar; Aharony et al.; Berenstein;
Sundborg,Haggi-Mani; Bianchi,Morales,Samtleben;
Beisert et al.; Clark,Karch,Kovtun,Yamada; etc.]
5
5
AdS S
Diccionario AdS/CFT
Notar que todo esto empata con la forma de la conexin
entre teoras de norma y teoras de cuerdas sugerida por
t Hooft: con fija nos da una teora
de cuerdas con acoplamiento
AdS/CFT nos da una implementacin explcita de las ideas
de t Hooft, identificando la teora de cuerdas involucrada y
el significado de , con un par de sorpresas:
Diccionario AdS/CFT
El lenguaje dual involucra a la gravedad!!
La teora de cuerdas vive en un espaciotiempo
curvado, con mayor nmero de dimensiones!!
c
N
2
YM c
g N
1/
c
N
SYM
en 3+1 dim
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
SYM
en Mink 3+1
Cuerdas IIB
en
4 = N
5
aAdS
2 Distintos Lmites Clsicos
/
Lmite clsico en
variables de
SYM
c
N
2
YM
( 0)
c
g N
SYM
0
Lmite clsico en
variables de
IIB
IIB
( 0,
0)
c
g
(4, 2) (4, 2) SO SO =
Grupo Conforme Isometras de
5
AdS
(4) (6) (6) SU SO SO =
Simetra R
5
S
Grupo de Norma
( )
c
SU N Nada !
Isometras de
Primera Evidencia
T. de Cuerdas IIB en
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Para poner a prueba: empatan las simetras?
=
16+16 supersimetras
32 supersimetras
Difeomorfismos 9+1 dim Nada !
Estas 2 ltimas no son en realidad simetras, sino

redundancias de la descripcin
La correspondencia opera al nivel de cantidades
fsicas, que son por tanto invariantes de norma
,
mientras que del lado de IIB {curso Hugo} mezcla al
dilatn con el axin (= escalar RR ) y tambin
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Aunque no lo habamos mencionado antes, se cree
tambin que ambas teoras poseen una simetra
discreta no perturbativa con grupo , conocida
como dualidad S
(2, ) SL Z
, que del lado de SYM mezcla
(es decir, ) y tambin
F F
v v
2
YM YM
g u
I I
E B
MN MN
B C
Las simetras entonces empatan perfectamente, pero
qu pasa con el desacuerdo de dimensiones?
Para poner a prueba: empatan las simetras?
[Montonen,Olive]
[Hull,Townsend;Witten]
Primera Evidencia
( )
3 1: , D t x = +
( )
1 5
9 1: , , ; , , D t x r u u = +
x
r
0 r =
r =
5
AdS ( ) L
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Diccionario AdS/CFT
1 5
, , u u =
x
r
0 r =
r =
Espacio interno
de simetra R
5
S ( ) L
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
r =
x
r
0 r =
r =
???
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
( , ) ( , ) ( , , ) ( , , ) t x st sx t x z st sx sz
en particular, dilatacin
As que escala como una distancia, z
2
L
r
z
=
escala como una energa
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
(4, 2) (4, 2) SO SO =
Grupo Conforme Isometras de
5
AdS
(que en verdad deja invariante a

)
2
2 2
2
( )
L
ds dx dx dz
z
v
v
q = +
2
/ E r L =
r
0 r =
r =
[Susskind,Witten; Polchinski,Peet]
Energa
UV
IR
x
5
AdS ( ) L
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Conexin UV/IR
Implementacin
geomtrica del grupo
de renormalizacin
2
/ E r L =
[Susskind,Witten; Polchinski,Peet]
Energa
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Es importante tener presente que, an cuando para
deducir la correspondencia consideramos al
sistema de D3-branas en un lmite de ultra-bajas
energas, las 2 teoras que obtenemos como
resultado final estn bien definidas a energas
arbitrariamente altas, y la dualidad incluye TODAS
las escalas energticas
(En otras palabras, despus de cancelar

NO podemos ya regresar a la regin asintt. plana)
4
4
( ) 1
L
H r
r
+
X
En cualquier teora de campos, nos interesan las funciones
de correlacin, como p.ej.

Qu Queremos Calcular?
Orden temporal: colocar operadores de tal forma
que el tiempo aumenta de izquierda a derecha
{ }
1
1 1
1
0 ( ) ( ) 0
n
C C C C
n n
n
T A x A x

En cualquier teora de campos, nos interesan las funciones
de correlacin, como p.ej.

Pero, tratndose de una teora de norma, la informacin
fsica est en correladores de operadores invariantes
de norma, como p.ej.
{ }
1
1 1
1
0 ( ) ( ) 0
n
C C C C
n n
n
T A x A x

( ) Tr( ( )), ( ), Tr( ( )),
Tr( )Tr( ( )), etc.
I A
I A
x F F x T x F D x
F F F D x
v
v v v o
v
v v o
u
u
O
Conviene pensar en correladores en cuantizacin por
integral funcional (en lugar de cuantizacin cannica),

{ } | |
1 1 1 1 SYM
0 ( ) ( ) 0 ( ) ( ) exp
n n n n
T x x DA x x iS
=
}
O O O O
Integral sobre todas las
configuraciones de los
campos (sin importar ec. de
mov.): suma sobre todas las
funciones

Evolucin temporal
(en versin
lagrangiana,
covariante bajo
Lorentz)

( ), ( ), ( )
CC
I A
CC CC
A x x x
o
u

{ } | |
1 1 1 1 SYM
0 ( ) ( ) 0 ( ) ( ) exp
n n n n
T x x DA x x iS
=
}
O O O O
1
1
( ) ( )
n
i i n
x x O O
{ } | |
1 1 1 1 SYM
0 ( ) ( ) 0 ( ) ( ) exp
n n n n
T x x DA x x iS
=
}
O O O O
Todos los correladores se resumen en la funcin de
particin o funcional generatriz

4
SYM
[ ] exp ( ) ( )
I A
j j j
CC CC
j
Z J DA D D iS i d x x J x
(
u +
(

} }
O
1
1
1
1
0
1
( ) ( ) [ ]
[0] ( ) ( )
n
n
j
i i n j
i i n
J
x x Z J
Z i J x i J x
o o
o o
=
= O O

Fuentes
externas

Nuestro objetivo ser entonces calcular

Notar que NO apagar las fuentes equivale a cambiar de
teora:
( )
4
SYM
[ ] SYM exp ( ) ( )
j j j
j
Z J D iS i d x x J x
(
+
(

} }
O
4
SYM deformada SYM
( ) ( )
j j
j
S S S d x x J x +
}
O
Con operadores marginales (= con dimensin 4 =
estrictamente renormalizables), seguimos teniendo CFT
Con operadores relevantes (= dim < 4 = sper-
renormalizables), la teora ser muy distinta a bajas
energas (p.ej., confinante, sin supersimetra)
Cualquier teora de campos bien definida es una
deformacin de una CFT (=punto fijo en UV)
[Gubser,Klebanov,Polyakov;Witten]
Operador invariante
de norma con una
sola traza
( ) ( , ) x x r | O
Campo en AdS
(armnico en )
5
S
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
1 5 1 5
1 5
1 5 1 5
, ,
( , , , , ) ( , ) ( , , )
l l l l
l l
x r x r Y | u u | u u =
Expansin de Kaluza-Klein {curso Sal}

p-Brana Negra
N Dp-branas
+ Espacio Plano
=
[Polchinski]
( ) x O
( , ) x r |
( , ) x r |
4
3
( , 0) ( )
D
S d x x r x | =
}
O
Producto de campos de SYM:
crea partculas

En el lmite ( ), los campos son
libres, y crean estados de 1 partcula. Esto empata con
la propiedad de factorizacin para grande

y muestra que la equivalencia se puede formular a nivel de
estados, con creando edos. de 1 partcula (compuesta)
2
Tr[ ( ) ] ( , ) F x x r +
p.ej.,
dilatn (onda s)
( ) Tr[ ( ) ] ( , ) T x F F x h x r
v v v
= + gravitn (onda s)
Diccionario AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Operador invariante
de norma
( ) ( , ) x x r | O
c
N
( , ) x r |
[Banks,Douglas,Horowitz,Martinec; Balasubramanian,Giddings,Lawrence]
Campo en AdS
(armnico en )
5
S
1 1 2 1
1 1 2 1
( ) ( ) ( ) ( ) ( ) ( ) (1/ )
n n n
i i n i i i n i n c
x x x x x x O N

= + O O O O O O
c
N
c
N
( ) x O
0
c
g
Diccionario AdS/CFT
Dado que ambas teoras poseen las mismas simetras
globales, ambos tipos de objetos se organizan
naturalmente en (super)multipletes, particularmente
del grupo (super)conforme
1,1
( ) x O
1,2
( ) x O
1,3
( ) x O
2,1
( ) x O
2,2
( ) x O
2,3
( ) x O
| |
1
, Q
| |
2
, Q
| |
3
, Q
, P
(

, P
(

, P
(

, P
(

Del lado de SYM, estos multipletes contienen
operadores con dimensin de escala bien definida:

cuando
Diccionario AdS/CFT
( ) ( ) x s sx
A
O O
Dado que ambas teoras poseen las mismas simetras
globales, ambos tipos de objetos se organizan
naturalmente en (super)multipletes, particularmente
del grupo (super)conforme
| |
( )
, ( ) ( ) D x i x x
= A+ c O O
x sx
En la teora libre, sta es simplemente la dimensin
clsica (p.ej., para ), pero las
interacciones agregan una dimensin anmala
(que en general solo sabemos calcular cuando )
4 A =
2
Tr[ ( )] F x
1
, cuya relacin con la masa
del campo resulta ser
si es escalar
Del lado de AdS, se puede mostrar que
corresponde a la energa con respecto al tiempo en
coordenadas globales
Diccionario AdS/CFT
A
( , ) x z |
2 2
( 4) / m L = A A
|
si tiene espn 1/2, 3/2 ( 2) / m L = A
si es una -forma p
2 2
( )( 4) / m p p L = A A+
si tiene espn 2
2 2
( 4) / m L = A A
Diccionario AdS/CFT
En la teora IIB, a nivel 10-dim, existen los modos no
masivos, que dan lugar a los campos de SUGRA, y los
modos excitados de cuerdas, con masas de orden
1/
c
l
Al hacer la reduccin en armnicos esfricos sobre la
5-esfera, cada uno de los campos 10-dim da lugar a
una torre infinita de campos en AdS (Kaluza-
Klein {curso Sal})
Los campos de SUGRA 5-dim acaban teniendo masas
de orden ,
mientras que los campos asociados a modos
excitados de cuerdas (cuyo espectro no conocemos
con precisin) siguen teniendo masas de orden
( , ) x z |
1/ L
1/
c
l
[Gunaydin,Marcus; Kim,Romans,van Nieuwenhuizen]
Ms Evidencia
Este patrn de masas nos da una prediccin para las
dimensiones de escala de los operadores
correspondientes en SYM, en el rgimen
P.ej., para duales a campos escalares,
1
( ) x O
2 2
2 4 m L A = + +
(1) O A
En general, AdS/CFT predice
para modos de SUGRA,
y para modos de cuerdas
1/4
( ) O A
Para la mayor parte de los campos/operadores,
NO sabemos cmo poner a prueba esta
prediccin
Podemos entonces comparar directamente la
prediccin de AdS/CFT para con la
informacin disponible en SYM para
Pero algunos operadores tienen la propiedad de que
viven en (sper)multipletes especiales, llamados
BPS o quirales {curso Hugo}. stos son ms
pequeos de lo normal, porque el operador bsico a
partir del cual se puede construir el multiplete entero
actuando con supercargas (llamado superconforme
primario) tiene la propiedad de quedar invariante
bajo la accin de algunas de estas supercargas
1
Para tales operadores, se puede mostrar que
NO recibe correcciones cunticas
A
[Witten,Olive]
1
Ms Evidencia
Al ver los detalles, se encuentra acuerdo perfecto!
Todos los modos de SUGRA (espn ) son BPS.
AdS/CFT predice entonces que para cada uno de
estos (sper)multipletes, debemos encontrar en SYM
el correspondiente (sper)multiplete con la
dimensin adecuada
2 s
[Witten]
Ms Evidencia
De: DHoker, Freedman, hep-th/0201253
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
k
u
C
C
C
C
C
C
C
C
C
C

[Witten]
Todos los modos de SUGRA (espn ) son BPS
estos (super)multipletes, debemos encontrar en SYM
el correspondiente (super)multiplete con la
dimensin adecuada
Esto demuestra que SYM incluye a SUGRA!!
En general, NO sabemos cmo hacer los clculos para
establecer el mismo contacto para todos los modos
de cuerdas, pero en ciertos subsectores de ambas
teoras con nmeros cunticos grandes, las cuentas
se simplifican y los resultados tambin empatan!!
[Berenstein,Maldacena,Nastase; Gubser,Klebanov,Polyakov; Minahan,Zarembo;
Beisert,Kristjansen,Staudacher; Gromov,Kazakov,Vieira; Kruczenski]
2 s
Ms Evidencia
[Witten]
Todos los modos de SUGRA (espn ) son BPS
estos (super)multipletes, debemos encontrar en SYM
el correspondiente (super)multiplete con la
dimensin adecuada
Esto demuestra que SYM incluye a SUGRA!!
Esto muestra que SYM describe a (al menos
parte de) Teora de Cuerdas IIB!! Para finito,
donde las cuerdas se vuelven interactuantes, se
encuentra que se vuelven tambin discretas!
[Berenstein,Maldacena,Nastase; Gubser,Klebanov,Polyakov; Minahan,Zarembo;
Beisert,Kristjansen,Staudacher; Gromov,Kazakov,Vieira; Kruczenski]
2 s
c
N
Ms Evidencia
En SYM, ellas estn codificadas en los correladores
de operadores invariantes de norma,
Diccionario AdS/CFT
Sabiendo ya que los operadores/campos (o equivalen-
temente, los estados) de ambas teoras, coinciden,
qu hay de las interacciones?

1 2
1 2
( ) ( ) ( )
n
i i i n
x x x O O O
que pueden obtenerse a partir de la funcional
generatriz
:
4
SYM
[ ] (SYM) exp ( ) ( )
i i i
i
Z J D iS i d x x J x
(
+
(

} }
O
1
1
1
1
0
1
( ) ( ) [ ]
[0] ( ) ( )
n
n
i
i i n i
i i n
J
x x Z J
Z i J x i J x
o o
o o
=
= O O
( ) x O ( ) O x
=
( , ) x r |
( , ) x r |
( , ) x r | ( , ) x r |
Diccionario AdS/CFT
Esto sugiere una conexin entre inserciones de
y las condiciones de frontera para
( ) x O
( , ) x z |
1
( ) x O
2
( ) O x
=
1
( , ) x r |
2
( , ) x r |
Diccionario AdS/CFT
Cuando , la ec. de mov. para el
campo determina

( ) ( )
4
d s
( , ) ( ) ( ) x z z x z x | | |
A A
= + + +
0 ( ) z r
Modo dominante es
NO normalizable, as que
NO puede fluctuar: es
condicin de frontera
y determina la TEORA
Modos subdominantes
son normalizables, y por
tanto, fluctuantes: se
cuantizan y determinan
el ESTADO
Correcciones en : trminos con ms
derivadas, suprimidos por )
| |
4
SYM TC
(SYM) exp ( ) ( ) (TC) exp D iS i d x x J x D iS
(
+ =

} } }
O
4
( , 0) ( ) x z z J x |
A
= =
En el lmite , , el lado derecho
se simplifica a
c
N
2
YM c
g N
| |
capa de masa
TC SUGRA
(TC) exp exp D iS iS
(
=
}
2
1/
YM c
g N
Diccionario AdS/CFT
Es natural entonces postular que :
2
c
l o
'
SYM TC 0
[ ] [ ] Z J Z J | =
Correcciones en : lazos en
c
g
2
1/
c
N
4 capa de masa
SYM SUGRA
(SYM) exp ( ) ( ) exp D iS i d x x J x iS
(
(
+ =

} }
O
4
( , 0) ( ) x z z J x |
A
= =
Diccionario AdS/CFT
Si hacemos una rotacin de Wick al caso euclideano, la
condicin de frontera en junto con la condicin
de regularidad en bastan para determinar una
solucin nica (y al rotar de vuelta a
Minkowski tenemos entonces correladores usuales
ordenados en el tiempo)
0 z =
z
cl
( , ) x z |
En el caso lorentziano, distintas condiciones de borde en
el horizonte corresponden a la eleccin de
diferentes tipos de correladores. P.ej., una condicin
de flujo puramente entrante corresponde a usar un
propagador retardado
z
[Son,Starinets; Herzog,Son]
En la prctica, muchas de las expresiones divergen en
(por volumen infinito de AdS). Resulta necesario
regularizar la teora imponer las condiciones de frontera
en , agregando contratrminos locales definidos
sobre esta frontera modificada, y solo tomar al
final de los clculos justo como en renormalizacin
usual de teoras de campos: es un corte UV!
4
( , 0) ( ) x z z J x |
A
= =
Diccionario AdS/CFT
Para determinar correladores con inserciones de un
operador dado , necesitamos nicamente los
trminos de la accin de SUGRA de orden en el
campo dual
0 z =
n
( , ) x z |
0 c
n
( ) x O
z c =
1/ c A
4 capa de masa
SYM SUGRA
(
(
+ =

} }
O
4
( , ) ( ) ( ) x z z J x z x |
A A
= + + O
Fuente externa:
determina la
TEORA
Valor esperado:
determina el
ESTADO
[Balasubramanian,Kraus,Lawrence]
Diccionario AdS/CFT
4
( , 0) ( ) x z z J x |
A
= =
Se encuentra que el comportamiento dominante y
subdominante del campo cerca de la frontera (modos
no normalizable y normalizable, respectivamente),
toman la forma
4 capa de masa
SYM SUGRA
(
(
+ =

} }
O
Clculo de Funcin de 2 Puntos
Correlador de 2 puntos para operador dual a campo
escalar en AdS (p.ej., KK del dilatn con )
( )
( )
( )
10 2 2
1
SUGRA 2
2
10
5
5 2 2 3
5 1
5 2
2
10
5 2 2
1
2
2
5
1
[ ] , 0, , 9
2
2
1
, 0, , 3,
2
MN
M N
mn
m n
mn
m n
S d x g g m M N
L
d x g g m
d x g g m m n z
| | | |
k
| | | t
k
| | |
k
= c c + =
O
= c c + O =
= c c + =
}
}
}
Necesitamos solo la parte libre de la accin (Klein-Gordon):
capa de masa
1 2 SUGRA
1 2
0
1
( ) ( ) exp [ [ ]]
[0] ( ) ( )
J
x x iS J
Z i J x i J x
o o
|
o o
=
( =

O O
l
2 2
( 4) m L l l = +
La ec. de mov.
se ve ms sencilla si pasamos a modos de Fourier en ,
:
( )
2
0
mn
m n
gg g m | | c c =
x
4
4
( , ) exp( ) ( , )
(2 )
d p
x z ip x p z | |
t
=
}
5 2 2 2 2
3
0
z
z
z z p m L
z
|
| |
| |
c
c =
|
\ .
Si ahora ponemos (suponiendo ) y
, la ec. para resulta ser la de Bessel, con
soluciones
pz
2
0 p >
2
( ) ( ) B |
( ) B
2 2
( ), ( ), 4 2 K I m L
v v
v + = A
X
diverge en z
2
4
2
sol
2
2
( )
( , ) ( )
( )
z K pz
p z J p
K p
| c
c c
A
A
A
=
Imponiendo la condicin de frontera en (corte UV) ,
tenemos entonces la solucin deseada

4 4
( , ) ( ) ( , ) ( )
z z
x z J x p z J p
c c
| c | c
A A

propagador bulto-frontera
(en espacio de momentos)
z c =
( ; , ) ( ) P p z J p c
Podemos usarla para calcular la accin
( )
capademasa 5 2 2
1
SUGRA sol sol sol 2
2
5
1
[ ]
2
mn
m n
S d x g g m | | | |
k
= c c +
}
( )
( )
5 2 2
1
sol sol sol 2
2
5
4
1
sol sol 2
2
5
1 1
2
1
2
mn
n m
mn
n m
d x g gg m
g
dz d x g g
c
| | |
k
| |
k

| |
= c c +
|
|
\ .
(
c c

}
} }
Podemos usarla para calcular la accin
( )
capademasa 5 2 2
1
SUGRA sol sol sol 2
2
5
1
[ ]
2
mn
m n
S d x g g m | | | |
k
= c c +
}
( )
( )
5 2 2
1
sol sol sol 2
2
5
4
1
sol sol 2
2
5
1 1
2
1
2
mn
n m
mn
n m
d x g gg m
g
dz d x g g
c
| | |
k
| |
k

| |
= c c +
|
|
\ .
(
c c

}
} }
0
por la ec.
de mov.
solo esta frontera contribuye
capademasa 4
1
SUGRA sol sol 2
2
5
1
[ ]
2
zz
z
z
S d x gg
c
| | |
k
=
= c
}
5 2 4 4
4 '
1
sol sol 2
2 5 2 4 4
5
1 '
( , ) ( ', )
2 (2 ) (2 )
ip x ip x
z
z
L d p d p
d x e p z e p z
L
c
c
| |
k c t t

=
| || |
= c
| |
\ .\ .
} } }
( )
3 4 4
4 (4)
1
sol sol 2
2 3 8
5
1 '
(2 ) ( ') ( , ) ( ', )
2 (2 )
z
z
L d pd p
p p p z p
c
t o | | c
k c t
=
= + c
}
3 4 4
4 (4)
2 3 8
5
2 2
4 4
2 2 1
2
2 2
2 2
1 '
(2 ) ( ')
2 (2 )
( ) ( ' )
( ) ( ')
( ) ( ' )
z
z
L d pd p
p p
z K pz K p
J p J p
K p K p
c
t o
k c t
c c
c c
c c c c
A A
A A
A A
=
= +
| |
c
|
\ .
}
SYM
4
4
0
capa de masa
SUGRA
0
1
( ) ( ') exp ( ) ( )
[0] ( ) ( ') (2 )
1
exp [ [ ]]
[0] ( ) ( ')
J
J
d p
p p i p J p
Z i J p i J p
iS J
Z i J p i J p
o o
o o t
o o
|
o o
=
=
(
=
(

(
=

}
O O O
capademasa 4
1
SUGRA sol sol 2
2
5
1
[ ]
2
zz
z
z
S d x gg
c
| | |
k
=
= c
}
( )
2
3 4 4
2
4 (4)
1
2
2 2 5 8 2
5 2
( )
1 '
(2 ) ( ') ( ) ( ')
2 (2 ) ( )
z
z
z K pz
L d pd p
p p J p J p
K p
c
t o
k c t c c
A
=
A
A
c
= +
}
En espacio de momentos, el trmino fuente en CFT es

4 4 4
4 4 '
8 4
'
( ) ( ) ( ) ( ') ( ) ( )
(2 ) (2 )
ip x ip x
d pd p d p
d x x J x d x e p e J p p J p
t t

= =
} } } }
O O O
as que
Necesitamos ahora la expansin de la funcin de Bessel
para argumento pequeo. Los detalles son distintos
dependiendo de si es entero o no. 2 v = A
( )
2
3
2
4 (4)
1
2
2 2 5 2
5 2
( )
1
( ) ( ') (2 ) ( ')
2 ( )
z
z
z K pz
L
p p p p
K p
c
t o
k c c c
A
=
A
A
c
= + O O
Tomando el caso entero, se tiene
( ) ( )
2 2
0 1 0 1
( ) ln
n n
n
K a a b b
= + + + + +
1
0 0
1
2 ( 1)!
( 2) !
n
n
a n b
n
= =
Llegamos entonces a
divergencias UV,
analticas en el
momento (trminos de
contacto en espacio
de posicin), se
eliminan con
renormalizacin
hologrfica,
ver p.ej. Skenderis,
hep-th/0209067)
2 2
2
2 5
2( 2)
0
0
2
4 ( 2)( )
( ) ( )
2( 2) ln( )
( )
c p
p p
b
p p
a
O
c
c
c
A
A
A + A +

A
+
O O
Con esto tenemos (omitiendo la delta de Dirac)
2 2
2
2 5
2( 2)
0
0
2
4 ( 2)( )
( ) ( )
2( 2) ln( )
( )
c p
p p
b
p p
a
O
c
c
c
A
A
A + A +

A
+
O O
trmino NO
analtico en el
momento es finito
Ms Evidencia
2 2
2
2 5
2( 2)
0
0
2
4 ( 2)( )
( ) ( )
2( 2) ln( )
( )
c p
p p
b
p p
a
O
c
c
c
A
A
A + A +

A
+
O O
trmino NO
analtico en el
momento es finito
De vuelta en espacio de posicin, el resultado finito
(ajustando la normalizacin de los operadores) es

justo como tiene que ocurrir en una CFT
1 2
2
1 2
1
( ) ( )
( )
x x
x x
A
=
O O
[Gubser,Klebanov,Polyakov;
Witten]
Otros Correladores
Similarmente, se pueden calcular las funciones de 3 puntos
1 2 3
1 2 3
1 2 3 2 3 1 3 1 2
1 2 3
12 23 31
( ) ( ) ( )
( ) ( ) ( )
i i i
i i i
C
x x x
x x x
A +A A A +A A A +A A
= O O O
El resultado final es

cuya forma nuevamente es la obligada para una CFT,
y cuya normalizacin constituye una prediccin
[Lee,Minwalla,Rangamani,Seiberg;
DHoker,Freedman,Skiba]
Para campos de SUGRA, esta normalizacin coincide
con SYM!
Para ello se requieren los trminos de interaccin
cbicos en la accin
La ec. de mov. se puede resolver perturbativamente en el
acoplamiento
1/
c
N
Ahora S contribuye el trmino de bulto en AdS
Se encuentra tambin acuerdo perfecto para otros
correladores protegidos por SUSY o anomalas

[Freedman,Mathur,Matusis,Rastelli;
DHoker,Freedman,Mathur,Matusis,Rastelli;
Mansfield,Nolland; Heslop,Howe;
Henningson,Skenderis; DHoker,Ryzhov; ]
Vemos entonces que las interacciones de ambas
teoras tambin parecen coincidir perfectamente, en
una expansin perturbativa en !!
1/
c
N
En aos recientes se ha trabajado mucho en clculos de
amplitudes de dispersin en SYM, que en algunos
casos prcticamente se han logrado entender para
todos los valores del acoplamiento!
[Maldacena,Alday; Bern,Dixon,Smirnov; Beisert,Eden,Staudacher;
Witten; Cachazo,Svrcek,Witten; Britto,Cachazo,Feng,Witten;
Arkani-Hamed,Cachazo,Kaplan; Elvang,Freedman,Kiermaier; ]
Otros Correladores
5
5
AdS S
( )
c
SU N
4 = N
Hasta ahora hemos considerado pequeas fluctuaciones
5
AdS
Excitaciones sobre corresponden a otros estados
5
AdS
SYM
en 3+1 dim
[Maldacena]
4 = N Cuerdas IIB en espaciotiempo
asintticamente
5
5
AdS S
=
Diccionario AdS/CFT
Pero tambin es posible mostrar que SYM hace contacto
con fluctuaciones grandes de la geometra (y/u otros
campos del fondo)
( )
c
SU N
5
5
AdS S
( )
c
SU N
4 = N
P.ej., agujero negro en corresponde a ensamble con
temperatura finita
5
AdS
Excitaciones sobre corresponden a otros estados
5
AdS
5
AdS
2
4 2
2 2 2
SchwAdS
4
4
4
1
1
h
h
L z dz
ds dt dx
z z
z
z
(
(
| |
| |
| |
(
= + +
|
|
|
|
(
| |
\ .
\ .
\ .

(
|
(
\ .

SYM
en 3+1 dim
[Maldacena]
( )
c
SU N
asintticamente
5
5
AdS S
=
Diccionario AdS/CFT
=
Plasma de gluones (+
escalares & fermiones)
Agujero (brana) negra
en AdS
=
Diccionario AdS/CFT
h
z z =
5
5
SchwAdS ( , ) S ( )
h
L z L
5
5
SchwAdS ( , ) S ( )
h
L z L
Podemos concluir esto ya sea repitiendo deduccin de
AdS/CFT comenzando con 3-brana negra cuasi-extremal,
O usando el diccionario AdS/CFT para construir la
geometra dual al plasma trmico
( )
c
SU N
4 = N SYM
a T finita
[Maldacena]
=
( )
c
SU N
x
r
0 r =
r =
2
1
h
H
h
r
T T
L z t t
= = =
h
r r =
Horizonte
[Witten]
Diccionario AdS/CFT
5
5
SchwAdS ( , ) S ( )
h
L z L
5
5
SchwAdS ( , ) S ( )
h
L z L
( )
c
SU N
4 = N SYM
a T finita
( )
c
SU N
4 = N IIB en
=
Entropa de Plasma de Gluones
=
plasma BH
4
H
N
A
S S
G
= =
=
2
2 3
plasma
2
3
c
S N T V
t
=
2
2 3
BH
2 3
3 4
c
S N T V
t
| |
=
|
\ .
[Gubser,Klebanov,Peet]
2
1
YM c
g N
2
1
YM c
g N
=
2
1
YM c
g N
2
1
YM c
g N
2 2
2 3
plasma
2
3 2
1
3 4
YM c
c
g N
S N T V
t
t
| |
= +
|
\ .
( )
2
2 3
BH
3/ 2
2
2 3 45 (3)
3 4
64 2
c
YM c
S N T V
g N
t ,
| |
|
= + +
|
\ .
[Gubser,Klebanov,Peet;
Gubser,Klebanov,Tseytlin]
[Gubser,Klebanov,Peet;
Fotopoulos,Taylor]
=
2
1
YM c
g N
2
1
YM c
g N
2 2
2 3
plasma
2
3 2
1
3 4
YM c
c
g N
S N T V
t
t
| |
= +
|
\ .
( )
2
2 3
BH
3/ 2
2
2 3 45 (3)
3 4
64 2
c
YM c
S N T V
g N
t ,
| |
|
= + +
|
\ .
cercano a ~ 0.8 de QCD en la red!
2
2
( )
0.75
( 0)
YM c
YM c
S g N
S g N
=
=
=
2
2
( )
0.75
( 0)
YM c
YM c
S g N
S g N
=
=
=
QCD: Desconfinamiento
Clculos en la red lo confirman, con
190MeV
c
T
De: F. Karsch, hep-lat/0106019
Densidad de energa y de entropa ~ 0.8 de gas ideal
Entropa de Agujeros Negros
=
norma BH
4
H
N
A
S S
G
= =
Existen ejemplos (de agujeros negros extremales o cuasi-
extremales) donde la entropa del agujero negro se
reproduce de manera exacta, incluyendo control total
sobre el coeficiente numrico, e incluso (en algunos
casos) correcciones subdominantes a la frmula de
Bekenstein-Hawking
[Strominger,Vafa; Callan,Maldacena; Cardoso,de
Wit,Mohaupt; Ooguri,Strominger,Vafa; etc.]
Viscosidad (de corte) del Plasma
=
4
0 0
1 1
lm ( ), (0) lm ( )
2 16
i t
xy xy h
N
d xe T x T
G
v
e
e e
q o e
e t

( = =
}
[Kubo]
[Callan; Gubser, Klebanov, Polyakov; Witten]
=
[Policastro,Son,Starinets;Buchel,Liu,Starinets] [Arnold,Moore,Yaffe]
2 2 2
/
( ) log(1/ )
B
YM YM B
k
s g N g N k
q
2
1
YM
g N
2
1
YM
g N
2 3/ 2
1 135 (3)
4
64 2 ( )
B B
YM
s k k
g N
q ,
t
t
| |
= + +
|
|
\ .
Viscosidad (de corte) del Plasma
Mismo valor en todos los ejemplos de la correspondencia, y
muy cercano a valor estimado en RHIC!!
=
[Bhattacharyya,Hubeny,Minwalla,Rangamani]
0 T
v
c =
( ), ( ) ( ) u x T x T x
Correspondencia Fluidos/Gravedad
Navier-Stokes=Einstein!!
Descripcin hidrodinmica Agujero negro no uniforme
1
2 mn mn mn
R Rg g = A
( , 0, , 3, ) m n r =
( , 0, , 3) v =
En esta teora, tenemos un espaciotiempo plenamente
dinmico (solo queda fijo en la frontera, pero eso tiene
justificacin dinmica: fluctuaciones de estructura
asinttica costaran energa infinita)
Independientemente de cualquier otra cosa, SYM es una
teora plenamente cuntica, y hemos mostrado que
incluye a la gravedad, es decir, que es una teora
de gravedad cuntica!!
Resumen de AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
Hemos echado un vistazo al origen de esta asombrosa
correspondencia, al diccionario que la implementa,
y a algunas de las principales lneas de evidencia
que la apoyan
Con la correspondencia quedan identificadas las
observables de la gravedad cuntica en fondos
asintticamente AdS: (las que hemos mencionado
hasta ahora son) una especie de matriz S referida a
la frontera tipo tiempo, que equivale a calcular
correladores en una CFT!
Resumen de AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
La correspondencia da una implementacin muy
explcita del principio hologrfico: la teora de
gravedad cuntica que vive en el bulto se reescribe
en trminos de una teora NO gravitacional que vive
en la frontera (en el sentido de que ah es donde se
insertan los operadores locales)
Por si acaso todo lo anterior pareciera poco, la
correspondencia constituye adems una herramienta
extremadamente til para entender el
comportamiento de teoras de campo a
acoplamiento fuerte, que ha hecho ya algunas
sugerencias fenomenolgicas, y parece consistente
(cualitativa o incluso semi-cuantitativamente) con
datos experimentales!
Resumen de AdS/CFT
5
5
aAdS S
( )
c
SU N SYM
=
( )
c
SU N 4 = N 4 = N
5
5
aAdS S
La teora de norma incluye a mucho ms que solo la
gravedad, y ms incluso que SUGRA: incorpora a
todos los modos masivos de las cuerdas IIB, y
(como veremos) tambin a los correspondientes
objetos no perturbativos, como D-branas!
Teora de campos
en d dim
Dualidad Norma/Gravedad
Cuerdas en espaciotiempo con
D>d dim y cierta asintopia
=
Conocemos ejemplos que involucran a primas ms
(Pero NO conocemos el dual de QCD, ni podramos hacer
cuentas completas en l, porque el rgimen de libertad
asinttica corresponde a una regin altamente curvada
del espaciotiempo)
Teora de campos
en d dim
Conocemos ejemplos que involucran a primas ms
Por su importancia conceptual y prctica, nos
detendremos primero en la pregunta de cmo agregar
quarks
=
( ) ( )
,
i
IJ IJ
A
u
+ fermiones + etc.
Nc D3-branas
, 1, ,
c
I J N =
Super-Yang-Mills en 3+1 dim
4 = N
( ) U N
[Witten]
1/ , 1/
c
E l L
Aadiendo Quarks
Recordar: antes de lmite de bajas energas, tenamos
1 2 3
, , x x x
Nc D3-branas
[Karch,Katz]
Agreguemos ahora branas adicionales,
1 2 3
, , x x x
Nf D7-branas
4 5 6 7
, , , x x x x
( ) ( )
1 2
,
f f
I I
| |
+ fermiones + etc.
1, ,
c
I N =
Super-Yang-Mills en 3+1 dim
4 = N ( ) U N
1/ , 1/
c
E l L
+ comb. de 4 escalares + 2 espinores (hyperm. )
en rep fundamental del grupo de norma: quarks
2 = N
f
N
Aadiendo Quarks
=
[Karch, Katz]
5
5
AdS S
D7-branes
m
r r =
r
1 2 3
, , x x x
5
S
3
S
En lmite de bajas
energas, la
descripcin dual
reemplaza a D3s con
AdS
Si , es posible
ignorar retroaccin de
D7s sobre geometra
AdS (= aprox.
`apagada de QCD en la
red)
s c
N N
Aadiendo Quarks
=
[Karch, Katz]
=
SYM ( )
c
SU N
4 = N
+ sabores de materia
( ) en representacin
fundamental
f c
N N
TC IIB en
5
5
AdS S
+ D7-branas
(enrolladas en )
f
N
3 5
S S c
D7-branas
m
r r =
2 = N
Aadiendo Quarks
=
=
SYM ( )
c
SU N
4 = N
+ sabores de materia
( ) en representacin
fundamental
f c
N N
TC IIB en
5
5
AdS S
+ D7-branas
(enrolladas en )
f
N
3 5
S S c
D7-branes
m
r r =
2 = N
Aadiendo Quarks
2
2
2 2
YM c
m
c m
g
r
l z
N
m
t t
= =
Quark con masa
=
=
Cuerda c/extremo en
m
r s
m
r r =
2
2
2
YM c
m
N
r m
g
L t
=
D7-branas
[Karch, Katz]
Quark
ms
=
2
2
4
2
Tr ( , )
32
YM c
q
g N
F x t
x t
(
+ =

[Danielsson,Kruczenski,Keski-Vakkuri]
=
P.ej.,
Cuerda c/extremo en
r
2
Tr , , F T
v
, , h
v
Perfil tipo Coulomb (como se espera por invariancia

conforme)
Quark
[Maldacena]
Quark con masa
m=
Quark y Antiquark
superpuestos
=
2 Cuerdas c/orientacin opuesta
=
Quark y Antiquark
Quark-Antiquark
Quark-Antiquark
=
[Callan,AG]
4 2 3
1
2 4
7
5
| |
15 ( )
Tr ( , )
8(2 )
YM
x L qq
g NL
F x t
x t
I
(
=

(cf. )
2
6
L
x
[Klebanov,Maldacena,Thorn]
=
1 Cuerda c/AMBOS extremos en 0 z =
=
Quark-Antiquark
Extremos Quarks , Cuerda Campo Glunico (+etc.)
Quark-Antiquark
Es decir, cuerda de QCD vive en 5 (+5) dimensiones!

=
Quark Antiquark
=
2
4
1
4
4
( )
( )
qq
V L
L
t
=
I
[Rey,Yee; Maldacena]
Quark-Antiquark
=
Potencial Quark-Antiquark
La energa de ligado (cuerda en forma de U 2 cuerdas
verticales) conduce al potencial quark-antiquark
=
0
( )
T
qq
V L L
=
[Witten; Sonnenschein et al.; ]
Quark-Antiquark
Potencial Quark-Antiquark
En teoras con confinamiento, la geometra es distinta
en el IR, y la cuerda logra descender arbitrariamente
lejos de la frontera, dando lugar entonces al
comportamiento lineal esperado
conf
z z =
=
Lazos de Wilson
En cualquier teora de norma, el potencial quark-antiquark
se define de manera no perturbativa a partir de un lazo
de Wilson rectangular
Los lazos de Wilson son operadores invariantes de
norma no locales asociados a una curva cerrada ,
( )
[ ] Tr exp ( )
C
W C P i dx A x
(
+
(

}
C
que fsicamente se pueden entender como el
factor de fase asociado a un quark infinitamente
pesado que sigue la trayectoria (y son observa-
bles intrnsecamente asociadas al campo de norma,
puesto que tales quarks son NO dinmicos)
C
Lazos de Wilson
La equivalencia quark=cuerda conduce entonces de
manera natural a una receta para lazos de Wilson:
[Rey,Yee; Maldacena; Drukker,Gross,Ooguri]
( )
| |
cuerda
SYM
Tr exp ( ) exp [ ]
C
P i dx A x DX iS X
(
+ =
(

} }
( ) X r C = =
=
( ) x
t
( ) x
t
C
C
( ) X r C = =
capa de masa
cuerda
exp [ ] iS X ( =

en el lmite ,
c
N
2
YM c
g N
(La traza del lado izquierdo se toma en rep
fundamental del grupo de norma. Trazas en otras
reps involucran a cuerdas ligadas a D3- o D5-
branas)
[Drukker,Fiol; Hartnoll,Prem Kumar;
Yamaguchi; Gomis,Passerini]
Lazos de Wilson
( )
| |
cuerda
SYM
Tr exp ( ) exp [ ]
C
P i dx A x DX iS X
(
+ =
(

} }
La equivalencia quark=cuerda conduce entonces de
manera natural a una receta para lazos de Wilson:
Quark con masa
=
=
Cuerda c/extremo en
m
r s
m
r r =
D7-branas
Fsica con Quarks
ms
Nuestra habilidad para agregar quarks permite muchas
nuevas aplicaciones. Mencionaremos aqu solo 2:
Prdida de energa en un medio trmico
Movimiento Browniano
Prdida de Energa
En RHIC se observa prdida significativa de energa
de quarks que atraviesan el medio (supresin de jets)
Cunta energa pierde el quark?
A dnde se va esta energa?
=
Cuerda vertical en Schw-AdS
desde a
m
r r =
=
h m
r r r =
Quark en plasma de SYM
plasma ( )
m T
m
r r =
h
r r =
Prdida de Energa
=
2
2
2
1
x
dp dE v
T
dx dt
v
t
= =
[Herzog,Karch,Kovtun,Kozcaz,Yaffe; Gubser; Casalderrey-Solana,Teaney]

Tasa de Prdida de
Energa:
v
v
Para quark en movimiento, la cuerda cuelga detrs del
extremo, y acta como un sumidero de energa,
i.e., el quark tiene una cola, que es la responsable de
fuerza de arrastre esperada!
Prdida de Energa
Es posible determinar perfil de energa disipada a partir de
=
q,
( ) ( , )
v
T x h x r
v v
=
v
v
[Friess,Gubser,Michalogiorgakis;
Friess,Gubser,Michalogiorgakis,Pufu;
Yarom; Gubser,Pufu; Gubser,Pufu,Yarom;
Chesler,Yaffe; Noronha,Torrieri,Gyulassy;
Betz,Gyulassy,Noronha,Torrieri; etc.]
h
v
Prdida de Energa
De: Chesler,Yaffe, arXiv:0706.0368
Densidad de energa en estela generada por quark
[Gubser,Pufu,Yarom; Chesler,Yaffe]
0.25 1/ 3
s
v v = < =
Prdida de Energa
De: Chesler,Yaffe, arXiv:0706.0368
Densidad de energa en estela generada por quark
[Gubser,Pufu,Yarom; Chesler,Yaffe]
0.75
s
v v = >
1
sin ( / ) 50
M s
v v u

= ~
Cono de Mach
[Casalderrey-Solana,Shuryak,Teaney]
Contacto con propuesta de onda de choque
snica
Prdida de Energa
=
Cuerda vertical en Schw-AdS
desde a
m
r r =
=
h m
r r r =
Quark en plasma de SYM
plasma ( )
m T
m
r r =
h
r r =
Movimiento Browniano
Esperamos que el quark
experimente movimiento
Browniano
Pero quin hace fluctuar
al extremo de la cuerda?
La posicin del extremo obedece una ec.
generalizada de Langevin
' ( , ') ( ') ( ), ( ) ( ') ( , ') mx dt t t x t t t t t t q k + = =
}
[de Boer,Hubeny,Rangamani,Shigemori;
Son,Teaney]
=
m
r r =
h
r r =
D7-branas
Aplicacin 7: Movimiento Browniano
La radiacin de Hawking emitida por el agujero
negro (sobre la hoja de mundo de la cuerda)!
En la dualidad norma/gravedad,
Hawking = Brown!!
Teora de campos
en d dim
Generalizaciones
=
Ms all de agregar quarks, cmo podemos generar otros
ejemplos de esta correspondencia ms general?
Dualidad Norma/Gravedad (o /Cuerdas):
Mencionaremos brevemente algunos caminos, empezando
por el ms trivial
SYM en Otras Geometras
Como SYM es invariante conforme / de Weyl (salvo por
anomala de Weyl), podemos reescalar localmente
Minkowski para tener una geometra (no dinmica)
3+1 diferente: 2 ( )
( )
x
g x e
e
v v v
q q =
SYM en Minkowski resulta de la foliacin de
coords de Poincar, pero diferentes foliacions
de la misma geometra conducen, p.ej., a SYM en
el universo esttico de Einstein cerrado o
abierto
En AdS, esto corresponde a un difeo en el bulto
[Witten;Imbimbo,Schwimmer,Theisen,Yankielowicz]
( ) x
z z e z
e
''
=
( , ) x x x z

''
que cambia la foliacin radial

[Maldacena; Witten; Emparan; Birmingham; Emparan,Johnson,Myers; etc.]

SYM en Minkowski 3+1
coords de Poincar
SYM en S
3
x R

coords globales

SYM en S
3
x R a T finita T tiene una transicin de
confinamiento/desconfinamient, que resulta ser dual
a la llamada transicin de Hawking-Page en AdS!

Fase desconfinada = agujero negro Schw-AdS
con horizonte esfrico

La anomala de Weyl de SYM (efecto cuntico
debido a divergencias UV) se reproduce
perfectamente por la receta de AdS/CFT para el
tensor de energa-momento (efecto clsico
debido a divergencias IR)!!
[Witten]
[Witten; Henningson,Skenderis; etc.]

y concluimos que es dual a teoras en 3+1 dim
distintas a SYM. stas son CFTs (por factor AdS)
con meons o ninguna supersimetra (por
modificacin de S
5
)

Llegamos a AdS
5
x S
5
considerando D3-branes en
Minkowski 9+1, M
9,1
. Si empezamos con D3-branas
en algunas otras geometras 9+1, obtenemos Teora
de Cuerdas IIB en AdS
5
x X
5

[Klebanov,Witten;etc.]
Otros Ejemplos AdS/CFT
Tambin es posible construir CFTs en otras dimensiones,
usand objects que no son D3-branas:
2 d = 3 d = 4 d = 6 d =
usando D1-D5 M2 D3 M5
[Maldacena;etc.]
Considerar Dp-branas (u otras branas) en Minkowski,
para otros valores de p. Para obtener teora 3+1,
empezar c/ p>3 y luego compactificar {curso Sal}

[Itzhaki,Maldacena,Sonnenschein,Yankielowicz; Maldacena-Nez;
Kruczenski,Mateos,Myers,Winters; Sakai-Sugimoto(-Witten); etc.]
Deformar ejemplos conocidos de AdS/CFT agregando
trminos relevantes al lagrangiano (=encender porcin
no normalizable del campo dual). La CFT original es
entonces punto fijo en UV del grupo de renormalizacin

[Polchinski-Strassler; Girardello,Petrini,Porrati,Zaffaroni; Pilch-Warner;
Freedman-Gubser-Pilch-Warner; Johnson,Peet,Polchinski; etc.]
Deformar ejemplos anteriores para tener distinta
asintopia

[Klebanov-Strassler; etc.]
Existen varias maneras de obtener correspondencias
no-AdS/no-CFT (con diverso no. de supersimetras):
El ejemplo que ms se parece a QCD es el modelo de
Sakai-Sugimoto(-Witten), que usa D4-branas (en
vez de D3s) + D8-branas + anti-D8-branas (en vez de
D5s) para obtener una no-CFT no-SUSY con quarks,
confinamiento y rompimiento de simetra quiral no
abeliana

Entre estas generalizaciones, encontramos en particular
algunas teoras tipo QCD
Ajustando un parmetro adimensional continuo en este
modelo, obtendramos exactamente QCD

(Sakai-Sugimoto tambin est conectado al modelo
(fenomenolgicamene til) de Nambu-Jona-Lasinio)
[Antonyan,Harvey,Jensen,Kutasov]
Estudios de SS a temperatura finita muestran que, en el
rgimen donde interacciones curticas entre los
fermiones (tipo NJL) se vuelven importantes, las
transiciones de desconfinamiento y quiral se separan
[Aharony,Sonnenschein,Yankielowicz; Parnachev,Sahakyan]
Esta separacin fue verificada posteriormente con
clculos en la red

[Sinclair]
Desafortunadamente, al movernos hacia QCD salimos de
la aproximacin de SUGRA, as que perdemos la
capacidad de calcular. Y a la inversa, en rgimen
SUGRA, donde s podemos calcular, SS es en verdad
4+1 dim a la escala de A
QCD

Esto es genrico: siempre obtenemos
QCD (o YM) + porquera,
y esta ltima NO puede ser ignorada
dentro de aproximacin de SUGRA

Otra manera de presentar el problema es que la validez
de SUGRA requiere una gran separacin entre las
masas de los modos de espn J=0,1,2 y los de J>2.
QCD no tiene esa propiedad: los hadrones con
distintos espines tienen masas comparables

El problema bsico es que la regin UV en QCD es
asintticamente libre, lo cual se traduce en una
geometra altamente curvada
E
porquera
M
QCD
A
An as, podemos usar los ejemplos conocidos como
modelos de juguete, para desarrollar intuicin. Esto es
interesante y til en s mismo

Armados con esta intuicin, podemos:
*Construir modelos fenomenolgicos que intenten
cruzar la brecha entre nuestros modelos de juguete y el
mundo real
*Buscar cantidades lo suficientemente universales
como para pensar en extrapolar a QCD
Actualmente se est realizando trabajo similar y
muy interesante sobre posibles aplicaciones a
diversos sistemas de materia condensada y
fsica atmica
Hemos discutido el enfoque de arriba para abajo, que
empieza con una construccin conocida de branas, y
nos da por tanto cierto control sobre la teora relevante
a cada lado de la correspondencia
Se puede intentar tambin un enfoque de abajo para
arriba, comenzando con una teora de campos de
inters y tratando de adivinar (de manera feno-
menolgica) un dual gravitacional (AdS/QCD,
AdS/CMT)

[Polchinski,Strassler; Erlich,Katz,Son; Da Rold,Pomarol;
Karch,Katz,Son,Stephanov; etc.]
o, empezando con una geometra dada (quizs no
cuerdstica) y estudiando las propiedades del supuesto
dual de campos (dS/CFT, Kerr/CFT, AdS/CMT,)

[Strominger; Strominger; Son; Balasubramanian,McGreevy;
Kachru,Liu,Mulligan; Gubser; Hartnoll,Herzog,Horowitz; etc.]
Conclusiones
1) La dualidad norma/gravedad establece una muy
sorprendente equivalencia entre teoras no
gravitacionales y teoras de cuerdas y/o gravedad
2) Esta correspondencia define una teora de gravedad
cuntica completa (para fondos con ciertas asintopias),
y constituye la mejor definicin no perturbativa que
tenemos para la teora de cuerdas
3) Esta herramienta ya ha resultado til para entender
aspectos del comportamiento de algunas teoras
fuertemente acopladas (tipo QCD o CMT)
4) Existen varias limitaciones: no tenemos todava el
diccionario completo de esta equivalencia, ni podemos
hacer cuentas directamente en los sistemas reales
5) Falta mucho por entender y hacer!

Emc 2013 V 8 C

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Emc 2013 V 8 C

Încărcat de

Drepturi de autor:

Formate disponibile

La Correspondencia Hologrfica:

Color a Partir de Geometra

con , la expansin perturbativa nos da receta

Y el argumento de t Hooft tampoco nos dice cul teora

Teora de Cuerdas IIB

Es importante tener presente que la teora de cuerdas NO

Estas 2 ltimas no son en realidad simetras, sino

Expansin de Kaluza-Klein {curso Sal}

Al ver los detalles, se encuentra acuerdo perfecto!

Perfil tipo Coulomb (como se espera por invariancia

[Herzog,Karch,Kovtun,Kozcaz,Yaffe; Gubser; Casalderrey-Solana,Teaney]

que cambia la foliacin radial

S-ar putea să vă placă și