19

CIENCIAS - FSICA
Una descripcin sencilla de las Teoras Gauge
Quintero, N; Molina, F.
Resumen. En este trabajo presentamos una breve discusin sobre las teoras gauge
basadas en grupos de Lie Abelianos y no-Abelianos. Mostramos la formulacin del
Modelo Estndar de las partculas elementales, como aplicacin de una teora gauge y
nos enfocamos especialmente en los trminos cinticos de los campos gauge asociados
a las simetras .
Palabras y frases claves: Invariancia, simetra, grupos de Lie, teora gauge, Modelo
Estndar.
Abstract. In this work we present a brief discussion about gauge theories based on Abe-
lian and non-Abelian Lie groups. We show the formulation of the Standard Model of
the elemental particles, as an application of a gauge theory and focussing in particular
on kinematic terms of gauge nelds associated with the symmetries.
Key words and phrases: Invariance, symmetry, Lie groups, gauge theory, Standard
Model.
1. Introduccin
La existencia de simetras ha jugado un rol muy importante en el desarrollo de la fsica
moderna, desde las simetras del espacio-tiempo de la relatividad, hasta las simetras
internas e invariancias gauge de la Teora Cuntica de Campos. Decimos que hay una
simetra Gcuando un sistema fsico se mantiene invariante bajo la transformacin da-
da por G, o equivalentemente cuando la Lagrangiana del sistema es invariante. A veces
dicho conjunto G de simetras independientes de un sistema genera una estructura
algebraica de grupo, en tal caso se dice que hay un grupo de simetra.
Como idea central y motivacin a este trabajo podramos preguntarnos si dado cierto
Lagrangiano que se mantiene invariante bajo cierta simetra, sera posible determinar
la forma de la interaccin de una teora. En otras palabras, podra una simetra tam-
bin implicar dinmica?. Para obtener Lagrangianos bajo transformaciones locales se
utiliza el principio gauge, el cual consiste en introducir nuevos campos en el Lagran-
giano de tal manera que cancelen los trminos que rompen la invariancia de ste. As,
por cada generador del grupo se introduce un campo adicional (campo gauge) el cual
Grupo Quark, Departamento de Fsica, Universidad del Tolima, Ibagu, Colombia. nquin-
te@gmail.com, frmolinag2006@gmail.com.
Una descripcin sencilla de las Teoras Gauge
A brief description of Gauge Teories
20
CIENCIAS - FSICA
Revista Tumbaga 2009 | 4 | 19-29
est asociado a las interacciones, es decir, con cada interaccin podemos asociar un
grupo de simetras y un conjunto de campos gauge.
En este trabajo se describe de manera breve y explcita la nocin de un principio de
invariancia gauge y el uso de transformaciones locales asociadas a simetras internas
(grupos de Lie) Abelianas y no-Abelianas, las cuales son de amplio conocimiento en
la literatura. El Modelo Estndar de las partculas elementales se presenta como una
aplicacin que emerge de la relacin entre estos dos conceptos. Nuestro inters no co-
rresponde a una presentacin exahustiva de las teoras gauge. Tampoco pretendemos
que este sea un tratado original, ms bien se trata de un material mnimo y sencillo
que hace referencia al uso de dichas teoras para facilitar el aprendizaje de estudian-
tes y nentos en general. Este trabajo est organizado de la siguiente manera: en las
secciones 2 y 3 presentamos las nociones bsicas sobre invariancia gauge Abeliana y
no-Abeliana, respectivamente. En la seccin 4 se muestra el Modelo Estndar como
aplicacin a una teora gauge, y en la seccin 5 se presentan algunas conclusiones. Los
apndices A y B contienen, respectivamente, nociones bsicas de un grupo de Lie y
transformaciones del campo gauge.
2. Invariancia gauge Abeliana
Para comprender los aspectos fundamentales del principio gauge tomemos el Lagran-
giano de Dirac para partcula libre de masa m, es decir, un Lagrangiano sin trminos
de interaccin, dennido como (Kane, 1993)
(2.1) L
0
=

