Professional Documents
Culture Documents
Facultad de Ciencias Fsicas, Universidad Nacional Mayor de San Marcos, A.P. 14-0149, Lima, Per
En este trabajo damos una descripcin sencilla acerca de las simetras gauge locales tanto abeliana como
no abeliana y sus posteriores aplicaciones fundamentales a la fsica que surgen para cada transformacin
gauge particular como son la electrodimica cuntica, QED, Campo Leptnico y la cromodinmica
cuntica, QCD.
Palabras claves: Teoras gauge, grupo abeliano y no abeliano, simetra, QED, QCD.
1
2 Rev. Inv. Fis. 14, 111401756 (2011)
En esta seccin vamos definir a los grupos especiales Las transformaciones gauge local son aplicados al
U(1) y SU(2), pertenecientes al grupo de Lie [4], y las campo de Dirac con la finalidad de encontrar simetras,
relaciones principales en el sistema primado que vamos en ese sentido a continuacin vamos a definir y calcu-
a emplear en todo nuestro anlisis posterior. lar algunas relaciones importantes que utilizaremos ms
Las matrices de transformacin de los grupos U(1) adelante.
y SU(2) son unitarias y satisfacen lo siguiente Las Ecs. (2) y (3) pueden ser aproximadas al pri-
mer grado, de modo que para n 2 son despreciables
o mediante transformaciones infinitesimales se aproxi-
UU = U U = 1
1
U =U
(1) man a cero, en ambos casos se obtiene lo mismo. Ahora
|U| = 1 . aplicando en la Ec.(2) y usando la Ec.(6) tenemos que
Ut = (1 + iTa a )
Adems estos grupos son abeliano y no abeliano respec- (7)
tivamente y se transforman tanto local como global. Ut = (1 iTa a ) ,
empleando esta ltima ecuacin y la matriz de Dirac
Grupo especial U(1) se obtiene
Ahora, reemplazando las Ecs.(11) y (12) en la Ec.(13) A continuacin, el tensor de intensidad del campo gauge
tenemos es definido [8] por
i
X U = UX + U . N = X X , (21)
k
Igualando y usando la Ec.(1) en la ltima ecuacin se el cual es invariante en el sistema primado, es decir
obtiene [7] N = N se conserva.
El tensor de intensidad tiene asociado una den-
i sidad lagrangiana, como mencionamos anteriormente,
X = UX U + ( U)U , (14)
k que manifiesta la caracterstica cintica del campo y
esta expresin nos permite calcular el potencial prima- tiene la forma
do para cualquier U unitario. 1
Luego generalizando la Ec.(7) para las Ecs.(2) y (3), LN = N N . (22)
4
y usando la Ec.(11) se obtiene
Para U(1) Al conservarse el tensor de intensidad implica que el
lagrangiano gauge tambin se conserve LN = LN .
= Ur (1 + ir) Por lo tanto la densidad lagrangiana del campo es
(15)
= Ur .(1 ir) . L = LN + LD y en forma explcita
Para SU(N) 1 h i
L = N N + i D m . (23)
4
= Ut (1 + iTa a )
(16)
= Ut (1 iTa a ) . Transformacin no abeliana SU(N)
Al reemplazar la Ec.(16) en la Ec.(17) se observa
Transformaciones gauge locales que LD no es invariante, entonces sea la Ec.(12) en la
Ec.(17)
En esta seccin las transformaciones dadas por las
LD = i D m . (24)
Ecs.(2) y (3) son funciones del espacio-tiempo que apli-
cadas a la densidad lagrangiana del campo de Dirac Utilizando las Ecs.(16) y (13) en la Ec.(18) se demues-
producen potenciales vectoriales que garantizan su in- tra que LD = LD es invariante.
variancia, estos potenciales, denominados potenciales Ahora sustituyendo la Ec.(7) en la Ec.(14) se obtie-
gauge, a su vez generan una densidad lagrangiana pro- ne el potencial vectorial
pia. De ese modo el campo estar expresado por la suma 1
de ambas densidades lagrangianas. X = X i[X , Ta a ] (Ta a ) . (25)
k
Sea la densidad lagrangiana de Dirac normal
El objetivo es que el parmetro a solo este acompaa-
LD = i m. (17) do por un factor escalar mas no por una matriz, como
esta aqu, en ese sentido es factible eliminar la matriz
Transformacin abeliana U(1) Ta de dos formas usando la Ec.(6), a la derecha o la iz-
quierda del parmetro, para nuestro caso utilizaremos
Si reemplazamos la Ec.(15) en la Ec.(17) se nota que el lado izquierdo, es decir tendr la misma forma que la
LD no es invariante, esto implica aplicar la Ec.(12) en fase de la matriz de transformacin; por tanto se deduce
la Ec.(17)
1
LD = i D m . (18) (Xa ) = Xa i[Xa , Ta a ] a , (26)
k
Utilizando las Ecs.(15) y (13) en la Ec.(18) se demues- donde
X = Ta Xa
tra que LD = LD es invariante. Luego, para calcular el (27)
potencial vectorial asociado empleamos las Ecs.(14) y D = + ikXa .
(15) para obtener Adems si hubisemos utilizado el lado derecho obten-
r dramos el mismo resultado de la Ec.(26), de ah se
X = X ir[X , ] ( ) , (19)
k deduce
[Xa , Ta ] = 0 . (28)
como es escalar conmuta con el potencial vectorial,
por tanto Este resultado es una particularidad del procedimiento
( que estamos siguiendo.
D = + ikX
r Para calcular la relacin de conmutacin de la
(20)
X = X . Ec.(26) vamos a utilizar las Ecs.(4) que satisfacen los
k
4 Rev. Inv. Fis. 14, 111401756 (2011)
este tensor de intensidad es renombrado como el Tensor Inicialmente la teora gauge no abeliana SU(2) fue
Electromagntico y es invariante. planteada por Yang y Mills [14] en 1954 para descri-
Por otro lado, usando la Ec.(22) se deriva la densi- bir la invariancia isotpica del par neutrn-protn, y
dad lagrangiana electromagntica para el campo gauge por ese motivo tambin se les conoce como campos de
A Yang-Mills.
1 Como este grupo depende explcitamente de estas
LA = F F , (44)
4 matrices inferimos que el campo de Dirac ferminico es
y adems se conserva LA = LA . reducido a un campo leptnico -los leptones son una fa-
El Lagrangiano de Dirac, Ec.(17), en funcin de la milia compuesta por seis especies tales como el e, , ,
Ec.(42) se conserva y adquiere esta connotacin [11] e , y -, puesto que las matrices de Pauli estn aso-
ciadas al espn de los leptones, S=1/2. De esa manera
LD = Lo J A , (45) el grupo SU(2) se aplica al estudio del campo leptnico,
considerando que todos los leptones tengan masa, an
donde J = q es definida como la densidad de se considerando que los neutrinos tienen masa nula [15].
corriente electromagntica. Por otra parte, los campos gauge que resultan como
Por consiguiente, el lagrangiano total es la suma de consecuencia de la invariancia de la densidad lagran-
ambos, la Ec.(44) y la Ec.(45) giana estn relacionados con las interacciones dbil [16]
1 y se les denomina bosones vectoriales y son los media-
LQED = F F + Lo J A . (46) dores en las interacciones dbil; debemos aclarar que
4
estos bosones tienen masa y que en nuestro anlisis no
Esta densidad lagrangiana describe completamente la vamos a considerar sus trminos msicos en el lagran-
electrodinmica cuntica, QED. giano gauge, puesto que el anlisis ms riguroso donde
Las ecuaciones de Maxwell se derivan utilizando la incluyan las masas se efectua en la teora electro-dbil
ecuacin de Euler-Lagrange, pero antes debemos indi- estndar, que es una teora invariante simultnea en-
car que empleando el lgebra tensorial se demuestra: tre los grupos U(1) y SU(2), es decir SU (2)L U (1))
F = F ; luego empleando este resultado y apli- propuesta por Sheldon Lee Glashow [17], Steven Wein-
cando las Ecs. de Euler-Lagrange sobre los campos A berg [18] y Abdus Salam [19]. De esta forma el anlisis
y A de la Ec.(46) se deducen que vamos a realizar es una aproximacin a la teora
mencionada.
F = J
(47) Los resultados obtenidos en SU(N) son aplicados
F = 0 ,
para N = 2 en este caso, por tanto impongamos los
las ecuaciones de Maxwell con y sin presencia de carga siguientes cambios
y corriente.
k = g g es una constante real de acoplamiento
Desde la electrodinmica clsica [12] se conocen las X = W 99K Xa = Wa
relaciones entre el potencial vectorial A y los campos
N = W 99K a
N = Wa
.
E~ y B,
~ de modo que al expandir la Ec.(47) se obtienen
(49)
las formas conocidas de las relaciones de Maxwell; ade- Luego aplicando la Ec.(49) en la Ec.(27)
ms tambin se obtiene el tensor electromagntico [13]
W = Ta Wa
explcito
(50)
D = + igTa Wa .
0 E1 E2 E3
E1 0 B3 B2 Los potenciales vectoriales primados para los campos
F = . (48)
E2 B3 0 B1 gauge surgen desde la Ec.(32)
E3 B2 B1 0
1
(Wa ) = Wa a + Cabc b Wc . (51)
g
Campo leptnico y el espn isotpico:
G=SU(2) Ahora reemplazando la Ec.(49) en la Ec.(36) se deduce
el tensor de intensidad de los campos gauge
Cuando N = 2, el grupo SU(N) se transforma en
a
SU(2), entonces en este grupo existen 3 matrices de W = ( Wa Wa ) gCabc Wb Wc , (52)
6 Rev. Inv. Fis. 14, 111401756 (2011)
y el primado surge desde la Ec.(39) usando la ley de Gell-Mann [21] que son denotadas por a .
transformacion de un grupo no abeliano
0 1 0 0 i 0
a a
Ut 1 = 1 0 0 , 2 = i 0 0 ,
(W ) = Ut W
a (53) 0 0 0 0 0 0
(W ) = W + Cabc b W
a c
,
1 0 0 0 0 1
el cual no conserva como ya vimos anteriormente.
3 = 0 1 0 , 4 = 0 0 0 , (57)
En consecuencia, la densidad lagrangiana para es-
0 0 0 1 0 0
tos campos gauge sin considerar los trminos msicos,
desde la Ec(40), es 0 0 i 0 0 0
5 = 0 0 0 , 6 = 0 0 1 ,
1 a
LW = W Wa . (54) i 0 0 0 1 0
4
0 0 0 1 0 0
Por otra parte, al igual que en el grupo U(1), tam- 1
7 = 0 0 i , 8 = 0 1 0 .
bin se obtine una densidad de corriente a partir de la 0 i 0 3 0 0 2
conservacin de la densidad lagrangiana, Ec.(17), esta
vez en funcin de la Ec.(49) Las simetras del grupo SU(3) est relacionado con
las interacciones fuertes [16] de modo que la cromodi-
LD = Lo gJa Wa , (55) nmica cuntica [22] analiza el comportamiento de los
donde Ja
= Ta es una densidad de corriente que quarks [23, 24] y sus mediadores llamados gluones. Los
se conserva bajo las transformaciones gauge, Ec.(16), quarks son partculas fundamentales, al igual que los
utilizando la Ec.(6). Adems, vemos su dependencia con leptones, que forman la estructura interna de las par-
la matriz de Pauli. tculas subatmicas tales como el protn y el neutrn,
Justamente esta dependencia aplicada con una y sus cargas son fracciones de la carga del electrn. Al
transformacin gauge no abeliana global [a 6= a (x)] igual que los leptones los quarks son una familia com-
nos permite derivar la densidad de corriente del isoes- puesta por seis especies llamadas Sabores [25]:
pn dbil (Ja ) y sus correspondientes cargas de isoespn u up
dbil (IaW ) asociados al isoespinor (L l ) netamente iz- d down
quierdo y como consecuencia de ello se obtienen la co- s strange
rriente de hipercarga (JY ) y las corrientes neutras (J3 ) c charm
as como la hipercarga (Y) y la isocarga dbil (I3W ), b botton
respectivamente. Obviamente estos clculos se realizan t top
dentro de la teora electro-dbil [20] y se considera pa-
Cada una de ellas es descrita por una funcin de on-
ra ello que las masas de los leptones sean nulas como
da triple, es decir esta compuesta por tres componentes
una primera aproximacin, adems para obtener estos
llamadas Colores
resultados la funcin de onda debe ser expresada en
su forma leptnica, debe ser una matriz columna com- r read
puesta por los neutrinos y los leptones, y tambin deben g green
estar en funcin de los operadores quirales de derecha b azul
e izquierda. Por otra parte, los potenciales vectoriales de este
Desde las Ecs.(54) y (55) se obtiene la densidad la- grupo son denominados gluones que dependen de las
grangiana total matrices de Gell-Mann y desde el cual se deducen que
1 a existen ocho. Al igual que en SU(2) vamos aplicar to-
L = W Wa + Lo gJa Wa . (56) dos los resultados obtenidos para SU(N) imponiendo lo
4
siguiente
Al reemplazar la Ec.(52) en la Ec.(56) surge una ca-
racterstica para el campo gauge no abeliano, y es que
k = gs constante real de acoplamiento.
ellos contienen trminos de auto-interaccin triples y Ta = a 99K a = a /2
curticas para los bosones, las que representamos como X = G
99K G = a Ga
N = G 99K G = a Ga .
(W W )W W y W W W W , respectivamente.
(58)
Cromodinmica: G=SU(3) Reemplazando la Ec.(57) en la Ec.(16) se tienen las
transformaciones gauge para las funciones de onda
Para este caso N = 3, N 2 1 = 8 a = 1, 2, . . . , 8, ( a
indica que en este grupo existen 8 matrices 3 3 ge- = U = eia
ia a (59)
neradoras del grupo t1 , ..., t8 denominadas matrices de = U = e .
Rev. Inv. Fis. 14, 111401756 (2011) 7
Luego la derivada covariante D y el potencial primado donde mq es la masa para cada quark. Adems al ex-
de las Ecs.(12) y (32), respectivamente, toman la forma presar la Ec.(64) en funcin de un delta de dirac mn y
expandiendo la derivada covariante se observa que esta
D = + igs a Ga compuesto por las interacciones libres y cruzadas
a a 1 a b c (60)
(G ) = G + Cabc G ,
gs h i
Lq = qm i mq mn qn qm gs a mn Ga qn .
y el tensor de intensidad, Ec.(36), se transforma en (66)
Ga = ( Ga Ga ) gCabc Gb Gc . (61) Ahora vamos a eliminar los deltas para obtener las
interaciones independientes. Entonces para el primer
Despus, usando la Ec.(59) en la Ec.(39) y transforman- trmino de la Ec.(65) sea m = n = l mn = ll = 1
do una matriz en un grupo no abeliano, se logra y para el segundo trmino sea mn a = mn = a /2;
a
(Ga ) = U Ga U luego sustituyendo todo esto en en la Ec.(65), se con-
(62) vierte
(Ga ) = Ga + Cabc b Gc .
h i
Por lo tanto la densidad lagrangiana del campo gauge, Lq = ql i mq ql gs qm (a /2)qn Ga , (67)
de la Ec.(40), es dado por
1 donde, l, m, n = 1, 2, 3 como q = 1, 2, . . . , 6 son suma-
LG = Ga G a , (63)
4 torias mltiples.
y es invariante bajo las transformaciones gauge. Por lo tanto, desde las Ecs.(62) y (66) se deduce [26]:
Por otro lado, sean las funciones de ondas explcitas
en sus tres componentes 1 h i
LQCD = Ga G
a + ql i mq ql
4
q1 gs qm (a /2)qn Ga . (68)
= q2 = q1 q2 q3 , (64)
q3
Esta ecuacin es la densidad lagrangiana de la cromo-
donde q1 , q2 y q3 son los colores rojo, verde y azul, dinmica cuntica. Finalmente indicamos algunas pro-
respectivamente y q representa a los seis quarks. piedades de las matrices de Gell-Mann
Reemplazando la Ec.(63) en la densidad lagrangiana
invariante LD se obtiene [a , b ] = 2ifabc c
(69)
3 {a , b } = 4ab I + 2idabc c ,
X
Lq = qj (i D mq )qj , (65)
j=1 donde fabc es antisimtrico y dabc es simtrico.
abc 123 147 156 246 257 345 367 458 678
fabc 1 1/2 -1/2 1/2 1/2 1/2 -1/2 3/2 3/2
abc 118
146 157 228
247 256 338
344
dabc 1/ 3 1/2 1/2 1/ 3 -1/2 1/2 1/ 3 1/2
abc 355 366 377 448 558 668 778 888
dabc 1/2 -1/2 -1/2 1/2 3 1/2 3 1/2 3 1/2 3 1/ 3
y no son masivos. La particularidad de todos estos po- tre ellas, manifestndose a travs de las interacciones
tenciales gauge es que son invariantes y adems son los triples y cuarticas, as como a los campos espinoriales.
mediadores para cada interaccin fundamental, otra ca- La densidad lagrangiana total de SU(3), describe las
racterstica es que los bosones vectoriales son masivos, interacciones libres y entre ellas de los quarks, que son
mientras que el foton y los gluones no son masivos. denotadas por las funciones de onda llamadas colores.
La invariancia de la densidad lagrangiana de Dirac Las diferencias entre los grupos se presenta debido a
conduce tambin a resultados importantes especialmen- que U(1) es un grupo abeliano, mientras que SU(2) y
te para los casos U(1) y SU(2). Para U(1) surge la co- SU(3) son grupos no abelianos que son conocidos tam-
rriente electromagntica J que al unirlo con el campo bin como campos de Yang-Mills.
gauge A nos permiten derivar las ecuaciones de Max- Finalmente, una consecuencia mayor del estudio de
well clsica. Para SU(2) surge una densidad particular las simetras gauge es la formulacin de la teora electro-
J que no la tratamos en detalle, pero indicamos que a dbil y posteriormente el modelo estndar de las par-
partir de esta surgen caractersticas importantes como tculas fundamentales como la teora ms completa lo-
la hipercarga (Y) y las corrientes de isospn. grada actualmente, pues engloba el estudio de las tres
Por otro lado, la densidad lagrangiana total de U(1), interacciones fundamentales, la electromagntica, la d-
describe la interaccin del fotn con la materia, es de- bil y la fuerte. Ambas teoras surgen como una inva-
cir describe completamente la electrodinmica cuntica. riancia simultnea de las transformaciones gauge abe-
La densidad Lagrangiana de SU(2), describe los boso- lianas y no abelianas locales, es decir, SU(2)L U(1) y
nes vectoriales libres y adems contiene, a diferencia de SU(3)SU(2)L U(1) describen a la teora electro-dbil
U(1), los trminos de auto interaccin e interaccin en- y al modelo estndar [27, 28], respectivamente.
[3] International Institute of Intellectual Cooperation, [13] Juan Antonio Caballero, Mecnica Cuntica Rela-
New Theories in Physics, Conference Proc. Warsaw, tivista, Universidad de Sevilla, Sevilla (2009).
May 30th-June 3rd, 1938, published in (1939).
[14] C. N. Yang y R. L. Mills, Conservation of Isotopic
Spin and Isotopic Gauge Invariance, Phys. Rev. 96,
[4] R. Gilmore, Lie Groups, Lie Algebras, and some of
191 (1954).
their Applications, Jonh Wiley & Sons, New York
(1974). [15] S. Dawson y R. N. Mohapatra, Colliders and Neu-
trinos, The window into physics beyond the Stan-
[5] M. Guidry, Gauge Field Theories, an introduction
dard Model, World Scientific, Singapur (2008).
with applications, Wiley-Verlag, Berln (2004).
[16] B. R. Martin, Nuclear and Particle Physics, John
[6] E. Leader y E. Predazzi, An Introduction to Gau- Wiley & Sons, New York (2006).
ge Theories and Modern Physics, Vol. I, Cambridge
University Press, Cambridge (1996). [17] S. L. Glashow, Partial Symmetries of Weak Inter-
actions, Nucl. Phys. 22, 579 (1961).
[7] V. Rubakov, Classical Theory of Gauge Fields, Prin-
ceton University Press, Boston (2002). [18] S. Weinberg, A Model for Leptons, Phys. Rev. Lett.
19, 1264 (1967).
[8] A. Das, Lectures on Quantum Field Theory, World
Scientific, Singapur (2008). [19] A. Salam, Weak and Electromagnetic Interactions
in Elementary Particle Theory; Nobel Symphosium
[9] M. E. Peskin y D. V. Schroeder, Quantum Field No. 8, ed. N. Svarthol, Almqvist and Wiksell, Stock-
Theory, Perseus Book, New York (1995). holm (1969).
Rev. Inv. Fis. 14, 111401756 (2011) 9
[20] F. Mandl and G. Shaw, Quantum Field Theory, [25] Taizo Muta, Foundations of Quantum Chromody-
Jonh Wiley & Sons, New York (1993). namics, An Introduction to Perturbative Methods in
Gauge Theories, World Scientific, Singapur (1987).
[21] H. Fritzsch, Murray Gell-Mann Selected Pappers,
World Scientific Series in 20th Century Physics, Vol
[26] F. J. Yndurin, The Theory of Quark and Gluon
40., World Scientific, Singapur (2010).
Interactions, Springer-Verlang, Berlin (2006).
[22] Frank Wilczek, QCD Made Simple, Physics Today,
agosto 26 (2000). [27] T. Morii y C. S. Lim, The Physics of the
Standrd Model and Beyond, World Scientific, Sin-
[23] M. Gell-Mann, A Schematic Model of Baryons and
gapur (2004).
Mesons, Phys. Lett. 8, 214 (1964)
[24] G. Zweig, CERN Reports 8419/TH412, umpublih- [28] J. F. Donogue, E. Golowich y B. R. Holstein, Di-
sed, Developments in the Quark Model of Hadrons, namics of Standard Model, Cambridge University
Vol. I, (1964-1978). Press, Cambridge (2002).