Fenomenologia de las Interacciones

Fundamentales - 2013

High Energy Physics Theory Group

Universidad de Oviedo

HEP Theory

1
Contents
1 Seccion cero: preliminares 5
1.1 Fuentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Convenios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 Introduccion 7

3 El lenguage natural de la Naturaleza: Teoria Cuantica de Campos 8

3.1 Mecanica cuantica en el gran canonico Teoria Cuantica de Campos . . . 9
3.2 Imagen de Schrodinger vs. imagen Heisenberg en mecanica cuantica . . . . 12
3.3 Campos en espacio-tiempo . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.3.1 Causalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.4 Las teorias de campos son teorias efectivas . . . . . . . . . . . . . . . . . . 14

4 Elementos basicos de Teoria Cuantica de Campos 15

4.1 Calculando amplitudes de scattering . . . . . . . . . . . . . . . . . . . . . 17
4.1.1 La moral del asunto . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2 Path integrals como formalismo natural en Teoria Cuantica de Campos . . 18
4.2.1 Path integrals en mecanica cuantica . . . . . . . . . . . . . . . . . . 19
4.2.2 Ordenados temporales y path integral . . . . . . . . . . . . . . . . . 23
4.3 Fuentes y funciones generatrices . . . . . . . . . . . . . . . . . . . . . . . . 24
4.4 Path integrals en Teoria Cuantica de Campos . . . . . . . . . . . . . . . . 25
4.5 Campos libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.6 Propagadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.6.1 Funciones de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.7 Campos en interaccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.7.1 Interacciones relevantes y el IR . . . . . . . . . . . . . . . . . . . . 33
4.8 Calculando correladores para campos en interaccion . . . . . . . . . . . . . 33
4.8.1 4 hasta O() . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.9 La moral del asunto-parte II . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.10 Ejemplo: interacciones nucleares . . . . . . . . . . . . . . . . . . . . . . . . 39

5 Spin 21 40
5.1 Preludio historico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.2 La ecuacion de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.2.1 Soluciones de la ecuacion de Dirac . . . . . . . . . . . . . . . . . . . 44
5.2.2 Spin 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.3 Masa cero y quiralidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.4 El campo de spin 21 cuantizado . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.4.1 Cuantizacion canonica . . . . . . . . . . . . . . . . . . . . . . . . . 49

2
6 Interacciones electromagneticas: QED 49
6.1 Invariancia gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.2 Reglas de Feynman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6.2.1 Patas externas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
6.2.2 El vertice de QED y el momento magnetico . . . . . . . . . . . . . 54
6.3 QED en el SM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.3.1 e+ e + . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.3.2 Crossing y e e . . . . . . . . . . . . . . . . . . . . . . . 60
6.4 El limite de masa 0 y quiralidad . . . . . . . . . . . . . . . . . . . . . . . . 62
6.4.1 Conservacion de helicidad a altas energias . . . . . . . . . . . . . . 63

7 La interaccion fuerte: QCD 64

7.1 Fotografiando protones: la estructura de los hadrones . . . . . . . . . . . . 64
7.1.1 Scattering inelastico . . . . . . . . . . . . . . . . . . . . . . . . . . 66
7.1.2 Gluones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.2 QCD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.2.1 QCD con varios flavors . . . . . . . . . . . . . . . . . . . . . . . . . 71
7.2.2 La constante de acoplo de QCD . . . . . . . . . . . . . . . . . . . . 73
7.2.3 Hadrones y el infrarojo de QCD . . . . . . . . . . . . . . . . . . . . 75
7.2.4 Simetria quiral en QCD . . . . . . . . . . . . . . . . . . . . . . . . 75

8 La fuerza electrodebil 77
8.1 Teorias con vertices de 4 fermiones . . . . . . . . . . . . . . . . . . . . . . 77
8.2 Teorias para campos gauge con masa . . . . . . . . . . . . . . . . . . . . . 77
8.3 Ruptura de simetria local . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8.4 El sector bosonico del SM: gauge+Higgs . . . . . . . . . . . . . . . . . . . 80
8.5 La materia del SM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8.5.1 Interacciones en el SM . . . . . . . . . . . . . . . . . . . . . . . . . 84
8.5.2 Violacion de CP y CKM . . . . . . . . . . . . . . . . . . . . . . . . 86
8.5.3 Neutrinos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

A El grupo de Lorentz 90
A.1 Rotaciones en 3d . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
A.2 Rotaciones en 4d . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
A.3 El grupo de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

B Spinorologia 93
B.1 El SM con spinores left . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

C Simetrias y corrientes conservadas 96

D La particula libre en formalismo de path integral 97

E Tiempo euclideo, path integrals y mecanica estadistica 98

3
F Simetrias 100
F.1 Simetrias globales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
F.2 Simetrias locales (gauge) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
F.3 Ruptura espontanea de simetria . . . . . . . . . . . . . . . . . . . . . . . . 102
F.4 Simetrias anomalas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103

G Reglas de Feynman para el SM con una generacion 103

4
1 Seccion cero: preliminares
La teoria cuantica de campos es el pilar fundamental de nuestra descripcion de la Nat-
uraleza. Juega un papel clave en fisica, desde fisica de la materia condensada, mecanica
estadistica hasta fisica de altas energias. En particular, es el lenguaje natural en el que
formular una descripcion fundamental de la Naturaleza.
Ya que la descripcion a nivel mas basico de la Naturaleza ha de ser en terminos de
una teoria cuantica de campos, los libros de teoria cuantica de campos son una buenisima
fuente de bibliografia.

1.1 Fuentes
Hay muchos y muy buenos libros. Una lista parcial (y no ordenada) es

M.Peskin V.Schroeder, An introduction to Quantum Field Theory

Es uno de los libros mas utilizados, casi un libro standard.

A.Zee, Quantum Field Theory in a nutshell

Es un libro escrito de manera bastante informal, muy facil de leer y con mucha fisica.
Muy recomendable.

M.Maggiore, A Modern Introduction to Quantum Field Theory

Un libro conciso pero que aun asi contiene los detalles tecnicos relevantes. Escrito
ademas con una perspectiva moderna.

M Srednicki, Quantum Field Theory

Un libro muy muy completo, con todos los detalles tecnicos explicitos.

T.Banks, Modern Quantum Field Theory

Un libro escrito con un enfoque moderno. Aunque quizas un poquito avanzado, su
lectura es muy recomendable.

C.Itzykson, B.Zuber, Quantum Field Theory

Uno de los clasicos. Aunque escrito en un lenguaje un poco obsoleto hoy en dia, es
una fuente fundamental para los desarrollos mas clasicos.

S.Weinberg, The Quantum Theory of Fields

Los 3 volumenes de Weinberg lo contienen todo, si bien un poco dificil de leer.

L.Alvarez-Gaume y M.A.Vazquez-Mozo, An invitation to Quantum Field Theory

Una introduccion a la teoria cuantica de campos sencilla y concisa sin muchos engor-
ros tecnicos.

5
 A.Altman, B.Simons, Condensed Matter Field Theory
Es un libro de fisica de la materia condensada. Su introduccion a la teoria cuantica de
campos especialmente no relativista es muy util y muy fisica. Tambien se pueden
encontrar trocitos en la pagina web de Ben Simons

http://www.tcm.phy.cam.ac.uk/~bds10/tp3.html

Ademas de estos libros existen muy buenas notas en internet. Son particularmente
utiles las notas de David Tong para los Mathematical Tripos de Cambridge. Se pueden
encontrar online en

http://www.damtp.cam.ac.uk/user/tong/qft/qft.pdf

Tambien hay libros mas enfocados a la descripcion de la fenomenologia

F.Halzen and A. Martin, Quarks and Leptons

Libro muy sencillo y muy util.

J.Donogue, E.Golowich, B.Holstein, Dynamics of the Standard Model

H.Georgi, Weak interactions and modern particle theory

Por ultimo, en la pagina web del Particle Data Group se puede saber todo lo mas intimo
sobre las particulas elementales

http://pdg.lbl.gov

1.2 Convenios
Vamos a asumir la metrica de Minkowski en signatura mostly minus, es decir =
diag(+, , , ). Ademas usaremos unidades tales que ~ = c = 1.
Haremos transformadas de Fourier como
Z Z
dd p i px
f (x) = f (p) e f (p) = dd x f (x) ei px (1)
(2 )d
La de Dirac es
Z
dd p i px
(x) = e (2)
(2 )d

6
2 Introduccion
Todo el mundo sabe que la materia esta hecha de atomos. Los atomos son electricamente
neutros: tienen una nube exterior de electrones con carga electromagnetica negativa com-
pensada por la carga positiva del nucleo. Que esto es asi lo sabemos en particular gracias
a los experimentos de Rutherford: al bombardear una lamina de metal con particulas
que son particulas mucho mas masivas que los electrones con carga positiva la mayoria
pasan de largo. Sin emabrgo, de cuando en cuando, las particulas son rebotadas hacia
atras, como si chocasen con algo muy masivo, muy localizado y de carga positiva: el nucleo
atomico.
El atomo se mantiene unido debido a interacciones electromagneticas (su nombre tec-
nico es QED, de Quantum ElectroDynamics, Electrodinamica Cuantica). La energia nece-
saria para quitarle un electron a un atomo energia de ionizacion es del ordenden de los
10 eV 13.6 eV para el H. Eso implica que el tamagno tipico de un atomo son1 unos
109 m como estimacion grosera (en realidad es mas bien del orden de 1010 m).
Mientras que el tamagno tipico del atomo es del orden de 1010 m, el tamagno de un
nucleo es del orden de 1015 m . Sin embargo, el nucleo atomico a su vez esta formado por
protones y neutrones. Dada la escala de longitud caracteristica, la energia tipica es del
orden de M eV , que es mucho mayor que la energia tipica de ligadura electromagnetica.
Esto, unido al hecho de que los nucleones tienen carga positiva o neutra y todo el mundo
sabe que las cargas iguales se repelen electromagneticamente implica la existencia de
una nueva fuerza mucho mas fuerte que la interaccion electromagnetica que mantiene
unidos los nucelos: es la interaccion fuerte (su nombre tecnico es QCD, de Quantum
ChromoDynamics, Cromodinamica Cuantica). Experimentos con protones demostraron
de hecho que estos no son particulas elementales, sino que estan formados por quarks
interaccionando a traves de la interaccion fuerte. Si bien los nucleones son neutros bajo
esta fuerza, las interacciones residuales son las que mantienen los nucleos unidos.
Por otra parte, es conocido desde principios del siglo pasado que los nucleos cambian su
naturaleza al cambiar un proton en un neutron emitiendo radiacion : es la desintegracion
nuclear . La responsable de dicho decaimiento es la interaccion debil.
Ademas de estas fuerzas que actuan entre particulas microscopicas, existe la fuerza de
gravedad. Sin embargo su intensidad es mucho menor que las otras tres. Por ejemplo, la
atraccion gravitatoria entre dos electrones dividida por su repulsion electrostatica es del
orden de 1080 . Asi pues, en presencia de cualquier otra carga la interaccion gravitatoria
es despreciable. El origen de esta enorme diferencia de escalas es un misterio. Sin em-
bargo, a escalas astronomicas donde las galaxias, estrellas etc. son neutras, la interaccion
gravitatoria es la unica interaccion, y por lo tanto crucial.
Las fuerzas electromagnetica, debil y fuerte rigen las interacciones de las particulas que
creemos elementales: los leptones y los quarks. Nuestra tarea es estudiar esta estructura
1
Supongamos que queremos probar un atomo con luz a una cierta frecuencia (i.e. energia). Del principio
de incertidumbre de Heisenberg p x ~. Multiplicando por c, y como para una particula sin masa
E = p c, tenemos E x ~ c 107 eV m. Esa energia ha de ser basicamente esos 10 eV , asi pues
podemos despejar de aca x para obtener una idea del tamagno tipico de un atomo.

7
 Figure 1: Los ingredientes del SM

de particulas y sus interacciones. La teoria que describe esto es el Modelo Estandard

(SM). Sus ingredientes estan recogidos en (1).

3 El lenguage natural de la Naturaleza: Teoria Cuan-

tica de Campos
Es un hecho que la Naturaleza sigue las leyes de la mecanica cuantica. Esto es: una
particula esta descrita por una funcion de onda que vive en un espacio de Hilbert tal que
su cuadrado representa la amplitud de probabilidad de encontrarla en un cierto punto.
La evolucion temporal del sistema de la funcion de onda, ya que estamos implicitamente
discutiendo la imagen de Schrodinger la dicta la ecuacion de Schrodinger

8
 H |(t)i = i t |(t)i (3)
donde H es el hamiltoniano del sistema. Ya que la probabilidad total ha de ser 1 en
cualquier instante, H ha de ser un operador hermitico para asegurar la unitariedad.
En nuestra discusion, completamente general, debemos especificar que hacer cuando
nuestro sistema contiene mas de una particula. Es sabido que esencialmente hay dos tipos
de particulas: bosones y fermiones. La diferencia es que la funcion de onda de un sistema
de bosones es simetrica bajo el intercambio de las particulas dos a dos, mientras que la
funcion de onda de los fermiones es antisimetrica bajo el intercambio de particulas dos a
dos. COn esta informacion podemos en principio describir basicamente cualquier sistema.
En esta discusion general no hemos asumido ninguna caracteristica en particular de
las particulas. Asi, por ejemplo, podriamos pensar que estamos describiendo un gas de
electrones en un metal. Estos electrones son basicamente libres, asi que para cada uno
H = P 2 /2 m. La funcion de onda total sera la antisimetrizacion de las funciones de los N
electrones en el gas. En la practica sin embargo esto es un engorro, ya que N es un numero
enorme. De hecho, de modo efectivo N es infinito. En tal caso esta claro que tratar el
sistema como un sistema sin numero fijo de particulas es mas conveniente, es decir, es mas
sencillo tratar el sistema en el gran canonico.
En este ejemplo el uso del colectivo gran canonico es un poco circunstancial, en tanto
que depende del sistema en particular y de que tiene muchas particulas. Sin embargo, hay
una situacion en la que el uso del gran canonico nos viene impuesto por la cinematica: un
sistema en el que altas energias velocidades esten involucradas se describira por leyes
relativistas. Como, a grosso modo, E = m c2 el numero de particulas no estara fijo. Asi
pues, en los casos en los que tratemos con particulas a muy alta energia la descripcion
correcta sera en terminos de mecanica cuantica sin un numero fijo de particulas, ya que
estas se pueden crear y destruir algo de alguna manera implicito en E = m c2 .
Por otra parte, como sabemos que a nivel fundamental la Naturaleza sigue insistamos
en que nos estamos olvidando de la interaccion gravitatoria las leyes de la Relatividad
Especial, resulta que cualquier teoria fundamental que imaginemos debe ser una mecanica
cuantica en el gran canonico, es decir, sin numero fijo de particulas.

3.1 Mecanica cuantica en el gran canonico Teoria Cuantica de

Campos
En mecanica cuantica un sistema se describe por un estado |i que es un vector en un
espacio de Hilbert H . En la imagen de Schrodinger dichos vectores dependen del tiempo,
asi que |i = |(t)i. La evolucion temporal la dicta la ecuacion de Schrodinger

H |i = i t |i (4)
En general el sistema contendra N particulas, asi que en general |i es una function de
e.g. sus N posiciones {~x1 , , ~xN }. Ademas, si las particulas son identicas, es necesario
especificar que ocurre bajo el intercambio de dos particulas: la funcion de onda ha de ser

9
simetrica para bosones y antisimetrica para fermiones. Dejando de lado por un momento
las propiedades de simetria de la funcion de onda, en el limite en el que la interaccion
entre las particulas es muy pequegna, el espacio de Hilbert total se puede escribir como
HN = H1 HN , es decir, como el producto tensorial de los espacios de Hilbert de
cada particula por separado. El estado |i se escribe por lo tanto

|i = |1 i |N i (5)
Una notacion mas util es etiquetar cada particula por sus numeros cuanticos: energia,
spin. . . . Llamemoslos en general En con n = 1, , N . Es decir, E1 son los numeros
cuanticos de la particula 1, E2 los de la particula 2 y asi sucesivamente. En esta notacion
el estado es

|i = |E1 i |EN i (6)

En esta funcion de onda por supuesto puede ocurrir que los numeros cuanticos de la
particula n y los de la m sean identicos. De hecho, otra manera de etiquetar el sistema
es contando cuantas particulas tienen ciertos numeros cuanticos. Siendo mas concretos,
supongamos un sistema donde solo hay un numero cuantico discreto E. Supongamos que
los posibles valores de E son 1, 2, 3 . Si hay N particulas en el sistema, habra n1 en el
estado E1 con E = 1, n2 en el estado E2 con n = 2 y asi sucesivamente. Escogiendo un
orden para los posibles estados, la funcion de onda se escribe simplemente como
X
|i = |n1 , , nN i ni = N (7)
Por supuesto, en realidad debemos imponer las pertinentes propiedades de simetria en la
funcion de onda, que en esta base que se llama base de numeros de ocupacion se traducen
en que ni puede ser 0 o 1 para fermiones y cualquier entero positivo para bosones. Estas
funciones de onda viven en un espacio que vamos a llamar FN .
En muchas situaciones es conveniente no fijar el numero de particulas. Por ejemplo, si
estamos tratando electrones en metales estos se comportan como un gas con un numero de
particulas enorme, de manera que es conveniente tratarlos como si el numero de electrones
no fuese fijo mas tecnicamente en el gran canonico. El paso crucial entonces es que para
considerar dichos sistemas es conveniente considerar el estado del sistema en el espacio de
Fock 2

M
F = FN (8)
N =0

Es importante darse cuenta de que en la suma F0 i.e. no particulas tambien esta incluido
en la suma. Este estado es un poco especial. Se llama vacio y lo denotaremos como |0i.
En este espacio es natural construir unos operadores creacion/aniquilacion que nos
mueven entre FN y FM :
2
Victor Fock fue el fisico ruso que lo introdujo.

10
 aniquilacion aEn : FN FN 1
(9)
creacion aEn : FN FN +1
Estos operadores actuan como

aEn |n1 , , nn , i = aEn |n1 , , nn 1, i (10)

(11)
aEn |n1 , , nn , i = aEn |n1 , , nn + 1, i (12)

