44

Captulo 3
Principio Gauge Local
3.1.

Ecuaci
on de klein-Gordon

De la componente escalar de la ecuacion de Proca, (2.106), obtenemos la ecuacion de Klein

Gordon para un campo escalar real = A0 ,
1
1
L = m2 2 +
2
2

(3.1)

Donde es la densidad de carga que actua como fuente del campo .

Posteriormente discutiremos en detalles porque m corresponde a la masa de la partcula. La idea
basica es que tiene excitaciones alrededor del mnimo del potencias V = (1/2)m2 2 que corresponde
a la energa de un oscilador armonico. Esta energa es equivalente a masa. Note que m2 < 0 no puede
interpretarse como masa. En este caso describira excitaciones alrededor de la parte plana del
potencial. Como estas excitaciones no cuestan energa, corresponde a una partcula sin masa.
El campo puede pensarse como proveniente de una fuente de la misma manera como el campo
electromagnetico surge de partculas cargadas. Como en el caso del electromagnetismo, es esta seccion
podemos considerar los campos sin preocuparnos de las fuentes. En tal caso tendremos una teora en
la cual el campo escalar juega el papel de partcula mediadora de la interaccion.
Si el campo escalar se generaliza para que pueda tener otros n
umeros cuanticos, como carga
electrica, entonces estos pueden ser las fuentes de las respectivas cargas y corrientes en la ecuaciones
para campos vectoriales. Esto se estudiara en la seccion 3.2. En tal caso podramos tener por ejemplo
atomos formados de partculas escalares que se excitan emitiendo fotones.
En las secciones 2.2.2 y 2.4, hemos visto que el Lagrangiano en ec. (3.1) da lugar a las ecuaciones
de Klein-Gordon en presencia de una densidad de carga
( + m2 ) =

(3.2)

De acuerdo a la ec. (2.107), tenemos

1
1
Lfree = m2 2
2
2
Lint =

(3.3)

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

CAPITULO 3. PRINCIPIO GAUGE LOCAL

46

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

d3 k eikx (k).
(3.7)
(x) =
(2)3/2
La transformada inversa es

(k)
=
(2)3/2

Ademas tenemos la propiedad

d3 x eikx (x).

Z
1
d3 k eikx .
(x) =
3
(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

(3.8)

(3.9)

Entonces

g
1
.
3/2
2
(2) k + m2
Reemplazando en la ec. (3.7) y definiendo r |x|


Z
g
1
1
3
ikx
(x) =
d ke
(2)3/2
(2)3/2 k2 + m2
Z
eikx
g
3
d
k
=
(2)3
k2 + m2
Z
Z
g
k2
=
2
d|k| 2
ei|k|r cos sen d
2
(2)3
k
+
m
0
0

(k)
=

(3.10)

 DE KLEIN-GORDON
3.1. ECUACION

47

Haciendo el cambio de variables u = cos , du = sin d,

Z
Z 1
g
k2
(x) =
d|k| 2
ei|k|ru du,
(2)2 0
k + m2 1
Z
Z 1
k2
g
d|k| 2
ei|k|ru du.
(x) =
2
2
(2) 0
k + m 1
Ya que

ei|k|ru du =
1

(3.11)

ei|k|r ei|k|r
i|k|r

Z
ei|k|r ei|k|r
g
d|k|
|k|
(x) =
i(2)2 r 0
k2 + m2
Z

Z
ei|k|r
g
ei|k|r
d|k| |k| 2

=
d|k| |k| 2
i(2)2 r
k + m2
k + m2
0
0

Z
Z
g
ei|k|r
ei|k|r

=
d|k|
|k|

d|k|
|k|

2 + m2
i(2)2 r 0
k2 + m2
k
{z
}
|0
Z

i|k|r

g
e
d|k|
|k|
i(2)2 r
k2 + m2
Z
|k|ei|k|r
g
d|k|
=
i(2)2 r
(|k| + im)(|k| im)

|k||k|

(3.12)

Definiendo
f (z) =

zeizr
z + im

y usando la integral de Cauchy para el contorno correspondiente al semiplano positivo que incluye
el polo en z = im
Z
im emr
f (z)
dz = 2if (im) = 2i
= i emr
(3.13)
2im
C z im
tenemos que
(x) =

g emr
4 r

(3.14)

A la luz de la interaccion fuerte, un proton y un neutron son indistinguibles y son llamados

nucleones. En primera aproximacion la interaccion fuerte puede ser tratada como una interaccion de
Yukawa en el rango de los fermis entre los nucleones, mediada por mesones, como el pion. Ver sec.
2.2 de [20].
Para ver esto considere un nucleon como fuente de un meson intermediario. De acuerdo a la

CAPITULO 3. PRINCIPIO GAUGE LOCAL

48
ec. (3.14),

g em|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 )
4
|x x |

(x) =

Lint

1
= (x)(x) =
4

(3.15)

em|xx |
d x (x)(x )
|x x |
3

Lint
Lint
(/t) t
= Lint
Z
m|xx |
1
3
e
d x (x)(x )
=
4
|x x |
Z
m|xx |
1
3
3
e
d x d x (x)(x )
=
4
|x x |

(3.16)

Hint =

Hint

(3.17)
(3.18)

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
V (r) =

1 emr
4 r

(3.19)

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
(3.20)
( 2 2 + m2 ) = 0
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)

De este modo m, puede interpretarse como la masa de la partcula . El rango de la interaccion

entre nucleones es de r 2 fm. Ver mas detalles en [20]. La siguiente discusion esta basada en esa
referencia. Yukawa entonces predijo que la masa del meson deba ser del orden de
m

1
1
1m
100 MeV.
=

15
r
2 10 m 1/(1.97 1016 GeV1 )

(3.23)

 DE KLEIN-GORDON
3.1. ECUACION

49

