Escolar Documentos
Profissional Documentos
Cultura Documentos
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
= 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
= 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
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
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
=
_
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
(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
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
)(
) 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
= 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
=
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
+
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
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
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
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
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
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
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
)
,
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