Es decir, aEn toma un estado con N particulas y lo lleva a un estado con N 1 particulas
destruyendo una particula en el estado En (y el converso para aEn . Por supuesto, aEn
aniquila el vacio, es decir

aEn |0i = 0 (13)

Estos operadores satisfacen que3

bosones [a , a ] = (2 )3 ( ) (14)
(15)
fermiones {a , a } = (2 )3 ( ) (16)

Estas relaciones de conmutacion aseguran que los estados fermionicos tengan 0 o 1 partic-
ulas por estado y arbitrarias para estados bosonicos.
Supongamos ahora el sistema mas sencillo que podemos imaginar: un conjunto de
bosones libres. En este caso los estados estan etiquetados simplemente por el momento
p~ de la particula. 4 Las funciones de onda para cada boson son simplemente ondas
planas ei p~~x (omitamos por sencillez el factor de normalizacion). Como cuando creamos
una particula esta viene con la funcion de onda ei p~~x es natural considerar la cantidad
ap~ ei~p~x + ap~ ei~p~x . Como el sistema contiene todos los posibles estados, es natural sumar
dichas cantidades para todos los estados, construyendo asi el operador (devolvamos ahora
todas las normalizaciones correctamente)
Z h i
d3 p~ i~
p~
x i~p~
x
(~x) = 3
p ap~ e + ap~ e p~2 = p~2 + m2 (17)
(2 ) 2 p~
Esta claro lo veremos explicitamente mas abajo que si devolvemos este operador a fun-
cion esto simplemente describe un campo clasico, de manera que los modos de Fourier se
corresponden con las particulas.
3
El (2 )3 es debido a como definimos la funcion .
4
Si el sistema esta en R3 el momento p~ es continuo, pero mas alla de tecnicalidades, es como si los En
se corresponden con los p~.

11
 La leccion que se aprende aqui es que un sistema de particulas en donde el numero
de particulas no esta fijo necesariamente se describe en terminos de campos cuanticos.
Alternativamente un campo cuantico describe un sistema cuantico de particulas donde el
numero no esta fijo. Notese que esto es completamente general: solo hemos asumido un
sistema sin un numero fijo de particulas libres. En particular, la relacion de dispersion p~
puede ser cualquiera. En el caso particular en el que estemos interesados en una teoria que
describa particulas moviendose a velocidades comparables a la de la luz, p~ = p~2 + m2 .
Evidentemente este sera el caso si queremos estudiar los constituyentes mas fundamentales.
Es evidente ahora por que un sistema relativista cuantico debe describirse por un campo
cuantico: la ecuacion de Einstein E = m c2 implica que materia y energia son intercam-
biables, esto es, una teoria relativista debe permitir crear y destruir particulas (cambiar
masa por energia). Por lo tanto es natural que un sistema relativista cuantico se describa
por una teoria cuantica de campos.

3.2 Imagen de Schrodinger vs. imagen Heisenberg en mecanica

cuantica
En la representacion de Schrodinger el estado de un sistema se describe por un vector en un
espacio de Hilbert |i que depende del tiempo, y cuya evolucion temporal esta governada
por la ecuacion de Schrodinger

H |i = i t |i (18)
Evidentemente aca el estado del sistema evoluciona con el tiempo, asi que en realidad
|i = |(t)i. Sin embargo los operadores entre ellos el hamiltoniano H se asumen
independientes del tiempo. Esta es la imagen de Schrodinger.
Supongamos un estado en un instante t0 especificado por |(t0 )i. La pregunta es
como evoluciona dicho estado en el tiempo. Tal evolucion ha de ser implementada por un
operador evolucion U (t, t0 ), tal que

|(t)i = U (t, t0 ) |(t0 )i (19)

Evidentemente la evolucion ha de ser tal que la norma del estado se conserve

h(t)|(t)i = h(t0 )|U (t, t0 ) U (t, t0 ) |(t0 )i = h(t0 )|(t0 )i U (t, t0 ) U (t, t0 ) = 1l
(20)
Enchufando esto en la ecuacion de Schrodinger

H U (t, t0 )|(t0 )i = i t U (t, t0 ) |(t0 )i (21)

Por lo tanto el operador evolucion satisface la ecuacion de operadores

H U (t, t0 ) = i t U (t, t0 ) (22)

12
Por lo tanto, si conocemos el operador de evolucion a traves de su ecuacion de Schrodinger
podemos simplemente considerar nuestros estados a un tiempo fijo dado t0 como indepen-
dientes del tiempo y pasar toda la evolucion temporal a los operadores. Por ejemplo, si
tenemos un operador O (por ejemplo momento angular, o spin o cualquier otro operador),
el elemento de matriz en la imagen de Schrodinger se escribe como

h(t)| O |(t)i = h(t0 )| U (t, t0 ) O U (t, t0 ) |(t0 )i (23)

Esto sugiere que si consideramos los estados como independientes del tiempo, los operadores
contienen la dependencia temporal. Esto se conoce como imagen de Heisenberg. En vista
de (23), un operador en la imagen de Schrodinger OS se escribe como un operador en la
imagen de Heisenberg OH como

OH = U (t, t0 ) OS U (t, t0 ) OS = U (t, t0 ) OH U (t, t0 ) (24)

Volviendo a la ecuacion que especifica el operador evolucion, esta es una ecuacion
diferencial de primer orden, asi que necesita una condicion de contorno. Dicha condicion
de contorno es obvia

U (t0 , t0 ) = 1l (25)
Por lo tanto la solucion de la ecuacion diferencial es sencilla

U (t, t0 ) = ei H (tt0 ) (26)

3.3 Campos en espacio-tiempo

Apliquemos esto a nuestro operador campo. Para ello veamos que ocurre con los operadores
creacion/desctruccion al pasarlos a la imagen de Heisenberg. Usando que U (t, t0 ) = ei H t
(escojamos coordenadas tal que t0 = 0), estos e convierten en

ei H t ap~ ei H t = ei p~ ap~ ei H t ap~ ei H t = ei p~ ap~ (27)

Usando esto, podemos pasarle la dependencia temporal al campo, produciendo el op-
erador campo en la imagen de Heisenberg (~x, t) = U (t, t0 ) (~x) U (t, t0 ). Explicitamente
Z h i
d3 p~ i px i px
(~x, t) = p ap e + ap e (28)
(2 )3 2 p~
Donde la contraccion p x esta hecha con la metrica de Minkowski, es decir, p x = p~ t p~,
que es evidentemente invariante bajo transformaciones de Lorentz. Como todo viene en
terminos del 4-vector p = (p~ , p~), hemos simplificado la notacion y etiquetando a los
operadores creacion/aniquilacion por p.
A la vista de la forma del campo en imagen de Heisenberg, dado que p~2 = p~2 + m2 ,
esta claro que satisface la ecuacion de Klein-Gordon (x = (t, ~x))

13
    
2 + m2 (x) = 0 02 ~ 2 + m2 (x) = 0 (29)
Vemos de nuevo como recuperamos la cuantizacion canonica de un campo escalar que
satisface la ecuacion de Klein-Gordon. Dicha ecuacion se deriva de un lagrangiano que es
1 1
L= m2 2 (30)
2 2
Es importante recalcar que nuestra expresion para el campo es bajo la asuncion de que
las particulas no interactuan. Esto es explicito por ejemplo en el que el espacio sobre el
que actuan los operadores creaccion/destruccion esta compuesto de productos tensoriales
de espacios de Hilbert de una sola particula. Evidentemente en el mundo real las particulas
interactuan. Comencemos por suponer que la interaccion es debil. En ese caso, esta aprox-
imacion libre es correcta y podemos incorporar poco a poco la interaccion asumiendola
como una perturbacion pequegna. Evidentemente, una vez el efecto de la interaccion esta
tenido en cuenta, la expresion para el campo cuantico ya no sera la sencilla expansion en
modos que vimos.

3.3.1 Causalidad
En una teoria relativista debemos preocuparnos de que las segnales no se propaguen mas
rapido que la luz. En teoria cuantica de campos esto se manifiesta en que el conmutador
de campo en dos puntos diferentes se anula si estos dos puntos no estan uno dentro del
cono de luz del otro. Esto es tanto como decir que las perturbaciones solo afectan a otros
puntos dentro del cono de luz de uno dado. Aunque aqui no lo vamos a hacer explicito, se
puede ver que en efecto esto es asi para el campo escalar.
Es importante recalcar que el uso de conmutadores esta intimamente ligado a que el
campo es de spin entero en particular escalar. Veremos que si el campo es de spin
semientero necesitaremos cambiar [] {}, lo que lleva incorporado el principio de exclu-
sion de Pauli. Esa es la conexion entre spin y estadistica conocida como teorema de
spin/estadistica.

3.4 Las teorias de campos son teorias efectivas

Hemos particularizado nuestra discusion para campos escalares reales, pero evidentemente
la podriamos haber generalizado a campos complejos, fermionicos y campos gauge. Sigamos
sin embargo con nuestro ejemplo del campo escalar real. Dicho ejemplo podemos de hecho
pensarlo como una situacion fisica de verdad: el 0 es una particula escalar sin carga
electrica que se describe por un campo escalar real. La teoria que hemos analizado describe
pues 0 s libres, y en lo que resta vamos a desarrollar la teoria del 0 y sus interacciones. 5
5
En el mundo real hay otros dos compagneros cargados , ademas de una torre enorme de otras
particulas. Consideremos de momento el subsector que solo contiene 0 .

14
 Como es sabido, el 0 no es fundamental en el sentido de que esta hecho de dos quarks.
Sin embargo es obvio que a bajas energias dichos quarks son irrelevantes: el 0 se ve
como una particula fundamental. Es mas, a bajas energias, las interacciones del 0 son
despreciables, con lo que una buena aproximacion es la teoria libre de arriba. Podemos
entonces agnadirle interaccion, exactamente tal y como vamos a hacer. Sin embargo la
teoria que obtendremos no sera valida a energias arbitrarias. Es obvio que cuando la
energia crece, la descripcion correcta no es en terminos de 0 , sino en terminos de quarks
y gluones libres, es decir, la descripcion correcta sera QCD.6 Por lo tanto, debemos pensar
en la teoria que describe el 0 como en una teoria efectiva, valida en un cierto rango
de energias. Esta es la imagen moderna de las teorias de campos, basada en los trabajos
seminales de Ken Wilson, que situa todas las teorias de campos como teorias efectivas:
a cada escala de energia los grados de libertad relevantes seran distintos, y por lo tanto
la teoria que describe de modo efectivo la fisica de ahi el nombre de teoria efectiva sera
diferente.
Para entenderlo mejor, consideremos una analogia sugerida por David Gross: consid-
eremos un fluido, por ejemplo el agua del mar. Si uno considera un objeto muy grande
e.g. un barco, la fisica relevante es la de las olas moviendolo, todo ello descrito por las
ecuaciones de Navier-Stokes. Con especificar unos pocos parametros densidad, numero
de Reynolds. Al ir considerando objetos mas y mas pequegnos longitud 1/energia
empieza a ser mas relevante especificar mas y mas cosas si es agua de mar, su tension
superficial. . . . Si seguimos reduciendo el tamagno de la sonda de hecho en cierto mo-
mento nos encontraremos con que la descripcion en terminos de fluido en si misma es
incorrecta. . . para cuando estemos usando un objeto del tamagno de la molecula de agua
esta claro que la descripcion en terminos de un continuo gobernado por las ecuaciones de
Navier-Stokes no tiene sentido! Esto es exactamente igual al ejemplo analogo del 0 y
QCD.
En lo sucesivo deberemos pensar que estamos cosntruyendo una teoria de campos que
describe los grados de libertad efectivos relevantes para la descripcion a esa energia. Por
ejemplo, nuestro campo escalar real sera un 0 y asumimos que estamos midiendo a escalas
mucho mas pequegnas que QCD .

4 Elementos basicos de Teoria Cuantica de Campos

En el mundo real las particulas y por ende los campos cuanticos que las describen
interaccionan. La manifestacion mas directa de esto es que dos particulas chocan y se
desvian cuando se encuentran. Es por esto que uno de los intereses primarios es calcular
amplitudes de scattering entre particulas. Supongamos que en un tiempo Ti tenemos un
6
QCD es el acronimo en ingles de CromoDinamica Cuantica (Quantum ChromoDynamics). Es la teoria
que describe la fuerza nuclear fuerte. Es como el electromagnetismo pero con mas fotones que se llaman
de hecho gluones. Los gluones median la interaccion entre quarks. QCD se hace fuertemente acoplada a
bajas energias. Por debajo de una energia que se denota como QCD los quarks y los gluones solo existen
como estados ligados neutros: 0 , , proton, neutron. . .

15
cierto numero m de particulas en un cierto estado etiquetado por los momentos ~ki de cada
particula (y sus espines etc.). La pregunta es cual es la probablidad de que a un tiempo
final Tf el estado contenga n particulas en otro determinado estado etiquetado por los
correspondientes p~i . Es decir, debemos calcular

h~p1 , , p~n ; Tf |~k1 , , ~km ; Ti i (31)

Implicitamente asumimos que Ti y Tf , de manera que en estos estados
iniciales y finales las particulas no interactuan por ejemplo porque todas las particulas
acaban sufientemente separadas como para que sus interacciones sean despreciables. A
estos estados que contienen basicamente particulas libres se les llama estados asintoticos. Al
estado inicial |~k1 , , ~km ; Ti i con Ti se le llama estado in y al final |~p1 , , p~n ; Ti i
con Tf se le llama estado out. Asi pues, llamando en general al estado in como |ini
y al out como |outi moralmente queremos calcular

lim hout| U (tin , tout ) |ini (32)

ti , tf

Donde U es el correspondiente operador de evolucion. Esto usualmente se denota asum-

iendo la existencia de un operador unitario S que implementa esta transicion como

hout| S |ini (33)

Al operador S se le llama matriz S. Normalmente se separa de la matriz S el caso trivial
de no interaccion. Es decir, se escribe S = 1l + i T , donde T mide la probabilidad de
transicion entre estados diferentes. Como solemos estar interesados en estados inicial y
final diferentes, en realidad normalmente calculamos hout| T |ini
En un experimento de verdad se hacen chocar haces de particulas y se observa el resul-
tado. Una manera de comparar dichos resultados de manera independiente del tamagno
del haz de particulas, el numero de particulas u otros detalles dependientes del experimento
en particular es calculando la seccion eficaz (cross section en ingles). A groso modo, si
un haz de particulas con NA particulas choca con un haz de NB particulas en una super-
ficie A, algunas particulas chocaran mientras que otras ni se veran entre si. El numero de
scatterings # sera
NA NB
#scatterings = (34)
A
donde es la cantidad que controla la probablidad intrinseca al tipo de particulas de
interaccion (es decir, lleva la informacion de como es la interaccion entre las particulas
d A y las de B). Esta cantidad intrinseca al tipo de particulas y su dinamica es la seccion
eficaz.
Otra cantidad con interpretacion fisica muy directa es la probabilidad de desintegracion
(decay rate en ingles). Si tenemos NA particulas no estable, que se desintegran en ciertas
otras particulas, podemos contar el numero de desintegraciones por unidad de tiempo.

16
Dividiendo por el numero de particulas tenemos una medida intrinseca de la probabilidad
de desintegracion. Es decir

#desintegraciones = NA (35)
donde es el decay rate.
Aunque no vamos a desarrollar toda la teoria de scattering, la cuestion es que tanto
como se pueden definir de modo diferencial, es decir, contando decaimientos o scatterings
por angulo solido. En realidad en un experimento de verdad nunca hay un estado puro ni
se mide un estado puro. Asi pues en realidad lo que tenemos por ejemplo en una colision
es que los haces de particulas tienen una distribucion de momentos centrada en un cierto
valor. Por el mismo motivo, lo que medimos al final tiene tambien una cierta distribucion
de momentos. Es por eso por lo que al escribir las secciones eficaces/probabilidades de
desintegracion estas vienen en terminos del elemento de matriz S correspondiente a la
transicion entre el estado in y el out correspondientes multiplicado por el numero de
estados out que tenemos. Por lo tanto, en ambos casos se puede dar una expresion que
esquematicamente es de la forma

d = |Mif | d d = |MAf | d (36)

Donde d es el elemento de volumen en espacio de fases, es decir, la densidad de esta-
dos correspondiente, mientras que |Mif es el elemento de matriz correspondiente a la
transicion. Si bien d es una cantidad puramente cinematica, Mif es una cantidad que
contiene informacion sobre la teoria en si. Esto es lo que mas nos urge calcular, lo real-
mente no trivial y lo que se persigue estudiar en cualquier experimento. Esta claro que
este elemento de matriz es

Mif = hout| S |ini = hout| T |ini = h~p1 , , p~n ; Tf |~k1 , , ~km ; Ti i (37)

4.1 Calculando amplitudes de scattering

Resulta que se puede dar una expresion generica para dichas amplitudes de probabilidad.7 .
Para ello necesitamos introducir el ordenado temporal de campos
h i
T (x) (y) = (x0 y 0 ) (x) (y) + (y 0 x0 ) (y) (x) (38)
Con esto las amplitudes de probabilidad relevantes se pueden escribir como

Y
i Z Y i Z 
m n

2 2 2 2 in 1
hp~ p~n |~k1 ~km iout = (39)
k
i=1 i
m p
j=1 j
m
m
Y Z Y n Z h i
4 i ki xi
d xi e d4 yj ei pj yj hT (x1 ) (xm ) (y1 ) (yn ) i
i=1 j=1

7
Aqui no la vamos a derivar. Las demostraciones se pueden consultar en la bibliografia.

17
 A esta expresion, que permite escribir amplitudes de probabilidad de transicion entre
estados en terminos de correladores, se le llama formula de reducion de LSZ, en honor a
sus descubridores Lehmann, Symanzik y Zimmermann.
En esta expresion los campos que entran son los campos de Heisenberg i.e. en espacio-
tiempo exactos. Cuando las particulas estan muy separadas, como vimos, tienden a los
campos libres que conocemos, pero para una situacion general seran cosas complicadisimas
cuya expresion no sabemos. En cualquier caso, la virtud de LSZ es permitir reducir el
calculo de scatterings a calcular las funciones
h i
h T (x1 ) (xn ) i (40)
Dichas funciones a n puntos se llaman funciones de Green, o correladores o simplemente
funciones a n puntos. Dichas funciones han de ser calculadas off shell, es decir, sin asumir
que los campos satisfacen la ecuacion de movimiento libre. Los prefactores de ki2 m2
y p2i m2 sin embargo si son explicitamente on-shell porque ki , pi son momentos de
particulas que entran y salen, es decir, particulas fisicas. Ya que estos factores son 0
precisamente por ser particulas fisicas satisfacen que e.g. p2i = m2 , LSZ nos instruye a
seleccionar los polos de las funciones a n puntos que cancelen dichos ceros.

4.1.1 La moral del asunto

Lo relevante de la discusion de arriba es que en teoria cuantica de campos las cantidades
centrales son las funciones de correlacion a n puntos, que son valores de expectacion de
ordenados temporales de campos de Heisenberg i.e. en espacio-tiempo
h i
h T (x1 ) (xn ) i (41)
Conocer estas funciones de manera exacta para cualquier n equivale a resolver la teoria, es
decir, a poder calcular cualquier observable de manera exacta. Es por ello que estas can-
tidades son elementos absolutamente centrales en teoria cuantica de campos. Calcularlos
es el objetivo central.

4.2 Path integrals como formalismo natural en Teoria Cuantica

de Campos
Hasta ahora una fuente comun de engorro es el hecho de que, pese a estar especialmente
interesados en teorias invariantes Lorentz, hemos estado usando un formalismo manifi-
estamente no covariante, basado en el formalismo hamiltoniano donde t juega un papel
distinguido. Para poner remedio a esto debemos usar el formalismo de la integral de
caminos (path integral en ingles) introducido por Feynman. La ventaja agnadida es que
los ordenados temporales apareceran de manera natural, de manera que el path integral
esta adaptado como un guante a calcular las funciones de correlacion que, como vimos
antes, son las cantidades centrales en teoria cuantica de campos. Sin embargo, antes

18
de aplicarlo a la teoria cuantica de campos, veamoslo en el contexto mas familiar de la
mecanica cuantica

4.2.1 Path integrals en mecanica cuantica

Es natural preguntarse por la propagacion de las particulas en mecanica cuantica. En
mecanica clasica una particula se propaga entre qI y qF siguiendo una trayectoria. Eso
es una funcion q(t) tal que q(tI ) = qI y q(tF ) = qF . En mecanica cuantica, debido a
que posicion y momento no conmutan, este concepto no existe. Esto de hecho es lo que
el experimento de la doble rendija pone de manifiesto: una particula no pasa por una
rendija o por la otra, sino que la probabilidad de deteccion es la suma de las amplitudes
de probabilidad para la particula pasando por cada uno de los dos agujeros.
Tratemos de hacer esto explicito. Consideremos la propagacion de una particula libre
entre qI y qF en un tiempo T = tF tI . La amplitud de probabilidad asociada a dicho
proceso es

hqF | ei H T |qI i (42)

Donde ei H T no es mas que el operador evolucion. Notese que estamos en la representacion
de Schrodinger, donde los estados dependen del tiempo (de hecho por ejemplo |qI i =
T
|q(tI )i!). Dividamos ahora el intervalo T en N subintervalos de tamagno t = N . Entonces
i H T i H t i H t
e =e e . Tras cada t podemos insertar una identidad escrita como
Z
dqi |qi i hqi | (43)

donde el subindice i significa tras i intervalos t. Explicitamente

hqF | ei H T |qI i = hqF | ei H t ei H t |qI i (44)

NY 1 Z
= dqi hqF | ei H t |qN 1 i hqN 1 | ei H t |qN 2 i hq1 | ei H t |qI i
i=1

Una vez mas, recordemos que |qi i = q(ti )i.

Si llamamos qI = q0 y qF = qN esto es
N
Y 1 Z
i H T
hqF | e |qI i = dqi hqi+1 | ei H t |qi i (45)
i=0

Recordemos que estamos estudiando una particula libre. Como el hamiltoniano es sencil-
2
lamente 2Pm , esta claro que es mas sencillo trabajar en espacio de momentos. Insertemos
una identidad en espacio de momentos. Para cada ti tenemos
Z
dpi
|pi i hpi | = 1 (46)
(2 )

19
Para ver que esto es correcto, consideremos hqi0 |qi i = (qi0 qi ). Como hpi | qi i = ei pi qi ,
eso es
Z Z
dpi 0 dpi i pi (qi0 qi )
hqi |pi i hpi |qi i = e = (qi0 qi ) (47)
(2 ) (2 )
Es decir, la asignacion de (2 )s es correcta. Notese ademas que
Z Z
0
hpi |pi i = dqi hpi |qi i hqi |pi i = dqi ei qi (pi pi ) = (2 ) (p0i pi )
0 0
(48)

Volviendo ahora a nuestro calculo, insertemos 1 escrito en espacio de momentos de

manera que

N
Y 1 Z Z Z
i H T dpi+1 dpi
hqF | e |qI i = dqi hqi+1 |pi+1 i hpi+1 | ei H t |pi i hpi |qi i (49)
i=0
(2 ) (2 )

Usando que hpi | qi i = ei pi qi , esto es

N
Y 1 Z Z Z
dpi+1 dpi i pi+1 qi+1
dqi e hpi+1 | ei H t |pi i ei pi qi (50)
i=0
(2 ) (2 )
p2
i
Por otra parte, como |pi i son autoestados del hamiltoniano ei H t |pi i = ei 2 m t |pi i, asi
que
p2
i
hpi+1 | ei H t |pi i = (2 ) ei 2 m t (pi+1 pi ) (51)
Asi que en nuestro calculo
N
Y 1 Z Z Z
dpi+1 dpi i pi+1 qi+1 i pi qi p2i
dqi e e (2 ) ei 2 m t (pi+1 pi ) (52)
i=0
(2 ) (2 )
Integrando en dpi+1 queda
N
Y 1 Z Z
dpi i pi qi+1 i pi qi i p2i t
dqi e e e 2m (53)
i=0
(2 )
Esto es
 
N
Y 1 Z Z p2
i +p (qi+1 qi )
dpi i 2m i t
t
dqi e (54)
i=0
(2 )
Podemos completar el cuadrado hasta tener

20
  m 2  2
N
Y 1 Z hZ p (qi+1 qi ) i (qi+1 qi )
dpi i i +
2m 2 t
t i m
2 t
t
dqi e e (55)
i=0
(2 )
La integral en dpi es facil de hacer. Como pi corre en (, ), podemos absorver el
termino lineal. Por lo tanto

 m 2 r
Z p (qi+1 qi ) Z Z
dpi i i + t dpi i p2i t 2mi 1 2
e 2m 2 t
= e 2m = dx ex (56)
(2 ) (2 ) t (2 )

La integral Gaussiana es facil de hacer

Z
2
dx ex = (57)

Asi que todo junto

 m 2 r
Z p (qi+1 qi )
dpi i i +
2m 2 t
t im
e = (58)
(2 ) 2 t
Por lo que, metiendo esto en nuestro calculo, tenemos que
 2
1 Z
 i m  N2 NY m (qi+1 qi )
i t
hqF | ei H T |qI i = dqi e 2 t
(59)
2 t i=0

Esto lo podemos re-escribir como

 2
1 Z
 i m  N2  NY Y m (qi+1 qi ) 
i t
i H T 2 t
hqF | e |qI i = dqi e
2 t i=0
 2
1 Z
 i m  N2  NY  PN 1 m (qi+1 qi )
i i=0 2 t
t
= dqi e (60)
2 t i=0

Tomemos ahora el limite de N . En tal caso t 0. De hecho

N
X 1 Z tf
(qi+1 qi )
q t dt (61)
t i=0 ti

Definiendo el simbolo
Z 1 Z
 i m  N2  NY 
Dq = lim dqi (62)
N 2 t i=0

21
Notese que aqui se asume que q0 = qI y qN = qF .
Puesto todo junto, resulta al final que
Z R tF 1 2
hqF | e i H (tF tI )
|qI i = Dq ei tI dt 2 m q (63)

Si hubiesemos hecho el mismo razonamiento para una particula en interaccion hubiese-

mos obtenido8
Z R tF 1 2
hqF | ei H (tF tI )
|qI i = Dq ei tI dt 2 m q V (64)

Ahora bien, la cantidad 12 m q 2 V no es mas que el lagrangiano clasico de la particula,

con lo que la formula en general se escribe como
Z
i H (tF tI )
hqF | e |qI i = Dq ei S (65)

Notese que en el exponente del integrando ha aparecido

R la accion clasica de la particula. Por
otra parte, al obtener esta formula, y oculto en Dq esta el hecho de que estamos sumando
a todos las posibles trayectorias. Puesto todo junto, hemos obtenido una expresion para
la propagacion de la particula que es la suma de todas las posibles trayectorias clasicas
pesadas con su correspondiente accion.9
Supongamos ahora que estamos interesados en la probabilidad de evolucion de un estado
inicial |Ii en uno final |F i entre tI y tF . Esto esta dado por hF |ei H (tF tI ) |Ii. Insertando
identidades escritas en terminos de autoestados en espacio de posiciones
Z Z
i H (tF tI )
hF |e |Ii = dqI dqF hF |qF i hqF | ei H (tF tI ) |qI i hqI |Ii (66)

Pero hqI |Ii y hqF |F i no son mas que las funciones de onda asociadas a los estados incial y
final en espacio de posciones. Por lo tanto
Z Z
i H (tF tI )
hF |e |Ii = dqI dqF F (qF ) hqF | ei H (tF tI ) |qI i I (qI ) (67)

Es decir, podemos escribir la evolucion de un estado en terminos del path integral hqF | ei H (tF tI ) |qI i.
Si recuperamos los factores de c y ~ dicho path integral es
Z
S
i H (tF tI )
hqF | e |qI i = Dq ei ~ (68)

En el limite ~ 0 la exponencial oscila infinitamente y esta dominada por los puntos de

accion estacionaria. Es decir, en el limite ~ 0, que es el limite clasico, el path integral
8
Notese que esto es un poco mas sutil, ya que la interaccion es V = V (q, p), con lo que |pi ya no es
autoestado del hamiltoniano. Para una discusion del caso general en detalle ver la bibliografia.
9
La explicacion en el capitulo 1 del libro de Zee sobre el path integral y su significado, sobre todo en el
contexto del experimento de la doble rendija con infinitas rendijas es muy recomendable!

22
localiza en las configuraciones con S = 0, es decir, en las configuraciones clasicas. De esta
manera el mundo clasico emerge.

4.2.2 Ordenados temporales y path integral

Supongamos que queremos calcular la siguiente cantidad
Z
Dq A[q(t1 )] ei S (69)

con q(tI ) = qI y q(tF ) = qF . Aqui A es un funcional de la funcion q(t1 ).

Para hacer esto volvamos atras en la definicion de path integral. Recordemos que
dividiendo el intervalo tF tI in subintervalos infinitesimales
Z q(tF )=qF N
Y 1 Z
iS
Dq e dqi hqi+1 | ei H t |qi i = hqF | ei H T |qI i = (70)
q(tI )=qI i=0

donde hemos hecho explicitos los limites de integracion. Esta claro por lo tanto que

Z N
Y 1 Z Z
iS i H t
Dq A[q(t1 )] e = |no I dqi hqi+1 | e |qi i dqI hqI+1 | ei H t A[q(t1 )] |qI i (71)
i=0

Donde I es el intervalo donde esta t1 . Es decir, A[q(t1 )] aparece en el factor que corresponde
al subintervalo donde esta t1 . Ahora bien, hqI+1 | ei H t A[q(t1 )] |qI i es el elemento de matriz
del operador de Heisenberg A[q(t1 )], es decir, hqF | ei H T A[q(t1 )] |qI i
Supongamos ahora
Z
Dq A[q(t1 )] B[q(t2 )] ei S (72)

Por las mismas, esto es

Z
Dq A[q(t1 )] B[q(t2 )] ei S = (73)
N
Y 1 Z Z Z
i H t i H t
|no I1 , I2 dqi hqi+1 | e |qi i dqI1 hqI1 +1 | e A[q(t1 )] |qI1 i dqI2 hqI2 +1 | ei H t B[q(t2 )] |qI2 i
i=0

Donde I1 es el intervalo que contiene t1 e I2 el que contiene t2 . Supongamos que t2 < t1 .

Entonces al pasar a operadores esto es

hqF | ei H T A[q(t1 )] B[q(t2 )] |qI i (74)

ya que primero actua el operador que esta antes al subdividir el intervalo.

23
 Si por el contrario embargo, si t1 < t2 , como en el path integral A[q(t1 )] y B[q(t2 )] son
funciones (numeros!10 ), podemos escribir
Z Z
Dq A[q(t1 )] B[q(t2 )] e = Dq B[q(t2 )] A[q(t1 )] ei S
iS
(76)

y por el mismo motivo que antes, esto es

hqF | ei H T B[q(t2 )] A[q(t1 )] |qI i (77)

Por lo tanto, si t1 > t2 el path integral calcula A[q(t1 )] B[q(t2 )], y si t2 > t1 calcula
B[q(t2 )] A[q(t1 )] Esto es, de manera automatica el path integral implementa de manera
natural los ordenados temporales!!! Es decir
Z h i
Dq A[q(t1 )] B[q(t2 )] ei S = hqF | ei H T T A[q(t1 )] B[q(t2 )] |qI i (78)

4.3 Fuentes y funciones generatrices

Volvamos a la ecuacion anterior para el caso mas sencillo, donde A[q(t)] = q
Z
Dq q(t1 ) ei S = hqF | ei H T q(t1 ) |qI i (79)

Construyamos la siguiente cantidad

R R tF
Dq ei S+ tI J(t) q(t)
Z[J] = R (80)
Dq ei S
Si t1 [tI , tF ] esta claro que
R R tF
Z[J] Dq q(t1 ) ei S+ tI J(t) q(t)
= R (81)
J(t1 ) Dq ei S
Asi pues, si ahora evaluamos esta derivada funcional en J(t) = 0 tenemos que
R
Z[J] Dq q(t1 ) ei S hqF | ei H T q(t1 ) |qI i
|J=0 = R = (82)
J(t1 ) Dq ei S hqF | ei H T |qI i
Es por lo tanto evidente que
10
Notese que si estuviesemos discutiendo fermiones, A[q(t1 )] y B[q(t2 )] serian variables Grassman, y
por lo tanto en lugar de conmutar, anticonmutarian. Esta es una manera de argumentar que el ordenado
temporal para fermiones debe ser
h i
T (t1 ) (t2 ) = (t1 t2 ) (t1 ) (t2 ) (t2 t1 ) (t2 ) (t1 ) (75)

24
 h i
n
R iS hqF | ei H T T q(t1 ) q(tn ) |qI i
Z[J] Dq q(t1 ) q(tn ) e
|J=0 = R = (83)
J(t1 ) J(tn ) Dq ei S hqF | ei H T |qI i

Es decir, Z[J] lo podemos pensar como funcional generador de las funciones

h i
hqF | ei H T T q(t1 ) q(tn ) |qI i
G(t1 , , tn ) = (84)
hqF | ei H T |qI i
Volvamos a la definicion de Z[J]. En el numerador tenemos
Z R
Z R
i S+ J(t) q(t)
Dq e = Dq ei L+i J(t) q(t) (85)

Es decir, el numerador es el path integral para una particula con una accion en la que
hemos agnadido la interaccion extra i J q. Para entenderlo tomemos el ejemplo sencillo de
una particula libre. En tal caso L + Jq = 12 m q 2 + i J q. La ecuacion de movimiento es

m q = i J (86)
R
Es decir, J es una fuente externa. Esto es, al agnadir el termino J q es como haber
agnadido una fuente externa J para q. La funcion generatriz Z[J] por lo tanto tiene en
cuenta la respuesta del sistema a una fuente externa J.

4.4 Path integrals en Teoria Cuantica de Campos

El path integral esta formulado de manera natural en terminos del lagrangiano, que a su vez
esta adaptado a mantener explicitas todas las simetrias de una teoria invariante Lorentz.
Por otra parte, el path integral incorpora de manera natural ordenados temporales. Esto
sugiere que la teoria de campos se formula de manera natural en terminos de path integrals.
El path integral para un campo es la generalizacion obvia del path integral en mecanica
cuantica.11
Z (tF )=F R tF
hF | e i H (tF tI )
|I i = D ei tI dt L
(87)
(tI )=I

A la vista de que al agnadir fuentes tenemos un funcional generador para ordenados tempo-
rales, y dado que, calculados en el vacio dichos ordenados temporales son los correladores
a n puntos centrales en teoria de campos, esta claro que nos interesa tomar el limite
tI , t con I = F = vacio. En tal caso podemos definir
11
Una manera de argumentar esto es discretizando el campo, de manera que el campo es una coleccion
finita de particulas en un cierto potencial. Para cada particula podemos usar la derivacion de path integral
conocida. Tomando despues el limite continuo de este sistema recuperamos el path integral para campos.

25
 R R
D ei S+ J
Z[J] = R (88)
D ei S
De manera que
h i n Z[J]
hT (x1 ) (xn ) i = |J(x)=0 (89)
J(x1 ) J(xn )
Notese que el denominador en Z[J] es tal que, para la funcion a 0 puntos, que no es mas
que la norma del vacio, tenemos h0|0i = 1.
Es importante darse cuenta de que esta formula es obvia de generalizar a teorias con un
numero arbitrario de campos, a su vez estos de un tipo arbitrario (fermionicos, bosonicos,
complejos, reales, spin 1. . . incluso a priori spin 2!). De esta manera al menos en principio,
podemos calcular un correlador arbitrario en una teoria arbitraria a traves de una integral.

4.5 Campos libres

Fijemonos en el caso mas sencillo del campo escalar real sin interacciones. La accion es
Z
1 1
S = d4 x ()2 m2 2 (90)
2 2
Por lo tanto el funcional generador es
Z R R
Z
1 i d4 x 12 ()2 12 m2 2 + d4 x J(x) (x)
Z[J] = N D e N = D ei S (91)

No es para nada obvio que esta integral tenga sentido (converja). Para empezar, es una
integral de una funcion oscilatoria. Para darle sentido
R podemos hacer m2 m2 i  y
tomar el limite  0+ . Asi, el exponente adquiere d4 x  2 , que hace que la exponencial
se atenue en , haciendo que la integral converja. Asi pues hemos de calcular

Z R R
Z
1
1 i d4 x ()2 12 (m2 i ) 2 + d4 x J(x) (x)
Z[J] = N D e 2 N = D ei S (92)

Fijemonos en el exponente. Integrando por partes podemos escribir

Z Z Z
i 2 i 1 1
4
d x [ +(m i )] + d x J(x) (x) = d4 x [ 2 +(m2 i )] + J(x) (x)+ (x) J(x)
2 4
2 2 2 2
(93)
Transformando de Fourier
Z
d4 p
= (p) ei px (94)
(2 )4
Tenemos

26
Z Z Z
4 d4 p d4 q  i 2 2 1 1 
dx (q) [p (m i )] (p) + J(q) (p) + (q) J(p) ei (p+q)x
(2 )4 (2 )4 2 2 2
(95)
4
La integral en d x es una , y por lo tanto
Z
d4 p i 1 1
4
(p) [p2 (m2 i )] (p) + J(p) (p) + (p) J(p) (96)
(2 ) 2 2 2
Por ahorrar notacion llamemos (p) = 2i [p2 (m2 i )]. Evidentemente (p) = (p).
Asi pues
Z
d4 p 1 1
4
(p) (p) (p) + J(p) (p) + (p) J(p) (97)
(2 ) 2 2
Esto se puede escribir como
Z h
d4 p J(p) i h J(p) i J(p) J(p)
(p) (p) + (p) + (98)
(2 )4 2 (p) 2 (p) 4
Por lo tanto
h ih i
Z R d4 p J(p) J(p) R d4 p J(p) J(p)
(p) (p)+ 2 (p) (p)+ 2 (p)
(2 )4
Z[J] = N 1 D e e (2 )4 4
(99)

Como la integral en D corre en [, ], podemos reabsorver el desplazamiento

finito J/2, de manera que
R d4 p J(p) J(p) Z R d4 p
1 (p) (p) (p)
Z[J] = e (2 )4 4
N D e (2 )4 (100)

Pero
Z R d4 p
1 (p) (p) (p)
N D e (2 )4 =1 (101)

Asi que
i
R d4 p J(p) J(p)
Z[J] = e 2 (2 )4 p2 m2 +i  (102)
Transformando de Fourier de vuelta a espacio de posiciones
h i
1
R R d4 p i ei p(xy)
d4 x d4 y J(x) J(y)
(2 )4 p2 m2 +i 
Z[J] = e 2 (103)
La cantidad en el exponente es central en Teoria Cuantica de Campos, conocida como
propagador de Feynman DF , asi que
1
R R
d4 x d4 y J(x)DF (xy) J(y)
Z[J] = e 2 (104)

27
Por lo tanto tomando la segunda derivada con respecto a las fuentes y poniendolas luego
a cero tenemos que
h i
hT (x) (y) i = DF (x y) (105)

Notese que dado que conocemos exactamente Z[J] podemos calcular todas las funciones
de correlacion en la teoria libre.

4.6 Propagadores
Hemos encontrado que el propagador de Feynman es una cantidad de imporancia central
en teoria cuantica de campos, ya que es el correlador mas basico veremos mas adelante
esto hecho explicito.
Para entender el significado de DF , supongamos un campo libre, y escribamoslo como

(x) = (x)+ + (x) (106)

Con
Z Z
+ d3 p~ d3 p~
(x) = p ap ei px
(x) = p ap ei px (107)
(2 )3 2 p~ (2 )3 2 p~
Recordemos ahora que DF esta definido como

DF (x y) = (x0 y 0 ) [+ (x), (y)] + (y 0 x0 ) [+ (y), (x)] (108)

Explicitamente, usando quien es , esto es

Z Z
d3 p~ d3 ~q
3
p 3
p (x0 y 0 ) ei px ei qy [ap~ , aq~]
(2 ) 2 p~ (2 ) 2 q~
Z Z
d3 p~ d3 ~q
+ 3
p 3
p (y 0 x0 ) ei py ei qx [ap~ , aq~] (109)
(2 ) 2 p~ (2 ) 2 q~

Usando las reglas de conmutacion de los operadores creacion/destruccion

Z Z
d3 p~ d3 ~q
3
p 3
p (x0 y 0 ) ei px ei qy (2 )3 (~p ~q)
(2 ) 2 p~ (2 ) 2 q~
Z 3 Z 3
d p~ d ~q
+ 3
p 3
p (y 0 x0 ) ei py ei qx (2 )3 (~p ~q) =
(2 ) 2 p~ (2 ) 2 q~
Z 3 h i
d p~ 0 0 i p(xy) 0 0 i p(xy)
(x y ) e + (y x ) e (110)
(2 )3 2 p~

Esta integral se puede re-escribir como una integral 4-dimensional

28
= + (x)+ (y) + + (x) (y) + (x)+ (y)
+ (x) (y)
= + (x)+ (y) + (y)+ (x) + (x)+ (y)
+ (x) (y) + [+ (x), (y)]
= : (x)(y) : + [+ (x), (y)] , (5.73)

lons denote normal ordering. Similarly for y 0 > x0

= : (x)(y) : +[+ (y), (x)]. Therefore
Z
d4 p i
x)(y)} = : (x)(y) : + D(x y) , D F (x y) =
(5.74) ei p(xy) (111)
(2 )4 p2 m2 + i 
En donde se asume que  va a 0+ . Demostremos esto haciendo la integral en dp0 explicita.
0
)[+ (x), (y)] +El 0
es(llamemos
x0 )[+ (y),
(yintegrando (x)] . (5.75)z = x y por sencillez de notacion)

