El Modelo Estándar y Su Fenomenología Parte 2

MTODOS Y TCNICAS AVANZADAS EN FSICA
El modelo estndar y su fenomenologa

Parte 2: Cromodinmica Cuntica (QCD)
Jos Santiago
Fsica Terica y del Cosmos
and CAFPE
Universidad de Granada
Programa
Teoras gauge no abelianas: Lagrangiano clsico
Cuantizacin mediante integral de camino
Grados de libertad fsicos vs ghosts
QCD a un loop
Regularizacin, renormalizacin, grupo de
renormalizacin y libertad asinttica
QCD a altas energas
Factorizacin, modelo de partones
QCD a bajas energas: lagrangiano quiral
Bibliografa
Muchos libros de teora cuntica de campos
introducen cuantizacin de teoras no abelianas y
fenomenologa de QCD
Algunos de los que yo he usado son:
Peskin, Schroeder, An Introduction to Quantum Field Theory
Sterman, An Introduction to Quantum Field Theory
Pokorski, Gauge Field Theories
Yndurin, Quantum Chromodynamics. An Introduction to the
Theory of Quarks and Gluons
Introduccin
QCD es la teora de interacciones fuertes,
responsables de mantener los ncleos atmicos
ligados.
Es una teora con simetra gauge SU(3) y fermiones
(quarks) que transforman como la representacin (3)
de SU(3).
Hasta el momento se conocen 6 quarks
Q = 2=3 Q = 1=3
mu 4 MeV md 7 MeV
mc 1:5 GeV ms 0:135 GeV mp 1 GeV
mt 170 GeV mb 5 GeV
Introduccin
El experimento es compatible con que la simetra no
est rota
Sin embargo, ni quarks ni gluones (bosones gauge de
QCD) aislados han sido observados
QCD es una teora confinante: slo singletes de SU(3)
pueden ser observados
Pero QCD tambin es asintticamente libre: a altas
energas, se vuelve dbilmente acoplada y una
expansin perturbativa en trminos de quarks y
gluones es una buena aproximacin.
QCD: Lagrangiano clsico
Vamos a estudiar el Lagrangiano de una teora gauge
SU(Nc) con Nf quarks transformando en una
representacin r de SU(Nc).
En QCD tenemos Nc=3, Nf=6
El Lagrangiano clsico es:
1 a a
L = F F + i (i 6 D mi )
4
2
Donde a = 1; : : : ; Nc 1; i = 1; : : : ; Nf
a
F = @ Aa @ Aa + gf abc Ab Ac
D = @ igAa tar
[tar ; tbr ] = if abc tcr
Vectorial: el trmino de masas de quarks es invariante gauge

El Lagrangiano clsico es:
1 a a
L = F F + i (i 6 D mi )
4
Bajo una transformacin gauge infinitesimal:
! (1 + ia tar )
1
Aa! Aa
+ @ a + f abc Ab c
g
D ! (1 + ia tar )D
a a a a
igF t = [D ; D ] ) F t ! (1 + ib tb )F
a a
t (1 ic tc )
Tr(ta tb ) = C(r) ab ) (F
a 2 a a 2
) / Tr[(F a 2
t ) ] ! (F )
Acoplamientos
L = L0 + gAa i tat i g(@ Aa )f abc Ab Ac
g 2 abc ade b c d e
f f A A A A
4
Con reglas de Feynman
ig ta
gf abc [g (k p) + g (p q) + g (q k) ]
ig 2 [f abe f cde(g g g g ) + f ace f bde (g g g g )

+f ade f bce (g g g g )]
QCD: cuantizacin
Campos gauge tienen 2 polarizaciones fsicas (las
transversas). Al cuantizar podemos mantener slo
grados de libertad fsicos (rompiendo invariancia
Lorentz) o mantener invariancia Lorentz pero trabajar
con grados de libertad no fsicos.
Recordad: invariancia gauge es una redundancia en la
descripcin, tenemos que fijar el gauge para eliminar la
redundancia
Nosotros usaremos integral de camino y un gauge
covariante
Esto introducir grados de libertad no fsicos cuya
contribucin cancelar en observables fsicos
Integral de camino en QM
Hamiltoniano en forma normal ( p^ a la izq. de q^ )
eipq p^jpi = pjpi eipq

^
hpjHjqi = p H(p; q) hpjqi = p
2 q^jqi = qjqi 2
Queremos calcular la amplitud de la partcula para