Figura 3.1: Intercambio de Yukawa de un solo

A continuacion Yukawa considero la posibilidad de que el quantum pudiera ser emitido en la
transicion n p, a traves del proceso
n p +
(3.24)
donde la conservacion de la carga determina la carga de . Sin embargo el proceso viola la conservacion de la energa ya que mn = 939.565 56(81) MeV, mp = 938.272 013(23) MeV, de modo que
mn < mp + m , si m 100 MeV, as esto no puede ocurrir como un proceso real de emission. Sin
embargo, Yukawa noto que si (3.24) se combina con el proceso inverso
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
interact
ua 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/a

a > 1,

(3.28)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

50

donde r es la separacion entre los nucleones. Entonces

m

a
.
2r

(3.29)

Para r 2 fm y m = 100 GeV, a > 2. As, si el aparato de medida opera a una escala de tiempo del
orden de la mitad de t, la incertidumbre resultante en la energa es suficiente para que se produzca el
. Note que a medida que r , la masa de la partcula que se intercambia debe ser cero, como
ocurre en el caso electromagnetico. El tiempo que tarda en cruzar en la figura 3.1 es
t > r

(3.30)

donde r es la distancia que separa los nucleones. As

E

1
1

2t
r

(3.31)

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 :
propagador:

k2

1
m2

(3.32)

En el caso electromagnetico tendremos simplemente

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)

Entonces
cross section

1
k2

sin4 ,
2

(3.35)

que explica la famosa variacion angular de la dispersion de Rutherford, en la cual las partculas
son dispersadas por los n
ucleos positivamente cargados del metal. Ver figura 3.2
En general tendremos
1
,
(3.36)
propagador:
2
k m2
donde k = (k0 , k)

51

3.2. CAMPOS ESCALARES COMPLEJOS

Figura 3.2: Dispersion de partculas a traves de una lamina de oro

3.2.

Campos escalares complejos

Algunas consecuencias fsicas interesantes surgen si consideramos un sistema de dos campos escalares reales, 1 y 2 , que tengan la misma masa m. Entonces

1
1
1
1
L = [ 1 1 m2 21 ] + [ 2 2 m2 22 ]
2
2
2
2

(3.37)

Si definimos
1 + i2

2
1 i2
=
,
2

2 =(1 + i2 )

2 =(1 i2 ).
=

then

(3.38)

and

(3.39)

Therefore

2( + ) =21

Then
2( ) =2i2 .

+
1 =
2

2 = .
2

(3.40)
(3.41)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

52

Reemplazando la ecuaciones (3.40) y (3.41) en la ec. (3.37), tenemos

1
1
L = [ ( + ) ( + ) m2 ( + )2 ]
4
2
1
1
+ i2 [ ( ) ( ) m2 ( )2 ]
4
2
1
= [ + + 2 m2 (2 + 2 ) + 2 ]
4
1
[ + 2 m2 (2 + 2 ) 2 ]
4
1
= [4 4m2 ]
4
L = m2
De la ec. (1.41) de la seccion 1.3,
De las ecuaciones de Euler-Lagrange para , usando el Lagrangiano en ec. (3.42)


L
L

=0

( )

+ m2 = 0
( + m2 ) = 0,

(3.42)

(3.43)

y de la ecuaciones de Euler-Lagrange para ,

( + m2 ) = 0.

(3.44)

De este modo tanto , como , satisfacen la ecuacion de Klein-Gordon.

Estamos ahora interesado en las simetras internas del Lagrangiano. Entonces la corriente conservada puede definida en la seccion 1.3, eq. (1.43)
L
L
+
( )
( )
J = + .

J =

(3.45)

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
= i .

(3.47)
(3.48)

53

3.2. CAMPOS ESCALARES COMPLEJOS

Reemplazando en ec. (3.45)
J i( ),

= J 0 i(

).
t
t

(3.49)
(3.50)

Definimos J como
J = i( ),

(3.51)

Como puede ser negativo no puede interpretarse como una probalidad, como se hizo con la funcion
de onda de la ecuacion de Scrodinger. Esto presento un obstaculo en la interpretacion inicial de la
ecuacion de Klein-Gordon. Sin embargo una vez se cuantiza el campo escalar la probabilidad de los
estados cuanticos queda bien definida [10].
Para interpretar a que corresponde la densidad de la ecuacion de Klein-Gordon para un campo
escalar complejo considere la siguiente solucion a la ec. (3.43)
=

 ikx

a e + b eikx

2L3

 i(wtkx)
1
ae
+ b ei(wtkx)
=
2L3

(3.52)

Donde el factor global es una generalizacion de la ec. (1.95) para el caso en 3 dimensiones. Sea
 i(wtkx)

1
=
ae
b ei(wtkx)
2L3

(3.53)

Usando la expresion para T se obtiene para el campo complejo

H = (a a + b b)
P = k((a a + b b))

(3.54)

Reemplazando en la ecuacion (3.43)

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
2L3
1
2L3

ei(wtkx)

(3.57)

ei(wtkx)

(3.58)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

54

son las soluciones de energa negativa y positiva respectivamente, a la ecuacion de Klein-Gordon, si

es una cantidad definido positiva. Entonces, si > 0
J+0

