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 trans-
formaciones 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 conside-
rar el grupo de transformaciones abeliano y el no abeliano. Luego estudiaremos el concepto
de supernumero y algunas de sus propiedades, las cuales utilizaremos en el desarrollo de
los dos ultimos 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
ultimo 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 .

1
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 trans-
formaciones 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 inte-
racciones 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 algun 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 gru-
pos 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.1)
4 1 D
H = J+ (1.2)
c c t

2
 1 B
E+ = 0 (1.3)
c t
B = 0 (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 + =0 (1.7)
c t
por lo tanto la cantidad del parentesis se puede expresar como el gradiente de alguna funcion
escalar, un potencial escalar :
1 A 1 A
E+ = o E = (1.8)
c t c t
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:
0 1
= (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 la-
grangiana L como funcion de los campos i (x) y sus gradientes i (x):

L(i (x), i (x))

donde ! !
1
= , = ,
xo xi c t xi

3
 Se llama accion, S, a la integral cuadridimensional sobre la densidad lagrangiana:
Z
L= d3 x L(i , i ) (1.10)
Z Z
S= d4 x L = dt L (1.11)

Si minimizamos la accion:
!
Z
L
4 L
S = 0 = dx i + ( i )
i ( i )
" ! !#
Z
4 L L L
= dx i + i (1.12)
i ( i ) ( i )

En esta ultima 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 Transformacion 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 L
L = i + ( i ) = 0 (1.16)
i ( i )

Si es infinitesimal:
0
i = [1 iqi + O(2 )]i
y por lo tanto
0
i = i i = iqi i (1.17)
Ahora, usando (??) y (??):
" #
L L
L = 0 = (iq i i ) + (iqi ) i (1.18)
x ( i ) ( i )

4
Y obtenemos: " #
L
L = 0 = i qi i (1.19)
x ( i )
Si definimos J , la corriente, como:
L
J = i 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 (1.20)
( i )

Si ahora llamamos J a la expresion que esta encerrada en este ultimo parentesis cuadrado,
tendremos:
J = 0 (1.21)
es decir
J o J o
+ i J i = 0 o =J (1.22)
t t
Si tomamos esta ultima relacion e integramos sobre todo el espacio U :
Z
J o Z
dv = Jdv (1.23)
U t U

la ultima integral es: Z I

Jdv = J nda = 0 (1.24)
U S(U )

Por lo tanto

Z 
J o dv = 0 (1.25)
t U
De aqu obtenemos la conservacion de la cantidad U J o dv. Para el caso en que nuestra
R

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 [?]).

5
1.4 Transformacion 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.28)

1.5 Transformacion de Gauge Local.Grupo Abeliano.

La transformacion de gauge puede diferir de punto en punto, es decir es una funcion del es-
pacio 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)

6
 Luego la variacion del lagrangiano es:
L L
L = i + ( i )
i ( i )
" # " #
L L L
= (iqi )i + (iqi ) i (x) + (iqi )i (x) (1.32)
i ( i ) ( i )
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 0
( ieqi A )i (x) = eiqi (x) ( ieqi A )i (x) (1.33)

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

0 1
A (x) = (x) + A (x) (1.34)
e
Es decir:
1
A (x) = (x) (1.35)
e
Si L(i , i , A , A ), la condicion de invarianza sera escrita como:
L L L L
L = 0 = i + ( i ) + A + ( A )
i ( i ) A ( A )
" #
L L
= (iqi )i + (iqi ) i (x)
i ( i )
" # " #
L L 1 L 1
 
+ (iqi )i + (x) + (x) = 0 (1.36)
( i ) A e A e
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) = + (x) = 0
A 2 A A
Es decir:
L L
+ =0 (1.37)
A A
La solucion de esta ecuacion es:
L = L(F ) (1.38)
donde
F = A A (1.39)

7
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:

1 A
E = (1.41)
c t
B=A (1.42)
Ademas ! !
1
= , = , (1.43)
xo c t
A = (Ao , A) = (, A) (1.44)
Luego las componentes de E y B son:
1 Ax
Ex = = 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
Bz = = 1 A2 + 2 A1
x y

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

1.6 Transformacion de Gauge Local. Grupo No Abeliano.

Yang-Mills.
Sea el grupo que tiene generadores Ti que cumplen:

[Ti , Tj ] = iCijk Tk (1.45)