viajar de posicin q' en tiempo t' a posicin q en tiempo
t
Amplitud de la partcula para viajar de q' en t' a q en t
00 ^ 0 t00 t0
hq 00 je i(t t )H ^ N jq 0 i
jq 0 i = lim hq 00 j[1 (i =N )H]
N !1
Z Y
N N
Y
= lim dpn ^ N ihqN jpN 1 i
dqn hq 00 jpN ihpN j[1 (i =N )H]jq
N !1
n=1 n=2
^ ]jq 0 i
: : : hp1 j[1 (i =N )H
ip1 q0 i[p1 q0 +H(p1 ;q 0 ) =N ]

e e
p [1 (i =N )H(p; q)] = p (1 + O(1=N 2 ))
2 2
00 ^
0 t00 t0
jq 0 i = lim hq 00 j[1 (i =N )H]
N !1
Z Y
N N
Y
N !1
n=1 n=2
^ ]jq 0 i
: : : hp1 j[1 (i =N )H
Z YN N
dpn Y
= lim dqn expfi[pN (q 00 qN ) + : : : + p1 (q2 q 0 )
N !1
n=1
2 n=2

(H(pN ; qN ) + : : : + H(p1 ; q 0 )]g
N
qn+1 qn
pn (qn+1 qn ) = pn =N ! p(t)q(t)dt
_
=N
H(pn ; qn ) =N ! H(p(t); q(t))dt
00 ^ 0 t00 t0
jq 0 i = lim hq 00 j[1 (i =N )H]
N !1
Z Y
N N
Y
N !1
n=1 n=2
^ ]jq 0 i
: : : hp1 j[1 (i =N )H
Z YN N
dpn Y
= lim dqn expfi[pN (q 00 qN ) + : : : + p1 (q2 q 0 )
N !1
n=1
2 n=2

(H(pN ; qN ) + : : : + H(p1 ; q 0 )]g
N
Z Z t00
= Dq(t)Dp(t) expfi dt[pq_ H(p; q)]g
0 0 t0
q(t ) = q
q(t00 ) = q 00
Simplifica si H = p2 =2m + V (q)
Z R
i dt[pq p2
_ 2m ] Z R
Dpe i
2m dt[p2 2mpq+m
_ 2 2
q_ m2 q_2 ]
= Dpe
Z R
i
2m _ 2 m2 q_2 ]
dt[(pmq)
= Dpe
R
Z R R
mq_ 2 2
i dt i
2m p2
dt~ i dt m2q_
=e 2 D~
pe =e F
Z R
00 ^ 00 t0 )
iH(t 0 i dtL(q(t);q(t))
_
hq je jq i = F Dqe
1
L = mq_2 V (q)
2
Hemos escrito la amplitud como una suma coherente
sobre todos los posibles caminos, pesados con la
accin
Z R
^ 00 t0 ) 0
00 iH(t i dtL(q(t);q(t))
_
hq je jq i = F Dqe
q
t = t00
t = t0
Este formalismo generaliza a un nmero arbitrario de
grados de libertad:
Z Y R P
00 ^ 00 t0 )
iH(t 0 i dt L(q(t;k);q(t;k))
_
hfq gje jfq gi = F Dq(t; k)e k
k
q(t; k) qk (t)
Hemos definido X
L= Lk (qk (t); q_k (t))
Integral de camino en QFT
Este formalismo generaliza a un nmero arbitrario de
grados de libertad:
Z Y R P
00 ^ 00 t0 )
iH(t 0 i dt L(q(t;k);q(t;k))
_
hfq gje jfq gi = F Dq(t; k)e k
k
Y por tanto a teoras de campos q(t; k) ! (t; ~

x)
Z R 4
^ 00 0
x)jeiH(t t ) ja (~x)i = F
hb (~ D(x)ei d xL(;@)
(t0 ; ~
x) = a (~x)
00
(t ; ~x) = b (~
x)
Debe entenderse como el lmite al continuo de un

producto de integrales (discretizando el espacio tiempo)
Integral de camino en QFT
Z R
^ 00 t0 )
iH(t i d4 xL(;@)
hb (~
x)je ja (~x)i = F D(x)e
(t0 ; ~
x) = a (~x)
00
(t ; ~x) = b (~
x)
Hemos cambiado operadores por integrales funcionales

de objetos clsicos (a la derecha slo tenemos
funciones, no operadores)
Tambin vamos a definir nuestras teoras a partr del
Lagrangiano en lugar del Hamiltoniano, esto facilita
enormemente la derivacin de propiedades importantes
(ecuaciones de movimiento, comportamiento bajo
simetras, etc.)
Funciones de correlacin
Hasta ahora slo hemos claculado el operador de
evolucin. Lo que queremos calcular son correladores
de la forma
hjT fH (x1 ) : : : H (xn )gji
Veamos
Z
que estn relacionados con el objeto
RT
i T d4 xL
D(x)(x1 )(x2 )e
(T; ~x) = a;b (~
x)
Tendremos que ir de imagen de Schrdinger a imagen

de Heisenberg
^
itH ^
itH
e S (~
x)e = H (t; ~x)
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
Z Z Z RT
i d4 xL
= D1 (~
x) D2 (~
x) D(x)1 (x1 )2 (x2 )e T
(x01;2 ; ~x) = 1;2 (~

x)
assume x01 < x02 (T; ~x) = a;b (~
x)
Z Z
= D1 (~
x)1 (~x1 ) D2 (~
x)2 (~
x2 )
Z R x0
Z R x0
2 4
Z RT
1 4 i d xL i d4 xL
D(x)ei T d xL
D(x)e x0
1 D(x)e x0
2
(T; ~x) = a (~
x) (x01 ; ~x) = 1 (~x) (x02 ; ~x) = 2 (~
x)
(x01 ; ~x) = 1 (~
x) (x02 ; ~x) = 2 (~x) (T; ~
x) = b (~
x)
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
Z Z Z RT
i d4 xL
= D1 (~
x) D2 (~
x) D(x)1 (x1 )2 (x2 )e T
(x01;2 ; ~x) = 1;2 (~

x)
assume x01 < x02 (T; ~x) = a;b (~
x)
Z Z
^ x0 )
iH(T
= D1 (~
x)1 (~x1 ) D2 (~
x)2 (~
x2 ) F hb je 2 j2 i
Z R x0
Z R x0
2 4
Z RT
1 4 i d xL i d4 xL
D(x)ei T d xL
D(x)e x0
1 D(x)e x0
2
(T; ~x) = a (~
x) (x01 ; ~x) = 1 (~x) (x02 ; ~x) = 2 (~
x)
(x01 ; ~x) = 1 (~
x) (x02 ; ~x) = 2 (~x) (T; ~
x) = b (~
x)
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
Z Z Z RT
i d4 xL
= D1 (~
x) D2 (~
x) D(x)1 (x1 )2 (x2 )e T
(x01;2 ; ~x) = 1;2 (~

x)
assume x01 < x02 (T; ~x) = a;b (~
x)
Z Z
= D1 (~
x)1 (~x1 ) D2 (~
x)2 (~
x2 )
^ x0 )
iH(T ^ 0 x0 )
iH(x ^ 0 T )
iH(x
N hb je 2 j2 ih2 je 2 1 j1 ih1 je 1 ja i
We can now use the properties Z
x1 )j1 i = 1 (~x1 )j1 i
S (~ Dj1 ih1 j = 1
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
Z Z Z RT
i d4 xL
= D1 (~
x) D2 (~
x) D(x)1 (x1 )2 (x2 )e T
(x01;2 ; ~x) = 1;2 (~

x)
assume x01 < x02 (T; ~x) = a;b (~
x)
Z Z
= D1 (~
x)1 (~x1 ) D2 (~
x)2 (~
x2 )
^ x0 )
iH(T ^ 0 x0 )
iH(x ^ 0 T )
iH(x
N hb je 2 j2 ih2 je 2 1 j1 ih1 je 1 ja i
^ x0 )
iH(T ^ 0 x0 )
iH(x ^ 0 +T )
iH(x
= hb je 2 s (~
x2 )e 2 1 s (~
x1 )e 1 ja i
^
iHT ^
iHT
= hb je H (x2 )H (x1 )e ja i
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
^
iHT ^
iHT
= hb je H (x2 )H (x1 )e ja i
assume x01 < x02
0
Si hubisemos asumido x0 2 < x 0 x
1; 1 y x02 habran
aparecido en el orden inverso, por tanto
Z RT
i d4 xL
D(x)(x1 )(x2 )e T
(T; ~x) = a;b (~

x)
^
iHT ^
iHT
= hb je T fH (x2 )H (x1 )ge ja i
Para tener el vaco (estado de mnima energa) como
estado inicial y final, asumimos que nuestros estados
tienen cierto solapamiento con el vaco y tomamos el
siguiente lmite: T ! 1(1 i)
^
X
eiHT ja i = eiEn T jnihnja i eiE0 1(1i) jihja i
n
Los factores extra (incluida la normalizacin) se pueden
eliminar dividiendo por
^
2iHT
ha je jb i
Generalizando a un nmero arbitrario de campos:
R i
RT
d4 xL
D(x1 ) : : : (xn )e T
hjT H (x1 ) : : : H (xn )ji = lim R RT
T !1(1i) i T d4 xL
De
R
D(x1 ) : : : (xn )eiS
= R
DeiS
En la segunda expresin hemos definido la accin

como la integral espacio-temporal del Lagrangiano, con
el lmite en T sobreentendido
Generador funcional
Los correladores se pueden calcular de forma ms
sencilla usando el generador funcional, definido a partir
de la integral de camino, incluyendo una fuente, J, para
cada campo
Z R 4
Z
Z[J] = Dei d x[L+J (x)(x)] = DeiSJ
El generador funcional es un funcional de las fuentes.
Los correladores se obtienen como derivadas
funcionales de Z[J]
(i)n n

hjT (x1 ) : : : (xn )ji = Z[J]
Z[0] J(x1 ) : : : J(xn ) J=0
Generador funcional
La derivada funcional satisface

J(y) = (4) (x y)
J(x)
De donde se deduce inmediatamente la forma de los
correladores Z R 4
Z[J] = Dei d x[L+J (x)(x)]
R
(i) n
n
D(x1 ) : : : (xn )eiS
Z[J] = R
Z[0] J(x1 ) : : : J(xn ) J=0 DeiS
= hjT (x1 ) : : : (xn )ji

Generador funcional
Z[J] se puede calcular explcitamente para una teora
libre
Z
1
SJ = d x[ (@ 2 m2 + i) + J]
4
2
El factor i es necesario para convergencia de la
integral (se puede relacionar con el lmite de T)
Hagamos un cambio de variables para completar el
Z
cuadrado 0
(x) = (x) i d4 yF (y x)J(y)
Donde
(@x2 m2 + i)F (x y) = i (4) (x y)
Generador funcional
Z[J] se puede calcular explcitamente para una teora
libre Z
1 0
SJ = d x[ (@ 2 m2 + i)0 ]
4
2
Z
4 4 1
d xd y[ J(x)(iF (x y))J(y)]
2
Cambiando de variable tenemos (D0 = D)
Z R 4 R 4 4
0 1
Z[J] = D0 ei d xL0 ( ) e 2 d xd yJ(x)F (xy)J(y)
R
12 d4 xd4 yJ(x)F (xy)J(y)
= Z[0]e
Generador funcional
Ejemplo: funcin de dos puntos
R
12 d4 xd4 yJ(x)F (xy)J (y)
Z[J] = Z[0]e

2 R
12 J(x)F (xy)J(y)
h0jT (x)1 (x2 )j0i = e
J(x1 )J(x2 ) J=0
Z Z
1 Z[J]
= F (x2 y)J(y) + J (x)F (x x2 )
2 J(x1 ) y x Z[0] J =0
= F (x2 x1 )
Generador funcional
Igualmente: 4 puntos
h0jT (x)1 (x2 )(x3 )(x4 )j0i
= F (x4 x3 )F (x2 x1 )
+F (x4 x2 )F (x3 x1 )
+F (x4 x1 )F (x3 x2 )
El resultado coincide con el teorema de Wick

Generador funcional
Expandiendo en teora de perturbaciones para
acoplamientos pequeos, podemos escribir los
correladores de la teora interactuante en trminos de
correladores libres
Obtenemos las mismas reglas de Feynman que con
cuantizacin cannica
Otros generadores funcionales
El generador funcional de correladores conexos es:
E[J] = ilogZ[J]
n
n+1 E[J]
hjT (x1 ) : : : (xn )jicon: = (i)
J(x1 ) : : : J(xn )
El generador funcional de 1PI es la accin efectiva
Z
4 E[J]
[cl ] = E[J] d yJ(y)cl (y) cl =
J(x)
n [cl ]
h(x1 ) : : : (xn )i1P I =i
cl (x1 ) : : : cl (xn )
Cuantizacin QED
Z
Vamos a cuantizar QED Z[0] = DAeiS[A]
Z Z
1 1 d4 k
S= d4 xA [@ 2 g
@ @ ]A ! 4
A [k
k k 2
g ]A
2 2 (2)
Invariancia gauge implica integral infinita

S[A = (k)k ] = 0 ) Z[0] = 1
Equivalentemente, el trmino cintico no tiene inversa
~ (k) = i No tiene solucin
[k k k2 g ]D
Tenemos que fijar el gauge G[A] = 0
Gauge covariante G[A] = @ A
Cuantizacin QED
Introducimos 1 como
Z

G[A ]
1
1= D(x)(G[A ]) A
(x) = A (x) + @ (x)
e
Consideramos un gauge covariante generalizado
1
G[A ] = @ A !(x) = @ A + @ @ !
e
G[A ] @ @
= Independiente de
e
Veamos qu implicaciones tiene esto para la integral de
camino
Cuantizacin QED
Z Z
G[A ]

Z[0] = DAe iS[A]
D (G[A ])

Z Z
G[A ]

= D DAeiS[A] (G[A ])

Z Z
G[A ]

iS[A ]
= D DA e (G[A
])

Z Z
G[A ]

=
D DAe iS[A]
(@
A (x) !(x))

Cuantizacin QED
El resultado es cierto para cualquier w(x), integremos
con un peso gausiano
Z R 4 !2
D!ei d x 2 Z[0]
Z R 4 !2
Z
= N D!ei d x 2 DAeiS[A] (@ A !)
Z R 4 (@ A )2
= N DAeiS[A] ei d x 2
La normalizacin es irrelevante
1
L ! L (@ A )2
2
Cuantizacin QED
El resultado final es que slo tenemos que aadir el
trmino de fijacin de gauge al Lagrangiano
1 1
L = F F + (i D m) (@ A )2

4 2
El trmino cuadrtico ahora tiene inverso

~ (k) = i
[(1 1 )k k k 2 g ]D

~ i k k
DF (k) = 2 g (1 ) 2
k + i k
Cuantizacin QED
El mismo razonamiento funciona si introducimos
cualquier operador invariante gauge
R i
RT
d4 x[L 2
1
(@ A )2 ]
DAOe T
hjT Oji = lim R RT 1
T !1(1i) i T d4 x[L 2 (@ A )2 ]
DAe
Incluso si el operador es production (no invariante
gauge) de los campos, la ecuacin todava es vlida
Cuantizacin QCD
Vamos a cuantizar ahora QCD, la parte relevante es
Z R 4 a 2
a i d x[ 14 (F ) ]
Z[0] = DA e
Insertamos de nuevo
Z 1

G[A ] Aa Aa (x) + D a (x)
1= D(x)(G[A ]) (x) =
g

G[A ]

Mientras G[A] sea lineal, es independiente de
Cuantizacin QCD
Z Z Z
iS iS

G[A ]

DAe = DAe D(G[A ])

Z Z
iS[A ]

G[A ]

= D DA e (G[A ])

Z Z
G[A ]

= D DAe iS[A]
(G[A])

Tomando un gauge covariante generalizado e
integrando con peso gausiano
G[A ] = @ Aa ! a(x)
Z
i! 2 =(2)
D!(x)e
Cuantizacin QCD
Z Z
2 G[A ]
R
d4 x[L 2
1
(@ Aa ]
DAeiS = N DAei )

La diferencia con respecto al caso abeliano es que el
determinante no es independiente de A
G[A ] 1
= @ D
g
El determinante se puede escribir explcitamente
usando integral gausiana sobre variables de
Grassmann
Nmeros de Grassmann
Son variables que anticonmutan
= ) 2 = 2 = 0
Requiriendo que la integral sea invariante bajo adicin
de una constante tenemos
Z Z Z
df () = d(A + B) = d((A + B) + B) = B
El valor de la integral se ha normalizado a B por
convencin. Tambin por convencin elegimos
Z Z
d d = +1
Nmeros de Grassmann
Conjugacin compleja acta intercambiando trminos
() = =
1 + i2 1 i2
Definiendo = p ; = p ; tenemos
2 2
Z Z Z

b =b
dde = dd(1 b) = dd(1 + b)
Usando que la integral es invariante bajo

transformaciones unitarias tenemos (B hermtica)
Z ! Z !
Y Y P Y
i Bij j
di di e = di di e i i bi j = bi = detB
i i i
Con nmeros ordinarios habramos obtenido (2)n =detB

Cuantizacin de QCD
Podemos usar este truco para escribir el determinante
de la transformacin
Z
G[A ]

1 R 4
c(@ D )c
= det( @ D ) = DcD
ce i d x
g
c(x); c(x) son escalares que anticonmutan (violan el

principio de espn estadstica). Se conocen como los
fantasmas de Fadeev-Popov
Hemos escrito el determinante de manera que se puede
aadir directamente al Lagrangiano de QCD
Identidades de Ward
La integral de camino permite encontrar las identidades
de Ward-Takahashi de forma sencilla
Las identidades de W-T relacionan funciones de Green
con distinto nmero de campos.
El caso ms sencillo es (para QED)
p+k p p+k

k =e
k p p p+k
Identidades de Ward
Definiendo el propagador S(p) = i=[6 p m (p)] y
la funcin vrtice por (p + k; p)
p+k p p+k

k =e
k p p p+k
S(p + k)[iek (p + k; p)]S(p) = e[S(p) S(p + k)]
[iek (p + k; p)] = e[S 1 (p + k) S 1 (p)]
La identidad de WT relaciona el vrtice con

propagadores. Es consecuencia de invariancia gauge.
Identidades de Ward
Derivemosla ahora a partir de la integral de camino
1 D m)
L = (F )2 + (i
4
Hagamos el cambio de variables (sin cambio en A)
(x) ! (1 ie(x))(x)
La medida es invariante, por tanto tenemos
Z R
Z R
i
L[;;A] 0 0 i 0 ;A]
L[0 ;
DDDA(x1 )(x2 )e = DDDA (x1 ) (x2 )e
Z R

= DDDA(1 + ie1 )1 (1 ie2 )2 e i (L[;;A]j @ )

j = e
Identidades de Ward
Derivemosla ahora a partir de la integral de camino
1 D m)
L = (F )2 + (i
4
Hagamos el cambio de variables (sin cambio en A)
(x) ! (1 ie(x))(x)
La medida es invariante, por tanto tenemos
Z R
Z R
i
L[;;A] 0 0 i 0 ;A]
L[0 ;
DDDA(x1 )(x2 )e = DDDA (x1 ) (x2 )e
Z R

= DDDA(1 + ie1 )1 (1 ie2 )2 e i (L[;;A]j @ )
Z Z
0=
DDDAeiS
i d4 x@ x (jx 1 2 ) + (ie11 2 ) + 1 (ie2 2 )
Identidades de Ward
Para cualquier (x)
Z Z
0=
DDDAeiS
i d4 xx [(@ jx 1 2 ) + (e1 2 )((x x1 ) (x x2 ))]
Z

0=
DDDAeiS
(@ jx 1 2 ) + (e1 2 )((x x1 ) (x x2 ))
Dividiendo por Z[0] tenemos

2 )i = ie(x x1 )hT (x1 )(x
i@ hT j (x)(x1 )(x 2 )i + ie(x x2 )hT (x1 )(x
2 )i
Z Z Z
En espacio de momentos d4 xeikx d4 x1 eiqx1 d4 x2 eipx2
ik M (k; p; q) = ieM0 (p; q k) + ieM0 (p + k; q)

Lagrangiano de QCD
El Lagrangiano completo es
1 a 2 D m)
L = (F ) + (i
4
1 a 2
+ (@ A ) + ca (@ 2 ac g@ f abc Ab )cc
2
Con reglas de Feynman (propagadores)

; a ; b i p p ab
g (1 )
p2 + i p2
i
6 p m + i
a b i ab
p2
Lagrangiano de QCD
Con reglas de Feynman (interacciones)
a
b; abc Loops de fermiones y fantasmas
gf p tienen un factor (-1) extra
b
ig ta
gf abc [g (k p) + g (p q) + g (q k) ]
ig 2 [f abe f cde(g g g g ) + f ace f bde (g g g g )

+f ade f bce (g g g g )]
Lagrangiano de QCD
Hemos fijado un gauge covariante (que incluye
polarizaciones no fsicas)
El Jacobiano de la transformacin de gauge se puede
escribir como una integral sobre fantasmas (por su
dependencia en A, que no ocurre en teoras abelianas)
Todos los efectos se pueden escribir en trminos de un
Lagrangiano que incluye el trmino de fijacin de gauge
y el trmino de fantasmas y es explcitamente invariante
bajo transformaciones de Lorentz
Veremos que los fantasmas actan como grados de
libertad negativos, cancelando las polarizaciones no
fsicas.
Invariancia BRST
Al fijar el gauge nuestra teora ya no es explcitamente
invariante gauge (realmente s es invariante gauge y los
observables fsicos no dependen del gauge elegido).
Existe un remanente de la simetra gauge, la simetra
(global) BRST que permite demostrar, usando el
lagrangiano con el gauge fijado, resultados que se
derivan de la invariancia gauge.
Reescribamos el Lagrangiano como (B escalar usual)
1 a 2 D m)
L = (F ) + (i
4
1
(B a )2 + B a (@ Aa ) + ca (@ 2 ac g@ f abc Ab )cc
2
Invariancia BRST
Ba es un campo auxiliar (sin trmino cintico)

a
a
@ A Introducido en el Lagrangiano nos
B = lleva a nuestro Lagrangiano original

El resultado se obtiene completando el cuadrado en la
integral de camino y haciendo un cambio de variable en
la integral sobre B
1
L = (B a )2 + B a (@ Aa ) + : : :
2
1 a 2 a a 2 a 2 2 a 2

= (B ) 2B (@ A ) + (@ A ) (@ A ) + : : :
2
1 a a 2 ~ a )2
(B
a 2
= [B (@ A )] + (@ A ) + : : : = + (@ Aa )2 + : : :
2 2 2 2
Invariancia BRST
El Lagrangiano es invariante bajo la transformacin
1 a 2 D m)
L = (F ) + (i
4
1
(B a )2 + B a (@ Aa ) + ca (@ 2 ac g@ f abc Ab )cc
2
Aa = Dac cc parmetro infinitesimal

anticonmutante
a a
= igc t
a g abc b c
c = f c c
2
ca = Ba
B a = 0
Invariancia BRST
La carga BRST es nilpotente 1 2 = 0
= Q ) Q2 = 0
Q es la carga conservada asociada a la simetra BRST
[H; Q] = 0
El espacio de Hilbert de autoestados de H se separa en
tres subespacios
H1 = fji; Qji 6= 0g
h2 j2 i = 0
H2 = fji; ji = Qji; ji H1 g
h2 j0 i = 0
H0 = fji; Qji = 0; ji 6= Qjig
Invariancia BRST
Se puede ver que los estados fsicos (polarizaciones
transversas) estn en H0 y los no fsicos (polarizacin
escalar y longitudinal y fantasmas) estn en H1 o H2
Queremos ver que si nos restringimos a estados
iniciales y finales fsicos, la matrz S es todava unitaria
jA; tri H0 QSjA; tri = SQjA; tri = 0 ) SjA; tri H0 H2
hA; trjB; tri = hA; trjS y SjB; tri

