SuperString Part 8

Supercuerdas
Carmen Núñez
IAFE (CONICET-UBA)
November 17, 2023
ICTP-LATAM- III
Outline
Espectro de cuerda fermiónica
Proyección GSO
Interacciones
Invariancia modular, supersimetrı́a y proyección GSO

ESPECTRO CUERDA FERMIÓNICA
Espectro de la cuerda fermiónica abierta
En gauge cono de luz, la invariancia de Lorentz

=⇒ D = 10, aNS = −1/2, aR = 0
En gauge cono de luz, la invariancia de Lorentz

=⇒ D = 10, aNS = −1/2, aR = 0
Estados fı́sicos se construyen a partir estados fundamentales:

1
|0, piNS de spin 0 y |a, piR , |ȧ, piR de spin , Γ = 1, −1
2
i , b i , n, r > 0
actuando con operadores de creación α−n −r
Estados en sector NS son bosones y en sector R son fermiones

Sector NS:
Estado fundamental: |0, piNS con α0 M 2 = − 12
i
Primer nivel excitado: b−1/2 |0, piNS vector de SO(8) con
0 2
αM =0
j
i
Segundo nivel: α−1 i
|0, piNS , b−1/2 b−1/2 |0, piNS con α0 M 2 = 1
2
Etc.
Etc.
Infinitos estados bosónicos masivos con masas de
O(α0−1 ) ∼ O(MPl )
Sector R:
Estado fundamental: |s1 , s2 , s3 , s4 iR con si = ± 12
16 estados no masivos, α0 M 2 = 0
espinores de Majorana Weyl de SO(8):
|ai con Γ = +1 y |ȧi con Γ = −1
i i i i
Primer nivel excitado: α−1 |ai, b−1 |ai, α−1 |ȧi, b−1 |ȧi con
0 2
αM =1
Etc.
Infinitos estados fermiónicos masivos con masas de
O(α0−1 ) ∼ O(MPl )
Proyección GSO
La cuerda fermiónica abierta tiene un taquión: |0, piNS con

α0 M 2 = − 12
i
En el sector no masivo hay 8 dof bosónicos b−1/2 |0, piNS
y 16 fermiónicos: |ai y |ȧi =⇒ no es supersimétrica
La cuerda fermiónica abierta con todos los estados en los

sectores NS y R es inconsistente: La función de partición a
un loop no es invariante modular
La invariancia modular juega un rol muy importante en la

teorı́a de cuerdas
Proyección GSO
Motivación de proyección GSO (Gliozzi, Scherk, Olive):

espectro en espacio-tiempo supersimétrico y sin taquiones.
Proyección GSO
Motivación de proyección GSO (Gliozzi, Scherk, Olive):

espectro en espacio-tiempo supersimétrico y sin taquiones.
Es equivalente a invariancia modular: elimina las

inconsistencias
PROYECCION GSO
Proyección GSO en cuerda abierta
Recordar el espectro no masivo:

i
b−1/2 |0, piNS vector SO(8)
|s1 , s2 , s3 , s4 iR :16
P estados espinores de
PMajorana Weyl de
SO(8): |ai con i si ∈ 2Z y |ȧi con i si ∈ 2Z + 1

i
|s1 , s2 , s3 , s4 iR :16
PMajorana Weyl de
Si eliminamos una de las dos quiralidades del sector R hay la

misma cantidad de estados bosónicos y fermiónicos.
Esto deja los dof on-shell de super-Yang-Mills N = 1 en

D = 10 : un espinor no masivo y un vector no masivo

i
|s1 , s2 , s3 , s4 iR :16
PMajorana Weyl de
Si eliminamos una de las dos quiralidades del sector R hay la

misma cantidad de estados bosónicos y fermiónicos.
Esto deja los dof on-shell de super-Yang-Mills N = 1 en

D = 10 : un espinor no masivo y un vector no masivo
También hay que eliminar el taquión

Proyección GSO en sector NS
Se introduce un número cuántico (−1)F bajo el cual los

operadores fermiónicos bri son impares y los bosónicos bri bsj
son pares.
Proyección GSO en sector NS
Se introduce un número cuántico (−1)F bajo el cual los

operadores fermiónicos bri son impares y los bosónicos bri bsj
son pares.
Eso caracteriza al operador (−1)F a menos de un signo, que

se fija diciendo que el vector no masivo
i
b−1/2 |0, piNS tiene (−1)F = +1
.
F es el número fermiónico de hoja de mundo.
Asignando al estado fundamental de NS
(−1)F |0, p µ iNS = −|0, p µ iNS
=⇒ en sector NS
X
i
F = b−r bri − 1
r >0
.
La proyección GSO en NS de cuerda abierta consiste en

mantener solo los estados con n par =⇒
(−1)F = +1
Un estado general en el sector NS
i1
α−n 1
iM
· · · α−n b j1 · · · b−r
M −r1
iN
N
|0, piNS
tiene (−1)F = (−1)N+1 y todos los estados con N par o

α0 M 2 semientero son eliminados por GSO.
En particular, desaparece el taquión (N = 0, α0 M 2 = − 12 )

Proyección GSO en sector R
En el sector R el equivalente de (−1)F es un operador de

quiralidad generalizado
i bi
P
(−1)F = 16b02 · · · b09 (−1) r >0 b−r r
Γ = 16b02 · · · b09 es el operador quiralidad en las 8 direcciones

transversales
i i
P
n>0 b−n bn el operador número fermiónico de hoja de mundo
en sector R
Proyección GSO en sector R
En el sector R el equivalente de (−1)F es un operador de

quiralidad generalizado
i bi
P
(−1)F = 16b02 · · · b09 (−1) r >0 b−r r
Γ = 16b02 · · · b09 es el operador quiralidad en las 8 direcciones

transversales
i i
P
n>0 b−n bn el operador número fermiónico de hoja de mundo
en sector R
(−1)F , ψ µ = 0 porque Γ anticonmuta con b0i ∼ γ i y

i i
P
(−1) r >0 b−r br anticonmuta con los modos bri , r 6= 0.
Proyección GSO
=⇒ los estados fundamentales de R tienen autovalores del
operador (−1)F = ±1, dependiendo de su quiralidad.
Se define
9
Y
(−1)F |ai = 16 b0i |ai = +|ai y (−1)F |ȧi = −|ȧi
i=2
Proyección GSO
=⇒ los estados fundamentales de R tienen autovalores del
operador (−1)F = ±1, dependiendo de su quiralidad.
Se define
9
Y
(−1)F |ai = 16 b0i |ai = +|ai y (−1)F |ȧi = −|ȧi
i=2
Un estado general en el sector R

i1
α−n 1
iN
· · · α−n b j1 · · · b−m
N −m1
jM
M
|ai tiene (−1)F = (−1)M
Y el análogo construido sobre |ȧi
i1
α−n 1
iN
· · · α−n b j1 · · · b−m
N −m1
jM
M
|ȧi tiene (−1)F = −(−1)M
La proyección GSO en R requiere que todos los estados

tengan quiralidad (−1)F = 1 o (−1)F = −1

En NS, manteniendo los estados con (−1)F = 1 : la

proyección GSO elimina el taquión y deja el vector no masivo:
8 estados con α0 M 2 = 0
En R: la proyección GSO deja la mitad de los 16 estados

fundamentales no masivos: 8 estados con α0 M 2 = 0

En NS, manteniendo los estados con (−1)F = 1 : la

proyección GSO elimina el taquión y deja el vector no masivo:
8 estados con α0 M 2 = 0
En R: la proyección GSO deja la mitad de los 16 estados

fundamentales no masivos: 8 estados con α0 M 2 = 0
j
Los α0 M 2 = + 21 en NS: α−1
i |0i y b i
−1/2 b−1/2 |0i son
eliminados: (−1)F = −1
EJERCICIO: Construir los estados con α0 M 2 = 1 en la cuerda
fermiónica abierta y especificar cuáles sobreviven la proyeccón GSO
La consistencia de la proyección requiere que no se produzcan
en las interacciones estados que han sido proyectados
Conclusión: La proyección GSO elimina el taquión y deja un

espectro supersimétrico en cuerda abierta
Proyección GSO en cuerda cerrada
En cuerda cerrada hay que tomar un producto de dos
espectros de cuerda abierta sujetos a (L0 − Le0 )|fisi = 0
La condición (L0 − Le0 )|fisi = 0 =⇒ MR2 = ML2 =⇒ los

