Teoras de Gauge

Leonardo Balart Vergara

Facultad de Fsica, P. Universidad Catolica de Chile,
Casilla 306, Santiago 22, Chile.

Resumen
En este trabajo estudiaremos las propiedades algebraicas de las teoras de gauge. Haremos
una revision de las transformaciones de gauge globales y locales, para grupos de transformaciones abelianos y no abelianos. Tambien revisaremos el concepto de rompimiento
espontaneo de la simetra para las invariancias global y local, y en cada caso vamos a considerar el grupo de transformaciones abeliano y el no abeliano. Luego estudiaremos el concepto
de supern
umero y algunas de sus propiedades, las cuales utilizaremos en el desarrollo de
los dos u
ltimos captulos. Veremos como dado un operador diferencial de segundo orden
que cumple 2 = 0 nos conduce a obtener un antibracket y as poder definir una ecuacion
maestra invariante bajo cierta transformacion, en la cual identificaremos un campo de fuerza
y un campo vectorial fotonico, para mostrar como se conecta con el caso de transformadas
de gauge locales para grupos no abelianos, es decir transformaciones de Yang-Mills. Por
u
ltimo definiremos un operador diferencial N A de tercer orden, que cumpla 2N A = 0, el
cual introducira un nuevo elemento que llamaremos el triantibracket, y estudiaremos las
transformaciones de gauge generadas por este operador de tercer orden .

Captulo 1
Invarianza de gauge
En fsica de partculas el concepto de simetra, es decir la invariabilidad de algo bajo una
operacion, es muy importante por el papel protagonico que juega en la descripcion de las
cuatro fuerzas fundamentales (de gravedad, electromagnetica, debil, y fuerte).
La simetra puede ser de dos tipos: simetra espacio temporal o simetra interna. La
primera es descrita por grupos tales como el grupo de Lorentz y el grupo de Poincare.
Mientras que la segunda es descrita por grupos de simetra interna, por ejemplo los grupos
unitarios U (1) y SU (2), los cuales estudiaremos en el presente captulo. Un grupo de transformaciones puede ser global o local. Una transformacion de simetra global es identica para
todos los puntos del espacio tiempo. Por su parte una transformacion de simetra local es
distinta en cada punto del espacio tiempo, depende de las coordenadas de este punto.
Agreguemos que la dinamica de un sistema fsico, que en nuestro estudio son las interacciones entre campos, puede ser representada en el formalismo lagrangiano. De este modo
una teora fsica sera invariante cuando el correspondiente lagrangiano sea invariante bajo
las transformaciones de alg
un grupo.
En este captulo (ver referencias [?], [?] y [?]) estudiaremos lagrangianos invariantes
bajo transformaciones de simetra (o de gauge) globales para los grupos abeliano U (1) y
no abeliano SU (2). Luego estudiaremos lagrangianos invariantes locales, tambien bajo grupos de transformaciones abeliano y no abeliano, y veremos que en este caso sera necesario
introducir nuevos campos: los campos de gauge.
A modo de entender los conceptos mencionados, comenzaremos por mostrar la invarianza
de gauge en las ecuaciones de Maxwell (ver referencia [?]).

1.1

Invarianza de Gauge de E y B.

Las ecuaciones de Maxwell son las siguientes:

D = 4
1 D
4
J+
H =
c
c t
2

(1.1)
(1.2)

E+

1 B
= 0
c t
B = 0

(1.3)
(1.4)

donde D es el desplazamiento electrico (D = E ,  es la permitividad), H es la intensidad

magnetica (B = H , es la permeabilidad), es la densidad volumetrica de carga, J es
la densidad de corriente, c es la velocidad de la luz, E el campo electrico y B el campo
magnetico.
De (??) vemos que podemos definir B en terminos de un potencial:
B=A

(1.5)

en esta ecuacion podemos agregar al vector potencial el gradiente de alguna funcion escalar

0
A A = A +
(1.6)
De este modo B no cambia por esta transformacion del vector potencial.
De las ecuaciones (??) y (??) obtenemos:
1 A
E +
c t

=0

(1.7)

por lo tanto la cantidad del parentesis se puede expresar como el gradiente de alguna funcion
escalar, un potencial escalar :
E+

1 A
=
c t

E =

1 A
c t

(1.8)

Con objeto de que el campo electrico tampoco vare con la transformacion (??), de la ecuacion
(??) notamos que entonces el potencial escalar debe transformarse simultaneamente del
siguiente modo:
1
0
(1.9)
=
c t
La transformacion (??) y (??) es llamada transformacion de gauge y la invarianza de los
campos bajo tal transformacion es llamada invarianza de gauge.

1.2

Lagrangianos.

En el formalismo lagrangiano de las teoras de campos el objeto basico es la densidad lagrangiana L como funcion de los campos i (x) y sus gradientes i (x):
L(i (x), i (x))
donde
=

,
xo xi

=
3

1
,
c t xi

Se llama accion, S, a la integral cuadridimensional sobre la densidad lagrangiana:

L=
S=

d3 x L(i , i )
d4 x L =

(1.10)

dt L

(1.11)

Si minimizamos la accion:
!

L
L
S = 0 =
dx
i +
( i )
i
( i )
!
!#
"
Z
L
L
L
4

i +
i
=
dx
i
( i )
( i )
Z

(1.12)

En esta u
ltima integral el segundo termino es cero, porque estamos integrando en todo el
espacio. Por lo tanto el primer temino sera igual a cero, y obtenemos las ecuaciones de
movimiento de Euler-Lagrange:
L
L
=
(1.13)
i
( i )

1.3

Transformaci
on de Gauge Global.Grupo Abeliano.

Sean los campos i con carga qi , definimos el grupo de transformaciones sobre los campos
por:
0
i (x) i (x) = eiqi i (x)
(1.14)
Este es el grupo de transformaciones unitarias en una dimension, U (1), con independiente
de x. Una transformacion parecida a esta es llamada transformacion de gauge global o de
primer tipo. Ademas:
0
i (x) i (x) = eiqi i (x)
(1.15)
La condicion de la invarianza de L la podemos expresar en la siguiente relacion:
L =
Si es infinitesimal:

L
L
i +
( i ) = 0
i
( i )

(1.16)

i = [1 iqi + O(2 )]i