= i(

i
[(iw) (iw)]
2L3
1
= 3 > 0.
L
=

J0 =
Entonces, la carga conservada es

Q =

1
< 0.
L3

d3 x J0 = 1

(3.59)

(3.60)

(3.61)

Ademas de la expresion para la energa del campo en eq. (1.62), y usando la ec. (3.45).
L
L
( ) + ( )
L
( )
( )
= + L

T =

(3.62)

T00 = 2 0 0 + m2

= 0 0 i i + m2
= 0 0 + + m2
T0i = i 0 + 0 i

(3.63)
(3.64)

Para + (o )
1
2L3
1
=
2L3
1
=
2L3

= 3
L

T00 =



(i)(i) + (ik) (ik) + m2
 2

+ k2 + m2
 2

+ 2

E =

Para

d3 x T00 = > 0

1
[(iki )(i) + (i)(iki )]
2L3
ki
= 3
L

(3.65)

(3.66)

T0i =

(3.67)

55

3.3. INVARIANZA GAUGE LOCAL ABELIANA

y
P=

Ademas

d3 x T0i = k

T0 = 0

(3.68)

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

3.3.

Invarianza gauge local abeliana

Considere la representacion del Grupo U(1), que de acuerdo a la seccion 2.3.1 es

En el Lagrangiano en ec. (3.42)

U(x) = ei(x)

(3.70)

L = ( ) m2 ,

(3.71)

el termino de masa es invariante bajo la transformacion

U

= U
U

= U 1 ,

(3.72)

pero el termino cinetico no lo es. Sin embargo, si cambiamos , por una derivada covariante D , tal
que la derivada covariante del campo transforme como el campo:
U

D (D ) = U (D )
U

(D ) (D ) = (D ) U 1 ,

(3.73)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

56

entonces el Lagrangiano obtenido por reemplazo D :

L = (D ) D m2 ,

(3.74)

es invariante bajo el grupo de Transformaciones U(1): L L = L. Diremos en ese caso que el

Lagrangiano, y por consiguiente la Accion, es invariante gauge local bajo U(1).
Desarrollando la ec. (3.73), tenemos que

Por consiguiente

D (D ) = D U = UD

D U = UD

(3.76)

D (D ) = UD U 1

(3.77)

D = igA

(3.78)

Las ecs. (3.73) no se satisfacen para D = . Sin embargo, definiendo

Para que las ecs. (3.73) se satisfagan

(3.75)

i
U
A A = UA U 1 ( U)U 1
g
i
= A ( U)U 1
g
i
= A (i ) UU 1
g
1
(3.79)
= A +
g
As, el campo A que se requiere para satisfacer las propiedades de la derivada covariante transforma
justamente como el campo vectorial electromagnetico. La ec. (3.78) da lugar a la sustitucion mnima
del operador de momentum
p p + gA
(3.80)
Veremos que la carga conservada U(1) se puede identificar con la carga electrica. Entonces fijamos
Podemos encontrar que

g = e

(3.81)

i
F = [D , D ]
g

(3.82)

ya que
i
F = [ igA , igA ]
g
i
= [( igA ) ( igA ) ( igA ) ( igA ) ]
g

i
= g 2A A ig[ (A ) + A ] + g 2 A A + ig[ (A ) + A ]
g
i
= {( ) g 2 (A A A A ) ig[( A ) ( A )]
g
ig[A + A A + A ]}
=[( A ) ( A ) ig(A A A A )]
(3.83)

3.3. INVARIANZA GAUGE LOCAL ABELIANA

57

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
El Lagrangiano mas general es
1
L = (D ) D m2 F F
4
Desarrollando el primer termino
(D ) D = [( + ieA ) ] ( + ieA )
= ( ieA ) ( + ieA )
= + ieA ( ) ieA + e2 A A

(3.86)

(3.87)

Por consiguiente el Lagrangiano en ec. (3.86) puede escribirse como

1
L = Lescalar F F + Lint
4

(3.88)

Lint = ieA ( ) + e2 A A .

(3.89)

donde

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)
Las ecuaciones de movimiento para el campo vectorial son entonces
F = ej

(3.91)

j = i [ ( )] 2e A = J 2e A .

(3.92)

j = i [ D (D ) ] .

(3.93)

donde
Usando la primera ecuacion en (3.45), tenemos que (D = + ie A )

CAPITULO 3. PRINCIPIO GAUGE LOCAL

58

De otro lado, las ecuaciones de movimiento para el campo escalar complejo



L
L

=0

( )

2
( + ie A ) (m ieA + e A A ) = 0
+ m2 + ie (A ) + ieA e2 A A = 0

(3.94)

dan lugar a

( + m2 + U(x))
= 0,

(3.95)

U (x) = ie(A + A ) e2 A A

(3.96)

donde
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
(p qA)2 + qA0
2m
1
(p qA)2
H qA0 =
2m
H=

(3.98)

que a su vez puede obtenerse del Hamiltoniano para una partcula libre con el reemplazo
H H qA0

p p qA

(3.99)

yp
, tenemos
En terminos de los operadores H
i

i qA0
t
t

+ iqA0
t
t

i i qA
i i iqAi = i + iqAi .

(3.100)

De modo que
= ( 0 0, i ) D = ( 0 + iqA0 , i + iqAi ) = + iqA .

3.3.1.

(3.101)

Aplicaci
on a barrera de potencial

Considere una barrera de potencial,