e expectation value of the normal ordered Z term Z

d2 p~ i p~~z dp0 1 0
ecause there is always either one annihilation op- 3 e 2 2 2
ei p0 z (112)
or a creation operator acting on "0|. Instead(2the ) (2 ) p0 p~ m + i 
d ap is a c-number, also D(x
Lasointegral eny) pis0 alac-number,
podemos hacer
usando el teorema de los residuos. Los polos del
D(x y)"0|0! = integrando
D(x y). Therefore
p
estan en p~y)
D(x 2+is m2 i .
Como  es pequegno podemos expandir en serie y
pagator,
escribir los polos aproximadamente como
0|T {(x)(y)}|0! = D(x y) . (5.76)
 
p+
0 ' p~ i p
0 ' p~ + i (113)
mutators we find 2 2
p
1 " 0 0 Donde
ip(xy)como 0siempre p~ =# + p~2 + m2 .
0 ip(xy)
(x y )e + (y x )e .
2Ep Notese que los polos estan ligeramente desplazados del eje real: el polo con parte real
(5.77)
negativa esta ligeramente subido en la parte positiva compleja mientras que el polo con
can be computed explicitly, but it is more useful
four-dimensionalparte negativa esta un poco mas bajado (ver fig. (2).
integral,
!
d4 p i
= eip(xy) , (5.78) p0
(2)4 p2 m2 + i$

ve the equivalence of eqs. (5.77) and (5.78), observe

q. (5.78) can be written as
! + 0
dp i 0 0 0

0 )2 E 2 + i$
eip (x y ) , (5.79)
2 (p p

m2 )1/2 . The integral over p0 can be computed

p0 -plane. The i$ factor displaces slightly the poles Fig. 5.1 The position of the poles in
he poles are at p0 % Ep (1 i$/(2Ep2Figure
)). Thus2:thePosicion de los
the complex polos en el plano complejo p0 .
p0 -plane.
ghtly displaced below the real axis and the pole at
La axis,
displaced above the real cuestion
as shownes in
que
Fig.contorno
5.1. usar. En particular, queremos un contorno
tal que la
0
contribucion del semicirculo en el infinito sea nula. Supongamos z > 0. En tal caso
0
la exponencial ei p0 z decaeria para z0 si p0 tuviese una pequegna parte imaginaria
positiva. Por lo tanto vemos que para z 0 > 0 debemos cerrar el contorno por arriba,
atrapando el polo p 0 . El residuo en este polo es
h 1 i 1 i p~ z0
i p0 z 0
Resp0 =p0 2 2 2
e = e (114)
p0 p~ m + i  2 p~
Este es rodeado en sentido contrario a las agujas del reloj, y por lo tanto da una
contribucion que es directamente el residuo de arriba, es decir, contribuye
1 i p~ z0
(2 i) e (z 0 ) (115)
2 p~

29
 Por otra parte, cuando z 0 < 0 la exponencial se atenua si p0 tiene una pequegna parte
imaginaria negativa. Debemos por lo tanto cerrar el contorno por abajo de manera que
rodeamos el polo p+0 . En el
h 1 i 1 i p~ z0
i p0 z 0
Resp0 =p+0 2 2 2
e = e (116)
p0 p~ m + i  2 p~
Como este polo es rodeado en el sentido de las agujas del reloj contribuye como menos lo
de arriba, es decir
1 i p~ z0
(2 i) e (z 0 ) (117)
2 p~
Por lo tanto
Z
d2 p~ i p~~z h 1 i p~ z0 0 1 i p~ z0 0
i
DF (x y) = e e (z ) + e (z ) (118)
(2 )3 2 p~ 2 p~
que es la expresion de partida. Asi pues, resumiendo, el propagador de Feynman DF
se puede escribir en notacion covariante usando la prescripcion de +i , que nos fuerza a
escoger un contorno tal que se recupera la expresion correcta de la funcion a dos puntos.

4.6.1 Funciones de Green

Podemos actuar con el operador de Klein-Gordon sobre el propagador de Feynman. Esta
claro que en el limite  0 lo que obtenemos es
 
2 + m2 DF = i 4 (x) (119)

siendo 4 (x) la de Dirac en espacio de Minkwoski (a veces suprimiremos el superindice)

Z
4 d4 p i p x
(x) = e (120)
(2 )4
La ecuacion de arriba es familiar: DF es simplemente una funcion de Green para el operador
de Klein-Gordon! En general, la ecuacion de Klein-Gordon con fuente tiene como solucion

  Z
2 2 4 d4 p i
+m G = i (x) G= ei p(xy) (121)
(2 ) p m2
4 2

Es trivial que G satisface la ecuacion de Klein-Gordon con fuente para cualquier p tal
que p2 6= m2 . El problema es que ocurre precisamente en p2 = 0. En tal caso uno debe
de dar una prescripcion para rodear los polos. Una posibilidad es la prescripcion +i , que
lleva al propagador de Feynman como acabamos de ver. Pero esta claro que uno puede
tomar otras prescripciones. Las mas relevantes son

30
 Propagador retardado:
escogiendo el contorno cerrado por arriba, solo cuando z 0 > 0 la contribucion del
semicirculo se anula. Como este propagador tiene z 0 > 0 se le conoce como propa-
gador retardado DR (x y). En teoria clasica, si uno conoce la configuracion del
campo en un instante de tiempo es este propagador el que la hace avanzar en el
tiempo.

Propagador avanzado:
escogiendo el contorno cerrado por abajo, solo cuando z 0 < 0 la contribucion del semi-
circulo se anula. Como este propagador tiene z 0 < 0 se le conoce como propagador
avanzado DA (x y). En la teoria clasica se usara cuando uno conoce la configuracion
final y pretende encontrar de donde viene esta atras en el tiempo.

Volviendo al propagador de Feynman, vemos que es tal que propaga frecuencias posi-
0
tivas es decir, el trozo con ei p~ z adelante en el tiempo debido al (z 0 ) y frecuencias
0
negativas el trozo con ei p~ z atras en el tiempo debido al (z 0 ).

4.7 Campos en interaccion

Hasta ahora hemos asumido que el sistema no contiene interacciones, es decir, hemos
cuantizado un sistema clasico con lagrangiano
1 1
L= m2 2 (122)
2 2
Esta claro que el campo no tiene por que ser libre. En general podemos considerar un
lagrangiano clasico compatible con todas las simetrias. En este caso, estamos asumiendo
un campo escalar, asi que la unica restriccion es invariancia Lorentz. Por lo tanto, el
lagrangiano mas general sera de la forma:
1 1 X
L= m2 2 n n (123)
2 2 n>2

Es evidente que la ecuacion de movimiento ya no es simplemente la ecuacion de Klein-

Gordon, sino que se convierte en
  X
2 ~ 2 2
0 + m (x) = n n n1 (124)
n>2

Esta claro que los coeficientes n controlan las no-linealidades, es decir, las interacciones
del campo (en este caso consigo mismo).
Volviendo a la accion es
Z X
1 1
S = d4 x m2 2 n n (125)
2 2 n>2

31
Asumiendo unidades en las que [~] = [c] = 1, como la accion ha de ser adimensional, si x
tiene unidades de E 1 , vemos que [] = E, de manera que

[n ] = 4 n (126)
Ya que los coeficientes n son dimensionales, en realidad no tiene mucho sentido de-
cir que controlan la intensidad de las interacciones. Es natural construir constantes de
acoplamiento adimensionales gn usando alguna escala de energia tipica E que tenga el
problema

gn = E n4 n ; [gn ] = 0 (127)
Manteniendo n fijo, esta claro que segun n el comportamiento de gn es muy diferente al
variar la escala caracteristica E. Esta escala podemos pensarla como la escala a la que
estamos observando el sistema, y por lo tanto marca el rango de energias en el que estamos
interesados. Como nuestro mundo es un mundo de baja energia, en realidad estamos
interesados en estudiar el sistema a bajas E. En otras palabras, estamos interesados en la
teoria efectiva a baja energia. Segun n cosas muy diferentes ocurren

n > 4: el exponente de E es positivo, por lo que al ir E a cero gn va a cero. Estos

terminos se llaman irrelevantes.

n = 4: en este caso gn = n y al menos naifmente no hay dependencia con E. Estos

terminos se llaman marginales.

n < 4: el exponente de E es negativo, y por lo tanto estos gn se hacen mayores y

mayores al decrecer E. Estos terminos se llaman relevantes.

Esta observacion es crucial. Al final, nuestro modelo sencillo de teoria escalar podria
representar el campo del 0 . En principio parece que uno deberia tener en cuenta las
infinitas interacciones del 0 consigo mismo, lo que parece algo imposible de analizar. Sin
embargo, dado que al final el 0 es observado en un mundo de baja energia, todas las
interacciones con n > 4 son basicamente despreciables. Por lo tanto es suficiente con
considerar
1 1
L= m2 2 3 3 4 4 (128)
2 2
De hecho, imponiendo simetria bajo , los unicos terminos relevantes son
1 1
L= m2 2 4 (129)
2 2
Este es el modelo sencillo con el que trabajaremos para hacer calculos explicitos de aqui
en adelante. Dado que un campo en interaccion se describe clasicamente por una ecuacion
mucho mas complicada que la ecuacion de Klein-Gordon, evidentemente la cuantizacion
de este sistema ya no dara algo tan sencillo como

32
 Z h i
d3 p~ i px i px
(~x, t) p a p e + a p e (130)
(2 )3 2 p~

4.7.1 Interacciones relevantes y el IR

Como vimos, las interacciones irrelevantes no cambian la fisica de bajas energias (infra-
rojo=IR), ya que en ese regimen son despreciables. Sin embargo las interacciones relevantes
son cruciales para entender el IR. Las interacciones marginales pueden, por efectos cuanti-
cos, volverse relevantes y cambiar completamente las propiedades del IR. De hecho esto es lo
que ocurre en QCD: la interaccion de QCD como el electromagnetismo es marginal en 4d.
Sin embargo, a diferencia del electromagnetismo, QCD es una interaccion marginalmente
relevante, es decir, se vuelve, por efectos cuanticos, muy fuerte en el IR. Esto es lo que
genera el confinamiento de los quarks y gluones en 0 , , protones, mesones. . . Podemos
ahora entender mejor algunos comentarios anteriores: en QCD naifmente tenemos una
interaccion marginal que se vuelve relevante, creciendo por lo tanto al bajar la energia. A
una cierta escala de energias QCD la interaccion se hace tan fuerte que quarks y gluones
ya no existen libres. Por debajo de esa energia, la teoria efectiva es una teoria para 0 ,
, protones, mesones . . . Nosotros estamos considerando el subsector de dicha teoria que
solo contiene 0 !

4.8 Calculando correladores para campos en interaccion

La definition de Z[J] nos permite a priori calcular funciones de correlacion en terminos
del path integral en general, haya o no interaccion. En principio es posible calcular direc-
tamente el path integral (sea analiticamente o numericamente, en la lattice). Sin embargo
en la practica, mas alla de simulacion numerica, es generalmente imposible calcular el fun-
cional generador de manera exacta. Por eso debemos recurrir a la teoria de perturbaciones.
En nuestro ejemplo de 4 , tenemos que12
Z R
Z
i S+ J 1 2 1 2 2 4
Z[J] = D e S= m (131)
2 2 4!

R 4
Supongamos pequegno. Expandiendo el trozo ei 4! tenemos
Z R
Z Z R
i S0 + J i
Z[J] = D e d x D (x)4 ei S+ J +
4
(132)
4!
donde
Z
1 2 1 2 2
S0 = m (133)
2 2
Ahora bien, cada insercion de (x) la podemos cambiar por una derivada con respecto
a J(x). Es decir, esta claro que
12
R
Asumamos que ei S = 1.

33
 Z Z
R
4 i S+ J 4 R
i S+ J
D (x) e = D e (134)
J(x)4
Asi pues, podemos escribir que
Z Z Z
R
i S0 + J i 4 4 R
i S+ J
Z[J] = D e d x D e + (135)
4! J(x)4
con lo que resumando la serie, al menos formalmente, podemos escribir
R 4 4
Z R

i 4! d x 4
Z[J] = e J(x) D ei S0 + J (136)

Pero la integral con la accion libre la sabemos hacer, asi que podemos escribir

R 4 R R
i d4 x 1
d4 x d4 y J(x)DF (xy) J(y)
Z[J] = e 4! J(x)4 e2 (137)
Dado este resultado, podemos, al menos en principio, calcular las amplitudes de scattering
al orden deseado.

4.8.1 4 hasta O()

En teoria de perturbaciones uno asume << 1, de manera que la exponencial de antes se
puede expandir. Supongamos que nos contentamos con precision O(). Entonces podemos
expandir la exponencial y escribir
Z
4 1
R 4 R 4
ZO() [J] (1 i d4 x ) e 2
d x d y J(x)DF (xy) J(y)
(138)
4! J(x)4
Para calcular el scattering de 2 particulas en 2 particulas necesitamos el correlador a
4 puntos, es decir, la 4 derivada de ZO() [J] con respecto a J. Del termino sin , a orden
0 el correlador es pues simplemente el correlador a 4 puntos libre, que se puede calcular
facilmente usando el resultado para la teoria libre de antes.

h i
hT (x1 ) (x2 ) (x3 ) (x4 ) i (139)
= DF (x1 x2 ) DF (x3 x4 ) + DF (x1 x3 ) DF (x2 x4 ) + DF (x1 x4 ) DF (x2 x4 )
Ahora bien, esto es el producto de dos propagadores de Feynman, mientras que LSZ pone
4 factores de (p2i m2 ). Al poner las particulas externas on shell estos dan 4 ceros mientras
que los propagadores dan solo dos polos. Por lo tanto la amplitud a orden 0 es cero.
A orden debemos calcular
Z h i
4 4
i d x hT (x1 ) (x2 ) (x3 ) (x4 ) (x) i (140)

Al tener 8 campos, esta cantidad sera proporcional a 4 propagadores, con lo que poten-
cialmente algunos terminos podran cancelar los 4 ceros en la formula de LSZ. La cuestion

34
clave es que al expandir el correlador de arriba, de los muchos terminos que saldran, solo
unos pocos son tales que se producen los polos deseados, es decir, muchos de los terminos
en el teorema de Wick no contribuyen a la amplitud de scattering porque no contienen los
polos apropiados. De hecho, los terminos que contribuyen son de la forma
Z
d4 x DF (x1 x) DF (x2 x) DF (x3 x) DF (x4 x) (141)

Al pasar a espacio de momentos es facil ver que esto produce polos que cancelan los ceros
de la formula LSZ, dejando al final simplemente i . Mas explicitamente, debemos pues
calcular

Z
4 4 1
R
d4 x
R
d4 y J(x)DF (xy) J(y)
i d4 x e 2 |J=0 (142)
4! J(x)4 J(x1 ) J(x2 ) J(x3 ) J(x4 )

La manera mas sencilla de hacer esto es expandiendo la exponencial

1
R R
d4 x d4 y J(x)DF (xy) J(y)
e2 = (143)
X Z Z Z
1
dx1 dxn dy1 dyn J(x1 ) J(xn ) J(y1 ) J(yn ) DF (x1 y1 ) DF (xn yn )
2n n!
Ya que el termino relevante es una derivada octava, esta claro que, una vez ponemos a 0 las
J el unico termino relevante de la serie es n = 4. Tomando aqui derivadas salen un monton
de terminos. Pero como sabemos, LSZ nos instruye a buscar aquellos que produzcan polos
al poner las particulas externas on shell. Dichos terminos son cosas de la forma

i DF (x1 x) DF (x2 x) DF (x3 x) DF (x4 x) (144)

Volvamos por un momento al termino de orden 0 . Si DF (x y) es pensado como la
propagacion de una particula entre x e y resulta que esto es simplemente los 3 posibles
diagramas representando las maneras de unir 3 puntos (ver fig(4)).

1: :3 1: :3 1: :3

2: :4 2: :4 2: :4

Figure 3: Las 3 posibles propagaciones. En el ultimo las lineas se cruzan sin intersecarse.

Por otra parte, en esta interpretacion diagramatica, el primer diagrama que contribuye, a
orden , se corresponde con

35
:3 1: :3 1: :3

:4 2: :4 2: :4

Figure 4: Primer diagrama contribuyendo a orden 1 . El punto gordo es la interaccion en

x.

Notese que, siguiendo con la interpretacion de que el propagador representa la propagacion

de una particula, este primer termino que contribuye al scattering se puede entender como
un diagrama en el que todos los puntos xi estan conectados a traves del punto de interaccion
x. Por otra parte, a orden 0 , ninguno de los terminos que teniamos conectaba todos los
puntos y consecuentemente obvtuvimos cero. Si siguiesemos yendo a ordenes mas altos
de nuevo veriamos que solo algunos terminos contribuyen, y de nuevo corresponderian a
diagramas en los que todos los puntos estan conectados entre si a traves de interacciones.
Es decir, de esta manera aprendemos que solo los diagramas conexos contribuyen a los
scatterings.
De hecho, el patron que emerge es que las contribuciones a la amplitud de scattering se
pueden construir orden a orden con estos dibujos que se llaman diagramas de Feynman,
donde solo diagramas conexos contribuyen. Las conexiones internas puntos gordos se
corresponden con la interaccion y se conocen como vertices. En el caso de 4 tenemos que
por cada vertice 13 hemos de poner un factor i . Estos vertices se unen con propagadores
para formar el diagrama completo. Usualmente se trabaja en espacio de momentos, donde
todo es mas sencillo. Siendo mas explicitos, en el caso que nos ocupa 4 dichas reglas
en espacio de momentos son

1. Dibujar un diagrama hecho a partir de lineas que se juntan en vertices con estricta-
mente 4 segmentos.

2. Asignar un momento pi a cada linea.

3. En cada vertice entran 4 momentos. Imponer conservacion del momento en cada

vertice y agnadir un factor

i (145)

4. Por cada linea interna agnadir un propagador de Feynman con el momento corre-
spondiente
13
Notese que en realidad hay varias combinaciones de este diagrama, que corresponden a las diferentes
maneras de poner los numeros externos etiquetando los puntos. Esta claro que hay 4! dichas maneras.

Por eso definimos la interaccion con 4! , de manera que la primera contribucion a la amplitud de scattering
vertice a secas sea simplemente i .

36
 i
DF = (146)
p2 m2 + i 
5. Por cada lazo cerrado (el nombre tecnico es loop) agnadir una integral al momento
corriendo en el loop
Z
d4 p
(147)
(2 )4

Antes de seguir, algunos comentarios sobre estas reglas

El hecho de que en (1) tengamos vertices con 4 patas se debe a que estamos con-
siderando una interaccion 4 . Para una interaccion n los vertices tendran n patas.

El que el factor del vertice sea simplemente i se debe a que hemos tomado que
Hint = 4! 4 . Sin el 4! tendriamos un factor de 24 extra.

En esta prescripcion solo contribuyen diagramas conexos. Los no conexos simple-

mente dan cero debido a los ceros en LSZ. Por ejemplo, cosas como el primer diagrama
en la figura (4) no deben ser incluidas.

En esta prescripcion, esto da directamente el elemento de matriz in h~p1 p~n |~k1 ~km iout .

Hemos basicamente olvidado las patas externas. Las patas externas son los estados
in y out. Esto nos permite entender ahora mejor la formula de LSZ: debido a los
factores de p2i m2 , solo los polos del correlador contribuyen. Es decir, debido
a los numeradores p2i m2 , la amplitud debe tambien tener polos (p2i m2 )1 al
poner on shell particulas externas. Dichos polos no son mas que las patas externas
del diagrama. Podriamos haberlas tenido en cuenta, pero en tal caso deberiamos
tambien tener en cuenta los factores de p2 m2 en la formula de LSZ para calcular
la amplitud (que evidentemente cancelan los propagadores externos)

En resumen, siguiendo estas reglas podemos calcular en principio a un orden arbitrario

en , ya que cada termino en la expansion de la formula de LSZ se corresponde con un
diagrama, para el que tenemos reglas sencillas para proceder.

4.9 La moral del asunto-parte II

El mensaje a extraer es que las cantidades centrales en Teoria Cuantica de Campos son las
funciones a n puntos. En particular, las amplitudes de scattering observables fisicos por
excelencia se escriben en terminos de correladores.
De modo practico, cada tipo de particula vendra descrito por un campo relativista. Que
tipo de campo aunque hemos trabajado por sencillez con el campo escalar real, podriamos
considerar campos vectoriales, spinoriales. . . . Una accion clasica que es un escalar de

37
Lorentz con un termino cinetico con dos derivadas describira la fisica clasica del problema.
Metiendo dicho lagrangiano en el path integral podemos cuantizar el sistema a la manera
de antes: escribimos el path integral con fuentes como funcional generador, y vemos los
terminos de interaccion como derivadas funcionales con respecto a las fuentes. De este
modo en principio podemos calcular Z exacto en terminos del caso libre. En la practica
esto nos da, igual que para el campo escalar, una manera de proceder iterativamente,
asumiendo la constante de acoplo pequegna, a calcular las funciones de correlacion. Esta
construccion se puede codificar en las reglas de Feynman. Las amplitudes de scattering
las podemos deducir de las reglas de Feynman que vienen de dicho lagrangiano ya que son
basicamente las funciones de correlacion conexas. Resumiendo de nuevo, a grosso modo

1. Por cada tipo de particula en el problema habra un campo (con las propiedades bajo
transformaciones de Lorentz adecuadas: spinor, vector, escalar. . . ). Un lagrangiano
clasico recogera la dinamica de estos campos.
2. El L sera de la forma Lf ree + Lint , donde Lf ree son los terminos cineticos (cuadraticos
en derivadas de los campos) y el resto las interacciones son Lint .
3. Cada Lf ree para cada campo conduce a un propagador de Feynman para dicho campo.
Para el campo escalar real, en espacio de momentos, tenemos una regla de Feynman
que asigna a la linea correspondiente a cada campo

i
DF = (148)
p2 m2 + i 
Aqui esto no esta on shell, es decir, tal que p2 no es necesariamente m2 .
4. Cada termino en Lint es un polinomio en los campos (e.g. 4 ) que conduce, en
las reglas de Feynman, a un vertice que une las lineas de cada tipo de campo en el
polinomio. Dicho vertice contribuye factores combinatorios a parte

i (149)

Con estas reglas podemos calcular a cualquier orden en cualquier proceso:

1. por cada particula que entra/sale dibujamos una linea externa.

2. las conectamos diagramas conexos solo, ya que los no conexos dan 0 por los ceros
de LSZ con los vertices de los que disponemos, usando tal vez mas propagadores.
Cada vertice contribuye i
3. si queremos calcular a orden n debemos escribir todos los diagramas que contengan
n vertices, calcular su valor usando las reglas de Feynman y sumarlos. Eso sera M.
4. conocido M, una vez tenidos en cuenta los espacios de fases correspondientes que
es solo dependiente de la cinematica, podemos calcular secciones eficaces.

38
4.10 Ejemplo: interacciones nucleares
En QCD mas adelante lo veremos mas explicito las excitaciones de mas baja energia (las
mas ligeras) son los piones escalares y los nucleones fermiones. Como el pion es un
escalar, introduzcamos un campo escalar con masa m . Como cada nucleon neutron
y proton es un fermion, introduzcamos dos campos de spin 1/2 ver siguiente capitulo
que llamaremos ni , tal que n1 sera el proton y n2 el neutron. Como su masa es casi casi
igual, supongamos que ambos tienen masa mn . El Lagrangiano mas general posible con
interacciones marginales es
Z
1 m2
S= 2 + ni ni mn ni ni ni 5 nj (150)
2 2
En
R realidad el prion es un pseudoescalar, por lo que el termino de interaccion deberia ser
ni 5 ni . De momento olvidemonos de esta sutileza.
Calculemos ahora el proceso ni + ni nj + nj . Como mn >> m , podemos suponer
que los nucleones estan en reposo. El diagrama relevante es

Ya que conocemos el propagador del escalar (pion) podemos calcular el diagrama, que
vale
i 1
M = (i )2 = i 2 2 (151)
p2 2
m + i  p m2 + i 
Comparando con la regla de oro de Fermi, esto debe ser esencialmente la transformada
de Fourier del potencial de interaccion entre nucleones
Z
d3 p~ ei p~(~x1 ~x2 )
V = (152)
(2 )3 p~2 + m2 i 
La integral converge sin necesidad del i . Debemos pues calcular
Z
d3 p~ ei p~~z
(153)
(2 )3 p~2 + m2
Donde ~x1 ~x2 = ~z. Para hacer esta integral escribamosla en coordenadas polares
Z i p z cos
d d dp 2 e
sin p (154)
(2 )3 p2 + m2

39
Donde usamos la notacion |~x| = x. Aqui p [0, ]. Integrando en ,

Z Z Z
dp p2 i p z cos dp p2 ei p z ei p z
d e sin = i (155)
(2 )2 p~2 + m2 (2 )2 p2 + m2 pz

La integral es
Z
i dp p
(ei p z ei p z ) (156)
z 0 (2 ) p + m2
2 2

Separemos la integral como

Z Z
i dp p ipz i dp p
2 2 2
e + ei p z (157)
z 0 (2 ) p + m z 0 (2 ) p + m2
2 2

En la segunda integral hagamos p p. Tenemos

Z Z
i dp p ipz i dp p
2 2 2
e + ei p z (158)
z 0 (2 ) p + m z 0 (2 ) p + m2
2 2

Invirtiendo los limites de integracion en la segunda integral tenemos

Z Z 0 Z
i dp p i dp p dp i p
2 2 2
ei p z 2 2 2
ei p z = 2 2 2
ei p z
z 0 (2 ) p + m z (2 ) p + m (2 )z p + m
(159)
La integral a hacer ahora tiene los polos en i m . Como z > 0, podems cerrar el contorno
por arriba, capturando en sentido contrahorario el polo en i m . Por lo tanto la integral es
(2 i) Res. Esto es
Z
i dp p ipz i 2 i e m z 1 m z
e = = e (160)
z (2 )2 p2 + m2 z (2 )2 2 4z
Por lo tanto
1 m z
V = 2
e (161)
4z
Esto se conoce como potencial de Yukawa. Media, de modo efectivo, la interaccion entre
particulas atomicas a traves de mesones. De la formula de arriba se desprende que, para
cargas iguales, el campo escalar produce una fuerza atractiva, mientras que para cargas
diferentes produce una fuerza repulsiva.

1
5 Spin 2
Hasta ahora hemos trabajado con particulas escalares. Por eso nuestros operadores crea-
cion/destruccion eran simplemente {a, a }, de manera que al combinarlos en campos lo

40
que obtenemos es un campo escalar. Sin embargo sabemos que hay particulas de spin 1/2
i.e. fermiones. De hecho, las particulas fundamentales leptones y quarks son fermiones
de spin 1/2!

5.1 Preludio historico

Es interesante conocer el desarrollo historico de las ideas. Tras el descrubrimiento de la
mecanica cuantica, una pregunta evidente era su generalizacion relativista. En mecanica
cuantica los postulados fundamentales son la asuncion de que un sistema se describe por
una funcion de onda compleja que vive en un espacio de Hilbert cuya evolucion temporal
esta descrita por una ecuacion de Schrodinger

H = i t (162)
El que aparezca solo la primera derivada temporal esta intimamente ligado con la conser-
vacion de la probabilidad en la interpretacion de Copenhage. Tomemos la particula libre
por sencillez escojamos la masa para simplificar los factores numericos a 1 y asi no liarnos
con numeros irrelevantes

~ 2 = i t (163)
Si definimos la densidad de probabilidad como = ? , resulta que, usando la eq. de
Schrodinger

 
t = t ? + t ? = i ~ 2 ? i ~ 2 ? = ~ i ?
~ i
~ ? = ~~j (164)

Donde hemos definido una corriente de probabilidad ~j. Es decir, la ecuacion de Schrodinger
asegura una ley de conservacion de la probabilidad. Como las soluciones de la ecuacion de
Schrodinger son ondas planas
2
= ei p~ ti p
~~
x
(165)
Esta claro que = 1 es decir, recuperamos la familiar particula libre completamente
localizada en espacio de momentos y deslocalizada en espacio de posiciones.
Si quisiesemos estudiar una particula relativista, en principio lo natural seria tomar el
p promoviendo {~x, p~} a operadores.
hamiltoniano para una particula relativista y cuantizarlo
Sin embargo la relacion de dispersion relativista E = p~2 + m2 , debido a la raiz cuadrada,
no se deja. La solucion obvia es tomar E 2 = p~2 + m2 , lo que llevaria a una ecuacion de
Schrodinger de la forma

t2 = (~ 2 + m2 ) (166)
Esta es la ecuacion de Klein-Gordon. Como lleva una derivada temporal segunda ahora la
ley de conservacion t = ~~j exige definir

41
 = i ? t i t ? ~j = i ? ~ i ~ ? (167)
En notacion covariante, podriamos definir un cuadrivector j = (, ~j), tal que la ecuacion
de continuidad es simplemente j = 0.
Las soluciones de la eq. de Klein-Gordon son tambien ondas planas de la forma

= ei p ti p~~x p2 = p~2 + m2 (168)

Sin embargo ahora tendriamos que

p (169)
Es decir, nada asegura que tengamos probabilidades positivas. Como esto es un desastre
enorme, Dirac, intentado encontrar una teoria con probabilidades positivas trato de buscar
un hamiltoniano compatible con la relacion de dispersion relativista a la vez que con
primeras derivadas. Propuso

~ P~ + m
HD = (170)
de manera que la dinamica de la funcion de onda venga dada de nuevo por una ecuacion
con derivada primera respecto al tiempo HD = it .
Para que este hamiltoniano sea consistente con la relatividad especial, debe ocurrir que

H 2 = P~ 2 + m2 . Eso implica que
D

{i , j } = 2 ij 2 = 1 {i , } = 0 (171)
Evidentemente esto con numeros no se puede hacer, asi que Dirac se vio obligado a asumir
que sus {i , } son matrices y que por lo tanto es un vector columna en el espacio
donde estas matrices actuan.
Supongamos por un momento que m = 0. En tal caso las relaciones de arriba se
satisfacen para i = i , siendo i las matrices de Pauli. Como estas son 2 2, el es
un vector columna con dos entradas. La ecuacion de Dirac queda entonces (escojamos la
particula moviendose solo en el eje x = x3 por sencillez)
  
i x i t 0 1
=0 (172)
0 i x i t 2
Con lo que las soluciones son de la forma
 i p (tx) 
e
= (173)
ei p (tx)
Y la densidad de probabilidad, que es = seria 1 es decir, una constante, modulo
la normalizacion que no estamos discutiendo. Esto sin embargo no tiene sentido en una
teoria relativista: si es una funcion de onda, la particula tendria una probabilidad no

42
nula de presencia en cualquier parte del espacio, en particular fuera del cono de luz. Eso
es evidentemente un sinsentido en una teoria relativista.
Ademas, actuando con it resulta que tendriamos soluciones de energia negativa y
positiva, lo que tampoco tiene ningun sentido.
Dirac decidio interpretar las soluciones de energia negativa como un hueco de energia
positiva. Es decir, asumio que el espacio estaba lleno de electrones hasta una energia E0 .
Las excitaciones de electrones sobre esa energia son las que veriamos en la experiencia.
Podemos poner ese E0 que es analogo a la energia de Fermi en materia condensada a
0. Excitando un electron del mar de electrones de E < 0 a E > 0 dejamos en el mar un
hueco, que se comportaria como estas nuevas soluciones extragnas.
Al hacer esto Dirac estaba cambiando de una mecanica cuantica a una teoria cuantica
de campos. En lenguaje moderno, la clave es que no es una funcion de onda, sino
un campo cuantico que contiene todas las posibles excitaciones con un numero arbitrario
de particulas el mar de Dirac esta ahi contenido!. Ademas, desde este punto de vista,
interpretando no como una funcion de onda, sino como un campo, la causalidad se
manifiesta como la propagacion nula de las perturbaciones del campo fuera del cono de
luz, es decir, en que el conmutador en realidad anticonmutador del campo es cero fuera
del cono de luz.
La interpretacion moderna es como dijimos antes: para un sistema relativista debemos
permitir creacion/destruccion de particulas. El formalismo adecuado es el de la teoria
cuantica de campos. Para el caso del electron lo que debemos hacer es intoducir un campo
ahora fermionico dado el spin 21 y escribir una teoria de campos para sus interacciones.

5.2 La ecuacion de Dirac

La leccion es que para el electron debemos usar un campo cuya ecuacion de movimiento
es la ecuacion de Dirac

i t = i ~ + m
~ (174)
Con

{i , j } = 2 ij 2 = 1 {i , } = 0 (175)
Multipliquemos por y definamos = (,
~ ). Entonces la ecuacion de Dirac queda

(i m) = 0 (176)
Usando las propiedades de (,
~)

{ , } = 2 (177)
Notese que se puede definir una quinta matriz de Dirac

5 = i 0 1 2 3 (178)

43
tal que anticonmuta con todas las otras matrices { , 5 } = 0.
Definiendo

= 0 (179)
es muy facil ver que

j = i ; j = 0 (180)
Una posible solucion para {~
, } es la representacion de Dirac-Pauli
   
0 ~ 1l 0

~= = (181)
~ 0 0 1l
Evidentemente esto implica que nuestro es ahora de 4 componentes. Notese que antes
era de dos componentes debido a que al tener m = 0 la matriz simplemente no esta. Asi
pues, para m = 0, la representacion minima es de dos componentes, mientras que para
m 6= 0 la representacion minima es de 4 componentes. A estos vectores se les llama
spinores.

5.2.1 Soluciones de la ecuacion de Dirac

El hamiltoniano de Dirac es
!
m ~ p~
HD = (182)
~ p~ m
Escribiendo
 
i E t uA
=e (183)
uB
con uA, B dos spinores de 2 componentes, tenemos, en espacio de momentos

~ p~ uA = (E + m) uB ~ p~ uB = (E m) uA (184)
Ya que m > 0, es ahora obvio que tenemos dos soluciones en funcion de que E sea mayor
o menor que 0:

E > 0: en tal caso E + m 6= 0 y podemos escribir, usando la primera ecuacion, que

~ p~
uB = uA (185)
E+m
Notese que si metemos esto en la segunda ecuacion
 ~ p~ 
~ p~ uA = (E m) uA (186)
E+m

44
 tenemos

i j pi pj uA = (E 2 m2 ) uA (187)
Usando las propiedades de las matrices de Pauli

p~2 uA = (E 2 m2 ) uA (188)
Y dado que la particula esta on shell satisface E 2 m2 = p~2 , de manera que la
segunda ecuacion se satisface automaticamente,
Volviendo a la solucion que obtuvimos, como uA es un spinor de dos componentes
arbitrario, podemos escoger como base entre
   
i 1 0
={ , } (189)
0 1

Asi pues, el spinor completo es

 
i i
u = ~
~
p (190)
E+m
i

E < 0: en tal caso E m 6= 0 y podemos escribir

~ p~
uA = uB (191)
Em
Al igual que antes, ahora la primera ecuacion se satisface automaticamente. Ahora
tambien uB es un spinor de dos componentes arbitrario, podemos escoger como base
de vuelta i , asi pues, el spinor completo es
!
~
(~
p)
i
ui+2 = |E|m
i
(192)

Notese que podemos pensar los spinores ui+2 como de energia positiva por eso hemos
puesto |E| y momento negativo dependen de ~p.

Notese que u1 , u2 se corresponden con E > 0 y u3 , u4 se corresponden con E < 0.

Volviendo a la notacion de Dirac, la ecuacion de Dirac en espacio de momentos es (es
tradicional definir e.g. p/ = p )

(p/ m) = 0 (193)
Para los spinores u1,2 podemos escribir

45
 (p/ m) ui = 0 i = 1, 2 (194)
En espacio de posiciones estos spinores son

u1, 2 = u1, 2 (~p) ei p~~x (195)

Sin embargo, para los spinores de energia negativa, que dependen de ~p, podemos escribir

u3, 4 = u3, 4 (~p) ei p~~x (196)

Es util definir u3 (~p) = v 2 (~p), u4 (~p) = v 1 (~p), de manera que la ecuacion de Dirac para
estos v i es (hay que mandar (E, p~) a (E, p~))

(p/ + m) v i = 0 i = 1, 2 (197)
Si tuviesemos un campo electromagnetico de fondo la diferencia entre ui , v i seria evidente:
en presencia de un A la ecuacion de Dirac para ui seria esto lo veremos mas profunda-
mente en el capitulo siguiente

/ m) ui = 0
(p/ i e A i = 1, 2 (198)
De manera que los v i satisfarian una ecuacion analoga pero cambiando e por +e, es decir,
la carga opuesta. Son las antiparticulas. Esta es la realizacion explicita de la teoria del
mar de Dirac: las soluciones de energia negativa tienen carga opuesta y por lo tanto se
comportan exactamente como la original pero con la carga al reves, esto es, como un hueco
en el mar de electrones. A esta nueva particula de carga opuesta se le llama positron. A
veces se denota como e+ por contra al electron, que seria e .
Por ultimo, los spinores ui , v i satisfacen las reglas de completitud
X X
ui (~p) ui (~p) = (p/ + m) v i (~p) v i (~p) = (p/ m) (199)
i=1, 2 i=1, 2

1
5.2.2 Spin 2

El momento angular definido de manera usual es

L = ~x p~ (200)
Usando las reglas de conmutacion usuales [xi , pj ] = i ij , es facil ver que el hamiltoniano
de Dirac satisface que

~ = i (~
[HD , L] p~) (201)
Es decir, el momento angular no se conserva!. Sin embargo, si definimos
 
~ ~ 0
= (202)
0 ~

46
resulta que

~ = 2 i (~
[HD , ] p~) (203)
Asi pues esta claro que definiendo un momento angular total como

~ 1 ~
J~ = L + (204)
2
~ = 0.
si tendremos [HD , J]
El momento angular intrinseco representado por ~ es el spin. Esta pues claro que el
~ 6= 0. Es util formar la cantidad escalar
electron tiene spin, ya que evidentemente
1~
= ~up (205)
2
donde up = |~pp~| es el vector unitario que apunta en la direccion de movimiento. A h se
llama helicidad. Da informacion sobre la proyeccion del spin a lo largo de la direccion
de movimiento. Si tomamos la base i de arriba, esta claro que 1 tiene helicidad 1/2
mientras que 2 tiene helicidad 1/2. Esto indica que el electon o mas generalmente
aquello descrito por el campo de Dirac tiene spin 1/2.

5.3 Masa cero y quiralidad

Como vimos, si la masa es 0 en realidad no necesitamos la matriz . A la vez, las rela-
ciones restantes se satisfacen facilmente tomando i = i . La ecuacion para dicho caso es
simplemente

~ p~ = E (206)
Pero en el lado izquierdo de la ecuacion lo que tenemos es proporcional la helicidad: las
soluciones de energia positiva tienen helicidad positiva mientras que las soluciones de en-
ergia negativa tienen helicidad negativa.
Con esto en mente podemos construir otra representacion de las matrices de Dirac:
   
0 0 1l i 0 i
= = (207)
1l 0 i 0
En esta representacion
 
5 1l 0
= (208)
0 1l
Asi pues

1l 5
P = (209)
2

47
es un proyector a las dos componentes superiores (para P ) o a las 2 inferiores (para P+ ).
Estas dos componentes son los spinores de dos componentes con helicidades positiva
left handed o negativa right handed minimales que podemos definir para particulas sin
masa.

1
5.4 El campo de spin 2 cuantizado
Siguiendo la estrategia general, si estamos interesados en una teoria cuantica para el elec-
tron debemos empezar por asociar un campo al electron. Vimos que para el electron de
masa m, como es un fermion, debemos usar el campo de Dirac. La ecuacion de Dirac se
sigue de la accion
Z
S = d4 x i / m (210)

Tomando la variacion de S con respecto a es directo que la ecuacion de movimiento para

es la ecuacion de Dirac.
Para construir una teoria cuantica de campos de particulas de spin 12 , procediendo
segun la hoja de ruta, debemos construir el funcional generador
Z R 4
/ +J + J
Z[J, J] = D D ei d x i +m (211)

Donde {J, J} son las fuentes, de manera que Z[J, J] es el funcional generador.
Como es una teoria libre la unica regla de Feynman es el propagador. Para calcularla
vamos a seguir un pequegno atajo. Ya que sabemos que el propagador de Feynman es la
funcion de Green con la prescripcion +i  para rodear los polos, podemos tomar la ecuacion
de Dirac y ponerle una fuente tipo en el espacio de spinores

(i / + m) G = i (212)
En espacio de momentos esto es
i
(p/ m) G = i ; G= (213)
p/ m
Recuperando la prescripcion del i 
i
DF = (214)
p/ m + i 
Muchas veces es util multiplicar y dividir por p/ + m. En el denominador, usando las
propiedades de las s

(p/ m) (p/ + m) = p2 m2 (215)

De manera que podemos escribir

48
 i (p/ + m)
DF = (216)
p2 m2 + i 
Notese que la estructura analitica del propagador la presencia de polos es igual a la
del caso escalar. De hecho refleja el hecho basado en la asuncion tan general como es la
causalidad de que el termino cinetico tiene dos derivadas.

5.4.1 Cuantizacion canonica

Aunque no lo vamos a hacer en detalle, si fuesemos a estudiar la cuantizacion canonica
de un sistema de fermiones procederiamos como en el caso bosonico: introduciriamos un
espacio de Fock y unos operadores creacion/destruccion actuando sobre los estados de
dicho espacio. Llamemos a esos operadores {b, b }. La clave es que, dado que la particula
a crear es spinorial, en lugar de imponer unas relaciones de conmutacion [am , an ] = m, n ,
hay que imponer relaciones de anticonmutacion tipo

{bm , bn } = m,n (217)

R
que hacen que el anticonmutador del campo bp u(p) ei p x + c.c

{(t, ~x), (t0 , ~y )} (218)

se anulen fuera del cono de luz. Es decir, la condicion de causalidad fuerza para la partic-
ula de spin 1/2 a usar anticonmutadores. Notese que los anticonmutadores hacen que el
cuadrado del operador creacion sea 0: no podemos poner mas de una particula en
cada estado. Esto no es mas que el principio de exclusion de Pauli, que viene forzado
por la causalidad. Esta relacion entre spin y estadistica a traves de la causalidad en teoria
cuantica de campos se conoce como teorema de spin estadistica.

6 Interacciones electromagneticas: QED

QED es la teoria que describe las interacciones electromagneticas. Todas las particulas car-
gadas sienten esta fuerza. Como es una fuerza de largo alcance es junto con la gravedad
la relevante a las escalas de nuestra experiencia cotidiana. Empecemos pues por estas
familiares interacciones electromagneticas. Siguiendo nuestra estrategia general, para es-
cribir una teoria para las interacciones electromagneticas entre materia particulas de spin
1/2 cargada neesitaremos, para empezar, un campo asociado a cada tipo de particula
con carga electromagnetica. Consideremos por sencillez uno de ellos, por ejemplo nuestro
familiar electron. Como describimos, siguiendo la estrategia general, si estamos interesados
en una teoria cuantica para el electron debemos empezar por asociar un campo al electron.
Vimos que para el electron de masa m, como es un fermion, debemos usar el campo de
Dirac. La ecuacion de Dirac se sigue de la accion

49
 Z
S= d4 x i / m (219)

Tomando la variacion de S con respecto a es directo que la ecuacion de movimiento para

es la ecuacion de Dirac.
Esta accion es invariante bajo

ei (220)
donde es un numero transformacion global, ya que el campo transforma igual en todos
los puntos del espacio!!!. La corriente conservada es

j = i (221)
Notese que j 0 = es la densidad de probabilidad que vimos antes.
Como al final esta es la corriente asociada a la carga electrica del electron, es razonable,
si queremos tener en cuenta la interaccion electromagnetica,
R acoplarla al campo electro-

magnetico agnadiendo un termino en la accion e A j , es decir, considerando
Z
S = d4 x i ( + i e A ) m (222)

donde e es la carga del electron tomemosla en valor absoluto. El signo sera el signo global
del termino de interaccion.

6.1 Invariancia gauge

Todo el mundo sabe que el campo electromagnetico se obtiene a partir del potencial vector
A . Construyendo el tensor de campo

F = A A (223)
tenemos que los campos electrico y magnetico son
1
Ei = F0i Bi = ijk F jk (224)
2
Ahora bien, a la vista de F , esta claro que los mismos {E, ~ B}
~ se obtienen si hacemos

A A + (225)
donde es una funcion arbitraria. Esta transfromacion se conoce como transformacion
gauge.
Esta transformacion tiene un curioso efecto sobre el lagrangiano de Dirac: si hacemos
una transformacion gauge tenemos que
Z
S d4 x i ( + i e A + i e ) + m (226)

50
Ahora bien, si ahora hacemos una rotacion local en la fase de tal que ei ; y
asumimos que en lugar de ser un numero real es una funcion real = e , resulta que
el termino con desaparece por completo: la accion es invariante gauge. Como la
transformacion gauge en el campo de materia es una rotacion de fase, i.e. el grupo U (1),
la invariancia gauge es bajo el grupo U (1).
De hecho, podemos construir

D = + i e A (227)
que es un operador diferencial que actua sobre un campo . La clave es que bajo trans-
formacion gauge

ei e A A (228)
resulta que

D ei D (229)
es decir, D se transforma bajo rotacion gauge como . Por eso al objeto D se le llama
derivada covariante, ya que D es covariante bajo la transformacion U (1).
El principio de invariancia gauge es absolutamente central en fisica. Ya que debemos
preservar la invariancia gauge, podemos seguir ese principio para escribir el termino cinetico
para el A . Como ha de ser un escalar con dos derivadas, la expresion mas general es
Z
S[A] = 1 A A + 2 A A (230)

con 1, 2 dos numeros a ajustar para que S[A] sea invariante gauge. Bajo una transforma-
cion gauge infinitesimal

Z
S[A] = 1 A + 1 + 2 A + 2 A (231)

asi
R que si 2 = 1 el S[A] es invariante gauge. Pero en tal caso resulta que S[A]
F F . Esto era de esperar, ya que F era invariante. 14
Asi pues, el lagrangiano describiendo de manera invariante gauge la interaccion entre
electrones y fotones es
Z
1
S = d4 x F F + i ( + i e A ) + m (232)
4
La teoria cuantica se obtiene siguiendo la hoja de ruta usual, es decir, considerando el
funcional generador que contiene toda la informacion de la teoria
14
En realidad es covariante gauge, si bien al estar en la representacion adjunta, que es trivial para U (1),
aparece como invariante. Esto sera importante para teorias no abelianas.

51
 Z R
d4 x 41 F F +i ( +i e A )+m +J + J+J A
Z= DA D D ei (233)

Esto esta sin embargo mal definido, ya que debido a la invariancia gauge todos los A
conectados por A A + son equivalentes. Asi pues la integracion funcional sobre
A cuenta de mas muchas configuraciones. Hay que eliminar esas redundancias, lo que
se puede hacer de manera precisa aunque aqui no vamos a entrar en ello en detalle.

6.2 Reglas de Feynman

Siguiendo nuestra hoja de ruta, vamos a asumir que la constante de acoplo en este caso
la carga del electron es pequegna, de manera que podemos hacer teoria de perturba-
ciones. Para ello necesitamos conocer las reglas de Feynman. Ya sabemos el propagador
del fermion:

i (p/ + m)
De = (234)
p2 m2 + i 
El propagador del campo gauge cuyo cuanto es el foton se podria calcular de manera
analoga. Sin embargo, como dijimos antes, debido a la invariancia gauge el calculo es
un poco mas sutil. Contentemonos con el resultado en un gauge particular gauge de
Feynman, cuando
i
D = (235)
p2 + i 
Por ultimo el vertice de interaccion, que se puede leer directamente del lagrangiano

A da una regla para el vertice de 2 fermiones y un foton

V = i e (236)
Resumiendo

52
 La teoria cuantica se obtiene siguiendo la hoja de ruta usual, es decir, considerando el
funcional generador
La teoria que se
cuantica contiene
obtienetoda la informacion
siguiendo la hoja de de la teoria
ruta usual, es decir, considerando el
funcional Zgenerador que contiene
R 4 1
toda la informacion de la teoria
(@ +i e A ) +m +J + J+J A
Z = DAZ D D ei d x 4 FR F +i (232)
4x 1 F +i (@ +i e A ) +m +J + J+J A
Z = DA D D e i d 4 F
(232)
Esto esta sin embargo mal definido, ya que debido a la invariancia gauge todos los A
conectadosEsto A !
poresta sin Aembargo
+ @ ' mal
son definido,
equivalentes.ya que Asidebido
pues laa integracion
la invariancia funcional sobrelos A
gauge todos
La teoria cuantica se obtiene siguiendo la hoja de ruta usual, es decir, considerando el
A cuenta de mas
conectados pormuchas
A ! Aconfiguraciones. Hay que eliminar
+ @ ' son equivalentes. Asi pues esas redundancias,
la integracion lo que sobre
funcional
funcional generador que contiene toda la informacion de la teoria
se puede hacer de manera precisa aunque aqui no vamos a entrar en ello
A cuenta de mas muchas configuraciones. Hay que eliminar esas redundancias, lo que en detalle.
Z
se puede hacer de manera precisa aunque R 4 aqui
1 no vamos
(@a +i
entrar en ello en detalle.
e A ) +m +J + J+J A
Z = DA D D ei d x 4 F F +i (232)
6.2 Reglas de Feynman
6.2 Reglas desin
Esto esta
Ya sabemos el propagador
Feynman
delembargo
fermion:mal definido, ya que debido a la invariancia gauge todos los A
conectados por A ! A + @ ' son equivalentes. Asi pues la integracion funcional sobre
Ya sabemos el propagador del fermion:
A cuenta de mas muchas configuraciones. Hay que eliminar esas redundancias, lo que
$
se puede hacer de manera De =
i (p/ + m)
precisa
p2e m
D = 2
aunque
2 i+ (p/i +
m) aqui no vamos a entrar en ello (233)
en detalle.
(233)
p m 2 + i
El propagador del campo gauge cuyo cuanto es el foton se podria calcular de manera
analoga. El 6.2 Reglas
Sinpropagador
embargo, como
del de
campo Feynman
dijimos antes,
gauge cuyo debido
cuantoa es laelinvariancia gauge el
foton se podria calculo
calcular dees
manera
un poco mas sutil.
analoga. Contentemonos
Sin embargo, con el resultado
como dijimos antes, debido en un gauge
a la particular
invariancia gauge
gauge de
el calculo es
Ya sabemos el propagador del fermion:
Feynman, cuando
un poco mas sutil. Contentemonos con el resultado en un gauge particular gauge de
Feynman, cuando e i (p/ + m)
i D = 2 (233)
D = 2 p m2 + i (234)
$
El propagador del campo gauge
p + i
D =
Por ultimo el vertice de interaccion, que se puede
cuyo
i
p2 +cuantoileer es el foton se podria calcular(234)
directamente del lagrangiano
de manera
A daPor analoga. Sin embargo, como dijimos antes, debido a la invariancia gauge el calculo es
unaultimo
regla para el vertice
el vertice de 2 fermiones
de interaccion, que yseunpuede foton leer directamente del lagrangiano
Aun poco mas sutil. Contentemonos con el resultado en un gauge particular gauge de
da una regla para el vertice de 2 fermiones y un foton
Feynman, cuando
V = ie (235)
V = i e i (235)
6.2.1 Patas externas D = 2 (234)
p + i
6.2.1 Patas externas
Por para
ultimocalcular
el vertice de interaccion, que se nos puede
Como vimos antes, amplitudes de scattering valeleer
condirectamente del lagrangiano
considerar dia-
gramasComo AEntonces,
conexos.
vimos da unapara
antes, regla para el amplitudes
si adoptamos
calcular vertice de 2de
la prescripcion fermiones de noy un
scattering nosfoton
poner los con
vale propagadores
considerar dia-
externos ya tendremos
gramas conexos. enEntonces,
cuenta lossi factores de LSZ.
adoptamos Para el campo
la prescripcion escalar,
de no ponercomo vimos,
los propagadores
eso eraexternos
todo. Sin
polarizacion
eso erapara
todo.
embargo, sientenemos
ya tendremos
un Sin
foton debemos
embargo,
campos
cuenta los
si tenemos
$
factores
indicar su
Vespacio
conde =
estadocon
campos

LSZ.i ePara
interno por ejemplo
el campo
de polarizacion.
espacio internoAsipor
comoovimos, (235)
escalar, spin,
puesejemplo spin, o
6.2.1 para
polarizacion Patas externas
un foton debemos indicar su estado de polarizacion. Asi pues
Fermion in/out: u/ u
Como vimos antes,
Fermion in/out: u/ u para calcular amplitudes de scattering nos vale con considerar dia-
Antifermion
gramas conexos.
in/out: v/ v Entonces, si adoptamos la prescripcion de no poner los propagadores
externos ya in/out:
Antifermion tendremos
?
v/ ven cuenta los factores de LSZ. Para el campo escalar, como vimos,
Foton in/out:
eso era todo.
/ Sin embargo, si tenemos campos con espacio interno por ejemplo spin, o
?
Foton in/out: para
polarizacion / un
foton debemos indicar su estado de polarizacion. Asi pues
6.2.1 Patas externas
Fermion in/out: u/ u
Como vimos antes, para calcular amplitudes dev/scattering
Antifermion in/out: v 49 nos vale con considerar dia-
gramas conexos. Entonces, si adoptamos la prescripcion
?
Foton in/out: /
49 de no poner los propagadores
externos ya tendremos en cuenta los factores de LSZ. Para el campo escalar, como vimos,
eso era todo. Sin embargo, si tenemos campos con espacio interno por ejemplo spin, o
polarizacion para un foton debemos indicar su estado de polarizacion.
49
Asi pues

Fermion in/out: u/ u

Antifermion in/out: v/ v

Foton in/out:  / ?

Los {u, v} son nuestros viejos conocidos spinoriales. Recordemos que sus relaciones de
completitud son
X X
ui (~p) ui (~p) = (p/ + m) v i (~p) v i (~p) = (p/ m) (237)
i=1, 2 i=1, 2

Por otra parte  representa la polarizacion del foton. Fijando completamente el gauge,
si el foton tiene momento q, el  satisface

0 = 0 ~q  = 0 (238)
Suponiendo el foton moviendose en x3 , podemos resolver estos constraints como

53


1 0
~1 = 0 ~2 = 2 (239)
0 0
Es util formar las combinaciones circularmente polarizadas L, R como
1 1
~L = (~1 + i~2 ) ~R = (~1 i~2 ) (240)
2 2
Estos tambien satisface una relacion de completitud
X qi qj
( )?i ( )j = ij 2 (241)
=R, L
~q

Resumiendo, para las patas externas fermionicas

u u v v

6.2.2 El vertice de QED y el momento magnetico

Si nos fijamos en el vertice de QED, por ejemplo para un electron entrando y saliendo
tenemos que este contribuye a cada diagrama como

uout uin (242)

Esto se puede escribir como (descomposicion de Gordon)
1 h i
uout uin = uin (pin + pout ) + i (pout pin ) uout (243)
2m
donde
i
=
[ , ] (244)
2
Notemos que, en por ejemplo la representacion de Dirac-Pauli
 
0i i i 0
= (245)
2 0 i
En esta representacion
 
5 1l 0
= (246)
0 1l

54
Asi que podemos escribir que 0i 5 = S i , esto es, el termino con representa una
interaccion asociada al spin 1/2. Debe ser por lo tanto mediada por el campo magnetico.
Por lo tanto, para un electron la interaccion es debida tanto a su carga como a su momento
magnetico que es debido a su spin.
Evidentemente este vertice esta corregido por diagramas de orden superior. Dichas
correcciones cambian ligeramente la razon entre el acoplo electrico y el magnetico. La
magnitud de dicha correccion es muy sensible a nueva fisica en particular para el muon:
es el famoso g 2, que es la desviacion del valor, en cierta normalizacion 2, de ese momento
magnetico con respecto a QED.

6.3 QED en el SM
En nuestra discusion sobre QED hemos supuesto por sencillez que solo hay un tipo de par-
ticula cargada bajo el campo electromagnetico: el electron. En realidad hay mas particulas
fundamentales con carga electromagnetica: tanto los quarks como los leptones salvo los
neutrinos tienen carga electrica. Asi pues, podramos haber escrito todos esos campos
como un vector i = (electron, muon, . . . ) y escribir un lagrangiano general.15 Hasta
ahora nos hemos centrado en el trozo que solo contiene al electron. Sin embargo, ademas
de este, en realidad el foton se acopla a todas las demas particulas. Es particularmente
util un tipo de proceso en el que un electron y un positron se aniquilan en un foton que
produce despues un par de otro tipo de particula, por ejemplo un muon.

6.3.1 e+ e +
El proceso e+ e + es de gran importancia: es un proceso clave en QED basico
en un colisionador de leptones como era LEP. Ademas sirve como modelo simplificado
para procesos de QCD e+ e q q. Es por eso por lo que es muy interesante calcularlo
explicitamente.
El diagrama relevante es (5).
Usando las reglas de Feynman, este vale
0 i r 0
v s (p0 )(i e ) us (p) 2
u (k)(i e ) v r (k 0 ) (247)
q
donde estamos exhibiendo explicitamente los indices de spin {s, s0 , r, r0 } de los fermiones.
Por lo tanto llamemos M al diagrama, ya que controla el elemento de matriz que
queremos calcular

e 2 s0 0 s 0
M = i 2
v (p ) u (p) ur (k) v r (k 0 ) (248)
q
En realidad necesitamos |M|2 . Para ello necesitamos calcular en general (v u)? . Usando
las propiedades de las matrices y los spinores, resulta que
15
En realidad esto no tendria sentido, ya que las otras fuerzas de la naturaleza si distinguen esos otros
tipos de particulas. Por eso no vamos ni siquiera a escribir dicha teoria para i .

55
 Figure 5: Diagrama relevante para e+ e +

(v u)? = u v (249)
Por lo tanto

e4  s0 0 s
2 r r0 0

s s0 0 r0 0 r

|M| = 4 v (p ) u (p) u (k) v (k ) u (p) v (p ) v (k ) u (k) (250)
q
Esto lo podemos reordenar como

e 4  s0 0 s s0 0

r0 0 r0

|M|2 = v (p ) u (p) us
(p) v (p ) ur
(k) v (k )v (k 0
) ur
(k) (251)
q4
Como muchas veces en el experimento no hay control sobre la polarizacion vamos a tomar
el promedio en spin. Para eso hay que sumar a {s, s0 , r, r0 } y dividir entre los 4 posibles
estados. Es decir

1 e4 X  0 0
 0 0

|Mup |2 = v s (p0 ) us (p) us (p) v s (p0 ) ur (k) v r (k 0 )v r (k 0 ) ur (k)
4 q4 s, s0 , r, r0
(252)
Debido a las sumas sobre spines, podemos usar las relaciones de completitud. Trozo a
trozo

56
 X 0 0
X 0 0
v s (p0 ) us (p) us (p) v s (p0 ) = vs (p0 ) us (p) us (p)

vs (p0 ) (253)
s, s0 s, s0

Donde hemos sacado explicitamente los indices spinoriales indices griegos. Reordenando
X X 0 0


us (p) us (p) vs (p0 ) vs (p0 )
(254)
s s0

Usando las relaciones de completitud (para los spinores del electron, por eso debemos usar
la masa del electron me )
 

(p/ + me ) (p/0 me )
= Tr (p/0 me ) (p/ + me ) (255)
Haciendo lo mismo para el otro trozo donde ahora aparecera la masa del muon m

X 0 0
X 0 0
ur (k) v r (k 0 )v r (k 0 ) ur (k) = ur (k) ( ) vr (k 0 )vr (k 0 ) ( ) ur (k) (256)
r, r0 r, r0
X X 0 0

= ur (k) ur (k) vr (k 0 )vr (k 0 ) ( ) ( )
r r0

Usando las relaciones de completitud

X X 0 0

ur (k) ur (k) vr (k 0 )vr (k 0 ) ( ) ( ) = (k/ + m ) (k/0 m ) ( ) ((257)
)
r r0
 
= Tr (k/ + m ) (k/0 m )

Asi que todo junto

e4    
|Mup |2 = Tr (p/0
me )
( p
/ + me ) Tr ( /
k + m ) (k/0
m )
(258)
4 q4
Necesitamos calcular cada traza. En general tenemos que calcular

   
Tr (P/ m) (L
/ + m) = Tr P/ L
/ + m P/ m L
/ m2 (259)

Usando las identidades para trazas de matrices esto es

       
Tr P/ L
/ m2 Tr = P L Tr m2 Tr (260)

Que es

57
    
4 P L + 4 m2 = 4 P L + P L P L m2
(261)
Asi pues
   
Tr (p/0 me ) (p/ + me ) = 4 p0 p + p0 p p0 p m2e (262)
y

   
Tr (k/ + m ) (k/0 m ) = 4 k0 k + k0 k k 0 k m2 (263)

Como me << m , hagamos la simplificacion de me = 0. Entonces el producto de los dos

trozos de arriba es

    
16 p0 p +p0 p p0 p k0 k +k0 k k 0 k m2 = 32 (p0 k 0 ) (p k)+(p0 k) (p k 0 )+m2 p0 p
(264)
Asi que todo junto

8 e4  0 0 
|Mup |2 = (p k ) (p k) + (p 0
k) (p k 0
) + m2 0
p p (265)
q4
Particularicemos ahora estas formulas para el sistema centro de masas, donde el 3-momento
inicial total es 0. Como los electrones son de masa 0 sus 4-momentos son p = (E, 0, 0, E)
y p = (E, 0, 0, E). Analogamente, para los muones salientes k = (E, ~k) y k 0 = (E, ~k),
como en la figura (6). Llamaremos al angulo entre ~k y el eje x3 en donde apuntan los
momentos iniciales de los electrones, es decir ~k ~x3 = |~k| cos .
Entonces

p0 k 0 = p0 k 0 = E 2 E |~k| cos p0 k = p k 0 = E 2 +E |~k| cos p0 p = 2 E 2 q 2 = (p+p0 )2 = 4 E 2

(266)
Asi que

m2  
h m2  2 i
2 4
|Mup | = e 1 + 2 + 1 2 cos (267)
E E
Para calcular la seccion eficaz necesitamos multiplicar por el elemento de volumen en el
espacio de fases. En este caso, en el sistema centro de masas con dos particulas de igual
masa en el estado final esta dado por (se puede ver la derivacion en la bibliografia. Aqui
copiemos el resultado final solamente)

|~k|
(268)
32 2 Ecm
3

58
 Figure 6: Cinematica en centro de masas para e+ e +

Usando esto tenemos que la seccion eficaz diferencial es el elemento de volumen en el

espacio de fases de arriba multiplicado por la amplitud que calculamos, es decir
p
d e4 E 2 m2 h m2   m2  2 i
= 1 + + 1 cos (269)
d 32 2 Ecm
3 E2 E2
Donde hemos usado que como las particulas externas son fisicas E 2 = ~k 2 + m2 . Ademas,
dado que Ecm = 2 E, podemos escribir
r
d e4 m2 h m2   m2  2 i
= 1 1 + + 1 cos (270)
d 256 2 E 2 E2 E2 E2
La cantidad e2 /4 se define como la constante de estructura fina. Es una redefinicion
de la carga del electron al final en lo que estamos haciendo teoria de perturbaciones que
es util porque quita 4 del medio. En terminos de ella
r
d 2 m2 h m2   m2  2 i
= 1 2 1 + 2 + 1 2 cos (271)
d 16 E 2 E E E
Podemos integrar las coordenadas angulares para tener la seccion eficaz global. Como d
es el elemento de volumen en la 2-esfera

r Z Z
2 m2 2 h m2   m2  2 i
= 1 2 d sin d 1+ + 1 cos (272)
16 E 2 E 0 0 E2 E2

59
 s

Figure 7: Seccion eficaz e+ e + .

Integrando
r
2 m2  m2 
= 1 1 + (273)
3 E2 E2 E2
Si dibujamos esto tenemos (7)
La linea punteada vertical representa el corte cinematico: necesitamos una energia de
al menos m para poder producir los muones. Esta grafica se superpone perfecta a los
resultados experimentales.

6.3.2 Crossing y e e
Supongamos que queremos calcular ahora un proceso muy parecido: e e . El
diagrama relevante es (8)
Esto vale

i e2
M = u(p0 ) (i e ) u(p) (u(k) (i e
) u(k 0
) = u(p0 ) ) u(p) u(k) ) u(k 0 )
q2 q2
(274)
Notese que este resultado se puede obtener a partir del anterior si cambiamos el muon en
el estado inicial por un antimuon en el estado final y viceversa para el electron en estado
final. Esto es una manifestacion de la simetria de cruce.
La amplitud es