X X
y
= hA; trjS j0 ih0 jSjB; tri + hA; trjS y j2 ih2 jSjB; tri
j0 i j2 i
X
= hA; trjS y j0 ih0 jSjB; tri
j0 i
Invariancia BRST
La matrz S, restringida a estados iniciales y finales

fsicos (transversos) es tambin unitaria, lo que quiere
decir que podemos utilizar como estados externos
nicamente los estados fsicos
X
hA; trjB; tri = hA; trjS y jC; trihC; trjSjB; tri
C
Fantasmas y grados de libertad
fsicos
Hemos visto que podemos usar slo grados de libertad
fsicos como estados externos, sin embargo, los
fantasmas son cruciales para mantener la teora
unitaria (propagndose como estados intermedios)
Vamos a ver un ejemplo sencillo de la relacin entre
fantasmas y grados de libertad no fsicos
Calculemos el proceso qq ! gg
fsicos
Escribimos la amplitud como
iM = t
(k )
ab 1 (k2 ); con (k) polarizaciones f
sicas
Nota sobre polarizaciones, sea k un vector momento
tipo luz k2=0. Podemos escribir las cuatro polarizaciones
!
como k0 ~k
T
(k) = p ; p ; 1;2 (k)
~
2jkj 2j~kj
Que satisfacen
Ti Tj = ij ; + Ti = Ti (+ )2 = ( )2 = 0; + = 1
X
g =

+
+ +
Ti Ti
i
fsicos
El mdulo al cuadrado de la amplitud, sumado sobre las
polarizaciones transversas es
X X
jMj2 = tab tab Ti (k1 )Tj (k2 )Ti (k1 )Tj (k2 )
T i;j
X
Ti (k1 )Ti (k1 )Tj (k2 )Tj (k2 ) P (k1 )P (k2 )
i;j
= [g + +
1 1 + +

1 1 ][g + +

2 2 + +
2 2 ]
= gg g[ +
2 2 + +

2 2 ] g [ +

1 1 + +
1 1 ]
+[ +
1 1 + +

1 1 ][ +

2 2 + +
2 2 ]
fsicos
Calculemos las amplitudes
p p
b; k2 b; k2
p+ a; k1 p+
a; k1

i i
t
1ab + t
2ab = (ig)2 v(p+ ) ta tb + tb ta u(p)
6 p 6 k2 m 6 k2 6 p+ m

i i
= (ig)2 v(p+ ) ta tb + tb ta u(p)
6 k1 6 p+ m 6 p 6 k1 m
fsicos
Calculemos las amplitudes
p
c; k3 b; k2
p+ a; k1
i abc
t
3ab = ig c
v (p+ ) t u(p) 2 gf
k3
[g (k2 k1 ) + g (k3 k2 ) + g (k1 k3 ) ]
fsicos
Y su contraccin con el momento externo

i i
(t
1ab + t
2ab )k2 = k2 (ig)2 v(p+ ) ta tb + tb ta u(p)
6 p 6 k2 m 6 k2 6 p + m

6 k2 6 k2
= ig 2v(p+ ) ta tb + tb ta u(p)
6 p 6 k2 m 6 k2 6 p+ m

6 k2 6 p + m b 6 k2 6 p+ m a
= ig 2v(p+ ) ta t + tb t u(p)
6 p 6 k2 m 6 k2 6 p+ m
= ig 2v(p+ ) [ta ; tb ]u(p) = g 2 f abc v(p+ ) tc u(p)
(t
1ab + t
2ab )k1 = ig 2
v
(p + ) a b
[t ; t ]u(p) = g 2 abc
f v
(p + ) c
t u(p)
fsicos
k2 [g (k2 k1 ) + g (k3 k2 ) + g(k1 k3 ) ]
= k2 (k2 k1 ) + k2 (k3 k2 ) + g k2 (k1 k3 )
= k2 k1 + k2 k3 + g k2 (k1 k3 )

= (k1 + k3 ) k1 (k3 + k1 ) k3 g (k1 + k3 ) (k1 k3 )
= k1 k1 k3 k3 g (k12 k32 ) = k1 k1 k3 k3 + g k32
v(p+ ) 6 k3 u(p) =
v (p+ )(6 k1 + 6 k2 )u(p) =
v(p+ )(6 p+ 6 p+ )u(p) =
v (p+ )(m m)u(p)
fsicos
k2 [g (k2 k1 ) + g (k3 k2 ) + g(k1 k3 ) ]
= k1 k1 k3 k3 + gk32
2 abc c 2 1
t3ab k2 =g f v(p+ )t f6 k1 k1 6 k3 k3 + k3 gu(p) 2
k3