estados de cuerda cerrada son productos tensoriales de
estados de cuerda abierta al mismo nivel de masa
En cuerda cerrada hay que tomar un producto de dos
espectros de cuerda abierta sujetos a (L0 − Le0 )|fisi = 0
La condición (L0 − Le0 )|fisi = 0 =⇒ MR2 = ML2 =⇒ los

estados de cuerda cerrada son productos tensoriales de
estados de cuerda abierta al mismo nivel de masa
(e
α) (b)
α0 ML2 = 2(Netr + Netr + e
e
a)
(α) (b)
α0 MR2 = 2(Ntr + Ntr + a)
ML2 = MR2 ;
M 2 = ML2 + MR2
Hay que distinguir entre 4 sectores:

(NS,NS) y (R,R) dan bosones espacio-tiempo
(NS,R) y (R,NS) dan fermiones espacio-tiempo
Complicación adicional: hay que elegir entre dos quiralidades

posibles para el estado fundamental R
Los estados posibles en los niveles mas bajos son:
(NS,NS): α0 M 2 = −2:
|0, piL × |0, piR
(−1)F = (−1)F = −1
e
Los estados posibles en los niveles mas bajos son:
(NS,NS): α0 M 2 = −2:
|0, piL × |0, piR
(−1)F = (−1)F = −1
e
j
(NS,NS): α0 M 2 = 0 : be−1/2
i |0, piL × b−1/2 |0, piR ;
(−1)F = (−1)F = +1
e
(1) + (28) + (35)v = 64 estados

Espectro cuerda cerrada: Sector R-R
Estados no masivos: 256 estados con α0 M 2 = 0
Estados Rep SO(8) (−1)F̃ (−1)F

|aiL × |biR (8)s (8)s +1 +1 (1)+(28)+(35)s
|ȧiL × |ḃiR (8)c (8)c −1 −1 (1)+(28)+(35)c
|ȧiL × |biR (8)c (8)s −1 +1 (8)v + (56)v
|aiL × |ḃiR (8)s (8)c +1 −1 (8)v + (56)v
(NS,R): α0 M 2 = 0
i
b−1/2 i |0i × |ȧi ;
|0iL × |aiR ; b−1 L R
(8)v × (8)s (8)v × (8)c

((−1)F , (−1)F )) = (+1, +1) (+1, −1)
e
(NS,R): α0 M 2 = 0
i
b−1/2 i |0i × |ȧi ;
|0iL × |aiR ; b−1 L R
(8)v × (8)s (8)v × (8)c

((−1)F , (−1)F )) = (+1, +1) (+1, −1)
e
(R,NS): α0 M 2 = 0
i
|aiL × b−1/2 i
|0iR ; |ȧiL × b−1/2 |0iR ;
(8)s × (8)v (8)c × (8)v
((−1)F , (−1)F )) = (+1, +1) (−1, +1)
e
A nivel masivo hay demasiados estados, pero es obvio

construirlos.
A nivel masivo hay demasiados estados, pero es obvio

construirlos.
La proyección GSO se puede hacer por separado para los

sectores derecho e izquierdo
Para NS: (−1)F = +1 y (−1)F = +1

e
Para R hay dos posibilidades no equivalentes:
(−1)F = (−1)F = +1 o (−1)F = −(−1)F = +1

e e
Espectro de estados en cuerda cerrada IIB
La teorı́a con (−1)F = (−1)F = 1 es la IIB → quiral

e
No hay taquión porque (−1)F |0, pi = (−1)F |0, pi = −1

e
M 2 = 0 : (IIB)
Bos [(1) + (28) + (35)v ](NS,NS) + [(1) + (28) + (35)s ](R,R)

Fermi [(8)c + (56)c ](NS,R) + [(8)c + (56)c ](R,NS)
128 estados bosónicos y 128 estados fermiónicos:
Espectro supersimétrico que representa

Espectro no masivo de IIB
Bos [(1) + (28) + (35)v ](NS,NS) + [(1) + (28) + (35)s ](R,R)

Fermi [(8)c + (56)c ](NS,R) + [(8)c + (56)c ](R,NS)
(35)v grados de libertad de un gravitón,

Los dos (28) representan dos tensores antisimétricos,
(35)s un tensor antisimétrico de rango 4 autodual.
También hay 2 escalares
(56)c representan dos gravitinos y
(8)c dilatinos de s = 1/2
El espectro no masivo es el de la supergravedad IIB en D = 10

Que haya 2 gravitinos =⇒ supersimetrı́a N = 2

Que haya 2 gravitinos =⇒ supersimetrı́a N = 2
Como los dos gravitinos tienen la misma quiralidad, es una

teorı́a quiral
Espectro no masivo de cuerda cerrada IIA
La teorı́a con (−1)F = −(−1)F = 1 es la IIA

e
No hay taquión porque (−1)F |0, pi = (−1)F |0, pi = −1

e
M 2 = 0 : (IIA)
Bos [(1) + (28) + (35)v ](NS,NS) + [(8)v + (56)v ](R,R)

Fermi [(8)c + (56)c ](NS,R) + [(8)s + (56)s ](R,NS)
128 estados bosónicos y 128 estados fermiónicos
Espectro supersimétrico que representa

Espectro no masivo de IIA
Bos [(1) + (28) + (35)v ](NS,NS) + [(8)v + (56)v ](R,R)

Fermi [(8)c + (56)c ](NS,R) + [(8)s + (56)s ](R,NS)
(35)v representa los grados de libertad de un gravitón,

(56)v representa un tensor antisimétrico de rango 3,
(28) tensor antisimétrico de rango 2
(8)v un vector
(1) escalar real: dilatón
(56)c y (56)s representan dos gravitinos
(8)c y (8)s dilatinos de s = 1/2
El espectro no masivo es el de la supergravedad IIA en D = 10
Que haya 2 gravitinos =⇒ supersimetrı́a N = 2, pero en IIA

es no quiral
El espectro no masivo de IIA se puede obtener por reducción

dimensional de sugra D = 11 a D = 10
Los dof fermiónicos se combinan en espinor de Majorana en

D = 11 con 128 dof
Los dof bosónicos, [(1) + (8) + (35)]SO(8) = 44SO(9) son los

dof de gravitón D = 11
[(28) + (56)]SO(8) = 84SO(9) es una 3-forma

INTERACCIONES
Vimos que en el sector NSNS de las supercuerdas hay un
tensor no masivo α0 M 2 = 0 :
i j
be−1/2 |0iL × b−1/2 |0iR
que contiene un tensor simétrico de spin 2
Vimos que en el sector NSNS de las supercuerdas hay un
tensor no masivo α0 M 2 = 0 :
i j
be−1/2 |0iL × b−1/2 |0iR
que contiene un tensor simétrico de spin 2
Es un indicio de gravedad en la teorı́a de cuerdas
Para confirmarlo al nivel de interacciones →

calcular amplitudes de scattering de estos estados
El marco teórico para estudiar propiedades accesibles a
experimento en la fı́sica de partı́culas a altas energı́as, es QFT
A esas energı́as la gravedad es mucho mas débil que las otras

interacciones de gauge, mediadias por bosones de gauge de
spin 1
La constante de acoplamiento gravitatoria adimensional

(4) E2
GN E 2 ∼ 2
MPl
=⇒ a E altas la gravedad se hace mas intensa y hay que
incluirla en la fı́sica de partı́culas
Pero la QFT de gravedad construida como YM en 4D es no

renormalizable
El comportamiento de la teorı́a de cuerdas a altas E es mucho
mas suave
A bajas E la teorı́a de cuerdas tiene una descripción en

términos de una teorı́a efectiva de campos
mas suave

Para esa teorı́a de campos, la escala de la cuerda povee un

cutoff natural, por encima del cual la descripción de teorı́a de
campos ya no es adecuada
mas suave

Para esa teorı́a de campos, la escala de la cuerda povee un

cutoff natural, por encima del cual la descripción de teorı́a de
campos ya no es adecuada
Del punto de vista de bajas E, la teorı́a de cuerdas completa

provee la completitud ultravioleta
La manera natural de introducir interacciones en teorı́a de
cuerdas es la integral de caminos de Feynman
Las amplitudes se obtienen sumando sobre todas las posibles

historias que interpolan entre estados iniciales y finales
Cada historia se pesa con exp(iScl /h)
En teorı́a de cuerdas, las amplitudes se definen sumando sobre

