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 revisi on de las transformaciones de gauge globales y locales, para grupos de trans-
formaciones abelianos y no abelianos. Tambien revisaremos el concepto de rompimiento
espont aneo 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 supern umero 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 denir una ecuacion
maestra invariante bajo cierta transformacion, en la cual identicaremos un campo de fuerza
y un campo vectorial fot onico, 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 deniremos un operador diferencial
NA
de tercer orden, que cumpla
2
NA
= 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
operaci on, 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 transformaci on 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 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 gru-
pos de transformaciones abeliano y no abeliano, y veremos que en este caso ser a 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)
H =
4
c
J +
1
c
D
t
(1.2)
2
E +
1
c
B
t
= 0 (1.3)
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 denir B en terminos de un potencial:
B = A (1.5)
en esta ecuaci on podemos agregar al vector potencial el gradiente de alguna funcion escalar

A A

= A+ (1.6)
De este modo B no cambia por esta transformaci on del vector potencial.
De las ecuaciones (??) y (??) obtenemos:

_
E +
1
c
A
t
_
= 0 (1.7)
por lo tanto la cantidad del parentesis se puede expresar como el gradiente de alguna funci on
escalar, un potencial escalar :
E +
1
c
A
t
= o E =
1
c
A
t
(1.8)
Con objeto de que el campo electrico tampoco vare con la transformacion (??), de la ecuaci on
(??) notamos que entonces el potencial escalar debe transformarse simultaneamente del
siguiente modo:

=
1
c

t
(1.9)
La transformaci on (??) y (??) es llamada transformaci on 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 b asico es la densidad la-
grangiana L como funcion de los campos
i
(x) y sus gradientes

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

i
(x))
donde

=
_

x
o
,

x
i
_
=
_
1
c

t
,

x
i
_
3
Se llama acci on, S, a la integral cuadridimensional sobre la densidad lagrangiana:
L =
_
d
3
x L(
i
,

i
) (1.10)
S =
_
d
4
x L =
_

dt L (1.11)
Si minimizamos la acci on:
S = 0 =
_
d
4
x
_
L

i
+
L
(

i
)
(

i
)
_
=
_
d
4
x
__
L

L
(

i
)
_

i
+

_
L
(

i
)

i
__
(1.12)
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

i
=

L
(

i
)
(1.13)
1.3 Transformaci on de Gauge Global.Grupo Abeliano.
Sean los campos
i
con carga q
i
, denimos el grupo de transformaciones sobre los campos
por:

i
(x)

i
(x) = e
iq
i

i
(x) (1.14)
Este es el grupo de transformaciones unitarias en una dimensi on, U(1), con independiente
de x. Una transformaci on parecida a esta es llamada transformacion de gauge global o de
primer tipo. Ademas:

i
(x)

i
(x) = e
iq
i

i
(x) (1.15)
La condicion de la invarianza de L la podemos expresar en la siguiente relaci on:
L =
L

i
+
L
(

i
)
(

i
) = 0 (1.16)
Si es innitesimal:

i
= [1 iq
i
+O(
2
)]
i
y por lo tanto

i
=

i
= iq
i

i
(1.17)
Ahora, usando (??) y (??):
L = 0 =

x

_
L
(

i
)
_
(iq
i

i
) +
L
(

i
)
(iq
i
)

i
(1.18)
4
Y obtenemos:
L = 0 = i

x

_
L
(

i
)
q
i

i
_
(1.19)
Si denimos J

, la corriente, como:
J

= i
L
(

i
)
q
i

i
De la relaci on (??) notamos que se conserva la corriente J

.
Generalicemos lo anterior (para grupos abelianos y no abelianos) para una variaci on
cualquiera del campo:
i
.
De las ecuaciones (??) y (??) se obtiene:
L = 0 =

_
L
(

i
)
_

i
+
L
(

i
)
(

i
)
=

_
L
(

i
)

i
_
(1.20)
Si ahora llamamos J

a la expresion que esta encerrada en este ultimo parentesis cuadrado,

tendremos:

= 0 (1.21)
es decir
J
o
t
+
i
J
i
= 0 o
J
o
t
= J (1.22)
Si tomamos esta ultima relaci on e integramos sobre todo el espacio U:

_
U
J
o
t
dv =
_
U
Jdv (1.23)
la ultima integral es:
_
U
Jdv =
_
S(U)
J nda = 0 (1.24)
Por lo tanto

t
__
U
J
o
dv
_
= 0 (1.25)
De aqu obtenemos la conservacion de la cantidad
_
U
J
o
dv. Para el caso en que nuestra
variacion sea
i
= iq
i