y por lo tanto

i = i i = iqi i

(1.17)

Ahora, usando (??) y (??):

"

L
L

(iq

)
+
(iqi ) i
L = 0 =
i
i
x ( i )
( i )
4

(1.18)

Y obtenemos:

"

L
L = 0 = i
qi i
x ( i )

(1.19)

Si definimos J , la corriente, como:

J = i

L
qi i
( i )

De la relacion (??) notamos que se conserva la corriente J .

Generalicemos lo anterior (para grupos abelianos y no abelianos) para una variacion
cualquiera del campo: i .
De las ecuaciones (??) y (??) se obtiene:
"

L
L
L = 0 =
i +
( i )
( i )
( i )
#
"
L
i
=
( i )

(1.20)

Si ahora llamamos J a la expresion que esta encerrada en este u

ltimo parentesis cuadrado,
tendremos:
J = 0
(1.21)
es decir

J o
J o
+ i J i = 0
o

=J
t
t
Si tomamos esta u
ltima relacion e integramos sobre todo el espacio U :

Z
U

Z
J o
dv = Jdv
t
U

(1.22)

(1.23)

la u
ltima integral es:
Z

Jdv =

J nda = 0

(1.24)

S(U )

Por lo tanto

J o dv = 0
(1.25)
t U
R
De aqu obtenemos la conservacion de la cantidad U J o dv. Para el caso en que nuestra
variacion sea i = iqi i , tendremos que J o = (x) ,donde es la densidad volumetrica
de carga electrica. Por lo tanto de la transformacion (??) sobre los campos, la cual deja
invariante a L, resulta la conservacion de J . En general si L es invariante bajo un grupo
de transformaciones, ah tenemos una cantidad fsica conservada (teorema de Noether, ver
referencia [?]).
Z

1.4

Transformaci
on de Gauge Global.Grupo No Abeliano.

Consideremos el grupo mas simple no abeliano: el SU (2). Definimos la transformacion de

gauge por:
0
.
= eiL
(1.26)
donde es un vector columna y L es una representacion de matriz SU (2). Las componentes
de esta matriz satisfacen la regla:
[Li , Lj ] = iijk Lk
donde los ijk son las constantes de estructura del grupo. Para infinitesimal:
0

= [1 iL. ]
Por lo tanto
= i(L. )

(1.27)

O bien, usamos la representacion adjunta, es decir expresamos las constantes de estructura

como elementos de matriz de L: Lijk = iijk
0

i = [ik i(Lj j )ik ]k = ik k iLjik j k = i jik j k

Por lo tanto tambien
= jik j k = ijk j k

1.5

(1.28)

Transformaci
on de Gauge Local.Grupo Abeliano.

La transformacion de gauge puede diferir de punto en punto, es decir es una funcion del espacio y del tiempo. Esta transformacion de gauge es local o de segundo tipo. Explcitamente
los campos transforman como:
0

i (x) i (x) = eiqi (x) i (x)

(1.29)

Si (x) es una funcion infinitesimal se tiene que:

i (x) = iqi (x)i (x)

(1.30)

Y para el gradiente del campo obtendremos:

0

i (x) i (x) = eiqi (x) i (x) iq[ (x)]eiqi (x) i (x)

(1.31)

Luego la variacion del lagrangiano es:

L
L
i +
( i )
i
( i )
"
#
"
#
L
L
L
=
(iqi )i +
(iqi ) i (x) +
(iqi )i (x) (1.32)
i
( i )
( i )

L =

La suma del primer parentesis cuadrado es cero como ya vimos, pero el segundo parentesis
cuadrado es distinto de cero. Luego para que el lagrangiano sea invariante, introducimos el
campo fotonico A que permite al gradiente del campo i , aparecer en L en la combinacion
( ieqi A )i . De este modo se obtiene:
0

( ieqi A )i (x) = eiqi (x) ( ieqi A )i (x)

(1.33)

Si aqu reemplazamos (??) y (??) encontraremos que:

1
0
A (x) = (x) + A (x)
e

(1.34)

Es decir:

1
A (x) = (x)
e
Si L(i , i , A , A ), la condicion de invarianza sera escrita como:

(1.35)

L
L
L
L
i +
A +
( i ) +
( A )
i
( i )
A
( A )
"
#
L
L
=
(iqi ) i (x)
(iqi )i +
i
( i )
"
"


#
#
1
1
L
L
L

+
(iqi )i +
(x) +
(x) = 0 (1.36)
( i )
A
e
A
e

L = 0 =

Notemos que cada uno de estos parentesis cuadrados tiene que ser igual a cero por si solo. De
este modo vemos en el segundo parentesis por que i tiene que aparecer en ( ieqi A )i .
Del tercer parentesis cuadrado se obtiene:
"

L
1
L
L
(x) = 0
(x) =
+
A
2 A A
Es decir:

L
L
+
=0
A A

(1.37)

L = L(F )

(1.38)

F = A A

(1.39)

La solucion de esta ecuacion es:

donde

y se tiene:
F = 0

(1.40)

Por lo que el gradiente de A puede entrar en el lagrangiano dentro de esta combinacion.

Porque el lagrangiano es un escalar de Lorentz, F entra de manera cuadratica.
En las ecuaciones (??) y (??) tenamos:
E =

1 A
c t

(1.41)

B=A
Ademas

, =
xo

(1.42)
1
,
c t

A = (Ao , A) = (, A)

(1.43)
(1.44)

Luego las componentes de E y B son:

1 Ax

= o A1 1 Ao
c t
x
1 Ay
Ey =

= o A2 2 Ao
c t
y
1 Az
Ez =

= o A3 3 Ao
c t
z
Az Ay
Bx =

= 2 A3 + 3 A2
y
z
Az Ax
By =
+
= 1 A3 3 A1
x
z
Ay Ax

= 1 A2 + 2 A1
Bz =
x
y

Ex =

Entonces (??) nos dice que las componentes de los campos electrico y magnetico son invariantes de gauge bajo la transformacion (??) (notemos que esta es equivalente a la transformacion de gauge (??) y (??)).

1.6

Transformaci
on de Gauge Local. Grupo No Abeliano.
Yang-Mills.

Sea el grupo que tiene generadores Ti que cumplen:

[Ti , Tj ] = iCijk Tk
los Cijk son las constantes de estructura de este grupo.
8