e4
|M|2 = (u(p0 ) ) u(p)) (u(p) ) u(p0 )) (u(k) ) u(k 0 )) ((u(k 0 ) ) u(k)) (275)
q4
Esto lo podemos escribir en forma mas concisa: introduciendo dos tensores asociados a los
vertices del electron y del muon que no son mas que las corrientes al cuadrado

L 0 0
electron = (u(p ) u(p)) (u(p) u(p )) L 0 0
muon = (u(k) u(k )) ((u(k ) u(k)) (276)

60
 Figure 8: Diagrama relevante para e e

La amplitud es simplemente

e4
|M|2 = [Le ] [L ] (277)
q4
Fijemonos en el tensor electronico. Promediando a spines

1 X X 1
L
electron = u (p0 ) u (p0 )
u (p) u (p)

= (p/ + m) (p/ + m)

4 s s0
4
(278)
Esto es (suprimimos la barra ya que siempre vamos a considerar cantidades promediadas
a spin)
1  0 
L
electron = Tr (p/ + m) (p/ + m) (279)
4
Asi que

L 0 0 0 2
electron = (p ) p + (p ) p (p p + m )

(280)
Notese que el momento del foton es q = p + p0 . Como

p L 0 2 0 0 2
electron = p p p +p p (p p+m ) p

p0 L 02 0 0 0 2
electron = p p +(p p )(p ) (p p+m ) p
0

(281)

61
Como p2 = (p0 )2 = m2

p L 2 0
electron = m (p p ) p0 L 2 0
electron = m (p p ) (282)
As pues

q L
electron = 0 (283)
Como ademas el tensor es simetrico, esta claro que contraer con p, p0 por cualquier lado
da 0. Como en espacio de momentos p , esto simplemente refleja la conservacion de
la corriente del electron.

6.4 El limite de masa 0 y quiralidad

Reconsideremos la teoria cuantica de campos para fermiones libres. El lagrangiano es
Z
S = d4 x i ( + m) (284)

Recordemos que la corriente conservada asociada a rotaciones U (1) globales es agnadamosle

un subindice V cuyo significado quedara claro en breve

jV = (285)
En la representacion de Weyl
     
0 0 1l i 0 i 5 1l 0
= = = (286)
1l 0 i 0 0 1l
Ya que para las tenemos una misma estructura de bloques, podemos construir

= ( 1,
l ~ ) = ( 1,
l ~ ) (287)
Ademas, ya que en esta representacion las quiralidades estan claramente separadas, pode-
mos escribir
 
L
= (288)
R
con L, R dos spinores de Weyl i.e. de dos componentes quirales. El lagrangiano es
Z
S = d4 x i R R + i L L + m L R + m R L (289)

El unico termino que mezcla las quiralidades left y right es el termino de masa. Ademas,
la corriente conservada es

jV = L L + R R (290)

62
 Supongamos que el fermion tuviese m = 0. En tal caso
Z
S = d4 x i R R + i L L (291)

En este caso las componentes left y right son independientes, y de hecho podriamos en
principio considerar simplemente la componente e.g. left por separado. Ya que left y
right son independientes, tenemos dos corrientes conservadas asociadas a las rotaciones
L, R ei L, R L, R independientes:

jL = L L jR = R R (292)
Cambiando a la base suma/diferencia

jV = jL + jR = L L + R R (293)
jA = jL jR = L L R R (294)

Donde reconocemos nuestra querida corriente jV que es la unica conservada si tenemos

m = 0. Sin embargo, en el caso de m = 0, la corriente jA tambien se conserva. Volviendo
a spinores de Dirac

jV = jA = 5 (295)
5
que se corresponden respectivamente a rotaciones eiV y eiA . Mientras
que jV es una corriente vectorial, que se corresponde con rotaciones iguales para las dos
quiralidades, jA es una corriente axial es un pseudovector debido al 5 que se corresponde
a rotaciones opuestas para cada quiralidad. En el caso de m = 0 solo las rotaciones
vectoriales son simetria, pero en el caso de masa 0 ambas lo son.
Notese que, para un fermion de Dirac de masa 0, podriamos acoplar cualquiera de las dos
jA, V al campo electromagnetico. Sin embargo, en realidad las rotaciones axiales no son una
simetria de verdad, ya que los efectos cuanticos la rompen es una simetria anomala
. Es por eso por lo que QED acopla la corriente vectorial al campo electromagnetico.
Mas generalmente, las teorias quirales llevan a simetrias con quiralidad definida que son
potencialmente anomalas. Sin embargo, el SM la naturaleza es una teoria quiral. De
hecho la cancelacion de dichas anomalias es un exito espectacular del SM. Mas adelante
hablaremos de esto en un poco mas de detalle.
Un corolario es que el termino de masa, al mezclar las dos quiralidades, es incompat-
ible con la simetria quiral. Esta observacion sera crucial mas adelante.

6.4.1 Conservacion de helicidad a altas energias

Un corolario de la discusion anterior es que a altas energias, cuando E >> m, la masa
de las particulas es despreciable. En tal caso el unico termino en QED que mezcla las
dos quiralidades la masa es despreciable, con lo que la teoria se vuelve de modo efectivo

63
quiral. Es por ello por lo que mas alla de las anomalias antes mencionadas, que son efectos
no perturbativos y por lo tanto muy pequegnos en QED perturbativa a altas energias la
quiralidad se conserva.

7 La interaccion fuerte: QCD

Las interacciones electromagneticas son sensibles a la carga electrica. Como el foton es una
particula sin masa, el alcance de la interaccion electromagnetica es infinito, lo que explica
que sea la interaccion dominante en nuestro mundo de baja energia. Por ser la interaccion
mas accesible la podemos usar para iluminar otras particulas, ver su posible estructura
interna y estudiar otras fuerzas.

7.1 Fotografiando protones: la estructura de los hadrones

Queremos iluminar con luz fotones particulas para ver su estructura interna. Supong-
amos que mandamos un foton emitido por ejemplo por un electron a una particula.
Supongamos la luz no muy energetica (es decir, su q 2 es pequegno), y la particula sufi-
cientemente pesada como para asumir que casi no sufre retroceso. Ya que no rompemos la
particula que estamos estudiando, el scattering es elastico.
En general, el acoplo de la luz a dicha particula sera a traves de un vertice efectivo

i e F (q) 0 (296)
Donde F (q) codifica toda la posible estructura interna. El que solo aparezca 0 es debido
a que asumimos que el retroceso es nulo, esto es, que la particula que estamos iluminando
esta en reposo.
El diagrama relevante es (9).

Figure 9: Diagrama relevante para estudiar factores de forma.

Dicho diagrama vale

i 0 e2
M = u(kf ) (i e ) u(ki ) (i e F (q)) = i F (q) u(kf ) 0 u(ki ) (297)
q2 q2

64
Promediando sobre spines para los electrones (ahora es solo un 1/2 porque hay solo dos
spines)

e4 X X 0 
2 2 s s s s0 0 0
|Mup | = 4
|F | u (kf ) u (kf ) u (ki ) u (298)
2q s s0

Usando las relaciones de completidud y las identidades de las trazas de las

e4 |F |2 
2 0 0
 2 e4 F 2 
2

|Mup | = Tr (k/f + m) (k/i + m) = 2 (kf )0 (ki )0 kf ki + m (299)
2 q4 q4

Dado que la particula iluminada no retrocede, podemos escribir (ki )0 = (kf )0 = E y

|~ki | = |~kf | = k, asi como ~ki ~kf = k 2 cos , de manera que esto lleva a

4 e4 |F |2 2  k2 2

|Mup |2 = E 1 sin (300)
q4 E2 2
Ademas

q 2 = (kf ki )2 = kf2 +ki2 2 kf ki = 2 m2 2 E 2 +2 k 2 cos = 2 k 2 (1cos ) = 4 k 2 sin2
2
(301)
asi que

e4 |F |2  k2 
|Mup |2 = E 2 1 2 sin2 (302)
4 k 4 sin4
2
E 2
En este caso, en el que bombardeamos una particula que no sufre retroceso, el volumen
del espacio de fases es simplemente (16 2 ) es razonable que no tenga dependencia en
momento y energia: al final es como si la particula es tan pesada que pudiese absorver una
cantidad arbitraria de energia/momento sin inmutarse. Asi pues

d 2 E 2  k2 
2
= 1 sin |F (q)|2 (303)
d 4 k 4 sin4
2
E2 2
A la seccion eficaz con F = Z se le llama seccion eficaz de Mott, y es la que obtendriamos
para una particula puntual con carga Z e. Vemos pues que la funcion F (q) codifica la
estructura interna de la particula. Claro, si nos fijamos en el vertice, esta claro que F (q) es
la transformada de Fourier de la densidad de carga en la particula. Para una particula sin
spin (~x) = Z (~x), con lo que F = Z. Asi pues, si medimos la seccion eficaz iluminando
una particula con luz poco energetica y lo dividimos por la seccion eficaz de Mott lo que
obtendremos es informacion sobre la estructura interna de la particula. A la funcion F (q)
se le llama factor de forma.
Nos gustaria usar este metodo para fotografiar hadrones en particular protones. El
problema es que en realidad el proton si retrocedera un poco en la colision un nucleo

65
pesado si es suficientemente masivo como para ignorar el retroceso, pero no asi un proton,
a no ser que estudiemos energias excesivamente bajas. Ademas, el vertice efectivo usado
arriba es un poco demasiado simplificado. Si el proton fuese una particula puntual, teniendo
en cuenta el posible retroceso, contribuiria al scattering con uproton uproton . Podriamos
entonces copiar nuestro resultado para el scattering e e . Recordemos que
esta corriente, asumiendo el proton una particula puntual con spin 1/2 como el muon,
uproton uproton se puede escribir, usando la descomposicion de Gordon, como
1 h i
uout uin = uin (pin + pout ) + i (pout pin ) uout (304)
2M
donde M es la masa del proton.
Es decir, la interaccion es debido a la carga electrica asi como al spin momento
magnetico. Los factores particulares son debidos a que estamos asumiendo una par-
ticula puntual de spin 1/2. Sin embargo, si la particula tuviese estructura, dichos factores
cambiarian. Es por ello que para el proton podemos asumir una forma para la corriente
h i

jproton = uprotonout F1 (q 2 ) + F2 (q 2 ) i q uprotonin (305)
2M
Donde F1, 2 precisamente codifican esa estructura interna del proton. El factor es el
momento magnetico anomalo. Si tuviesemos una particula realmente puntual tendriamos
que F2 = 0 y F1 = 1, recuperando nuestra vieja corriente conocida.
Notese que la forma de la corriente, parametrizada con F1, 2 , es la mas general posible

compatible con su conservacion es decir, jproton = 0.
Se suele definir

q2 q2
GE = F1 + F 2 GM = F 1 + F2 = (306)
4 M2 4 M2
De manera que la seccion eficaz en el sistema de referencia del laboratorio es

d 2 1  G2 + G2 
E M
= cos2 + 2 G2M sin2 (307)
d 4 E 2 sin4
2
1+ 2E
M
sin2
2
1+ 2 2

Resulta que, por ejemplo, se observa en el experimento que

1
GE (q 2 ) =   (308)
q2
1 0.71 GeV 2

Demostrando explicitamente que el proton tiene una subsestructura.

7.1.1 Scattering inelastico

De cara a estudiar esta estructura interna del proton de los hadrones en general uno
podria pensar en subir la energia del foton que fotografia el proton. El problema es que al

66
hacer esto el proton se rompe: el scattering es inelastico las particulas no solo rebotan,
sino que rompen.
El diagrama relevante es (10).

Figure 10: Scattering inelastico

Este diagrama lleva a una amplitud de probabilidad de la forma generica

|Mup |2 = L W (309)
Donde L es el familiar tensor leptonico el del electron y W es el correspondiente
tensor asociado al proton y todo en lo que se rompe. Lo unico que dicho tensor hadronico
debe cumplir es que sea simetrico y que q W = 0 maniestando la conservacion de la
corriente. Con esas restricciones el W mas general16 que podemos escribir es
 q q  W2  p q   p q 
W = W1 + + 2 p 2 q p 2 q (310)
q2 M q q
Donde p es el momento inicial del proton y q el momento del foton que lo prueba. La
normalizacion arbitraria se debe a cuestiones historicas. Las funciones W1, 2 se llaman
funciones de estructura y codifican precisamente la estructura interna del hadron.
Resulta util definir las siguientes variables adimensionales construidas con cantidades
cinematicas

q2 pq pq
x= y= = (311)
2M pk M
Sorprendentemente, al subir la energia del foton que rompe el proton es decir, a mayor
Q = q 2 , las funciones de estructura se parecen mas y mas a algo de la forma
2

16
En realidad hay un termino mas que podemos escribir con  , pero dejemoslo estar hasta mas
adelante.

67
 W1p = A2 Q2 ( A Q2 ) W2p = ( A Q2 ) (312)
Donde A es una constante con unidades de Energia1 . A esto se le llama escaleo de Bjorken
James Bjorken fue quien lo descubrio. Resulta que estas son las funciones de esctructura
que uno esperaria si el proton fuese una particula puntual de spin 1/2 y masa (2 A)1 . Esto
es sorprendente para empezar porque sabemos que el proton no es una particula puntual
el scattering elastico asi lo indica, ademas de porque el valor de la masa es diferente
al de la masa del proton. La conclusion debe ser pues que el proton esta compuesto de
particulas puntuales que interactuan menos y menos a medida que la energia sube. A estas
particulas puntuales Feynman las llamo colectivamente partones. Resulta que la variable
x mide cuanto momento que fraccion lleva el parton en cuestion al que le esta dando el
foton del momento total del hadron. Estos partones de spin 1/2 que interactuan con el
foton se corresponden con los quarks de QCD.
Sin embargo, si miramos todo el momento que se llevan los partones que interactuan
con el foton veriamos que no suman el momento total inicial del hadron. Eso implica
que ha de haber otros constituyentes sin carga electrica. Esos otros constituyentes son los
gluones de QCD que median las fuerzas entre quarks.
La imagen que emerge es que los hadrones el proton en particular contiene unos
quarks de valencia que le dan los numeros cuanticos acreditandole como tal hadron en
particular, asi como un mar neutro de quarks, antiquarks y gluones, que son los partones
de Feynman.

7.1.2 Gluones
Hemos visto la necesidad de introducir partones electromagneticamente neutros para dar
cuenta del momento total del hadron. Estos partones los hemos identificado con los gluones
de QCD. Volvamos sobre esto un momento. Si QCD se comportase de manera similar a
QED si podriamos ser sensibles a estos partones neutros a traves de un proceso a orden
mas alto, como en la figura (11).
Estas desviaciones asi como otros efectos de radiaccion de gluones, estudiadas en
particular por Altarelli y Parisi, se observan en los experimentos y ponen de manifiesto la
realidad de QCD.

7.2 QCD
Hemos visto que la estructura de los hadrones se entiende asumiendo que estos estan
formados por quarks de spin 1/2 interactuando a traves de una teoria tipo QED para una
nueva fuerza que llamamos QCD y cuyos fotones son los gluones. Resulta ser que, al igual
que QED estaba basada en el principio de invariancia gauge bajo transformaciones U (1),
QCD esta basada en el principio de invariancia gauge bajo SU (3). Para construir QCD
podemos pues seguir nuestra hoja de ruta usual, que empieza por introducir un campo de
spin 1/2 para los quarks. Supongamos por sencillez un solo tipo de quark transformandose
bajo SU (3) en la representacion fundamental. Esto quiere decir que debemos introducir

68
 Scaling: a altas energias el proton
es un saco de partones de spin 1/2
cargados (quarks)

Desviaciones de scsaling: a traves

de una contribucion a orden mas alto
podemos ser sensibles a los partones
neutros (gluones)

Figure 11: Desviaciones de scaling asociadas a ver los partones neutros (=gluones).

un campo de Dirac q que se transforme como fundamental bajo SU (3). Al igual que una
rotacion de momento consideremosla global U (1) transforma el electron como e ei e,
una rotacion SU (3) transforma q como
a
q ei Ta
q (313)
Ta
Donde T a son los generadores del grupo SU (3), de manera que ei a es un elemento del
grupo. Considerando transformaciones infinitesimales tenemos

q q + i a Ta q (314)
Como los generadores T a en la representacion fundamental son matrices 3 3 tales que
Ta = Ta , esta claro que el elemento del grupo tambien sera una matriz 3 3, y por lo tanto
q ha de ser un vector columna con 3 entradas:

q1
q = q2 (315)
q3

69
Es decir, q, ademas de los correspondientes indices spinoriales, tendra indices de color.
Omitiendo los spinoriales, escribamos qa con a = 1, 2, 3. La teoria para un quark libre
esta descrita simplemente por
Z
S= i qa (/ + m) qb ab (316)

de manera que es invariante bajo SU (3).

Siguiendo el ejemplo de QED, queremos hacer esta transformacion local. Eso exige de
introducir un campo gauge cambiando por D tal que

D q = q + i Aa Ta q (317)
siempre y cuando los 8 SU (3) tiene 8 generadores, es decir, 8 Ta s Aa transformen como

Aa Aa + a + f abc Ab c (318)
siendo f abc las constantes de estructura del algebra de SU (3). Es mas iluminador escribirlo
como matrices llamando A = Aa Ta y analogamente para los parametros gauge =
a Ta . Entonces

D q = ( + i A ) q A A + i [A , ] (319)
De esta manera D q se transforma covariantemente, es decir, como q.
Notese que al tener un grupo no abeliano SU (3) como base para la teoria, la trans-
formacion gauge es un poquito mas complicada. De hecho, el tensor de campo es

F = A A + i [A , A ] (320)
de manera que bajo transformacion gauge se transforma como

F F i [F , ] (321)
Si construimos
Z
Tr F F (322)

debido a que la traza del conmutador es 0, tendremos un invariante gauge analogo al

termino cinetico para el foton. Asi pues, todo junto e introduciendo la constante de
acoplo g, para QCD la accion es
Z
1
S= Tr F F + i q (D
/ + m) q D q = q + i g A q (323)
4
Notese que al tener una teoria no abeliana, basada en SU (3), F contiene terminos
cuadraticos en A sin derivadas. Estos terminos daran lugar a terminos en el lagrangiano
de la forma AAA y AAAA, que se corresponden con vertices con 3 y 4 gluones respectiva-
mente: los gluones interactuan entre si!!!!. Esto es muy diferente de QED y el germen

70
 electrones y fotones es Z= DA D D ei d x 4
F F +i (@ +i e A ) +m +J + J+J A
(234)
Z
1
S= F F + i (@ +Esto
d4 x i e Aesta sin embargo
) + m
mal definido,
(233)ya que debido a la invariancia gauge todos los A
4 conectados por A ! A + @ ' son equivalentes. Asi pues la integracion funcional sobre
A ruta
La teoria cuantica se obtiene siguiendo la hoja de cuenta de es
usual, mas muchas
decir, configuraciones.
considerando el Hay que eliminar esas redundancias, lo que
se puede
funcional generador que contiene toda la informacion de lahacer de manera precisa aunque aqui no vamos a entrar en ello en detalle.
teoria
Z R 4 1 (@ +i e A ) +m +J + J+J A
Z = DA D D ei d x 4 F F +i 6.2 Reglas de Feynman (234)
Siguiendo
Esto esta sin embargo mal definido, ya que debido nuestra hoja
a la invariancia de ruta,
gauge todosvamos
los Aa asumir que la constante de acoplo en este caso
conectados por A ! A + @ ' son equivalentes.laAsi carga
puesdel
la electron
integracionesfuncional
pequegna, de manera que podemos hacer teoria de perturba-
sobre
A cuenta de mas muchas configuraciones. Hayciones. Para ello
que eliminar esasnecesitamos conocer
redundancias, las reglas de Feynman. Ya sabemos el propagador
lo que
se puede hacer de manera precisa aunque aqui no delvamos
fermion:
a entrar en ello en detalle.
de la enorme diferencia entre QED y QCD. Aunque no vamose a hacer i (p/ + m)ningun calculo ex-
D = 2
plicit de6.2
QCD, Reglas de Feynman
escribamos las reglas de Feynman a modo grosero p es m2 decir,
+ i sin fijarnos en (235)
exceso enSiguiendo nuestra hojanumericos
los factores de ruta, vamos etc que El
a asumirpara propagador
constante dedelacoplo
la hacernos campoen
una gauge
estecuyo
idea cuanto es el foton se podria calcular de manera
caso reglas
las son como en la fig.
analoga.
la carga del electron es pequegna, de manera que Sin hacer
podemos embargo, como
teoria dijimos antes, debido a la invariancia gauge el calculo es
de perturba-
(12). ciones. Para ello necesitamos conocer las reglas de Feynman. Ya sabemos el propagador
un poco mas sutil. Contentemonos con el resultado en un gauge particular gauge de
del fermion: Feynman, cuando

i (p/ + m) i
De = D = 2
(235) (236)
p2 m2 + i p + i
El propagador del campo gauge cuyo cuanto es elPor ultimo
foton el vertice
se podria de interaccion,
calcular de manera que se puede leer directamente del lagrangiano
analoga. Sin embargo, como dijimos antes, debido aAlada una regla gauge
invariancia para elelvertice
calculodees2 fermiones y un foton
un poco mas sutil. Contentemonos con el resultado en un gauge particular gauge de
Feynman, cuando V = ie (237)

i Resumiendo
D = (236)
p2 + i
gp g2
Por ultimo el vertice de interaccion, que se puede leer directamente del lagrangiano
A da una regla para el vertice de 2 fermiones y un foton

V = ie (237)
Resumiendo
51

51
Figure 12: Reglas de Feynman para QCD

7.2.1 QCD con varios flavors

En realidad hay mas de un quark. Cada tipo de quark se llama flavor sabor. Supongamos
Nf flavors. En general tendremos pues que QCD con varios flavors se describe como
Z
1
S= Tr F F + i q i (D
/ + m) qi i = 1 Nf (324)
4
con

D qi = qi + i g A qi (325)
Los quarks en realidad estan tambien cargados electricamente. Asi pues, considerando
el sector de QCD mas sus interacciones electromagneticas

Z
1 1
S= F F Tr G F +i q i (D+m)
/ qi D qi = qi +i g AQCD
qi +i ei AQED

4 4
(326)
donde ei son las cargas electricas de cada flavor, AQCD
el campo gauge del gluon, que

QCD
matricialmente es A = [A ]a T siendo Ta los generadores de SU (3), y AQED
QCD a
el
campo gauge del foton, que no tiene indices de color, asi que podemos escribirlo como una
identidad en espacio de SU (3), es decir, como AQED
= AQED
1l33 .

71
 La existencia de varios flavors se puede medir directamente en el experimento e+ e
q q. Este expermiento es analogo al caso e+ e + que estudiamos en detalle: el
diagrama y el calculo es exactamente el mismo, tan solo con la excepcion de que segun el
tipo de quark saliente habra que poner la masa correspondiente en lugar de la del muon.
Dichas masas son diferentes para cada quark. Podemos medir la seccion eficaz para la
reaccion e e+ hadrones, que esta dominada por estos procesos e+ e q q. Como
no vamos a fijarnos en un tipo de hadron particular en el estado final, sino que vamos a
sumar cualquier hadron, todos los quarks contribuiran a esta seccion eficaz. Es decir, si nos
fijasemos en estados finales con hadrones hechos de tales o cuales quarks los procesos rele-
vantes serian aquellos con tales o cuales q q en estados finales. Como incluiremos todos los
hadrones, debemos considerar procesos mediados por cualquier tipo de quark. La seccion
eficaz total para cada flavor sera una copia, con los factores adecuadamente adaptados, de
la seccion eficaz total e+ e + que conocemos
r
ei 2
m2i  m2i 
(e+ e qi qi ) = 3 1 1 + (327)
e 3 E2 E2 E2
Las masas de los leptones estan en la figura (13)

Figure 13: Masas de los leptones

Como se ve, hay una jerarquia bastante grande en las masas. Motivados por esto,
asumamos que una jerarquia similar existe en los quarks. Asi pues, existiria un rango de
energias E tal que un numero nf Nf de quarks cuayas masas mi << E para i = 1 nf .
Para ellos

+ ei 2
(e e qi qi ) = (328)
e E2
De manera que la seccion eficaz total sera la suma de las secciones eficaces a cada tipo de
quark, es decir
nf
X ei 2
+
T (e e hadrons) = (329)
i=1
e E2

72
Como E >> m , podemos normalizar por la seccion eficaz del proceso leptonico puro
e+ e + , de manera que
nf
T (e+ e hadrons) X ei
R= = 3 (330)
(e+ e + ) i=1
e
Asi pues esto es sensible de manera discreta al numero de quarks con masa menor que E.
Comparando con el experimento se ve que el factor 3 es necesario (es decir, QCD es SU (3),
ya que ese es el origen del 3) y que la estructura de masas y cargas electricas de quarks es

Figure 14: Masas de los quarks

7.2.2 La constante de acoplo de QCD

Hasta ahora solamente hemos discutido los efectos a primer orden en teoria de perturba-
ciones. Es decir, hemos considerado solo procesos tree level sin incluir ningun loop. A
ordenes superiores un fenomeno completamente crucial en teoria cuantica de campos
orcurre: los diagramas divergen y nada parece tener sentido. Consideremos el ejemplo mas
sencillo, en la teoria escalar 4 en la figura (15).

Figure 15: Ejemplo de diagrama divergente

El diagrama vale
Z
d4 p i
M = i (331)
(2)4 p2 m2 + i 

73
Para estimarlo, pasemos al euclideo haciendo p0 = i pE 0 . En el euclideo la integracion sobre
momentos es una integracion en R4 . Como el integrando depende solo de |~pE |2 , el trozo
angular es facil. Olvidandonos de constantes numericas irrelevantes la integral va como
Z
i
M dp 2 (332)
0 p + m2
donde hemos puesto un regulador para p grande. Evidentemente, para p muy grande,
la integral diverge como p2 , de manera que la teoria ha de ser intrinsecamente definida
con un cu-off tal que |p| < . Esto simplemente refleja el hecho de que las teorias de
campos son teorias efectivas, y a partir de cierta escala sencillamente dejan de capturar
los grados de libertad relevantes.
Sin embargo, a veces se pueden incluir los grados de libertad relevantes a energias
mayores que en la descripcion de baja energia ajustando los parametros: estas son las
teorias cuyos acoplos son como mucho marginales. Estas teorias se dicen renormalizables,
porque podemos meter la dependencia de en los parametros , m. El precio a pagar es
que y m ya no son constantes sino que dependen de la escala de energia a la que estemos
probando la teoria.
Volviendo a nuestra descripcion de QCD, lo mismo ocurre. El acoplo de la teoria asi
como el de QED es marginal y la teoria es renormalizable. Eso resultara en un acoplo que
en realidad depende de la energia, conocido como running coupling constant. Resulta
que para QCD normalmente se llama s una vez metidos los correspondientes 4 2 en g 2
tiene el aspecto de la figura (16).
Como se ve. . . a baja energia QCD esta fuertemente acoplada, mientras que
a alta energia el acoplo tiende a cero. Esto es lo que se conoce como libertad
asintotica y esta en el centro del escaleo de Bjorken. Para fotones muy energeticos los
quarks se ven esencialmente libres dentro del proton.
A baja energia la constante de acoplo se vuelve enorme. Evidentemente la teoria
de perturbaciones que ha sido la herramienta fundamental hasta ahora no es valida.
Aunque no se sabe demostrar ni se entiende el mecanismo fundamental, esta claro que
lo que ocurre es que a baja energia las fuerzas entre quarks son enormes. De hecho es
como si los quarks en los hadrones estuviesen atados por cuerdas, de manera que si estan
separados por distancias menores que el tamagno de la cuerda se ven como libres, mientras
que si intentamos separarlos mas que la cuerda esta nos lo impide. Esta cuerda genera
un potencial lineal de interaccion V r. Como mucho podemos romper la cuerda, pero
al romperla en cada extremo se crea un nuevo quark, de manera que los quarks nunca se
ven libres a baja energia. Esto es el confinamiento responsable de la existencia de los
hadrones.
QED es sin embargo muy diferente en su comportamiento. La razon esta en que al ser
el grupo abeliano, el foton no interactua consigo mismo. Eso lleva a que en lugar de ser
debilmente acoplada a alta energia y fuertemente acoplada a baja energia sea al reves. Es
decir, QCD es libre en el infrarrojo. El que su constante de acoplo crezca a altas energias
querria indicar que, pese a ser renormalizable, QED no podria ser una teoria fundamental,
ya que a altas energias su definicion en terminos de electrones y fotones rompe.

74
 Figure 16: La constante de acoplo de QCD

7.2.3 Hadrones y el infrarojo de QCD

Como QCD exhibe confinamiento, a baja energia solo podremos ver estados que sean
neutros bajo SU (3). Podemos leer los posibles singletes de la tabla (14), ya que las cargas
electricas fraccionarias son otra manifestacion de que los quarks a baja energia solo se ven
en singletes de color con carga electrica entera.
Consideremos las combinaciones singletes bajo SU (3) uud y ddu. Su carga electrica
es respectivamente 1 y 0. Son el proton y el neutron. Notese que la masa de sus quarks
constituyentes es respectivamente 0.02 GeV y 0.015 GeV , mientras que su masa real es de
aproximandamente 1 GeV . Esto quiere decir que la energia de ligadura es enorme, como
es de esperar en una teoria fuertemente acoplada.

7.2.4 Simetria quiral en QCD

Ya que los quarks mas ligeros son el u y el d, que tienen una masa bastante pequegna, a
bajas energias podemos considerar que son los unicos relevantes y que son basicamente de

75
masa cero. En tal caso QCD tiene simetria quiral analoga a la de QED. En realidad la
simetria es un poco mayor por tener dos especies de fermiones sin masa (u y d). El trozo
que contiene los fermiones es
Z
/ + m) qi
qi (D qi = (u, d) (333)

Esto tiene una simetria global SU (2), ya que podemos transformar

qi Uij qj (334)
siempre y cuando U U = 1, l es decir, con una rotacion U (2) en espacio de flavor.17 Al
igual que para QED, esta simetria de flavor es quiral por tener fermiones sin masa. Asi
pues la simetria global es U (2)L U (2)R . Como U (2) = SU (2) U (1), podemos escribir
la simetria global como SU (2)L SU (2)R U (1)L U (1)R . Asi pues tendremos corrientes
conservadas para estos 4 factores para qL, R . Mezclandolas para formar las combinaciones
axial y vectorial, tenemos dos simetrias axiales

jU (1)A = qi qi
jSU a
(2)A = qi qj ij (335)
donde una es U (1) y la otra es SU (2) de ahi que aparezcan las matrices de Pauli.
Resulta ser que a baja energia el bilineal de quarks qi qi toma un VEV por efecto de la
dinamica de acoplo fuerte, no perturbativa, de QCD. Es decir

h qi qi i = h uL uR + uR uR + dL dR + dR dR i =
6 0 (336)
Esto implica que las rotaciones quirales no son una simetria a baja energia, ya que no
dejarian invariante este VEV. Solo las transformaciones diagonales de U (2)L U (2)R es
decir, las que transforman igual left y right dejan invariante el VEV.
Como esta ruptura es espontanea, por argumentos muy generales, debido al teorema de
Goldstone (ver apendice. Lo discutiremos en mas detalle mas adelante) debemos esperar
una particula sin masa por cada generador roto en este caso 4. Asi pues, a baja energia
en QCD debemos esperar 4 particulas casi sin masa.
Sin embargo la corriente para U (1)A es anomala, lo que quiere decir que aunque sea una
simetria clasica, los efectos cuanticos la rompen. Asi pues uno de las 4 particulas masivas
no esta protegida de hecho no teniamos 4 generadores conservados para empezar, sino
solo los 3 asociados a SU (2)A y adquiere masa mayor. Debemos pues esperar 3 particulas
con masa muy pequegna porque al final u, d tienen una masa pequegnita: los 3 piones!!!!
Ademas de estos, u, d se combinan en proton y neutron. Por lo tanto, a baja energia,
la fisica de QCD debe estar descrita por una teoria efectiva de la forma
Z
1 m2
S= 2 + ni ni mn ni ni ni 5 nj (337)
2 2
17
En el caso de QED que discutimos teniamos un solo fermion, asi que la simetria de flavor era simple-
mente U (1).

76
que es el lagrangiano que escribimos antes y que da lugar al potencial de Yukawa.
El SU (2)A no anomalo es de hecho el isospin de las interacciones nucleares: es la
simetria SU (2) global que la teoria de arriba tiene.

8 La fuerza electrodebil
Es un hecho que el neutron se desintegra produciendo un proton y un electron observ-
ables. Como estas dos particulas no dan para satisfacer la conservacion de la energia y
el momento, Pauli postulo la existencia de una nueva particula, el neutrino que Cowan
y Reines descubrieron experimentalmente despues. Asi pues, el neutron se desintegra en
un proton, un neutron y un neutrino. Sin embargo, ni las interacciones fuertes ni las elec-
tromagneticas pueden ser las responsables de esto, indicando la existencia de una nueva
fuerza: la fuerza debil.

8.1 Teorias con vertices de 4 fermiones

El proceso que describimos antes es neutron proton + e + . Como el proton es
uud mientras que el neutron es udd, esta claro que la reaccion detras del decay es
d u + e + . Este proceso, ya que involucra una parte de QCD, es complicado. Existen
otros procesos analogos que solo involucran leptones sin carga de color. Un ejemplo es
2 + e .18 Esto sugiere que nuestra teoria fundamental ha de contener un vertice
con 4 fermiones tal que
Z
GF
( ) (e ) (338)
2
La constante de acoplo que tiene dimensiones de E 2 , es decir, es irrelevante se llama
constante de Fermi, y comparando con el experimento, se puede fijar su valor.
El problema es sin embargo que la teoria de Fermi tiene una constante de acoplo
irrelevante, y es por lo tanto no renormalizable. Esto implica que ha de ser pensada como
1/2
una teoria efectiva por debajo de la escala GF 200GeV .

8.2 Teorias para campos gauge con masa

Siguiendo el ejemplo de QED y QCD cuyas fuerzas estaban mediadas por campos gauge
es natural pensar que detras de la interaccion debil este tambien una teoria gauge. Sin
embargo, la fuerza debil es de corto alcance, lo que pone de manifiesto su escala caracteris-
1/2
tica de GF 200GeV . Eso implica que el potencial de interaccion en lugar de ser 1/r
como para el foton es decir, de alcance infinito debe decaer mas rapido y ser mas bien
parecido al potencial de Yukawa eM r r, donde M es la escala de masas caracteristica de
esos 200GeV . Un comportamiento asi lo tendriamos si considerasemos un campo gauge
W con masa, esquematicamente
18
En realidad los 2 neutrinos son + e . Esto lo discutiremos despues.

77
 Z
S= F F M 2 W W (339)

Donde esa masa M , constantes numericas a parte, son basicamente esos 200GeV s.
Aqui hemos supuesto arbitrariamente un grupo U (1) por sencillez, pero el aspecto a
grandes rasgos de la teoria seria el mismo. El problema es, obviamente, que la simetria
gauge W W + esta explicitamente rota por el termino de masa: si M 6= 0, simple-
mente la transformacion gauge no es simetria. Aunque esto es un problema enorme porque
entonces, aun pese a solo contener acoplos marginales, la teoria no seria renormalizable e
indicaria la existencia de nueva fisica a partir de cierta escala, tomemos de momento una
actitud pragmatica: si dicha nueva fisica estaria suficientemente lejos en energias, a efectos
practicos seria irrelevante. Asi pues consideremos la teoria del campo vectorial masivo per
se.
Supongamos ahora que acoplamos este campo de juguete a un fermion de masa m con
carga g bajo W
Z
S= F F M 2 W W + i (D / + m) (340)

La unica diferencia con el caso con M = 0 en las reglas del Feynman es que el propagador
del campo gauge seria
i i
(341)
q2 p2 M 2
Consideremos ahora el diagrama 2 2 (que es como el e e+ + ). El diagrama
valdria

M g 2 (u u) (u u) (342)
q2 M 2
Para interacciones a baja energia, cuando el momento transferido q 2 sea mucho menor que
la masa del campo gauge q 2 M 2 M 2 , de manera que

g2
M g 2 (u u)
2 2
(u
u) 2
(u u) (u u) (343)
q M M
Es decir, recuperariamos la misma prediccion que la teoria de Fermi que explica el
experimento con

g2
GF (344)
M2
Por lo tanto en efecto podriamos imaginar una teoria gauge en pie de igualdad pues a
las demas fuerzas fundamentales que reproduzca la teoria de Fermi, si bien al precio de
momento abusivo!!!! de que la teoria ha de ser no renormalizable. Sin embargo ya que
este problema tendra solucion en un momento, un problema mas fundamental es que esta
teoria de juguete en realidad no explica lo que ocurre en el experimento. En la reaccion

78
 2 + e no hay manera de, separando de dos en 2 los constituyentes para agruparlos
en los dos vertices fermion+fermion+boson mediador involucrados, de encontrar sitio al
modelo sencillo de arriba, ya que la carga electrica no se conservaria. Eso implica que el
boson gauge W ha de estar cargado bajo el campo electromagnetico!!!
La solucion a este ultimo problema esta intimamente ligada a la solucion del problema
de la no renormalizabilidad: la ruptura espontanea de la simetria (ver apendice).

8.3 Ruptura de simetria local

Supongamos que hacemos local la simetria U (1) que esta rompiendo espontaneamente en
un modelo con un potencial de sombero mejicano. Consideremos pues

Z
1 1 1
S= d4 x F F + |D |2 m2 ||2 ||4 D = i e A F = A A
4 2 2
(345)
Con m2 > 0, de manera que el vacio es
r
m2 i 0
0 = e (346)
4
r
m2
0 = ( + ) ei(0 +p) (347)
4
Para , p pequegnos encontramos
Z
1 1 2
S d4 x F F + 2 4 20 2 + 0 ( p + i e A )2 (348)
4 2 2
Podemos ahora escoger un gauge en el que p = 0, teniendo
Z
1 1 e2 20
S d4 x F F + 2 4 20 2 + A A (349)
4 2 2
Es decir, al fijar el gauge reabsorbiendo p que seria el boson de Goldstone de masa 0 si la
simetria fuese global en A , el campo gauge se transformo en un campo masivo de masa
M 2 e2 20 , mientras que la unica traza que quedo del escalar original es la fluctuacion
de masa m 20 , es decir

2 (m2 ) e2
Mvector masivo m2escalar masivo (m2 ) (350)

Evidentemente si hubiesemos tenido fermiones extra en la teoria todo esto seguiria
siendo valido. La moral del asunto es pues que agnadiendo un sector escalar acoplado
al campo gauge con un potencial de sombrero mejicano, al romperse espontaneamente la
simetria gauge el boson de Goldstone puede ser reabsorbido por el campo gauge, que gana
asi un grado de libertad extra y se convierte en masivo. Por lo tanto recuperariamos el

79
modelo que vimos antes del campo gauge masivo que, a baja energia a su vez recuperaba
la teoria de Fermi con un vertice de cuatro fermiones. Sin embargo, a traves de todo este
proceso hemos conseguido embeber la teoria de Fermi en una teoria gauge para un campo
gauge de verdad es decir, en donde la simetria gauge si se respeta. Asi pues, el modelo
con campo y potencial de sombrero mejicano si es renormalizable y, a baja energia,
recupera la interaccion de 4 fermiones necesaria para entender la interaccion debil. A este
campo responsable de romper la simetria gauge se le llama campo de Higgs, y deja el
como traza final a baja energia.
Nos queda aun entender como producir, una vez adquieren masa los campos gauge,
campos vectoriales electromagneticamente cargados. Para ello la clave es considerar un
grupo un poco mas complicado que el modelo de juguete U (1). Consideremos SU (2)L
U (1)Y . Esto tiene 4 generadores: 3 en SU (2) y uno en U (1). Supongamos ahora un Higgs
cargado bajo el U (1)L SU (2)L y sobre U (1)Y con carga opuesta, es decir, cargado bajo
U (1)L U (1)Y . Al tomar el Higgs VEV este U (1)Y U (1)L se rompe espontaneamente,
asi como el SU (2). Sin embargo la combinacion U (1)L + U (1)Y no se rompe. Por lo tanto,
de los 4 vectores gauge originales 3 se harian masivos y uno quedaria sin masa. Este sin
masa es el foton, es decir, U (1)L + U (1)Y = U (1)QED . Entre los otros 3 masivos, como
U (1)L U (1)Y es ortogonal a U (1)QED , tendriamos uno neutro bajo el electromagnetismo
y dos cargados. Esos serian los 2 W responsables de decaimientos tales como el del
muon que describimos arriba. El campo vectorial masivo daria lugar a otros procesos
parecidos a los de QED solo que de corto alcance. Es el Z 0 . Esta es de hecho la estructura
que se ve experimentalmente: este es el germen del Modelo Estandard (SM). Lo veremos
explicitamente en la subseccion siguiente.

8.4 El sector bosonico del SM: gauge+Higgs

El sector bosonico del SM contiene todos los bosones vectoriales y el Higgs de spin 0. Como
dijimos, de cara a tener bosones vectoriales cargados en una teoria gauge necesitamos un
grupo de gauge SU (2)L U (1)Y el Y significa hypercarga, y el L left. Veremos luego el
por que del nombre left. El Higgs es fundamental del SU (2)L y esta cargado bajo U (1)Y .
Asi pues, introduciendo un campo por cada particula, el trozo bosonico del SM es
Z
b 1 2 1 1 2 2
SSM = Tr FW FB2 + (D ) D ) 2 ( ) (351)
4 4 2 2
Donde W = Wa a es el campo gauge de SU (2)L y B el de U (1)Y , siendo los tensores de
campo lo usual

