INTRODUCCI

ON A LA TEOR

IA DE CAMPOS
CU

ANTICOS
L. L. Salcedo
Departamento de Fsica Atomica, Molecular y Nuclear,
Universidad de Granada, E-18071 Granada, Spain
E-mail: salcedo@ugr.es
5 de julio de 2012
Resumen
Apuntes incompletos de la asignatura. Versi on v1.0., 2010-2011.
Se ruega comunicar los errores o imprecisiones que puedan encontrarse.

Indice
1. Teora de campos clasicos 3
1.1. Invariancia Poincare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1. Notacion relativista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2.

Algebras de Lie de Lorentz y Poincare . . . . . . . . . . . . . . . . . . . . . 7
1.2. Derivada funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1
1.3. Formalismo lagrangiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Formalismo canonico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5. Simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5.1. Transformaciones de simetra . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5.2. Teorema de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.6. Simetras cinematicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.6.1. Traslaciones espacio-temporales . . . . . . . . . . . . . . . . . . . . . . . . 28
1.6.2. Rotaciones espacio-temporales . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.7. Simetras internas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.8. Corriente y acoplamiento gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.9. Generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2. Teora de perturbaciones 37
2.1. Renormalizaci on perturbativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.2. Renormalizabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.3. Renormalizaci on a todos los ordenes . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2
1. Teora de campos clasicos
1.1. Invariancia Poincare
1.1.1. Notaci on relativista
Usamos unidades c = 1. El espacio-tiempo (plano) es (isomorfo a) R
4
en 3 + 1 dimensiones.
x = x

= (t, x) = (t, x, y, z) R
4
. (1.1)
La cuatro componentes x

, x
0
= t, x
1
= x, x
2
= y, x
3
= z, son la componentes contrava-
riantes del cuadrivector x. Los ndices griegos son espacio-temporales, = 0, 1, 2, 3. Los ndices
latinos espaciales, i = 1, 2, 3.
La metrica de Minkowski es g

= diag (+1, 1, 1, 1), es decir,

g

=
_
_
_
+1, = = 0
1, = ,= 0
0, ,=
. (1.2)
Tambien se usa la metrica con signo opuesto, que tiene varias ventajas, pero la usada aqu esta mas
extendida en fsica de partculas.
Las componentes contravariantes de la metrica, g

, estan formadas por la matriz inversa de

las componentes covariantes, g

, es decir, g

. (Hay suma implcita sobre ndices

repetidos, en este caso .) En relatividad especial g

y g

tienen la misma matriz

g

= g

= diag (+1, 1, 1, 1), g

= g

= diag (1, 1, 1, 1) (1.3)

Usando la metrica se puede pasar de las componentes covariantes a las contravariantes de un
tensor y viceversa:
x

= g

= (t, x) x
0
= x
0
= t, x
i
= x
i
= x. (1.4)
La norma al cuadrado y el producto escalar se denen usando la metrica de Minkowski:
1
x x = x
2
= g

= x

= t
2
x
2
= t
2
x
2
y
2
z
2
,
x y = g

= x

= x
0
y
0
x y. (1.5)
1
No debe confundirse x
2
= x x con x
2
= y.

Idem x cuadrivector con x = x
1
.
3
(A menudo el punto del producto escalar es omite.) x
2
representa el intervalo relativista entre el
origen y el punto espacio-temporal x:
x
2
_
_
_
> 0 separacion tipo tiempo
< 0 separacion tipo espacio
= 0 separacion tipo luz
. (1.6)
Las transformaciones de Lorentz son las transformaciones lineales en el espacio-tiempo que dejan
invariante el producto escalar (o equivalentemente la norma al cuadrado):
: R
4
R
4
, x x

= x, x

,
xy = x

, g

= g

= g

. (1.7)
La invariancia requiere
g

= g

. (1.8)
En notacion matricial G =
T
G. La ley de transformaci on de las componentes covariantes es
x

= (
1
)

= g

= (
1
)

. (1.9)
Por su denicion el conjunto de transformaciones forman el grupo matricial L = O(1,3), que es
el grupo de Lorentz completo. Es un grupo de Lie de dimensi on 6 (en 3 + 1 dimensiones). La
ley de composicion corresponde al producto de matrices
12
=
1

2
.
El grupo completo contiene rotaciones, boosts, reexion espacial (paridad) e inversion temporal.
Teniendo en cuenta que det(AB) = det Adet B y det G = 1, se deduce que las transformaciones
de Lorentz se dividen en dos tipos L = L
+
L

de acuerdo con det = 1. Los elementos de L

se denominan inversiones. Por otro lado,

1 = g
00
= g

0
= (
0
0
)
2
(
0
i
)
2
, [
0
0
[ 1. (1.10)
Por tanto tambien hay dos tipos de transformaciones L = L

, ort ocronas o antiort ocronas, de

acuerdo con
0
0
0. El grupo de Lorentz completo contiene cuatro componentes conexas
L = L

+
L

+
L

. (1.11)
La componente L

+
es un subgrupo, el grupo propio de Lorentz generado por rotaciones y
boosts. Toda L

+
es de la forma (, v) = B(v)R(). B(v) es el boost puro de velocidad v
que act ua igual que sobre (1, 0):

_
1
0
_
= B
_
1
0
_
=
_

v
_
. (1.12)
4
Por otro lado el grupo de las rotaciones esta formado las transformaciones de Lorentz que dejan
invariante el vector (1, 0). Es decir, R() = B
1
(v)(, v) (que por construcci on deja (1, 0)
invariante). = n, donde n es el eje de rotacion (n
2
= 1) y es el angulo de rotacion. Los
boosts no forman un grupo en el caso relativista. (Dos boosts puros sucesivos en la misma direcci on
producen un boost puro en la misma direcci on, pero si no estan la misma direcci on se genera una
rotacion adicional.)
Las otras componentes de L se obtienen aplicando paridad e inversion temporal. Paridad es la
transformaci on
_
t
x
_
P
_
t
x
_
=
_
t
x
_
, P = diag (1, 1, 1, 1), PL

= L

. (1.13)
Observese que en un espacio de dimensi on arbitraria paridad se puede identicar con una reexion
que cambie el signo de un n umero impar de componentes de x. (Si se cambia un n umero par se
obtiene una rotacion.)
Inversion temporal es la transformaci on que cambia el sentido del tiempo:
_
t
x
_
T
_
t
x
_
, T = diag (1, 1, 1, 1), TL

= L

. (1.14)
El conjunto de transformaciones que deja invariante el intervalo (xy)
2
entre dos sucesos x e y
es el grupo inhomogeneo de Lorentz o grupo de Poincare, P = IO(1, 3). Son transformaciones
anes (, a)
x x +a, L, a R
4
. (1.15)
Es el producto semidirecto del grupo de traslaciones espacio-temporales, x x + a, con el grupo
de Lorentz. De su denicion sobre R
4
se deduce la ley de composicion (
12
, a
12
) = (
1
, a
1
)(
2
, a
2
),
con
12
=
1

2
y a
12
= a
1
+
1
a
2
.
Los objetos (sin ndices) invariantes bajo transformaciones de Lorentz se denominan escalares
(Lorentz). Por ejemplo, la norma al cuadrado, x
2
.
Los objetos que se transforman como x bajo transformaciones de Lorentz son cuadrivectores.
A

, A

= g

, (A

)
2
= A
2
. Por ejemplo, el cuadrimomento p

= (E, p), donde

E es la energa y p el momento. De modo que p
2
= p

= E
2
p
2
= m
2
es un escalar Lorentz.
Igualmente

=

x

es un cuadrivector:

=

x

=
x

= (
1
)

. (1.16)
5
Correspondientemente el dalambertiano =

=
2
t

2
es un escalar Lorentz.
Estas leyes de transformaci on son consistentes con las reglas de cuantizaci on E i
0
, p = i,
que se pueden escribir en forma conjunta como p

o (p

). N otese que para x y p lo

natural son las componentes contravariantes (x
i
son las componentes de x y p
i
son las de p), en
cambio para la derivada lo natural son las componentes covariantes,
i
son las componentes de ,
mientras que
i
= .
Por denicion un tensor (respecto del grupo L

+
) con mndices contravariantes y n covariantes
T

n
(los ndices pueden estar ordenados de forma distinta) se transforma seg un
2
T

n
=

n
T

n
, L

+
. (1.17)
La suma de tensores del mismo tipo produce otro tensor, A

+ B

= C

, y lo mismo el
producto, A

= C

. Los ndices se pueden subir y bajar con la metrica. Contraccion de un

ndice covariante con uno contravariante produce un nuevo tensor: A

= C

. La derivada de
un campo tensorial produce otro campo tensorial,

(x) = B

(x).
La metrica es un tensor invariante (por denicion de transformaci on de Lorentz):
g

= g

. (1.18)
Aparte de la metrica, solo hay otro tensor basico invariante L

+
, el tensor de Levi-Civita

(con d + 1 ndices en d + 1 dimensiones). Basico se reere a que cualquier otro tensor invariante
esta construido combinando g

. El tensor de Levi-Civita se dene por la propiedades: i)

es completamente antisimetrico bajo permutacion de ndices. En particular, se anula si dos

ndices toman el mismo valor. Y ii)
0123
= +1. N otese que entonces
0123
= 1. Esta eleccion de
signo no es universal.

es un pseudo-tensor ya que es un tensor (invariante) bajo L

+
pero
cambia de signo bajo L

= det()

. (1.19)
El producto de un n umero par de tensores de Levi-Civita es un tensor invariante y se puede escribir
en funcion de la metrica:

= g

+ . (1.20)
La suma es sobre 4! permutaciones de (), con signo menos si la permutacion es par y con signo
mas si es impar. En general se usa tensor para un objeto con comportamiento tensorial bajo L y
2
N otese que T

no es un tensor, y s lo es T

.
6
pseudo-tensor si en la transformaci on aparece det . As, si F

es un tensor,

F

=
1
2

es un pseudo-tensor. El potencial vector A es un vector (o autentico vector, o vector polar) y el

campo magnetico B = A (B
i
=
ijk

j
A
k
) es un pseudo-vector o vector axial. Bajo paridad
A(x) A(x), en cambio B(x) +B(x).
El cuadrivolumen subtendido por cuatro cuadrivectores A, B, C, D es

. Por
otro lado A, B, C subtienden una hipersupercie (subespacio tridimensional) con cuadrivector
normal

. Por construcci on

= 0 para cualquier cuadrivector V en .

Interesa especialmente el caso de cuadrivectores innitesimales. Con paraleleppedos innitesimales
de dimensi on n se puede cubrir una regi on R
4
(n = 4) o una hipersupercie (n = 3),
etc. En particular, el elemento de cuadrivolumen d
4
x corresponde a la celdilla con cuadrivectores
(dx
0
, 0, 0, 0), (0, dx
1
, 0, 0), (0, 0, dx
2
, 0), (0, 0, 0, dx
3
). Igualmente, la hipersupercie t = cte tiene
elemento de volumen d