(1.45)

Nuestros campos transforman ahora por:

0

(x) (x) = eiL (x) (x) U ()(x)

(1.46)

donde (x) es un vector columna y Li es una matriz de representacion de los generadores

del grupo. Como el parametro depende de x, para el gradiente tendremos que:
0

(x) (x) = U () (x) + [ U ()](x)

(1.47)

De manera analoga al caso anterior introducimos una derivada covariante D , de la cual

sea parte (x) (para que L sea invariante bajo estas transformaciones de gauge locales),
y que transforme como:
0
0
D (x) D (x) = U ()D (x)
(1.48)
La definiremos como:
D (x) = [ igL. A (x)](x)

(1.49)

donde g es una constante arbitraria, A es un campo vectorial de gauge, y el n

umero de
j
campos A (componentes del campo vectorial) es igual al n
umero de generadores del grupo.
Ahora desarrollamos el lado izquierdo de la igualdad de (??):
0

D (x) = igAj Lj

= [ U ()](x) + U () (x) igA. LU ()(x)

(1.50)

Y en el lado derecho reemplazando (??):

U ()D (x) = U () igU ()A. L(x)

(1.51)

Igualando (??) y (??):

0

igA. LU () = igU ()A. L [ U ()]

Ya que esta relacion debe mantenerse para todo , se tiene que:
i
0
A. LU () = U ()A. L [ U ()]
g

(1.52)

Si hacemos el producto de U 1 () por la derecha:

i
0
A. L = U ()[A. L U 1 () U ()]U 1 ()
g

(1.53)

Para muy chico, la transformacion es infinitesimal y tendremos:

U () = exp(iL. ) [1 iL. ] y U 1 () [1 + iL. ]

(1.54)

Reemplazando estas relaciones en (??):

i
0
0
L. A = [1 iL. ]L. A [1 + iL. ] [iL. ][1 + iL. ]
g
0
. 0
.
. 0
= L A i(L )(L A ) + i(L. A )(L. )
i
0
+(L. )(L. A )(L. ) (L. )
g
i
(L. )(L. )
g
Si tomamos las componentes y no consideramos los terminos de segundo orden en :
i
0
Li Ai = Li Ai i(Li i )(Lj Aj ) + i(Lj Aj )(Li i ) (Li i )
g
Es decir:
i
i
Li Ai = Li i + ii Aj (Lj Li Li Lj ) = Li i + ii Aj [Lj , Li ]
g
g
Notemos que j es un parametro, un n
umero, y Li un generador, no conmuta. Como
[Lj , Li ] = iCjik Lk
i
Li Ai = Li i i Aj Cjik Lk
g
Esto es una sumatoria en los ndices repetidos y Cjik es antisimetrico, por lo tanto:
i
Li Ai = Li i + Cijk j Ak Li
g
Ya que los Li son linealmente independientes:
i
Ai = i + Cijk j Ak
g

(1.55)

En analoga con el caso anterior, ecuacion (??), deberamos tener un tensor F , aunque
aca no tendra la forma que tena, puesto que:
[ Ai Ai ] = (Ai ) (Ai )
i
i
= [ i + Cijk j Ak ] [ i + Cijk j Ak ]
g
g
j
k
k
= Cijk [ A A ] + Cijk [( j )Ak ( j )Ak ]

(1.56)

Notemos que debemos agregar algo a Ai Ai para obtener la invarianza bajo transformaciones de Yang-Mills, ya que nos sobran los terminos del segundo parentesis cuadrado.
Calculemos
Cijk [Aj Ak ] = Cijk [(Aj )Ak + (Ak )Aj ]
(1.57)
10

Reemplazando (??) en esta u

ltima relacion:
Cijk
k
[( j )Ak ( j )Ak ] + Cijk Cjlm l Am
A
g
j
+Cijk Cklm l Am
A

Cijk [Aj Ak ] =

(1.58)

Los dos u
ltimos terminos los podemos reescribir:
k
l m j
Cijk Cjlm l Am
A + Cijk Cklm A A
l m j
= Cikm Cklj l Aj Am
+ Cijk Cklm A A

= [Cimk Ckjl Cijk Ckml ]l Aj Am

(1.59)

Utilizando la representacion adjunta de (??), (T i )jk = iCijk se obtiene:

Cimk Ckjl Cijk Ckml =
=
=
=
=

(T i )mk (T l )kj + (T l )mk (T i )kj

(T i T l )mj + (T l T i )mj
[T l , T i ]mj
iClik (T k )mj
Cilk Ckjm

(1.60)

Por lo tanto
Cijk [Aj Ak ] =

Cijk
[( j )Ak ( j )Ak ] + Cilk l Ckjm Aj Am

(1.61)

Ahora multiplicamos por g y a cada lado de la igualdad le sumamos el lado correspondiente

de la ecuacion (??), obtenemos:
[ Ai Ai + gCijk Aj Ak ] = Cijk j [ Ak Ak + gCklm Al Am
]

(1.62)

Luego definimos:
i
F
= Ai Ai + gCijk Aj Ak

(1.63)

i
k
F
= Cijk j F

(1.64)

Entonces:
i
Por lo tanto en el lagrangiano debe aparecer la combinacion F
para asegurar la invarianza de gauge.

11

Captulo 2
Rompimiento espont
aneo de la
simetra
Si el estado vaco o del mnimo de energa no es invariante bajo un grupo de transformaciones, mientras que el lagrangiano s es invariante bajo el mismo grupo de transformaciones,
tenemos un rompimiento espontaneo de la simetra (esto se puede dar solo en un sistema
con infinitos grados de libertad, ver referencia [?]).
Mostraremos en ejemplos que el rompimiento espontaneo de la simetra conduce a la
aparicion de campos escalares de masa cero conocidos como partculas goldstone (esto se
conoce como el teorema de Goldstone).
Para el caso del rompimiento espontaneo de las simetras globales U (1) tendremos que
del campo escalar complejo masivo, o de dos campos reales masivos, apareceran un campo
escalar masivo y un campo sin masa o partcula goldstone. Para O(n), en vez de n campos
masivos, tendremos n 1 campos sin masa y un campo masivo.
Cuando la simetra es local, para el caso abeliano U (1), en lugar de un campo escalar
complejo masivo (o campos escalares reales) y un campo fotonico sin masa, tendremos que
el rompimiento espontaneo de la simetra U (1) nos conducira a un campo escalar masivo y
un campo fotonico con masa. En el caso no abeliano SU (2) el rompimiento espontaneo de
la simetra nos llevara, de tres campos masivos escalares y 3 campos vectoriales sin masa,
a un campo escalar masivo, dos campos vectoriales masivos y un campo vectorial sin masa.
(Para este captulo ver las referencias [?] y [?])