(FW ) = W W + i g [W , W ] (FB ) = B B (352)

Donde g, g 0 son las constantes de acoplo respectivas.
Como el Higgs es fundamental de SU (2)L lo podemos escribir como
 + 

= (353)
0

80
De manera que la derivada covariante es

g0
D = +i g W +i Y B (354)
2
siendo Y la hypercarga, que para el Higgs es 1.
El minimo del potencial escalar, cuando 2 > 0, esta en

2
= |+ |2 + |0 |2 = (355)
2
Escojamos el vacio
 
0 2 2
0 = v
v2 = (356)
2 2
Par ver la masa de los campos vectoriales simplemente debemos enchufar este vacio y sus
fluctuaciones en la accion. Escogiendo el gauge tal que fijamos la fase a 0, y congelando
las fluctuaciones del modulo, podemos fijarnos simplemente en
Z
b 1 2 1 1
SSM = Tr FW FB2 + (D 0 ) D 0 ) (357)
4 4 2
Donde

   !
0
i g W3 + i g2 B i g (W1 i W2 ) 0 i g (W1 i W2 ) v2
D 0 = 0
v
= 0
i g (W1 + i W2 ) i g W3 + i g2 B 2 i ( g W3 g2 B ) v2
(358)
Es evidente que es util definir
1  
W = W1 i W2 (359)
2
Ademas es util definir el angulo de Weinberg