hojas de mundo que conectan las curvas inicial y final
Las únicas interacciones permitidas ya están implı́citas en la
suma sobre hojas de mundo: una cuerda que decae en dos o
dos cuerdas que se unen en una
Estas son las interacciones básicas: todas las interacciones se

obtienen como estados de excitación de la cuerda y del único
proceso de las figuras
No hay un punto donde ocurra la interacción. Esta propiedad
elimina las divergencias de distancias cortas de supergravedad
Las propiedades locales de la hoja de mundo son como las de

la teorı́a libre
La interacción solo ocurre por la topologı́a global de la hoja

de mundo
Todas las partı́culas se obtienen como estados de excitación
de la cuerda
Todas las interacciones en teorı́as de cuerdas cerradas se

originan en este único proceso
En teorı́as con cuerdas abiertas pueden ocurrir otros procesos
No hay teorı́as con cuerdas abiertas sin cuerdas cerradas

Las amplitudes se simplifican cuando las cuerdas entrantes y
salientes están en infinito
Esto corresponde a una amplitud de scattering: un elemento

de matriz S con cuerdas entrantes y salientes en un cierto
estado de excitación
Las hojas de mundo de cuerda cerrada resultantes tienen tubos
que se extienden entre el pasado infinito y el futuro infinito
La invariancia conforme permite considerar hojas de mundo

compactas con punturas en vez de superficies con bordes
Las cuerdas entrantes y salientes se mapean a puntos

(punturas) de la superficie de D = 2
Los números cuánticos de los estados de cuerda externa son
generados por operadores insertados en esos puntos:
operadores de vértice
Haciendo el mapeo conforme, la hoja de mundo se transforma

en una superficie de dos dimensiones con partı́culas entrantes
y salientes insertadas por operadores de vértice locales
Los operadores de vértice se pueden pensar como proyecciones

conformes de estados asintóticos
Haciendo el mapeo conforme, la hoja de mundo se transforma

en una superficie de dos dimensiones con partı́culas entrantes
y salientes insertadas por operadores de vértice locales
Los operadores de vértice se pueden pensar como proyecciones

conformes de estados asintóticos
Solo se sabe construir operadores de vértice para estados

on-shell =⇒
Las amplitudes de scattering de partı́culas on-shell son

funciones de correlación de operadores de vértice
Las amplitudes de scattering a un loop se describen con hojas
de mundo con un agujero (manija)
Amplitudes multiloops tienen mas agujeros
En D = 2 la clasificación de estas topologı́as es conocida

Cualquier superficie 2D compacta, conexa, orientada y sin
bordes es topológicamente equivalente a una esfera con g
manijas: solo un diagrama a cada loop
g es el género de la superficie
El número de Euler, que es un invariante topológico, es
χ = 2(1 − g )
En la teorı́a perturbativa, las amplitudes de n puntos de
cuerdas bosónicas cerradas se calculan con
∞ ∞ Z n Z
(g )
X X Y
An = An = CΣg DhDX d 2 zi Vi (zi , z i )e −S[h,X ]
g =0 g =0 i=1
En la teorı́a perturbativa, las amplitudes de n puntos de
cuerdas bosónicas cerradas se calculan con
∞ ∞ Z n Z
(g )
X X Y
An = An = CΣg DhDX d 2 zi Vi (zi , z i )e −S[h,X ]
g =0 g =0 i=1
Mientras en QFT hay que calcular un gran número de

diagramas para cada amplitud, en teorı́a de cuerdas cerradas
hay solo uno a cada loop
Si se agregan bordes, cualquier superficie 2D compacta,
conexa, orientada con bordes es topológicamente equivalente
a una esfera con g manijas y b bordes:
χ = 2 − 2g − b
Si se agregan bordes, cualquier superficie 2D compacta,
conexa, orientada con bordes es topológicamente equivalente
a una esfera con g manijas y b bordes:
χ = 2 − 2g − b
En la teorı́a perturbativa de cuerdas no orientadas también

hay que considerar hojas de mundo no orientables
Hay una orientación si se pueden distinguir los extremos,

como en QCD con grupo de gauge SU(n) (a).
Si no se pueden distinguir, no hay orientación (b)

En hoja de mundo no orientable: transporte paralelo de
vectores cambia su orientación relativa.
Amplitud de 2 cuerdas abiertas: a) orientable; b) no orientable
Se pueden pegar los dos extremos de la franja para formar un

anillo, o se los puede pegar luego de una transformación de
orientación (Ω) → banda de Mobius
(a) Proceso con estado intermedio de 2 cuerdas abiertas:
topologı́a anillo debe aparecer en amplitudes de cuerda abierta
(b) La misma topologı́a como cilindro: estado intermedio de

cuerda cerrada
No hay teorı́a de cuerda abierta sin cerrada

Hojas de mundo no orientables se pueden obtener de las
orientables agregando ”crosscaps”: se elimina un disco y se
identifican puntos opuestos sobre el borde
El número de Euler de una superficie no orientable con g

manijas, b agujeros y c crosscaps es
χ = 2 − 2g − b − c
Hojas de mundo no orientables se pueden obtener de las
orientables agregando ”crosscaps”: se elimina un disco y se
identifican puntos opuestos sobre el borde
El número de Euler de una superficie no orientable con g

manijas, b agujeros y c crosscaps es
χ = 2 − 2g − b − c
El número de Euler, el número de bordes y la orientabilidad

especifican completamente la topologı́a de una variedad 2D
conexa.
Los términos iniciales en la expansión en superficies de
Riemann son: χ = 2 − 2g − b − c
Hola de mundo Número de Euler g b c
Esfera S 2 2 0 0 0
Disco D2 1 0 1 0
Plano proyectivo RP2 1 0 0 1
Toro T 2 0 1 0 0
Cilindro C 2 0 0 2 0
Banda Mobius M 2 0 0 1 1
Botella Klein K 2 0 0 0 2
Teorema de Gauss-Bonnet:
Z √ Z
1 2 1
χ(Σ) = hR d σ + k ds
4π Σ 2π ∂Σ
R es la curvatura de h y k la traza de la curvatura extrı́nseca

sobre el borde
Teorema de Gauss-Bonnet:
Z √ Z
1 2 1
χ(Σ) = hR d σ + k ds
4π Σ 2π ∂Σ
R es la curvatura de h y k la traza de la curvatura extrı́nseca

sobre el borde
Estos términos se pueden agregar a la acción de Polyakov sin

cambiar las eom: incluyendo −λχ en SP :
X∞ Z Yn Z
An = CΣg DhDX d 2 zi Vi (zi , z i )e −S[h,X ]−λχ
g =0 i=1
Definiendo gs = e λ, cada término de la serie perturbativa

tiene un factor
−2+2g +b+c+nc + 12 no −χ+nc + 12 no
gs = gs
−2+2g +b+c+nc + 12 no −χ+nc + 21 no
gs = gs
nc es el número de inserciones de vértices de cuerdas cerradas

y no de abiertas
Al agregar una manija a una hoja de mundo g → g + 1,
gs−2+2g → gs−2+2g +2
Esto corresponde a la emisión y reabsorción de una cuerda

cerrada, i.e. inserción de dos operadores de vértice de cuerda
cerrada, cada uno contribuye gs
Agregar una franja equivale a b → b + 1 =⇒ la integral de
caminos adquiere un factor extra e λ
Agregar una franja corresponde a emitir y reabsorber una

cuerda abierta virtual =⇒ la amplitud para emitir una
cuerda abierta es proporcional a e λ/2
−2+2g +b+c+nc + 12 no −χ+nc + 12 no

gs = gs
Conclusión: cada operador de vértice de cuerda cerrada lleva
un factor gs y cada operador de vértice de cuerda abierta, un
1/2
factor gs
El diagrama mas simple de cuerda cerrada en interacción: una

cuerda entrante y dos salientes, es porporcional a
gs−2+2g +3 = gs .
Entonces gs se llama constante de acoplamiento de la cuerda

RESUMEN
En la teorı́a perturbativa, las amplitudes de n puntos de cuerdas

bosónicas se calculan con la integral de caminos
∞
X Z n Z
Y
An = CΣ DhDX d 2 zi Vi (zi , z i )e −S[h,X ]−λχ
g ,b,c=0 i=1
Cada topologı́a se pesa con χ
Los operadores de vértice crean estados fı́sicos

Como la acción S es invariante por transformaciones
conformes y difeomorfismos de la hoja de mundo, la integral
de caminos de Polyakov es altamente divergente.
Se integra infinitas veces sobre configuraciones de métricas