= (d
3
x, 0, 0, 0).
1.1.2.

Algebras de Lie de Lorentz y Poincare
Para L

+
innitesimal

= g

,
T
G = G =

. (1.21)
La condici on de antisimetra (valida analogamente para un grupo O(n,m)) indica que solo hay 6
parametros independientes, correspondientes a 3 + 3 de rotaciones y boosts.
Si D() es una representacion de L

+
en un espacio vectorial V , D(
1

2
) = D(
1
)D(
2
), se
tendra
D() = e

i
2

, J

= J

. (1.22)
Los 6 operadores (en V ) J

son los generadores del grupo L

+
en V . En el caso innitesimal
D() = 1
i
2

. El factor i es convencional de modo que si la representacion es unitaria

J

son operadores hermticos.

3
El factor 1/2 es un factor de simetra, tambien convencional. Por
ejemplo, en la representacion D() = en V = R
4
,

= g

= g

+
1
2

(g

), (J

= i(g

). (1.23)
En este caso cada uno de los 6 operadores J

son matrices 4 4. La representacion no es unitaria.

3
El grupo de Lorentz propio es simple, conexo y no compacto, en consecuencia todas sus representaciones
unitarias son de dimension innita (excepto la representaci on trivial). De ah que mec anica cu antica relativista
requiere teora de campos.
7
Cualquiera que sea la representacion, los generadores satisfacen las relaciones de conmutacion
del algebra de Lie del grupo (y por tanto el algebra se puede obtener de cualquier representacion
el):
[J

, J

] = i(g

+g

). (1.24)
Extendamos el grupo de Lorentz al de Poincare, x x + a. Act ua primero y luego a,
(, a) = (1, a)(, 0). Entonces
4
D(, a) = e
ia

i
2

. (1.25)
P

, el cuadrimomento, son los generadores innitesimales del grupo de traslaciones.

El algebra de Lie de Poincare se puede obtener tambien a partir de una representacion matricial
usando una representacion en un espacio de 5 dimensiones:
_
a
0 1
__
x
1
_
=
_
x +a
1
_
. (1.26)
En todo caso, se obtiene para el algebra de Lie
[J

, P

] = i(g

), [P

, P

] = 0. (1.27)
En terminos de una descripci on espacio-temporal
H = P
0
, (P)
i
= P
i
, (J)
i
=
1
2

ijk
J
jk
, (K)
i
= J
0i
. (1.28)
K genera los boosts y J, el momento angular, las rotaciones. Con la signatura elegida para la
metrica, P
i
= P
i
= (P)
i
, sin embargo cuando por el contexto este claro (no haya ndices
griegos) usaremos simplemente P
i
(P)
i
. Las relaciones de conmutacion se pueden reescribir
[P
i
, P
j
] = [P
i
, H] = [J
i
, H] = 0,
[J
i
, P
j
] = i
ijk
P
k
, [J
i
, K
j
] = i
ijk
K
k
, [J
i
, J
j
] = i
ijk
J
k
,
[K
i
, P
j
] = i
ij
H, [K
i
, K
j
] = i
ijk
J
k
, [K
i
, H] = iP
i
. (1.29)
4
a y son coordenadas normales del grupo de traslaciones y de Lorentz respectivamente. Como para cualquier
grupo de Lie, es posible usar coordenadas normales globales para el grupo de Poincare completo e
ia

i
2

,
pero a

no coincidira con a.
8
Para el grupo de Lorentz se deduce que los operadores
J

=
1
2
(J iK) (1.30)
cumplen
[J
,i
, J
,j
] = i
ijk
J
,k
, [J
,i
, J
,j
] = 0. (1.31)
Es decir, la complexicacion del algebra de Lie de Lorentz so(1, 3) se descompone como la complexi-
caci on de su(2)su(2). Esto permite etiquetar las representaciones irreducibles del grupo propio de
Lorentz mediantes dos ndices [j
L
, j
R
] con j
L,R
entero o semientero (dimensi on (2j
L
+1)(2j
R
+1)).
Bajo paridad J

y por tanto [j
L
, j
R
] [j
R
, j
L
]. Hay dos representaciones irreducibles basicas
con las que se pueden contruir las demas representaciones irrededucibles de dimensi on nita del
grupo de Lorentz:
[
1
2
, 0] : J =
1
2
, K =
i
2
left,
[0,
1
2
] : J =
1
2
, K = +
i
2
right. (1.32)
Ejemplo. Para una partcula de Dirac, con las gammas de Dirac,

= (
0
, ), en la represen-
taci on quiral

5
=
_
1 0
0 1
_
,
0
=
_
0 1
1 0
_
, =
_
0
0
_
,
J

=
i
4
[

], J =
_
1
2
0
0
1
2

_
, K =
_
i
2
0
0
i
2

_
. (1.33)
Por tanto el espacio de Dirac de dimensi on 4 no es irreducible Lorentz, se reduce como [
1
2
, 0] [0,
1
2
].
Este espacio es invariante bajo paridad.
Respecto de las representaciones irreducibles del grupo de Poincare, hay dos operadores inva-
riantes Poincare que se pueden utilizar para clasicarlas, a saber, P
2
y W
2
. Estos dos operadores
conmutan con los generadores de Poincare. P
2
= P

= M
2
es la masa invariante al cuadrado.
El otro invariante esta relacionado con el espn:
W

=
1
2

, (1.34)
es el vector de Pauli-Lubanski, W
2
= W

.
Hay varios tipos de representaciones irreducibles unitarias de Poincare, pero solo las siguientes
han encontrado aplicaci on en fsica:
9
i) P

= J

= 0. Es la representacion trivial del grupo y corresponde al estado vaco (estado

fundamental de la teora de campos).
ii) P
2
= M
2
> 0, P
0
> 0, W
2
= M
2
j(j + 1), con j = 0,
1
2
, 1, . . . Hay una representacion
irreducible de este tipo por cada M (M > 0) y j. Se aplica a partculas masivas. En estas
representaciones hay un sistema en el que P = 0, el sistema centro de masas. En este sistema
W
0
= 0, W = MS, donde S es el espn (J = L + S = S en este caso por P = 0). Los
estados son de la forma [M, j; p, con = j, j + 1, . . . , j. p es el momento lineal y
la helicidad (momento angular en la direcci on del momento lineal).
iii) P
2
= 0, P
0
> 0, = 0,
1
2
, 1, . . .. Hay una representacion irreducible de este tipo por
cada . Representa partculas sin masa. En este caso W

= P

y es un invariante Lorentz
(pseudo-escalar) que presenta la helicidad. Por este motivo hay un unico valor de la helicidad
en cada representacion irreducible y no 2j + 1 como ocurre para partculas masivas. La base
es [M = 0, ; p.
1.2. Derivada funcional
Una funcion es una aplicaci on f : A B. Suele usarse el nombre funcion cuando A es R
n
o C
n
, o mas generalmente cuando A es una variedad de dimensi on nita. Por ejemplo f(x) con
x R
n
. Se suele usar el nombre funcional cuando A es un conjunto de funciones (en el sentido
anterior). Por ejemplo
A = : R
n
R
x (x)
, f : A B
f[]
. (1.35)
El dominio es com un a todas las funciones . Se usa a veces [] en vez the () para denotar
dependencias funcionales. Usualmente B es R
n
o C
n
.
Ejemplo. Si (x) (x R
3
) es la densidad de partculas, el n umero de partculas, N[] =
_
d
3
x(x), es un funcional de .
Ejemplo. H
rad
=
1
2
_
d
3
x(E
2
(x) +B
2
(x)), la energa del campo de radiacion, es un funcional
de E(x) y de A(x).
Ejemplo.
x
[] = (x) es la distribuci on delta de Dirac. Es un funcional lineal de , con un
parametro x. Tambien suele escribirse
x
[] =
_
d
n
y (y x)(y).
10
El concepto de derivada funcional es una generalizacion del concepto de derivada parcial
para funciones ordinarias. Para una funcion ordinaria f : R
n
R y una variaci on x x + x,
f(x) =
n

i=1
f(x)
x
i
x
i
+ O(x
2
). Por denicion el coeciente lineal en x
i
es la derivada parcial,

i
f(x).
5
Analogamente, para un funcional, F : F[] consideramos una variaci on + .
La variaci on es local (se anula fuera de cierto soporte). Esto induce una variaci on en F: F[] =
F[ + ] F[]. Para F diferenciable (por denicion) F[] =
_
d
n
xK(x)(x) + O((x)
2
).
La funcion K(x) depende de x y y es la derivada funcional de F respecto de en x. Suele
denotarse
F[]
(x)
. As, para innitesimal
F[] =
_
d
n
x
F[]
(x)
(x). (1.36)
Por tanto la derivada funcional mide la dependencia de F con respecto a una variaci on de (x) en
un entorno de x.
N otese que: i)
F[]
(x)
no depende de la variaci on (x). ii)
F[]
(x)
tiene dimensiones de
[F][]
1
[d
n
x]
1
(a diferencia de
i
f(x) que tiene dimensiones [f][dx]
1
). iii) (x) es local.
Esto quiere decir que se anula fuera de alguna regi on acotada que no incluye los lmites del domi-
nio de las funciones , en particular el soporte de es interior al dominio de las funciones ,

= 0. Esto permite integrar por partes sin guardar terminos de supercie.

Ejemplo. Sea F[] =
_

d
n
xf((x),
i
(x), x) para cierta funcion f.
F[] =
_

d
n
x
_
f
(x)
(x) +
f
(
i
(x))
(
i
(x))
_
(1.37)
=
_

d
n
x
_
f
(x)
(x)
i
_
f
(
i
(x))
_
(x)
_
+
_

d
n
x
i
_
f
(
i
(x))
(x)
_
.
Se ha usado que (
i
(x)) =
i
((x)). El ultimo termino puede reescribirse
_

d
n1
S
i
f
(
i
(x))
(x) = 0. (1.38)
5
Siempre suponemos que las funciones u objetos matematicos considerados son sucientemente bien com-
portados, en este caso f es diferenciable.
11
Es un termino de supercie y se anula por = 0 en . Por tanto
F[]
(x)
=
f
(x)
(x)
i
_
f
(
i
(x))
_
. (1.39)
(Hay suma implcita sobre i.) La derivada parcial
i
externa en el segundo termino se reere a toda
la dependencia en x, no solo a la x explcita en f.
Otra forma de introducir la derivada funcional es discretizando x. Supongamos : R
n
R.
Dividimos la regi on en celdillas
i
, i = 1, 2, . . . (un n umero nito si es acotado) cada una con
volumen V
i
, de modo que
i
es un partici on de . Al nal se toma el lmite V
i
0 (uniforme-
mente). A cada celdilla se le asocia un valor representativo
i
denido como (V
i
)
1
_