g0
= tan W (360)
g
De manera que
 
i g v W+
D 0 = (361)
i cosgW (cos W W3 sin W 12 B ) v2
Es obvio que es ademas util definir
B B
Z0 = cos W W3 sin W A = cos W W3 + sin W (362)
2 2
De manera que

81
  
i g v W+
D 0 = gv (363)
i 2 cos
Z0
W

Con lo que en la accion efectiva aparece un termino de masas

Z
2 1
MW (W + ) (W ) + MZ2 (Z 0 ) (Z 0 ) (364)
2
Con
gv
MZ = MW = g v (365)
cos W
Para estudiar el termino cinetico, podemos darnos cuenta de que F W es una matriz de
SU (2), y por lo tanto de traza cero. Asi pues, si escribimos B = B 1l22 y hacemos
 1 2  1 2 
2 2
Tr FW + FB = Tr FW + FB + 2 FW FB = Tr FW + FB2 (366)
2 2
ya que en espacio de SU (2)L FB F W es proporcional a un generador de SU (2), que es de
traza cero. Ahora podemos estudiar FW + 12 FB . Eso es

1 h i h i
l (FW + ) +2 i (W+ W3 W+ W3 ) + + (FW ) +2 i (W W3 W W3 )
(FW 3 ) 3 + (FB ) 1+
2
(367)
i 1 i 2
Donde FW i = [ W] y analogamente para B. Ademas =
2
. Fijemonos en esos
+
terminos con . El coeficiente de, por ejemplo, es