(
0 A la izquierda de la barrera (Region I)
A0 =
V A la derecha de la barrera (Region II)

(3.102)

59

3.3. INVARIANZA GAUGE LOCAL ABELIANA

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
U (x) = ie(A0 0 + 0 A0 ) e2 A20
= ie(A0 0 + A0 0 ) e2 A20

= 2ieV
e2 V 2
t
y
( + m2 + 2ieV

e2 V 2 ) = 0 .
t

(3.103)

(3.104)

Se sugiere que en la Region I

I = A ei(pzEt) + B ei(pz+Et)

(3.105)

De acuerdo al calculo de la corriente en ec. (3.59) esta solucion representa partculas con carga
positiva.
La exponencial con coeficiente A representa una onda moviendose a derecha, mientras que la de
coeficiente B representa una onda moviendose a izquierda. Para ver esto considere los paquetes de
onda [10]
h 
i
E 2 m2 z Et
ei(pzEt) = exp i
Z E0 +E
i
h 
2
2
E m z Et
(3.106)

dE exp i
E0 E

sea u = E E0 1, entonces E = u + E0 , dE = du, E = E0 E da lugar a u = E, y

q
q
p

E 2 m2 = (u + E0 )2 m2 = u2 + 2uE0 + E02 m2 2uE0 + p20

s
2uE0
uE0
uE0
= p0 1 + 2 p0 (1 + 2 ) = p0 +
(3.107)
p0
p0
p0
donde p20 |p0 |2 = E02 m2 . Para una partcula no relativista E0 /p0 = m/(mv0 ) = 1/v0 . En general
v0 =

p0
E0

E 2 m2 p0 +

(3.108)
u
v0

(3.109)

sustituyendo en ec. (3.106)

i(pzEt)

 


u

du exp i p0 +
z (u + E0 )t
v0
E
Z

ip0 zE0 t


 
u
z ut
du exp i
v0
E

(3.110)

(3.111)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

60

Figura 3.3: Barrera de potencial

ip0 zE0 t


 
z
t
du exp iu
v0
E
E

(3.112)


 
z v0 t
du exp iu
v0
E

ip0 zE0 t

(3.113)

Que corresponde a un pulso de energa E0 y momentum p0 moviendose hacia la derecha Sea

=
Entonces
f () =
i(p0 zE0 t)

I = A e

z v0 t
v0

dE eiE = 2

z v0 t
v0

(3.114)

sin(E)

i(p0 z+E0 t)

+Be

(3.115)


z + v0 t
v0

(3.116)

y v0 = p0 /E0 . Entonces, la parte con coeficiente A corresponde a un + incidente moviendose hacia

la derecha, y la parte con coeficiente B a un + reflejado moviendose hacia la izquierda (ver figura
3.3 ).
Para la Region II, consideramos exponenciales de la misma fase que en la region I pero con el
momentum modificado debido ala presencia del potencial. En la region I las soluciones correspondan
a partculas con J 0 = J+0 > 0. En la region II deberemos calcular los correspondientes j 0 de la
ec. (3.92) e interpretar el signo resultante
II = C ei(P z+Et) + D ei(P zEt) .

(3.117)

3.3. INVARIANZA GAUGE LOCAL ABELIANA

Esta es solucion a la ec. (3.104)
 2


2
2 2
II = 0

+ m + 2ieV
e V
t2 z 2
t


E 2 + P 2 + m2 + 2eV E e2 V 2 II = 0


(eV E)2 + P 2 + m2 II = 0

61

(3.118)

de modo que

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
y corresponde a una partcula cargada negativamente que interpretaremos como un transmitido,
es decir moviendose hacia la derecha. Esto corresponde a la condicion de frontera D = 0 que da lugar
a una partcula moviendose a la derecha. En efecto, el paquete de onda es


z u0 t
i(P0 z+E0 t)
II = C e
f
,
(3.121)
u0

con
u0 =

P0
P0
=p 2
eV E0
P0 + m2

(3.122)

Note que en el caso V = 0, esta da lugar a un + moviendose a la izquierda como era de esperarse.
De manera que emerge un marco consistente de un partcula de masa m y carga e moviendose
haca la derecha. Esto corresponde a meson . Para completar la descripcion, consideramos un +
moviendose a la derecha hacia la barrera como en la figura 3.3. Esto significa que cualquier meson
debe ser producido por la interaccion con la pared y viajara hacia la derecha dentro de la region
II. De aqu que para la condicion de frontera D = 0, la solucion normalizando A = 1 es [10]




P0 + p0 i(p0 z+E0 t)
z + v0 t
z v0 t
i(p0 zE0 t)

,
e
f
I = e
f
v0
P 0 p0
v0


2p0 i(P0 z+E0 t)
z u0 t
II =
e
f
,
(3.123)
P 0 p0
u0
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

CAPITULO 3. PRINCIPIO GAUGE LOCAL

62

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)
2

(3.124)

Si fijamos el gauge tal que = , entonces = , y




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
4

(3.125)

Aunque este gauge es de poca utilidad en este contexto, sera de mucha utilidad en la discusion
del rompimiento espontaneo de simetra.

3.4.

Aplicaci
on a la mec
anica cu
antica

De la ecuacion (3.98) podemos obtener la ecuacion de Schodinger en presencia de un campo

electromagnetico


1
2
b
(
p qA) + qA0
H =
2m



1
2
i =
(i qA) + qA0 .
(3.126)
t
2m
Que puede reescribirse como

1

0
+ iqA = i2
( iqA)2
i
t
2m


1

0
+ iqA =
( iqA)2
i
t
2m


(3.127)

 A LA MECANICA

3.4. APLICACION
CUANTICA

63

Definiendo el cuadrivector
D = (D 0 , D)



+ iqA , ( iqA)
t



0
i
+ iqA , i + iqA )
=
t



0
i
i
=
+ iqA , + iqA
t
= + iqA

(3.128)

tenemos

1 2
D
(3.129)
2m
que para A = 0 se reduce a la ecuacion de Schrodinger para una partcula libre. Bajo la transformacion gauge en el campo A de la ec. (3.79),
iD 0 =

1
0
A0 A = A0 0
q
1
A A = A +
q

(3.130)

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 acompa
nados por una transformacion de la funcion de onda, , donde
satisface la ecuacion
1 2
0
D
iD =
2m



1

i =
(i qA ) + qA 0 .
t
2m

(3.131)

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)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

64
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 )

De la misma manera
De modo que

(3.134)
0

D = ei(x) (D 0 )

D D = ei(x) (D )

(3.135)
(3.136)

y la derivada covariante del campo transforma como el campo. Tenemos entonces que
1 2
D
2m
1 i(x) 2
e
D
iei(x) D 0 =
2m
1 2
iD 0 =
D
2m
0

iD =

(3.137)

En resumen, para
y reemplazando q tenemos

