Академический Документы
Профессиональный Документы
Культура Документы
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
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
'
=
( ) 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 + +
(
+
+
}
k
+
| |
= + c c
|
\ .
(
c + +
(
+
+
}
= + + + + 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 vs. Brana Negra
D-branas/Cuerdas Abiertas? Espacio Curvo?
=
[Polchinski]
D-branas vs. Brana Negra
p-Brana Negra
N Dp-branas
+ Espacio Plano
D-branas/Cuerdas Abiertas? Espacio Curvo?
=
[Polchinski]
D-branas vs. Brana Negra
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
Cuerdas IIB en espaciotiempo
[Maldacena]
( )
c
SU N
4 = N
5
5
AdS S
=
Correspondencia AdS/CFT
=
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
Cuerdas IIB en espaciotiempo
[Maldacena]
( )
c
SU N
4 = N
5
5
AdS S
Correspondencia AdS/CFT
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
Correspondencia Norma/Gravedad
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
Correspondencia Norma/Gravedad
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 |
=
(
+ +
(
+ + +
( | |
+ +
| (
\ .
R
6
D3
1,1
T
5
S
D3
r
r
vs.
Conidad
Correspondencia Norma/Gravedad
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},
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
(
= + + +
(
Correspondencia Norma/Gravedad
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},
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,
El anterior es apenas el ejemplo mejor entendido de una
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
espaciotiempo con D>d dim
[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.)
El anterior es apenas el ejemplo mejor entendido de una
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
espaciotiempo con D>d dim
y cierta asintopia
[Klebanov, Polyakov; Giombi, Yin; Gaberdiel, Gopakumar; etc.]
SYM
en 3+1 dim
[Maldacena]
( )
c
SU N
4 = N
Correspondencia AdS/CFT
Cuerdas IIB en espaciotiempo
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 :
Espacio Anti-de Sitter
2 2 2 2 2 2 2
0 1 2 3 4 5
X X X X X X L + + + + =
4,2
R
Espacio mximamente simtrico con curvatura negativa,
definido como (cubierta universal de) hiperboloide en :
Espacio Anti-de Sitter
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,
Espacio Anti-de Sitter
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
Espacio Anti-de Sitter
,
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 =
Espacio Anti-de Sitter
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 < <
Espacio Anti-de Sitter
Espacio mximamente simtrico con curvatura negativa,
definido como (cubierta universal de) hiperboloide en :
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
Espacio Anti-de Sitter
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 =
Espacio Anti-de Sitter
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
Espacio Anti-de Sitter
x
2
/ z L r
5
AdS ( ) L
z =
0 z =
2 2 2 2 2
( / ) ( ) ds L z dt dx dz = + +
O, equivalentemente:
Espacio Anti-de Sitter
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]
Correspondencia AdS/CFT
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
Cuerdas IIB en espaciotiempo
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
Cuerdas IIB en espaciotiempo
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Clculos fciles en gravedad
SYM
en 3+1 dim
Cuerdas IIB en espaciotiempo
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
Cuerdas IIB en espaciotiempo
asintticamente
( )
c
SU N
4 = N
=
5
5
AdS S
Diccionario AdS/CFT
SYM
en 3+1 dim
Cuerdas IIB en espaciotiempo
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
Cuerdas IIB en espaciotiempo
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
Cuerdas IIB en espaciotiempo
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
Cuerdas IIB en espaciotiempo
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 !
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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.
Qu Queremos Calcular?
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),
Qu Queremos Calcular?
{ } | |
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
Conviene pensar en correladores en cuantizacin por
integral funcional (en lugar de cuantizacin cannica),
Qu Queremos Calcular?
{ } | |
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
Qu Queremos Calcular?
{ } | |
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
Conviene pensar en correladores en cuantizacin por
integral funcional (en lugar de cuantizacin cannica),
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
T. de Cuerdas IIB en
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 =
v v v
= + gravitn (onda s)
Diccionario AdS/CFT
T. de Cuerdas IIB en
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
} }
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 )
[Gubser,Klebanov,Polyakov;Witten]
| |
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
[Gubser,Klebanov,Polyakov;Witten]
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!
[Gubser,Klebanov,Polyakov;Witten]
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
(SYM) exp ( ) ( ) exp D iS i d x x J x iS
(
(
+ =
} }
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
[Gubser,Klebanov,Polyakov;Witten]
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
(SYM) exp ( ) ( ) exp D iS i d x x J x iS
(
(
+ =
} }
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 = +
Clculo de Funcin de 2 Puntos
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
=
Clculo de Funcin de 2 Puntos
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
Clculo de Funcin de 2 Puntos
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
}
} }
Clculo de Funcin de 2 Puntos
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
Clculo de Funcin de 2 Puntos
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
Clculo de Funcin de 2 Puntos
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
Clculo de Funcin de 2 Puntos
( )
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)
Clculo de Funcin de 2 Puntos
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)
Clculo de Funcin de 2 Puntos
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)
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
Con esto tenemos (omitiendo la delta de Dirac)
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
El espaciotiempo puro corresponde al vaco de SYM
La geometra del lado derecho es dinmica:
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
El espaciotiempo puro corresponde al vaco de SYM
La geometra del lado derecho es dinmica:
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
4 = N Cuerdas IIB en espaciotiempo
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
4 = N Cuerdas IIB en espaciotiempo
[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
Entropa de Plasma de Gluones
=
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 ,
| |
|
= + +
|
\ .
Entropa de Plasma de Gluones
[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
=
=
=
Entropa de Plasma de Gluones
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
T. de Cuerdas IIB en
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
cercanas de QCD: con quarks, sin supersimetra, con
confinamiento, con rompimiento de simetra quiral,
El anterior es apenas el ejemplo mejor entendido de una
correspondencia norma/gravedad ms general:
[Sakai-Sugimoto(-Witten); Klebanov-Strassler; Maldacena-Nez;
Polchinski-Strassler; Freedman-Gubser-Pilch-Warner; etc.]
(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
Dualidad Norma/Gravedad
Cuerdas en espaciotiempo con
D>d dim y cierta asintopia
Conocemos ejemplos que involucran a primas ms
cercanas de QCD: con quarks, sin supersimetra, con
confinamiento, con rompimiento de simetra quiral,
El anterior es apenas el ejemplo mejor entendido de una
correspondencia norma/gravedad ms general:
[Sakai-Sugimoto(-Witten); Klebanov-Strassler; Maldacena-Nez;
Polchinski-Strassler; Freedman-Gubser-Pilch-Warner; etc.]
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
(
+
(
}
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
= =