los Cijk son las constantes de estructura de este grupo.

8
 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 numero de
campos Aj (componentes del campo vectorial) es igual al numero de generadores del grupo.
Ahora desarrollamos el lado izquierdo de la igualdad de (??):
0 0 0 0 0
D (x) = igAj Lj
0
= [ 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:

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

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

0 i
A. L = U ()[A. L U 1 () U ()]U 1 () (1.53)
g
Para muy chico, la transformacion es infinitesimal y tendremos:

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

9
Reemplazando estas relaciones en (??):
0 0 i
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. )
.

0 i
+(L. )(L. A )(L. ) (L. )
g
i
(L. )(L. )
g
Si tomamos las componentes y no consideramos los terminos de segundo orden en :
0 i
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 numero, 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 (1.55)
g
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
= Cijk [ A A ] + Cijk [( j )Ak ( j )Ak ]
j k k
(1.56)

Notemos que debemos agregar algo a Ai Ai para obtener la invarianza bajo transfor-
maciones 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 ultima relacion:

Cijk
Cijk [Aj Ak ] = [( j )Ak ( j )Ak ] + Cijk Cjlm l Am k
A
g
+Cijk Cklm l Am j
A (1.58)

Los dos ultimos terminos los podemos reescribir:

Cijk Cjlm l Am k l m j
A + Cijk Cklm A A

= Cikm Cklj l Aj Am l m j
+ 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
Cijk [Aj Ak ] = [( j )Ak ( j )Ak ] + Cilk l Ckjm Aj Am
(1.61)
g
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)
Entonces:
i
F = Cijk j F
k
(1.64)
i
Por lo tanto en el lagrangiano debe aparecer la combinacion F para asegurar la inva-
rianza de gauge.

11
Captulo 2

Rompimiento espontaneo de la
simetra

Si el estado vaco o del mnimo de energa no es invariante bajo un grupo de transforma-

ciones, 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 (2.1)

12
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
2 2 m2 m2 2
(Re) + (Im) = = o |o | =
2 2
Es decir el sistema tiene un conjunto infinito de estados vacos, cada uno de ellos correspon-
diente a un punto del crculo. El estado vaco es infinitamente degenerado.
Notemos que la transformacion (??) lleva un estado vaco a algun 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 :
!1
m2 2
2
1 = Re , = Im (2.5)
2 2 2
Ahora reescribimos el lagrangiano en terminos de 1 y 2 :
!1
1 1 m2 2
1
L = ( 1 )2 + ( 2 )2 + m2 (1 )2 1 (21 + 22 ) (21 + 22 )2 (2.6)
2 2 2 4
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 (??) con-
vierte 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.7)
2 2 4
donde el potencial es:
1 1
V = m2 (21 + 22 ) + (21 + 22 )2 (2.8)
2 4
Este lagrangiano es invariante bajo el grupo de transformaciones O(2):
0
! ! !
1 cos sin 1
0 =
2 sin cos 2
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 (2.9)
1 1
Si m2 < 0, el mnimo absoluto ocurre en el crculo del plano 1 2 :
m2
21 + 22 =

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)
1 2
esto es analogo a (??), la equivalencia es Re 2
, Im 2
. por lo tanto si reem-
plazamos (??) y (??) en el lagrangiano (??) obtendremos el lagrangiano (??) y las conclu-
siones 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.12)
2 2 4

14
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 numero infinito de vacos.
Podemos construir el vaco como el siguiente vector columna:

0

0

< >o = .. (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:

0

0

= exp(ii ki /v) .. (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 otro).
As en el orden mas bajo
0

0
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 0 1
1+
sin cos 1 0

En este caso tenemos solo un generador:

!
0 1
1 0

Y ademas: ! ! !
0 1 v 0
=
1 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) lo-
cales:
1
L = [( + ieA ) ( ieA )] m2 ( )2 F F (2.16)
4
donde
F = A A
Explcitamente, este lagrangiano es invariante bajo las transformaciones:
0
= ei(x)
0
= ei(x) (2.17)
0 1
A A = A (x)
e
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 corres-
1 2
pondencia es 2
Re y 2
Im. Y construamos 1 = v + 1 , por lo que aqu podemos
asumir que :
v
< >o = (2.18)
2