(x)(i

m)(x),
el cual describe las partculas elementales de espn 1/2, llamadas fermiones. Donde
(x) es una funcin de onda, llamada espinor de Dirac (

(x) el espinor adjunto),
el cual se representa por una matriz nla de 4 componentes, debido a los requerimien-
tos de la relatividad especial. El trmino

es una extensin cuadridimensional del

operador diferencial gradiente y est dennido como
(2.2)

t
;

,
y

= (
0
;
j
) son operadores lineales descritos por matrices 44, conocidas como
matrices de Dirac, dadas por
(2.3)
0
=
3
1 y
j
=
0
(
3

j
).
Dichas expresiones dennen un lgebra de Clinord, denominada lgebra de Dirac
(Kane, 1993; Bjorken y Drell, 1964). En general,

son 4-vectores (vectores

Ver por ejemplo: (Weinberg, 1995; Donoghue, Golowich, y Holstein, 1993; Kane, 1993)
21
CIENCIAS - FSICA
cuadridimensionales) covariantes y contravariantes, respectivamente, del espacio de
Lorentz.
Ahora queremos analizar si el Lagrangiano L
0
se mantiene invariante cuando aplica-
mos una transformacin gauge local U(1), que sea unitaria, es decir, UU

= U

U =
1,
(2.4) (x) U(1)

(x) = exp {iQ(x)}(x),

donde Q es el generador asociado al grupo Abeliano U(1) (ver Apndice A) y
(x) es un parmetro que depende de cada punto del espacio-tiempo. En este caso,
notamos que el Lagrangiano no se mantiene invariante bajo este tipo de transforma-
cin, puesto que
L
0
U(1)

0
=

(i

m)

= e
iQ

(i

m)e
iQ

= e
iQ

[i

(e
iQ
) me
iQ
]
= e
iQ

{i

[iQe
iQ
+e
iQ
(

)] me
iQ
}
=

[i

) m]
= L
0
Q

). (2.5)
Por tanto el principio gauge aparece como el requerimiento para asegurar que la inva-
riancia de la fase U(1) se mantenga localmente. Esto es slo posible si adherimos una
pieza extra al Lagrangiano, transformndolo de tal manera que cancelemos el trmino
(

). Por tanto introducimos el campo gauge A

, llamado 4-potencial vectorial, que

transforma como
(2.6) A

U(1)

= A

,
y dennimos la derivada covariante a travs del acople mnimo
(2.7) D

+iQA

,
tal que preserve las propiedades fsicas bajo una transformacin gauge. De otra mane-
ra, la derivada no-covariante

no preservara la simetra gauge del Lagrangiano. Por

tanto
D

U(1)

(D

= exp {iQ(x)}D

(2.8)
= UD

,
El trmino

de la expresin (2.1) esta escrito bajo la convencin de Einstein de ndices repeti-

dos, la cual se sigue usando a lo largo del trabajo.
22
CIENCIAS - FSICA
Revista Tumbaga 2009 | 4 | 19-29
asegurando que el Lagrangiano de Dirac
L =

(i

m),
=

[i

+iQA

) m],
=

[i

m],
= L
0
Q

, (2.9)
sea invariante bajo una transformacin gauge local U(1). Algo interesante por resaltar
es que el requerimiento del principio gauge ha generado de manera natural la inter-
accin entre el espinor de Dirac y el campo gauge A

.
El tensor de intensidad Abeliana esta dennido como (Pich, 2007; Martnez, 2002)
(2.10) F

,
el cual se mantiene invariante bajo la transformacin gauge dada por la Ec. (2.6), o
sea F

. As, el trmino cintico del Lagrangiano para el campo gauge A

es
(2.11) L
A
=
1
4
F

.
Si consideramos el campo A

asociado al fotn y Q como el genarador de carga, la

Ec. (2.10) es conocida como el tensor de intensidad electromagntica y junto con la
Ec. (2.9) describen completamente la Electrodinmica Cuntica (QED) (Pich, 2007;
Novaes, 2000), mediante el Lagrangiano:
(2.12) L
QED
=
1
4
F

+L
0
J

EM
A

,
donde J

EM
= Q

es la 4-corriente electromagntica.
3. Invariancia gauge no-Abeliana
Procediendo anlogamente al caso Abeliano queremos imponer que el Lagrangiano
de Dirac para partcula libre L
0
sea invariante bajo una transformacin gauge local G
(3.1) (x) G