i
, tendremos que J
o
= (x) ,donde es la densidad volumetrica
de carga electrica. Por lo tanto de la transformaci on (??) 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). Denimos la transformaci on de
gauge por:

= e
iL
.

(1.26)
donde es un vector columna y L es una representacion de matriz SU(2). Las componentes
de esta matriz satisfacen la regla:
[L
i
, L
j
] = i
ijk
L
k
donde los
ijk
son las constantes de estructura del grupo. Para innitesimal:

= [1 iL
.
]
Por lo tanto
= i(L
.
) (1.27)
O bien, usamos la representaci on adjunta, es decir expresamos las constantes de estructura
como elementos de matriz de L: L
i
jk
= i
ijk

i
= [
ik
i(L
j

j
)
ik
]
k
=
ik

k
iL
j
ik

k
=
i

jik

k
Por lo tanto tambien
=
jik

k
=
ijk

k
(1.28)
1.5 Transformacion de Gauge Local.Grupo Abeliano.
La transformaci on 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:

i
(x)

i
(x) = e
iq
i
(x)

i
(x) (1.29)
Si (x) es una funci on innitesimal se tiene que:

i
(x) = iq
i
(x)
i
(x) (1.30)
Y para el gradiente del campo obtendremos:

i
(x)

i
(x) = e
iq
i
(x)

i
(x) iq[

(x)]e
iq
i
(x)

i
(x) (1.31)
6
Luego la variacion del lagrangiano es:
L =
L

i
+
L
(

i
)
(

i
)
=
_
L

i
(iq
i
)
i
+
L
(

i
)
(iq
i
)

i
_
(x) +
_
L
(

i
)
(iq
i
)
i
_

(x) (1.32)
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 fot onico A

que permite al gradiente del campo