(FW + ) + 2 (W+ W3 W+ W3 ) = ( 2 i W3 ) W+ ( 2 i W3 ) W+ (368)

Es decir, el termino cinetico para W esta escrito en terminos de una derivada covariante
con W3 como campo gauge. Como W3 es una suma de Z0 y A , en efecto vemos que
los bosones gauge W estan cargados electricamente, justo como necesitabamos para las
interacciones debiles que median decaimientos o el decay del muon de antes.
Al igual que en los modelos de juguete de arriba, al expandir el lagrangiano alrededor
de 0 , y tras reabsorver la fase en la masa de {W , Z 0 }, acabaremos con un escalar neutro
H debido a las fluctuaciones de . Dicho escalar esta asociado una particula escalar: el
boson de Higgs descubierto recientemente con una masa de unos 125GeV .

8.5 La materia del SM

Ademas del sector de campos gauge + Higgs, el SM contiene materia fermionica evidentemente!!!
. En principio uno pensaria que necesitamos un campo de Dirac por cada particula. La
realidad es mas compleja: la Naturaleza no respeta las simetrias discretas bajo conjugacion

82
de carga, paridad e inversion temporal todas juntas si, ya que CP T debe ser una simetria
para que el H sea hermitico.
Aqui no entraremos en mucho detalle en ello. Nos bastara con que esa violacion de
simetrias discretas implica que debemos construir la materia no con spinores de Dirac,
sino con Weyls, es decir, implica que el SM es una teoria quiral.
La materia viene organizada en 3 familias, a su vez divididas en un sector leptonico
que no tiene carga de color y un sector de quarks, que si tiene carga de color. Tanto
quarks como leptones se acoplan a las interacciones debiles y electromagneticas, esto es, a
SU (2)L U (1)Y .
Las 3 familias son identicas la una a la otra (salvo por las masas), asi que para empezar
vamos a considerar una sola familia: la mas ligera. Fijemonos primero en el trozo leptonico.
Este se acopla a SU (2)L U (1)Y . Como ha de ser fundamental de SU (2)L necesitamos un
doblete de campos, que, debido a la quiralidad del SM, seran left. Dichos dos campos son
el electron y el neutrino. Asi pues, formemos
 
e
L= (369)
e L
donde el subindice L nos recuerda que son spinores left, es decir, obtenidos agarrando un
Dirac e y haciendo por ejemplo

1l 5
eL = e (370)
2
Necesitamos tambien campos right por ejemplo para cancelar anomalias. Hablaremos de
esto despues. Esos son singletes bajo SU (2)L . Resulta que solo el compagnero right del
electron existe. LLamaremos

R = eR (371)
donde el subindice R nos recuerda que es un campo right

1l + 5
eR = e (372)
2
Notese que no estamos poniendo un compagnero right para el neutrino. No esta claro que
tal particula exista aunque si es cierto que el neutrino tiene masa.
Siguiendo el proceso usual de escribir el lagrangiano del spinor y promover las derivadas
a derivadas covariantes, esta claro que el trozo leptonico sera

Z
f1 g0 g0
S = L i ( + i g W + i Y B ) L + R i ( + i g W + i Y B ) R (373)
2 2
Igualmente, para el sector de quarks tendremos un doblete left
 
u
QL = (374)
d L

83
Y un par de singletes right (aqui si ponemos los dos compagneros right)

uR dR (375)
El trozo de quarks sera analogo al leptonico pero incluyendo en la derivada covariante
el acoplo al campo del gluon. Concentremonos en los leptones, de todos modos.
Las otras familias tienen la misma estructura

     
e
L1 = L2 = L3 =
e L
L
L

R1 = eR R 2 = R R3 = R

8.5.1 Interacciones en el SM
Fijemonos en la derivada covariante. La podemos escribir como

g   g  
D = + i g W+ + + i g W + i 3 Y Z0 + i 3 + Y A (376)
2 cos W 2 cos W
Vayamos trozo a trozo

Corrientes cargadas: los W se acoplan a la materia a traves de los operadores

escalera en SU (2)L los . Eso quiere decir que el SM contiene vertices en los
que cambiamos un miembro de los dobletes SU (2) por otro. Como el electron tiene
electrica -1 y el neutrino 0, esta claro que el boson mediador los W ha de estar
cargado.

Corrientes neutras: el Z 0 se acopla a traves de 3 Y , que es diagonal en espacio de

SU (2). Por eso no cambia miembros del doblete. Sus interacciones son como las del
foton, tan solo que masivo.

Corrientes electromagneticas: el acoplo al foton diagonal en espacio de SU (2)L

3
evidentemente es a traves de la carga electrica Q = T 3 + Y2 , donde T 3 = 2 . El valor
numerico lo da e = g/ cos W . Ya que el electron ha de tener carga -1 y el neutrino
0, esto fija las siguientes asignaciones de hypercarga

3 Y Q

eL 12 1 1
(377)
1
L 2
1 0

eR 0 2 1

84
 Para los quarks la cosa es un poco mas complicada

3 Y Q

1 1 2
uL 2 3 3

dL 12 31 1
3
(378)

4 2
uR 0 3 3

dR 0 23 31

Un comentario esencial, aunque un poco misterioso a este nivel, es que con este con-
tenido de materia y asignaciones de cargas todas las interacciones gauge son no anomalas
lo que es un requisito indispensable. Ademas, entre las simetrias globales, resulta que
hay unas anomalas y otras no anomalas. Aunque no lo vamos a discutir mas en detalle,
remarcablemente estas anomalias son tales que el proton es exactamente estable en el SM.

Notese que no hemos puesto una masa. La razon es que sencillamente no es posible,
ya que, siendo una teoria quiral, no podemos escribir un termino de masa. Por otra parte,
aun podemos escribir un termino marginal compatible con todas las simetrias
Z
yuk
S = 1 L R + h.c (379)

Como el Higgs es fundamental de SU (2)L y L es antifundamental, L contiene un singlete,

que multiplicado por R, que tambien es singlete, da un termino invariante gauge.
Este termino es un termino de interaccion. Es un vertice de Yukawa con 2 fermiones y
el Higgs. Al tomar este el VEV
Z
yuk 1 v
S = eL eR + h.c (380)
2
y obtenemos un termino de masa efectivo para el electron. La masa del electron es asi pues
1 v
me = (381)
2
Es decir, es el VEV del Higgs multiplicado por el Yukawa que regula el acoplo de electron a
Higgs. Desde este punto de vista, la jerarquia de masas del SM es en realidad una jerarquia
de acoplos de Yukawa.
Evidentemente, expandiendo los Yukawas encontraremos acoplos al Higgs.
Notese que el neutrino nos sale de masa 0. En realidad tiene una masa muy pequegna
las oscilaciones de neutrinos asi lo exigen, pero no esta completamente claro si es debido

85
a la existencia de R o a la llamada masa de Majorana.19
Asi pues, el trozo leptonico del SM es

Z
lepton g0 g0
S = Li i ( +i g W +i Y B ) Li +Ri i ( +i g W +i Y B ) Ri i Li Ri +h.c.
2 2
(382)

8.5.2 Violacion de CP y CKM

Cuando introdujimos los Yukawas asumimos que eran diagonales en las generaciones. En
general podriamos haber escrito
Z
ij Li eiR + h.c. (383)

Donde eiR es el electron right de cada generacion (es decir {eR , R , R }). Sin embargo,
podriamos redefinir

Li Uij Lj eiR = Wij ejR (384)

tal que

? ij
Uik Wjp = k kp (385)
Como esta transformacion conmuta con SU (2)L U (1)Y , encontrariamos la teoria que
hemos escrito desde el principio.
Sin embargo, en el sector de quarks la cosa es muy diferente, porque existen tanto dR
como uR . Por lo tanto los Yukawas mas generales son
Z
ij
ij i a b i
u Qi uR d Qi ab dR + h.c. (386)

siendo a, b los indices de SU (2)L . Notese que el efecto del segundo termino, una vez
enchufado aqui quien es el VEV de , es darle masa al d. Como no hay neutrino right,
escribir este segundo termino para los leptones no lleva a nada nuevo.
Intentemos ahora redefinir los campos para diagonalizar los Yukawas. Para ello es
mejor meter el VEV del Higgs aca y estudiar los terminos efectivos de masa, que son
(esquematicamente)
Z
j ij i i
ij i
u uL uR d dL dR (387)

Esta claro que si hacemos el mismo truco que antes

19
Como el neutrino es electricamente neutro podria ser su propia antipartcula. En tal caso es posible
escribir un termino de masa. No esta claro que el neutrino sea Majorana.

86
 uiL Uuij ujL uiR Wuij ujR (388)
(389)
diL Udij djL diR Wdij djR (390)
conseguiremos diagonalizar los Yukawas escogiendo apropiadamente las matrices. Pero,
como en general Ud 6= Uu , esta transformacion no transformara igual las dos componentes
del doblete de SU (2)L . Como la interaccion que mezcla las dos componentes del doblete
es a traves de los W , lo que ocurrira es que para los quarks la derivada covariante sera

g   g  
Dij = ij +i g V ij W+ + +i g (V )ij W +i ij 3 Y Z0 +i ij 3 +Y A
2 cos W 2 cos W
(391)
ij
donde esos V son las entradas de la matriz Uu Ud , y son en general numeros complejos.
Esta matriz es la matriz de Cabbibo-Kobayashi-Maskawa (CKM).
El que la matriz CKM sea en general compleja20 tiene una consecuencia dramatica: el
SM viola la simetria CP si CKM tiene entradas complejas. Resulta que si las tiene y el
SM viola CP aunque, como todos los parametros del SM, no se entiende por que.
En el SM hay otra fuente de violacion de CP: si agandimos el termino topologico para
el campo del gluon
Z

2
Tr G G  (392)
16
introducimos nueva fuente de ruptura explicita de CP. No discutiremos aqui mas sobre
esto, solo mencionar que resulta ser minusculo, casi cero pero no del todo. El por que de
esto tampoco se entiende.

8.5.3 Neutrinos
Los neutrinos formar parte del doblete de SU (2)L junto con el correspondiente lepton car-
gado de cada familia eletron, muon y tau. Asi pues han de ser de 3 tipos: e , , .
Como los neutrinos interactuan solo a traves de las corrientes cargadas/neutras, y su con-
stante de acoplo es muy pequegna, sus interacciones son muy raras. Es por eso que para
estudiarlos se deben usar fuentes que emiten muchos neutrinos, como el sol. Sin embargo,
entre 1960 y 2002 esto fue fuente de un gran misterio: la cantidad de neutrinos del electron
esperada era simplemente diferente mucho menor que la esperada.
La resolucion de dicho puzzle propuesta ya por Pontecorvo et al. en 1968 es que si
los neutrinos tuviesen masa, y esta fuese muy peqeugna, podrian oscilar unos en otros. La
20
Eso requiere al menos 3 familias de quarks, ya que de lo contrario la fase compleja se puede reabsorver.
De hecho Cabbibo fue el primero en darse cuenta de esta mezcla en los quarks, lo que ocurrio cuando solo
se conocian dos quarks. Eso lleva a una matriz real. Sin emabargo mas tarde se descubrio que el SM viola
CP y en un intento de explicarlo, Kobayashi y Maskawa propusieron la existencia de una nueva familia,
de manera que la matriz V pudiese tener entradas complejas. Cabbibo se perdio el premio Nobel.

87
razon es que si los neutrinos tuviesen masa entonces habria tambien una matriz tipo CKM
llamada ahora Pontecorvo-Maki-Nakawata-Sakata, PMNS que haria que la interaccion
del neutrino fuese tambien del tipo
Z
eiL W + U ij Lj (393)

Es decir, la interaccion debil no seria diagonal en la base Li = {e , , }. Llamemos a

esta base que diagonaliza el termino cinetico el / como P , es decir Pi = {e , , };
y a la base que diagonalizaria la interaccion Ii = {eI , I , I }. Supongamos un neutrino
producido por ejemplo en el sol en t0 a traves de algun proceso electrodebil. Como la
base I diagonaliza la interaccion, se produce como I . La matriz de PMNS permite re-
escribir dicho estado en terminos de los autoestados del hamiltoniano libre, de manera que
el estado de un neutrino en t0 se escribe como

|Ii (t0 )i = U ij |Pj (t0 )i (394)

El operador evolucion para la particula libre el neutrino casi no interactua! nos permite
conocer el estado en un instante t escojamos t0 = 0 por sencillez de la notacion

|Ii (t)i = U ij ei H t |Pj (t0 )i (395)

Como los |Pi i diagonalizan
el termino cinetico, son autoestados del hamiltoniano libre con
autovalor Ei = p~ + mi

|Ii (t)i = U ij ei Ei t |Pj (t0 )i (396)