equivalentes de gauge
Como la acción S es invariante por transformaciones
conformes y difeomorfismos de la hoja de mundo, la integral
de caminos de Polyakov es altamente divergente.
Se integra infinitas veces sobre configuraciones de métricas

equivalentes de gauge
Dos métricas equivalentes por difeomorfismos y Weyl

contribuyen lo mismo a la integral funcional
Para compensar este sobre-conteo, hay que dividir por el
volumen del grupo de simetrı́as generado por los
difeomorfismos y transformaciones de Weyl:
Z
DhDX
Vol(Diff)Vol(Weyl)
Hay que identificar una porción de gauge: elegir una

configuración de cada conjunto equivalente (diff × Weyl)
Localmente se puede hacer fijando la métrica, pero
globalmente hay una diferencia entre el espacio de métricas y
el grupo de gauge de la hoja de mundo
Sabemos cómo cambia una métrica hαβ por difeomorfismos y

Weyl
δhαβ = ∇α ξβ + ∇β ξα + 2Λhαβ
Pero una vez fijada una métrica hαβ , en una hoja de mundo
genérica no todas las métricas se pueden generar a partir de
ella por difeomorfismos y Weyl
=⇒ la integral sobre métricas contiene una integral sobre difeos,
otra sobre Weyl y la tercera sobre módulos.
Las dos primeras cancelan el volumen de difeos y de Weyl y queda

la tercera
metricas
Mg =
Weyl × difeos
=⇒ la integral sobre métricas contiene una integral sobre difeos,
otra sobre Weyl y la tercera sobre módulos.
Las dos primeras cancelan el volumen de difeos y de Weyl y queda

la tercera
metricas
Mg =
Weyl × difeos
La integral de caminos de Polyakov se reduce a una integral sobre

el espacio de módulos
Amplitudes de cuerda cerrada a nivel árbol
El espacio de módulos sobre el que hay que integrar depende

de la superficie y en general es complicado
Pero la fı́sica interesante está en las amplitudes a nivel árbol

(S 2 ) y un loop (T 2 )
A nivel árbol la amplitud de scattering es la función de

correlación de la teorı́a 2D en S 2 :
Z m
S2 1 1 −S
Y
Am = 2 DXDh e V (ki )
gs Vol(Weyl × difeos)
i=1
Amplitudes de cuerda cerrada a nivel árbol
Toda métrica en la esfera es equivalente conforme a la
métrica plana en el plano
El mapa conforme de S 2 al plano es la proyección

estereográfica: el polo sur se mapea al origen y el polo norte
al punto en infinito
=⇒ se puede fijar el gauge de difeos y Weyl y calcular

funciones de correlación en el plano
De amplitudes a teorı́as efectivas de bajas energı́as
A bajas E , cuando los momentos k son chicos, solo son

relevantes los estados no masivos
En este lı́mite la fı́sica se reduce a una teorı́a efectiva de los

campos no masivos: acción de Einstein-Hilbert y Yang-Mills
De amplitudes a teorı́as efectivas de bajas energı́as
A bajas E , cuando los momentos k son chicos, solo son

relevantes los estados no masivos
En este lı́mite la fı́sica se reduce a una teorı́a efectiva de los

campos no masivos: acción de Einstein-Hilbert y Yang-Mills
Amplitudes de cuerdas contienen términos con varias

potencias de momento: expansión α0 conduce a términos con
derivadas de orden superior en la acción efectiva
Ası́ se calcularon las correcciones de cuerdas a las acciones de

Einstein y Yang-Mills.
EL TORO
El toro es la única superficie cerrada orientada con número de
Euler cero:
Z √
2 1
χ(T ) = hR d 2 σ = 2 − 2g = 0
4π T 2
A nivel árbol se usan difeos y Weyl para mapear una métrica

arbitraria en S 2 a la métrica plana en el plano
El toro es la única superficie cerrada orientada con número de
Euler cero:
Z √
2 1
χ(T ) = hR d 2 σ = 2 − 2g = 0
4π T 2
A nivel árbol se usan difeos y Weyl para mapear una métrica

arbitraria en S 2 a la métrica plana en el plano
Pero en el toro T 2 hay una sutileza
Heurı́sticamente un toro gordo y uno flaco son equivalentes

por transformaciones conformes
Pero hay una diferencia

El toro
Se puede definir el toro tomando coordenadas
0 ≤ ξ 1 ≤ 1, 0 ≤ ξ 2 ≤ 1,
con X µ (ξ 1 , ξ 2 ) y h(ξ 1 , ξ 2 ) periódicos en ambas direcciones

El toro
Se puede definir el toro tomando coordenadas
0 ≤ ξ 1 ≤ 1, 0 ≤ ξ 2 ≤ 1,
con X µ (ξ 1 , ξ 2 ) y h(ξ 1 , ξ 2 ) periódicos en ambas direcciones
El toro es el plano ξ con la identificación de puntos
(ξ 1 , ξ 2 ) ∼
= (ξ 1 , ξ 2 ) + (m, n), m, n ∈ Z
El toro
Teorema: una métrica arbitraria no se puede hacer plana con

transformaciones dif × Weyl que dejen invariante la
periodicidad.
El toro
Teorema: una métrica arbitraria no se puede hacer plana con

transformaciones dif × Weyl que dejen invariante la
periodicidad.
Si se quiere mantener la periodicidad 0 ≤ ξ 1 , ξ 2 ≤ 1, la

métrica se puede llevar a la forma
ds 2 = |dξ 1 + τ dξ 2 |2
con τ una constante compleja

El toro
Alternativamente, se puede describir T 2 como el plano
complejo z con identificaciones
z ∼ z + nλ1 + mλ2 , n, m ∈ Z, λ1 , λ2 ∈ C Im(λ2 /λ1 ) 6= 0
Tomar dos números complejos λ1 y λ2 tal que Im(λ1 /λ2 ) 6= 0

El toro
λ1 , λ2 generan un látice
Λ = {nλ1 + mλ2 |n, m ∈ Z}
El toro se define haciendo las identificaciones
z ∼ z + nλ1 + mλ2 , n, m ∈ Z, λ1 , λ2 ∈ C Im(λ2 /λ1 ) 6= 0
El toro es C/Λ
El toro
Como la transformación conforme z 0 = αz, α ∈ C reescalea
λ1 , λ2 , solo el cociente puede ser invariante conforme:
λ2
τ= ≡ τ1 + iτ2
λ1
La métrica ds 2 = |dξ 1 + τ dξ 2 |2 es invariante por

τ → τ ∗ =⇒ se puede restringir Im τ > 0
El toro
Como la transformación conforme z 0 = αz, α ∈ C reescalea
λ1 , λ2 , solo el cociente puede ser invariante conforme:
λ2
τ= ≡ τ1 + iτ2
λ1
La métrica ds 2 = |dξ 1 + τ dξ 2 |2 es invariante por

τ → τ ∗ =⇒ se puede restringir Im τ > 0
Se puede poner τ en la métrica o en la periodicidad
Los toros se caracterizan por puntos τ en el semiplano

superior, identificando lados opuestos del paralelogramo
z ∼ z + n + mτ, n, m ∈ Z
El toro
τ se llama parámetro de Teichmuller
Definición del toro T 2 por un parámetro complejo τ :

El toro
Pero hay transformaciones que cambian τ y dejan el toro

invariante
T: τ → τ + 1 mantiene la identificación
z ∼ z + m + nτ, n, m ∈ Z
con (m, n) → (m − n, n)
S: τ → − τ1 corresponde a (m, n) → (n, −m)

(definiendo z 0 = zτ )
El toro
Las dos transformaciones τ → τ + 1 y τ → − τ1 generan el
grupo SL(2, Z):
aτ + b
τ → τ0 = , a, b, c, d ∈ Z, ad − bc = 1
cτ + d
 
a b
Como las dos matrices ±   generan la misma
c d
transformación τ , el grupo de difeomorfismos globales es
SL(2, Z)/Z2 = PSL(2, Z)
Este es el grupo modular del toro

El toro
Conclusión: El parámetro τ , sujeto a las relaciones de

equivalencia
aτ + b
τ → τ0 = , a, b, c, d ∈ Z, ad − bc = 1
cτ + d
describe toros no equivalentes conformes
Entonces el espacio de módulos del toro es el cociente del
espacio de Teichmuller y el grupo modular:
Espacio de Teichmuller
M1 =
grupo modular
Región fundamental
Cualquier punto en el semiplano superior está relacionado

