Professional Documents
Culture Documents
Captulo 3
( + m2 ) = (3.2)
En analoga con el electromagnetismo donde las densidades de carga y corrientes son la fuente del
campo A , podemos pensar en como la fuente del campo . En el caso del electromagnetismo el
45
46 CAPITULO 3. PRINCIPIO GAUGE LOCAL
analisis de las ecuaciones de Maxwell en forma covariante, ec. (2.73), para las componentes A0 y J 0 ,
en el gauge de Coulomb:
A = 0, (3.4)
da lugar a la Ley de Coulomb, que corresponde a una interaccion de rango infinito [10]. Veremos a
continuacion que un analisis similar para un campo escalar masivo (o para la componente cero de un
campo vectorial masivo) da lugar a una interaccion de corto rango.
Consideremos el caso mas simple de una fuente puntual para el campo :
(x) = g(x) (3.5)
donde g es una constante. Entonces es independiente del tiempo y genera un campo (un potencial)
independiente del tiempo. Entonces, como:
= 0,
t
tenemos
(2 + m2 )(x) = g(x) (3.6)
Para resolver la ecuacion diferencial es mas conveniente transformar (x) al espacio de momentos.
Su transformada de Fourier es
Z
1
(x) = d3 k eikx (k). (3.7)
(2)3/2
La transformada inversa es Z
1
(k) = d3 x eikx (x). (3.8)
(2)3/2
Ademas tenemos la propiedad Z
1
(x) = 3
d3 k eikx . (3.9)
(2)
Reemplazando ec. (3.7) en (3.6), tenemos
Z
1
d3 k(k2 + m2 )(k) = g(x)
(2)3/2
Z
g
= d3 k eikx
(2)3
g
(k2 + m2 )(k) = .
(2)3/2
Entonces
g 1
(k) = . (3.10)
(2) k + m2
3/2 2
Ya que
Z 1
ei|k|r ei|k|r
ei|k|ru du =
1 i|k|r
Z
g ei|k|r ei|k|r
(x) = d|k| |k|
i(2)2 r 0 k2 + m2
Z Z
g ei|k|r ei|k|r
= d|k| |k| 2 d|k| |k| 2
i(2)2 r 0 k + m2 0 k + m2
g Z ei|k|r
Z
ei|k|r
= d|k| |k| d|k| |k|
i(2)2 r 0 k2 + m2 k2 + m2
|0 {z }
|k||k|
Z i|k|r
g e
= d|k| |k|
i(2)2 r k2 + m2
Z
g |k|ei|k|r
= d|k| (3.12)
i(2)2 r (|k| + im)(|k| im)
Definiendo
zeizr
f (z) =
z + im
y usando la integral de Cauchy para el contorno correspondiente al semiplano positivo que incluye
el polo en z = im
Z
f (z) im emr
dz = 2if (im) = 2i = i emr (3.13)
C z im 2im
tenemos que
g emr
(x) = (3.14)
4 r
ec. (3.14),
g em|x|
(x) =
4 |x|
Z m|xx |
1 3 e
= d x g (x )
4 |x x |
Z m|xx |
1 3 e
= d x (x ) (3.15)
4 |x x |
Z
1 3 em|xx |
Lint = (x)(x) = d x (x)(x ) (3.16)
4 |x x |
Lint
Hint = Lint
(/t) t
= Lint
Z m|xx |
1 3 e
= d x (x)(x ) (3.17)
4 |x x |
Z m|xx |
1 3 3 e
Hint = d x d x (x)(x ) (3.18)
4 |x x |
El Hamiltoniano de interaccion en ec. (3.18) representa la interaccion entre dos nucleones mediante
el intercambio de un meson. En forma analoga a como dos electrones intercambian un foton mediante
la interaccion electromagnetica. En el caso de m = 0, Hint , corresponde a la de energa potencial de
Coulomb. El potencial por unidad de carga al cuadrado, puede escribirse como
1 emr
V (r) = (3.19)
4 r
El potencial en (3.19) recibe el nombre de potencial de Yukawa y corresponde a una interaccion de
rango r 1/m.
En el caso general tenemos que (x) satisface la ecuacion de Klein-Gordon en el espacio libre,
ec. (3.2)
2
( 2 2 + m2 ) = 0 (3.20)
t
con solucion,
exp(ik x it) (3.21)
que, consistente con la discusion en la seccion 2.2, ec.(2.51), da lugar a la condicion
m2 = 2 k2 . (3.22)
p + n (3.25)
entonces una interaccion np podra tomar lugar a traves del mecanismo mostrado en la figura 3.1(a).
Es decir a traves del intercambio de un quantum . El otro diagrama compatible con la conservacion
de la carga tambien aparece en la figura
La relacion de incertidumbre
E t 1/2 (3.26)
aplicada a la teora de Yukawa [20], brinda un nuevo entendimiento de la relacion entre el rango
y la masa en ec. (3.23). t es el tiempo que el aparato para medir la energa del sistema cuantico
interactua con el aparato de medida y E = 1/(2t) es el error mnimo que se obtiene en la medida
de la energa, tal que E = E0 E. Para que la incertidumbre en la medida de energa sea suficiente
para materializarse en
1
m (3.27)
2t
como t es el tiempo que tarda en ir de n a p, el aparato debe operar a una escala de tiempos
menores que t para poder detectar la partcula
t > r (3.30)
1 1
E (3.31)
2t r
Por ejemplo, para una masa de 1 GeV el rango es de fermis. ( 1 fermi=1 fm). Entonces, si la
partcula que media la interaccion es masiva, la correspondiente interaccion es de corto rango.
En el espacio de momentos, la cantidad relevante que representa el intercambio de piones, es la
que aparece en la ec. (3.12) y se conoce como el propagador :
1
propagador: (3.32)
k2 m2
1/k2 . (3.33)
Para partculas incidiendo sobre un metal y siendo dispersadas por un angulo entre q y q , tal
que se satisface la condicion de dispersion elastica q2 = q 2 (dispersion de Rutherford)
k2 = (q q )2 = 2q2 (1 cos ) = 4q2 sin2 (3.34)
2
Entonces
1
cross section
k2
sin4 , (3.35)
2
que explica la famosa variacion angular de la dispersion de Rutherford, en la cual las partculas
son dispersadas por los nucleos positivamente cargados del metal. Ver figura 3.2
En general tendremos
1
propagador: , (3.36)
k m2
2
donde k = (k0 , k)
3.2. CAMPOS ESCALARES COMPLEJOS 51
Algunas consecuencias fsicas interesantes surgen si consideramos un sistema de dos campos es-
calares reales, 1 y 2 , que tengan la misma masa m. Entonces
1 1 1 1
L = [ 1 1 m2 21 ] + [ 2 2 m2 22 ] (3.37)
2 2 2 2
Si definimos
1 + i2
= then (3.38)
2
1 i2
= , and (3.39)
2
2 =(1 + i2 )
2 =(1 i2 ). Therefore
2( + ) =21
2( ) =2i2 . Then
+
1 = (3.40)
2
2 = . (3.41)
2
52 CAPITULO 3. PRINCIPIO GAUGE LOCAL
( + m2 ) = 0, (3.43)
( + m2 ) = 0. (3.44)
Ademas de la invarianza de Lorentz, el Lagrangiano en ec, (3.42) tambien es invariante bajo el grupo
de transformaciones U(1) definido en las seccion 2.3.1, pero con una fase constante
U = ei 1 + i.
Entonces
U
= ei (1 + i)
= + i. (3.46)
Entonces,
= i (3.47)
= i . (3.48)
3.2. CAMPOS ESCALARES COMPLEJOS 53
H = (a a + b b)
P = k((a a + b b)) (3.54)
iw + ik + m2 = 0
t
(w 2 + k2 + m2 ) = 0
(w 2 k2 m2 ) = 0. (3.55)
Como era de esperarse, para que la ec. (3.52) sea solucion a la ecuacion de Klein-Gordon, w y k
deben satisfacer la ecuacion de energa-momentum de la relatividad especial.
La ec. (3.53) tambien puede escribirse como
= a + + b (3.56)
donde,
1
= ei(wtkx) (3.57)
2L3
1
+ = ei(wtkx) (3.58)
2L3
54 CAPITULO 3. PRINCIPIO GAUGE LOCAL
1
J0 = < 0. (3.60)
L3
Entonces, la carga conservada es Z
Q = d3 x J0 = 1 (3.61)
V
Ademas de la expresion para la energa del campo en eq. (1.62), y usando la ec. (3.45).
L L
T = ( ) + ( ) L
( ) ( )
= + L (3.62)
T00 = 2 0 0 + m2
= 0 0 i i + m2
= 0 0 + + m2 (3.63)
T0i = i 0 + 0 i (3.64)
Para + (o )
1
T00 = (i)(i) + (ik) (ik) + m2
2L3
1 2
= + k2 + m2
2L3
1 2
= + 2
2L3
= 3 (3.65)
L
y Z
E = d3 x T00 = > 0 (3.66)
V
Para
1
T0i = [(iki )(i) + (i)(iki )]
2L3
ki
= 3 (3.67)
L
3.3. INVARIANZA GAUGE LOCAL ABELIANA 55
y Z
P= d3 x T0i = k (3.68)
V
Ademas
T0 = 0 (3.69)
Por consiguiente podemos interpretar + como un campo representando a una partcula de carga
positiva (campo de frecuencia negativa) y a como un campo representando a una partcula de
carga negativa (campo de frecuencia positiva). La cantidad conservada debido a la invarianza de fase
corresponde a la carga electrica.
Un campo escalar real tendra carga cero de acuerdo a la ec (3.50).
Si los campos escalares representan piones el campo escalar real puede representar a un 0 ,
mientras que el campo escalar complejo junto con su conjugado representaran al + y al . Tenemos
dos casos interesantes
1. Para distancias suficientemente grandes entre piones cargados, las interacciones nucleares seran
despreciables y solo interactuan electromagneticamente a traves del intercambio de fotones.
En este caso los piones cargados seran la fuente de la corriente electromagnetica dada en la
ec. (3.51). El analisis de este caso dara lugar a una Teora Gauge Local Abelina, representada
por el grupo U(1).
2. A nivel de las interacciones nucleares, los tres piones seran indistinguibles y formarian un
triplete de isospin fuerte que media la interaccion, mientras que el neutron y el proton formaran
un doblete y seran la fuente de los piones. Esto complementa el modelo de Yukawa presentado
en la seccion 3.1 que requera la existencia de tres piones para mediar la interaccion, el y
0 . El analisis de este caso dara lugar a una Teora Gauge Local No Abelina, representada por
el grupo SU(2) y que conserva la carga de isospn fuerte localmente.
Como A y A conmutan
F = A A (3.84)
Con esta expresion para F podemos demostrar su invarianza gauge a partir de la transformacion
de la derivada covariante
i
(F ) = D ,D
g
i
= UD U 1 , UD U 1
g
= UF U 1 (3.85)
=F
(D ) D = [( + ieA ) ] ( + ieA )
= ( ieA ) ( + ieA )
= + ieA ( ) ieA + e2 A A (3.87)
El campo vectorial A aparece como consecuencia de la invarianza gauge del Lagrangiano en ec. (3.74).
En tal caso lo llamaremos un boson gauge.
De las ecuaciones de Euler-Lagrange tenemos
L L
=0
( A ) A
F e [i( ) + 2eA ] = 0 . (3.90)
F = ej (3.91)
donde
j = i [ ( )] 2e A = J 2e A . (3.92)
Usando la primera ecuacion en (3.45), tenemos que (D = + ie A )
j = i [ D (D ) ] . (3.93)
58 CAPITULO 3. PRINCIPIO GAUGE LOCAL
dan lugar a
( + m2 + U(x)) = 0, (3.95)
donde
U (x) = ie(A + A ) e2 A A (3.96)
El operado en el segundo termino opera en A y . A la luz de los resultados la escogencia de la
derivada covariante en la ec. (3.78), puede justificarse adicionalmente a partir de la Fuerza de Lorentz
para una partcula de carga q moviendose con una velocidad v bajo la influencia tanto del campo
magnetico como del campo electrico
F = qE + qv B. (3.97)
Esta expresion puede ser deriva, a traves de las ecuaciones de Hamilton, del Hamiltoniano clasico
1
H= (p qA)2 + qA0 (3.98)
2m
1
H qA0 = (p qA)2
2m
que a su vez puede obtenerse del Hamiltoniano para una partcula libre con el reemplazo
H H qA0 p p qA (3.99)
i i qA0 i i qA
t t
+ iqA0 i i iqAi = i + iqAi . (3.100)
t t
De modo que
= ( 0 0, i ) D = ( 0 + iqA0 , i + iqAi ) = + iqA . (3.101)
tal como se muestra en la figura 3.3. Las componentes del campo vectorial son A = 0 y A0 = V , con
A0 independiente del tiempo pues el potencial es constante. Entonces, de la ec. (3.96) tenemos que
para le Region II
donde p20 |p0 |2 = E02 m2 . Para una partcula no relativista E0 /p0 = m/(mv0 ) = 1/v0 . En general
p0
v0 = (3.108)
E0
u
E 2 m2 p0 + (3.109)
v0
sustituyendo en ec. (3.106)
Z E
i(pzEt) u
e du exp i p0 + z (u + E0 )t (3.110)
E v0
Z E
ip0 zE0 t u
e du exp i z ut
E v0
(3.111)
60 CAPITULO 3. PRINCIPIO GAUGE LOCAL
Z E
ip0 zE0 t z
e du exp iu t
E v0
(3.112)
Z E
ip0 zE0 t z v0 t
e du exp iu
E v0
(3.113)
de modo que
p
P = (eV E)2 m2 (3.119)
Note que P p cuando V = 0. Si eV E < m tenemos la solucion amortiguada convencional. Sin
embargo, en el caso de una barrera alta eV E > m tendremos soluciones oscilatorias. En adelante
nos concentraremos en esta posibilidad
El calculo de la corriente en la Region II, esta dado por j en la ec. (3.92). Para C = 0 o D = 0,
Z L Z L
0
0
Q= j dz = i 0 2e A0 dz
0 0
Z L
= {i[iE (iE)] 2eV } ||2 dz
(0 RL
2|C|2 0 (eV E) dz = 2|C|2 L(eV E) < 0, D = 0
= RL (3.120)
2|D|2 0 (eV E) dz = 2|D|2 L(eV E) < 0, C = 0
Este resultado se interpreta diciendo que el pion incidente no solo se dispersa en la barrera (B 6= 1),
sino que tambien estimula la barrera para producir un par + , el viaja dentro de la barrera
62 CAPITULO 3. PRINCIPIO GAUGE LOCAL
la cual ve como un hueco, mientras que el + producido por la barrera viaja hacia la izquierda. Si
J 0 y j 0 son interpretados como la densidad de carga, la interpretacion es consistente y tiene sentido
fsico. La energa y la carga se conservan [10].
Example 3.3.1.1
Escriba la ec. (3.86) encoordenadas polares.
Sea = ei(x) (x)/ 2, con y reales. Bajo una tranformacion gauge
1
A A = A +
g
(x)
= ei(x) ei(x) (3.124)
2
1
L L = (D ) (D ) m2 (F F )
4
1
L L = ( + igA ) igA m2 (F F )
4
1
= 21 ( + igA ) igA 21 m2 2 (F F )
4
En adelante, podemos quitar la prima del campo A
1
L = 21 21 m2 + g 2 A A 2 F F (3.125)
4
Aunque este gauge es de poca utilidad en este contexto, sera de mucha utilidad en la discusion
del rompimiento espontaneo de simetra.
Definiendo el cuadrivector
D = (D 0 , D)
0
+ iqA , ( iqA)
t
0 i
= + iqA , i + iqA )
t
0 i i
= + iqA , + iqA
t
= + iqA (3.128)
tenemos
1 2
iD 0 =
D (3.129)
2m
que para A = 0 se reduce a la ecuacion de Schrodinger para una partcula libre. Bajo la transfor-
macion gauge en el campo A de la ec. (3.79),
0 1
A0 A = A0 0
q
1
A A = A + (3.130)
q
los campos E y B permanecen los mismos. Para que la mecanica cuantica sea consistente con
las ecuaciones de Maxwell es necesario que las transformaciones gauge (3.79) de los potenciales
de Maxwell esten acompanados por una transformacion de la funcion de onda, , donde
satisface la ecuacion
0 1 2
iD = D
2m
1
i = (i qA ) + qA 0 .
2
(3.131)
t 2m
Como la forma de la ecuacion (3.131) es exactamente la misma que la forma de (3.129) entonces ambas
describen la misma fsica. Si podemos encontrar la forma de podemos afirmar que la ec. (3.129)
es covariante gauge, lo que significa que mantiene la misma forma bajo una transformacion gauge.
Como conocemos como transforma A podemos encontrar cual debe ser el que hace que la ecuacion
(3.131) sea consistente con (3.129). Vamos a establecer la respuesta y verificarla. El requerido es
= ei(x) (3.132)
Entonces
D = [( iqA) i] ei(x)
= i()ei(x) + ei(x) iqAei(x) iei(x)
= ei(x) ( iqA)
= ei(x) (D) (3.133)
64 CAPITULO 3. PRINCIPIO GAUGE LOCAL
y
2
D = D (D )
= [( iqA) i] ei(x) (D)
= i()ei(x) (D) + ei(x) (D) iqAei(x) (D) iei(x) (D)
= ei(x) ( iqA)(D)
= ei(x) (D 2 ) (3.134)
De la misma manera
0
D = ei(x) (D 0 ) (3.135)
De modo que
D D = ei(x) (D ) (3.136)
y la derivada covariante del campo transforma como el campo. Tenemos entonces que
0 1 2
iD = D
2m
1 i(x) 2
iei(x) D 0 = e D
2m
1 2
iD 0 = D (3.137)
2m
En resumen, para
D = + iqA (3.138)
y reemplazando q tenemos
A A = A (x)
= eiq(x)
D D = eiq(x) (D ) . (3.139)
F = j
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA 65
con
L
j =
A
(
q =0
= iq i i i
2m
[( ) 2iq A ] = i
Que incluye el termino corriente para una partcula cargada y es diferente de la corriente de proba-
bilidad en ec.(1.71). En otras palabras es la carga electrica la que se converva localmente. Note que
para el Lagrangiano de Klein-Gordon de un campo escalar complejo a nivel clasico no esta definida
la probabilidad.
De otro lado las ecuaciones de EulerLagrange para el campo son
L L L L L
0 =
= 0
+ i
( ) (0 ) (i )
i 1 1 i i 2 i i
i 0 0
= 0 + i (i + iqAi ) iq( )A + q A A + qA
2 2m 2m 2
i i 1 1
= 0 + 0 qA0 + i (i + iqAi ) + iq( i )Ai q 2 Ai Ai
2 2 2m 2m
2 0 1 1
=i0 + i qA + i (i + iqAi ) + iqAi ( i + iqAi )
2m 2m
1
=i(0 + iqA0 ) + (i + iqAi ) (i + iqAi )
2m
1
=iD0 + Di Di
2m
1
iD0 = D D
2m
1 2
iD0 = D
2m
Que corresponde a la ec.(3.137), es decir, la ecuacion de Scrodinger con la derivada normal reempla-
zada por la derivada covariante.
donde
= 0 , (3.142)
66 CAPITULO 3. PRINCIPIO GAUGE LOCAL
de modo que
L = + m2 + + 0 0 m2 0 0 (3.143)
que corresponde a los Lagrangianos de las partculas escalares compleja + y 0 de la misma masa.
De modo que este Lagrangiano se puede obtener con una generalizacion similar a la que dio lugar al
Lagrangiano para un campo escalar complejo a partir de dos campos escalares reales. Note que en
este contexto un campo escalar complejo puede ser neutro porque tiene cargas adicionales. En este
caso una carga de isospn debil como veremos mas adelante.
El Lagragiano en ec. (3.143) es invariante bajo transformaciones globales
(
(1 + iq)+ = [1 + i(+1)]+ , [(1 + iq)+ ] = [1 + i(1)]
= eiq (3.144)
(1 + iq)0 = [1 + i(0)]0 = 0 , [(1 + iq)0 ] = 0
Estas ecuaciones se pueden escribir de forma mas compacta en terminos del Lagrangiano en ec. (3.141)
= V = eiQ (3.145)
donde V es la matriz 2 2
iQ +1 0 (+1)+
V =e = (1 + iQ) = + i = + i (3.146)
0 0 (0)0
donde Q es el generador de carga electrica. Es claro que el Lagrangiano en ec. (3.141) es invariante
bajo la transformacion (3.145). Si imponemos que la carga electrica se conserve localmente
L = (D ) D m2 14 F F (3.147)
Ademas, el Lagrangiano en ec. (3.141) tambien es invariante bajo transformaciones SU(2) globa-
les:
U
= U (3.149)
U
= U ,
con
UU = U U = 1 det U = 1 (3.150)
1
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la seccion 3.7
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA 67
U = exp(iT j j ) (3.151)
Tr T i = 0 T = T (3.152)
y satisfacer el algebra
[T i , T j ] = ifijk T k (3.153)
donde a fijk , i, j, k = 1, . . . , N 2 1, se les llama constantes de estructura del Grupo y son antisimetri-
cas en todos los ndices.
Una representacion del grupo SU(2) se puede obtener con las matrices de Pauli 2 2 [15], que
satisfacen el algebra
i j
k
, = i ijk (3.154)
2 2 2
donde i
0 1 0 i 1 0
1 = 2 = 3 = (3.155)
1 0 i 0 0 1
dividas por dos, corresponden a los generadores del Grupo. Las constantes de estructura del Grupo
corresponden a ijk . Como los generadores no conmutan, SU(2) es un Grupo de Lie no Abeliano.
Definiendo los generadores de SU(2) como
i
Ti = , (3.156)
2
un elemento del Grupo puede escribirse como
i i
U = eiT i
1 + iT i i = 1 + i i . (3.157)
2
Como antes, i es el parametro de la transformacion. Siempre que sea posible intentaremos expresar
los resultados independiente de la representacion para usarlos de nuevo en la seccion 3.7.
Las matrices de Pauli y por consiguiente Ti satisfacen
i = i
Tr (i ) = 0 (3.158)
Ademas
det (i ) = 1
{i , j } = 2ij I i2 = I
Tr i j = 2 ij
i j = iijk k + ij (3.159)
Para demostrar la ultima propiedad por ejemplo, tenemos del anticonmutador que
68 CAPITULO 3. PRINCIPIO GAUGE LOCAL
i j + j i = 2ij
Tr(i j + j i ) = 2ij Tr I
Tr(i j ) + Tr(j i ) = 4ij
Tr(i j ) + Tr(i j ) = 4ij
2 Tr(i j ) = 4ij
Tr(i j ) = 2ij
El campo corresponde a un doblete de SU(2). Este grupo SU(2), con algunas modificaciones que
no afectan la actual descripcion, sera usado para generar las interacciones debiles, de forma analoga
a como el grupo U(1) se uso para generar las interacciones electromagneticas. Es decir a partir del
principio gauge local. De momento, cada componente del doblete tiene una carga de isospn debil
que se conserva globalmente y que corresponde a
1 +
3
T3 = = 2 1 0 . (3.160)
2 2
Ademas
W = W . (3.163)
El Lagrangiano invariante gauge local bajo SU(2) es
L = (D ) D m2 . (3.164)
Muchas de las ecuaciones en seccion 3.3 aplican igualmente aqu. Tenemos que
= U
= U
D (D ) = U(D )
D (D ) = (D ) U . (3.165)
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA 69
Ademas
(1 + iT i i ) = iT i i (3.166)
Entonces
L L = (D ) (D ) m2
= (D ) U UD m2 U U
= L, (3.167)
y el Lagrangiano, y por consiguiente la accion, es invariante bajo transformaciones gauge locales
SU(2)
De la definicion de derivada covariante:
D (D ) = UD U . (3.168)
Las matrices W transforman como
U i
W (W ) = UW U ( U)U (3.169)
g
Entonces
i
T i W i (1 + ij T j )T k Wk (1 il T l ) [i( m )T m (1 in T n )]
g
i
=(T k + ij T j T k )(1 il T l )Wk [i( m )T m (1 in T n )]
g
1
[T k il T k T l + ij T j T k ]Wk + T m m
g
1
=[T k ij (T k T j T j T k )]Wk + T m m
g
1
=T i Wi i(iikj T i )Wk j + T i i
g
i 1 ikj
=T Wi + i + Wk j (3.170)
g
de donde
1
Wi W i Wi + i + ijk Wj k (3.171)
g
que se reduce al caso Abeliano (3.79) cuando las constates de estructura son cero. Como era de
esperarse cada campo gauge tiene asociado un parametro de transformacion gauge i (x).
Podemos introducir el tensor de intensidad del campo gauge a partir la ec. (3.85)
i
W [D , D ] (3.172)
g
De la ec. (3.84)
W = W W ig(W W W W )
= W W ig[W , W ] . (3.173)
70 CAPITULO 3. PRINCIPIO GAUGE LOCAL
donde
Wi = Wi Wi + g ijk Wj Wk , (3.175)
que se reduce a la forma usual cuando las constantes de estructura del Grupo son cero. Usando la
ec. (3.85)
W (W ) = UW U , (3.176)
LW 12 Tr (W W )
= 81 Tr i j Wi W
j
= 14 ji Wi W
j
= 14 Wi W
i
LW = 41 Wi W
i
, (3.178)
que ademas de los terminos cineticos usuales, da lugar a terminos de auto-interaccion entre los
bosones gauge. Esta es una caracterstica del caracter no Abeliano de la simetra SU(2).
Por consiguiente, la Accion mas general para los campos y Wi invariante gauge local SU(2)
esta dada por el Lagrangiano
L = (D ) D m2 12 Tr (W W ) (3.179)
2
Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la seccion 3.7
3.5. INVARIANZA GAUGE LOCAL NO ABELIANA 71
Siempre que no haya lugar a confusion, es costumbre no poner el ndice a los campos vectoriales
componentes de W , de modo que
3
+
1 W 2W
W = . (3.182)
2 2W W 3
Ya que
+
0
W 3
2W +
2 W =
2W W 3 0
0
0
+
= W3 + 2 W 2
W+ W3
0
= + W3 + 20 + W + 2 0 W+ 0 0 W3 (3.183)
2 W = + W3 + 2 0 + W + 2 0 W+ 0 0 W3 . (3.184)
Usando estas ecuaciones, los terminos de interacciones entre dos campos escalares y un boson gauge
se puede escribir como
L3 = ig W W
L3 = gJnc W3 + gJcc
W+ + h.c , (3.185)
donde Jnc , Jcc son las corrientes neutras y las corrientes cargadas respectivamente, dadas por
2 Jnc =i + + i 0 0 0 0
2 Jcc =i 2 0 0 . (3.186)
Como
3
+
3
1
W 2W W 2W +
W W =
4 2W W 3 2W W 3
= 14 W3 W3 + 2W+ W I, (3.187)
72 CAPITULO 3. PRINCIPIO GAUGE LOCAL
entonces
L4 g 2 W W
= 14 g 2 W3 W3 + 2W+ W + + 0 0
= 14 g 2 W3 W3 + + W3 W3 0 0 + 2W+ W + + 2W+ W 0 0 (3.188)
corresponde a terminos de interaccion cuarticas entre los campos escalares y los campos gauge.
Usando las ecs. (3.185), (3.188) y (3.178), el Lagrangiano en la ec. (3.180) se puede escribir como
L = L + L 0 + L 3 + L 4 + L W . (3.189)
Donde
L = + m2 +
L0 = 0 0 m2 0 0 , (3.190)
La Accion definida por el Lagrangiano en ec. (3.189) es invariante bajo el grupo U(1)Q , definido por
+ + = ei(x)q+ +
0 + = ei(x)q0 0 0 + i(x) q0 0 = 0 , (3.191)
donde, usando el mismo lenguaje que en el caso no Abeliano, q ( = +, 0) es el generador del Grupo
U(1)Q , que se interpreta como la carga electrica: q = q (no hay suma sobre ). Esto resulto ser
una simetra accidental del Lagrangiano propuesto y solo se mantiene a nivel global. Si queremos
que la carga electrica se converve localmente debemos llevar la invarianza gauge abelina gloabal a
una local de modo que tengamos el Grupo gauge local SU(2) U(1) correspondiente a un grupo
semisimple
de modo que la hipercarga Y debe ser la misma para las dos componentes del doblete.
El efecto de la transformacion completa SU(2) U(1)Y es
SU (2)U (1)Y j +Y
= ei(j T I)
. (3.195)
Para que la Accion definida por el Lagrangiano en ec. (3.141) sea invariante gauge local bajo
SU(2) U(1)Y , debemos cambiar la derivada normal por la derivada covariante:
D igT i Wi ig Y B ,
= igT 1 W1 igT 2W2 igT 1 W1 ig Y B ,
!
1 3 1 gW +
gW + g Y B
= i 2 1 1
2
3 . (3.196)
2
gW 2
gW + g Y B
L = (D ) D m2 12 Tr (W W ) 14 B B (3.197)
Expandiendo
hg i
Lnc =i + + (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
0 0
0 h g i
+i (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
0
+ 1 2
=i +
[( 2 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
+i 0 0 0 0 [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
(3.203)
Con solucion
Fijando
1
Y = (3.207)
2
tenemos
g sin W = g cos W = e (3.208)
sustituyendo en (3.205) y teniendo en cuenta la ec. (3.193)
1
+ Y = +1
2
1
+ Y = 0
2
T3 + Y = Q (3.209)
Podemos escribir el operador de carga en terminos del isospn y la hipercarga, relacion que se conoce
como la formula de Gell-man-Nishijima
Q = T3 + Y (3.210)
3.6. INVARIANZA GAUGE LOCAL PARA UN GRUPO SEMISIMPLE 75
+
1
+
Lnc =ie + Y A
2
+
+ cos W Y sin W
+ie Z
2 sin W cos W
0 0 0
0 cos W Y sin W
ie + Z (3.211)
2 sin W cos W
Usando Y = 1/2
Lnc =ie + + A
e +
+i + cos2 W sin2 W Z
2 cos W sin W
e 0 0
i 0 0 Z
2 cos W sin W
=ie + + A
e +
+i + 1 2 sin2 W Z
2 cos W sin W
e 0 0
i 0 0 Z
2 cos W sin W
e
=eJEM A + J Z (3.212)
2 cos W sin W N C
donde JEM esta dado por la ec. (3.51)
JEM = i( + + ) . (3.213)
y
JNC = i + + (1 2 sin2 W ) i 0 0 0 0 . (3.214)
Otra forma de obtener el mismo resultado es escribiendo el Lagrangiano de forma mas compacta
partiendo de la ec. (3.199), cuya parte diagonal es
3 3
L i g W3 + g Y IB i g W3 + g Y IB
2 2
3
i g W3 + g Y IB + h.c (3.215)
2
Usando la ec. (3.202)
Para que Lagrangiano incluya la conservacion local de carga electrica debe contener el Lagrangiano
de la ec.(3.148) (el termino en e2 se analiza en el problema 3. 6). Entonces
Esto se consigue si
de modo que
1
Y = (3.218)
2
Entonces
3 cos W sin W
gT 3
W3
+ g Y B =eQA + e T Y Z
sin W cos W
e
=eQA + T 3 cos2 W Y sin2 W Z
sin W cos W
e 3
=eQA + T T 3 + Y sin2 W Z
sin W cos W
e
=eQA + T 3 Q sin2 W Z (3.219)
sin W cos W
Entonces
e
L ie Q A + i 3 2Q sin2 W Z + h.c (3.220)
2 sin W cos W
e
L eJEM A + JNC Z (3.221)
2 sin W cos W
e
L ejEM A + JNC Z (3.222)
2 sin W cos W
donde
jEM = i( + + ) + 2e + A (3.223)
que corresponde a la ec. (3.92).
A este nivel todos los campos gauge son no masivos. Note que las corrientes cargadas son las
mismas que en la seccion 3.5.
siendo i campos complejos, el Lagrangiano en la ec. (3.141) queda invariante bajo las transformacion
gauge local
= X = exp(ii i ) (3.225)
[i , j ] = iijk k
[i , j ]lm = iijk (k )lm (3.227)
Ya que
Entonces
X X
Tr i = (i )jj = iijj = 0 (3.231)
j j
Por lo que i es una representacion del grupo SU(2) en terminos de matrices 3 3. Usando la
ec. (3.228)
X X
Tr(i j ) = (i j )kk = (ij kk ik jk ) = 3ij ij = 2ij (3.232)
k k
ii i
i (ik k )i = i(k )ij j k = i(ikij )j k = ijk j k = ( )i
(3.233)
78 CAPITULO 3. PRINCIPIO GAUGE LOCAL
L = (D ) D m2 . (3.234)
D = igW = igi Wi
W =i Wi
(W )jk = iijk Wi (3.235)
D = ( igi Wi )
(D )jk k = (jk ig(i )jk Wi )k
(D )jk k = (jk gijk Wi )k
(D )jk k = (jk + gjik Wi )k
(D )jk k = jk k + g(W )j
Entonces
D = + gW (3.238)
Ademas
(D ) = ( + igi Wi )
[(D ) ]j = (jk k + gijk k Wi )
[(D ) ]j = (jk k + gjkik Wi ) (3.239)
(D ) = + g W (3.240)
La definicion de W queda
W = i Wi
(3.241)
3.7. COMO UN TRIPLETE DE SU(2) 79
= [( W W ) + gW W ]i
Finalmente
L
i
= Wi = (W )i (3.248)
( W )
De manera que al igual que en el caso Abeliano
W W
i
= 4Wi (3.249)
( Wi ) i
De otro lado, usando la tecnica, por ejemplo
i
ilm ( Wi )Wl Wm = i
ilm ( Wi )Wl Wm
W W
Wi m l W
i
= nim ( Wn ) W + nli ( Wn )W
Wi Wi
= nim ( Wn )Wm + nli ( Wn )Wl (3.250)
Tenemos
L
i
=g [ n nij j ( n ) nij j ] g 2( n inj lmj Wl m + n knj imj Wk m )
W
2g
+ [nji ( Wn Wn )Wj + nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nji nlm Wj Wl Wm + njk nim Wj Wk Wm + njk nli Wj Wk Wl )
4
3.7. COMO UN TRIPLETE DE SU(2) 81
L
i
= g [nji n j nji ( n ) j ] g 2 [ n inj (lmj Wl m ) + m imj (knj Wk n )]
W
2g
+ [nji ( Wn Wn )Wj nik ( Wn Wn )Wk ]
4
g2
+ (nik nlm Wk Wl Wm + nki nml Wk Wm Wl + nlm nik Wl Wm Wk + nml nki Wm Wl Wk )
4
L
= g [njin j nji ( n ) j ] g 2 [n inj (lmj Wl m ) + m imj (knj Wk n )]
Wi
2g
+ [nji ( Wn Wn )Wj + nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
4
= g [nji n j nji ( n ) j ] g 2 [ n inj (lmj Wl m ) + m imj (knj Wk n )]
+ g[nji( Wn Wn )Wj ] + g 2 nik nlm Wk Wl Wm
L
i
= g( + )i g 2 [inj n (W )j + imj m (W )j ]
W
+ g[( W W ) W ]i + g 2nik (W W)n Wk
= g( + )i + g 2 [ijn (W )j n + ijm (W )j m ]
+ g[( W W ) W ]i g 2 nki (W W )n Wk
L
= g( + )i + g 2 [(W ) + (W ) ]i
Wi
+ g[( W W ) W ]i g 2 [(W W ) W ]i
= g{ + g[(W ) + (W ) ]}i
g{[( W W ) + gW W ] W }i
Finalmente
L
= g{ + g[(W ) + (W ) ]}i g(W W )i
Wi
(3.251)
Combinando las ecuaciones (3.251) y (3.248) en la ec. (3.247), tenemos
W + gW W = g{ + g[(W ) + (W ) ]}
W gW W = g[ ( + gW ) ( + g W ) ]
W + gW W = g[ ( + gW ) ( + g gW ) ] (3.252)
De las ecs. (3.238) y (3.240)
D W = g[ D (D ) ] g j (3.253)
Note que si es real
D W = g(D ) (3.254)
82 CAPITULO 3. PRINCIPIO GAUGE LOCAL
F = 0, (3.255)
indicando que no hay termino de fuente para el campo electromagnetico. En el caso no Abeliano
D W = 0 W = gW W (3.256)
indicando que el campo W actua como la fuente de si mismo. Esto se debe a que el campo W
lleva carga de isospn, a diferencia del campo A que no lleva carga electrica.
De otro lado las ecuaciones homogeneas de Maxwell dan lugar a que B = 0 y a la ausencia
de monopolos magneticos. En este caso se puede demostrar que
D W + D W + D W = 0, (3.257)
~ 6= 0, donde B
se sigue que B ~ es el isovector de induccion magnetica. Esto da lugar a la existencia
de monopolos magneticos de isospn.
Al igual que en el caso Abeliano, sin embargo, el campo W sigue siendo sin masa.
Aunque la teora que hemos desarrollado es puramente matematica, comparte muchas cosas en
comun con las simetras gauge no abelianas usadas en la construccion del Modelo Estandar de las
partculas elementales.
3.8. Problemas
3.1 Compruebe si es posible construir un doblete escalar donde ambas campos sean cargados res-
petando la invarianza SU(2) U(1)Y . La solucion es Y = 3/2
+ m2 + ie (A ) + ieA e2 A A = 0
a)
0
i2 = (3.260)
b) el Lagrangiano (3.143) puede escribirse tambien como
L = m2 (3.261)
L = ab a b m2 ab a b (3.262)
L e2 + A A (3.263)
L (gT 3W3 + g Y B )2
e
= [eQA + T 3 Q sin2 W Z ]2
sin W cos W
2 2
e Q A A
=e2 QA A
=e2 + A A (3.265)
3.7 Muestre que el Lagrangiano en ec. (3.245) puede escribirse escalares en el espacio SU(2)
4
En SU (2) las representaciones 2 y 2 son equivlantes