2 abc c k1
= g f v(p+ )t 6 k1 u(p) 2 + g 2 f abc v(p+ )tc u(p)
k3

k
t3ab k1 = g 2 f abc v(p+ )tc 6 k2 u(p) 22 g 2 f abc v(p+ )tc u(p)
k3
fsicos
Poniendo todo junto tenemos

k1
t
ab k2 =
2 abc c
g f v(p+ )t 6 k1 u(p) 2
k3

k
tab k1 = g 2 f abc v(p+ )tc 6 k2 u(p) 22
k3
Estas contracciones se parecen mucho a la amplitud de
creacin de un par fantasma-antifantasma
p
c; k3 a; k1 iMab (k1 ; k2 ) = igv(p+ ) tc u(p) i (gf abc k1 )
gh
k32
1
= g 2 f abc v(p+ )tc 6 k1 u(p)
p+ k32
b; k2
fsicos

k1
t
ab k2 =
2 abc c
g f v(p+ )t 6 k1 u(p) 2 = iMab (k ;
gh 1 2 1k )k
k3

k
tab k1 = g 2 f abc v(p+ )tc 6 k2 u(p) 22 = iMba (k ;
gh 2 1 2k )k
k3
Estas contracciones se parecen mucho a la amplitud de
creacin de un par fantasma-antifantasma
p
c; k3 a; k1 iMab (k1 ; k2 ) = igv(p+ ) tc u(p) i (gf abc k1 )
gh
k32
1
= g 2 f abc v(p+ )tc 6 k1 u(p)
p+ k32
b; k2
fsicos

k1
t
ab k2 =
2 abc c
g f v(p+ )t 6 k1 u(p) 2 = iMab (k ;
gh 1 2 1k )k
k3

k
gh 2 1 2k )k
k3
Aunque estas amplitudes no son cero, satisfacen
t
ab k1 k2 = 0
t
ab k1 T
i (k2 ) = iMba
gh (k2 ; k1 )k 2 T
i (k2 ) = 0
t k T
ab 2 i (k1 ) = iMab
(k
gh 1 ; k )k
2 1 T
i (k1 ) = 0
fsicos

k1
t
ab k2 =
2 abc c
g f v(p+ )t 6 k1 u(p) 2 = iMab (k ;
gh 1 2 1k )k
k3

k
gh 2 1 2k )k
k3
+
Asumiendo que una polarizacin es , las nicas

amplitudes distintas de cero son
0 ~ j~k2 j
1 (k2 ; k2 )
t
ab +
(k1 )
(k2 ) =p ba
iMgh (k2 ; k1 )k2 p ba
= iMgh (k2 ; k1 )
~
2jk1 j ~
2jk2 j j~k1 j
~
jk1 j
t +
ab (k1 ) (k2 ) = iMab (k
gh 1 2; k )
j~k2 j
fsicos
X
jMj2 = t t
ab ab [g + +

1 1 + +
1 1 ]P (k2 )

T
= t
ab ab [g ]P (k2 )
t

= t t
ab ab [(g )(g ) g ( +

2 2 + +
2 2 )]

k1
t t
ab ab g +
2 2 = p iMab
gh 1 2 ab 2 g
(k ; k )t
2j~k2 j

= p 2 iMab (k
gh 1 ; k2 )[iMba
(k
gh 2 ; k1 )] k2
2j~k2 j

= iMab (k
gh 1 2; k )[iMba
(k
gh 2 1; k )]
fsicos
X
jMj2 = t t
ab ab [g + +

1 1 + +
1 1 ]P (k2 )

T
= t
ab ab [g ]P (k2 )
t

= t t
ab ab [(g )(g ) g ( +

2 2 + +
2 2 )]

tab tab g+
2 2 = iMab (k
gh 1 ; k2 )[iMba
(k
gh 2 1; k )]

tab tab g +
2 2 = iMba (k
gh 2 ; k 1 )[iMab
(k
gh 1 2; k )]
fsicos
X
jMj2 = t t
ab ab [g + +

1 1 + +
1 1 ]P (k2 )

T
= t
ab ab [g ]P (k2 )
t

= t t
ab ab [(g )(g ) g ( +

2 2 + +
2 2 )]

= tab tab (g)(g )

iMab (k
gh 1 2; k )[iMba
(k
gh 2 ; k1 )]

iMba (k
gh 2 1; k )[iMab
(k
gh 1 ; k2 )]
fsicos
En QED podemos reemplazar las sumas sobre
polarizaciones transversas
P (k) ! g
En teoras no abelianas tambin podemos hacerlo,

siempre que incluyamos la contribucin de los
fantasmas (con un signo relativo)
A nivel clsico podemos simplemente emplear estados
fsicos externos, aunque en la prctica es ms fcil
hacer el cambio de arriba y sumar sobre la contribucin
de los fantasmas
Fantasmas y unitariedad
A nivel cuntico, no tenemos eleccin, en loops internos
no tenemos suma sobre polarizaciones sino factores de
la mtrica, que podemos sustituir por
X
+ +
g = + Ti Ti
i
Por tanto automticamente estamos sumando sobre
polarizaciones no fsicas. Esto genera problemas con
unitariedad, en la forma del teorema ptico.
Fantasmas y unitariedad
El teorema ptico es consecuencia de la unitariedad de
la matriz S y se puede representar grficamente por
2 Im
2
Z
= d
Parece que deberamos producir polarizaciones no

fsicas en el trmino de la derecha, pero cuando
aadimos la contribucin de los fantasmas slo quedan
polarizaciones transversas
2
Z
+(1)
= d
T
QCD a 1 loop
A continuacin calcularemos algunas correcciones
relevantes a un loop en nuestra QCD generalizada
Usaremos la descomposicin de Passarino-Veltman
Z
i 2 2 2 4D dD q 1; q ; q q
fB0 ; B ; B g(p ; m 0 ; m1 )
162 (2)D (q 2 m20 )[(q + p)2 m21 ]
p

B0 = B =
div div 2
n g p p o

B = (p2 3m20 3m21 ) +
div 12 3
2 D =4
= + log 4

QCD a 1 loop
Auto-energa del glun
q+k
q Z D

d k i i
= (ig)2 (1) a
Tr t b
t
(2)D 6k m 6 k+ 6 q m
a; b; Z
k 2 a b dD k Tr[ (6 k + m) (6 k+ 6 q + m)]
= g Tr(t t )
(2)D (k 2 m2 )[(k + q)2 m2 ]
Z
2 ab dD k k (k + q) + k (k + q) g [k (k + q) m2 ]
= 4g C(r)
(2)D (k 2 m2 )[(k + q)2 m2 ]
i n o
= 4g 2 C(r) ab 2
2B + q B + q B g (g B + q B m2 B0 )
16
n g q2 o
2 ab i 2 2 2 2 2
= 4g C(r) (6m q ) + q q q q g (2m m ) +:::
162 6 3 2
ig 2 C(r) ab n 2
o
= g q q q + :::
122
QCD a 1 loop
q+k
q Z
1 dD k i i 2 acd bcd
= D 2 2
g f f N
2 (2) k (k + q)
a; b;
N = [g (q k) + g (2k + q) g (k + 2q) ]
k
[ (k q) g (2k + q) + (k + 2q) ]
= g (2k2 + 5q 2 + 2k q) 10k k 5(k q + k q ) + 2q q
ig 2 C2 (G) ab 2
fg (2g B 2q B 5q B0 )
32 2
10B 5B q 5B q + 2q q B0 g
2 ab

ig C2 (G) 19 2 11
= 2
g q + q q
32 6 3
QCD a 1 loop
= 0 in dimensional regularization
QCD a 1 loop
q q+k
Z D
d k i i 2 dac cbd
= (1) g f f (k + q) k
(2)D k 2 (k + q)2
a; b; Z D
2 ab d k k k + q k
= g C2 (G)
k (2)D k 2 (k + q)2
ig 2 C2 (G) ab o

= 2
B +q B
16
ig 2 C2 (G) ab q 2 q q qq o
= 2
g + + :::
16 12 3 2
ig 2 C2 (G) ab q 2 q q o
= 2
g :::
16 12 6
QCD a 1 loop
2 ab

ig C2 (G) 19 2 11 1 2 1
= g q + q q g q q q
32 2 6 3 6 3
ig 2 C2 (G) ab 10 2

= g q q q
322 3
Transverse as it should
(thanks to the ghosts!!)
QCD a 1 loop
+ +

2 ab
ig 2
5 4
= g q q q C2 (G) Nf C(r)
16 2 3 3

2 ab
ig 2
5 2
= 2
g q q q N c Nf
16 3 3