i
d
n
x(x)
(u otro promedio adecuado). La idea es que se ha sustituido un conjunto continuo de coordenadas
(x) para describir la funcion (o campo) por un conjunto discreto
i
. El funcional F[] se sustituye
por una funcion de las
i
,

F( ). Se espera recuperar la descripci on detallada en el lmite del
continuo, V
i
0.
F[]

F(
i
), (x)
i
,

F =

F( )

i

i
=

i
V
i
1
V
i

F

i

i
. (1.40)
En el lmite del continuo

i
V
i

_

d
n
x,
i
(x),
1
V
i

F( )

i

F[]
(x)
. (1.41)
Algunas propiedades:

(x)
(aF +bG) = a
F
(x)
+b
G
(x)
,
(FG)
(x)
=
F
(x)
G+F
G
(x)
,

(x)

(y)
F =

(y)

(x)
F,
(x)
(y)
= (x y). (1.42)
12
1.3. Formalismo lagrangiano
Supongamos un sistema fsico en d + 1 dimensiones descrito por campos reales
A
(x), A =
1, . . . , N. Los campos estan denidos en cierta regi on V R
d
. El conjunto de funciones
A
(x) es
la conguraci on (espacial) del campo. Mas generalmente los campos pueden ser complejos o tomar
valores en espacios de matrices, o directamente en algebras, grupos de Lie, etc. En su evoluci on
temporal el sistema describira un camino en el espacio de conguraciones espaciales,
A
(x) =

A
(x, t), x R
d+1
.
A
(x) es la conguraci on espacio-temporal del campo.
El campo, con innitos grados de libertad (N grados de libertad en cada punto x) es una
idealizaci on, y en todo caso es conveniente tratarlo como un caso lmite de un sistema con grados
de libertad discretos, que conocemos mejor. Como se ha descrito antes (al nal de la seccion 1.2),
discretizamos V en celdillas de tama no V
i
y asociamos un promedio de los campos en cada celdilla,

A,i
. Posteriormente tomaremos el lmite del continuo V
i
0. Al sistema mecanico descrito por
los grados de libertad

A,i
se le asocia un lagrangiano

L(t) =

L(

, t) (con posible dependencia

explcita en t). Aqu

A,i
=
d

A,i
dt
. La acci on del sistema en el intervalo temporal [t
1
, t
2
]

W
2,1
(

) =
_
t
2
t
1

L(t) dt, (1.43)

es un funcional del camino

A,i
(t) en el espacio de conguraci on discretizado. Las ecuaciones de
movimiento se obtienen aplicando el principio de Hamilton o de mnima acci on: la acci on debe ser
invariante bajo una variaci on de primer orden

A,i
(t) que se anule en los extremos temporales:

W
2,1
(

) = 0,

A,i
(t
1
) =

A,i
(t
2
) = 0. (1.44)
Es una condici on sobre

A,i
(t). Para obtener las ecuaciones de movimiento, notemos que debido a
que la variaci on es local (en t), se aplica la denicion de derivada funcional

W
2,1
(

) =
_
t
2
t
1
dt


W

A,i
(t)

A,i
(t), (1.45)
donde la derivada funcional se reere a

A,i
(t) como funciones de t y hay suma implcita sobre A, i.
Mas explcitamente, notando que la forma del lagrangiano es

L(

,

) se puede aplicar (1.39) para
n = 1 (y extendida a varias variables). Las ecuaciones de movimiento son
0 =


W

A,i
(t)
=

A,i

d
dt

A,i
. (1.46)
13
Son las ecuaciones de Euler-Lagrange, o de movimiento, para el sistema discretizado.
En el lmite del continuo

L(

, t) L[,

, t],

W
2,1
(

) W
2,1
[] =
_
t
2
t
1
dt L[,

, t]. (1.47)
El lagrangiano es un funcional de
A
(x) y

A
(x), como funciones de x. La acci on es un funcional
de
A
(x) como funcion de x = (x, t). Para obtener las ecuaciones del movimiento en el continuo,
se multiplican las ecuaciones de movimiento discretas (1.46) por 1/V
i
y se aplica (1.41):
0 =
L

A
(x)

d
dt
L

A
(x)
. (1.48)
En la aplicaci on de (1.41) se ha supuesto que las variaciones
A
(x) y

A
(x) son locales, en
particular, se anulan en V . Esto puede ocurrir por que haya condiciones periodicas de contorno de
modo que V es vaco, o V = R
d
(todo el espacio) y los campos van a cero en el innito, o tienen
condiciones de contorno tipo caja en V .
Las ecuaciones se pueden derivar directamente del principio de Hamilton extendido a campos.
Los campos
A
(x) estan denidos en una regi on R
d+1
, que hasta ahora era V [t
1
, t
2
],
pero ahora suponemos arbitraria. Entonces el principio extendido requiere que bajo una variaci on
innitesimal de
A
(x) (conguraci on espacio-temporal) que se anule en la frontera de la acci on
quede invariante
W

[] = 0,
A
(x)

= 0. (1.49)
Este requerimiento da lugar a las ecuaciones de movimiento (de nuevo la variaci on es local y da
lugar a la derivada funcional):
0 =
W

A
(x)
. (1.50)
N otese que esta ecuaci on no requiere que exista un lagrangiano.
Veamos que este principio nos lleva a las mismas ecuaciones (1.48). La condici on
A
(x)

= 0
se satisfaca ya, dado que = V [t
1
, t
2
] con
A
(x, t
1
) =
A
(x, t
2
) = 0 y tambien
A
(x, t)

V
=
14
0. Entonces
W

[] =
_
t
2
t
1
dt L[,

, t] =
_
t
2
t
1
dt
_
V
d
d
x
_
L

A
(x)

A
(x) +
L

A
(x)

A
(x)
_
=
_
t
2
t
1
dt
_
V
d
d
x
_
L

A
(x)

d
dt
L

A
(x)
_

A
(x). (1.51)
Efectivamente W

[] = 0 implica (1.48).
En la practica los lagrangianos de campos que se consideran son locales, es decir, de la forma
W

[] =
_

d
d+1
/((x), (x), x). (1.52)
/(x) es la densidad lagrangiana. (x) se reere a

(x), las derivadas parciales respecto de

x. La formulaci on hasta ahora es valida en general, pero en teora relativistas debe aparecer de
forma simetrica con

=
t
. Incluso en teoras no relativistas, las derivadas espaciales aparecen
de forma natural: la aparici on de
t
(a traves de la energa cinetica) indica que cuesta energa
deformar
A
(x) en sentido temporal. Del mismo modo cuesta energa deformarlo en sentido espacial
y eso introduce
A
. No se consideran densidades lagrangianas con derivadas de orden superior del
mismo modo que no aparece q
i
en el lagrangiano en mecanica. Que la acci on sea local indica que si

1

2
= , W

2
= W

1
+W

2
y no hay acci on a distancia.
Para una teora local, la derivada funcional en (1.50) puede calcularse en forma mas explcita
por aplicaci on de (1.39):
0 =
/(x)

A
(x)

_
/(x)
(

A
(x))
_
. (1.53)
Son las ecuaciones de Euler-Lagrange, o de movimiento, de la teora de campos.
6
De nuevo la

externa del segundo termino act ua sobre toda la dependencia en x no solo la x explcita en / (en
ese sentido la derivada es total y a veces se usa la notacion T

).
Ejemplo. Consideremos la teora de Klein-Gordon real,
/(x) =
1
2

(x)

(x)
1
2
m
2

2
(x). (1.54)
En este caso
7
/(x)
(x)
= m
2
(x),
/(x)
(

(x))
=

(x), (1.55)
6
N otese que la metrica de Minkowski no aparece realmente en la formula. Las ecuaciones son v alidas en
cualquier teora de campos locales, relativistas o no.
7
(

)/(

) = g

)/(

) = 2g

= 2

.
15
y las ecuaciones de Euler-Lagrange quedan
(

+m
2
)(x) = 0. (1.56)

Esta es la denominada ecuaci on de Klein-Gordon. El parametro m 0 es la masa del campo.

Debe notarse que las ecuaciones de movimiento no determinan W[] o /(x) de forma unvoca,
ya que dos densidades lagrangianas /(x) y /

(x) relacionadas mediante:

/

(x) = /(x) +

((x), x) (1.57)
producen las mismas ecuaciones (de nuevo

deriva toda la dependencia en x).

es una fun-
ci on arbitraria de y x (pero no contiene ). Esto se puede vericar directamente en (1.53).
Alternativamente, se ve notando que la nueva contribuci on a la acci on es un termino de supercie:
_

d
d+1
x

((x), x) =
_

d
d

((x), x). (1.58)

Esta acci on no tiene derivada funcional y no cambia las ecuaciones de movimiento.
Si se tiene un par de campos reales
1
(x),
2
(x), se pueden formar dos campos complejos
equivalentes (x),

(x):
(x) =
1

2
(
1
(x) +i
2
(x)),

(x) =
1

2
(
1
(x) i
2
(x)), (1.59)
de modo que las ecuaciones de movimiento
0 =
/(x)

A
(x)

_
/(x)
(

A
(x))
_
, A = 1, 2 (1.60)
se pueden cambiar por las dos ecuaciones
0 =
/(x)
(x)

_
/(x)
(

(x))
_
, 0 =
/(x)

(x)

_
/(x)
(

(x))
_
. (1.61)
Aqu (x) y

(x) se tratan como campos independientes (a efectos de derivadas parciales o fun-

cionales). El factor 1/

2 es convencional. Dado que /(x) es real las dos ecuaciones son conjugadas
una de otra.
8
En la practica esta construcci on solo tiene interes si los campos tienen la misma
naturaleza, por ejemplo el mismo espn y la misma masa.
8
Para cualquier teora, la accion debe ser real para que la condici on de estacionaridad tenga soluci on dentro
del campo de
A
(x) reales. Si /(x) fuera complejo la soluci on de las ecuaciones eq. (1.61) producira un

(x)
que no sera el conjugado de (x). Por otra parte, si se cambia la ecuaci on de

(x) para que sea la conjugada

de la de (x) resulta que no hay una accion com un de la cual deriven el par de ecuaciones modicadas.
16
Ejemplo. Campo de Klein-Gordon complejo. Se tienen dos campos de Klein-Gordon reales de
igual masa m y desacoplados
/(x) =
1
2
(

1
)
2

1
2
m
2

2
1
+
1
2
(

2
)
2

1
2
m
2

2
2
, (1.62)
en terminos del campo complejo
/(x) =

(x)

(x) m
2

(x)(x). (1.63)
(x) y

(x) y satisfacen la ecuaci on de Klein-Gordon (1.56).

1.4. Formalismo canonico
Volvemos temporalmente a la version discretizada. El momento canonico conjugado de la coor-
denada

A,i
es

A,i
=

A,i
, (1.64)
y el hamiltoniano es

H(

, , t) =

A,i

A,i

A,i