2.1

Invarianza Global. Grupo de Transformaciones

Abeliano U (1).

Consideremos un modelo descrito por el siguiente lagrangiano:

L = ( )( ) m2 ( )2

12

(2.1)

donde (x) es un campo escalar complejo y m2 < 0. Este Lagrangiano es invariante bajo el
grupo de transformaciones U (1):
(x) ei (x)
(2.2)
El potencial del lagrangiano esta expresado por
V = m2 + ( )2

(2.3)

La condicion del mnimo de energa queda expresada como:

V
V
= m2 + 2( )2 = 0 ,
= m2 + 2 ()2 = 0

(2.4)

De aqu obtenemos que el mnimo de energa ocurre sobre el crculo del plano complejo
Re-Im:
!1
m2 2
m2
2
2

o |o | =
(Re) + (Im) = =
2
2
Es decir el sistema tiene un conjunto infinito de estados vacos, cada uno de ellos correspondiente a un punto del crculo. El estado vaco es infinitamente degenerado.
Notemos que la transformacion (??) lleva un estado vaco a alg
un otro estado vaco.
De aqu es que el estado vaco no es invariante bajo esta transformacion. Sin embargo el
lagrangiano permanece invariante bajo estas transformaciones. Luego podemos afirmar que,
en esta aproximacion, el lagrangiano descrito por este sistema presenta un rompimiento
espontaneo de la simetra U (1).
Definamos un nuevo campo cuya parte real es 1 y la parte imaginaria es 2 :
m2

1 = Re
2
2

!1
2

2
, = Im
2

(2.5)

Ahora reescribimos el lagrangiano en terminos de 1 y 2 :

1
m2
1
L = ( 1 )2 + ( 2 )2 + m2 (1 )2
2
2
2

!1
2

1
1 (21 + 22 ) (21 + 22 )2
4

(2.6)

Aqu 1 es el campo de una partcula con masa 2m2 > 0, el campo 2 no tiene masa,
puesto que este nuevo lagrangiano no contiene un termino proporcional a 22 . A 2 se le
llamara boson goldstone.
Notemos que los lagrangianos (??) y (??) son equivalentes, ambos describen la dinamica
del mismo sistema.
En conclusion, el rompimiento espontaneo de la simetra U (1) del lagrangiano (??) convierte al campo complejo (x) en un boson goldstone y un campo escalar real de masa
2m2 > 0.
En el caso en que el segundo termino del lagrangiano (??) sea +m2 , tendremos un
estado vaco no degenerado e invariante con valor cero, y en este caso no habra rompimiento
espontaneo de la simetra .
13

Tambien podemos considerar un modelo de dos campos, 1 y 2 , que tiene lagrangiano:

1
1
1
L = ( 1 1 + 2 2 ) m2 (21 + 22 ) (21 + 22 )2
2
2
4

(2.7)

donde el potencial es:

1
1
V = m2 (21 + 22 ) + (21 + 22 )2
2
4
Este lagrangiano es invariante bajo el grupo de transformaciones O(2):
0

1
0
2

cos sin
sin cos

1
2

(2.8)

Es decir
21 + 22 es invariante
Lo mismo ocurre con los gradientes de los campos.
La condicion del mnimo de energa se expresa como:
V
V
=0 ,
=0
1
1

(2.9)

Si m2 < 0, el mnimo absoluto ocurre en el crculo del plano 1 2 :

21 + 22 =

m2

Podemos definir los ejes de nuestro plano para obtener los mnimos de nuestros campos del
siguiente modo:
!1
m2 2
< 1 >o =
, < 2 >o = 0

Como antes definamos:

1 = 1 < 1 >o

(2.10)

2 = 2

(2.11)

2
1
, Im
. por lo tanto si reemesto es analogo a (??), la equivalencia es Re
2
2
plazamos (??) y (??) en el lagrangiano (??) obtendremos el lagrangiano (??) y las conclusiones seran las mismas que al considerar un campo escalar complejo.

2.2

Invarianza Global. Grupo de Transformaciones

No Abeliano.

Consideremos un lagrangiano con n campos i reales :

1
1

L = ( i )2 m2 i i (i i )2
2
2
4
14

(2.12)

Este lagrangiano es invariante bajo el grupo ortogonal en n dimensiones, O(n). Explcitamente,

P i i
i queda invariante bajo transformaciones O(n).
1
2 1
Si m2 < 0, el potencial tiene un anillo de mnimos en (i i ) 2 = v = ( m
)2

Este modelo tambien tiene un n

umero infinito de vacos.
Podemos construir el vaco como el siguiente vector columna:

< >o =

0
0
..
.

(2.13)

v
donde < i >= 0 si i = 1, ..., n 1 y < n >= v
Este nuevo vaco es invariante bajo el grupo que permite que vn = v sea invariante, esto
es, el subgrupo O(n 1). Tenemos por lo tanto un rompimiento espontaneo de la simetra
O(n).
Sean Lij las 21 n(n 1) matrices independientes que generan O(n). Sean lij el subconjunto
que genera O(n 1) y ki [ki = Lij ] el resto.
En vez de redefinir un campo = n v y dejar igual las restantes componentes i ,
introduciremos una parametrizacion de los n campos:

exp(ii ki /v)

0
0
..
.

(2.14)

v+
Como en general tenemos que (Lij )kl = i[ik jl il jk ], los elementos de la matriz ki
son:
(ki )kl = (Lin )kl = i[ik nl il nk ]
Y por lo tanto ki operando sobre el vector columna vi = vin es:
(ki )jl vl = v(ki )jl ln = v(ki )jn = ivij
(Notemos que los ki llevan un estado vaco a
As en el orden mas bajo

=
..

otro).

ii
ki vn
v