16
 2
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 ultimas 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 1 1
L = F F + + + e2 v 2 A A evA
4 2 2 2
m2 2 + terminos cubicos y otros de orden mas alto (2.20)

Este lagrangiano es invariante bajo la transformacion de gauge (??) en la que hemos reem-
plazado (??). 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 diago-
nalizamos este lagrangiano. Por lo que construimos la funcion de gauge igual a (x)/v.
Entonces:
0 1
= exp[i(x)/v] = (v + ) (2.21)
2
0 1
A A = A (2.22)
ev
Como el lagrangiano (??) es invariante bajo estas transformaciones tenemos que:
0 0 0 0 0 0 0 1 0 0
L = [( + ieA ) ( ieA ) ] m2 ( )2 F F (2.23)
4
donde
0 0 0
F = A A
0
Reemplazando (??) en de este ultimo lagrangiano y desarrollando se obtiene:
1 0 0 1 1 1 0 0 1 0
L = F F + + + e2 v 2 A A + e2 A2 (2v + )
4 2 2 2 2
1 2 1
(3v 2 + 2 ) v 3 4 (2.24)
2 4

17
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 0 0 0 1 a a
L = ( i + gijk Aj k )( i + gij k Aj k0 ) V (i i ) F F (2.25)
2 4
Supongamos que V tiene un mnimo no cero, es decir un estado vaco degenerado. Pode-
mos tomar el valor de expectacion del vaco de la siguiente manera:

0
< >o = 0 (2.26)

v
El campo lo parametrizamos como antes:

0 2
i
= exp[ (1 L1 + 2 L2 )] 0 =< >o + 1 + orden mas alto (2.27)

v
v+

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
0 i 1 2
= exp[ (1 L + 2 L )] = 0 (2.28)

v
v+

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

18
 Los campos 1 y 2 desaparecen completamente cuando escribimos el lagrangiano del
siguiente modo:
1 0 0 0 0 0 0 0 0 1 0 0
L = ( i + gijk Aj k )( i + gij k Aj k0 ) V (i2 ) Fa Fa (2.30)
2 4
Los campos 1 y 2 han sido absorbidos por los campos de gauge. Reemplazando (??) en
este ultimo lagrangiano y desarrollando se obtiene:
1 1 0 0 0 0 1 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

Supernumeros

En los desarrollos algebraicos que se hacen en los captulos posteriores se utilizaran los
conceptos de supernumero, paridad de Grassman y derivadas derecha e izquierda. Por eso
el presente captulo esta dedicado brevemente al concepto de supernumero 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 supernumeros
forman un espacio vectorial de dimension infinita.

3.2 Particiones de los Supernumeros.

Un supernumero se puede expresar como:
z = zB + zS (3.2)
donde zB , llamado el cuerpo, es un numero complejo, y

1
ca1 an an a1
X
zS =
n=1 n!

20
es llamado el alma. Aqu el factor ca1 an es complejo y completamente antisimetrico en sus
ndices.
Cada supernumero con zB 6= 0 tiene una unica inversa dada por :

1
zB1 (zB1 zS )n
X
z =
n=0

Otra particion importante de un supernumero es en una parte par y otra parte impar:

z =u+v (3.3)

donde la parte par es

1
ca1 a2n a2n a1
X
u = zB +
n=1 (2n)!

y la parte impar es:

1
ca1 a2n+1 a2n+1 a1
X
v=
n=0 (2n + 1)!
Los supernumeros puramente impares anticonmutan entre ellos. Los supernumeros pu-
ramente pares conmutan con cualquier supernumero y forman un subalgebra de , la cual
denotamos Cc . El conjunto de los supernumeros puramente impares se denota Ca y no es
un subalgebra, porque del producto de dos supernumeros puramente impares obtenemos un
supernumero puramente par.

3.3 Paridad de Grassmann.

Definimos la paridad de Grassmann de un supernumero,(z) o z , como:
(
0(mod2) si z es par
(z) = (3.4)
1(mod2) si z es impar

Esto significa que:

zz , = (1)z z, z , z (3.5)
donde z y z , son dos supernumeros 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 (3.6)
dv dv

21
 dl d r
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:
dl dr
" # " #
df (u) = du f (u) = f (u) du (3.7)
du du
Como du es un numero 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 supernumero 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) (3.8)
dz dz
dr dl
donde [(f ) + (z)] es la paridad de dz
f (z) (o de dz
f (z)).