Para detectar este neutrino en la tierra lo hacemos midiendo la interaccion a traves de algun
proceso debil con otro lepton, supongamoslo del tipo j. La probabilidad de interaccion sera
pues proporcional al modulo de la proyeccion de |Ii i sobre |Ij i, es decir, a |h Ij | Ii (t)i|2 .
Por hacer mas sencillas las cosas, supongamos que solo dos neutrinos estan involucrados.
Llamemos a la base de propagacion {e , y a la de interaccion 1 , 2 . Entonces podemos
escribir
 
cos sin
U= (397)
sin cos
De manera que parametriza la mezcla. Entonces

| 1 (t)i = ei Ee t cos |e i ei E t sin | i (398)

| 2 (t)i = ei Ee t sin |e i + ei E t cos | i (399)

Entonces la probabilidad de detectar un neutrino tipo 2 si empezamos con uno tipo 1 es

88
   
h 2 | 1 (t)i = sin he | + cos h | ei Ee t cos |e i ei E t sin | i (400)

que, asumiendo e, ortonormales, es

 
2 1 i Ee t i E t
h | (t)i = sin cos e e = sin 2 sin(Ee E ) t (401)
De entrada, es obvio que si me = m el elemento de matriz es cero. Necesitamos de una
diferencia de masas en los neutrinos. Como por otra parte las masas son en cualquier caso
pequegnas, podemos asumir los neutrinos ultrarrelativistas, es decir

s s
q q  m2 m2  m2
Ee E = p~2 + m2e p~2 + m2 = |~p| 1 + 2e 1+ (402)
p~ p~2 2 |~p|

Con m2 = m2e m2 , de manera que la probabilidad es

m2 t
P12 = sin2 2 sin2 (403)
2 |~p|
Como la particula es ultrarelativista E = |~p| c, de manera que t/|~p| = t c/E, pero t c = L,
la distancia recorrida entre la emision y la deteccion, de manera que

m2 L 2 2
P12 = sin 2 sin (404)
2E
Es decir, existe una probabilidad no cero de oscilacion si 6= 0 y si m 6= 0, lo que explica
el problema de los neutrinos solares.
Esto parece funcionar muy bien, con la salvedad de que. . . como dijimos, en el SM tal
cual, el el sector leptonico no hay R . Eso lleva a que no se pueda construir un termino de
masa para el neutrino, con lo que no queda sitio ni para la matriz de mezcla ni para la masa
del neutrino. No esta clara la solucion del puzzle. Una posibilidad es que puede ser que el
neutrino sea una particula de Majorana que sea su propia antiparticula. Esto permitiria
escribir un termino de masas. Esto implicaria que ciertos procesos de decaimiento en los
que se tuviese en el estado final un neutrino de menos deberian obervarse (neutrinoless
decay). Otra manera natural de implementar esto es es que existiese R , L , me manera
que podamos construir un termino de masa (de Dirac y Majorana!)
  

0 mD R
mD (L R + R L ) + mM L R = L , L (405)
mD mM R
Si tomamos la matriz de masa y la diagonalizamos, los autovalores son
p
mM 4 m2D + m2M
m = (406)
2

89
Si mM >> mD los autovalores son
mD
m+ mD m mM (407)
mM
es decir, la nuevas componente serian muy pesadas y por eso no las habriamos visto
mientras que las viejas componentes tendrian una masa suprimida por mD /mM , es decir,
minuscula. Este mecanismo es el llamado seesaw mechanism: subiendo la masa de un tipo
de neutrinos a una escala muy grande, la masa del otro tipo de neutrinos se hace minuscula.
Esto implicaria la existencia de una nueva escala mM de nueva fisica.
En cualquier caso, la resolucion de este puzzle no esta aun clara.

A El grupo de Lorentz
Dejando de lado gravedad, la relatividad especial establece que culaquier fenomeno ocurre
en el espacio de Lorentz. Dicho espacio es un espacio vectorial de 4 dimensiones con metrica

ds2 = dx dx = diag(1, 1, , 1) (408)

Las transformaciones que dejan invariante ds2 forman el grupo de Poincare en realidad
dicho grupo contiene el grupo de Lorentz junto con las translacciones. El postulado
fundamental es que las leyes de la Fisica son covariantes bajo transformaciones del grupo
de Poincare.
El grupo de Poincare contiene translacciones, boosts y rotaciones. En lo que sigue nos
olvidaremos de las translacciones y solo consideraremos boosts y rotaciones, es decir, el
grupo de Lorentz.

A.1 Rotaciones en 3d
La definicion del grupo de Lorentz como aquel que deja invariante el intervalo es muy
reminiscente de algo muy familiar: el grupo de rotaciones. Consideremos un vector ~x en
R3 . La norma longitud de dicho vector es

|~x|2 = ~xT ~x = xi xj ij (409)

Por definicion, una rotacion es una transformacion xi Uji xj tal que la norma del vector
se mantiene constante. Esto se parece mucho a la definicion del grupo de Lorentz, solo que
en lugar de usar la metrica de Minkowski usamos la metrica euclidea ij . Esta claro que
la matriz M debe satisfacer que

U T U = 1l M SO(3) (410)
Supongamos una transformacion infinitesimal, es decir U = 1l + M . La matriz M satisface
pues que

90
 M T = M (411)
Es decir, M es una matriz antisimetrica. Como M actua en R3 , tiene 3 entradas inde-
pendientes. Es decir, podemos encontrar 3 matrices M I independientes satisfaciendo ser
antisimetricas en R3 .
Supongamos ahora la accion de una rotacion en mecanica cuantica. Supongamos una
funcion de onda (~x). Bajo una rotacion xi xi + Mji xj tenemos

(xi ) + Mji xj i + (412)

Usando la forma de las matrices M escritas como combinaciones de M I s, esta claro que
podemos escribir esto como

(xi ) 3 [x1 2 x2 1 ] + 2 [x1 3 x3 1 ] 1 [x2 3 x3 2 ] + (413)

donde i son los parametros de la rotacion particular. Introduciendo los generadores de

rotaciones actuando sobre funciones como

Lij = (xi j xj i ) (414)

tenemos pues que

= i ijk Ljk (415)

Los generadores Lij satisfacen que

[Lij , Lkl ] = ik Ljl il Ljk jk Lil + lj Lik (416)

Este alegra es el algebra de SO(3). Definiendo J i = 2 i ijk Ljk es facil ver que el algebra se
convierte en [J i , J j ] = 2 i ijk J k , es decir, tenemos el isomorfismo de algebras so(3) su(2).
Ya que las representaciones de SU (2) son sencillas es el algebra de momento angular
en mecanica cuantica!, construir representaciones de SO(3) tambien lo es: son las mismas
reps. que las de SU (2)!.

A.2 Rotaciones en 4d
Supongamos ahora el mismo ejercicio en 4d. Evidentemente de vuelta encotraremos que
el generador de rotaciones en 4d satisface que M T = M . En este caso hay pues 6
generadores. Colocando esos generadores en una matriz Lij donde ahora i, j = 1, , 6,
podemos repetir exactamente el mismo calculo de arriba, y encontraremos que el algebra
que los generadores satisfacen ahora es

[Lij , Lkl ] = ik Ljl il Ljk jk Lil + lj Lik (417)

91
Es decir, el mismo algebra que para las rotaciones en 3d solo que en una dimension mas.
Evidentemente esto continua siendo cierto en un numero arbitrario de dimensiones. Por lo
tanto, hemos encontrado el algebra para SO(d) con d arbitrario.
En 3d, usando el simbolo de Levi-Civita ijk encontramos que so(3) su(2). En 4d
u otras dimensiones esto no sera cierto. Para empezar el simbolo de Levi-Civita tendra
d indices! Sin embargo si podemos hacer lo siguiente. Tomemos los generadores Lij con
i, j = 1, 2, 3 y construyamos el vector

J a = 2 i abc Lbc a, b, c {1, 2, 3} (418)

Evidentemente estos J a satsifaran un algebra de SU (2), ya que si eliminamos la entrada
x4 en SO(4) lo que tenemos es el caso conocido de SO(3). Por otra parte, construyamos
el vector

K a = 2 i L4a (419)
Podemos ahora formar las combinaciones
1 a 1 a
N+a =(J + K a ) Na = (J K a ) (420)
2 2
Con un poco de paciencia se puede ver que

[N+a , N+b ] = 2 i abc N+c [Na , Nb ] = 2 i abc Nc [N+a , Nb ] = 0 (421)

Es decir, encontramos dos algebras de SU (2) que conmutan. Esto quiere decir que so(4)
su(2) su(2). Debido a esto, construir representaciones de SO(4) es muy sencillo: simple-
mente tenemos dos copias del algebra de momento angular, por lo que las representaciones
de SO(4) seran dos copias de representaciones de SU (2).

A.3 El grupo de Lorentz

Estamos ahora preparados para pasar al grupo de Lorentz. Dada la similitud formal con
SO(d), es obvio que el algebra que los generadores satisfaran sera muy parecida a so(d).
La diferencia estriba en que los generadores satisfacen que U T U = , lo que contiene
signos extras con respecto a SO(d). Repitiendo lo mismo que antes, es facil ver que el
algebra es

[Lij , Lkl ] = ik Ljl il Ljk jk Lil + lj Lik (422)

De vuelta, esto es independiente de la dimension, de manera que encontramos el algebra
de SO(1, d 1) el (1, d 1) hace referencia a que es como un grupo SO pero con una
signatura con d 1 direcciones con igual signo y una con el opuesto. Evidentemente esto
se puede generalizar de manera obvia y obtener SO(p, q).
Repitiendo las mismas manipulacies de antes podemos ahora definir

92
 1 a 1 a
N+a = (J + i K a ) Na = (J i K a ) (423)
2 2
tales que

[N+a , N+b ] = 2 i abc N+c [Na , Nb ] = 2 i abc Nc [N+a , Nb ] = 0 (424)

Por lo tanto, tambien el grupo de Lorenz es basicamente SU (2)L SU (2)R (se suelen
llamar a los dos SU (2) como left y right respectivamente). Las representaciones se con-
struyen de nuevo como productos de representaciones de SU (2). Ya que tenemos dos SU (2)
denotaremos las representaciones como (, ), poniendo en cada factor la correspondiente
representacion de SU (2)L, R .21

(0, 0): esto es un campo escalar de Lorentz

( 12 , 0): esto es un spinor de Weyl left transforma solo bajo SU (2) left.

(0, 21 ): esto es un spinor de Weyl right transforma solo bajo SU (2) right.

( 21 , 0) (0, 21 ): esto es un spinor de Dirac.

( 12 , 21 ): esto es una particula vectorial spin 1.

Hay sin embargo una diferencia crucial: la i en la definicion de Na hace que

N+a = (Na ) (425)

es decir, ambos SU (2) no son independientes, ya que conjugacion compleja nos lleva de
uno a otro. Notese que las particulas de spin entero son invariantes bajo esto, pero no
asi los spinores: los spinores Weyl left y right se intercambian. Aqui no vamos a elaborar
mucho mas en la teoria de las representaciones del grupo de Lorentz y su parte discreta,
que aqui no hemos discutido para nada. Para todo ello, consular la bibliografia.

B Spinorologia
Recordemos que las matrices satisfacen que

{ , } = 2 5 = i 1 1 2 3 (426)
Construyendo
i
=
[ , ] (427)
4
es facil ver, usando las propiedades de anticonmutacion, que
21 1 1
Por ejemplo, 2 se refiere a la representacion de spin 2 de SU (2).

93
 [ , ] = + (428)
que es el algebra del grupo de Lorentz que vimos en el apendice anterior. Como
actua en el mismo espacio donde actuan las s es decir, sobre spinores de Dirac esta
claro que sirven de representacion del grupo de Lorentz en dicho espacio. Asi pues, una
transformacion de Lorentz con parametro actua sobre un spinor de Dirac como

ei (429)
Hemos visto que para particulas sin masa es natural usar spinores quirales. Podemos
definirlos empezando con un Dirac como

1l 5 1l + 5
L = R = (430)
2 2
Notese que

[ , 5 ] = 0 (431)
Asi pues, la condicion de ser quiral es una condicion evidentemente covariante Lorentz,
ya que la transformacion Lorentz conmuta con el proyector de quiralidad. Esto quiere
decir que lo que es quiral en un sistema de referencia lo es en cualquier otro obtenido
transformando de Lorentz.
Para el campo escalar la condicion de realidad = ? es, por ser escalar, invariante
Lorentz. Para el spinor una condicion analoga no funcionaria, porque es compleja, y
por lo tanto imponiendo = en un sistema de Lorentz se transformaria en cualquier
cosa en otro sistema. Para remediar esto fijemonos en la ecuacion de Dirac

(i + m) = 0 (432)
Tomando su complejo conjugado

(i ( )? + m) ? = 0 (433)
Definamos

c = C ? (434)
Con C un cierto operador escogido tal que

C 1 ( )? C = (435)
Entonces C satisface

(i + m) c = 0 (436)
Notese que si tuviesemos un campo electromagnetico todo seria analogo, salvo por el hecho
de que, al tomar la conjugacion compleja, como el campo electromagnetico aparece con

94
i e A , la ecuacion que c satisface es la misma que la de pero con la carga electrica
opuesta. De ahi que esta operacion implementada por C sea la conjugacion de carga.
Notese que bajo conjugacion compleja

( )? = C 1 C (437)
Por lo tanto bajo transformacion de Lorentz + i tenemos que

? ? + i C 1 C ? (438)
Asi pues

c = C ? C ? + i C ? = c + i c (439)
Es decir, la condicion de conjugacion de carga es covariante Lorentz. Por lo tanto la
podemos usar para imponer una proyeccion extra sobre los spinores de Dirac, al igual que
la condicion de realidad para campos escalares. Esto define un spinor de Majorana

= C ? (440)
Evidentemente, al igual que el campo escalar real es neutro bajo el electromagnetismo es
real!!!, el spinor de Majorana correspondera a un fermion neutro.

B.1 El SM con spinores left

Para 5 tenemos tambien que

C ( 5 )? C = i C ( 0 )? ( 1 )? ( 2 )? ( 3 )? C 1 = 5 (441)
Con esto

1l 5 C 1 C 1 5 1l ( 5 )? ?  1l 5 
c = C C ? = C =C (442)
2 2 2 2
De manera que si es un spinor left

1l + 5  1l 5 
c = C = C ? = c (443)
2 2
es decir, c es right, y viceversa. Es decir, el spinor conjugado de carga de un spinor quiral
tiene la quiralidad opuesta.
Podemos usar esto para escribir el SM en terminos de spinores solo left. Tomemos por
sencillez solo una familia leptonica. Tenemos un doblete de SU (2)L left que llamamos LL
y un singlete de SU (2)L right que llamamos eR . Este ultimo lo podemos re-escribir en
terminos de su conjugado de carga que tendra carga +1 y sera un spinor left. De este
modo queda todo un poquito mas simetrico y preparado para supersimetria!

95
C Simetrias y corrientes conservadas
En muchos casos ocurre que un sistema descrito por una accion admite transformaciones
que dejan la accion invariante. El ejemplo mas sencillo es un escalar real libre sin masa
Z
S = d4 x 2 (444)

Esta accion es evidentemente invariante bajo + a con a un numero real cualquiera.

En general, supongamos una transformacion

i = ij j + i (445)
En general ij y i podrian ser incluso funciones de x. Por lo tanto

i = ij j + ij j + i (446)
Entonces
L L
L = i + i (447)
i i
queda

L L L L L
L = ij j + i + ij j + ij j + i (448)
i i i i i
Integrando por partes y usando las ecuaciones de movimiento
 L L 
L = ij j + i (449)
i i
Supongamos ahora el caso global, es decir, cuando ni ij ni i dependen de x. Entonces,
la transformacion de la accion es
Z  L 
4 L
S = d x ij j + i (450)
i i
Pero ya que esta transformacion es una simetria asi empezamos suponiendo! S = 0, con
lo que definiendo las corrientes
L L
jij = j jS = (451)
i i
Tenemos que son conservadas usando las eqs. de movimiento!, es decir

jij = 0 jS = 0 (452)
Esto suele ir bajo el nombre de Teorema de Noether, ya que fue descubierto por Emmy
Noether.

96
 Para ejemplificar esto, tomemos el caso estrella de un escalar complejo con simetria
U (1)
1 1
L = ? m2 ? (? )2 (453)
2 2
i
Esta teoria es invariante bajo e . La version infinitesimal es

= i (454)
Por lo tanto la corriente conservada es

j = ? ? (455)

D La particula libre en formalismo de path integral

Consideremos el ejemplo mas sencillo: una particula libre. La accion clasica es
1
m q 2 (456)
2
La ecuacion de movimiento es simplemente q = 0. La solucion, con condiciones iniciales
q(tI ) = qI y q(tF ) = qF es
qF qI
qcl (t) = t + qI (457)
tF tI
Escribamos una trayectoria arbitraria como q = qcl + qq , con qq tal que es cero en tI y tF .
La accion es
Z tF Z tF Z tF
1 2 1
dt m qcl + dt m qcl qq + dt m qq2 (458)
tI 2 tI tI 2
Explicitamente
Z tF q q  Z tF
m (qF qI )2 F I 1
+ dt m qq + dt m qq2 (459)
2 (tF tI ) tI tF tI tI 2
El trozo del medio es la integral de una derivada total, asi que

Z tF q q   q q  Z tF q q   
F I F I F I
dt m qq = m dt qq = m qq (tF ) qq (tI ) (460)
tI tF tI tF tI tI tF tI

Debido a las condiciones de contorno en qq , esto es cero. Por lo tanto la accion clasica para
una trayectoria arbitraria es
Z tF
m (qF qI )2 1
S= + dt m qq2 (461)
2 (tF tI ) tI 2

97
Por lo tanto
2 Z R tF
m (qF qI ) 1
i m qq2
hqF | e i H (tF tI )
|qI i = e 2 (tF tI )
Dq ei tI dt 2 (462)

Para hacer la integral demonos cuenta de que, como la condiciones de contorno son qI =
qF = 0, esta integral es

h0|ei H (tF tI ) |0i (463)

Introduciendo unidades escritas en terminos de |pi, esto es

Z Z Z
dp dp0 dp i p2 (tF tI )
h0|pi hp| ei H (tF tI ) |p0 i hp0 |0i = e 2m (464)
(2 ) (2 ) (2 )

Haciendo la integral encontramos finalmente

Z Rt r
i t F dt 12 m qq2 m
Dq e I = (465)
i 2 (tF tI )
Por lo tanto, todo junto
r (qF qI )2
i H (tF tI ) m im
hqF | e |qI i = e 2 (tF tI )
(466)
i 2 (tF tI )

E Tiempo euclideo, path integrals y mecanica estadis-

tica
Consideremos ahora una situacion a priori completamente diferente. Supongamos que
queremos estudiar la mecanica estadistica de un sistema a temperatura T = 1 . Como
todo el mundo sabe, la funcion de particion canonica es

Z = Tr e H (467)
Si |ni es una base del espacio de Hilbert, esto es
X
Z= hn|, e H |ni (468)
n

Supongamos ahora que definimos = i TE . Entonces

X
Z= hn|, ei H TE |ni (469)
n

Pero acabamos de ver una manera de escribir elementos de matriz genericos hF | ei H TE |Ii
en terminos de path integrals.

98
 Z Z
i H TE
hF |e |Ii = dqI dqF F (qF ) hqF | ei H TE |qI i I (qI ) (470)

donde
Z qF =q(TE ) R TE
i H TE
hqF | e |qI i = Dq ei 0 L
(471)
qI =q(0)

Como la cantidad relevante en mecanica estadistica es cuando estados inicial y final coin-
ciden, nos interesa en realidad
Z Z
i H TE
hn|e |ni = dqI dqF n (qF ) hqF | ei H TE |qI i n (qI ) (472)

donde
Z qF =q(TE ) R TE
i H TE
hqF | e |qI i = Dq ei 0 L
(473)
qI =q(0)

Podemos asumir n una base ortonormalizada del espacio de Hilbert, de manera que
X
n (qF ) n (qI ) = (qI qF ) (474)
n

Por lo tanto al final

Z q(TE )=q R TE
Z= Dq ei 0 L
(475)
q(0)=q

Es decir, hemos encontrado que el path integral que tenemos tras hacer

t i tE (476)
e imponer condiciones de contorno periodicas q(0) = q(TE ), tenemos la mecanica estadistica
del sistema.
El cambio de variables (476) se conoce como rotacion de Wick. Notese que si tenemos
el espacio de Minkowski R1, 3 , la rotacion de Wick lo convierte en el espacio euclideo R4 .
Para nuestra mecanica estadistica no solo estamos haciendo la rotacion de Wick, sino que
ademas estamos suponiendo que el tiempo euclideo (una de las coordenadas en R4 ) tiene
un tamagno finito TE e imponemos condiciones de contorno periodicas. Esto es analogo
a decir que la mecanica estadistica de un sistema es igual al path integral euclideo con el
tiempo euclideo siendo un circulo de tamagno TE = .
Este descubrimiendo es absolutamente sorprendente e increiblemente profundo. De
alguna manera, es como decir que la mecanica cuantica es una mecanica estadistica en
tiempo complejo (aunque esto son simplemente palabras!).

99
F Simetrias
La idea de simetria es central en fisica. Una simetria cuya aparicion es obvia es la simetria
bajo transformaciones de Poincare es decir, invariancia relativista. De hecho, el path
integral hace esta simetria completamente evidente, haciendolo por lo tanto el punto de
inicio mas natural para construir una teoria cuantica de campos. Pero en general podemos
tener mas simetrias. Se puede demostrar22 que la unitariedad de la matriz S solo es
compatible con la simetria de Poincare y un grupo de simetria interno que conmute con el
grupo de Poincare. Estas simetrias internas pueden ser locales o globales.

F.1 Simetrias globales

Supongamos la teoria mas sencilla del mundo: un boson escalar real sin masa. La accion
es
Z
1
S = d4 x 2 (477)
2
Esta teoria es invariante bajo la transformacion + a, con a una constante.
Hay simetrias mas interesantes. Consideremos por ejemplo un escalar complejo
Z
1 1
S = d4 x ||2 m2 ||2 ||4 (478)
2 2
Esta teoria es invariante bajo

ei (479)
Esta es una rotacion U (1), que es un grupo abeliano. Podemos tambien tener simetrias
no abelianas. Por ejemplo, consideremos un conjunto de N escalares reales con los que
~ T = (1 , , N ). La accion es
formaremos el vector
Z
1 ~T 1 ~T
~ (
~ T )
~ 2
S= m2 (480)
2 2
Evidentemente esta accion es invariante bajo

~M
~ (481)
con M una matriz satisfaciendo M T M = 1, l que es la definicion del grupo O(N ). Haciendo
los escalares complejos, el grupo de invariancia seria U (N ).
22
S.Coleman and J.Mandula, All possible symmetries of the S-matrix, Phys.Rev. 159 (1967) 1251-1256

100
F.2 Simetrias locales (gauge)
Las simetrias discutidas arriba son simetrias globales, ya que la transformacion es igual en
todos los puntos del espacio. Sin embargo un principio fundamental es la invariancia de las
leyes fisicas bajo transformaciones locales. Esto sugiere promover las simetrias anteriores
a simetrias locales (tambien llamadas simetrias gauge). Por sencillez, concentremonos en
el campo escalar complejo. Promoviendo la transformacion U (1) a simetria local, tenemos
la transformacion infinitesimal

+ i (x) (482)
Es evidente que la accion discutida arriba no es invariante bajo esta transformacion. Sin
embargo si lo es si introducimos un nuevo campo cuya transformacion compense la de del
escalar. Consideremos
Z
1 1
S = d4 x |D |2 m2 ||2 ||4 D = i A (483)
2 2
Esta accion es invariante bajo

+ i (x) A A + (484)
Esta transformacion se conoce como transformacion gauge. Guiados por el principio de
invariancia gauge hay un termino mas con dimension 4 que podemos agnadir a la accion

Z
1 1 2 1
S= d4 x F F + |D | m2 ||2 ||4 D = i A F = A A
4 e2 2 2
(485)
Esto es una version con escalares del electromagnetismo (por eso a veces se le llama scalar
QED).
Las simetrias locales gauge son intrinsecamente diferentes de las simetrias globales.
Mientras que las primeras clasifican el espectro de una teoria, las segundas eliminan estados.
Esto es porque una cantidad no invariante gauge se puede poner al numero que queramos
en particular a 0 haciendo transformaciones locales. Asi pues, las simetrias gauge en
realidad reflejan redundancias en la descripcion del sistema, y por eso sirven para eliminar
dichas redundancias. Es por eso que todas las cantidades con interpretacion fisica es
decir, lo que se mide deben ser invariantes gauge.
Volvamos a nuestro ejemplo de arriba. Para describir una particula sin masa de spin 1
el A de arriba hemos usado un vector en el espacio de Minkowski. Esto son en principio
8 grados de libertad (4 campos y 4 momentos), aunque el hecho de tener una particula sin
masa lleva a que en realidad tengamos 6 grados de libertad (3 campos y 3 momentos). Sin
embargo argumentos generales sobre las representaciones del grupo de Lorentz dictan que
una particula sin masa de spin 1 debe tener 4 grados de libertad (2 campos y 2 momentos).
La manera de reconciliar estos dos numeros es a traves de la simetria gauge, que permite
eliminar uno de los 3 campos (y su momento) dejando los grados de libertad deseados.

101
 Es dificil de sobreestimar la importancia de las interacciones gauge en fisica. No en
vano, el modelo estandard es un ejemplo particular de teoria gauge.

F.3 Ruptura espontanea de simetria

Consideremos de vuelta nuestro modelo con simetria global U (1). Las ecuaciones de
movimiento son

2 + m2 + 4 ||2 = 0 (486)
Es evidente que las soluciones de vacio son aquellas en las que = 0. Por lo tanto tenemos
que

m2
||2 = o =0 (487)
4
2 2
Es evidente que si m
4
> 0 la unica solucion es = 0. Sin emabargo si m
4
< 0 lo que ocurre
2
si m < 0. El signo de ha de ser positivo para que a gran el potencial sea acotado
por abajo resulta que la q solucion con || =6 0 no solo es valida sino que es de menor
2
energia. Escribiendo = m 4
ei esta claro que cualquier soluciona la ecuacion. En
ese sentido es una direccion plana, ya que esta claro que el potencial es igual para cualquier
0 . Podemos escoger pues un 0 a nuestro antojo y tomar como vacio
r
m2 i0
0 = e (488)
4
A esto se le conoce como ruptura espontanea de la simetria. El modelo original tenia
la simetria global U (1) que vimos. Pero el vacio resulta que no es invariante bajo dicha
simetria (ya que hay que escoger un 0 ), por lo que el vacio rompe la simetria de manera
espontanea. Esto es en contrasteR a una ruptura explicita, que seria por ejemplo agnadir
a la accion un termino digamos 4 . Esta claro que agnadiendo a la accion esto, esta de
entrada no es invariante U (1).
Expandamos alrededor del vacio que rompe espontaneamente la simetria haciendo
r
m2
0 = ( + ) ei(0 +p) (489)
4
Para , p pequegnos encontramos
Z
1 2
S d4 x 2 4 20 2 + 0 p2 (490)
2 2
es decir, la fluctuacion a lo largo de la direccion plana no tiene masa mientras que la
fluctuacion a lo largo de la direccion no plana si tiene una masa. Este es un fenomeno
universal y exacto: cuando tenemos una simetria espontaneamente rota, por cada direccion
plana original que teniamos que resulta rota por el vacio tenemos una particula escalar con

102
masa exactamente cero. Esto se conoce como teorema de Goldstone y a la particula escalar
sin masa se le llama boson de Goldstonte. Es una firma universal de ruptura espontanea
de simetria.
Cuando la ruptura espontanea de la simetria ocurre en una teoria donde la simetria es
local ocurre un fenomeno enormemente interesante: podemos escoger un gauge tal que el
boson de Goldstone esta puesto a cero en ese sentido esta comido por el campo gauge
al precio de que, ya que hemos fijado el gauge, ahora los 3 grados de libertad del campo
vectorial son fisicos: el campo vectorial se ha vuelto masivo! Este es el celebrado mecanismo
de Higgs.

F.4 Simetrias anomalas

En principio, la cuantizacion de los campos fermionicos es similar a la de los campos
bosonicos: se puede escribir un path integral para la accion de Dirac e integrar sobre los
campos Grassman. Sin embargo, una distincion fundamental aparece cuando hablamos de
simetrias. Debido a la naturaleza fermionica, simetrias clasicas pueden no serlo a nivel
cuantico. Es decir, si bien clasicamente una teoria tiene una corriente conservada j , es
decir, tal que j = 0, a nivel cuantico puede ocurrir que j 6= 0. A estas simetrias
que no lo son en realidad se las llama simetrias anomalas.
Un ejemplo canonico son las simetrias de flavor quirales. Como es bien sabido, en 4d
fermiones sin masa se representan por spinores de Weyl. Estos satisfacen que 5 = ,
siendo los que tienen autovalor + fermiones left y los que tienen autovalor fermiones
right. Podemos en principio escribir una teoria con solo fermiones left. De hecho, si tenemos
mas de un fermion left, digamos Nf de ellos, podemos escribir dicha teoria con simetria
U (Nf ). Como la simetria solo afecta a spinores de una quiralidad se llama simetria quiral.
Resulta que esta simetria, a nivel cuantico, es anomala. Esto tiene una importancia capital
en QCD, ya que en particular permite decaimientos de otro modo prohibidos (en particular
0 en 2 ).

G Reglas de Feynman para el SM con una generacion

Listado de las reglas de Feynman para el SM con una sola generacion, tomado de

http://www.stfc.ac.uk/ppd/resources/pdf/standardmodel09.pdf.

103
Feynman Rules in the Unitary Gauge (for one Lepton Generation)

Propagators:
(All propagators carry momentum p.)

W 2
i (g p p /MW )/(p2 MW
2
)

Z
i (g p p /MZ2 )/(p2 MZ2 )

A
i g /p2

e
i ( p + me )/(p2 m2e )

i p/p2

H
i/(p2 m2H )

104
Feynman Rules in the Unitary Gauge (for one Lepton Generation)

Propagators:
(All propagators carry momentum p.)

W 2
i (g p p /MW )/(p2 MW
2
)

Z
i (g p p /MZ2 )/(p2 MZ2 )

A
i g /p2

e
i ( p + me )/(p2 m2e )

i p/p2

H
i/(p2 m2H )

105
Feynman Rules in the Unitary Gauge (for one Lepton Generation)

Propagators:
(All propagators carry momentum p.)

W 2
i (g p p /MW )/(p2 MW
2
)

Z
i (g p p /MZ2 )/(p2 MZ2 )

A
i g /p2

e
i ( p + me )/(p2 m2e )

i p/p2

H
i/(p2 m2H )

106
Feynman Rules in the Unitary Gauge (for one Lepton Generation)

Propagators:
(All propagators carry momentum p.)

W 2
i (g p p /MW )/(p2 MW
2
)

Z
i (g p p /MZ2 )/(p2 MZ2 )

A
i g /p2

e
i ( p + me )/(p2 m2e )

i p/p2

H
i/(p2 m2H )

107
Feynman Rules in the Unitary Gauge (for one Lepton Generation)

Propagators:
(All propagators carry momentum p.)

W 2
i (g p p /MW )/(p2 MW
2
)

Z
i (g p p /MZ2 )/(p2 MZ2 )

A
i g /p2

e
i ( p + me )/(p2 m2e )

i p/p2

H
i/(p2 m2H )

108