v+
es decir:
i = i (i < n) y n = v +
Nuestro lagrangiano en terminos de i y es:
1
1
1
L = [( )2 + ( i )2 ] m2 (v + )2 (v + )4 + terminos de orden mas alto (2.15)
2
2
2
15

Los n 1 campos i no tienen masa y el campo tiene masa 2m2 > 0.

Enfaticemos que por cada generador roto ki hay un boson goldstone sin masa.
En el caso anterior tenamos el grupo de transformaciones O(2):
cos sin
sin cos

1+

0 1
1 0

En este caso tenemos solo un generador:

0 1
1 0
Y ademas:
0 1
1 0

v
0

0
v

Es decir, tenemos un generador roto y, por lo tanto, como ya vimos, un boson Goldstone sin
masa.

2.3

Invarianza Local. Caso Abeliano U(1).

Consideremos el siguiente lagrangiano invariante bajo transformaciones de gauge U(1) locales:

1
(2.16)
L = [( + ieA ) ( ieA )] m2 ( )2 F F
4
donde
F = A A
Explcitamente, este lagrangiano es invariante bajo las transformaciones:
0

= ei(x)
0
= ei(x)
1
0
A A = A (x)
e

(2.17)

En el caso en que m2 < 0 tendremos que los valores del estado vaco estaran sobre un
crculo, parecido al caso del lagrangiano (??). Esto implica un rompimiento espontaneo de
la simetra U(1).
Notemos que el lagrangiano posee la misma simetra que el modelo (1 , 2 ). La corres1
2
Re y
Im. Y construamos 1 = v + 1 , por lo que aqu podemos
pondencia es
2
2
asumir que :
v
< >o =
(2.18)
2
16

donde v 2 = . Y parametrizar exponencialmente introduciendo dos campos reales y

:
1
1
= e(i/v) (v + ) = [v + + i + ]
(2.19)
2
2
Por lo tanto
1
= [(v + ) + i]
2
1
= [(v + ) i]
2
Por la correspondencia vemos que esto es equivalente a:
1 = v +
2 =
De estas dos u
ltimas igualdades se observa por que elegimos (??) y parametrizamos como
(??). Como antes el campo esta asociado al rompimiento espontaneo de la simetra U(1).
Escribiendo el lagrangiano (??) en terminos de A , y :
1
1
L = F F + +
4
2
m2 2 + terminos

1
1
+ e2 v 2 A A evA
2
2
c
ubicos y otros de orden mas alto

(2.20)

Este lagrangiano es invariante bajo la transformacion de gauge (??) en la que hemos reemplazado (??). Este lagrangiano no es diagonal debido al termino evA el cual es el
producto de dos diferentes campos. Para poder determinar el espectro de las masas diagonalizamos este lagrangiano. Por lo que construimos la funcion de gauge igual a (x)/v.
Entonces:
1
0
(2.21)
= exp[i(x)/v] = (v + )
2
1
0
A A = A
(2.22)
ev
Como el lagrangiano (??) es invariante bajo estas transformaciones tenemos que:
1 0 0
0
0
0
0 0
0 0
L = [( + ieA ) ( ieA ) ] m2 ( )2 F F
4
donde

(2.23)

F = A A
0

Reemplazando (??) en de este u

ltimo lagrangiano y desarrollando se obtiene:
1
1
1 0 0
1
1
0
0
0
L = F F + + + e2 v 2 A A + e2 A2 (2v + )
4
2
2
2
2
1
1 2
(3v 2 + 2 ) v 3 4
2
4
17

(2.24)

No hay terminos de acoplamiento entre los diferentes campos, por lo que el espectro de las
masas se visualiza en los teminos cuadraticos. Hay un meson escalar con masa 32 v 2 +
0
2 y un meson vectorial A con masa ev. Enfatizemos que ha desaparecido, ha sido
gaugeado lejos por el campo vectorial. En (??) notamos que en realidad el campo ha
0
sido incorporado dentro del campo de gauge A . A esto lo llamaremos el mecanismo de
Higgs.
A las partculas descritas por los campos escalares se les llama bosones Higgs y a las
0
descritas por A mesones vectoriales.

2.4

Invarianza Local. Caso No Abeliano SU(2).

Consideremos el siguiente lagrangiano:

1
1 a a
0 0
0
L = ( i + gijk Aj k )( i + gij k Aj k0 ) V (i i ) F
F
2
4

(2.25)

Supongamos que V tiene un mnimo no cero, es decir un estado vaco degenerado. Podemos tomar el valor de expectacion del vaco de la siguiente manera:

< >o = 0
v

(2.26)

El campo lo parametrizamos como antes:

= exp[ (1 L1 + 2 L2 )]
v

0
2

0
as alto
=< >o + 1 + orden m
v+

(2.27)

donde Li son los generadores de SU(2) y i los supuestos bosones goldstone asociados a los
generadores rotos. L3 deja al vaco invariante, es el generador no roto.
Como el lagrangiano es invariante bajo transformadas SU(2) locales, podemos hacer la
transformada de gauge considerando U() (de la primera parte), en analoga al caso anterior,
como exp[ vi (1 L1 + 2 L2 )], se obtiene:

0
i
0

1
2
= exp[ (1 L + 2 L )] = 0
v
v+
i
i
0
L. A = exp[ (1 L1 + 2 L2 )]L. Aexp[ (1 L1 + 2 L2 )]
v
v
i
i
i
1
2
{ exp[ (1 L + 2 L )]}exp[ (1 L1 + 2 L2 )]
g
v
v
18

(2.28)

(2.29)

Los campos 1 y 2 desaparecen completamente cuando escribimos el lagrangiano del

siguiente modo:
1 0 0
1
0
0 0
0 0
0
0
0
L = ( i + gijk Aj k )( i + gij k Aj k0 ) V (i2 ) Fa Fa
2
4

(2.30)

Los campos 1 y 2 han sido absorbidos por los campos de gauge. Reemplazando (??) en
este u
ltimo lagrangiano y desarrollando se obtiene:
1 0 0
1
1
0
0
0 0
L = + g 2 v 2 ij3 ij 3 Aj Aj V [(v + )2 ] Fa Fa + terminos de orden mas alto
2
2
4
(2.31)
El termino cuadratico en el campo vectorial de gauge es:
1 2 2 2 2
g v [A A + A1 A1 ]
2
correspondientes a los generadores de simetra rota, es decir dos de los campos de gauge
adquieren masa gv, y ya que la simetra L3 sobrevive, A3 no tiene masa.
En resumen por cada generador de simetra rota hay un campo de gauge que adquiere
masa.