3.5 Regla de Leibniz para las Derivadas Derecha e Izquierda.

dr
Para obtener dz
(F G), donde F y G tienen paridad definida, hacemos:
d(F G) = (dF )G + F (dG)
dr F dr G
! !
= 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 (3.9)
dz dz dz
Analogamente:
dl dl F dl G
(F G) = G + (1)F z F (3.10)
dz dz dz

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 estable-
cer 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.
Consideremos un grupo de transformaciones continuas cualquiera, con A = uA i
i ( in-
finitesimal), donde:
r gA
uAi = (4.1)
ai
son los generadores de este grupo. Estos satisfacen:
r uA
j B
r A
i j ui B
u (1) u = uA k
k Uij (4.2)
B i B j
donde los coeficientes de estructura del grupo son supernumeros con la propiedad:
Uijk = (1)i j Ujik (4.3)
Estos satisfacen la identidad de Jacobi del tipo:
j j
(1)i m Uik k
Ulm + (1)l m Umk Uilk + (1)i l Ulkj Umi
k
=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 [?]:

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

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:

r F A l G r F A l G r F k l G
(F, G) = (1)i (A +1) u u + k Uij (4.7)
i i A A i i i j

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 Coneccion 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) (4.14)

donde () = 1

24
 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 (4.16)
2
Como ya vimos, la transformacion que dejara a F = 0 invariante es:
A = + (, A) , () = 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
r r r r
" # " #
1
N A G = (1) i
G uA
i + (1)i +1
G yk fjik (4.20)
y A yi 2 yj yi
(y A ) = 0 y (ya ) = 1
De manera analoga a como se obtiene (??), derivamos el siguiente antibracket:
r F A l G r F A l G r F k l G
(F, G) = (1)i (A +1) u u + yk fij (4.21)
yi i y A y A i yi yi yj
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:
Aa (x) = a + fcd
a c d
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 (??):
F = ( Aa Aa fcd
a c a
A )ya = F ya (4.24)
a
F es equivalente al de la ecuacion (??).
En lo que viene consideraremos un N A de tercer orden y estudiaremos las transforma-
ciones 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:
r r r
N A = ijk , i,j,k = 1,2,3 (5.1)
yi yj yk

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 desa-
rrollar los operadores , utilizando:
r (F G) rG r
G (yi ) F

= F + (1)
G ,donde (yi ) = 1 (5.5)
yi yi yi

26
Y obtenemos el antibracket de manera explcita:

rF r rG r rF rG
" #
G
(F, G) = 3ijk + (1) ijk (5.6)
yi yj yk yi yj yk

Ahora con esta ultima formula desarrollamos (??) y obtenemos tambien, de manera
explcita, el triantibracket:
rF rG rH
(F, G, H) = 6ijk (5.7)
yi yj yk

Definamos
= + N A (5.8)
De la ecuacion (34) de la referencia [?] obtenemos:
1
A = + (, A) + (, A, A) (5.9)
2
Ademas
1 1
F = A + (A, A) + (A, A, A) , (A) = 0 (5.10)
2 3
En este caso F = 0 es invariante bajo la transformacion (??), pues (referencia [?]):

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

Supongamos que:

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

= a ya (5.13)
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 (5.15)

27
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)
Por lo tanto
[1 ,2 ]A = 3{Zk Dk Zk Dk } 12C ak Zk ya (5.17)
Como y anticonmutan:

[1 ,2 ]A = 6Zk Dk 12C ak Zk ya
= 6Zk [Dk 2C ak ya ]
r
= 6Zk A
yk
= z A (5.18)

donde
r
z = 6Zk (5.19)
yk
Ahora calculemos:
[ ,z ]A = [z A] z [ A] (5.20)
De manera sencilla se obtiene:
0 0 0
[z A] = 6Zk ( k ) + 72Zk i0 j 0 k0 i C kk Dj
0 0 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)] (5.22)
2

28
Desarrollando el antibracket y los tribrackets obtenemos:
0 0 0 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)

Es facil calcular que:

[z1 ,z2 ]A = 0 (5.25)
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 algun elemento del algebra.
Si el algebra no se cierra sabremos que no hay una accion invariante bajo estas transfor-
maciones.

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
supernumeros. Por ultimo, 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 utiles 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