L. (1.65)
Para que tenga buen lmite al continuo, hay que escalar
A,i
con 1/V
i

A,i
V
i

A
(x) =
L

A
(x)
. (1.66)
Entonces

H tambien tiene buen lmite

A,i

A,i

A,i

L H[, , t] =

A
_
V
d
d
x
A
(x)

A
(x) L, (1.67)
y lo mismo las ecuaciones de Hamilton

A,i
(t) =


H

A,i

A
(x) =
H

A
(x)
,

A,i
(t) =


H

A,i

A
(x) =
H

A
(x)
. (1.68)
17
N otese que en el formalismo canonico hay que eliminar las velocidades en funcion de los momentos
canonicos (invirtiendo (1.66) en el caso de campos). Las derivadas de H o L son respecto de
A
(x)
y
A
(x) como funciones de x (no x).
En el caso de una teora local
H =
_
V
d
d
x1((x), (x), (x), x), 1(x) =

A
(x)

A
(x) /(x). (1.69)
1(x) es la densidad hamiltoniana. Observese que 1(x) no contiene derivadas de (x), y por tanto
las ecuaciones de Hamilton se pueden escribir en la forma

A
(x) =
1(x)

A
(x)
,
A
(x) =
1(x)

A
(x)
+
_
1(x)
(
A
(x))
_
. (1.70)
De nuevo, todas estas formulas valen para un sistema de campos cualesquiera. En el caso de
un sistema con covariancia relativista, el formalismo lagrangiano mantiene esa simetra explcita
(W es invariante Lorentz y /(x) es un escalar Lorentz). En cambio el formalismo canonico no es
maniestamente covariante. En realidad H no un invariante Lorentz sino la componente temporal
de un cuadrivector.
Ejemplo. Para el campo de Klein-Gordon real (1.54), el momento canonico y la densidad
hamiltoniana son
(x) =
/

(x)
=

(x), 1(x) =
1
2
_

2
(x) + ((x))
2
+m
2

2
(x)
_
. (1.71)
Las ecuaciones de Hamilton son

(x) = (x), (x) =

2
(x) m
2
(x). (1.72)
Estas dos ecuaciones son equivalentes a la ecuaci on de Klein-Gordon (

+m
2
)(x) = 0.
Para campos complejos (x),

(x)
(x) =
/(x)

(x)
=
1

2
(
1
(x) +i
2
(x)),

(x) =
/(x)

(x)
=
1

2
(
1
(x) i
2
(x)),
1(x) =
1
(x)

1
(x) +
2
(x)

2
(x) /(x) =

(x)

(x) +(x)

(x) /(x). (1.73)

18
Ejemplo. Para el campo complejo de Klein-Gordon, (1.63),
(x) =

(x),

(x) =

(x),
1(x) =

(x)(x) +

(x) (x) +m
2

(x)(x). (1.74)

Para construir el parentesis de Poisson empezamos en el sistema discretizado. Dados dos fun-
cionales F[, ] y G[, ] (que tambien pueden depender del tiempo) expresados en las variables
canonicas, y sus versiones discretizadas,

F,

G =

A,i
_


F

A,i

G

A,i

F

A,i

A,i
_
. (1.75)
A nadiendo los factores V
i
y tomando el lmite del continuo, se obtiene la version para campos:
F, G =

A
_
V
d
d
x
_
F

A
(x)
G

A
(x)

F

A
(x)
G

A
(x)
_
. (1.76)
Usando las identidades

A
(x)

B
(y)
=
AB
(x y),

A
(x)

B
(y)
=
AB
(x y),

A
(x)

B
(y)
=

A
(x)

B
(y)
= 0, (1.77)
Se comprueba que
i) La ecuaciones de Hamilton se pueden reescribir

A
(x) =
A
(x), H,
A
(x) =
A
(x), H. (1.78)
Mas generalmente, para un observable cualquiera
dF
dt
= F, H +
F
t
. (1.79)
ii) Se satisfacen las relaciones canonicas

A
(x),
B
(y) =
A
(x),
B
(y) = 0,
A
(x),
B
(y) =
AB
(x y). (1.80)
19
Para un campo complejo
F, G =
_
V
d
d
x
_
F
(x)
G

(x)

F

(x)
G
(x)
+
F

(x)
G
(x)

F
(x)
G

(x)
_
(x),

(y) =

(x), (y) = (x y). (1.81)

Los restantes parentesis de Poisson canonicos se anulan.
Ejemplo. La funcion de onda de una partcula no relativista se puede ver como un campo
complejo con ecuaci on de Schr odinger como ecuaci on de movimiento. La ecuaci on
i
t
(x) =
1
2m

2
(x) +V (x)(x) (1.82)
y su conjugada, con campos (x) y

(x), derivan del lagrangiano

/(x) =

(x)
_
i
t
+
1
2m

2
V (x)
_
(x). (1.83)
Integrando por partes se ve que la acci on correspondiente es real si V (x) lo es. Por tanto esta
densidad lagrangiana diere de una real por un termino de supercie, a saber,
i
2

t
(

(x)(x)) +
1
2m
(

(x)(x)):
/

(x) =
i
2
(

(x)

(x)

(x)(x))
1
2m

(x) (x) V (x)

(x)(x). (1.84)
Ambas formas son equivalentes. Usamos la primera por simplicidad.
El formalismo lagrangiano, y en particular las ecuaciones de Euler-Lagrange, no presenta proble-
mas. No es el caso para el formalismo hamiltoniano o canonico. Para los momentos canonicos se
encuentra

(x) =
/(x)

(
x)
= i

(x), (x) =
/(x)

(x)
= 0. (1.85)
Claramente no se puede proceder a eliminar las velocidades en funcion de los momentos canonicos.
El problema proviene de que el lagrangiano es lineal en las velocidades y persiste usando la forma
/

(x). En realidad solo hay dos campos complejos independientes que son y

(o

), en vez
de cuatro ,

, ,

. Es decir, hay la mitad de grados de libertad de los aparentes. Teniendo en

cuenta esto se puede proceder a hacer el formalismo canonico:
1(x) =

(x)

(x) /(x) = i

(x)
_

1
2m

2
+V (x)
_
(x),
(x), (y) =

(x),

(y) = 0, (x),

(y) = (x y). (1.86)

20
Las ecuaciones de Hamilton salen ahora correctamente
9
y reproducen la ecuaci on de Schr odinger y
su conjugada.
Tambien se puede trabajar con (x) y

(x) (en vez de

(x)):
1(x) =

(x)

(x) /(x) =

(x)
_

1
2m

2
+V (x)
_
(x),
(x), (y) =

(x),

(y) = 0, (x),

(y) = i(x y). (1.87)

N otese que H =

(siendo H el hamiltoniano del campo clasico y

H el operador hamiltoniano
de la partcula cuantica.)
1.5. Simetras
1.5.1. Transformaciones de simetra
Sea un sistema dinamico, cuyo estado esta descrito por la conguraci on (espacio-temporal) de
los campos clasicos reales
A
(x), A = 1, . . . , N, y la dinamica viene dada por una acci on W()
que suponemos local, es decir,
W

() =
_

d
4
x/(x), (1.88)
donde la densidad lagrangiana /(x) es una funcion (no funcional) de
A
(x),

A
(x) y x. El caso
de conguraciones denidas sobre otras variedades se puede reducir a este.
Una transformacion (activa) del campo es una aplicaci on invertible g, que supondremos
sucientemente continua, tal que a cada conguraci on espacio-temporal le hace corresponder una
nueva conguraci on,
g
. Las transformaciones forman un grupo.
La transformaci on es de simetra (en sentido amplio) si deja invariante el subconjunto de
conguraciones que son soluciones de las ecuaciones de movimiento, es decir, si
W()
(x)

=
= 0 implica
W()
(x)

=
g
= 0. (1.89)
Tambien las transformaciones de simetra forman un grupo, el grupo de simetra del sistema.
9
Teniendo en cuenta que 1(x) contiene una dependencia inusual en
2
(x), o por partes, contiene

(x).
21
Nota: Hay que advertir que la simetras que acabamos de denir son mas concretamente
simetras de la dinamica. En cierto sentido mas laxo toda transformaci on realizable sobre el
sistema es una simetra. Por ejemplo, supongamos un sistema de partculas cargadas que se mueven
en un plano. El grupo de rotaciones tridimensionales SO(3) no dene un grupo de transformaciones.
SO(3) no es realizable en este sistema (por lo menos no en ninguna forma natural interpretable
como una autentica rotacion). En cambio el grupo de rotaciones planas SO(2) s lo hace. Es una
simetra del plano que induce una correspondiente simetra en la variedad formada por el espacio de
conguraci on de las partculas. Si no hay campos externos aplicados, SO(2) debe ser tambien una
simetra de la dinamica: si una trayectoria es soluci on, la trayectoria rotada tambien lo sera (evoluci on
y rotacion conmutan). Si hay campos externos aplicados y consideramos dos conjuntos de condiciones
iniciales rotadas unas respecto de otras, las trayectorias correspondientes no estaran relacionas por
una rotacion si los campos externos son jos, pero s lo estaran si al mismo tiempo rotamos los
campos externos. Esto es una consecuencia de la simetra SO(2) subyacente. Por tanto, a menudo se
denomina de simetra (en sentido mas amplio) a cualquier transformaci on realizable sobre el sistema.
Solo vamos a considerar transformaciones locales, es decir, del tipo:

g
A
(x
g
) = F
g
A
(x, (x)), x
g
= f
g
(x). (1.90)
Aqu F y f son funciones sucientemente diferenciables de x y (x) (no funcionales generales de
, por eso la transformaci on es local). La transformaci on activa es

A
(x)
g

g
A
(x) = F
g
A
(x
g
1
, (x
g
1
)). (1.91)
Cuando x
g
= x se dice la transformaci on es interna.
A efectos practicos conviene usar una denicion mas restringida de simetra, a saber, diremos
que la transformaci on local g es de simetra si la acci on es invariante, salvo posibles terminos de
supercie, es decir, si
W

g (
g
) = W

() +
g

(). (1.92)
Aqu
g
es la regi on transformada de , es decir,
g
= x
g
, x . Ademas

() =
_

d
3

(x) =
_

dx
4

(x), (1.93)
donde
g

(x) depende de x y (x) (pero no de (x)).

10
10
N otese que el termino de supercie cambia bajo una reelecci on de la densidad lagrangiana
/(x) /

(x) = /(x) +

(x).
Se puede elegir

(x) para anular

g
(x) para una transformacion concreta, pero no para todas las transfor-
maciones de interes simult aneamente.
22
Es importante notar que la condici on (1.92) debe satisfacerse para toda conguraci on , no
solo para soluciones de las ecuaciones del movimiento. En este caso, es inmediato que la denicion
restringida implica la otra. En efecto, sea

una regi on arbitraria y (

g
) una variaci on innitesimal
arbitraria de
g
en el interior de