19

Captulo 3
Supern
umeros
En los desarrollos algebraicos que se hacen en los captulos posteriores se utilizaran los
conceptos de supern
umero, paridad de Grassman y derivadas derecha e izquierda. Por eso
el presente captulo esta dedicado brevemente al concepto de supern
umero y a algunas de
sus propiedades (ver referencia [?]).

3.1

Algebra
de Grassmann.

El algebra generada por N elementos a , a = 1, , N , los cuales anticonmutan:

a b + b a = 0 , ( a )2 = 0 , para todo a y b

(3.1)

se denota N . Si N es llamada el algebra de Grassmann y se denota como .

Definimos un producto de los generadores tal que, sea asociativo:
a ( b c ) = ( a b ) c
y sea distributivo:
a ( b c + d ) = a b c + a d
Bajo la adicion como la multiplicacion, los elementos de , llamados supern
umeros
forman un espacio vectorial de dimension infinita.

3.2

Particiones de los Supern

umeros.

Un supern
umero se puede expresar como:
z = zB + zS
donde zB , llamado el cuerpo, es un n
umero complejo, y
zS =

1
ca1 an an a1
n!
n=1
20

(3.2)

es llamado el alma. Aqu el factor ca1 an es complejo y completamente antisimetrico en sus

ndices.
Cada supern
umero con zB 6= 0 tiene una u
nica inversa dada por :
z

zB1

(zB1 zS )n

n=0

Otra particion importante de un supern

umero es en una parte par y otra parte impar:
z =u+v
donde la parte par es
u = zB +
y la parte impar es:
v=

(3.3)

1
ca1 a2n a2n a1
n=1 (2n)!

1
ca1 a2n+1 a2n+1 a1
(2n
+
1)!
n=0

Los supern
umeros puramente impares anticonmutan entre ellos. Los supern
umeros puramente pares conmutan con cualquier supern
umero y forman un subalgebra de , la cual
denotamos Cc . El conjunto de los supern
umeros puramente impares se denota Ca y no es
un subalgebra, porque del producto de dos supern
umeros puramente impares obtenemos un
supern
umero puramente par.

3.3

Paridad de Grassmann.

Definimos la paridad de Grassmann de un supern