mediante una transformación PSL(2, Z) a un punto en la
llamada región fundamental F del grupo modular
Usando las transformaciones modulares

aτ + b
τ → τ0 = , a, b, c, d ∈ Z, ad − bc = 1
cτ + d
se puede mostrar que cada τ es equivalente a un punto en F
La región fundamental del toro es
1 1
F = {− ≤ Re τ ≤ , |τ |2 ≥ 1}
2 2
Puntos en F describen toros no equivalentes conformes
Cualquier transformación modular saca τ afuera de la región

fundamental
La transformación S mapea la región fundamental F en FS y

T en FT
EJERCICIO
Describir el espacio modular del toro y obtener la región

fundamental
Como es irrelevante cuál región fundamental se elige, el
integrando de las amplitudes de cuerdas a un loop debe ser
invariante por transformaciones modulares
El requerimiento de invariancia modular juega un rol muy

importante en teorı́a de cuerdas
En las supercuerdas, impone la proyección GSO
En la construcción de las cuerdas heteróticas impone fuertes

restricciones sobre los posibles grupos de gauge y está
relacionado a las anomalı́as en la teorı́a espacio-tiempo
FUNCIÓN PARTICIÓN
AMPLITUD DE VACÍO EN EL TORO
Interpretación de función partición en T 2
En lenguaje de operadores, la función partición en el toro es:
Z (τ, τ ) = Tr [exp(2πiτ1 P − 2πτ2 H)]
Se puede pensar como una teorı́a de campos en un cı́rculo,

que evoluciona un tiempo euclı́deo 2πτ2 , se traslada 2πτ1 en
σ y luego se identifican los extremos.
Una hoja de mundo Euclı́dea con tiempo periódico se puede
interpretar como una función partición a temperatura finita
para la teorı́a definida en el cilindro
Una hoja de mundo Euclı́dea con tiempo periódico se puede
interpretar como una función partición a temperatura finita
para la teorı́a definida en el cilindro
En un toro cuadrado con Reτ = 0, compactificar el tiempo

Euclı́deo con perı́odo (Imτ ) es equivalente a poner la teorı́a a
temperatura finita T = 1/(Imτ ):
Z [τ ] = Tre −2π(Imτ )H
D
con Tr sobre todos los estados de la teorı́a y H = L0 + Le0 − 12
Hacer Re τ 6= 0 equivale a trasladar un punto en el cı́rculo

una distancia Re τ
La traza se llama función partición, como en mecánica
estadı́stica
estadı́stica
El momento P = L0 − Le0 genera traslaciones en σ y

D
H = L0 + Le0 − 12 genera traslaciones en τ
estadı́stica
El momento P = L0 − Le0 genera traslaciones en σ y

D
H = L0 + Le0 − 12 genera traslaciones en τ
h i
Z (τ, τ ) = (qq)−D/24 Tr q L0 q L0 ) , q = e 2πiτ
e
Calculemos la traza.
Cada campo X se descompone en modos cero y un número

infinito de osciladores α−n que crean estados de energı́a n
1
E.g.: Trq α−1 α1 = 1 + q + q 2 + ... = 1−q
Calculemos la traza.
Cada campo X se descompone en modos cero y un número

infinito de osciladores α−n que crean estados de energı́a n
1
E.g.: Trq α−1 α1 = 1 + q + q 2 + ... = 1−q
Actuando d veces con α−n crea un estado con energı́a dn,

que contribuye a Trq L0 como q dn =⇒
∞
X 1
q nd =
1 − qn
d=0
El espacio de Fock de un único campo escalar se construye
con modos α−n , n ∈ Z+ =⇒
∞
L0
Y 1
Trq =
1 − qn
n=1
La contribución a H del modo cero del campo escalar p es

1 0 2
2α p
La traza en la función partición requiere sumar sobre todos los

estados =⇒
Z
dp −πα0 (Imτ )p2 1
e ∼√
2π 0
α Imτ
Poniendo todo junto, la contribución de un campo escalar
libre X es
∞ ∞
1 1 Y 1 Y 1
Zescalar [τ ] ∼ √
α0 Imτ (qq)1/24 n=1 1 − q n n=1 1 − q n
En el gauge cono de luz hay 24 osciladores y 26 modos cero
Por último hay que integrar sobre el espacio de módulos del

toro y dividir por el volumen del grupo de Killing conforme
4π 2 Imτ :
Z ∞
!24 ∞ !24
1 1 1 Y 1 Y 1
A = d 2τ
Imτ (Imτ )13 qq 1 − qn 1 − qn
n=1 n=1
La función partición de cuerda bosónica cerrada se puede
escribir en términos de la función eta de Dedekind:
∞
Y
1/24
η(τ ) = q (1 − q n ), q = e 2πiτ
n=1
como
Z (τ, τ ) = (Imτ )−12 |η(τ )|−48
La función partición de cuerda bosónica cerrada se puede
escribir en términos de la función eta de Dedekind:
∞
Y
1/24
η(τ ) = q (1 − q n ), q = e 2πiτ
n=1
como
Z (τ, τ ) = (Imτ )−12 |η(τ )|−48
La amplitud de vacı́o a un loop en la cuerda bosónica cerrada

es
d 2τ
Z
(g =1)
A0 = 2
Z (τ, τ )
F (Imτ )
La invariancia modular de esta expresión es inmediata
Frente a la transformación
aτ + b
τ → τ0 = , a, b, c, d ∈ Z, ad − bc = 1
cτ + d
d 2τ
La medida Imτ es invariante:
d 2 τ → |cτ + d|−4 d 2 τ,
Imτ → |cτ + d|−2 Im τ
Invariancia modular
Usando las propiedades de transformación de η(τ ):
η(τ + 1) = e iπ/12 η(τ )

√

1
η − = −iτ η(τ )
τ
la invariancia de la amplitud es inmediata

EJERCICIO: a) Calcular la función partición de la cuerda bosónica
cerrada:
Z (τ, τ ) = Tr [exp(2πiτ1 P − 2πτ2 H)]
y escribirla en términos de la función η de Dedekind
b) Mostrar que la amplitud de vacı́o
d 2τ
Z
(g =1)
A0 = Z (τ, τ )
F (Imτ )2
es invariante modular
La función partición cuenta el número de estados que se
propagan alrededor del toro en la dirección τ2 y los pesa con
un factor exp(−2πτ2 Hl.c. )
Contiene información sobre la cantidad de estados de cuerda a

cada nivel de masa.
La función partición cuenta el número de estados que se
propagan alrededor del toro en la dirección τ2 y los pesa con
un factor exp(−2πτ2 Hl.c. )
Contiene información sobre la cantidad de estados de cuerda a

cada nivel de masa.
Expandiendo Z (τ, τ ) en potencias 2πτ se obtiene una

P de qm=ne
serie de potencias de la forma dmn q q , con dmn el
α0 0
número de estados con 2 MR = m y α2 ML2 = n
2
1
Z (τ, τ ) ∼ |η(τ )|−48 = + 24q −1 + 24q −1 + 576 + · · ·
|q|2
1
Z (τ, τ ) ∼ |η(τ )|−48 = + 24q −1 + 24q −1 + 576 + · · ·
|q|2
El primer término corresponde al taquión ( (masa)2 negativa)

y 576 = 24 × 24 estados no masivos: gravitón, tensor
antisimétrico y dilatón
El segundo y tercer términos no satisfacen level matching y

quedan eliminados al integrar en τ2
Debido al polo del taquión, la amplitud de vacı́o a un loop de

la cuerda bosónica es infinita
Veremos que la función partición de la supercuerda se anula
debido a la supersimetrı́a espacio-tiempo
Pero antes veamos la interpretación del resultado en cuerda

bosónica
La cuerda bosónica cerrada describe un número infinito de

partı́culas con masas α0 Mn2 = 4(n − 1), n = 0, 1, ...
La función partición de la cuerda deberı́a ser una suma sobre

loops de vacı́o de cada una de las partı́culas
La función partición de campo escalar masivo φ en D dim

Z Z
1
Z = Dφexp − d xφ(−∂ + m )φ ∼ det−1/2 (−∂ 2 + m2 )
D 2 2
2
dDp
Z
1 2 2
Z = exp ln(p + m )
2 (2π)D
Exp indica loops de vacı́o para todos los números de partı́culas
Para comparar con la función partición de la cuerda,