D = + iqA

(3.138)

A A = A (x)
= eiq(x)

D D = eiq(x) (D ) .

(3.139)

En este convencion q corresponde al generador de la transformacion y al parametro de la transformacion.

El correspondiente Lagrangiano es (ver ec. (1.63))

1
1
i 0
D (D 0 ) F F
(D) D
2m
2
4

1
i
1 i
( 0 + iqA0 ) [( 0 iqA0 ) ] F F
( iqAi ) ( i + iqAi )
=
2m
2
4

 1
i
1 i
( 0 + iqA0 ) ( 0 iqA0 ) F F
( iqAi )( i + iqAi )
=
2m
2
4
1 i i
=
[ + iq( i )Ai iq ( i )Ai + q 2 Ai Ai ]
2m
 1
i
( 0 ) ( 0 ) + 2iq A0 F F
2
4

L=

La corriente se obtiene de la ecuaciones de Euler-Lagrange para A

F = j

65

3.5. INVARIANZA GAUGE LOCAL NO ABELIANA

con
L

A
(
q
=0
= iq
i
i

i
[( ) 2iq A ] = i
2m

j =

Que incluye el termino corriente para una partcula cargada y es diferente de la corriente de probabilidad 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

+ i

= 0
0 =

( )

(0 )
(i )




i 0
i
1
1
i
i
2 i i
0
= 0 +
iq( )A + q A A + qA
i (i + iqAi )
2
2m
2m
2


i
i
1
1
= 0 + 0 qA0 +
iq( i )Ai q 2 Ai Ai
i (i + iqAi ) +
2
2
2m
2m

1 
1
2
0
iqAi ( i + iqAi )
i (i + iqAi ) +
=i0 + i qA +
2m
2m
1
(i + iqAi ) (i + iqAi )
=i(0 + iqA0 ) +
2m
1
=iD0 +
Di Di
2m
1
D D
iD0 =
2m
1 2
D
iD0 =
2m
Que corresponde a la ec.(3.137), es decir, la ecuacion de Scrodinger con la derivada normal reemplazada por la derivada covariante.

3.5.

Invarianza gauge local no abeliana

Las interacciones debiles son mediadas por bosones gauges cargados W . Que simetra puede
dar lugar a la aparicion de dichos bosones gauge?
El Lagrangiano invariante de Lorentz para un doblete escalar complejo
 +

,
(3.140)
=
0
con + y 0 campos escalares complejos es

donde

L = m2 .
= 0

(3.141)
(3.142)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

66
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)]
(3.144)
= eiq

(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
donde V es la matriz 2 2
iQ

V =e





+1 0
(+1)+
= (1 + iQ) = + i
= + i
(0)0
0 0

(3.145)

(3.146)

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)

Expandiendo tenemos, teniendo en cuenta la ec. (3.163)1 ,

L = + ie QA ( ieA Q) m2 14 F F




= + ie QA A Q + e2 QA QA m2 41 F F




= + ie A Q A Q + e2 Q2 A A m2 41 F F




= + ie Q Q A + e2 QA A m2 41 F F


= + i (eQA ) + h.c + e2 QA A m2 41 F F
(3.148)
Ademas, el Lagrangiano en ec. (3.141) tambien es invariante bajo transformaciones SU(2) globa-

les:
U

con

= U


U
= U ,
UU = U U = 1

det U = 1

(3.149)

(3.150)

Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7

67

3.5. INVARIANZA GAUGE LOCAL NO ABELIANA

En general, un elemento del Grupo SU(N) puede escribirse como
U = exp(iT j j )

(3.151)

donde j son los parametros de la transformacion y T j corresponden a los N 2 1 generadores del

Grupo. Estos generadores deben ser hermticos, de traza nula, es decir
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 antisimetricas 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 i
2 =
i 0



0 1
1 =
1 0



1 0
3 =
0 1

(3.155)

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
Ti =

i
,
2

(3.156)

un elemento del Grupo puede escribirse como

U = eiT

1 + iT i i = 1 + i

i
i .
2

(3.157)

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)

det (i ) = 1
{i , j } = 2ij I i2 = I


Tr i j = 2 ij
i j = iijk k + ij

(3.159)

Ademas

Para demostrar la u
ltima propiedad por ejemplo, tenemos del anticonmutador que

CAPITULO 3. PRINCIPIO GAUGE LOCAL

68

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
Es decir + tiene isospn debil 1/2 y 0 1/2.
En esta seccion analizaremos la posibilidad de convertir la invarianza gauge global no abeliana a
una invarianza gauge local. En la proxima seccion se convertiran todas las invarianzas gauge globales
del Lagrangiano a locales.
Como en el caso Abeliano, ahora requeriremos que la Accion tambien sea invariante bajo transformaciones locales SU(2), de modo que i = i (x). Ya que tenemos tres parametros gauge i (x) esto
requiere la introduccion de 3 campos gauge Wi , y la derivada covariante es ahora una matriz 2 2:
D igT i Wi igW ,
donde = I y W es una matriz 2 2 de componentes
 i

(W )ab =
Wi .
2 ab

(3.161)

(3.162)

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)

69

3.5. INVARIANZA GAUGE LOCAL NO ABELIANA

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)

i
U
W (W ) = UW U ( U)U
g

(3.169)

Las matrices W transforman como

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


1

i
ikj
=T Wi + i + Wk j
g

(3.170)

de donde
1

Wi W i Wi + i + ijk Wj k
g

(3.171)

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 ]
g

(3.172)

W = W W ig(W W W W )
= W W ig[W , W ] .

(3.173)

De la ec. (3.84)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

70
Usando la ec. (3.162), y la ec. (3.154)



W =T i( Wi Wi ) ig T i , T j Wi Wj


=T i( Wi Wi ) ig iijk T k Wi Wj
=T i( Wi Wi ) + gijk T i Wj Wk