umero,(z) o z , como:
(

(z) =

0(mod2) si z es par
1(mod2) si z es impar

(3.4)

Esto significa que:

zz , = (1)z z, z , z

(3.5)

donde z y z , son dos supern

umeros de paridad definida.

3.4

Derivadas Izquierda y Derecha.

Sea f un mapeo de Ca en . f sera superanaltico en un punto v, si la imagen f (v) en

sufre un desplazamiento el cual, para todo dv, toma la forma:
dl
dr
df (v) = dv
f (v) =
f (v) dv
dv
dv
#

"

21

"

(3.6)

d
d
Los coeficientes dv
f (v) y dv
f (v) son llamados, respectivamente, derivada izquierda y derecha
de f con respecto a v
Un mapeo superanaltico f desde Cc a se define similarmente:

dr
dl
f (u) =
f (u) du
df (u) = du
du
du
#

"

"

(3.7)

Como du es un n
umero par:
dl
dr
f (u) =
f (u)
du
du
Sin embargo, en el caso anterior como dv es impar, no siempre se cumplira que:
dl
dr
f (v) = f (v)
dv
dv
En general si z es un supern
umero de paridad definida, y como:
dl
dr
dz
f (z) =
f (z) dz
dz
dz
"

se obtiene

"

dl
dr
dz
f (z) = (1)[(f )+(z)](z) dz
f (z)
dz
dz
"

es decir:

"

dl
dr
f (z) = (1)[(f )+(z)](z) f (z)
dz
dz

donde [(f ) + (z)] es la paridad de

3.5

dr
f (z)
dz

(o de

(3.8)

dl
f (z)).
dz

Regla de Leibniz para las Derivadas Derecha e Izquierda.

Para obtener

dr
(F G),
dz

donde F y G tienen paridad definida, hacemos:

d(F G) = (dF )G + F (dG)
!
!
dr G
dr F
dzG + F
dz
=
dz
dz
"
#
r
dr G
G z d F
= (1)
G+F
dz
dz
dz

Y por lo tanto:

dr
dr F
dr G
(F G) = (1)G z
G+F
dz
dz
dz

(3.9)

dl
dl F
dl G
(F G) =
G + (1)F z F
dz
dz
dz

(3.10)

Analogamente:

22

Captulo 4
Operador de segundo orden y el
antibracket
Dado un operador diferencial de segundo orden que satisface 2 = 0, uno puede obtener
un antibracket (F, G) utilizando ciertas relaciones.
En este captulo definiremos como el que obtienen J. Alfaro y P. H. Damgaard en [?] y
derivaremos el correspondiente antibracket. Luego usaremos y el antibracket para establecer cierta igualdad, la ecuacion maestra, y veremos bajo que transformacion es invariante.
Finalmente veremos como se conecta con la teora de gauge el desarrollo anterior (ver
referencia [?]).

4.1

El Antibracket.

i
Consideremos un grupo de transformaciones continuas cualquiera, con A = uA
i ( infinitesimal), donde:
r gA
(4.1)
uA
=
i
ai
son los generadores de este grupo. Estos satisfacen:
r A
r uA
j B
i j ui B
k
u

(1)
u = uA
k Uij
B i
B j

(4.2)

donde los coeficientes de estructura del grupo son supern

umeros con la propiedad:
Uijk = (1)i j Ujik

(4.3)

Estos satisfacen la identidad de Jacobi del tipo:

j
j
k
k
(1)i m Uik
Ulm
+ (1)l m Umk
Uilk + (1)i l Ulkj Umi
=0

(4.4)

Es conveniente ver la referencia [?] donde aparece una situacion analoga para grupos de
Lie, en la cual debemos usar (??) y (??), porque aca estamos utilizando derivada derecha y
elementos que tienen paridad.
23

Para el grupo de transformaciones que estamos considerando, si (1)i Uiji = 0, se puede

derivar, ver la referencia [?]:
"

G = (1)

i

r r
1
r r
A
i +1
G
u
+
G k Ujik
(1)
i
A i
2
j i
#

"

(4.5)

Cuando los Uijk son constantes podemos demostrar que 2 = 0.

Como noto Koszul [?] y redescubrio Witten [?] podemos definir un antibracket (F, G)
calculando (F G) e identificando en el resultado los elementos que aparecen en la siguiente
relacion:
(F G) = F (G) + (1)G (F )G + (1)G (F, G)
(4.6)
De manera explcita queda:
(F, G) = (1)i (A +1)

r F A l G r F A l G r F k l G
u
+ k Uij

u
i i A A i i
i
j

(4.7)

Este antibracket tiene las siguientes propiedades:

(F, G) = (1)F G +F +G (G, F )

(4.8)

(F, GH) = (F, G)H + (1)G (F +1) G(F, H)

(4.9)

(F G, H) = F (G, H) + (1)G (H +1) (F, H)G

(4.10)

(1)(F +1)(H +1) (F, (G, H)) + (1)(H +1)(G +1) (H, (F, G))
+ (1)(G +1)(F +1) (G, (H, F )) = 0

(4.11)

(F, G) = (F, G) (1)G (F, G)

(4.12)

Las demostraciones de estas relaciones se desarrollan en [?].

4.2

Conecci
on con la Teora de Gauge

Impongamos la siguiente relacion, la ecuacion maestra (esta ecuacion aparece, por razones
que no es necesario mencionar aqu, en el metodo de cuantizacion de Batalin-Vilkovisky, ver
referencia [?]):
1
S + (S, S) = 0
(4.13)
2
con (S) = 0.
Esta ecuacion es invariante bajo la siguiente transformacion:
S = + (, S)
donde () = 1
24

(4.14)

Esta transformacion forma un algebra cerrada, es decir:

[ , ] = (,)

(4.15)

Ahora veremos que la ecuacion maestra tiene similar forma que las transformaciones de
Yang-Mills.
Podemos pensar la ecuacion maestra como un campo de fuerza
1
F = A + (A, A) , (A) = 0
2
Como ya vimos, la transformacion que dejara a F = 0 invariante es:
A = + (, A)

(4.16)

, () = 1

(4.17)

pues
F = (, F )

(4.18)

El operador diferencial lo construimos de la siguiente forma:

= + N A

(4.19)

(notemos que A = ( A) ). Donde

"
i

N A G = (1)

1
r r
r r
A
i +1
G
u
+
(1)
G yk fjik
i
y A yi
2
yj yi
#

(y A ) = 0

"

(4.20)

y (ya ) = 1

De manera analoga a como se obtiene (??), derivamos el siguiente antibracket:

(F, G) = (1)i (A +1)

r F A l G r F A l G r F k l G
u

u
+ yk fij
yi i y A y A i yi
yi
yj

(4.21)

Entonces nuestro A de la relacion (??) lo construimos como:

A = Aa (x)ya

(4.22)

y se cumple que (A) = 0, pues () = 1 y (ya ) = 1

Ahora utilizamos esta construccion de A junto con (??), (??) y (??), obtenemos:
a c d
Aa (x) = a + fcd
A

(4.23)

que es equivalente a la ecuacion (??) , los a seran las componentes del parametro del grupo
a
de transformacion y fcd
las constantes de estructura del grupo, es decir Aa (x) es equivalente
a una componente del campo fotonico A .
Tambien obtenemos F usando (??), (??) y (??):
a c
a
ya
A )ya = F
F = ( Aa Aa fcd

(4.24)

a
F
es equivalente al de la ecuacion (??).
En lo que viene consideraremos un N A de tercer orden y estudiaremos las transformaciones de gauge que genera este operador.

25

Captulo 5
Operador de tercer orden y el
triantibracket
Siguiendo la misma filosofa del captulo anterior, parece natural explorar nuevos que
permitan indicarnos nuevas simetras. En el presente captulo consideraremos un operador
diferencial N A de tercer orden, que cumpla con 2N A = 0. A diferencia del caso anterior
tendremos que derivar un triantibracket (F, G, H) y agregarlo a la ecuacion maestra y a la
variacion de A.
Veremos si el algebra que determina la variacion de A se cierra.

5.1

El Triantibracket.

Consideremos el siguiente objeto, un operador diferencial de tercer orden:

N A = ijk

r r r
, i,j,k = 1,2,3
yi yj yk

(5.1)

Se demuestra facilmente que:

2N A = 0

(5.2)

De las ecuaciones (29) que estan en la referencia [?] obtenemos:

(F, GH) = (F, G)H + (1)G (F +1) G(F, H) + (1)H (F, G, H)

(5.3)

donde
(F, G, H) = (1)H (F, GH) + (1)H +1 (F, G)H + (1)G (F +1)+(H +1) G(F, H)

(5.4)

Recordando que uno puede definir un antibracket (F, G) por la regla (??), se pueden desarrollar los operadores , utilizando:
r
r (F G)
rG
G (yi ) F
= F + (1)
G ,donde (yi ) = 1

yi
yi
yi

26

(5.5)

Y obtenemos el antibracket de manera explcita:

"

(F, G) = 3ijk

rF r rG
r rF rG
G
+
(1)

ijk
yi yj yk
yi yj yk

(5.6)

Ahora con esta u

ltima formula desarrollamos (??) y obtenemos tambien, de manera
explcita, el triantibracket:
(F, G, H) = 6ijk

rF rG rH
yi yj yk

(5.7)

Definamos
= + N A

(5.8)

De la ecuacion (34) de la referencia [?] obtenemos:

1
A = + (, A) + (, A, A)
2

(5.9)

Ademas

1
1
F = A + (A, A) + (A, A, A) , (A) = 0
2
3
En este caso F = 0 es invariante bajo la transformacion (??), pues (referencia [?]):

(5.10)

F = (, F ) + (, F, A)

(5.11)

A = (x) + B + C ab ya yb + Da ya

(5.12)

= a ya

(5.13)

Supongamos que:

Desarrollando (??) explcitamente, se obtiene:

A = 6ijk i C jk 3ijk i Dj Dk 12ijk i C aj C bk ya yb
+( a 12ijk i C ak Dj )ya

(5.14)

es decir:
(x) = 6ijk i C jk
B = 3ijk i Dj Dk
C ab = 12ijk i C aj C bk ya yb
Da = a 12ijk i C ak Dj
Ahora nos preguntamos si esta algebra se cierra, para lo cual se calcula:
[1 ,2 ]A
27

(5.15)

Para desarrollar este corchete se utiliza (??). Lo que se obtiene es:

[1 , 2 ](x) = 0
|1 , 2 ]B = 3ijk {[i2 ( j1 ) i1 ( j2 )]Dk + [i1 ( j2 ) i2 ( j1 )]Dk }
= 3{Zk Dk Zk Dk }
|1 , 2 ]C ab = 0
|1 , 2 ]Da = 12ijk C ak [i2 ( j1 ) i1 ( j2 )]
= 12C ak Zk
Notar que:
Zk = ijk [i2 ( j1 ) i1 ( j2 )]