, excepto por la condici on (

)[

= 0. Por ser g invertible y

local habra unos correspondientes y tales que

=
g
, (
g
) = ( +)
g

g
, [

= 0.
Entonces si es una soluci on de las ecuaciones de movimiento, se tendra
W

(
g
) = W

() +
g

() = 0,
(W

() se anula por ser una soluci on y

g

() por ser
g

() de supercie y [

= 0). En
consecuencia
g
tambien es una soluci on de las ecuaciones del movimiento.
La situacion mas general es
W

g (
g
) = W

() +
g

() +

W
g

(),

W
g

() =
_

d
4
xD
g
(x). (1.94)
(D
g
(x) depende de x, (x) y (x), igual que /(x).) Si el nuevo termino no es de supercie g no
deja invariantes las ecuaciones de movimiento y no es una simetra. Evidentemente hay una cierta
ambig uedad en

W
g

() ya que siempre se puede trasvasar un termino de supercie de

g

() a

W
g

().
1.5.2. Teorema de Noether
Consideremos una transformaci on local innitesimal:
x = x
g
x, (x) =
g
(x) (x). (1.95)
La ecuaci on (1.94) toma la forma
W

() =
_

d
4
x

(x) +
_

d
4
xD(x). (1.96)
La variaci on del campo tiene dos contribuciones, una porque F
g
se aparta innitesimalmente de
la identidad, y otra porque x vara. Conviene separar ambas contribuciones:

g
(x
g
) = F
g
(x, (x)) = (x) +

(x),

g
(x) =
g
(x
g
x) =
g
(x
g
) x

g
(x) = (x) +

(x) x

(x), (1.97)
23
es decir
(x) =

(x) x

(x). (1.98)
Igualmente la variaci on W

() tiene dos contribuciones, (1) por

g
y (2) por
g
.
W

= W
(1)

+W
(2)

. (1.99)
Para la primera
W
(1)

=
_

d
3

/(x) =
_

d
4
x

(x

/(x)). (1.100)
Para la segunda
W
(2)

=
_

d
4
x/(x) =
_

d
4
x
_
/(x)
(x)
(x) +
/(x)
(

(x))

(x)
_
=
_

d
4
x
_
W
(x)
(x) +

_
/(x)
(

(x))
(x)
__
. (1.101)
En conjunto
W
(x)
(x) +

_
/(x)
(

(x))
(x)
_
+

(x

/(x)) =

(x) +D(x). (1.102)

Se deduce que cuando el campo satisface las ecuaciones de movimiento

(x) = D(x), (1.103)

donde J

(x) es la corriente (innitesimal) de Noether o corriente canonica:

J

(x) =
/(x)
(

A
(x))

A
(x) +x

/(x)

(x) (1.104)
=
/(x)
(

A
(x))

A
(x) +x

_
g

/(x)
/(x)
(

A
(x))

A
(x)
_

(x).
Como se ha dicho hay una ambig uedad en la denicion de D(x). Una forma de jarla es la
siguiente: D(x) es lineal en y

, se puede integrar por partes de modo que D(x) =

d(x)(x) +

(x)(x)). El termino con

(x) se puede incorporar en

(x) redeniendo la
corriente. Supondremos que se ha hecho as de modo que D(x) no contiene derivadas de (x).
24
La ecuaci on (1.103) es una ecuaci on de continuidad para J

(x) con D(x) actuando como

fuente o sumidero. La carga (innitesimal) asociada a la regi on espacial ja V es
Q
V
(t) =
_
V
d
3
xJ
0
(x) (1.105)
y cumple
d
dt
Q
V
(t) =
_
V
d
3
x
0
J
0
(x) =
_
V
d
3
x(D(x)
i
J
i
(x)) =
_
V
d
3
xD(x)
_
V
d
2
S
i
J
i
(x).
(1.106)
Por tanto la carga en todo el espacio es conservada si la transformaci on es una simetra (D(x) =
0) y no hay ujo hacia el innito (J
i
(x) cae sucientemente deprisa en el innito). Cuando no se
especica otra cosa, la carga Q se reere a la carga en todo el espacio:
d
dt
Q(t) =
_
d
3
xD(x). (1.107)
Cuando la carga se conserva la integral es independiente de la supercie espacial (completa):
Q =
_
S
d
3

(x). (1.108)
Una observacion importante es que, la corriente de Noether se puede redenir (y deja de ser la
corriente de Noether o canonica) sin que cambie

(x) ni la carga asociada:

J

(x) = J

(x) +

(x),

(x) =

(x). (1.109)
(La carga no cambia si
0i
(x) cae sucientemente deprisa en innito.) Esta ambig uedad afecta a
la densidad de carga y de corriente y hay que jarla usando otros criterios.
Observese que las corrientes de la forma
J

(x) =

(x),

(x) =

(x) (1.110)
se conservan identicamente, es decir, sin usar la ecuaciones de movimiento. Se denominan co-
rrientes topol ogicas ya que llevan asociadas cargas topol ogicas bajo condiciones de contorno
adecuadas.
25
Ejemplo. Sea el campo (x) que toma valores en U(1), (x) = e
i(x)
, (x) real, en en 1 + 1
dimensiones compacticadas en la direcci on espacial, x
1
[0, L). Con lagrangiana
/(x) =
1
2

1
(x)

(x) +V ((x)) =
1
2

(x)

(x) +V (e
i(x)
).
El campo complejo (x) es peri odico, (x, t) = (x+L, t) y derivable en todos los puntos para que la
energa cinetica sea nita. El campo real (x) solo es peri odico m odulo 2, (x, t) = (x+L, t)+2n.
Este n Z (el winding number de (x)) es un invariante topol ogico: no puede cambiarse sin pasar
por conguraciones de energa innita. La corriente topol ogica asociada es
J

(x) =
i
2

1
(x)

(x) =
1
2

(x),
Q =
_
L
0
dx
2

x
(x, t) =
1
2
((L) (0)) = n.

Supongamos que la transformaci on innitesimal que hemos considerado hasta ahora forma parte
de un grupo de Lie cuyos elementos estan caracterizados por n parametros
a
, a = 1, . . . , n, inde-
pendientes de x. Estas se denominan transformaciones globales. Siempre se elige el sistema de
coordenadas en el grupo de modo que 0 corresponde al elemento neutro (transformaci on identidad).
Para g innitesimal los parametros
a
son innitesimales. Entonces
x

(x) = X

a
(x)
a
,

A
(x) =
aA
(x)
a
=

aA
(x)
a
X

a
(x)

A
(x)
a
,

(x) =

a
(x)
a
,
D(x) = D
a
(x)
a
. (1.111)
Se obtienen n corrientes de Noether (nitas) asociadas
J

a
(x) =
/(x)
(

A
(x))

aA
(x) +X

a
(x)
_
g

/(x)
/(x)
(

A
(x))

A
(x)
_

a
(x), (1.112)
y n cargas (nitas) asociadas
Q
a
(t) =
_
d
3
xJ
0
a
(x), (1.113)
con las correspondientes ecuaciones de conservacion

a
(x) = D
a
(x),
d
dt
Q
a
=
_
d
3
xD
a
(x). (1.114)
26
Observese que la ecuaciones anteriores no dependen de que el sistema sea relativista. La metrica
no aparece en ning un momento (g

). Ademas todo lo anterior puede repetirse para D + 1

dimensiones.
Ejemplo. Sea una partcula libre no relativista en D dimensiones espaciales. Este sistema se
puede ver como una teora de campos en 0 +1 dimensiones con D campos , que corresponden a la
posicion de la partcula, x
i
(t), i = 1, . . . , D. La acci on es
W =
_
dt /(t), /(t) =
1
2
m x
2
(t)
y ecuaciones de movimiento
W
x(t)
=
d
dt
(m x(t)) = m x(t) = 0
La transformaci on de Galileo (boost)
x(t) x(t) +vt, t t
es una simetra (interna pero dependiente de x) de las ecuaciones de movimiento. Estas transforma-
ciones forman un grupo de Lie con D parametros v (que son constantes respecto de t). La acci on
no es invariante pero cambia por un termino de supercie:
/(t)
1
2
m( x(t) +v)
2
= /(t) +
d
dt
_
mvx(t) +
1
2
mv
2
t
_
.
De la transformaci on innitesimal
x = vt, t = 0,
0
= mxv
obtenemos para

aA
, X

a
,

a
, J

aA
=
A
a
t, X

a
= 0,
0
a
= mx
a
, J
0
a
= Q = m x
a
t mx
a
.

Hemos establecido el teorema de Noether, seg un hay una carga conservada por cada gene-
rador de un grupo de Lie de simetra.
La etiqueta transformacion de gauge se reserva al caso en el que los parametros
a
se eligen
arbitrariamente en cada x,
a
(x). No hay cargas especcas asociadas al grupo gauge. En efecto,
supongamos una transformaci on:
x

= 0,
A
(x) =
a
(x)F
aA
(x, (x)) (1.115)
27
que deja invariante la densidad lagrangiana
0 = /(x) =
/(x)

A
(x)

A
(x) +
/(x)
(

A
(x))

A
(x)
=
_
/

A
F
aA
+
/
(

A
)

F
aA
_

a
+
_
/
(

A
)
F
aA
_

a
. (1.116)
Puesto que por hipotesis se cumple en todos los puntos x y para
a
(x) arbitrarios, se deben anular
las dos expresiones entre parentesis independientemente. Por tanto
J

=
/(x)
(

A
(x))

A
(x) =
/
(

A
)
F
aA

a
= 0. (1.117)
1.6. Simetras cinematicas
Son las asociadas al grupo de Poincare (o Galileo en el caso no relativista).
1.6.1. Traslaciones espacio-temporales
Son las transformaciones
x
g
= x +a,
g
A
(x
g
) =
A
(x). (1.118)
Son simetra para lagrangianas que no dependen explcitamente de x,
/(x) = /((x), (x)), W

g (
g
) = W

(). (1.119)
Aplicando (1.104) con x

(x) = a

A
(x) = 0 y

(x) = 0, se obtiene
J

(x) = a

_
g

/(x)
/(x)
(

A
(x))

A
(x)
_
:= T

(x)a

. (1.120)
T

es el tensor de energa-momento canonico. Hay una corriente conservada y su carga

asociada para cada :

(x) = 0, P

=
_
d
3
xT
0
(x), = 0, 1, 2, 3. (1.121)
28
P

= (H, P) es el cuadrimomento
P
i
=
_
d
3
x
A
(x)
i

A
(x), H =
_
d
3
x
_

A
(x)

A
(x) /(x)
_
. (1.122)
P

es un cuadrivector cuando hay invariancia Lorentz.

Ejemplo. Para el campo de Klein-Gordon real
/(x) =
1
2

(x)

(x)
1
2
m
2

2
(x)
T

(x) =

(x)

(x) g

/(x). (1.123)
La conservacion de T

indica que el sistema esta aislado y no intercambia energa y mo-

mento con fuerzas externas. Mas generalmente, si /(x) tiene dependencia explcita en x, /(x) =
/((x), (x), x),

/(x) (1.124)
donde

se reere a derivada respecto de la dependencia explcita unicamente.

1.6.2. Rotaciones espacio-temporales
x

(x
g
)

,
A
(x)
g
(x
g
) = D
AB
()
B
(x). (1.125)
Aqu es una transformaci on de Lorentz y D() la representacion del grupo de Lorentz correspon-
diente al campo
A
(x). La representacion sera proyectiva si el espn del campo es semientero:
D(
1
)D(
2
) = D(
1

2
). (1.126)
Innitesimalmente

= g

D
AB
() =
AB
+
1
2
S

AB

, S

AB
= S

AB
. (1.127)
Las matrices S

(matrices respecto de AB) satisfacen las relaciones de conmutacion del algebra de

Lorentz, y estan relacionadas con el espn del campo. Para el campo escalar D() = 1 y S

= 0.
29
Si la densidad lagrangiana es invariante bajo la transformaci on Lorentz (1.125), se obtiene una
corriente conservada por cada uno de los seis parametros en

(x) =
/(x)
(

A
(x))
1
2
S

AB

B
(x)
+

_
g

/(x)
/(x)
(

A
(x))

A
(x)
_
:=
1
2
J

. (1.128)
J

= J

= T

+
1
2
S

AB
/
(

A
)

B
(1.129)
Aqu T

es el tensor de energa-momento canonico. J

(x) es la densidad de momento angular

(cuadridimensional). Es conservado y la carga asociada es el momento angular cuadridimensional
0 =

, J

= J

=
_
d
3
xJ
0
. (1.130)
Hay que notar que (si hay invariancia Lorentz) el tensor energa-momento debe ser simetrico
[1] y eso no siempre ocurre para el tensor canonico, y tampoco es automaticamente invariante
gauge. Ambos problemas se pueden resolver usando el metodo de Belinfante-Rosenfeld que a nade
un termino topol ogico adecuado tanto a T

(x) como a J

(x), de modo que para los nuevos

tensores
T

= T

, J

= T

. (1.131)
Observese que ahora la conservacion de J

se deriva automaticamente de la conservacion de T

.
Por supuesto P

y J

son los mismos del tratamiento canonico.

1.7. Simetras internas
Se trata de simetras globales no ligadas al grupo de Poincare. Tpicamente:
x
g
= x,
g
(x
g
) = D
AB
(g)
B
(x), (1.132)
donde las matrices D(g) forman una representacion de un grupo de Lie de dimensi on n. Innitesi-
malmente

A
(x) =
a

a
AB

B
(x) (1.133)
30
y las matrices
a
forman una representacion del algebra de Lie del grupo. Si la acci on es invariante
bajo la transformaci on, W(
g
) = W(), se tendra una corriente conservada y su correspondiente
carga
J

a
(x) =
/(x)
(

A
(x))

a
AB

B
(x), Q
a
=
_
d
3
x
A
(x)
a
AB

B
(x). (1.134)
Ejemplo. Para el campo complejo de Klein-Gordon
/(x) =

(x)

(x) m
2

(x)(x), (1.135)
Tenemos la simetra interna
(x) e
iq
(x),

(x) e
iq

(x) (1.136)
es el parametro del grupo U(1) (g = e
i
) y q real (para que respete la condici on de que (x) y

(x) sean conjugados uno de otro). (De hecho para que la representacion no sea proyectiva debe
ser q entero. En todo caso es una representacion del grupo recubridor (R, +).) q determina la irrep
de U(1) en la que cae el campo. En el presente caso n = 1,
a
= , y

a
,
=
a

,
= iq,
a
,
=
a

,
= 0
J

(x) = iq(

(x) (x)

(x)

(x)). (1.137)
Esta corriente es conservada como se puede vericar usando las ecuaciones de movimiento (
2
+
m
2
) = 0 (y su conjugada). En la teora cuantica q representara la carga de la partcula asociada al
campo (x). Los campos reales en cambio corresponden a partculas neutras.
Para el campo de Schr odinger
/(x) = i

(x)

(x) +
1
2m

(x)(x) V (x)

(x)(x) (1.138)
con las mismas transformaciones de fase y q = 1 produce
J
0
(x) =

(x)(x), J(x) =
i
2m
(

(x)(x)

(x)

(x)). (1.139)
Esta es la densidad y corriente de probabilidad usuales de mecanica cuantica.
31
1.8. Corriente y acoplamiento gauge
La construcci on de Noether proporciona la corriente canonica. Como se ha dicho la corriente
fsica puede diferir de esta por terminos topol ogicos. La denicion general de la corriente fsica se
obtiene por acoplamiento a un campo gauge.
Para una simetra U(1) (abeliana) sea W[, A] la acci on del campo (x) acoplado al campo
gauge A

(x). La corriente se dene mediante

A
W =
_
d
4
xA

(x) J

(x), J

(x) =
W
A

(x)
. (1.140)
Si W es invariante gauge, la corriente es automaticamente conservada. En efecto, bajo una trans-
formaci on de gauge
A

(x) A

(x) +

(x), (1.141)
entonces para una transformaci on innitesimal
0 =
g
W =
_
d
4
x
_

g
A

(x)
W
A

(x)
+
g

A
(x)
W

A
(x)
_
. (1.142)
El ultimo termino se anula por las ecuaciones de movimiento de ,
0 =
_
d
4
x(

(x))J

(x) =
_
d
4
x(x)

(x),

(x) = 0. (1.143)
Por ejemplo para el campo de Klein-Gordon complejo, (1.135), se puede introducir el campo
gauge mediante la prescripci on de acoplamiento mnimo:
11

= (

+iqA

),

= (

iqA

= (D

. (1.144)
La acci on
W =
_
d
4
x
_
D

m
2

_
(1.145)
es invariante teniendo en cuenta que
(x) e
iq(x)
(x),

(x) e
iq(x)

(x),
D

(x) e
iq(x)
D

(x), D

(x) e
iq(x)
D

(x). (1.146)
11
Observese que la derivada covariante, como operador diferencial, depende de la carga del campo. La derivada
covariante act ua de acuerdo con la representaci on del grupo bajo la que se transforma cada campo.
32
En este caso la corriente es

A
W =
_
d
4
x(iqA

+D

(iqA

))
J

(x) = iq (

) . (1.147)
Coincide con la corriente Noether poniendo A

= 0.
N otese que en general A

puede acoplarse de modo invariante gauge de forma no mnima, a

traves de F

. En todo caso (1.140) proporciona la corriente. Los terminos no

mnimos indican que el campo (partcula) tiene estructura, por ejemplo momento magnetico, que
da nuevas contribuciones a la corriente.
N otese tambien que la acci on W es la acci on del campo acoplado al campo gauge. Si A

es
un campo dinamico, hay que a nadir su acci on:
W
tot
[, A] = W[, A] +W
A
[A], (1.148)
y la ecuaci on de movimiento de A

(x) queda
0 = J

(x) +
W
A
A

(x)
. (1.149)
La misma construcci on vale para simetras internas no abelianas.
Una construcci on analoga proporciona el tensor energa-impulso T

fsico, simetrico y conser-

vado. Igual que la corriente es lo que se acopla al campo gauge, el tensor energa-impulso es lo que
se acopla a la metrica g

(x):
W =
1
2
_
d
4
x
_
g(x) g

(x)T

(x) (1.150)
Aqu g(x) = det(g

(x)). De nuevo aqu W solo incluye la acci on de los campos de materia

acoplados a la metrica.
12
12
Sumando la accion de Hilbert-Einstein W
grav
=
1
16G
_
d
4
x

g R, se obtienen las ecuaciones de Einstein

de la gravitacion
0 =
1

g
(W
grav
+W)
g

(x)
=
1
16G
(R

1
2
g

R)
1
2
T

.
33
T

(x) es automaticamente simetrico. En este caso el grupo de transformaciones es el de di-

feomorsmos (transformaciones generales de coordenadas). Si W es invariante T

(x) es tambien
automaticamente conservado. En efecto,
g

(x) =
x

. (1.151)
En el caso innitesimal g

.
0 = W =
_
d
4
x
_
g(x)

(x) =
_
d
4
x
_
g(x) f

(x) (1.152)
implica

(x) = 0. (1.153)
Ejemplo. Para el campo real de Klein-Gordon en espacio-tiempo curvo
W() =
_
d
4
x
_
g(x)/(x), /(x) =
1
2
g

(x)

(x)

(x)
1
2
m
2

2
(x). (1.154)
Dado que (x) es un escalar

(x) =

(x) y en este caso la derivada no depende de la metrica.

g

es la matriz inversa de g

, por tanto
13
g

= g

, log g = g

(1.155)
se deduce
T

(x) =

(x)

(x) g

(x)/(x). (1.156)
En el caso plano, coincide con el tensor canonico obtenido anteriormente.
1.9. Generadores
Como se ha visto a cada simetra continua le corresponde una carga G(t) =
_
d
3
xJ
0
(x)
(antes denominada Q(t)) que es conservada si se trata de una simetra de la dinamica. Igual que
en mecanica clasica de sistemas nitos, G(t) es a su vez un generador de la simetra ya que se
cumple

A
(x) =
A
(x), G(t),
A
(x) =
A
(x), G(t), (1.157)
13
Usando, A
1
= A
1
AA
1
, log det A = tr log A y tr log A = tr(A
1
A), para una matriz regular
cualquiera.
34
donde , denota el parentesis de Poisson

A
(x, t),
A
(y, t) =
A
(x, t),
A
(y, t) = 0,
A
(x, t),
A
(y, t) =
AB
(x y). (1.158)
Por ejemplo para una simetra interna,
G(t) =
_
d
3
y
B
(y)
B
(y), (1.159)

A
(x, t), G(t) =
_
d
3
x (
A
(x),
B
(y)
B
(y) +
B
(y)
A
(x),
B
(y)) =
A
(x).
La segunda relaci on en (1.157) es tal que la transformaci on en el espacio de las fases sea canonica,
es decir, respete las relaciones canonicas (1.158).
En general para cualquier funcional F[, ],
F = F, G. (1.160)
Si G no depende explcitamente del tiempo, genera una simetra de la dinamica si deja el
hamiltoniano H[, ] invariante
H = H, G = 0. (1.161)
La misma relaci on se puede leer (considerando ahora a tH como el generador de una transformaci on,
a saber, la evoluci on temporal)

t
G = G, H = 0. (1.162)
Es decir, si G genera una transformaci on de simetra de la dinamica, entonces se conserva.

Este es
el contenido del teorema de Noether.
Para las transformaciones espacio-temporales,

A
(x), P
0
=
A
(x), H =

A
(x),

A
(x), P
i
=
A
(x),
_
d
3
y
B
(y)
i

B
(y) =
i

A
(x), (1.163)
consistente con

A
(x) =
A
(x), a

= a

A
(x) =
A
(x +a) (x). (1.164)
Igualmente se verica para transformaciones de Lorentz.
35
Ademas, si los G
a
(t) generan un grupo de simetra, satisfacen la correspondiente algebra de Lie
usando el parentesis de Poisson como parentesis de Lie,
G
a
(t), G
b
(t) = f
abc
G
c
(t) . (1.165)
Debe notarse que si G depende explcitamente del tiempo pero genera una simetra de la
dinamica a un es una constante de movimiento teniendo en cuenta que
d
dt
G =

t
G+G, H. (1.166)

Este es caso del generador innitesimal de los boosts

J
0i
= tP
i
+
_
d
3
xx
i
T
00
(x). (1.167)
Es una constante de movimiento aunque de acuerdo con las relaciones de conmutacion del algebra
de Lorentz no conmuta con H.
36
2. Teora de perturbaciones
2.1. Renormalizaci on perturbativa
Consideramos un campo escalar con interaccion /
I
(x) =
g
3!

3
en 5+1 dimensiones (d = 6) y
metrica eucldea. No es realista pero tiene diagramas mas simples, con vertices de tres puntos.
El lagrangiano de siempre de la teora es el llamado lagrangiano renormalizado,
/(x) =
1
2
(

0
)
2
+
m
2
0
2

2
0
+
g
0
3!

3
0
, (2.1)

Este es el que aparece en la integral funcional y con el que se calculan (junto con el metodo de
regular las divergencias) todos los observables.
0
, es el campo desnudo, m
0
la masa desnuda
y g
0
la constante de acomplamiento desnuda.
Las funciones de correlacion G
n
(x
1
, . . . , x
n
) se reeren no a
0
sino al campo renormalizado
(x) = Z
1/2

0
(x). En principio se tratara de calcular con este lagrangiano perturbativamente
reajustando cada vez m
0
, g
0
y Z para satisfacer tres condiciones de renormalizaci on (por ejempo,
masa fsica, constante de acomplamiento fsica y campo normalizado de modo que el residuo en el
polo sea 1). Sin embargo, es mejor organizar el calculo de otra forma. Por conveniencia el lagrangiano
renormalizado se expresa en la forma
/(x) = /
b
(x) +/
ct
(x), (2.2)
con
/
b
(x) =
1
2
(

)
2
+
m
2
2

2
+
g
3!

3
, (2.3)
/
ct
(x) =
Z
2
(

)
2
+
m
2
2

2
+
g
3!

3
, (2.4)
/
b
(x) es el lagrangiano basico y /
ct
(x) los contraterminos. m y g son parametros nitos. En
vez de
Z = 1 +Z, m
2
0
= Z
1
(m
2
+m
2
), g
0
= Z
3/2
(g +g), (2.5)
se reajustan Z, m
2
y g a medida que se hace el calculo perturbativo. La ventaja es que los
contraterminos se pueden tratar como una perturbacion, junto con
g
3!

3
.
37
Una forma estandar de organizar una suma innita es asignar a cada termino una potencia
de un parametro , que al nal se pone igual a uno. Para las contribuciones generadas por el
calculo perturbativo asignamos un orden en . Para un lagrangiano tal como el basico (que no tiene
dependencia implcita en ) el contaje en equivale a uno en loops.
14
A los diagramas arbol de
/
b
(x) le asignamos O(
0
) y cada nuevo loop introduce una nueva potencia de . Puesto que el
lagrangiano basico ya va a satisfacer las condiciones de renormalizaci on a nivel arbol, se deduce que
los contraterminos deben cancelar el efecto de los diagramas con loops (generados por el lagrangiano
basico y los propios contraterminos), por tanto, a Z, m
2
y g se le debe asignar O().
/
b
(x) = O(
0
), /
ct
(x) = O(). (2.6)
Los diagramas se construyen con
1
2
(

)
2
+
m
2
2

2
como parte libre, y
g
3!

3
+ /
ct
(x) como
perturbacion. /
ct
(x) contiene vertices de dos y tres puntos. Ademas a nadimos una forma de regular
las integrales. Una forma es modicar la parte libre de modo que su propagardor no sea el usual sino

D(p) = D(p)F(p), D(p) =

1
k
2
+m
2
, (2.7)
donde F(p) es una funcion del regulador (cuto) de modo que F(p) 1 si p y F(p) 0
(sucientemente deprisa) si p .
Las reglas de Feynman (eucldeas) son:
i) por cada lnea con momento k un factor

D(k). El factor F(k) se puede omitir para lneas
externas.
ii) Por cada vertice de tres puntos de /
b
, un factor g.
iii) Por cada vertice de dos puntos con momento k de /
ct
, un factor m
2
k
2
Z
iv) Por cada vertice de tres puntos de /
ct
, un factor g.
14
Para un diagrama G, L = P
i