=T iWi

(3.174)

Wi = Wi Wi + g ijk Wj Wk ,

(3.175)

donde

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)

De modo que la traza de W W

Tr(W W ) Tr(W W
) = Tr(UW U UW U ) = Tr(U UW U UW ) = Tr(W W ) ,
(3.177)
es invariante. Ademas Usando la ec. (3.159), podemos obtener el Lagragiano libre invariante gauge
del los campos Wi

LW 12 Tr (W W )


j
= 81 Tr i j Wi W
j
= 14 ji Wi W
i
= 14 Wi W

i
LW = 41 Wi W
,

(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)

Expandiendo tenemos, teniendo en cuenta la ec. (3.163)2 ,

L = + ig W ( igW ) m2 21 Tr (W W )




i
= + ig W W + g 2 W W m2 14 Wi W




i
L = + ig W W + g 2 W W m2 14 Wi W
. (3.180)
2

Hasta aqu muchos de los resultados son independientes de la representacion de SU (2) usada y se puede pasar a
la secci
on 3.7

71

3.5. INVARIANZA GAUGE LOCAL NO ABELIANA

De la ec. (3.162), tenemos que W

1 0
W =
2 1

es





1 0 i
1 1 0
1
1
2
W +
W +
W3
0
2 i 0
2 0 1
1
2

i
W

2
W3

1
2

=
1
2

W + i W
2

W3
2
2



3
+
1
W
2W

.
2W W3
2

(3.181)

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
2W
W

W =
.
(3.182)
2W W 3
2
Ya que

2 W =

W3

  +

+
3
2W

W

2W W 3 0

+ 2



+ W3 + 20




+
2

+ W + 2 0 W+ 0 0 W3

W+

W3

2 W = + W3 + 2 0 + W + 2 0 W+ 0 0 W3 .

(3.183)

(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
2W
2W +
W
W

W W =
2W W 3
2W W 3
4


= 14 W3 W3 + 2W+ W I,

(3.187)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

72
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

3.6.

Invarianza gauge local para un grupo semisimple

El superndice en el doblete escalar puede ser interpretado como carga electrica (en unidades de
e) si bajo el operador diagonal de carga

 
  + 
 + 
+
+
(+1)
q

q
0

+
+

(3.192)
=
=
=
Q
(0)0
q0 0
0
0 q0
0
de modo que


+1 0
Q =

0 0

(3.193)

En esta seccion impondremos que las transformaciones bajo el grupo semisimple SU(2)U(1)Y
U(1)Q , dejen invariante la Accion definida por el Lagrangiano en ec. (3.179).
Para el caso Abeliano usaremos la misma estructura de la derivada covariante en ec. (3.161) donde
el coeficiente del campo gauge contiene el acoplamientos gauge y el generador de las transformaciones
correspondientes. El doblete escalar complejo debe transformar bajo U(1)Y como
 +
U (1)Y

iY
+ iY ,
(3.194)
=e
0

73

3.6. INVARIANZA GAUGE LOCAL PARA 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

= ei(j T

j +Y

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

2
= i 2 1
.
1

gW

gW
+
g
Y B

2
2

(3.196)

y, adicionar todos los terminos invariantes gauge asociados a los campos , W , y B :

L = (D ) D m2 12 Tr (W W ) 14 B B

(3.197)

Expandiendo
L =[ + i (gT iWi + g Y B )][ i(gT iWi + g Y B )] m2
21 Tr (W W ) 14 B B

= + i (gT i Wi + g Y B ) i (gT iWi + g Y B )

+ (gT iWi + g Y B )(gT iWi + g Y B ) m2

12 Tr (W W ) 14 B B

(3.198)

Las nuevas corrientes se puede obtener de:

L i

1
gW3 + g Y
2
1 gW

i
+

1 gW +

2
12 gW3 + g Y

1
gW3 + g Y
2
1 gW

1
gW3 + g Y
2
1 gW

1 gW +

2
12 gW3 + g Y

1 gW +

2
12 gW3 + g Y

B
!

1
gW3 + g Y B
2

1 gW
2

1 gW +
2
12 gW3 + g Y

(3.199)

Para las corrientes involucrando tres campos tenemos



1
1
3

0
1

+
0
1

gW
+
g
Y
B
)
+
gW
+
g
Y
B
)
g
W
g
W
+

L i

2
2
2
2



i ( 21 gW3 + g Y B ) + 12 g 0 W 12 g W+ + 0 ( 12 gW3 + g Y B )
i{[ ( 21 gW3 + g Y B ) +

1 g0 W ] +

+ [ 12 g W+ + 0 ( 21 gW3 + g Y B )] 0 }
1

i{[ ( 12 gW3 + g Y B ) + 12 g 0 W ]+ + [ 12 g W+ + 0 ( gW3 + g Y B )]0

2
(3.200)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

74

Las interacciones neutras de tres campos corresponden a







 g 3



 g


Lnc = i + +
W + g Y B + i 0 0 0 0 W3 + g Y B
2
2
(3.201)
Como el foton no se acopla con partculas neutras definimos
 3 
 
W
Z
cos W sin W
=
A
sin W cos W
B

Lnc =i

+i

=i

+i

(3.202)

i



 hg
+ +
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )
2
i

0

0 h g
0
0
(cos W Z + sin W A ) + g Y ( sin W Z + cos W A )

+ 1 2


+