2 ab
ig 2
13 2
= 2
g q q q N c Nf
16 6 2 3
QCD a 1 loop
Auto-energa de quarks
Z
dD k 2 a i(6 k+ 6 q + m) a i
= D
(ig) t 2 2
t 2
(2) (k + q) m k
Z
dD k Dm (D 2)(6 k+ 6 q)
= g 2 C2 (r)
(2)D k 2 [(k + q)2 m2 ]
= D
= (D 2)
QCD a 1 loop
Auto-energa de quarks
Z
dD k 2 a i(6 k+ 6 q + m) a i
= D
(ig) t 2 2
t 2
(2) (k + q) m k
Z
dD k Dm (D 2)(6 k+ 6 q)
= g 2 C2 (r)
(2)D k 2 [(k + q)2 m2 ]
ig 2 C2 (r) n
o
= 2
DmB 0 (D 2)( B + 6 qB0 )
16
ig 2 C2 (r) n o
= 2
4m 2 6 q(1 1=2) + : : :
16
ig 2 C2 (r) n o
= 2
6 q 4m + : : :
16
QCD a 1 loop
Vrtice glun-quark-quark
Z
i dD q 1; q ; q q
fC0 ; C ; C g =
16 2 (2)D (q 2 m20 )[(q + p1 )2 m21 ][(q + p2 )2 m22 ]
La nica divergente es
g
C = + :::
4
QCD a 1 loop
Z
dD p [6 p+ 6 k 0 + m] [6 p+ 6 k + m]
g 3 tb ta tb
(2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p (2 D) 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
= 2 + (4 D)
QCD a 1 loop
Z
dD p [6 p+ 6 k 0 + m] [6 p+ 6 k + m]
g 3 tb ta tb
(2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p (2 D) 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
ig 3 1 a 1
= 2
[C 2 (r) C2 (G)]t (2 D) + :::
16 2 4
(2 D)
QCD a 1 loop
Z
dD p [6 p+ 6 k 0 + m] [6 p+ 6 k + m]
g 3 tb ta tb
(2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
Z
1 dD p (2 D) 6 p 6 p + : : :
= g [C2 (r) C2 (G)]ta
3
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
ig 3 1 a 1
= 2
[C 2 (r) C2 (G)]t (2 D) + :::
16 2 4
ig 3 1 a
= [C2 (r) C2 (G)] t +:::
16 2 2
QCD a 1 loop
Z
dD p b i[6 p + m] i i
(ig t ) 2 c
(ig t ) 0
(2)D p m2 (k p)2 (k p)2
gf abc [g (2k 0 k p) + g (k 0 k + 2p) + g (2k k 0 p) ]
3 Z
g dD p 2p2 2(D 2) 6 pp + : : :
= C2 (G)ta
2 (2)D p2 [(p + k)2 m2 ][(p + k 0 )2 m2 ]
ig 3 a
= 2
C2 (G)t f g C + (D 2) C g +:::
16
3ig3 a
= 2
C2 (G)t + : : :
32
QCD a 1 loop
3

ig a 1 3
+ = t C2 (r) C2 (G) + C2 (G) + : : :
16 2 2 2
ig 3 a
= 2
t fC2 (r) C2 (G)g + : : :
16
3
2
ig a Nc 1
= 2
t Nc + : : :
16 2Nc
Renormalizacin a 1 loop
Clculos a 1 loop dan resultados divergentes, que
hemos regularizado con regularizacin dimensional
Para dar sentido a dichos clculos tenemos que
renormalizar
La idea es definir campos y parmetros renormalizados
de tal manera que los infinitos se puedan reabsorber en
dichas redefiniciones
Esto se hace mediante unas constantes de
renormalizacin (o contratrminos). En teoras
renormalizables, un nmero finito de contratrminos
basta para cancelar todos los infinitos
QCD a 1 loop
Veamos el ejemplo de la auto-energa de quarks
ig 2 C2 (r) n o
= i2 = 6 q 4m + : : : i [6 q 4m] + : : :
16 2
Z
Resumando obtenemos el propagador a un loop
4 iqx iZ i
d xhT (x)(0)ie = + ::: = +:::
6q m 6 q m0 2
i i(1 )
= =
6 q(1 + ) m0 (1 + 4 ) 6 q m0 (1 + 3 )
Podemos reabsorber los infinitos en los campos y la
masa desnudos 1
m0 (1 + 3 ) = m 0 (1 + ) =
2
Veamos la lgica con el ejemplo de un campo escalar
El lagrangiano, en trminos de objetos desnudos es
1 2 1 2 2 B 4
L = (@ B ) mB B B
2 2 4!
Definamos objetos renomalizados
1=2
B = Z R ; m2B = Zm m2R ; B = Z R
El Lagrangiano queda
1 2 1 2 2 R 4
L = (@ R ) mR R
2 2 4! R
1 1 R 4
+ (Z 1)(@ R )2 (Zm Z 1)m2R 2R (Z2 Z 1) R
2 2 4!
El Lagrangiano queda
1 2 1 2 2 R 4
L = (@ R ) mR R
2 2 4! R
1 2 1 2 2 2 R 4
+ (Z 1)(@ R ) (Zm Z 1)mR R (Z Z 1)
2 2 4! R
= LR + Lct
El Lagrangiano renormalizado da los resultados que

hemos calculado (con infinitos), los contratrminos se
fijan de manera que cancelen los infinitos
La parte finita de los contratrminos es arbitraria

(esquema de renormalizacin). Objetos fsicos,
calculados a todo orden son indep. de la eleccin.
Renormalizacin multiplicativa no es siempre la mejor
eleccin (p. ej. Cuando varios sectores contribuyen)
Nosotros usaremos el esquema de renormalizacin MS,
(los contratrminos cancelan los factores de )
No todos los contratrminos tienen que ser
independientes, pueden estar relacionados por
simetras (identidades de Ward-Takahasi/Slavnov-
Taylor, BRST)
Hagmoslo para QCD
1 1
L = ZA [@ A @ A + Zg ZA2 gf abcAb Ac ]2
a a
4
1
6 @ Zm m) + Zg Z Z 2 gt
+Z (i a 6 Aa
A
a ab
1
abc 1
+Zc c [@ (@ + Zg ZA gf
2
Ab )]cc + Za (@ Aa )2
2Z
6 @ + 1 g t
= LR + 2 i 1 3 (@ Aa @ Aa )2 + : : :
a 6 A m0

4
Hemos usado las definiciones convencionales
Z3 = 1 + 3 = ZA Z0 = 1 + 0 = Z Zm
1
Z2 = 1 + 2 = Z Z1 = 1 + 1 = Zg Z ZA 2
Los contratrminos dan nuevas reglas de Feynman
Nosotros usaremos los siguientes:
i(k 2 g k k ) ab 3
i(6 k2 0 )
igta 1
+ + +

2 ab
ig 2
5 2 2 ab
= 2
g q q q Nc Nf ifg q q q g 3
16 3 3
2

g 5 2
3 = 2
Nc Nf
MS 16 3 3
ig 2 C2 (r) n o
= 2
6 q 4m + i(6 q2 0 ) + : : :
16
g2

2 = 2
C2 (r)
MS 16
g2

0 = 2
4C2 (r)
MS 16
+ +
ig 3 a a
= 2
t fC2 (r) C2 (G)g + igt 1 + : : :
16
g2

1 = 2
fC2 (r) + C2 (G)g
MS 16
Comentarios
Los contratrminos obtenidos son independientes de
masas y (esquema de renorm. indep. de masa)
g2

0 = 2
4C2 (r)
MS 16
g2

1 = 2
fC2 (r) + C2 (G)g
MS 16
g2

2 = 2
C2 (r)
MS 16
2

g 5 2
3 = 2
Nc Nf
MS 16 3 3
Comentarios
2
La parte finita depende de log
ig 2 C2 (r) n
o
= 2
DmB 0 (D 2)( B + 6 qB0 )
16
ig 2 C2 (r) n o
= 2
6 q 4m
16
Z Z
ig 2 C2 (r) n 1
2 1
2 o
+ 2
4m dx log 2 2 6 q dx(1 x) log 2
16 0 0
2 = x2 p2 + x(m21 m20 p2 ) + m20

Comentarios
2
El contratrmino del acoplamiento es
1
1 2 1
g = Zg 1 = Z1 Z2 Z3 1 = 1 2 3
2
Comentarios
2
El contratrmino del acoplamiento es
1
1 2 1
g = Zg 1 =Z1 Z2 Z3 1 = 1 2 3
2
El valor de la escala de renormalizacin es arbitrario,
pero la fsica no puede depender de dicha eleccin. Por
tanto, los parmetros de la teora renormalizada deben
depender de la dependencia cancele en observables
fsicos. Esta dependencia viene determinada por las
ecuaciones del grupo de renormalizacin (RGE).
Grupo de renormalizacin
Observables (matriz S, masas fsicas) no pueden
depender de la eleccin de la escala de renormalizacin
Funciones de Green s pueden depender
G(n) (x1 ; : : : ; xn ) hT (x1 ) : : : (xn )icon:

n n (n)
= Z 2 hT B (x1 ) : : : B (xn )icon: = Z GB (x1 ; : : : ; xn )
2
Funciones de Green amputadas se obtienen dividiendo

por propagadores externos n
(/ Z )
(n)
(n) (p1 ; : : : ; pn ) = Z2 B (p1 ; : : : ; pn )
La funcin desnuda es independiente de
(n) n (n)

B (p; gB ; mB ) = Z 2 () p; g(); m();
d (n) d n2 (n)
0 = B = Z
d d
d n @Z
n (n)
= Z 2 (n)
d 2 Z @
h @ @gR @ @mR @ n @Z i (n)
+ + mR =0
@ @ @gR mR @ @mR 2 Z @

(n) =(n)
p; g(); m();
d (n) d n2 (n)
0 = B = Z
d d
d n @Z
n (n)
= Z 2 (n)
d 2 Z @
h @ @gR @ @mR @ n @Z i (n)
+ + mR =0
@ @ @gR mR @ @mR 2 Z @
@

(gR ; mR ) = gR ()
@ g0 ;m0
Funciones universales
@
m (gR ; mR ) = mR () que absorben derivadas
mR @ g0 ;m0
con g0, m0 fijo
1 @Z
(gR ; mR ) =
2 Z @ g0 ;m0
d (n) d n2 (n)
0 = B = Z
d d
d n @Z
n (n)
= Z 2 (n)
d 2 Z @
h @ @gR @ @mR @ n @Z i (n)
+ + mR =0
@ @ @gR mR @ @mR 2 Z @
h @ @ @ i
+ m mR n (n) (p; gR ; mR ; ) = 0
@ @gR @mR
d
R=
d log
El propagador en la teora completa se puede escribir,
cerca de la masa fsica
~ (2) R(g; m; )
G (p; g; m; ) = 2 2 + reg:
p ms:
~ (2) = 0
La RGE que satisface es [R + 2]G
d
Usando R= tenemos
d
RRm2s [R + 2]R [R + 2]R = 0
0= 2 + 2 + reg )
2
(p ms )2 2
p ms Rm2s = 0
La masa fsica es independiente de

La frmula de reduccin LSZ nos dice que la matriz S
se obtiene a partir de funciones de Green amputadas y
el residuo del polo fsico de los propagadores externos
n
(n)
S= 2
lim 2
R
2
pi !mfis
d
Aplicando el operador R = (lmite sobreentendido)
n n n d n
RS = R(R 2 (n) ) = R 2 1 (n) RR + R 2 R(n)
2
n n2 1 (n) n
= R (2R) + R 2 n(n) = 0
2
La matriz S es, tal como esperbamos, independiente
de
El resultado de que observables fsicos (matriz S,
masas fsicas, etc.) son independientes de es cierto
a todo orden en teora de perturbaciones.
Si nos quedamos a un orden finito queda una
dependencia residual del orden siguiente
La RGE muestra cmo cambian los parmetros
renormalizados al variar la escala de renormalizacin
para que la fsica permanezca invariante

@ @ @
+ (gR ; mR ) m (gR ; mR )mR S(pi ; gR ; mR ; ) =0
@ @gR @mR gR ;mR
Usando la expresin de parmetros renormalizados

m20 = Zm m2R g0 = Zg gR
[g] = N [A] 2[] = N (N 1) (N=2 1) = 2 N=2 = =2


@ @ @
+ (gR ; mR ) m (gR ; mR )mR S(pi ; gR ; mR ; ) =0
@ @gR @mR gR ;mR
Usando la expresin de parmetros renormalizados

m20 = Zm m2R g0 = Zg gR
@
1
(gR ; mR ) = g0 ( Zq )
@ g0 ;m0
@

m (gR ; mR ) = Zm
2Zm @ g0 ;m0
Funcin beta en MS
Usando sustraccin mnima modificada, la constante de
renormalizacin se puede escribir
1
X 1
X
Zg = 1 + n ) gR Zg = gR +
Zg;n (gR ) n
an (gR )
n=1 n=1
@ @

0 = g0 = (gR Zg ) + (gR Zg )
@ @ g0
( )
X1
@g 1
X dan
R
= gR + an n+1 + 1+ n
n=1
@ g0
n=1
dg R
Funcin beta en MS
Usando sustraccin mnima, la constante de
renormalizacin se puede escribir
1
X 1
X
Zg = 1 + n ) gR Zg = gR +
Zg;n (gR ) n
an (gR )
n=1 n=1
@ @