extraemos la amplitud de vacı́o para una sola partı́cula
∞
X Z1n
Z = exp(Z1 ) =
n!
n=0
Cada término en la suma corresponde a n partı́culas que se
propagan en un loop de vacı́o y n! tiene en cuenta la
estadı́stica bosónica
dDp
Z
1
Z1 = ln(p 2 + m2 ) →p→∞ ∞
2 (2π)D
Usando la identidad
Z ∞ Z ∞
1 e −xl
dl e −xl = =⇒ dl = − ln x
0 x 0 l
Se puede reescribir
Z ∞
dDp dDp
Z Z
1 2 2 dl −(p2 +m2 )l
Z1 = D
ln(p + m ) = D
e
2 (2π) (2π) 0 2l
Integrando en p
Z ∞
dl 2
Z1 = e −m l →l→0 ∞
0 l 1+D/2
Para las infinitas partı́culas de cuerdas en D = 26 esto serı́a

Z ∞ ∞
1 X −mn2 l
Z= e
0 l 14
n=0
Usando α0 m2 = 2(L0 + Le0 − 2), level matching
Z +1/2
1
δL0 ,Le0 = dse 2πis(L0 −L0 )
e
2π −1/2
2li
y q = exp(2πiτ ) con τ = s + α0 se puede escribir
24
d 2τ
Z
1 1
Zcuerda = √
(Imτ )2 Imτ η(q)η(q)
Reτ = [− 12 , 12 ] igual que τ1 en la cuerda, pero Imτ = [0, ∞)

para la partı́cula e Imτ ∈ F para la cuerda =⇒
Las divergencias UV l → 0 de la QFT desaparecen en teorı́a
de cuerdas
En l → ∞ la integral está dominada por la contribución de la
partı́cula mas liviana
En la cuerda, es el taquión con α0 m2 = −4 =⇒

Z ∞
dl +4l/α0
e →l→∞ ∞
l 14
Esta divergencia IR de la función partición a un loop es otra

manifestación del problema del taquión
En la supercuerda no hay taquión y la región IR se comporta

bien
ESTRUCTURAS DE SPIN Y
FUNCIÓN PARTICIÓN
Resumen
La formulación RNS de la supercuerda que estuvimos viendo
tiene espinores en la hoja de mundo Σ
Resumen
Las hojas de mundo de la cuerda cerrada son superficies de

Riemann de género g : Σg .
Resumen

Se puede definir una métrica en Σ, pero hay que considerar

condiciones topológicas para definir espinores
Resumen

Se puede definir una métrica en Σ, pero hay que considerar

condiciones topológicas para definir espinores
Hay dos lazos no contraibles asociados a cada uno de los g

agujeros
Los espinores en Σg pueden tener condiciones de contorno
periódicas o antiperiódicas alrededor de cada uno de los 2g
ciclos
Cada una de estas 22g c.c. se llama estructura de spin en Σg

Los espinores en Σg pueden tener condiciones de contorno
periódicas o antiperiódicas alrededor de cada uno de los 2g
ciclos
Cada una de estas 22g c.c. se llama estructura de spin en Σg
Es importante distinguir entre estructuras de spin pares e

impares, lo que está relacionado a la estructura de modos cero
del operador de Dirac: ∇z y ∇z
Una estructura de spin es par si el número de modos cero del

operador quiral de Dirac es par y es impar en caso contrario
Vemos el caso del toro
Se puede poner una métrica plana en el toro y el operador

quiral de Dirac es ∂z
Entonces el único modo cero global es el espinor constante

Vemos el caso del toro
Se puede poner una métrica plana en el toro y el operador

quiral de Dirac es ∂z
Entonces el único modo cero global es el espinor constante
Obviamente solo puede haber c.c. (+, +) para un espinor

constante (las dos entradas se refieren a las c.c. en los dos
lazos no contraibles)
=⇒ hay 3 estructuras de spin pares y una impar en el toro
Parametrizamos el toro con dos coordenadas ξ 1 , ξ 2 ∈ [0, 1]

Las c.c. posibles para los fermiones dan 4 estructuras de spin
ψ(ξ 1 , ξ 2 ) = ±ψ(ξ 1 + 1, ξ 2 )
ψ(ξ 1 , ξ 2 ) = ±ψ(ξ 1 , ξ 2 + 1)
Las c.c. periódicas en ξ 1 corresponden al sector de Ramond y

las antiperiódicas al sector de Neveu-Schwarz
Las c.c. posibles para los fermiones dan 4 estructuras de spin
ψ(ξ 1 , ξ 2 ) = ±ψ(ξ 1 + 1, ξ 2 )
ψ(ξ 1 , ξ 2 ) = ±ψ(ξ 1 , ξ 2 + 1)
Las c.c. periódicas en ξ 1 corresponden al sector de Ramond y

las antiperiódicas al sector de Neveu-Schwarz
¿Cómo transforman las c.c. por transformaciones modulares?
Recordar que el toro está generado por dos números

complejos λ1,2 tales que Im(τ ) > 0 con τ = λλ21
Para la transformación S : τ → − τ1 =⇒ λ1 → −λ2 , λ2 → λ1 las
estructuras de spin transforman como
(−−) → (−−)
S : (++) → (++), (+−) → (−+)
(−+) → (+−)
Para la transformación T : τ → τ + 1 con λ2 → λ2 + λ1 , λ1 → λ1
las estructuras de spin transforman como
(−−) → (−+)
T : (++) → (++), (+−) → (+−)
(−+) → (−−)
Las estructuras de spin pares e impares transforman de manera

irreducible por transformaciones modulares
En teorı́a de cuerdas un principio básico es la invariancia por
difeos de la hoja de mundo, incluyendo los globales.
Como cambian la estructura de spin, para encontrar

expresiones invariantes modulares hay que sumar sobre todas
las estructuras de spin
En el toro, (++) es invariante: es la única impar. Las otras

tres deben incluirse de modo invariante modular
En particular, invariancia modular =⇒ hay que incluir los

sectores R y NS
Los modos derechos e izquierdos pueden tener distintas
estructuras de spin
(++)
Denotamos χferm (τ ) a la contribución a la función partición
de los fermiones derechos con estructura de spin (++) y lo
mismo para las otras
En el gauge cono de luz se obtienen expresiones que son

generalizaciones triviales de la expresión correspondiente para
la cuerda bosónica
(++)
χferm (τ ) = η(++) tre 2πiτ HR (−1)F
(+−)
χferm (τ ) = η(+−) tre 2πiτ HR
(−−)
χferm (τ ) = η(−−) tre 2πiτ HNS
(−+)
χferm (τ ) = η(−+) tre 2πiτ HNS (−1)F
η son las fases a determinar por invariancia modular
Para variables anticonmutantes la traza implica que los fermiones

satisfacen c.c. antiperiódicas en ξ 2
Si queremos c.c. periódicas, hay que insertar el operador (−1)F

Los Hamiltonianos en el gauge cono de luz son
∞
9 X
X
i i 1
HR = mb−m bm +
3
i=2 m=1
9 X∞
X
i 1
HNS = rb−r bri −
6
i=2 r = 1
2
Las constantes de orden normal surgen de restar la

contribución bosónica − D−2
24 de la constante de orden normal
en cada sector: 0 (R) y − 21 (NS)
Ahora es fácil evaluar las contribuciones a la función partición.

(−−)
E.g. para χferm (τ ) es (q = e 2πiτ )
(−−)
χferm (τ ) = η(−−) tre 2πiτ HNS
P∞ i i
− 61 1 rb−r br
= η(−−) q tr q r = 2
 8
1 Y X
= η(−−) q − 6  q rNr 
r Nr =0,1
∞
!8
− 61 n− 12
Y
= η(−−) q (1 + q )
n=1
El cálculo es como en el caso bosónico pero ahora los números
de ocupación están restringidos por el principio de Pauli a
Nr = 0 y 1
Podemos escribir
∞ 8
1 Y 1
q− 6 1 + q n− 2
n=1
( ∞
)4 ( ∞
)
n− 12
Y Y
= q −1/24 (1 − q n )−1 (1 − q n )4 (1 + q )8
n=1 n=1
ϑ43 (0|τ )
=
η 4 (τ )
η es la función eta de Dedekind y ϑ3 es una de las cuatro

funciones theta de Jacobi
En general:
 
α
ϑ   (0|τ )
β
∞
α2 1 Y 1
1

− 24
= η(τ )e 2πiαβ q 2 1 + q n+α− 2 e 2πiβ 1 + q n−α− 2 e −2πiβ
n=1
∞
X
exp iπ(n + α)2 τ + 2πi(n + α)β