(x) = U(x);
tal que UU

= U

U = 1 y det |U| = 1, y G = SU(N) represente un grupo de Lie

no-Abeliano (ver Apndice A), por tanto
(3.2) (x) G

(x) = exp {iT

a

a
(x)}(x) con T
a
= t
a
/2,
donde
a

a
(x) son parmetros arbitrarios que son funciones de cada punto del
espacio-tiempo y t
a
(a = 1, 2, . . . , N
2
1) son los generadores de la representacin
fundamental del grupo de Lie SU(N) que satisfacen la respectiva lgebra de Lie
(3.3) [t
a
, t
b
] = iC
abc
t
c
,
23
CIENCIAS - FSICA
donde C
abc
es la constante de estructura del lgebra de Lie (Georgi, 1982; Hamer-
mesh, 1962). Podemos notar que el Lagrangiano no se mantiene invariante bajo este
tipo de transformacin gauge G, por lo tanto debemos requerir nuevamente del prin-
cipio gauge para mantener la invariancia. Por tanto introducimos N
2
1 campos
gauge G
a

(equivalente al mismo nmero de generadores del grupo G), que transfor-

man como (ver Apndice B):
(3.4) G
a

(G
a

= G
a

1
g
(

a
) +C
abc

b
G
c

,
y dennimos la derivada covariante
(3.5) D

+igT
a
G
a

.
Por cada generador del grupo se introduce un campo gauge, el cual est asociado a las
interacciones, es decir, con cada interaccin podemos asociar un grupo de simetras
y un conjunto de campos gauge. La constante g es una constante de acoplamiento y
caracteriza la intensidad de la interaccin.
El Lagrangiano en funcin de la derivada covariante D

se escribe como
(3.6) L =

(x)(i

m)(x),
el cual es invariante bajo una transformacin gauge local G. Una teora que sea si-
multneamente no-Abeliana y localmente invariante es conocida como una teora de
Yang-Mills (Yang y Mills, 1954).
Tambin podemos generalizar el tensor de intensidad para teoras de Yang-Mills
(3.7) F
a

G
a

G
a

gC
abc
G
b

G
c

,
el cual transforma como
(3.8) F
a

(F
a

= F
a

+C
abc

b
F
c

.
El trmino cintico para los campos gauge G
a

puede ser escrito como

(3.9) L
G
=
1
4
F
a

a
,
y as nnalmente tenemos que el Lagrangiano invariante bajo SU(N) es
(3.10) L =
1
4
F
a

a
+

(i

m),
que descompuesto en diferentes piezas puede ser visto como
L =
1
4
(

G
a

G
a

)(

a
) +

(i

m)
g

(T
a
G
a

)
+
g
2
C
abc
(

a
)G
b

G
c

g
2
4
C
abc
C
ade
G

b
G

c
G
d

G
e

. (3.11)
24
CIENCIAS - FSICA
Revista Tumbaga 2009 | 4 | 19-29
De la anterior ecuacin podemos decir que la primera lnea contiene el Lagrangiano
cintico para los campos gauge y para los fermiones (descritos por los espinores de
Dirac (x)), respectivamente; la segunda lnea contiene los trminos de interaccin
de los bosones gauge y los fermiones; y la tercera lnea a diferencia del caso Abeliano
presenta una nueva caracterstica para G

: los campos gauge tienen autointeracciones

triples y curticas (Pich, 2007; Novaes, 2000).
4. Aplicacin: Modelo Estndar
El Modelo Estndar (ME) de las partculas elementales es una teora gauge basada en
el grupo de simetra SU(3)SU(2)U(1), el cual describe las interacciones fuerte,
dbil y electromagntica, respectivamente, mediante el intercambio de los correspon-
dientes campos gauge: 8 gluones sin masa y un fotn sin masa, para la interaccin
fuerte y electromagntica, respectivamente; y 3 bosones masivos, W

y Z, para la
interaccin dbil. Dicho modelo constituye hasta la fecha uno de los logros mas exi-
tosos en la fsica moderna. ste provee un esquema terico muy elegante, el cual le
ha hecho posible describir con alta precisin durante los ltimos 30 aos resultados
experimentales en la fsica de las partculas elementales.
En esta seccin slo consideraremos los trminos cinticos de los campos gauge aso-
ciados al sector electrodbil del ME, ` es decir, asociados al grupo de simetra SU(2)
U(1). Por tanto consideraremos simultanamente transformaciones gauge locales Abe-
lianas y no-Abelianas, tal que (x) transforme como
(4.1) (x) G

(x) = U
Y
U
L
(x),
representando la transformacin G = SU(2) U(1), tal que
(4.2) U
Y
= exp {iY (x)} y U
L
= exp

j
2

j
(x)

,
donde las fases (x) y
j

j
(x) son parmetros arbitrarios que son fun-
ciones de cada punto del espacio-tiempo. El parmetro Y es llamado hipercarga, y

j
(j = 1, 2, 3) son las matrices de Pauli que corresponden a los generadores del
grupo Abeliano U(1) y no-Abeliano SU(2), respectivamente. Para que la teora sea
invariante bajo un conjunto de transformaciones locales G, la derivada covariante
debe tener la forma
D

+ig

j
2
W
j

+ig

Y B

,
donde g

y g son las constantes de acoplamiento asociadas a los grupos SU(2) y

U(1) respectivamente. B

es el campo gauge requerido para que la invariancia de

la teora se mantenga bajo la transformacin Abeliana U(1), y W
j

(j = 1, 2, 3)
`El modelo electrodbil fue propuesto por Glashow (1961), Salam (1968), Weinberg (1967) a me-
diados de los 60's y fue galardonado con el premio Nobel en fsica en 1979.
25
CIENCIAS - FSICA
son los 3 campos gauge asociados (W

y Z) para mantener la invariancia bajo la

transformacin no-Abeliana SU(2). As los campos gauge Abelianos y no-Abelianos
transforman respectivamente como
B

= B

1
g

,
W
j

(W
j

= W
j

1
g
(

j
) +
jkl

k
W
l

,
donde
jkl
es la constante de estructura para el grupo de Lie SU(2). Para construir
los trminos cinticos invariantes para los campos gauges, introducimos los corres-
pondientes tensores de intensidad Abeliano y no-Abeliano
B

, (4.3)
W
j

W
j

W
j

g
jkl
W
k

W
l

. (4.4)
Notemos que B

se mantiene invariante bajo el grupo de transformaciones G, mien-

tras que W
j

transforma covariantemente, es decir,

(4.5) B

, W
j

U
L
W
j

L
.
Por lo tanto, los trminos cinticos para los campos gauge estn dados por
(4.6) L
gauge
=
1
4
B

1
4
W
j

j
.
Esta expresin para los trminos cinticos de los campos gauge contiene los respectivos
Lagrangianos cinticos que determinan la ecuacin de movimiento para los campos
B

y W
j

, y adicionalmente efectos de autointeracciones triples y curticas de los cam-

pos no-Abelianos W
j

, es decir, el trmino cintico W

j

W
j

/4 tendr formas pro-

porcionales a (W)
2
correspondiente al propagador, y otros dos trminos de la forma
(W W)WW y WWWW correspondientes a los trminos de auto-interaccin
tres y cuatro campos, respectivamente. Como el campo electromagntico tiene una
simetra Abeliana, U(1), el fotn no tiene autointeracciones, como si ocurre con los
campos gauge no-Abelianos.
5. A modo de conclusin
En este trabajo hemos presentado una breve descripcin del uso de transformacio-
nes locales asociadas a simetras internas Abelianas y no-Abelianas y el principio de
invariancia gauge. El Modelo Estndar de las partculas elementales se presenta co-
mo una aplicacin de ambos conceptos, mostrando, as, al principio de invariancia
gauge como una poderosa herramienta para determinar la dinmica de las partculas
Ver (Pich, 2007) y (Martnez, 2002), donde se estudia en detalle los trminos de autointeraccin y
se da cuenta experimental de estos fenmenos dentro del Modelo Estndar.
26
CIENCIAS - FSICA
Revista Tumbaga 2009 | 4 | 19-29
fundamentales de la materia. Tambin presentamos especial intres en los trminos
cinticos del Lagrangiano asociados a los campos gauge Abelianos y no-Abelianos,
concluyendo que el fenmeno de autointeracciones triples y curticas de los bosones
gauge es generado por la estructura no-Abeliana del grupo SU(N).
Reconocimientos
Los autores agradecen al Comit Central de Investigaciones de la Universidad del
Tolima por la nnanciacin del presente trabajo, y al Dr. J. H. Muoz por sus oportunos
comentarios.
A. Grupos de Lie
En fsica de Partculas, el estudio de los grupos es importante porque estos representan
sistemas fsicos invariantes bajo transformaciones. Un grupo de Lie es un conjunto G
de elementos caracterizados por depender de un parmetro continuo que puede
tomar un nmero innnito de valores y que junto con una operacin satisfacen:
(1) Si U
1
y U
2
son dos elementos cualesquiera de un grupo G, entonces U
1
U
2
pertenece tambin a G.
(2) Existe un elemento U
0
tal que para cualquier elemento U del grupo se cum-
ple:
(A.1) U U
0
= U
0
U = U.
(3) Cada elemento U tiene un nico inverso U
1
, con
(A.2) U U
1
= U
1
U = U
0
.
(4) La operacin es asociativa,
(A.3) (U
1
U
2
) U
3
= U
1
(U
2
U
3
).
Si U
1
y U
2
son dos elementos cualesquiera de un grupo Gy son tales U
1
U
2
= U
2

U
1
, decimos que los elementos del grupo conmutan y llamamos Grupo Abeliano a G.
Especncamente sea G el grupo unitario unidimensional llamado U(1) que consiste
en el conjunto de parmetros continuos' de todas las fases de una funcin de onda,
U() = e
i
donde es un parmetro escalar real.
(A.4) U(
1
)U(
2
) = e
i
1
e
i
2
= e
i
2
e
i
1
= U(
2
)U(
1
).
Ahora cuando en el grupo los elementos de este no conmutan, decimos que es un
Grupo no-Abeliano. Consideremos el grupo de Lie SU(2) como el conjunto de las
matrices unitarias 2 2 con determinante igual a 1, tales que cualquiera de sus ele-
mentos pueden ser escritos de la forma
(A.5) U() = e
i

,
'Un grupo de transformaciones es continuo si los parmetros son descritos por variables continuas.
27
CIENCIAS - FSICA
donde R
3
es un parmetro arbitrario y

= (
1
,
2
,
3
) corresponde a un
vector con las matrices de Pauli generadoras del grupo dennidas como
(A.6)
1
=

0 1
1 0

,
2
=

0 i
i 0

,
3
=

1 0
0 1

,
que satisfacen la relacin de conmutacin
(A.7) [
j
,
k
] = 2i
jk

,
dennen y generan la representacin fundamental del lgebra SU(2) y su constante de
estructura es equivalente al tensor antisimtrico Levi-Civita
jkl
.
Se puede observar
(A.8) e
i

= cos || +i

sin ||,
con = /||. As
(A.9) U()U() = U()U(),
puesto que,
U()U() U()U() = e
i

e
i

e
i

e
i

= sin || sin ||[(

)(

) (

)(

)]
= 0,
cuando = 0 y = 0. Por tanto, SU(2) es un grupo no-Abeliano.
En general cualquier grupo de Lie SU(N) resulta ser no-Abeliano y corresponde a el
grupo de matrices unitarias N N (UU

= U

U = 1) con det U = 1, tales que

cualquiera de sus elementos pueden ser escritos de la forma
(A.10) U = e
iT
a

a
con a = 1, 2, ..., N
2
1,
donde T
a
= t
a
/2, siendo t
a
las matrices generadoras de la representacin fundamen-
tal y cuyas relaciones de conmutacin
(A.11) [t
a
, t
b
] = 2iC
abc
t
c
,
dennen el lgebra de SU(N) (Georgi, 1982).
B. Transformacion del campo G

En esta apndice presentamos nociones generales de la transformacin de un campo

gauge G

.
Consideremos una transformacin gauge local G, tal que
(B.1) (x) G

(x) = U(x);
28
CIENCIAS - FSICA
Revista Tumbaga 2009 | 4 | 19-29
tal que UU

= U

U = 1, y G represente un grupo de Lie (en general Abeliano o

no-Abeliano), por tanto
(B.2) (x) G

(x) = exp {iT(x)}(x),

con T el generador del grupo y (x) es un parmetro arbitrario que es funcin
de cada punto del espacio-tiempo. Ahora queremos encontrar cmo transforma G

.
Partiendo de la Ec. (2.8)
(B.3) (D

= UD

,
donde (x) y la derivada covariante D

(B.4) D

+igG

.
y G

representa el campo gauge que debe ser adherido para mantener la invariancia,
(D

= UD

+igG

)U = U(

+igG

)
igG

U = (

U) +ig UG

(B.5)
Puesto que ambos trminos de la igualdad anterior actan sobre un estado arbitrario
, podemos omitirlo y multiplicar desde la derecha por U

, tal que
igG

UU

= (

U)U

+ig UG

y ya que UU

= 1, nnalmente obtenemos
(B.6) G

= UG

+
i
g
(

U)U

.
Imponiendo una transformacin gauge local U(1) Abeliana U = exp {i(x)}, es
fcil mostrar a partir de Eq. (B.6) que
A

U(1)

= UA

1
g
(

U)U

,
= UU

1
g
(

)UU

,
= A

1
g
(

). (B.7)
puesto que UU

= 1. Para el caso no-Abeliano no estn inmediata esta expresin.

Imponemos una transformacin gauge local G que represente un grupo de Lie no-
Abeliano SU(N), por tanto
(B.8) U = exp {iT
a

a
(x)} con T
a
= t
a
/2,
29
CIENCIAS - FSICA
Referencias
donde
a

a
(x) son parmetros arbitrarios que son funciones de cada punto del
espacio-tiempo y t
a
(a = 1, 2, . . . , N
2
1) son los generadores de la representacin
fundamental del grupo de Lie SU(N). Partiendo de transformaciones innnitesimales
(B.9) U = exp {iT
a

a
} 1 +iT
a

a
,
y debido a la conmutatividad de los generadores del grupo [t
a
, t
b
] = iC
abc
t
c
, se
puede mostrar que
(B.10) G
a

(G
a

= G
a

1
g
(

a
) +C
abc

b
G
c

.
BIBLIOGRAFA
Bjorken, J. D., y Drell, S. D. (1964). Relativistic quantum mechanics. New York:
McGraw-Hill Book Company.
Donoghue, J. F., Golowich, E., y Holstein, B. R. (1993). Dynamics of the standard
model. New York: Cambridge University Press.
Georgi, H. (1982). Lie algebras in particle physics. New York: Adisson-Wesley.
Glashow, S. L. (1961). Partial symmetries of weak interactions. Nucl. Phys., 22,
579-588.
Hamermesh, M. (1962). Group theory and its applications to physical problems. New
York: Dover Publications.
Kane, G. L. (1993). Modern elementary particle physics. Perseus Publishing.
Martnez, R. (2002). Teora cuntica de campos. Bogot (Colombia): Universidad
Nacional de Colombia.
Novaes, S. F. (2000). Standard model: An introduction.
(Disponible en internet: nttp:))uzxiv.czg)i8_cucnc)ncp-pn)pdt)
uuu1)uuu1288v1.pdt)
Pich, A. (2007). Te standard model of electroweak interactions.
(Disponible en internet: nttp:))uzxiv.czg)i8_cucnc)uzxiv)pdt)
u7u6)u7u6.4264v1.pdt)
Salam, A. (1968). Elementary particle theory. En N. Svartholm (Ed.), (p. 367).
Stockholm: Almqvist and Wiksell.
Weinberg, S. (1967). A model of leptons. Phys. Rev. Lett., 19, 1264-1266.
Weinberg, S. (1995). Te quantum theory of felds (Vol. 1). New York: Cambridge
University Press.
Yang, C., y Mills, R. L. (1954). Conservation of isotopic spin and isotopic gauge
invariance. Phys. Rev., 96, 191-195.
Referencia Recepcin Aprobacin
Quintero, N. y Molina, F. Una descripcin sencilla de las teoras de Gauge.
Revista Tumbaga (2009).
17/04/2009 15/09/2009