+ C, donde P
i
es el n umero de lneas internas, C es el n umero
de componentes conexas, L el n umero de loops, y n

el n umero de vertices de orden . Si se reescala la

accion S S/ en Z =
_
Te
S
, eso equivale a g

/, D(p) = D(p) (D(p)

_

2
S

_
1
). Entonces,
G
P
e
+P
i

G =
P
e
+LC
G. Para G conexo, G
n
G
n

n+L1
. Es decir, cada loop da una potencia mas
de .
38
g
x
m
2

x g

2
Z k

~
D(k)
Figura 1: Reglas de Feyman.
Por simplicidad usaremos renormalizacion a momento cero. Esto quiere decir que las
condiciones de renormalizaci on a imponer son:
G
1
(p) = m
2
+p
2
+O(p
4
), (2.8)

3
(p, q) = g +O(p, q). (2.9)
G(p) es el propagador de dos puntos G
2
,
3
(p, q) es la funcion vertice de tres puntos, G
3
(p, q, p+
q) = G(p)G(q)G(p + q)
3
(p, q). Se supone que las funciones tienen desarrollo en serie en mo-
mentos en torno a cero. Las condiciones de renormalizaci on son en realidad tres condiciones, a
saber,
G
1
(p)

p=0
= m
2
,
dG
1
(p)
d(p
2
)