=
n=−∞
Las funciones ϑ están en correspondencia con las c.c. de los

fermiones en el toro:
ψ(ξ 1 + 1, ξ 2 ) = −e 2πiα ψ(ξ 1 , ξ 2 )
ψ(ξ 1 , ξ 2 + 1) = −e 2πiβ ψ(ξ 1 , ξ 2 )
ψ(ξ 1 + 1, ξ 2 ) = −e 2πiα ψ(ξ 1 , ξ 2 ) , ψ(ξ 1 , ξ 2 + 1) = −e 2πiβ ψ(ξ 1 , ξ 2 )
 
1/2
(++) α = 1/2, β = 1/2 ϑ   = ϑ1
1/2
=⇒ (R)  
1/2
(+−) α = 1/2, β = 0 ϑ   = ϑ2
0
 
0
(−−) α = 0, β = 0 ϑ   = ϑ3
0
(NS)  
0
(−+) α = 0, β = 1/2 ϑ   = ϑ4
1/2
Las funciones ϑ de Jacobi y sus generalizaciones a superficies
de Riemann de género mas alto (funciones theta de Riemann)
juegan un rol importante en teorı́a de cuerdas y CFT
Cumplen identidades notables. A un loop las mas útiles son:
ϑ42 (τ ) − ϑ43 (τ ) + ϑ44 (τ ) = 0 (identidad de Riemann),
ϑ2 (τ )ϑ3 (τ )ϑ4 (τ ) = 2η 3 (τ ) (identidad producto triple de Jacobi),
ϑ01 (τ ) = ∂z ϑ1 (z|τ )|z=0 = 2πη 3 (τ )
ϑ1 (τ ) = ϑ1 (0|τ ) = 0
(−−)
Ası́ como derivamos χferm (τ ) podemos calcular:
(−−) ϑ43 (τ )
χferm (τ ) = η(−−)
η 4 (τ )
(−+) ϑ4 (τ )
χferm (τ ) = η(−+) 44
η (τ )
(+−) ϑ4 (τ )
χferm (τ ) = η(+−) 42
η (τ )
(++) ϑ4 (τ )
χferm (τ ) = η(++) 41 =0
η (τ )
Las propiedades de transformación de las funciones ϑ se
pueden calcular a partir de su expresión como sumas infinitas:
ϑ01 (τ + 1) = e iπ/4 ϑ01 (τ )

ϑ2 (τ + 1) = e iπ/4 ϑ2 (τ )
ϑ3 (τ + 1) = ϑ4 (τ )
ϑ4 (τ + 1) = ϑ3 (τ )
η(τ + 1) = e iπ/12 η(τ )
que refleja las propiedades de transformación de las

estructuras de spin por T
Por S transforman:
ϑ01 (−1/τ ) = (−iτ )3/2 ϑ01 (τ )

ϑ2 (−1/τ ) = (−iτ )1/2 ϑ4 (τ )
ϑ3 (−1/τ ) = (−iτ )1/2 ϑ3 (τ )
ϑ4 (−1/τ ) = (−iτ )1/2 ϑ2 (τ )
η(−1/τ ) = (−iτ )1/2 η(τ )
Se pueden probar con ayuda de la fórmula de Poisson

Para determinar las fases η primero se pide que la suma sobre
estructuras de spin sea invariante modular por separado en los
sectores derecho e izquierdo
Como solo son relevantes las fases relativas, se elige

η(−−) = +1, i.e.
(−−) ϑ4 (τ )
χferm = 43
η (τ )
Usando las reglas de transformación de ϑ y η resulta:

(−−) (−+) ϑ44 (τ ) −iπ/3
χferm (τ + 1) = χferm (τ ) = e
η 4 (τ )
1
Los 8 dof transversales bosónicos contribuyen ∼ η 8 (τ )
, lo que
da un factor extra de e −2πi/3 =⇒ η(−+) = −1
(−+) (+−)
Usando que χferm (−1/τ ) = χferm (τ ) resulta η(+−) = −1
η(++) no se puede determinar por invariancia modular.

Veremos que es η(++) = ±1
Ası́ la contribución de los fermiones derechos de hoja de

mundo a la función partición de la supercuerda es

2πτ iHNS 1 F
χferm (τ ) = tr e (1 − (−1) )
2

2πτ iHR 1 F
−tr e (1 − η(++) (−1) )
2
1 1
= {ϑ4 (τ ) − ϑ44 (τ ) − ϑ42 (τ ) + η(++) ϑ41 (τ )}
2 η 4 (τ ) 3
Y lo mismo para los modos izquierdos

El signo relativo entre los dos sectores refleja que los estados
en el sector NS son bosones y en el R son fermiones
El 21 (1 − (−1)F ) en el esctor NS es la proyección GSO: en R

es (−1)F = ±1 de acuerdo con η(++) = ±1 como vimos.
La Identidad de Riemann y ϑ1 = 0 =⇒ la función partición

se anula:
1 1
χferm (τ ) = {ϑ4 (τ ) − ϑ44 (τ ) − ϑ42 (τ ) + η(++) ϑ41 (τ )} = 0
2 η 4 (τ ) 3
Esto es consecuencia del espectro supersimétrico: las

contribuciones de bosones y fermiones espacio-tiempo se
cancelan
Incluyendo la contribución de los bosones, la función de
partición de las teorı́as tipo II es:
1 1 1
Z (τ, τ ) = |ϑ4 − ϑ44 − ϑ42 |2
4 (Imτ ) |η|24 3
4
Aunque esta expresión se anula, es útil para determinar el

número de estados fı́sicos a cada nivel de masa en los varios
secores (NS-NS, R-R, NS-R, R-NS)
Hay otra combinación de c.c. invariante modular: se obtiene
sumando sobre las mismas c.c. para los modos izquierdos y
derechos.
Los sectores derecho e izquierdo no son invariantes modulares

por separado.
Se obtiene
1 1 |ϑ3 (τ )|8 + |ϑ4 (τ )|8 + |ϑ2 (τ )|8
Zferm (τ, τ ) =
2 (Imτ )4 |η(τ )|24
Esto define las teorı́as de cuerdas tipo 0A/B, según el signo

de η(++) .
Tienen solo bosones espacio-tiempo y un taquión.

Veamos por qué tiene que ser η++ = ±1
Para que la función partición se pueda interpretar como una

suma sobre estados solo puede ser η(++) = 0 o ±1.
La función partición a 2 loops se puede expresar en términos

de las funciones theta de Riemann, 10 de las cuales
corresponden a estructuras de spin par y 6 impar
En el lı́mite en que la superficie de Riemann de género 2

degenera en 2 toros, las funciones theta de género 2 se hacen
productos de funciones theta de Jacobi
Especialmente ϑ1 (τ1 )ϑ1 (τ2 ) es el lı́mite de degeneración de

una función theta a género 2.
ϑ1 (τ1 )ϑ1 (τ2 ) tiene que ser parte de la función partición
porque las funciones theta transforman irreduciblemente por
difeos globales de la superficie de género 2 =⇒ η(++) = 0
queda excluida
Las estructuras de spin se pueden generalizar para espinores

en hojas de mundo mas generales, con bordes y no orientables
Se puede mostrar que las estructuras de spin siempre se

pueden definir
Eso es un requerimiento fı́sico necesario para la unitariedad de

la teorı́a de cuerdas abiertas y no orientables tipo I
FIN
Simetrı́a de gauge remanente: SL(2, C)
Sutileza: difeos que se pueden deshacer con Weyl. Hay un

número infinito
Sutileza: difeos que se pueden deshacer con Weyl. Hay un

número infinito
Los generadores infinitesimales de esas transformaciones

conformes son los operadores de Virasoro Ln , n ∈ Z
Ln es la carga conservada asociada a la transformación

conforme δz = z n+1
Los cambios de coordenadas asociados a Ln son generados por

los campos vectoriales ln = z n+1 ∂z =⇒ δz = z n+1
En z = 0 esto es no singular si n ≥ −1
1
Para ver el comportamiento en z = ∞ → u = z
=⇒ ln = −u 1−n ∂u que es no singular en u = 0 para n ≤ 1

1
Para ver el comportamiento en z = ∞ → u = z
=⇒ ln = −u 1−n ∂u que es no singular en u = 0 para n ≤ 1
Los únicos generadores del grupo conforme que son

no singulares sobre toda a esfera de Riemann son l−1 , l0 , l1
Actúan como una transformación general:

az + b
z→ , a, b, c, d ∈ C, ad − bc = 1
cz + d
que no cambia si (a, b, c, d) → −(a, b, c, d) =⇒
SL(2, C)/Z2 = PSL(2, C)
Las transformaciones globales remanantes en la esfera son los

vectores de Killing conformes
El grupo SL(2, C)/Z2 es el grupo de Killing conforme
Este grupo permite fijar 3 puntos en el plano

Factores de Chan-Paton
En ese caso hay n2 taquiones, n2 bosones vectoriales no
masivos, etc.
Una base completa de estados para los dos extremos son las
n2 matrices Hermı́ticas λaij
Son las matrices de representación de U(n) =⇒ los vectores

están asociados a una simetrı́a de gauge U(n)
Cada operador de vértice tiene un factor de Chan-Paton λaij y

las amplitudes contienen un factor adicional
Tr(λa1 λa2 λa3 λa4 )
Amplitud de Veneziano
Amplitud de 4 taquiones en D2 : escrita originalmente para modelar
ciertos aspectos de la fenomenologı́a hadrónica
4
!
X
26 26
SD 2 (k1 , ..., k4 ) ∼ (2π) δ ki [B(s, t) + B(s, u) + B(t, u)]
i=1
s = −(k1 + k2 )2 , t = −(k1 + k3 )2 , u = −(k1 + k4 )2

Variables de Mandelstam
Γ(−α0 s − 1)Γ(−α0 t − 1)
B(s, t) =
Γ(−α0 s − α0 t − 2)
Función beta de Euler
Γ(−α0 s − 1)Γ(−α0 t − 1)
B(s, t) =
Γ(−α0 s − α0 t − 2)
La función beta de Euler tiene infinitos polos simples en cada

canal, que corresponden a los infinitos estados masivos
E.g. en canal s = − α10 , 0, α10 , α20 , ...: son las masas de los
estados de la cuerda bosónica
Amplitud de Virasoro: cuerda cerrada
Γ(α(s))Γ(α(t))Γ(α(u))
A(k1 , ..., k4 ) ∼ gc4
Γ(α(s) + α(u))Γ(α(s) + α(t))Γ(α(t) + α(u))
α0
con α(s) = −1 − 4s
Los residuos de los polos son funciones complicadas de t pero

la potencia mas grande de momento en cada polo es
∞
X t 2n
A4 ∼
s − Mn2
n=0
∞
X t 2n
A4 ∼
s − Mn2
n=0
La potencia de momento dice cuál es el spin mas alto de las

partı́culas a nivel n
Los ı́ndices de la partı́cula de spin J, χµ1 ...µJ , deben ser

absorbidos por derivadas =⇒ J potencias de momento en
cada vértice
El numerador del diagrama de Feynman ∼ (momento)2J
La amplitud de cuerdas =⇒ la partı́cula de spin mas alto a

nivel n tiene J = 2n
Equivalentemente, manteniendo s fijo, los polos en t se
interpretan como infinitos diagramas de amplitudes de
scattering en canal t
Equivalentemente, manteniendo s fijo, los polos en t se
interpretan como infinitos diagramas de amplitudes de
scattering en canal t
En QFT se suman las amplitudes en canal s y t, pero en

cuerdas no
La suma de infinitas amplitudes en canal s se puede

reinterpretar como la suma de infinitas amplitudes en canal t.
No se suman ambas. Simetrı́a s, t, u: modelos de resonancia
duales
Scattering a E altas
Lı́mite s, t → ∞ con s/t fijo: E altas con ángulo fijo entre
partı́culas entrantes y salientes
SD2 (k1 ; k2 ; k3 ; k4 ) ∼ exp[−α0 (s ln α0 s + t ln α0 t + u ln α0 u)]
La caı́da exponencial es mucho más rápida que amplitud de

QFT que tienen ley de potencia o divergen
Cada término de la suma

∞
X t 2n
A4 ∼
s − Mn2
n=0
corresponde a la amplitud en canal s de procesos que

involucran partı́culas de spin 2n
∞
X t 2n
A4 ∼
s − Mn2
n=0
E.g. intercambio de partı́culas de spin 2 diverge
Para intercambio de partı́culas de spin mayor, la divergencia

es peor
∞
X t 2n
A4 ∼
s − Mn2
n=0
E.g. intercambio de partı́culas de spin 2 diverge
Para intercambio de partı́culas de spin mayor, la divergencia

es peor
Si se trunca la suma en un número finito de términos, diverge
Pero la suma infinita es mucho mas suave: da una caı́da

exponencial
Los infinitos estados de la teorı́a de cuerdas conspiran para

volver finita cualquier divergencia de la teorı́a de campos

SuperString Part 8

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

SuperString Part 8

Cargado por

Copyright:

Formatos disponibles

Supercuerdas

November 17, 2023

Espectro de cuerda fermiónica

Invariancia modular, supersimetrı́a y proyección GSO

En gauge cono de luz, la invariancia de Lorentz

En gauge cono de luz, la invariancia de Lorentz

Estados fı́sicos se construyen a partir estados fundamentales:

Estados en sector NS son bosones y en sector R son fermiones

La cuerda fermiónica abierta tiene un taquión: |0, piNS con

La cuerda fermiónica abierta con todos los estados en los

La invariancia modular juega un rol muy importante en la

Motivación de proyección GSO (Gliozzi, Scherk, Olive):

Motivación de proyección GSO (Gliozzi, Scherk, Olive):

Es equivalente a invariancia modular: elimina las

Recordar el espectro no masivo:

Recordar el espectro no masivo:

Si eliminamos una de las dos quiralidades del sector R hay la

Esto deja los dof on-shell de super-Yang-Mills N = 1 en

Recordar el espectro no masivo:

Si eliminamos una de las dos quiralidades del sector R hay la

Esto deja los dof on-shell de super-Yang-Mills N = 1 en

También hay que eliminar el taquión

Se introduce un número cuántico (−1)F bajo el cual los

Se introduce un número cuántico (−1)F bajo el cual los

Eso caracteriza al operador (−1)F a menos de un signo, que

(−1)F |0, p µ iNS = −|0, p µ iNS

La proyección GSO en NS de cuerda abierta consiste en

tiene (−1)F = (−1)N+1 y todos los estados con N par o

En particular, desaparece el taquión (N = 0, α0 M 2 = − 12 )

En el sector R el equivalente de (−1)F es un operador de

Γ = 16b02 · · · b09 es el operador quiralidad en las 8 direcciones

En el sector R el equivalente de (−1)F es un operador de

Γ = 16b02 · · · b09 es el operador quiralidad en las 8 direcciones

(−1)F , ψ µ = 0 porque Γ anticonmuta con b0i ∼ γ i y

Un estado general en el sector R

La proyección GSO en R requiere que todos los estados

La proyección GSO en R requiere que todos los estados

En NS, manteniendo los estados con (−1)F = 1 : la

En R: la proyección GSO deja la mitad de los 16 estados

La proyección GSO en R requiere que todos los estados

En NS, manteniendo los estados con (−1)F = 1 : la

En R: la proyección GSO deja la mitad de los 16 estados

Conclusión: La proyección GSO elimina el taquión y deja un

La condición (L0 − Le0 )|fisi = 0 =⇒ MR2 = ML2 =⇒ los

La condición (L0 − Le0 )|fisi = 0 =⇒ MR2 = ML2 =⇒ los

Hay que distinguir entre 4 sectores:

Complicación adicional: hay que elegir entre dos quiralidades

Los estados posibles en los niveles mas bajos son:

|0, piL × |0, piR

Los estados posibles en los niveles mas bajos son:

|0, piL × |0, piR

(1) + (28) + (35)v = 64 estados

Estados no masivos: 256 estados con α0 M 2 = 0

Estados Rep SO(8) (−1)F̃ (−1)F

(8)v × (8)s (8)v × (8)c

(8)v × (8)s (8)v × (8)c

A nivel masivo hay demasiados estados, pero es obvio

A nivel masivo hay demasiados estados, pero es obvio

La proyección GSO se puede hacer por separado para los

Para NS: (−1)F = +1 y (−1)F = +1

Para R hay dos posibilidades no equivalentes:

(−1)F = (−1)F = +1 o (−1)F = −(−1)F = +1

La teorı́a con (−1)F = (−1)F = 1 es la IIB → quiral

No hay taquión porque (−1)F |0, pi = (−1)F |0, pi = −1