0 = g0 = (gR Zg ) + (gR Zg )
@ @ g0
( )
X1
@g 1
X dan
R
= gR + an n+1 + 1+ n
n=1
@ g0
n=1
dg R
De aqu obtenemos (gR ) igualando a cero cada coeficiente

de
Funcin beta en MS
La funcin beta slo tiene potencias positivas de
XN
(gR ; ) = k
k (gR )
k=0 ( )
X1
@g 1
X dan
R
0 = gR + an n+1 + 1+ n
n=1
@ g0
n=1
dgR
( 1
)
X
1+ a0n n N + (N a01 + N 1 )
= N N 1 + : : :
n=1
1
X
n+1 a2
=
gR + an =
gR + a1 + + :::
n=1

) k2 = 0
Funcin beta en MS
La funcin beta slo tiene potencias positivas de
(gR ; ) = 0 + 1
( 1
) 1
X X
1+ a0n n = 1 + 0 + a01 1 + (0 a0n + 1 a0n+1 )
n
n=1 n=1
1
X
=
gR a1 an+1n
n=1
1 = gR 0 = a1 1 a01 = a1 + gR a01
gR a0n+1 an+1 = gR (gR Zg;n+1 )0 gR Zg;n+1 = gR
2
(Zg;n+1 )0
2
= gR (an+1 =gR )0 = 0 a0n
Funcin beta en MS
La funcin beta se obtiene, en esquemas de
sustraccin mnima y a cualquier orden en teora de
perturbaciones, a partr del coeficiente 1= de la
constante de renormalizacin del acoplamiento
2 d
(gR ; ) = 0 + 1 = gR + gR Zg;1
dgR
2 d
(gR ) = gR Zg;1
dgR
En QCD a un loop tenemos
1 2
1 1
g = Zg 1 = Z1 Z2 Z3 1 = 1 2 3
2
2 d
(gR ) = gR [1 2 3 =2]=
dgR
Funcin beta en MS
En QCD a un loop tenemos
1
1 2 1
g = Zg 1 = Z1 Z2 Z3 1 = 1 2 3
2
2 d 1
(gR ) = gR [1 2 3 =2]
dgR
3 g2 5 1
1 2 = fC2 (r) + C2 (G) C2 (r) + Nc Nf g
2 MS 162 6 3
g 2 11 1
= 2
f Nc Nf g
16 6 3
3

g 11 2 5
= 2
N c Nf + O(g )
16 3 3
Funcin beta en MS
QCD es asintticamente libre
3
3
g 11 2 5g
= Nc Nf + O(g 5 ) = <0
16 2 3 3 16 2
3

g 11 2
= Nc Nf
16 2 3 3
5

g 51 19
+ 4
+ Nf + : : :
64 2 6
El resultado se conoce a cuatro loops, los dos primeros

trminos son independientes del esquema de
renormalizacin
Comentarios
La funcin beta se obtiene a partir del trmino 1=

La funcin beta nos indica cmo cambia el
acoplamiento con la escala de renormalizacin para
que la fsica permanezca invariante
RGE se puede usar para estudiar el comportamiento de
funciones de Green a altas energas. El acoplamiento
adecuado es el evaluado a la escala de renormalizacin
del orden de los momentos involucrados
QCD es asintticamente libre, el acoplamiento es
menor cuanto mayor sea , por tanto teora de
perturbaciones de comporta bien a altas energas
Sea D la dimensin de masa de una funcin de Green
amputada, si reescalamos los momentos externos
(n) (sp; g; m; ) = sD (n) (p; g; m=s; =s)
Que podemos escribir en forma de ecuacin diferencial
@ (n) D (n) m D@ (n) m
s (sp; g; m; ) = Ds (p; g; ; ) + s (p; g; ; )
@s s s @s s s

D (n) m D @ @ (n) m
= Ds (p; g; ; ) s m + (p; g; ; )
s s @m @ s s
x@x f (x=y) = x(@x x=y)f 0 (x=y) = (x=y)f 0 (x=y) = y(@y x=y)f 0 (x=y) = y@y f (x=y)
Sea D la dimensin de masa de una funcin de Green
amputada, si reescalamos los momentos externos
(n) (sp; g; m; ) = sD (n) (p; g; m=s; =s)
Que podemos escribir en forma de ecuacin diferencial
@ (n) D (n) m D@ (n) m
s (sp; g; m; ) = Ds (p; g; ; ) + s (p; g; ; )
@s s s @s s s

D (n) m D @ @ (n) m
= Ds (p; g; ; ) s m + (p; g; ; )
s s @m @ s s

@ @ D (n) m
= Dm s (p; g; ; )
@m @ s s

@ @ @
s +m + D (n) (sp; g; m; ) = 0
@s @m @
Combinada con la RGE para la funcin de Green
h @ @ @ i
+ m m n (n) (sp; g; m; ) = 0
@ @g @m
Relacionamos el escalado en momentos con cambios
en m y g solo
h @ @ @ i
s + (1 + m )m + D n (n) (sp; g; m; ) = 0
@s @g @m
Usando un esquema de renormalizacin independiente
de la masa la eq. se puede resolver
h Z s 0 i
0 (
g (s ))
(n) (sp; g; m; ) = sD n (p; g(s); m(s);
) exp n ds
1 s0
Donde hemos definido acoplamientos y masas running
@g(s)
s = (
g (s)); g(1) = g
@s
@ m(s)

s = (m + 1)m(s);
m(1)
=m
@s
(g) se denomina dimensin anmala (modifica el
escalado clsico)
Las RGE reorganizan la teora de perturbaciones para
resumar grandes logaritmos
Repasemos el propagador del fotn a un loop

ig 2
i (q) = i(g q 2 q q )(q) 2
4
n o
= 2B + q B + q B g [g B + q B m2 B0 ]

ig 2
i (q) = i(g q 2 q q )(q) 2
4
n o
= 2B + q B + q B g [g B + q B m2 B0 ]
n o
2 2
= g 2B00 + m B0 q (B1 + B11 ) + 2q q B1 + B11
B = g B00 + q q B11 B = q B1

ig 2
i (q) = i(g q 2 q q )(q) 2
4
n o
= 2B + q B + q B g [g B + q B m2 B0 ]
n o
2 2
= g 2B00 + m B0 q (B1 + B11 ) + 2q q B1 + B11
Z 1
2
= 2 (g q 2 q q ) + dx x(1 x) log
6 0 2
Z 1 Z 1
6m2 q 2 m2 2 p2 2
B00 (q; m; m) = dx log 2 + dx x(1 x) log
12 2 0 2 0 2
2 (q; m; m) = m2 x(1 x)p2

ig 2
i (q) = i(g q 2 q q )(q) 2
4

2 Z 1
g 2
(q) = 2
+ dx x(1 x) log 2
2 6 0
2
Z 1 2

g jp j
2
+ dx x(1 x) log 2 ; [jp2 j m2 ]
2 6 0
2 (q; m; m) = m2 x(1 x)p2


ig 2
i (q) = i(g q 2 q q )(q) 2
4
2
Z 1
g 2
(q) = 2
+ dx x(1 x) log 2
2 6 0
2
Z 1 2

g jp j
2
+ dx x(1 x) log 2 ; [jp2 j m2 ]
2 6 0
2
2

g jp j 2 2
2
+ log 2
; [jp j m ]
12
+ +
ig ig 2 ig
= 2
+ 2
[i(g q q q )(q)] 2
q q q

ig ig q q
= 2
+ 2 (q)
q q2 q

2 2

ig ig q q g q
= 2
+ 2 log 2
q q2 q 12 2
La correccin a un loop se vuelve grande (incluso para
g pequea) a momentos muy altos (log grande)
Podemos utilizar la RGE para fijar q
La RGE nos dice que, aparte de escalados globales,
tenemos que evaluar las masas y los acoplamientos a
la escala
3

@ g 11 2
(gR ; mR ) = gR () = Nc Nf 0 g 3
@ g0 ;m0 162 3 3
dg 1 2 2 2 2

= 0 d log ) g ( ) g (0 ) = 0 log
g3 2 0
g 2 (0 )
g 2 () = 2
1 2
0 g (0 ) log 2
0
La RGE resuma logaritmos grandes a todo orden en
teora de perturbaciones
2 X1
2 n
2 g (0 ) 2 2
g () = 2
= g (0 ) 0 g (0 ) log 2
1 0 g 2 ( 0 ) log 0
20 n=0
Incluso si el log es grande, la suma completa est bien

definida (siempre que j0 g 2(0 ) log(2 =20 )j < 1 )
En el caso de QED esta resumacin coincide con la
resumacin del propagador (correccin al vrtice y
renormalizacin del fermin cancelan)
El resultado es general, RGE a l loops resuman los
trminos hasta orden (g 2 )n (log(2 =20 ))n+1l
La RGE para el acoplamiento nos permite clasificar
teoras
Asumamos teora renormalizable, de manera que la
RGE es vlida para 0 1
Z g()
@ 1
(g) = g() ) log = dx
@ 0 g(0 ) (x)
Para ! 0; 1; g() tiene que tender a un cero de
(x)
prximo a g(0 ) o a infinito si no hay ceros cercanos.
Los ceros de (x) se denominan puntos fijos, que
pueden ser ( g~ es el pto fijo ms cercano a g(0 ) ):
Punto fijo estable UV g( ! 1) = g ~
Punto fijo estable IR g( ! 0) = g
~
Si el pto fijo es simple, la pendiente determina el tipo

0
(g) < 0; ) pto. jo estable UV
g
~

0
(g) > 0; ) pto. jo estable IR
g
~
(g) UV
IR
g
g~UV IR g~IR
UV
g 2 (0 )
g 2 () = 2
1 2
0 g (0 ) log 2
0
En QED 0 > 0 y g crece en el UV, clculos