p=0
= 1,
3
(p, q)

p,q=0
= g. (2.10)
Los parametros m y g son inputs; cada eleccion da una teora distinta. m y g no son la masa fsica
(denida por la posicion en el polo) y la constante de acoplamiento fsica (denida para partculas
sobre la capa masica), pero sirven para renormalizar la teora. La segunda ecuaci on equivale a jar
la normalizaci on del campo (correspondiendo a jar el residuo en el polo en la renormalizaci on on-
shell). Una vez renormalizada la teora se puede determinar la posicion del polo, etc, y reajustar los
parametros (hacer una renormalizaci on nita).
Procedemos a calcular
3
(p, q) y G(p). El resultado a nivel arbol (sin loops) se obtiene inme-
diatamente aplicando las reglas de Feynman:
15
G(p) = D(p) +O(),
3
(p, q) = g +O(). (2.11)
15
La denicion de
3
incluye un signo para que coincida con g al orden mas bajo.
39
Las condiciones de renormalizaci on se cumplen hasta O(h
0
).
Para
3
(p, q) hasta O() inclusive, se tiene
+
+
x
= g +
b
3
(p, q) +g. La correccion de O() de /
b
a
3
procede del diagrama
p
q
p+q
=
b
3
(p, q) = g
3
_
d
6
k
(2)
6

D(k)

D(k +q)

D(k p). (2.12)
Esta integral diverge logartmicamente, es decir, es O(log ) para . La divergencia se
puede cancelar eligiendo
g =
b
3
(0, 0) +O(
2
). (2.13)

b
3
(0, 0) = g
3
_
d
6
k
(2)
6

D(k)
3
= g
3
1
(4)
3
log

m
+O(
0
). (2.14)
El termino dominante, O(log ), es independiente de la eleccion de F(p). N otese que igualmente
se obtiene un resultado nito tomando
g = g
nito

b
3
(0, 0) +O(
2
), (2.15)
Pero ya no se cumplira
3
(0, 0) = g. Equivaldra a una renormalizaci on nita adicional (a cambiar
la eleccion de g).
Combinando las contribuciones se obtiene

3
(p, q) = g +g
3
_
d
6
k
(2)
6
_

D(k)

D(k +q)

D(k p)

D(k)
3
_
+O(
2
). (2.16)
Despues de la sustracci on el integrando es convergente incluso sin regulador, as que se puede tomar
ya el lmite :

3
(p, q) = g +g
3
_
d
6
k
(2)
6
_
D(k)D(k +q)D(k p) D(k)
3
_
+O(
2
). (2.17)
Observese que no se trata simplemente de sustraer lo que haga falta para que el diagrama quede
nito. El punto clave es que g, Z y m
2
son parametros, sin dependencia en momentos (pero
40
con dependencia en , g y m). La renormalizaci on ha sido posible porque se ha podido elegir un g
cumpliendo esta propiedad.
Para sistematizar el procedimiento, introducimos los operadores T
n
, n = 0, 1, 2, . . .. Por deni-
ci on, el efecto de T
n
sobre una expresion I(p
1
, p
2
, . . . , p
m
) se obtiene quedandose con los terminos
hasta O(p
n
) inclusive de I. Es decir, se desarrolla I(p
1
, p
2
, . . . , p
m
) en serie de potencias de ,
se quitan los terminos O(
n+1
) y se pone = 1. (El desarrollo en serie debe existir si F(p) es una
funcion suave.) As las condiciones de renormalizaci on se pueden escribir
T
2
G
1
(p) = m
2
+p
2
, T
0

3
(p, q) = g. (2.18)
O tambien, si denimos G
1
(p) = m
2
+p
2
+G
1
(p) y
3
(p, q) = g +
3
(p, q),
T
2
G
1
(p) = 0, T
0

3
(p, q) = 0. (2.19)
La renormalizaci on de
3
hasta O() se puede escribir
x = T
0 +O(
2
)
y por tanto

3
= +(1 T
0
)
+O(
2
).
El diagrama es logartmicamente divergente. Eso implica que al derivar una
vez repecto de los momentos externos el resultado ya es convegente. Al aplicar /p

o /q

, la
derivada cae sobre los propagadores de las lneas internas y eso aumenta el grado de convergencia.
Una importante consecuencia es que, en un desarrollo en serie de potencias de los momentos externos,
solo el termino de orden 0 es divergente. Ese termino es el que se ha sustrado. Si la divergencia
41
hubiera sido mayor, digamos cuadratica en d = 8, habra que derivar mas de dos veces para hacer
la integral nita, por tanto la parte cuadratica en momentos sera divergente. Pero g no es un
polinomio de grado dos en momentos, sino de grado cero. No se podra cancelar la divergencia y la
teora no sera renormalizable. El argumento de derivar respecto de p

implica que la divergencia es