[( 2 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]





0 0 0 0 [( 21 g cos W g Y sin W )Z + ( 12 g sin W + g Y cos W )A ]
(3.203)

Comparando con el Lagragiano para la interaccion electromagnetica en la ec. (3.89) (g = e)

LEM ie( + + )A

(3.204)

Tenemos las dos ecuaciones

1
g
2
21 g

sin W + Y g cos W = e
sin W + Y g cos W = 0

(3.205)

Con solucion
2Y g cos W = e

g sin W = e

(3.206)

Fijando
Y =

1
2

(3.207)

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
= T3 + Y
Q

(3.210)

3.6. INVARIANZA GAUGE LOCAL PARA UN GRUPO SEMISIMPLE

75

Reemplazando la ec. (3.208) en ec. (3.203)

Lnc

Usando Y = 1/2



 1
=ie
+ Y A
2



+  cos W
 +

Y sin W

Z

+ie
2 sin W
cos W


 0
0

0  cos W
Y sin W
0
ie
+
Z
2 sin W
cos W







Lnc =ie + + A
 +





e
+ cos2 W sin2 W Z
+i
2 cos W sin W
 0
0

e


0 0 Z
i
2 cos W sin W





=ie + + A
 +





e
+i
+ 1 2 sin2 W Z
2 cos W sin W
 0
0

e


i
0 0 Z
2 cos W sin W
e

J Z
=eJEM
A +
2 cos W sin W N C

(3.211)

(3.212)

donde JEM
esta dado por la ec. (3.51)

JEM
= i( + + ) .









JNC
= i + + (1 2 sin2 W ) i 0 0 0 0 .

(3.213)
(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


(3.215)
i g W3 + g Y IB + h.c
2
Usando la ec. (3.202)
gT 3 W3 + g Y B =gT 3 (cos W Z + sin W A ) + g Y ( sin W Z + cos W A )




= gT 3 sin W + g Y cos W A + gT 3 cos W g Y sin W Z

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
gT 3 sin W + g Y cos W = eQ

(3.216)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

76
Esto se consigue si
g sin W = g cos W = e

T3 + Y = Q

de modo que
Y =

1
2

(3.217)

(3.218)

Entonces
gT

W3

+ g Y B =eQA + e T

3 cos W

sin W
e
=eQA +
sin W cos W
e

=eQA +
sin W cos W
e

=eQA +
sin W cos W

Entonces
L ie Q A + i

e
2 sin W cos W

Expandiendo obtenemos la ec. (3.212)

L eJEM
A +

sin W
Y
cos W

T 3 cos2 W Y sin2 W Z
 3



T T 3 + Y sin2 W Z


T 3 Q sin2 W Z

3 2Q sin2 W Z + h.c
e

2 sin W cos W

JNC
Z

(3.219)

(3.220)

(3.221)

Teniendo en cuenta las interacciones de cuatro campos, ver ec.(3.263), tenemos

L ejEM
A +

e
2 sin W cos W

JNC
Z

(3.222)

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.

3.7.

como un triplete de SU (2)

Si transforma como un triplete de SU(2)3

++
1

= 2 = +
0
3
tambien puede escribirse como una matriz 2 2.

(3.224)

3.7. COMO UN TRIPLETE DE SU(2)

77

siendo i campos complejos, el Lagrangiano en la ec. (3.141) queda invariante bajo las transformacion
gauge local
= X = exp(ii i )

(3.225)

donde i son la matrices 3 3 generadores de SU(2) en la representacion adjunta

(i )jk = iijk

(3.226)

Debemos comprobar que

[i , j ] = iijk k
[i , j ]lm = iijk (k )lm

(3.227)

Ya que
(i j )lm = (i )lk (j )km = ilk jkm = ilk jmk = ij lm im lj
(j i )lm = (j )lk (i )km = jlk ikm = jlk imk = ji lm + jm li

(3.228)

Entonces
[i , j ]lm =(i j j i )lm
=il jm im jl
=ijk lmk
=iijk (iklm )
=iijk (k )lm

(3.229)

Algunas propiedades de son

[(i )jk ] = [(i )kj ] = (iikj ) = iikj = iijk = (i )jk
i = i

Tr i =

(i )jj =

iijj = 0

(3.230)
(3.231)

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

Expandiendo la ec. (3.225), obtenemos el resultado de la ec. (3.166)

ii i

i (ik k )i = i(k )ij j k = i(ikij )j k = ijk j k = ( )i

(3.233)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

78

Esto corresponde a una rotacion en el espacio de tres dimensiones de isospn. || corresponde al

angulo de rotacion, y /|| es el eje de rotacion [23]. El caracter no Abeliano del grupo proviene del
hecho de que el producto vectorial en el espacio de isospn es no conmutativo.
Bajo la transformacion (3.225) o su version infinitesimal anterior el Lagrangiano
L = (D ) D m2 .

(3.234)

es invariante gauge local, donde

D = igW = igi Wi
y
W =i Wi
(W )jk = iijk Wi

(3.235)

(W )12 = i312 W3 = iW3

(3.236)

y solo contiene entradas no diagonales.

La ec. (3.171) se mantiene igual

1

W i i + ijk Wj k
g
1

W + W
g

(3.237)

Entonces
D = ( igi Wi )

(D )jk k
(D )jk k
(D )jk k
(D )jk k

= (jk ig(i )jk Wi )k

= (jk gijk Wi )k
= (jk + gjik Wi )k
= jk k + g(W )j

Entonces
Ademas

D = + gW

(3.238)

(D ) = ( + igi Wi )
[(D ) ]j = (jk k + gijk k Wi )

La definicion de W queda

[(D ) ]j = (jk k + gjkik Wi )

(3.239)

(D ) = + g W

(3.240)

W = i Wi
(3.241)

3.7. COMO UN TRIPLETE DE SU(2)

79

con Wi dado por la ec. (3.175)

W = W W + gW W

Sin embargo, debido a la ec. (3.232)

1
1
i
Tr(W W ) = Wi W
8
4
De acuerdo a la ec. (3.176), W transforma como

(3.242)

(3.243)

W (W ) = XW X

(1 + ij j )W (1 ik k )

de modo que

W + ij j W ij W j
i Wi (W ) = i Wi + ij j i Wi ij i Wi j
= (i + ij j i ij i j )Wi
= (i ij [i , j ])Wi

= (i ij (iijk k ))Wi
= i Wi + j ijk k Wi
= i Wi + i j kjiWk
entonces

= i Wi i j jki Wk
(W ) = W

(3.244)

y W transforma como el campo .

El Lagrangiano invariante gauge local es entonces, a partir de la ec. (3.180) que sigue siendo
valida si tenemos en cuanta la nueva traza en ec. (3.243)




L = + ig W W + g 2 W W m2 81 Tr (W W )




= i i + ig i (k )ij Wk j i (k )ij Wk j
i
+ g 2 i (k )ij (l )jm Wk Wl m m2 i i 41 Wi W




= + g i kij Wk j i kij Wk j

i
g 2i kij ljm Wk Wl m m2 41 Wi W




= g i ikj Wk j i ikj Wk j

donde

i
+ g 2 i kij lmj Wk Wl m m2 41 Wi W

(3.245)

i
Wi W
=( Wi Wi + g ijk Wj Wk )( Wi Wi + g ilm Wl Wm )

=( Wi Wi )( Wi Wi )

+ g[ilm ( Wi Wi )Wl Wm + ijk ( Wi Wi )Wj Wk ]

+ g 2 ijk ilm Wj Wk Wl Wm

=( Wi Wi )( Wi Wi ) + 2gijk ( Wi Wi )Wj Wk
+ g 2 ijk ilm Wj Wk Wl Wm

(3.246)

CAPITULO 3. PRINCIPIO GAUGE LOCAL

80
Las ecuaciones de movimiento son


L
L

=0
i
( W )
Wi

(3.247)




1

i
=
W W

( Wi )
4
( Wi ) i
= ( Wi Wi )




1

i
i
2g
ijk ( W W ) Wj Wk
4
( Wi )
= ( Wi Wi )
o
1 n
2g [ijk ( )] Wj Wk
4


1 
= ( Wi Wi ) 2g ijk Wj Wk ijk Wj Wk
4




L
1 

(
W

W
)

2g

W
W

W
W

ijk
ikj
i
i
k
k
j
j
( Wi )
4


1 
= ( Wi Wi ) 2g ijk Wj Wk + ijk Wk Wj
4

= ( Wi Wi ) gijk Wj Wk


= [( W W ) + gW W ]i

Finalmente


L
= Wi = (W )i
i
( W )

(3.248)

De manera que al igual que en el caso Abeliano

i
W W
= 4Wi
( Wi ) i

(3.249)

De otro lado, usando la tecnica, por ejemplo





ilm ( Wi )Wl Wm =
ilm ( Wi )Wl Wm
i
i
W
W




i
Wi

l W
= nim ( Wn )
W + nli ( Wn )W
Wi
Wi
= nim ( Wn )Wm + nli ( Wn )Wl

(3.250)

Tenemos
L

=g [ n nij j ( n ) nij j ] g 2( n inj lmj Wl m + n knj imj Wk m )

i
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
= g [nji n j nji ( n ) j ] g 2 [ n inj (lmj Wl m ) + m imj (knj Wk n )]
i
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
= g( + )i g 2 [inj n (W )j + imj m (W )j ]
i
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)

D W = g(D )

(3.254)

Note que si es real

CAPITULO 3. PRINCIPIO GAUGE LOCAL

82

Este caso corresponde al de una simetra SO(3) [23].

Mientras que las ecuaciones de Maxwell son lineales en A , las ecuaciones (3.253) es no lineal en
W . En usencia de materia ( 0) las ecuaciones de Maxwell se reducen a
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 act

ua 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
~ es el isovector de induccion magnetica. Esto da lugar a la existencia
se sigue que B
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
com
un 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 respetando la invarianza SU(2) U(1)Y . La solucion es Y = 3/2
3.2 Demuestre que la ecuacion de movimiento en ec. (3.94)
+ m2 + ie (A ) + ieA e2 A A = 0
puede escribirse como
(D D m2 ) = 0

(3.258)

es decir, partiendo de la ecuacion de movimento para el campo libre con el reemplazo D .

3.3 A partir del Lagrangiano en ec. (3.131)
3.4 Demuestre que D n = U(D n )
n

D =(UD U )n U

= UD U UD U . . . UD U UD U U
|
{z
}
nfactors

=U(D )

(3.259)

83

3.8. PROBLEMAS
3.5 Muestre que
a)
i2 =