perturbativos a bajas energas estn perfectamente
controlados en QED
En QCD 0 < 0 (trminos superiores no cambian este
patrn), por lo que el acoplamiento decrece a altas
energas y teora de perturbaciones se comporta mejor
y mejor en el UV (QCD es asintticamente libre)
Por contra, a bajas energas el acoplamiento en QCD
es grande y teora de perturbaciones se rompe (QCD es
confinante a bajas energas)
2
It is customary to use s
g s =(4)
s (0 )
s () = 2
1 0 s (0 ) log 20
=(4)
In the QCD it is also common to replace s (0 ) with a
dimensional scale at which the coupling blows up
4
s () = 2
0 log 2
QCD
4
2QCD = 20 e 0 s (0 ) (200 300 MeV)2
Factorizacin
Teora de perturbaciones es til a altas energas, pero
incluso a altas energas, usamos hadrones, con los que
no sabemos calcular
Se pueden demostrar teoremas de factorizacin, en el
que la dependencia a altas energas se pueden calcular
usando quarks y gluones, mientras que la dependencia
a bajas energas factoriza en funciones de distribucin
de partones (pdf's)
Z 1 Z 1
AB = dxa dxb fa=A (xa ; Q2 )fb=B (xb ; Q2 )^
ab!X
0 0
La evolucin de las pdf's se puede calcular en
perturbative QCD (no su dependencia en x)
QCD a baja energa
Hasta ahora hemos visto cmo se comporta QCD a
altas energas, en las que, gracias a los teoremas de
factorizacin, quarks y gluones son los grados de
libertad adecuados.
A bajas energas, quarks y gluones NO son grados de
libertad adecuados, en su lugar tenemos hadrones.
Pero QCD es fuertemente acoplada a esas energas.
An as, podemos usar teoras efectivas para describir
los hadrones a bajas energas. Lo que mejor podemos
hacer es usar las simetras de QCD a baja energa.
QCD a baja energa
El espectro de quarks separa en dos sectores, los
quarks ligeros, con mlight QCD
mu 4 MeV md 7 MeV ms 0:135 GeV
y los quarks pesados mlight QCD
mc 1:5 GeV mb 5 GeV mt 170 GeV
En primera aproximacin, podemos considerar slo

los quarks ligeros y despreciar su masa 0 1
u
1
L = (Ga )2 + qL i D qL + qR i D qR qL;R = @ dA
4
s L;R
QCD a baja energa
Para simplificar an ms la discusin consideraremos

slo los quarks up y down u
1 qL;R =
L = (Ga )2 + qL i D qL + qR i D qR
d L;R
4
Es invariante bajo transformaciones arbitrarias de
sabor y
qL;R ! UL;R qL;R ; UL;R UL;R = 1
Tiene por tanto simetra SU (2)L SU (2)R U (1)L U (1)R
Las corrientes conservadas asociadas son

i
i
JL;R = qL;R qL:R JL;R = qL;R qL:R
2
QCD a baja energa
Podemos descomponer en corrientes vectorial y axial
i i i
JV;A = JR JL JV;A = JR JL
La simetra vectorial corresponde al nmero barinico
y al isoespn
JV = q q i i
JV = q q
2
La simetra U(1) axial es anmala (no verdadera
simetra de la teora), la simetra SU(2) axial es
i
i
JA = q 5 q
2
El espectro de hadrones respeta (aprox.) las simetras
vectoriales, pero no la axial. Esto es seal de que la
simetra SU(2)A est espontneamente rota.
QCD a baja energa
Si el vaco est compuesto de pares qq que
condensan, su estructura es h
q qi = h
qL qR + qR qL i 6= 0
Es invariante bajo SU(2)V (UL=UR) pero bajo no SU(2)A
(UL=-UR).
Esto apoya (pero no prueba) la hiptesis de que la
simetra axial est espontneamente rota
Tambin se desprende del hecho de que el espectro
no respeta la simetra
P QiL;R P = QiR;L
pero no hay multipletes de isoespn con paridades
opuestas.
Symmetras y degeneracin
Un resultado elemental de mecnica cuntica es que
estados relacionados por una simetra son
degenerados. En QFT esto es cierto si el vaco es
invariante bajo la simetra:
1 (x) = i[Q; 2 (x)] ) a1 = i[Q; a2 ]
j1i = ay1 j0i = i[Q; ay2]j0i = iQay2 j0i iay2 Qj0i = iQj2i iay2Qj0i
Si Qj0i = 0
E1 j1i = Hj1i = HiQj2i = iQHj2i = E2 iQj2i = E2 j1i ) E1 = E2
Sin embargo, los estados no tienen por qu tener la
misma masa si el vaco no es simtrico (rotura
espontnea de la simetra).
Teorema de Goldstone
La rotura espontnea de una simetra global implica la
existencia de escalares sin masa (bosones de
Goldstone)
Consideremos un sistema de escalares invariantes
bajo cierta simetra global
1
L = @ @ V () = ia T a
2
Supongamos que el potencial tiene mnimo en hi =
Vj () = 0; Vik () 0 Vi1 ;:::;in @i1 : : : @in V
Expandiendo en torno al mnimo 0 =
1 1
L = @ @ V () Vij ()0i 0j + : : :
0 0
2 2
Expandiendo en torno al mnimo 0 =
1 1
L = @ @ V () Vij ()0i 0j + : : :
0 0
2 2
ij () es la masa de los escalares fsicos (definida
V
positiva)
Veamos qu ocurre si el vaco no es invariante
(T a ) = (Y i ; X a^ ); Y i = 0; X a^ 6= 0
(Y i ) generan un subgrupo H de G
Si ocurre esto decimos que G est espontneamente
roto a H
La invariancia del potencial implica
a
0 = V ( + ) V () = iVk ()a Tkl l
Diferenciando respecto a i , usando que a es

arbitrario y evaluando en el vaco tenemos
a a a
0 = Vik ()Tkl l + Vk ()Tki = Vik ()Tkl l = M 2 T a
Los generadores de H lo satisfacen trivialmente
Los generadores rotos, los de G/H, cumplen que X a^
es un autoestado de M2 con autovalor 0 y corresponde
por tanto a un escalar sin masa
T X a^
El escalar correspondiente, bosn de Goldstone, tiene
los mismos nmeros cunticos bajo H que el
generador correspondiente.
Si es un mnimo del potencial, 0 = g con g 2 G
tambin lo es (puesto que el potencial es invariante).
Existe pues un continuo de vacos que son
fsicamente equivalentes. Los bosones de Goldstone
parametrizan las direcciones fsicamente
equivalentes, como forman un continuo, las
excitaciones correspondiente no tienen masa (no
cuesta energa pasar de un vaco a otro).
La prueba del teorema de Goldstone que hemos dado
se basa en el potencial clsico y por tanto depende de
teora de perturbaciones. El teorema se puede
demostrar a todo orden. La prueba completa se puede
encontrar en el libro de Pokorski. La idea es ver que la
rotura espontnea de una simetra global implica la
aparicin de polos en p2=0 para ciertas funciones de
Green y que dichos polos corresponden a partculas
fsicas sin masa.
Vamos a mostrar los pasos principales de la
demostracin.
Consideremos la funcin de Green
Ga;k (x y) = h0jT ja (x)k (y)j0i
Que satisface la siguiente identidad de Ward

@(x) Ga;k (x y) = (x0 y 0 )h[j0a (x); k (y)i
= (x0 y 0 )hTkj
a
x~
j (y)(~ a
y)i = (x y)Tkj hj (y)i
a
= (x y)Tkj hj (0)i
En espacio de momentos (transformada de Fourier)
~ a;k (p2 ) = Tkj
ip G a
h0jj (0)j0i
En espacio de momentos (transformada de Fourier)
~ a;k (p2 ) = Tkj
ip G a
h0jj (0)j0i
Por invariancia Lorentz tenemos
~ a;k = p Fka (p2 )
G
Por tanto Fka (p2 ) tiene un polo a momento cero para
los generadores que no aniquilen el vaco
a 2 i a
Fk (p ) = 2 Tkj h0jj (0)j0i
p
Usando la frmula de reduccin LSZ se puede ver que
la partcula creada del vaco por una corriente rota
est relacionada con Fka (p2 ) y su polo corresponde a
la masa de dicha partcula
Lagrangiano quiral
Volvamos al caso de QCD a bajas energas, el patrn
de rotura espontnea de la simetra es
SU (2)L SU (2)R ! SU (2)V
Los tres generadores rotos (los axiales) implican tres
bosones de Goldstone, que forman un triplete de
isoespn. En el espectro de hadrones hay un triplete
de isoespn, los piones, que son casi degenerados y
mucho ms ligeros que el resto de resonancias
hadrnicas m 0 = 135 MeV; m = 139 MeV;
Dichos estados son creados del vaco a partir de las
corrientes axiales
i
h0jJA (x)j j (p)i = ip f ij eipx
El modelo sigma
La forma ms sencilla de entender las propiedades de
los piones es estudiar un modelo fenomenolgico para
la rotura de simetra quiral, el modelo sigma, que est
formado por dos fermiones y cuatro escalares

u
q= ; 0 ; ~
d
El Lagrangiano del sistema es
2
1 0 2 02 02
L = [(@ ) + @ ~ @ ~ ] ( + ~ ) ( + ~2 )2
2
2 2 4
q i 6 @q g q( 0 + i5~ ~ )q
+
El modelo sigma
El Lagrangiano se puede reescribir de manera ms
sencilla definiendo la matriz de campos 0 + i~ ~
2 2 2
1 y y y
L = Tr[@ @ ] Tr[ ] Tr[ ]
4 4 16
+qL i 6 @qL + qR i 6 @qR g qL qR gqR y qL
Donde hemos usado que
Tr[y ] = 2(0 2 + ~2 )
El Lagrangiano es invariante bajo SU (2)L SU (2)R
si transforma como un bidoblete
y ia a
L;R =2
! UL UR UL;R = e
El modelo sigma
Usando propiedades de las matrices de Pauli tenemos
0 = Tr[]=2; i = iTr[ i ]=2
que implican
0 0 ~
! + (~ L ~ R)
2
0 m

k ! k (kL kR ) + klm (lL + lR )
2 2
Bajo isoespn transforman como singlete y triplete,
bajo transformaciones axiales, todos mezclan
El modelo sigma
Las corrientes de Noether asociadas a la simetra son
k
1 0 0 1 klm l
JL = qL qL ( @ @ ) + @ m
k k k
2 2 2
k
1 0 0 1 klm l
JR = qR qR + ( @ @ ) + @ m
k k k
2 2 2
Que se pueden escribir como vectorial y axial
k

JVk = JLk + JR
k
= q
q + klm l
@ m
2 k

JA = JL JR = q 5 q + 0 @ k k @ 0
k k k
2
Debido a la simetra, las corrientes son conservadas
El modelo sigma
Invariancia del potencial no es la historia completa. El
potencial se puede escribir

2 2
0 02 2
V ( ; ~ ) = + ~ +
4
La simetra est espontneamente rota si 2 < 0
2
02 2 j j
h i + h~ i = = v2

Cualquier eleccin es fsicamente equivalente.
0 k
Eligiendo h i = v; h i = 0; isoespn se preserva en
la base que estamos usando.
El modelo sigma
Para preservar ortogonalidad de estados de una
partcula con el vaco definimos el campo fsico
= 0 v ) hi = 0
En trmino de los campos fsicos tenemos
1 1
L = qi 6 @q gv + [(@ ) 2v ] + (@ ~ )2
2 2 2
2 2
2
+g [ + i~ ~ ]q v( + ~ ) ( + ~2 )2
2 2
4
El triplete de isoespn tiene masa zero, tal como
predice el teorema de Goldstone
El modelo sigma
Usando la expresin de la corriente axial podemos
calcular el elemento de matriz de creacin de los
bosones de Goldstone k
k k k 0 k k 0
JA = J L JR = q

5 q + @ @
2
i j 0 i j
h0jJA (x)j (q)i = h0j j0ih0j@ j (q)i

= h0j 0 j0iiq ab eiqx = if q ab eiqx
Tenemos por tanto que f = v