logartmica y tambien que esa divergencia no depende de p o q.
Al mismo tiempo, la primera correccion a
3
se obtiene aplicando el operador 1T
0
al diagrama.
Por construcci on, esta correccion se anula a orden 0 en un desarrollo en momentos externos, que es
justamente lo que dice la condici on de renormalizaci on eq. (2.19).
Consideremos ahora el propagador. Se puede introducir la autoenerga (diagramas irreducibles
de una partcula), de modo que
16
G
1
(p) = D
1
(p) + (p). (2.20)
La condici on de renormalizaci on es T
2
(p) = 0. (p) empieza a O(). Hasta este orden inclusive
las contribuciones son
+
X
(p) =
b
(p) +m
2
+Z p
2
+O(
2
). (2.21)

b
(p) =
g
2
2
_
d
6
k
(2)
6

D(k)

D(p k). (2.22)
La divergencia de la integral es cuadratica. Derivando 3 o mas veces respecto de p

se convierte en
convergente, Eso implica que la parte divergente es un polinomio de grado 2 en
p

:
= c
0
+c
1
p
2
+nito, c
0
= O(
2
), c
1
= O(log ).
Por tanto basta elegir
m
2
= c
0
+O(
2
), Z = c
1
+O(
2
). (2.23)
Los contraterminos cancelan las divergencias y esta elegidos de modo que se cumple las condiciones
de renormalizaci on. En diagramas
X = T
2
+O(
2
)
16
Esta es la version eucldea. En la version Minkowski G
1
(p) = D
1
(p) (p).
42
Observese que el argumento de derivar respecto de p implica que las divergencias son polinomios
en p, y por tanto corresponden a operadores locales: las divergencias superciales se pueden eliminar
con operadores locales a nadidos al lagrangiano. El motivo es que las divergencias vienen de distancias
cortas y son locales.
En conjunto
(p) = (1 T
2
) +O(
2
).
N otese que el operador 1 T
2
se puede aplicar dentro del integrando en
b
(p), de modo que igual
que para
3
(p, q), el integrando es automaticamente convergente, sin que en ning un momento se
necesite un F(p). Maniestamente el resultado no depende del regulador.
n=4
Como es facil comprobar, las funciones vertice de n puntos con n > 3 son todas directamente UV
nitas a un loop. Las de 0 y 1 puntos divergen, pero se pueden eliminar a nadiendo contraterminos

0
+
1
(x) en /
ct
.
2.2. Renormalizabilidad
La teora
3
es renormalizable en d = 6 pero no para dimensiones mayores. Por ejemplo, si
d = 8, = O(
4
). Renormalizarlo requiere (1 T
4
) , con un
contratermino T
4
= a
0
+a
2
p
2
+a
4
p
4
, es decir,
/
ct
(x) = m
2

2
+Z()
2
+Z
4
(
2
)
2
. (2.24)
El termino (
2
)
2
no esta en el lagrangiano original, y por tanto ya no se tratara de reajustar
parametros. En principio se podra decir que ese termino estaba presente con acoplamiento cero.
El problema es que una vez se introduce el operador no renormalizable (
2
)
2
ese operador va a
43
aparecer en todos los diagramas y va a producir mas y mas diagramas divergentes que requeriran
toda clase de nuevos operadores en /
ct
(x) de dimensiones cada vez mayores.
En general la regla para que la teora sea renormalizable por divergencias UV
17
es que no
contenga operadores de dimensi on mayor que la dimensi on del espacio, o equivalentemente, que las
constates de acoplamiento de cada operador no tengan dimensi on negativa. Para ver esto, calculemos
las varias dimensiones involucradas. Sea un lagrangiano en d dimensiones
S =
_
d
d
x/(x), /(x) =
1
2
()
2
+
1
2
m
2

2
+
g
!

, = 0, 1, 2, . . . (2.25)
[S] = M
0
, [/(x)] = M
d
, [m] = [] = M,
[] = M
d

, d

=
d
2
1, M
d
= [g

], [g] = M
d
g
, d
g
= d (
d
2
1)
[G
n
] = [
n
] = M
nd

, [

G
n
] = [(
_
d
d
x)
n1
G
n
] = M
d(n1)+nd

= M
(2n)(
d
2
+1)2
[
n
] = [

G
n

G
n
2
] = M
d
n
, d
n
= 2
1
2
(n 2)(d 2). (2.26)
Aqu
n
(p
1
, . . . , p
n1
) es la funcion vertice de n-puntos (includa la autonerga), en espacio de
momentos, amputada, y no incluye la delta de conservacion.
Consideremos un diagrama conexo amputado con n

vertices que contribuya a

n
(p
1
, . . . , p
n1
).
Genericamente
= g
n

, (2.27)
donde I

es una integral sobre momentos de los loops. Sea () la dimensi on de la integral. Si el

diagrama es divergente, cuando los momentos internos sean muy grandes, las masas en los propa-
gadores y los momentos externos seran irrelavantes, la integral ira como
()
por dimensiones. Por
ese motivo () se denomina el grado de divergencia supercial del diagrama. Si () es
positivo la integral es divergente. Si es cero, tambien (logartmicamente divergente). Si es negativo,
la integral es convergente si solo contiene un loop, pero generalmente puede ser a un divergente por
subdiagramas con loops. Sin embargo, como se vera, si se pueden eliminar las divergencias supercia-
les tambien se pueden eliminar las subdivergencias. En consecuencia, de momento nos preocupamos
solo de la divergencia supercial. Como la dimensi on total del diagrama es d
n
independientemente
del diagrama concreto, tendremos
d
n
= () +n

d
g
o () = d
n
n

d
g
. (2.28)
17
Suponemos que m > 0 de modo que en ning un momento consideramos divergencias infrarrojas.
44
Podemos distinguir tres casos, seg un sea , o equivalentemente, d
g
, la dimensi on de la constante
de acomplamiento. Consideramos solo d > 2. Los casos d 2 se pueden estudiar por separado.
d
g
< 0. Esto ocurre si
>
c
(d) =
2d
d 2
. (2.29)
Es decir, si supera un valor crtico que depende de la dimensi on del espacio. En este caso,
() sera negativo para un diagrama de orden n

sucientemente alto. La teora es no renor-

malizable ya que contiene divergencias en todas las funciones vertice. Cada funcion vertice
corresponde a un operador, por tanto para cancelar todas las divergencias se requeriran in-
nitos contraterminos. (Esto equivale a decir que reinventamos completamente el lagrangiano
de la teora.)
d
g
= 0. Cuando =
c
(d), habra divergencias solo en las funciones de n puntos tales que d
n
0.
Esto ocurre si
n
c
(d). (2.30)
Se concluye que solo hay un n umero nito de funciones vertices, u equivalentemente ope-
radores, a renormalizar. Estos son precisamente los operadores con dimensi on no mayor que
d.
18
Hay un n umero nito de contraterminos y la teora se considera renormalizable. Sin
embargo, cada operador recibira correcciones de todos los ordenes, de modo que aunque solo
hay un n umero nito de funciones de Green supercialmente divergentes, cada una tiene un
n umero innito de diagramas divergentes.
d
g
> 0. En este caso () acabara siendo negativo para n

sucientemente alto. Es decir, no solo hay

un n umero nito de operadores a renormalizar, sino que solo hay un n umero nito de diagramas
divergentes. La teora es superrenormalizable. Hay un n umero nito de contraterminos y
cada contratermino es un polinomio en g.
As la teora g
3
es renormalizable si d = 6, que es cuando g es adimensional. Los operadores
divergentes son
+ + +

6
4 2
log
18
Para esta dimension se cuenta s olo el operador, no la dimension de la constante de acoplamiento asociada.
As Z()
2
tiene dimension d, m
2

2
tiene dimension d 2, m
2
no se incluye.
45
La teora es superrenormalizable si d < 6 y no renormalizable si d > 6. Analogamente,
4
y las
teoras gauge son renormalizables en d = 4.
2.3. Renormalizaci on a todos los ordenes
Consideremos el diagrama G =
p
p
q
kq
q+p
p+k
k
. Supercialmente es de orden (
6
)
2
(
2
)
5
=

2
, una divergencia cuadratica. Sin embargo, la divergencia no es local, como se puede ver derivando
respecto de p. En efecto, al aplicar
d
3
dp
3
se obtiene, entre otras, la contribuci on
que no es UV nita porque contiene una subdivergencia:
q
p+k
kq
k
q+p
p
. Esto implica que la
parte divergente no es un polinomio en p y no se va simplemente reajustando las constantes de
acoplamiento en los contraterminos (que son locales).
El diagrama divergente, G, contiene dos subdiagramas divergentes,
1
y
2
,
G
2 1

Las subdivergencias
1
y
2
causan el problema, pero tambien tenemos los siguientes diagramas del
mismo orden en , procedentes de /
(1)
ct
(x) (los contraterminos hasta O())
19
+ x x
(1)
(1)
= (T

1
T

2
)
En conjunto + + x x = (1 T

1
T

2
)
19
T

denota la operaci on de aislar la parte divergente del diagrama .

46
Como se puede comprobar esta integral ya no tiene subdivergencias (han sido sustradas). La
integral no es todava UV nita, pero al aplicar
d
3
dp
3
produce una integral convergente. Por tanto
solo tiene la divergencia supercial y se sustrae como siempre, a nadiendo un termino O(
2
) a los
contraterminos.
_ _
R
= (1 T
G
)(1 T

1
T

2
)
El termino a nadido T
G
(1 T

1
T

2
) =
x
(2)
es local (polinomio de grado dos en p) y a nade m
2(2)
y Z
(2)
en /
(2)
ct
(x).
La regla general es [2], dado un diagrama G y siendo
i
, i = 1, 2, . . ., sus subdiagramas diver-
gentes (incluido G)
()
R
=

(1 T

i
)
basico
, (BPHZ) (2.31)
donde

indica desarrollar la expresion y quitar todos los productos con

i
y
j
que se solapen. Por
denicion solaparse quiere decir que
i

j
,= pero
i
,
j
y
j
,
i
.
As produce
(1 T
G
)(1 T

1
)(1 T

2
)
= (1 T
G
)(1 T

1
T

2
+T

1
T

2
)
El termino T

1
T

2
debe suprimirse porque los subdiagramas
1
y
2
se solapan. T
G
T

1
y T
G
T

2
no
hay que quitarlos porque
1,2
G.
47
R
= (1 T
G
)(1 T

1
T

2
) .
En regularizacion dimensional todo funciona igual, excepto que T

es el operador que extrae

(se queda solo con) la parte divergente del diagrama. Esta es la parte principal del desarrollo en
= d 4 (esquema MS). Sobre esto se puede hacer renormalizaciones nitas (esquema MS).
Referencias
[1] Gravitation, C. W. Misner, K. S. Thorne and J. A. Wheeler (Freeman, 1973).
[2] J. C. Collins, Cambridge, Uk: Univ. Pr. ( 1984) 380p
48