(3.260)

b) el Lagrangiano (3.143) puede escribirse tambien como

m2

L =

(3.261)

pertenecen a la misma representacion de SU(2)4

De modo que y
c) el Lagrangiano (3.143) puede escribirse tambien como
a b m2 ab
a b
L = ab

(3.262)

3.6 Muestre que los terminos de interaccion de 4 campos en la ec.(3.198) incluyen

L e2 + A A

(3.263)

L (gT i Wi + g Y B )(gT iWi + g Y B )

= [(gT 1 W1 + gT 2 W2 ) + gT 3 W3 + g Y B ][(gT 1W1 + gT 2 W2 ) + gT 3W3 + g Y B ]

= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2

+ (gT 1W1 + gT 2 W2 )(gT 3W3 + g Y B ) + (gT 3 W3 + g Y B )(gT 1W1 + gT 2 W2 )]
= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2
+ g 2{T 1 , T 3 }W1 W3 + g 2{T 2 , T 3 }W2 W3 + 2gg T 1 Y W1 B + 2gg T 2 Y W2 B ]
= [(gT 1 W1 + gT 2 W2 )2 + (gT 3W3 + g Y B )2 + 2gg (T 1 W1 + T 2 W2 )Y B ]

(3.264)

Entonces, usando la ec.(3.219)

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)

En SU (2) las representaciones 2 y 2 son equivlantes