i
, aparecer en L en la combinaci on
(

ieq
i
A

)
i
. De este modo se obtiene:
(

ieq
i
A

i
(x) = e
iq
i
(x)
(

ieq
i
A

)
i
(x) (1.33)
Si aqu reemplazamos (??) y (??) encontraremos que:
A

(x) =
1
e

(x) + A

(x) (1.34)
Es decir:
A

(x) =
1
e

(x) (1.35)
Si L(
i
,

i
, A

), la condici on de invarianza sera escrita como:

L = 0 =
L

i
+
L
(

i
)
(

i
) +
L
A

+
L
(

)
(

)
=
_
L

i
(iq
i
)
i
+
L
(

i
)
(iq
i
)

i
_
(x)
+
_
L
(

i
)
(iq
i
)
i
+
L
A

1
e
_
_

(x) +
_
L

1
e
_
_

(x) = 0 (1.36)
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 (

ieq
i
A

)
i
.
Del tercer parentesis cuadrado se obtiene:
L

(x) =
1
2
_
L

+
L

(x) = 0
Es decir:
L

+
L

= 0 (1.37)
La solucion de esta ecuaci on es:
L = L(F

) (1.38)
donde
F

(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 cuadr atica.

En las ecuaciones (??) y (??) tenamos:
E =
1
c
A
t
(1.41)
B = A (1.42)
Adem as

=
_

x
o
,
_
=
_
1
c

t
,
_
(1.43)
A

= (A
o
, A) = (, A) (1.44)
Luego las componentes de E y B son:
E
x
=
1
c
A
x
t


x
=
o
A
1

1
A
o
E
y
=
1
c
A
y
t


y
=
o
A
2

2
A
o
E
z
=
1
c
A
z
t


z
=
o
A
3

3
A
o
B
x
=
A
z
y

A
y
z
=
2
A
3
+
3
A
2
B
y
=
A
z
x
+
A
x
z
=
1
A
3

3
A
1
B
z
=
A
y
x

A
x
y
=
1
A
2
+
2
A
1
Entonces (??) nos dice que las componentes de los campos electrico y magnetico son invari-
antes de gauge bajo la transformaci on (??) (notemos que esta es equivalente a la transfor-
maci on de gauge (??) y (??)).
1.6 Transformacion de Gauge Local. Grupo No Abeliano.
Yang-Mills.
Sea el grupo que tiene generadores T
i
que cumplen:
[T
i
, T
j
] = iC
ijk
T
k
(1.45)
los C
ijk
son las constantes de estructura de este grupo.
8
Nuestros campos transforman ahora por:
(x)

(x) = e
iL
.
(x)
(x) U()(x) (1.46)
donde (x) es un vector columna y L
i
es una matriz de representaci on de los generadores
del grupo. Como el parametro depende de x, para el gradiente tendremos que:

(x)

(x) = U()

(x) + [

U()](x) (1.47)
De manera an aloga 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:
D

(x) D

(x) = U()D

(x) (1.48)
La deniremos 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

campos A
j

(componentes del campo vectorial) es igual al n umero de generadores del grupo.

Ahora desarrollamos el lado izquierdo de la igualdad de (??):
D

(x) =

igA

L
j

= [

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 (??):
igA

LU() = igU()A
.

L [

U()]
Ya que esta relacion debe mantenerse para todo , se tiene que:
A

LU() = U()A
.

L
i
g
[

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

L = U()[A
.

L
i
g
U
1
()

U()]U
1
() (1.53)
Para muy chico, la transformacion es innitesimal y tendremos:
U() = exp(iL
.
) [1 iL
.
] y U
1
() [1 + iL
.
] (1.54)
9
Reemplazando estas relaciones en (??):
L
.
A

= [1 iL
.
]L
.
A

[1 + iL
.
]
i
g

[iL
.
][1 + iL
.
]
= L
.
A

i(L
.
)(L
.
A

) + i(L
.
A

)(L
.
)
+(L
.
)(L
.
A

)(L
.
)
i
g

(L
.
)

i
g

(L
.
)(L
.
)
Si tomamos las componentes y no consideramos los terminos de segundo orden en :
L
i
A

= L
i
A
i

i(L
i

i
)(L
j
A
j

) + i(L
j
A
j

)(L
i

i
)
i
g

(L
i

i
)
Es decir:
L
i
A
i

=
i
g
L
i

i
+ i
i
A
j

(L
j
L
i
L
i
L
j
) =
i
g
L
i

i
+ i
i
A
j

[L
j
, L
i
]
Notemos que
j
es un par ametro, un n umero, y L
i
un generador, no conmuta. Como
[L
j
, L
i
] = iC
jik
L
k
L
i
A
i

=
i
g
L
i

i
A
j

C
jik
L
k
Esto es una sumatoria en los ndices repetidos y C
jik
es antisimetrico, por lo tanto:
L
i
A
i

=
i
g
L
i

i
+ C
ijk

j
A
k

L
i
Ya que los L
i
son linealmente independientes:
A
i

=
i
g

i
+ C
ijk

j
A
k

(1.55)
En analoga con el caso anterior, ecuacion (??), deberamos tener un tensor F

, aunque
ac a no tendr a la forma que tena, puesto que:
[

A
i

A
i

] =

(A
i

(A
i

)
=

[
i
g

i
+ C
ijk

j
A
k

[
i
g

i
+ C
ijk

j
A
k

]
= C
ijk

j
[

A
k

A
k

] + C
ijk
[(

j
)A
k

j
)A
k

] (1.56)
Notemos que debemos agregar algo a

A
i

A
i

para obtener la invarianza bajo transfor-

maciones de Yang-Mills, ya que nos sobran los terminos del segundo parentesis cuadrado.
Calculemos
C
ijk
[A
j

A
k

] = C
ijk
[(A
j

)A
k

+ (A
k

)A
j

] (1.57)
10
Reemplazando (??) en esta ultima relaci on:
C
ijk
[A
j

A
k

] =
C
ijk
g
[(

j
)A
k

j
)A
k

] + C
ijk
C
jlm

l
A
m

A
k

+C
ijk
C
klm

l
A
m

A
j

(1.58)
Los dos ultimos terminos los podemos reescribir:
C
ijk
C
jlm

l
A
m

A
k

+ C
ijk
C
klm

l
A
m

A
j

= C
ikm
C
klj

l
A
j

A
m

+ C
ijk
C
klm

l
A
m

A
j

= [C
imk
C
kjl
C
ijk
C
kml
]
l
A
j

A
m

(1.59)
Utilizando la representacion adjunta de (??), (T
i
)
jk
= iC
ijk
se obtiene:
C
imk
C
kjl
C
ijk
C
kml
= (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
= iC
lik
(T
k
)
mj
= C
ilk
C
kjm
(1.60)
Por lo tanto
C
ijk
[A
j

A
k

] =
C
ijk
g
[(

j
)A
k

j
)A
k

] + C
ilk

l
C
kjm
A
j

A
m

(1.61)
Ahora multiplicamos por g y a cada lado de la igualdad le sumamos el lado correspondiente
de la ecuaci on (??), obtenemos:
[

A
i

A
i

+ gC
ijk
A
j

A
k

] = C
ijk

j
[

A
k

A
k

+ gC
klm
A
l

A
m

] (1.62)
Luego denimos:
F
i

A
i

A
i

+ gC
ijk
A
j

A
k

(1.63)
Entonces:
F
i

= C
ijk

j
F
k

(1.64)
Por lo tanto en el lagrangiano debe aparecer la combinaci on F
i

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 innitos grados de libertad, ver referencia [?]).
Mostraremos en ejemplos que el rompimiento espontaneo de la simetra conduce a la
aparici on 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 espont aneo de la simetra U(1) nos conducira a un campo escalar masivo y
un campo fot onico con masa. En el caso no abeliano SU(2) el rompimiento espont aneo 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 = (

)(

) m
2

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

+ (

)
2
(2.3)
La condicion del mnimo de energa queda expresada como:
V

= m
2

+ 2(

)
2
= 0 ,
V

= m
2
+ 2

()
2
= 0 (2.4)
De aqu obtenemos que el mnimo de energa ocurre sobre el crculo del plano complejo
Re-Im:
(Re)
2
+ (Im)
2
=

=
m
2
2
o |
o
| =
_
m
2
2
_1
2
Es decir el sistema tiene un conjunto innito de estados vacos, cada uno de ellos correspon-
diente a un punto del crculo. El estado vaco es innitamente degenerado.
Notemos que la transformaci on (??) 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 armar que,
en esta aproximaci on, el lagrangiano descrito por este sistema presenta un rompimiento
espont aneo de la simetra U(1).
Denamos un nuevo campo cuya parte real es
1
y la parte imaginaria es
2
:

2
= Re
_
m
2
2
_1
2
,

2

2
= Im (2.5)
Ahora reescribimos el lagrangiano en terminos de
1
y
2
:
L =
1
2
(

1
)
2
+
1
2
(

2
)
2
+ m
2
(
1
)
2

_
m
2
2
_1
2

1
(
2
1
+
2
2
)
1
4
(
2
1
+
2
2
)
2
(2.6)
Aqu
1
es el campo de una partcula con masa 2m
2
> 0, el campo
2
no tiene masa,
puesto que este nuevo lagrangiano no contiene un termino proporcional a
2
2
. A
2
se le
llamar a bos on goldstone.
Notemos que los lagrangianos (??) y (??) son equivalentes, ambos describen la din amica
del mismo sistema.
En conclusi on, el rompimiento espont aneo de la simetra U(1) del lagrangiano (??) con-
vierte al campo complejo (x) en un bos on goldstone y un campo escalar real de masa
2m
2
> 0.
En el caso en que el segundo termino del lagrangiano (??) sea +m
2

, tendremos un
estado vaco no degenerado e invariante con valor cero, y en este caso no habr a rompimiento
espont aneo de la simetra .
13
Tambien podemos considerar un modelo de dos campos,
1
y
2
, que tiene lagrangiano:
L =
1
2
(

1
+

2
)
1
2
m
2
(
2
1
+
2
2
)
1
4
(
2
1
+
2
2
)
2
(2.7)
donde el potencial es:
V =
1
2
m
2
(
2
1
+
2
2
) +
1
4
(
2
1
+
2
2
)
2
(2.8)
Este lagrangiano es invariante bajo el grupo de transformaciones O(2):
_

2
_
=
_
cos sin
sin cos
__

1

2
_
Es decir

2
1
+
2
2
es invariante
Lo mismo ocurre con los gradientes de los campos.
La condicion del mnimo de energa se expresa como:
V

1
= 0 ,
V

1
= 0 (2.9)
Si m
2
< 0, el mnimo absoluto ocurre en el crculo del plano
1

2
:

2
1
+
2
2
=
m
2

Podemos denir los ejes de nuestro plano para obtener los mnimos de nuestros campos del
siguiente modo:
<
1
>
o
=
_
m
2

_1
2
, <
2
>
o
= 0
Como antes denamos:

1
=
1
<
1
>
o
(2.10)

2
=
2
(2.11)
esto es an alogo a (??), la equivalencia es Re

1

2
, Im

2

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 :
L =
1
2
(

i
)
2

1
2
m
2

4
(
i

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

i

i

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

i
)
1
2
= v = (
m
2

)
1
2
Este modelo tambien tiene un n umero innito de vacos.
Podemos construir el vaco como el siguiente vector columna:
< >
o
=
_
_
_
_
_
_
0
0
.
.
.
v
_
_
_
_
_
_
(2.13)
donde <
i
>= 0 si i = 1, ..., n 1 y <
n
>= v
Este nuevo vaco es invariante bajo el grupo que permite que v
n
= v sea invariante, esto
es, el subgrupo O(n 1). Tenemos por lo tanto un rompimiento espont aneo de la simetra
O(n).
Sean L
ij
las
1
2
n(n1) matrices independientes que generan O(n). Sean l
ij
el subconjunto
que genera O(n 1) y k
i
[k
i
= L
ij
] el resto.
En vez de redenir un campo =
n
v y dejar igual las restantes componentes
i
,
introduciremos una parametrizacion de los n campos:
= exp(i
i
k
i
/v)
_
_
_
_
_
_
0
0
.
.
.
v +
_
_
_
_
_
_
(2.14)
Como en general tenemos que (L
ij
)
kl
= i[
ik

jl

il

jk
], los elementos de la matriz k
i
son:
(k
i
)
kl
= (L
in
)
kl
= i[
ik

nl

il

nk
]
Y por lo tanto k
i
operando sobre el vector columna v
i
= v
in
es:
(k
i
)
jl
v
l
= v(k
i
)
jl

ln
= v(k
i
)
jn
= iv
ij
(Notemos que los k
i
llevan un estado vaco a otro).
As en el orden m as bajo
=
_
_
_
_
_
_
0
0
.
.
.
v +
_
_
_
_
_
_
+
i
i
v
k
i
v
n
es decir:

i
=
i
(i < n) y
n
= v +
Nuestro lagrangiano en terminos de
i
y es:
L =
1
2
[(

)
2
+ (

i
)
2
]
1
2
m
2
(v + )
2

1
2
(v + )
4
+ terminos de orden mas alto (2.15)
15
Los n 1 campos
i
no tienen masa y el campo tiene masa 2m
2
> 0.
Enfaticemos que por cada generador roto k
i
hay un bos on 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 bos on Goldstone sin
masa.
2.3 Invarianza Local. Caso Abeliano U(1).
Consideremos el siguiente lagrangiano invariante bajo transformaciones de gauge U(1) lo-
cales:
L = [(

+ ieA

ieA

)] m
2

)
2

1
4
F

(2.16)
donde
F

Explcitamente, este lagrangiano es invariante bajo las transformaciones:

= e
i(x)

= e
i(x)

(2.17)
A

= A

1
e

(x)
En el caso en que m
2
< 0 tendremos que los valores del estado vaco estaran sobre un
crculo, parecido al caso del lagrangiano (??). Esto implica un rompimiento espont aneo de
la simetra U(1).
Notemos que el lagrangiano posee la misma simetra que el modelo (
1
,
2
). La corres-
pondencia es

1

2
Re y

2

2
Im. Y construamos
1
= v+
1
, por lo que aqu podemos
asumir que :
< >
o
=
v

2
(2.18)
16
donde v
2
=

. Y parametrizar exponencialmente introduciendo dos campos reales y

:
=
1

2
e
(i/v)
(v + ) =
1

2
[v + + i + ] (2.19)
Por lo tanto
=
1

2
[(v + ) + i]

=
1

2
[(v + ) i]
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 est a asociado al rompimiento espontaneo de la simetra U(1).
Escribiendo el lagrangiano (??) en terminos de A

, y :
L =
1
4
F

+
1
2

+
1
2

+
1
2
e
2
v
2
A

evA

m
2

2
+ terminos c ubicos y otros de orden m as 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:

= exp[i(x)/v] =
1

2
(v + ) (2.21)
A

= A

1
ev

(2.22)
Como el lagrangiano (??) es invariante bajo estas transformaciones tenemos que:
L = [(

+ ieA

ieA

] m
2

)
2

1
4
F

(2.23)
donde
F

Reemplazando (??) en

de este ultimo lagrangiano y desarrollando se obtiene:

L =
1
4
F

+
1
2

+
1
2

+
1
2
e
2
v
2
A

+
1
2
e
2
A

(2v + )

1
2

2
(3v
2
+
2
) v
3

1
4

4
(2.24)
17
No hay terminos de acoplamiento entre los diferentes campos, por lo que el espectro de las
masas se visualiza en los teminos cuadr aticos. Hay un meson escalar con masa 3
2
v
2
+

2
y un mes on 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
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
descritas por A

mesones vectoriales.
2.4 Invarianza Local. Caso No Abeliano SU(2).
Consideremos el siguiente lagrangiano:
L =
1
2
(

i
+ g
ijk
A
j

k
)(

i
+ g
ij

A
j

k
) V (
i

i
)
1
4
F
a

F
a

(2.25)
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:
< >
o
=
_
_
_
0
0
v
_
_
_ (2.26)
El campo lo parametrizamos como antes:
= exp[
i
v
(
1
L
1
+
2
L
2
)]
_
_
_
0
0
v +
_
_
_ =< >
o
+
_
_
_

_
_
_ + orden mas alto (2.27)
donde L
i
son los generadores de SU(2) y
i
los supuestos bosones goldstone asociados a los
generadores rotos. L
3
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[
i
v
(
1
L
1
+
2
L
2
)], se obtiene:

= exp[
i
v
(
1
L
1
+
2
L
2
)] =
_
_
_
0
0
v +
_
_
_ (2.28)
L
.
A

= exp[
i
v
(
1
L
1
+
2
L
2
)]L
.
Aexp[
i
v
(
1
L
1
+
2
L
2
)]

i
g
{

exp[
i
v
(
1
L
1
+
2
L
2
)]}exp[
i
v
(
1
L
1
+
2
L
2
)] (2.29)
18
Los campos
1
y
2
desaparecen completamente cuando escribimos el lagrangiano del
siguiente modo:
L =
1
2
(

i
+ g
ijk
A

k
)(

i
+ g
ij

k
) V (

2
i
)
1
4
F

(2.30)
Los campos
1
y
2
han sido absorbidos por los campos de gauge. Reemplazando (??) en
este ultimo lagrangiano y desarrollando se obtiene:
L =
1
2

+
1
2
g
2
v
2

ij3

ij

3
A

V [(v + )
2
]
1
4
F

+ terminos de orden mas alto

(2.31)
El termino cuadr atico en el campo vectorial de gauge es:
1
2
g
2
v
2
[A
2

A
2

+ A
1

A
1

]
correspondientes a los generadores de simetra rota, es decir dos de los campos de gauge
adquieren masa gv, y ya que la simetra L
3
sobrevive, A
3

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:

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

.
Denimos un producto de los generadores tal que, sea asociativo:

a
(
b

c
) = (
a

b
)
c
y sea distributivo:

a
(
b

c
+
d
) =
a

c
+
a

d
Bajo la adici on como la multiplicaci on, los elementos de

, llamados supern umeros

forman un espacio vectorial de dimension innita.
3.2 Particiones de los Supern umeros.
Un supern umero se puede expresar como:
z = z
B
+ z
S
(3.2)
donde z
B
, llamado el cuerpo, es un n umero complejo, y
z
S
=

n=1
1
n!
c
a
1
a
n

a
n

a
1
20
es llamado el alma. Aqu el factor c
a
1
a
n
es complejo y completamente antisimetrico en sus
ndices.
Cada supern umero con z
B
= 0 tiene una unica inversa dada por :
z
1
= z
1
B

n=0
(z
1
B
z
S
)
n
Otra particion importante de un supern umero es en una parte par y otra parte impar:
z = u + v (3.3)
donde la parte par es
u = z
B
+

n=1
1
(2n)!
c
a
1
a
2n

a
2n

a
1
y la parte impar es:
v =

n=0
1
(2n + 1)!
c
a
1
a
2n+1

a
2n+1

a
1
Los supern umeros puramente impares anticonmutan entre ellos. Los supern umeros pu-
ramente pares conmutan con cualquier supern umero y forman un subalgebra de

, la cual
denotamos C
c
. El conjunto de los supern umeros puramente impares se denota C
a
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.
Denimos 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 signica que:
zz
,
= (1)

z
,
z
,
z (3.5)
donde z y z
,
son dos supern umeros de paridad denida.
3.4 Derivadas Izquierda y Derecha.
Sea f un mapeo de C
a
en

. f ser a superanaltico en un punto v, si la imagen f(v) en

sufre un desplazamiento el cual, para todo dv, toma la forma:

df(v) = dv
_
d
l
dv
f(v)
_
=
_
d
r
dv
f(v)
_
dv (3.6)
21
Los coecientes
d
l
dv
f(v) y
d
r
dv
f(v) son llamados, respectivamente, derivada izquierda y derecha
de f con respecto a v
Un mapeo superanaltico f desde C
c
a

se dene similarmente:
df(u) = du
_
d
l
du
f(u)
_
=
_
d
r
du
f(u)
_
du (3.7)
Como du es un n umero par:
d
l
du
f(u) =
d
r
du
f(u)
Sin embargo, en el caso anterior como dv es impar, no siempre se cumplir a que:
d
l
dv
f(v) =
d
r
dv
f(v)
En general si z es un supern umero de paridad denida, y como:
dz
_
d
l
dz
f(z)
_
=
_
d
r
dz
f(z)
_
dz
se obtiene
dz
_
d
l
dz
f(z)
_
= (1)
[(f)+(z)](z)
dz
_
d
r
dz
f(z)
_
es decir:
d
l
dz
f(z) = (1)
[(f)+(z)](z)
d
r
dz
f(z) (3.8)
donde [(f) + (z)] es la paridad de
d
r
dz
f(z) (o de
d
l
dz
f(z)).
3.5 Regla de Leibniz para las Derivadas Derecha e Izquierda.
Para obtener
d
r
dz
(FG), donde F y G tienen paridad denida, hacemos:
d(FG) = (dF)G + F(dG)
=
_
d
r
F
dz
_
dzG + F
_
d
r
G
dz
_
dz
=
_
(1)

z
d
r
F
dz
G + F
d
r
G
dz
_
dz
Y por lo tanto:
d
r
dz
(FG) = (1)

z
d
r
F
dz
G + F
d
r
G
dz
(3.9)
An alogamente:
d
l
dz
(FG) =
d
l
F
dz
G + (1)

z
F
d
l
G
dz
(3.10)
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 deniremos 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 ecuaci on maestra, y veremos bajo que transformaci on 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
= u
A
i

i
( in-
nitesimal), donde:
u
A
i
=

r
g
A
a
i
(4.1)
son los generadores de este grupo. Estos satisfacen:

r
u
A
j

B
u
B
i
(1)

j

r
u
A
i

B
u
B
j
= u
A
k
U
k
ij
(4.2)
donde los coecientes de estructura del grupo son supern umeros con la propiedad:
U
k
ij
= (1)

j
U
k
ji
(4.3)
Estos satisfacen la identidad de Jacobi del tipo:
(1)

m
U
j
ik
U
k
lm
+ (1)

m
U
j
mk
U
k
il
+ (1)

l
U
j
lk
U
k
mi
= 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
U
i
ij
= 0, se puede
derivar, ver la referencia [?]:
G = (1)

i
_

r

i
G
_
u
A
i
+
1
2
(1)

i
+1
_

r

i
G
_

k
U
k
ji
(4.5)
Cuando los U
k
ij
son constantes podemos demostrar que
2
= 0.
Como not o Koszul [?] y redescubrio Witten [?] podemos denir un antibracket (F, G)
calculando (FG) e identicando en el resultado los elementos que aparecen en la siguiente
relaci on:
(FG) = F(G) + (1)

G
(F)G + (1)

G
(F, G) (4.6)
De manera explcita queda:
(F, G) = (1)

i
(
A
+1)

r
F

i
u
A
i

l
G

A


r
F

A
u
A
i

l
G

i
+

r
F

k
U
k
ij

l
G

j
(4.7)
Este antibracket tiene las siguientes propiedades:
(F, G) = (1)

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

G
(
F
+1)
G(F, H) (4.9)
(FG, 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 ecuaci on maestra (esta ecuaci on aparece, por razones
que no es necesario mencionar aqu, en el metodo de cuantizaci on de Batalin-Vilkovisky, ver
referencia [?]):
S +
1
2
(S, S) = 0 (4.13)
con (S) = 0.
Esta ecuacion es invariante bajo la siguiente transformaci on:
S = + (, S) (4.14)
donde () = 1
24
Esta transformacion forma un algebra cerrada, es decir:
[

] =
(,)
(4.15)
Ahora veremos que la ecuaci on maestra tiene similar forma que las transformaciones de
Yang-Mills.
Podemos pensar la ecuaci on maestra como un campo de fuerza
F = A +
1
2
(A, A) , (A) = 0 (4.16)
Como ya vimos, la transformaci on que dejar a a F = 0 invariante es:
A = + (, A) , () = 1 (4.17)
pues
F = (, F) (4.18)
El operador diferencial lo construimos de la siguiente forma:
=

+
NA
(4.19)
(notemos que

A = (

A)

). Donde

NA
G = (1)

i
_

r
y
A

r
y

i
G
_
u
A
i
+
1
2
(1)

i
+1
_

r
y

r
y

i
G
_
y

k
f
k
ji
(4.20)
(y
A
) = 0 y (y

a
) = 1
De manera an aloga a como se obtiene (??), derivamos el siguiente antibracket:
(F, G) = (1)

i
(
A
+1)

r
F
y

i
u
A
i

l
G
y
A


r
F
y
A
u
A
i

l
G
y

i
+

r
F
y

i
y

k
f
k
ij

l
G
y

j
(4.21)
Entonces nuestro A de la relaci on (??) lo construimos como:
A = A
a

(x)y

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

a
) = 1
Ahora utilizamos esta construcci on de A junto con (??), (??) y (??), obtenemos:
A
a

(x) =

a
+ f
a
cd

c
A
d

(4.23)
que es equivalente a la ecuaci on (??) , los
a
seran las componentes del parametro del grupo
de transformacion y f
a
cd
las constantes de estructura del grupo, es decir A
a

(x) es equivalente
a una componente del campo fot onico A

.
Tambien obtenemos F usando (??), (??) y (??):
F = (

A
a

A
a

f
a
cd
A
c

)y

= F
a

(4.24)
F
a

es equivalente al de la ecuaci on (??).

En lo que viene consideraremos un
NA
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 losofa del captulo anterior, parece natural explorar nuevos que
permitan indicarnos nuevas simetras. En el presente captulo consideraremos un operador
diferencial
NA
de tercer orden, que cumpla con
2
NA
= 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:

NA
=
ijk

r
y

r
y

r
y

k
, i,j,k = 1,2,3 (5.1)
Se demuestra facilmente que:

2
NA
= 0 (5.2)
De las ecuaciones (29) que est an 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 denir un antibracket (F, G) por la regla (??), se pueden desa-
rrollar los operadores , utilizando:

r
(FG)
y

i
= F

r
G
y

i
+ (1)

G
(y

i
)

r
F
y

i
G ,donde (y

i
) = 1 (5.5)
26
Y obtenemos el antibracket de manera explcita:
(F, G) = 3
ijk
_

r
F
y

r
y

r
G
y

k
+ (1)

ijk

r
y

r
F
y

r
G
y

k
_
(5.6)
Ahora con esta ultima formula desarrollamos (??) y obtenemos tambien, de manera
explcita, el triantibracket:
(F, G, H) = 6
ijk

r
F
y

r
G
y

r
H
y

k
(5.7)
Denamos
=

+
NA
(5.8)
De la ecuaci on (34) de la referencia [?] obtenemos:
A = + (, A) +
1
2
(, A, A) (5.9)
Adem as
F = A +
1
2
(A, A) +
1
3
(A, A, A) , (A) = 0 (5.10)
En este caso F = 0 es invariante bajo la transformaci on (??), pues (referencia [?]):
F = (, F) + (, F, A) (5.11)
Supongamos que:
A = (x) + B

+ C
ab
y

a
y

b
+ D
a

(5.12)
=
a
y

a
(5.13)
Desarrollando (??) explcitamente, se obtiene:
A = 6
ijk

i
C
jk
3
ijk

i
D
j

D
k

12
ijk

i
C
aj
C
bk
y

a
y

b
+(

a
12
ijk

i
C
ak
D
j

)y

(5.14)
es decir:
(x) = 6
ijk

i
C
jk
B

= 3
ijk

i
D
j

D
k

C
ab
= 12
ijk

i
C
aj
C
bk
y

a
y

b
D
a

a
12
ijk

i
C
ak
D
j

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

= 3
ijk
{[
i
2
(

j
1
)
i
1
(

j
2
)]D
k

+ [
i
1
(

j
2
)
i
2
(

j
1
)]D
k

}
= 3{Z
k

D
k

Z
k

D
k

}
|

1
,

2
]C
ab
= 0
|

1
,

2
]D
a