(5.16)

[1 ,2 ]A = 3{Zk Dk Zk Dk } 12C ak Zk ya

(5.17)

Por lo tanto
Como y anticonmutan:
[1 ,2 ]A = 6Zk Dk 12C ak Zk ya
= 6Zk [Dk 2C ak ya ]
r
= 6Zk A
yk
= z A
donde
z = 6Zk

(5.18)

r
yk

(5.19)

Ahora calculemos:
[ ,z ]A = [z A] z [ A]

(5.20)

De manera sencilla se obtiene:

0

[z A] = 6Zk ( k ) + 72Zk i0 j 0 k0 i C kk Dj
0

144Zk i0 j 0 k0 i C aj C kk ya

(5.21)

(Primero se utiliza (??) y luego (??)).

Para el segundo termino de la derecha de (??) calculamos de la siguiente manera:
1
z [ A] = z [ + (, A) + (, A, A)]
2
1
1
= (, A + z A) (, A) + (, A + z A, A + z A) (, A, A)
2
2
1
= (, z A) + [(, A, z A) + (, z A, A) + (, z A, z A)]
2
28

(5.22)

Desarrollando el antibracket y los tribrackets obtenemos:

0

[z A] = 144Zk ijk i C aj C k k ya + 72Zk ijk i C k k Dj

(5.23)

Reemplazando (??) y (??) en (??):

[ ,z ]A = 6Zk ( k )

(5.24)

[z1 ,z2 ]A = 0

(5.25)

Es facil calcular que:

En la relacion (??) vemos que no se obtiene un operador que actuando sobre A, como los
que ya tenamos, nos de 6Zk ( k ) . Por lo que el problema de encontrar un algebra
que se cierre queda abierto, y consiste en encontrar un algebra que contenga a los operadores
y al resultado de [ , z ]. Luego encontrar un cantidad finita de operadores que pertenezcan
al algebra y que bajo la operacion [ , ] resulte alg
un elemento del algebra.
Si el algebra no se cierra sabremos que no hay una accion invariante bajo estas transformaciones.

29

Captulo 6
Conclusiones
En esta practica estudiamos el concepto de invariancia de gauge y rompimiento espontaneo
de la simetra. Tambien se considero el desarrollo algebraico de las teoras de gauge, a
partir de un operador de segundo orden que satisface 2 = 0 y de propiedades de los
supern
umeros. Por u
ltimo, aplicando lo aprendido, nos dimos un operador N A de tercer
orden que cumple 2N A = 0, de donde obtuvimos un triantibracket (F, G, H). Encontramos
un campo (??) con el mnimo de componentes que bajo la variacion (??) nos da un campo
con las mismas componentes. No obtenemos Yang-Mills a pesar de que usamos el parametro
de Yang-Mills(??). El problema de cerrar el algebra a partir de (??) queda abierto.
Ahora nos gustara generalizar lo que se hizo para el A dado por la relacion (??), para
un A arbitrario. Sin embargo al desarrollar [1 ,2 ]A nos encontramos limitados por no
disponer de relaciones u
tiles entre los triantibrackets. Por lo anterior, y como continuacion
de este estudio, es conveniente obtener primeramente las propiedades y relaciones de los
triantibrackets. Luego nos interesara encontrar ecuaciones de movimiento que tengan la
invarianza de la ecuacion (??), para darle utilidad fsica al desarrollo anterior.
La motivacion de lo que se hace en los captulos 4 y 5 es explorar nuevos tipos de
simetra (la del captulo 4 incluye como caso particular las simetras de gauge para grupos
no abelianos) para introducir gravedad.

30

Referencias
[1] E. Abers and B. Lee, Gauge Theories, Phys. Rep. 9 (1973) 1.
[2] J. D. Jackson, Classical Electrodynamics, 2nd ed. Wiley, 1975.
[3] M. Chaichian and N. F. Nelipa, Introduction to Gauge Field Theories, Springer-Verlag,
1984.
[4] Michio Kaku, Quantum Field Theory, Oxford University Press, 1993 .
[5] Lewis H. Ryder, Quantum Field Theory, Cambridge University Press, 1985.
[6] R. Courant and D. Hilbert, Methods of Mathematical Physics V.1., John Wiley & Sons,
1989.
[7] B. DeWitt, Supermanifolds, Cambridge University, 1992.
[8] J. Alfaro and P.H. Damgaard, Symmetries and the antibracket, Nucl. Phys. B455 (1995)
409.
[9] J. Alfaro and P.H. Damgaard, Non-Abelian antibrackets, Phys. Lett. B369 (1995) 289.
[10] J. Alfaro, BV Gauge Theories, hep-th /9702060.
[11] M. Penkava and A. Schwarz, UC Davis prepint (1992), hep-th /9212072.
[12] M. Hamermesh, Group Theory, Addison-Wesley, 1964.
[13] J. L. Koszul, Asterisque, hors serie (1985) 257.
[14] E. Witten, Mod. Phys. Lett. A 5 (1990) 487.
[15] I. A. Batalin and G. A. Vilkovisky, Phys. Lett. B 102 (1981) 27; Phys. Rev. D 28 (1983)
2567; D 30 (1984) 508(E); Nucl. Phys. B 234 (1984) 106; J. Math. Phys. 26 (1985) 172.
[16] J. Alfaro, trabajo en preparacion.

31