Rotura espontnea y explcita
Veamos qu ocurre si incluimos un trmino que rompe
explcitamente la simetra quiral pero no la vectorial
0
L = = Tr[]
2
La rotura explcita hace que la corriente axial no sea
conservada (pero an generan las transformaciones
correspondientes) @ JAi
= i
El mnimo del potencial tambin cambia

@0 V = 0 [2 + ( 0 2 + ~2 )] + h i i = 0
i 2
@ V = [ + ( 02 2
+ ~ )]
) h 0 i = v
i
2 v + v 3 + = 0
Rotura espontnea y explcita
El triplete sigue teniendo vev cero. El vaco tiende a
alinearse con la rotura explcita.
Expandiendo en torno al mnimo, los piones
(Goldstones) adquieren masa (pseudo-bosones de
Goldstone)
2 2 2
m = + v = =
v f
La divergencia de la corriente axial ahora es
@ JA
i
= i
= f m2 i
(x)
Modelo sigma no lineal
El modelo que hemos estudiado, tiene el mismo
patrn de rotura de simetra que QCD y efectivamente
existe un triplete de isoespn mucho ms ligero que el
resto de resonancias, los piones. Sin embargo, no
observamos el correspondiente escalar (ligero).
Esto no es problema porque el escalar tiene masa y
podemos hacerlo pesado.
An as, sera interesante tener un formalismo que
sea explcitamente invariante bajo el grupo quiral
completo, usando slo los piones.
Esto se consigue realizando la simetra de manera no
lineal.
Consideremos la siguiente parametrizacin de
nuestros campos
= S0U
= + i~ ~
~ q
~
=v
i~ ~
U =e = cos +i sin = ~2
v v
Se puede ver que S' es invariante bajo el grupo quiral
usando que
S 0 2 = Tr[y ]=2 ) S 0 ! S 0
y por tanto
U ! LU Ry
Hemos reparametrizado nuestros campos en trminos
de un singlete puro y tres campos que transforman en
un bidoblete
En trminos de las nuevas coordenadas
hSi = hS 0 vi = h i i = 0
El Lagrangiano ahora es
y 1
qL U qR + qR U qL) + [(@ S)2 2v 2 S 2 ]
L = qi 6 @q + g(v + S)(
2
(v + S)2 y 3 4
+ Tr[@ U @ U ] vS S
4 4
El Lagrangiano ahora es
y 1
qL U qR + qR U qL) + [(@ S)2 2v 2 S 2 ]
L = qi 6 @q + g(v + S)(
2
(v + S)2 y 3 4
+ Tr[@ U @ U ] vS S
4 4
Las interacciones bosnicas de los nuevos
Goldstones aparecen slo a travs de derivadas (esto
garantiza que no adquieren masa)
Hemos intercambiado un singlete ms triplete de
isoespn por un singlete puro ms un bidoblete
U ! LU Ry
i
U transforma linealmente, pero la transformacin de
es no lineal
y ~
=v
i~
U ! LU R U =e
Existe un subgrupo de transformaciones bajo las
cuales los piones transforman linealmente, la
transformacin de isoespn
"1 # 1
X 1 X 1
y
LU L = L ~ n
(i ~ =v) L =y
(i i =vL i Ly )n
n=0
n! n=0
n!
X1
1 i0 j j =v
= i j n
(i =vRij ) = e 0 j = Rji
T i

n=0
n!
La transformacin de los piones bajo una
transformacin quiral es no lineal para compensar el
hecho de que S es un singlete (pero 0 s
transformaba)
Bajo transformacin de isoespn, como 0 era un
singlete no haba nada que compensar y la
transformacin es lineal.
Este resultado se puede generalizar a una rotura
arbitraria G/H (formalismo de representacin no lineal
de una simetra de CCWZ).
Ahora s que podemos desacoplar S, que es un
escalar bajo la simetra completa.
El resultado es el modelo sigma no lineal, con
Lagrangiano
v2
Lnonlin:
qL U qR + qR U qL ) + Tr[@ U @ U y ]
= qi 6 @q + gv( y
4
La normalizacin del trmino cintico de U se ha

elegido para que el trmino cintico de los piones est
cannicamente normalizado
v2 y v 2
i j @ i i
@ 1 i i
Tr[@ U @ U ] = Tr[ ] 2
+ : : : = @ @ + :::
4 4 v 2
Teora de perturbaciones quiral
Podemos usar el modelo sigma no lineal como el
trmino principal en una expansin en energas para
describir QCD a bajas energas.
Usando U como parametrizacin de los piones, el
primer trmino en nuestra expansin en momentos es
el cintico que ya hemos escrito (todos los dems son
equivalentes)
2
f
L(2) = Tr[@ U @ U y ]
4
Con cuatro derivadas hay dos trminos independientes
y 2

L = 1 Tr[@ U @ U ] + 2 Tr[@ U @ U y ]Tr[@ U @ U y ]
(4)
Teora de perturbaciones quirales permiten una
expansin sistemtica a QCD a bajas energas
Las masas de los quarks se pueden incluir,
sistemticamente, incluyendo una fuente que
transforme como un bidoblete, de la forma
qL sqR + h:c: s ! LsRy
Se puede ver que la masa cuadrado de los piones es
proporcional a la masa de los quarks
m2 = B0 (mu + md )
En el contaje de derivadas, el trmino de masa equivale
a dos derivadas
El Lagrangiano quiral se puede usar para calcular
elementos de matriz si incluimos fuentes
qL l qL qR r qR qL (s + ip)qR qR (s ip)qL
L =
El Lagrangiano efectivo quiral incluye trminos que

contienen las fuentes.
Hasta ahora hemos considerado dos quarks ligeros,
pero el quark s tambin es relativamente ligero.
Normalmente se emplea simetra quiral
SU (3)L SU (3)R ! SU (3)V
Con tres sabores ligeros, hay ocho bosones de
Goldstone, que transforman como un octete de
isoespn SU(3). Aunque un poco ms pesados que los
piones, se encuentra experimentalmente un octete de
pseudo escalares ligeros
m0 135 MeV; m 139 MeV;
mK 0 ;K 0 498 MeV; mK 494 MeV;
m 547 MeV
Incluyendo fuentes hay diez trminos que incluyan
piones a orden p4
Se puede incluir trminos superiores O(p6, ...).

Tambin se pueden incluir efectos de loops (teora no
renormalizable, ok porque slo tenemos que incluir un
nmero finito de trminos)
Tambin se pueden incluir bariones
Sin embargo, el teora de perturbaciones quiral sigue
siendo una teora efectiva, con un cut-off
relativamente bajo, del orden de las primeras
resonancias (~ GeV).
Es muy til para entender las propiedades de los
hadrones ms ligeros, tambin se usa en clculos en
el retculo, para realizar el lmite al continuo.
Conclusiones
En este curso hemos usado QCD como una excusa
para estudiar diversos aspectos avanzados de teora
cuntica de campos.
Los conceptos aprendidos aqu tienen aplicaciones en
QCD y en muchas otras teoras.
Hay muchos aspectos de QCD que no hemos tenido
tiempo de discutir, entre otros:
Fenomenologa de QCD: DIS, Drell-Yan, produccin de
jets, produccin de hadrones en e+ e-,
desintegraciones hadrnicas
Large Nc QCD
Lattice QCD, ...

El Modelo Estándar y Su Fenomenología Parte 2

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

El Modelo Estándar y Su Fenomenología Parte 2

Hochgeladen von

Copyright:

Verfügbare Formate

MTODOS Y TCNICAS AVANZADAS EN FSICA

El modelo estndar y su fenomenologa

[tar ; tbr ] = if abc tcr

Vectorial: el trmino de masas de quarks es invariante gauge

ig 2 [f abe f cde(g g g g ) + f ace f bde (g g g g )

eipq p^jpi = pjpi eipq

Queremos calcular la amplitud de la partcula para

ip1 q0 i[p1 q0 +H(p1 ;q 0 ) =N ]

Y por tanto a teoras de campos q(t; k) ! (t; ~

Debe entenderse como el lmite al continuo de un

Hemos cambiado operadores por integrales funcionales

Tendremos que ir de imagen de Schrdinger a imagen

(T; ~x) = a;b (~

(x01;2 ; ~x) = 1;2 (~

(T; ~x) = a;b (~

(x01;2 ; ~x) = 1;2 (~

(T; ~x) = a;b (~

(x01;2 ; ~x) = 1;2 (~

(T; ~x) = a;b (~

(x01;2 ; ~x) = 1;2 (~

(T; ~x) = a;b (~

(T; ~x) = a;b (~

En la segunda expresin hemos definido la accin

= hjT (x1 ) : : : (xn )ji

El resultado coincide con el teorema de Wick

Invariancia gauge implica integral infinita

El trmino cuadrtico ahora tiene inverso

Usando que la integral es invariante bajo

Con nmeros ordinarios habramos obtenido (2)n =detB

c(x); c(x) son escalares que anticonmutan (violan el

S(p + k)[iek (p + k; p)]S(p) = e[S(p) S(p + k)]

[iek (p + k; p)] = e[S 1 (p + k) S 1 (p)]

La identidad de WT relaciona el vrtice con

Dividiendo por Z[0] tenemos

ik M (k; p; q) = ieM0 (p; q k) + ieM0 (p + k; q)

ig 2 [f abe f cde(g g g g ) + f ace f bde (g g g g )

Ba es un campo auxiliar (sin trmino cintico)

Aa = Dac cc parmetro infinitesimal

hA; trjB; tri = hA; trjS y SjB; tri

La matrz S, restringida a estados iniciales y finales

= ig 2v(p+ ) [ta ; tb ]u(p) = g 2 f abc v(p+ ) tc u(p)

En teoras no abelianas tambin podemos hacerlo,

Parece que deberamos producir polarizaciones no

gf abc [g (2k 0 k p) + g (k 0 k + 2p) + g (2k k 0 p) ]

El Lagrangiano renormalizado da los resultados que

La parte finita de los contratrminos es arbitraria

2 = x2 p2 + x(m21 m20 p2 ) + m20

G(n) (x1 ; : : : ; xn ) hT (x1 ) : : : (xn )icon:

Funciones de Green amputadas se obtienen dividiendo

La masa fsica es independiente de

Usando la expresin de parmetros renormalizados

[g] = N [A] 2[] = N (N 1) (N=2 1) = 2 N=2 = =2

Usando la expresin de parmetros renormalizados

De aqu obtenemos (gR ) igualando a cero cada coeficiente

El resultado se conoce a cuatro loops, los dos primeros

2 (q; m; m) = m2 x(1 x)p2

Incluso si el log es grande, la suma completa est bien

En QED 0 > 0 y g crece en el UV, clculos

mu 4 MeV md 7 MeV ms 0:135 GeV

y los quarks pesados mlight QCD

mc 1:5 GeV mb 5 GeV mt 170 GeV

En primera aproximacin, podemos considerar slo

Las corrientes conservadas asociadas son

Diferenciando respecto a i , usando que a es