= 12
ijk
C
ak
[
i
2
(

j
1
)
i
1
(

j
2
)]
= 12C
ak
Z
k

Notar que:
Z
k

=
ijk
[
i
2
(

j
1
)
i
1
(

j
2
)] (5.16)
Por lo tanto
[

1
,

2
]A = 3{Z
k

D
k

Z
k

D
k

12C
ak
Z
k

(5.17)
Como

anticonmutan:
[

1
,

2
]A = 6Z
k

D
k

12C
ak
Z
k

= 6Z
k

[D
k

2C
ak
y

a
]
= 6Z
k

r
y

k
A
=
z
A (5.18)
donde

z
= 6Z
k

r
y

k
(5.19)
Ahora calculemos:
[

,
z
]A =

[
z
A]
z
[

A] (5.20)
De manera sencilla se obtiene:

[
z
A] = 6Z
k

k
)

+ 72Z
k

k

i

C
kk

D
j

144Z
k

k

i

C
aj

C
kk

a
(5.21)
(Primero se utiliza (??) y luego (??)).
Para el segundo termino de la derecha de (??) calculamos de la siguiente manera:

z
[

A] =
z
[ + (, A) +
1
2
(, A, A)]
= (, A +
z
A) (, A) +
1
2
(, A +
z
A, A +
z
A)
1
2
(, A, A)
= (,
z
A) +
1
2
[(, A,
z
A) + (,
z
A, A) + (,
z
A,
z
A)] (5.22)
28
Desarrollando el antibracket y los tribrackets obtenemos:

[
z
A] = 144Z
k

ijk

i
C
aj
C
k

k
y

a
+ 72Z
k

ijk

i
C
k

k
D
j

(5.23)
Reemplazando (??) y (??) en (??):
[

,
z
]A = 6Z
k

k
)

(5.24)
Es facil calcular que:
[
z
1
,
z
2
]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 6Z
k

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 nita de operadores que pertenezcan
al algebra y que bajo la operaci on [ , ] resulte alg un 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 pr actica estudiamos el concepto de invariancia de gauge y rompimiento espont aneo
de la simetra. Tambien se consider o 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 ultimo, aplicando lo aprendido, nos dimos un operador
NA
de tercer
orden que cumple
2
NA
= 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 par ametro
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 relaci on (??), 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 continuaci on
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 preparaci on.
31