Introducción a las Teorı́as Gauge en Teorı́a Cuántica de

Campos

Jesús Sevilla Pérez

Junio 2022 Universidad de Valladolid

Índice general

1. Introducción y Teorema de Noether 2

1.1. Teorı́as Gauge, Partı́culas y el Modelo Estándar . . . . . . . . . . . . . . . . 2
1.2. Teorema de Noether y leyes de conservación . . . . . . . . . . . . . . . . . . 3

2. Introducción a las teorı́as gauge 5

2.1. La Electrodinámica Cuántica como teorı́a gauge . . . . . . . . . . . . . . . . 5
2.2. La interacción nuclear fuerte: Cromodinámica
Cuántica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2.1. Introducción al modelo quark . . . . . . . . . . . . . . . . . . . . . . 7
2.2.2. El álgebra SU (3). Matrices de Gell-Mann. . . . . . . . . . . . . . . . 7
2.2.3. Color y confinamiento . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3. QCD como teorı́a gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3.1. Invariancia global y conservación del color . . . . . . . . . . . . . . . 10
2.3.2. Invariancia gauge SU (3) . . . . . . . . . . . . . . . . . . . . . . . . . 11

3. Formulación General de las Teorı́as Gauge 14

3.1. Teorı́a de Yang-Mills . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.2. Interpretación geométrica del campo de Yang-Mills . . . . . . . . . . . . . . 15

4. Teorı́a Electrodébil como Teorı́a Gauge 17

4.1. La interacción débil sobre leptones . . . . . . . . . . . . . . . . . . . . . . . 17
4.2. Interacción débil gauge con leptones sin masa . . . . . . . . . . . . . . . . . 19
4.3. Invariancia gauge local en la teorı́a electrodébil . . . . . . . . . . . . . . . . . 21
4.4. Ruptura espontánea de la simetrı́a y el mecanismo de Higgs . . . . . . . . . 22
4.5. El mecanismo de Higgs en la Teorı́a Electrodébil. Densidad lagrangiana de la
Teorı́a Electrodébil. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4.6. Conclusión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

1
Capı́tulo 1

Introducción y Teorema de Noether

1.1. Teorı́as Gauge, Partı́culas y el Modelo Estándar

Las teorı́as gauge son un conjunto de teorı́as de campos que, aunque podrı́a parecer res-
tringido, forman la base de las teorı́as vigentes en fı́sica fundamental y de partı́culas. La
electrodinámica cuántica es, hasta la fecha, la teorı́a fı́sica más precisa jamás hecha, y es el
primer y más sencillo caso de teorı́a gauge. Son también teorı́as gauge las que han permitido
dar una formulación elegante y consistente a los modelos fenomenológicos y resultados expe-
rimentales de la terı́a de la interacción débil, llevando incluso a la predicción de corrientes
neutras conservadas asociadas a la misma, y a un nuevo número cuántico para los hadrones:
el encanto. Lo mismo sucede con el modelo quark, cuyos modelos fenomenológicos también
encuentran un fundamento natural como teorı́a gauge.
Sus orı́genes se remontan a 1954, cuando Yang y Mills ofrecieron una primera generalización
del concepto de invariancia gauge [1], clásicamente asociada al electromagnetismo, a el caso
de isospines en interacción, la cual quedarı́a explicada mediante la introducción de un campo
vectorial, el campo de Yang-Mills. Su desarrollo llegarı́a, no obstante, en las próximas décadas,
pues fue en 1967 que Faddeev y Popov [4], y de Witt, desarrollaron un formalismo consistente
para la cuantización de campos de Yang-Mills sin masa. Weinberg [5] y Salam propusieron ese
mismo año, de manera independiente, un modelo gauge capaz de unificar la electrodinámica
cuántica con la teorı́a débil en lo que ahora es conocia como teorı́a electrodébil, integrada en el
modelo estándar. Para ello integraron los bosones intermediarios de ambas interacciones en un
único multiplete de campos de Yang-Mills. El mecanismo previamente propuesto por Higgs y
Kibble para la dotación de masa a bosones por ruptura espontánea de la simetrı́a [3] permitirı́a
además añadirles masa. Ası́, la cuantización del campo de Yang-Mills es aplicada a la ruptura
espontánea de la simetrı́a obteniéndose una teorı́a consistente de bosones masivos tras la
incorporación del campo de Higgs, cuyo bosón asociado fue descubierto experimentalmente
en 2012 por los experimentos de ATLAS y CMS en el LHC [10], tras cuarenta años de
búsqueda.
En el presente trabajo se abordará el concepto de invariancia gauge presente en la electro-
dinámica cuántica (U (1)), y cómo puede utilizarse como axioma para construir la propia
teorı́a. Esta estructura será extendida a un grupo no abeliano, como es SU (3), para cons-
truir la cromodinámica cuántica y, posteriormente, se formalizarán los pasos seguidos para
definir de forma general una teorı́a gauge, ası́ como introducir brevemente su interpretación

2
geométrica. Desde un punto de vista fı́sico, la mayor importancia de estas teorı́as es que
permiten una explicación unificada de todas las interacciones fundamentales, exceptuando la
gravitatoria. Es por ello que el último capı́tulo estará destinado a la construcción de la teorı́a
electrodébil como teorı́a gauge, lo cual llevará además a introducir el concepto de ruptura de
simetrı́a y el mecanismo de Higgs presente en el modelo Estándar.

1.2. Teorema de Noether y leyes de conservación

El teorema de Noether es de enorme importancia en la fı́sica, estableciendo que toda simetrı́a
que deja invariante un sistema implica una conservación. En esta sección se estudiará el
caso de una simetrı́a continua, a saber, la dada por un grupo de Lie. Se considera una
transformación infinitesimal asociada a los parámetros contı́nuos ω r , bajo la cual un campo
ψ(x) experimenta una variación debida al cambio en su forma funcional, ası́ como al cambio
en el sistema de coordenadas x′µ = xµ + δxµ (se asume el convenio de Einstein para ı́ndices
repetidos):

∂ϕr
δϕr ≡ ϕ′r (x′ ) − ϕr (x) = [ϕ′r (x′ ) − ϕr (x′ )] + [ϕr (x′ ) − ϕr (x)] ≡ δ ∗ ϕr (x′ ) + δxβ
∂xβ

Donde δ ∗ ϕr (x′ ) es el cambio en la forma funcional del campo sin considerar la transformación
de las coordenadas, resultando ser un infinitésimo de segundo orden:
 ∂ϕ 
r
δ ∗ ϕr (x′ ) = δ ∗ ϕr (x) + δ ∗ δxβ
∂xβ

A primer orden:
∂ϕr
δϕr (x) = δ ∗ ϕr (x) + δxβ (1.1)
∂xβ
Una transformación de simetrı́a es aquella que deja la forma funcional de la acción invariante.
Z Z
δS = d xδL (x) + δ d4 x L (x) = 0
4

Un análisis menos restrictivo en el que se considera además la variación sobre el borde del
volumen de integración viene dado en las referencias [7].
La variación en la densidad lagrangiana se obtiene análogamente a (1.1):

∂L (x) µ
δL (x) = δ ∗ L (x) + δx
∂xµ
Donde:
 
∂L (x) ∗ α ∂L (x) ∗ ∂L (x) ∗ α ∂L (x) ∗
δ L (x) =
∗
α
δ ϕ + α
α
δ ∂µ ϕ = ∂µ α
δ ϕ + δ ∂µ ϕα
∂ϕ ∂(∂µ ϕ ) ∂(∂µ ϕ ) ∂(∂µ ϕα )
 
∂L (x) ∗ α
= ∂µ δ ϕ
∂(∂µ ϕα )

3
Habiéndose utilizado las ecuaciones de Euler-Lagrange en la segunda igualdad. Por otro lado
se cumple, a primer orden:
δd4 x = ∂λ δxλ d4 x
Poniendo todo en común y sustituyendo en la acción se obtiene, finalmente:
Z  
∂L
δS = d x∂µ4
(δϕ (x) − ∂µ ϕ (x)δx ) + L δx
α α µ µ
∂∂µ ϕα

La transformación infinitesimal de xµ por la acción de un grupo de Lie será combinación

lineal de los generadores Xrµ , siendo los coeficientes asociados los parámetros δω r :

δxµ = Xrµ δω r

Para el caso del campo, la transformación, que podrá realizarse a través de una representación
distinta del mismo grupo, será de la forma:

δϕα (x) = Wβr

α β
ϕ (x)δω r

Esto permite expresar la variación de la acción en términos de los parámetros ω r del grupo:
Z
δA = − d4 x ∂µ Jrµ δω r = 0

De donde se obtiene la conservación de la corriente:

∂L
∂µ Jrµ = 0, Jrµ = (∂ν ϕα Xrν − Wβr
α β
ϕ ) − L Xrµ
∂∂µ ϕα

El anterior resultado es el celebrado teorema de Noether, a partir del cual se obtiene una
carga conservada en el tiempo:
Z Z Z Z
3 0
Q = d xJ , ∂t Q = d x∂t J = − d x∇ · J = − d2 x J · n̂ = 0
3 0 3

Siendo cero la última integral debido a que los campos se anulan en el infinito.

4
Capı́tulo 2

Introducción a las teorı́as gauge

2.1. La Electrodinámica Cuántica como teorı́a gauge

El lagrangiano de la interacción electromagnética con un fermión cargado se obtiene a partir
de la lagrangiana libre:
L0 = ψ̄(x) (iγ µ ∂µ − m) ψ(x)
sustituyendo la derivada parcial ∂µ por la “covariante”Dµ :

∂µ → Dµ = ∂µ + iqAµ (x)

Donde Aµ es el cuadripotencial electromagnético, a partir del cuál se obtienen los campos

eléctrico y magnético. Fı́sicamente el cambio representa la consideración de un nuevo mo-
mento canónico. La densidad lagrangiana resultante es suma de la libre con un nuevo término
de interacción:

L = ψ̄(x) (iγ µ Dµ − m) ψ(x) = L0 − q ψ̄(x)γ µ ψ(x)Aµ (x) ≡ L0 − sµ Aµ

Donde sµ es un cuadrivector que representa la densidad espacial y densidad de corriente de

fermiones en la teorı́a de Dirac, siendo la interacción resultante entre cargas y campo idéntica
a la dada por el electromagnetismo clásico. El sistema completo debe abarcar al propio campo
electromagnético libre, el cual se rige por las leyes de Maxwell, escritas en forma covariante
para el vacı́o:
∂µ F µν = 0, Fµν = ∂µ Aν − ∂ν Aµ
Siendo F µν el llamado tensor de Faraday, el cual es completamente antisimétrico. Estas
ecuaciones son derivables de la lagrangiana:
1
LF = − Fµν F µν (2.1)
4
De cuya cuantización se obtiene el campo fotónico.
De acuerdo a las leyes de Maxwell, la fı́sica observada (los campos eléctrico y magnético)
debe ser invariante bajo transformaciones llamadas gauge, de la forma:

Aµ (x) → A′µ (x) = Aµ (x) + ∂µ f (x)

5
Donde f (x) es una función real diferenciable. Esto implica que la densidad lagrangiana, de
la que se obtienen las ecuaciones del movimiento, debe de ser invariante bajo estas transfor-
maciones. Por sustitución se obtiene que esto sucede únicamente si los campos fermiónicos
se transforman de la forma:
ψ(x) → ψ ′ (x) = ψ(x)e−iqf (x)
(2.2)
ψ̄(x) → ψ̄ ′ (x) = ψ̄(x)eiqf (x)

En general, las transformaciones mostradas para el cuadripotencial Aµ y para los campos

fermiónicos se denominan transformaciones gauge, siendo teorı́as gauge aquellas que per-
manezcan invariantes bajo las mismas. Tales relaciones son de simetrı́a, por la invariancia
de la densidad lagrangiana, y la transformación a la que se someten los campos es repre-
sentación del grupo de Lie unitario U (1), compuesto por los números complejos de módulo
unidad. Dado que el teorema de Noether debe cumplirse, cabe estudiar las corrientes y cargas
conservadas asociada a este tipo de transformaciones.
Se puede considerar, inicialmente, la invariancia bajo una transformación global del tipo:

ψ(x) → ψ ′ (x) = ψ(x)e−iqω

(2.3)
ψ̄(x) → ψ̄ ′ (x) = ψ̄(x)eiqω

Que comprende un caso particular de (2.2). Si ω es un parámetro infinitesimal, la variación

en el campo de Dirac es:
δψ(x) = −iqωψ(x)
Lo cual lleva inmediatemente a la conservación de la corriente:

sµ (x) = q ψ̄(x)γ µ ψ(x)

De donde se obtiene la conservación de la carga eléctrica total:

Z
Q = q d3 xψ † (x)ψ(x)

Siendo la integral sobre la densidad espacial de partı́culas de Dirac. Es por estas leyes de
conservación que las teorı́as asociadas a partı́culas cargadas deben involucrar campos com-
plejos. Cabe destacar que esta invariancia solo es lograda debido a que la derivada covariante
se transforma como el propio campo:

Dµ ψ(x) → e−iqf (x) Dµ ψ(x)

Resulta sorprendente que la invariancia dada por las transformaciones gauge generales es
mucho más restrictiva, ya que impone invariancia bajo transformaciones de tipo local, i.e.
dependientes de cada punto del espacio-tiempo x. Es esta peculiaridad la que destaca a la hora
de buscar leyes fundamentales, pues uno podrı́a invertir el argumentario y deducir la acción
de la interacción electromagnética sobre un conjunto de cargas imponiendo exclusivamente
la simetrı́a bajo U (1) como ley fundamental, y es la extrapolación de este procedimiento al
resto de interacciones fundamentales lo que permite deducir las mismas como interacciones
gauge, variando únicamente el grupo bajo el que se dan las transformaciones.

6
2.2. La interacción nuclear fuerte: Cromodinámica
Cuántica
2.2.1. Introducción al modelo quark
La fı́sica de partı́culas es una rama que se ha desarrollado fundamentalmente a lo largo del
siglo XX. Si bien el electrón fue descubierto por Thomson en 1897, no fue hasta 1911 y
1932 que se descubrieron el protón y el neutrón, respectivamente, que forman los núcleos
atómicos. El catálogo de partı́culas fue poco a poco ampliándose incluyendo positrón, muón,
pión, hasta que en las décadas de los sesenta y setenta el desarrollo de los aceleradores de
partı́culas y sus sistemas de detección llevo al descubrimiento de cientos de partı́culas nuevas.
Para construir un fundamento teórico de la fı́sica subyacente se trataron de clasificar los
distintos procesos de desintegración y scattering asociando números cuánticos a las distintas
partı́culas que debı́an ser conservados en la teorı́a para que ésta reprodujera las colisiones
observadas experimentalmente y prohibiera las no observadas. Además de las ya conocidas
carga eléctrica, paridad y espı́n, se tuvieron que añadir las cantidades escalares número
bariónico B, extrañeza S, bottom B ′ , top T , ası́ como el momento angular isospı́n I.
En 1964 Gell-Mann y Zweig propusieron que todos los hadrones estuvieran formados por
partı́culas verdaderamente fundamentales llamadas quarks, las cuales tendrı́an distintos sa-
bores: up u, down d y stange s, ası́ como sus antipartı́culas ū, d¯ y s̄. Dentro de este modelo
los bariones estarı́an formados por tres quarks, mientras que los mesones estarı́an formados
por parejas quark-antiquark. Los números cuánticos asociados a los quarks permitı́an ası́
construir exitosamente el resto de partı́culas. El problema apareció al tener en cuenta que los
quarks deberı́an ser partı́culas fermiónicas y, como tales, cumplir el principio de exclusión de
Pauli. Esto prohibirı́a la existencia de partı́culas observadas experimentalmente. Para salvar
este problema, se introdujo una nueva propiedad llamada color, cuyos grados de libertad aso-
ciados vendrı́an dados por los estados rojo r, verde g y azul b. Ahora bien, la carga de color,
al igual que los quarks libres, no se ha observado directamente experimentalmente (sı́ que
hay evidencia indirecta), por lo que se añade además la llamada hipótesis de confinamiento,
estableciendo que todos los estados ligados de uniones de quarks deben tener carga de color
neta nula.
Pese a parecer un añadido ad hoc, la carga de color es clave para obtener la interacción fuerte
entre quarks como interacción gauge, pues es ésta la que dota al modelo quark de simetrı́a
SU (3) reproduciendo ası́ las observaciones experimentales, tal y como se verá a continuación.

2.2.2. El álgebra SU (3). Matrices de Gell-Mann.

Al igual que SU (2) (de special unitary) se define como el grupo de matrices unitarias 2×2 con
determinante 1, cuyos generadores son representación de los operadores espı́n 1/2, el grupo
especial unitario SU (3) es el de matrices unitarias 3 × 3 con determinante 1. Como en el
estudio del espı́n, resulta de interés el análisis del álgebra de Lie del grupo, cuyos generadores
resultan ser una generalización de las matrices de Pauli. Veamos que, a excepción de la
identidad, también son de traza nula. Las matrices U (α) ∈ SU (3) se pueden escribir en

7
términos de sus generadores Xa como:

U (α) = eiαa Xa (2.4)

Donde αa es un conjunto de constantes. Considerando una base en la que αa Xa diagonaliza,

es fácil ver que si se toma el determinante de (2.4):

det(U (α)) = eiTr(αa Xa ) = 1

Para que éste sea 1, necesariamente Tr(αa Xa ) = 0.

La base estandar para las matrices hermı́ticas 3 × 3 la forman las llamadas matrices de
Gell-Mann λi :
     
0 1 0 0 −i 0 1 0 0
λ1 =  1 0 0  λ2 =  i 0 0  λ3 =  0 −1 0 
0 0 0 0 0 0 0 0 0
     
0 0 1 0 0 −i 0 0 0
λ4 =  0 0 0  λ5 =  0 0 0  λ6 =  0 0 1 
1 0 0 i 0 0 0 1 0
   
0 0 0 1 0 0
1 
λ7 =  0 0 −i  λ8 = √ 0 1 0 
0 i 0 3 0 0 −2

Se observa que, a excepción de λ8 , están construidas como matrices de Pauli actuando sobre
subespacios de dimensión 2. En particular:
 
σi 0
λi = , i = 1, 2, 3
0 0

Convenientemente, se definen los generadores de SU (3) como:

1
F̂i = λi
2

Dado que las matrices F̂i forman un álgebra de Lie, el conmutador de matrices F̂i se podrá
expresar como una combinación lineal de las mismas, obteniéndose ası́ las constantes de
estructura del grupo fijk : h i
F̂i , F̂j = ifijk F̂k

Las cuales son totalmente antisimétricas (resultado obtenible de la definición de conmutador):

fijk = f[ijk] ⇒ fijk = −fjik = fjki = −fkji = fkij = −fikj

Las constantes de estructura a partir de las cuales se pueden calcular todas utilizando la
propiedad de antisimetrı́a vienen dadas en la Tabla 2.1.

8
 ijk 123 147 156 246 257 354 367 √458 √678
fijk 1 1/2 −1/2 1/2 1/2 1/2 −1/2 3/2 3/2

Cuadro 2.1: Constantes de estructura de SU (3).

2.2.3. Color y confinamiento

Los quarks son partı́culas que poseen otro atributo además de su masa, carga o espı́n: el
color. Ası́, los estados base de los quarks q = u, d, t, b, c, s serán producto tensorial de los
estados asociados al color |χc ⟩ con la parte asociada al resto de números cuánticos |ψ⟩:

|Φ⟩ = |ψ⟩ ⊗ |χc ⟩

Donde los estados (base) de color se representan a través de los espinores:

     
1 0 0
r=  0  g=  1  b=  0 
0 0 1

Dado que el espacio de color es tridimensional, los operadores observables que actúan sobre
los correspondientes estados vendrán representados por matrices hermı́ticas 3 × 3. Las 8
matrices hermı́ticas linealmente independientes que, junto a la matriz identidad, forman base
del espacio de observables son, de hecho, las matrices F̂i . De igual modo que los generadores
del álgebra SU (2) actúan sobre el espacio asociado a los grados de libertad de espı́n como
operadores de espı́n, los operadores F̂i actúan como operadores de color sobre el espacio de
color. Dadas sus constantes de estructura, se observa que las únicas matrices que conmutan
son F̂3 y F̂8 , siendo además r, g y b vectores propios de las mismas.
Si además se consideran estados de varios quarks, el espacio de trabajo pasará a ser el espacio
producto tensorial. Por simplicidad se denota:

χch ≡ |χch ⟩ = |χc1 ⟩|χc2 ⟩ . . . |χch ⟩ ≡ χc1 χc2 . . . χch , χci = r, g, b

El producto tensorial induce la generalización de los operadores F̂i al espacio total según la
ley distributiva (compárese con la acción del operador de espı́n Sz sobre un sistema de dos
partı́culas):    
F̂i χc1 χc2 = F̂i χc1 χc2 + χc1 F̂i χc2
Existe comprobación experimental de la existencia de aniquarks, con cargas de signo contra-
rio: r̄ = −r, ḡ = −g y b̄ = −b.
La teorı́a asi presentada lleva a contradicciones observacionales que únicamente son resueltas
si se satisface la llamada hipótesis de confinamiento anteriormente introducida. Ésta establece
que cualquier partı́cula formada a partir de quarks, esto es, estados ligados entre los mismos,
debe tener carga de color nula:

F̂i χch = 0, i = 1, 2, . . . 8

9
Esto prohibe la existencia de quarks libres q o diquarks qq, mientras que permite combina-
ciones observadas en la experiencia como son q q̄ (mesones) y qqq (bariones). En particular,
los estados de los bariones (combinaciones de tres quarks) se restringen a:

χcB = εijk ri gj bk

La aparición del sı́mbolo εijk conlleva la antisimetrı́a del estado de color. Dado que los quarks
son fermiones, el resto del estado debe de ser simétrico bajo intercambio de partı́culas.
Introducidas estas consideraciones, se verá a continuación como surge una teorı́a consistente
planteando la teorı́a del color (cromodinámica cuántica) como teorı́a gauge.

2.3. QCD como teorı́a gauge

2.3.1. Invariancia global y conservación del color
Resulta intuitivo proponer una densidad lagrangiana para el modelo de quarks que consista
en la suma de lagrangianas de Dirac (son fermiones) asociadas a cada posible quark con cada
posible color. Por ello:

L = ψ̄rf (x) i∂/ − mf ψrf (x) + ψ̄gf (x) i∂/ − mf ψgf (x) + ψbf (x) i∂/ − mf ψbf (x)




(2.5)

La anterior expresión se puede simplificar mediante el uso de notación espinorial:

 f 
ψr (x)  
Ψf (x) =  ψgf (x)  , Ψ̄f (x) = ψ̄rf (x), ψ̄gf (x), ψ̄bf (x)
ψbf (x)

De modo que los campos Ψf agrupan los posibles estados de cada quark. (2.5) se reduce a:

L (x) = Ψ̄f (x) i∂/ − mf Ψf (x)

Si a cada uno de los tres estados de cada quark se le aplicara una transformación global de
fase del tipo (2.3), el lagrangiano (2.5) resultarı́a invariante. Esto implica, al escribirlo en
términos de espinores, invariancia bajo transformaciones SU (3):

Ψf (x) → Ψf ′ (x) = U (α)Ψf (x) ≡ eiαi λi /2 Ψf (x)

Ψ̄f (x) → Ψ̄f ′ (x) = Ψ̄f (x)U † (α) ≡ Ψ̄f (x)e−iαi λi /2

Aplicando el teorema de Noether se obtiene para cada transformación independiente asociada

a un λi , una corriente conservada:
1
Siµ (x) = Ψ̄f (x)γ µ λi Ψf (x) (i = 1, 2, . . . , 8)
2
La carga asociada a dicha corriente es:
Z Z
1
3 0
F̂i ≡ d xSi (x) = d3 xΨf † (x)λi Ψf (x) (i = 1, 2, . . . , 8)
2

10
En particular, para i = 3:
  f 
Z Z  1 0 0 ψr (x)
1 1 
F̂3 = d3 xΨf † (x)λ3 Ψf (x) = d3 x ψrf † (x), ψgf † (x), ψbf † (x)  0 −1 0   ψgf (x) 
2 2
0 0 0 ψbf (x)
Introduciendo además el orden normal requerido para obtener una teorı́a cuantizada:
Z
1 3
h †
f f† f
i
F̂3 = d xN ψr (x)ψr (x) − ψg (x)ψg (x)
2
Si se expanden los campos de acuerdo a la cuantización canónica:
X  mc2 1/2 
−
+
cr (p)ur (p)e−ipx/ℏ + d†r (p)vr (p)eipx/ℏ

ψ(x) = ψ (x) + ψ (x) =
rp
V Ep

Se obtiene, finalmente:
1
1

Nr − N̄r −
F̂3 = Ng − N̄g
2 2
Donde Nc y N̄c son los operadores número de quarks y antiquarks de color c, respectivamente.
Este resultado resulta consistente con los autovalores obtenidos al aplicar el operador Fˆ3 sobre
los estados de color, teniendo en cuenta que:
1 1 1 1
Fˆ3 r = r, Fˆ3 g = − g, Fˆ3 b = 0, Fˆ3 r̄ = − r̄, Fˆ3 ḡ = ḡ, Fˆ3 b̄ = 0
2 2 2 2

2.3.2. Invariancia gauge SU (3)

Al igual que en QED, se espera obtener las interacciones entre quarks de distinto color a partir
de la imposición de invariancia gauge de la lagrangiana, en este caso bajo transformaciones
locales de SU (3):
Ψf (x) → Ψf ′ (x) = exp [igs λj ωj (x)/2] Ψf (x)
Ψ̄f (x) → Ψ̄f ′ (x) = Ψ̄f (x) exp [−igs λj ωj (x)/2]
Siendo ωj (x) funciones reales diferenciables y gs una constante real que dará lugar a la
constante de acoplamiento de la teorı́a.
De nuevo, estas transformaciones no son invariantes bajo la lagrangiana del campo libre, la
cual, para una cantidad infinitesimal ωj (x), se transforma:
1
L0 → L0′ = L0 − gs Ψ̄f (x)λj ∂/ωj (x)Ψf (x)
2
La invariancia se recupera reemplazando la derivada parcial por la derivada covariante:

Dµ Ψf (x) = ∂ µ + igs λj Aµj (x)/2 Ψf (x)

 

Donde se introducen los campos Aµj de modo análogo al caso electromagnético. De este modo
se obtiene el término de interacción LI :
1
Lq (x) = Ψ̄f (x) iD
/ − mf Ψf (x) = L0 + LI ≡ L0 − gs Ψ̄f (x)γµ λj Ψf (x)Aµj (x)
 
2

11
Es necesario que la derivada covariante del campo se transforme igual que lo hace el propio
campo, lo cual impone el tipo de transformación que experimentan los nuevos potenciales
Aµj . En particular, para una transformación infinitesimal:
′
Ψf → Ψf = [1 + igs ω/2] Ψf , ω(x) ≡ λi ωi (x)

Dµ Ψf → [1 + igs ω/2] Dµ Ψf = [1 + igs ω/2] [∂ µ + igs A/2] Ψf , Aµ (x) ≡ λi Aµi (x)

Aµ experimentará una variación:

Aµ → Aµ′ = Aµ + δAµ

De modo que:
Dµ Ψf → [∂ µ + igs Aµ /2 + igs δAµ /2] [1 + igs ω/2] Ψf
Igualando las anteriores transformaciones se obtiene, a primer orden:
1 1
δAµ = −∂ µ ω + igs [ω, Aµ ] = −λj ∂ µ ωj + igs [λj , λk ]ωj Aµk = −λj ∂ µ ωj − gs fijk λi ωj Aµk
2 2
⇒ δAµi (x) = −∂ µ ωi (x) − gs fijk ωj (x)Aµk (x)
A diferencia con el campo electromagnético, no hay conocimiento previo del potencial Aµ y
las ecuaciones que debe satisfacer. Resultarı́a razonable, no obstante, proponer una genera-
lización del campo fotónico libre y del tensor electromagnético (2.1) de la forma:
1
− Fiµv (x)Fiµv (x), Fiµv (x) ≡ ∂ v Aµi (x) − ∂ µ Avi (x)
4
Esta expresión, como consequencia del término [ω, Aµ ] ̸= 0, no es invariante frente a las
nuevas transformaciones gauge. En su lugar, se toma, manteniendo la antisimetrı́a:
1
LG = − Giµv (x)Gµν
i (x), Gµv µv µ v
i (x) ≡ Fi (x) + gs fijk Aj (x)Ak (x)
4
LG representarı́a, en el caso de la cromodinámica cuántica, la lagrangiana libre del campo
gluónico (de masa nula) portador de la interacción fuerte.
La variación de Gµν µ
i bajo transformaciones gauge se induce de la de Aj . Denotando:

1
Gµv = ∂ v Aµ − ∂ µ Av − gs [Aµ , Av ] , Gµν ≡ λi Gµν
i
2
Bajo transformación SU (3):
1 1
δGµν = ∂ v (δAµ ) − ∂ µ (δAv ) − igs [δAµ , Av ] − igs [Aµ , δAv ]
2 2
1 1 1
= igs [ω, ∂ v Aµ − ∂ µ Av ] + gs2 [[ω, Aµ ] , Av ] + gs2 [[Av , ω] , Aµ ]
2 4 4
1 1 1
= igs [ω, ∂ v Aµ − ∂ µ Av ] − gs2 [[Aµ , Av ] , ω] = igs [ω, Gµv ]
2 4 2
1
=⇒ δGµν = igs [ω, Gµv ]
2

12
Donde se ha utilizado la identidad de Jacobi:

[[A, B], C] + [[B, C], A] + [[C, A], B] = 0

Con esto y, dada la propiedad de las matrices λi :

Tr (λi λj ) = 2δij

la cual permite escribir:

1
LG = − Tr (Gµv Gµv )
8
Se demuestra la invariancia gauge de la lagrangiana:
1
δLG = − Tr (δGµν Gµv + Gµv δGµv )
8
1
= − igs Tr {[ω, Gµv ] Gµv + Gµv [ω, Gµv ]}
16
1
= − igs Tr [ω, Gµν Gµv ] = 0
16
Hecho esto, la lagrangiana total será:

L = L0 + LI + LG

El desarrollo teórico anterior fue primeramente desarrollado por C.N. Yang y R.L. Mills
en [1] para campos con simetrı́a SU (2) (biespinores). En particular, para los autoestados de
isoespı́n fuerte en ausencia de interacción electromagnética como serı́an el protón y el neutrón.
Sin embargo, el desarrollo propuesto no encontró respaldo experimental hasta su aplicación
en el modelo de quarks propuesto y, posteriormente, en la formulación de la interacción
electrodébil como teorı́a gauge SU (2) ⊗ U (1), la cual se expondrá más adelante en este
trabajo. En el siguiente capı́tulo se estudiará la formulación matemática general para una
teorı́a con invariancia gauge local.

13
Capı́tulo 3

Formulación General de las Teorı́as

Gauge

3.1. Teorı́a de Yang-Mills

El objeto fundamental del que depende una teorı́a de campos es la densidad lagrangiana:

L = L (Ψ(x), ∂µ Ψ(x))

Un campo de Yang-Mills, o invariante gauge, es aquel al que se le impone invariancia local

bajo un determinado grupo de Lie semisimple y compacto Ω, siendo semisimple si no contiene
un subgrupo normal abeliano. Este grupo es asociado al campo a través un campo vectorial
Aµ (x), llamado potencial, que toma valores en el álgebra del grupo:

Aµ (x) = Aµa (x)λa

Donde λi son los generadores del álgebra del grupo. Los campos Ψ toman valores en el
llamado espacio de cargas o espacio interno, el cual es representación de Ω. Si ω(x) ∈ Ω es
una función del espacio-tiempo que toma valores en el grupo, el campo se transforma bajo
su representación en el espacio de cargas Γ[ω(x)] :

Ψ(x) → Ψω (x) = Γ[ω(x)]Ψ(x)

En general, la derivada parcial del campo ∂µ Ψ(x) no será invariante y, por ello, se debe
considerar en su lugar una derivada covariante, i.e. que se transforme como el campo:

∇µ = ∂µ − Γ (Aµ )

La derivada solo será covariante si el campo Aµ se transforma de acuerdo a:

Aµ (x) → Aωµ (x) = ω(x)Aµ (x)ω −1 (x) + ∂µ ω(x)ω −1 (x)

En términos de transformaciones infinitesimales:

ω(x) = 1 + α(x) = 1 + αa (x)T a

14
Con α(x) un parámetro infinitesimal. La transformación correspondiente dará lugar a:

δAµ = ∂µ α − [Aµ , α]

O, expandiendo componentes:

δAaµ = ∂µ αa − fabc Abµ αc

Mientras que se cumple:

δψ = Γ(α)ψ
En estas condiciones se impone, de manera análoga a la relatividad general de Einstein para
transformaciones bajo cambio de coordenadas, el principio de relatividad: las configuraciones
Ψ(x), Aµ y Ψω (x), Aµω deben describir la misma situación fı́sica. La elección de un sistema
de referencia particular en relatividad general se traduce en este contexto a la elección de un
gauge concreto, impuesto a través de la llamada condición gauge. Las más comunes son:

ΦL ≡ ∂µ Aµ = 0 (gauge de Lorentz)
ΦC ≡ ∂k Ak = 0 (gauge de Coulomb)
ΦH ≡ A0 = 0 (gauge de Hamilton)
ΦA ≡ A3 = 0 (gauge axial)

3.2. Interpretación geométrica del campo de Yang-Mills

La analogı́a entre las teorı́as gauge y la teorı́a de la relatividad general se puede extender para
dar lugar a una elegante interpretación geométrica de las primeras. El papel que desempeñarı́a
el espacio de cargas sobre el espacio-tiempo es análogo al que desempeña el espacio tangente
sobre una variedad diferencial, diferenciándose en que, en una teorı́a cuántica de campos el
espacio interno es el mismo en cada punto del espacio-tiempo. En matemáticas este espacio
es llamado un fibrado, siendo cada copia del mismo sobre el espacio-tiempo una fibra. La
elección de un gauge particular (análoga a la elección de un sistema de referencia) define los
potenciales de Yang-Mills, que actúan como conexión o sı́mbolos de Christoffel y describen,
tal y como se mostrará a continuación, el transporte paralelo.
Dada una curva a lo largo del espacio-tiempo parametrizada por:

xµ = xµ (s)

Entonces se dice que un campo Ψ(x) experimenta transporte paralelo si satisface la ecuación:

dxµ
∇µ Ψ(x)|x=x(s) =0
ds
Esto implica variación nula del campo en la dirección tangencial a la curva. Si se considera
un contorno rectangular infinitesimal de vértices:

(x, x + ∆1 x, x + ∆1 x + ∆2 x, x + ∆2 x)

15
Sobre una variedad diferencial, la variación en los campos por transporte paralelo a lo largo
de tal contorno define la curvatura. En este caso, teniendo en cuenta:

∆1 Ψ(x) = Ψ (x + ∆1 x) − Ψ(x) = ∂µ Ψ∆1 xµ = Γ (Aµ ) Ψ(x)∆1 xµ

Se calcula:
∆12 Ψ(x) = Γ (Gµν ) Ψ (∆1 xµ ∆2 xv − ∆1 xv ∆2 xµ )
Donde se identifica la curvatura con G:

Gµν = ∂v Aµ − ∂µ Aν + [Aµ , Aν ] (3.1)

Éste se transforma (si decimos que Ψ es un vector bajo transformación gauge) como un tensor
bajo transformación gauge:

Gµv (x) → ω(x)Gµv (x)ω −1 (x)

De la ecuación (3.1), se identifica la curvatura como el conmutador de las derivadas covarientes

(tal y como se define en geometrı́a diferencial):

Gµv (x) = [∇µ , ∇v ]

Lo cual lleva, tras considerar la identidad de Jacobi, a la identidad de Bianchi:

∇[σ Gµv] (x) = 0

Esta relación es, para el caso de la electrodinámica, la segunda ecuación de Maxwell de las
escritas en forma covariante, no derivable a partir de un lagrangiano, si no a obtener como
fruto de las propiedades del tensor de Faraday.

16
Capı́tulo 4

Teorı́a Electrodébil como Teorı́a

Gauge

A diferencia de fotones y gluones, los bosones que resultan mediadores de la interacción débil
resultan ser, no solo masivas, sino las partı́culas más masivas detectadas hasta el descubri-
miento del bosón de Higgs. Éstas son los bosones W y el Z 0 , con valores experimentales [8]:

mW = 82 ± 2 GeV/c2 , mZ = 92 ± 2 GeV/c2 (4.1)

Entre otras peculiaridades de la interacción débil se encuentra el hecho de que no conserva
la paridad, debido a que uno de sus términos es un vector de tipo axial; o la existencia
de corrientes conservadas de carga eléctrica neutra. Es por estas particularidades que la
posibilidad de unificar las interacciones electromagnética y débil en una sola teorı́a parecerı́a
inexistente. Sin embargo, la propuesta de la interacción débil como teorı́a guage junto con
el mecanismo de Higgs funciona elegantemente para dar lugar a la teorı́a electrodébil ahora
incorporada dentro del Modelo Estándar.

4.1. La interacción débil sobre leptones

Las corrientes leptónicas que se miden experimentalmente en procesos leptónicos son consis-
tentes con las dadas por las expresiones:
X
Jα (x) = ψ̄l (x)γα (1 − γ5 ) ψvl (x)
l
X
Jα† (x) = ψ̄vl (x)γα (1 − γ5 ) ψl (x)
l

Donde l denota cada lepton cargado y νl su correspondiente neutrino. Cabe destacar la

violación de la conservación de paridad por la interacción débil, explı́cita por el término axial
ψ̄γα γ5 ψ.
La interacción electromagnética sugiere considerar la interacción débil a partir de bosones
análogos a los fotones cumpliendo con un hamiltoniano de interacción:

HI (x) = gW J α† (x)Wα (x) + gW J α (x)Wα† (x)

17
Donde gW es la constante de acoplamiento y Wα el campo de las partı́culas portadoras de la
interacción. Su carácter vectorial lo reafirma como campo bosónico. En cambio, la corriente
J α tiene una componente vectorial y otra axial:
X X
J α (x) = JVα (x) − JAα (x), JVα (x) = ψ̄l (x)γ α ψvl (x), JAα (x) = ψ̄l (x)γ α γ5 ψvl (x)
l l

En el caso de partı́culas sin masa, γ 5 permite escribir los operadores de proyección sobre los
espacios con helicidad definida: 
PR 1
= (1 ± γ5 )
PL 2
Donde PR y PL proyectan sobre estados dextrógiros y levógiros, respectivamente, los cuales
son estados estacionarios para el caso de partı́culas sin masa. Para el caso de partı́culas
masivas, esto se cumplirá únicamente para muy altas energı́as (lı́mite ultrarelativista). Con
esto, se puede escribir:
X 1
Jα (x) = 2 ψ̄lL (x)γα ψvLl (x), ψlL (x) ≡ PL ψl (x) = (1 − γ5 ) ψl (x)
l
2

Debido a que PL es un proyector (PL2 = PL ) y a la anticonmutatividad de las matrices γ:

1 1 1 1 1
γ0 γα (1 − γ5 ) = γ0 γα (1 − γ5 ) (1 − γ5 ) = (−1)2 (1 − γ5 )γ0 γα (1 − γ5 )
2 2 2 2 2
La corriente vuelve a tomar forma vectorial en estos términos, pero únicamente acopla las
componentes levógiras de los leptones a interactuar. Jα puede escribirse de forma más com-
pacta introduciendo el campo levógiro:
 L 
L ψvl (x)
Ψ̄Ll (x) = ψ̄vLl (x), ψ̄lL (x)


Ψl (x) = L ,
ψl (x)

Y las matrices 2 × 2:    
+ 0 1 − 0 0
τ ≡ , τ ≡
0 0 1 0
Que son combinación lineal de las matrices de Pauli τi :
     
± 1 0 1 0 −i 1 0
τ = (τ1 ± iτ2 ) ; τ1 = , τ2 = , τ3 = (4.2)
2 1 0 i 0 0 −1
Se obtienen entonces las corrientes cargadas positiva y negativamente:

Jα (x) = 2Ψ̄Ll (x)γα τ + ΨLl (x), Jα† (x) = 2Ψ̄Ll (x)γα τ − ΨLl (x)

Existe además evidencia experimental de interacción leptónica débil entre partı́culas neutras,
y al respecto uno podrı́a proponer, por completitud, una corriente neutra de la forma:
1
J3α (x) = Ψ̄Ll (x)γ α τ3 ΨLl (x)
2

18
Se comprobará más adelante que esa es, de hecho, la expresión adecuada. Las corrientes
neutras asociadas a la interacción débil fueron propuestas por Bludman [2] en 1958, de las
cuales serı́an mediadores las partı́culas Z 0 . Sin embargo, evidencias de la mediación dada por
el supuesto bosón Z 0 no llegarı́an hasta 1973, años después de la propuesta de la teorı́a elec-
trodébil como teorı́a gauge con ruptura de simetrı́a. Esto es debido a que la interacción débil
neutra suele estar enmascarada por la interacción electromagnética y sus efectos únicamente
se notan a muy altas energı́as.
Volviendo a los bosones W , estos vendrán dados por las ecuaciones de Proca:
□W α (x) + m2W W α (x) = 0, ∂α W α (x) = 0
Éstas son una generalización de las ecuaciones del fotón a bosones masivos, derivables de la
lagrangiana:
1 †
L ′ (x) = − FW αβ 2 † α
αβ (x)FW (x) + mW Wα (x)W (x),
αβ
FW (x) ≡ ∂ β W α (x) − ∂ α W β (x)
2

4.2. Interacción débil gauge con leptones sin masa

Los términos correspondientes a las masas leptónicas en la lagrangiana a estudiar rompen
la invariancia gauge frente a los grupos de simetrı́a observados en la experiencia. Es por
ello que se considera inicialmente una teorı́a con leptones sin masa. La masa se introducirá
posteriormente de acuerdo al mecanismo de Higgs.
Al considerar partı́culas sin masa, los operadores de proyección PR y PL definen sin problemas
la quiralidad de las partı́culas, lo cual permite escribir la lagrangiana:

L0 = i ψ̄l (x)∂/ψl (x) + ψ̄vl (x)∂/ψvl (x)

 

= i ψ̄lL (x)∂/ψlL (x) + ψ̄vLl (x)∂/ψvLl (x) + ψ̄lR (x)∂/ψlR (x) + ψ̄vRl (x)∂/ψvRl (x)
 

Teniendo en cuenta el anteriormente introducido campo levógiro ΨLl (x):

L0 = i Ψ̄Ll (x)∂/ΨLl (x) + ψ̄lR (x)∂/ψlR (x) + ψ̄vRl (x)∂/ψvRl (x)
 

Leptones dextrógiros y levógiros se tratan de modo separado por la asimetrı́a de la interacción

débil (un tratamiento simétrico recuperarı́a invariancia débil bajo paridad). A fin de obtener
isospı́n en la teorı́a, se impone invariancia gauge SU (2), de modo que ΨLl se transforma bajo
la representación dada por las matrices de Pauli τi (4.2). Éstas generan las matrices unitarias
2 × 2 de determinante unidad:
U (α) ≡ exp (iαj τj /2)
De modo que:
′
ΨLl (x) → ΨLl (x) = U (α)ΨLl (x) ≡ exp (iαj τj /2) ΨLl (x)
′
ΨLl (x) → Ψ̄Ll (x) = Ψ̄Ll (x)U † (α) ≡ Ψ̄Ll (x) exp (−iαj τj /2)
La diferencia con los leptones dextrógiros se obtiene al imponer que los últimos se transformen
bajo la representación trivial de SU (2). Se dice entonces que el campo asociado es un isoscalar:
′ ′
ψlR (x) → ψlR (x) = ψlR (x), ψvRl (x) → ψvRl (x) = ψvRl (x)
′ ′
ψ̄lR (x) → ψ̄lR (x) = ψ̄lR (x), ψ̄vRl (x) → ψ̄vRl (x) = ψ̄vRl (x)

19
Aquı́ se observa que introducir un término asociado a la masa de los leptones de la forma
−ml ψ̄l (x)ψl (x) en la lagrangiana romperı́a la invariancia buscada, ya que:
−ml ψ̄l (x)ψl (x) = −ml ψ̄l (x) [PR + PL ] ψl (x) = −ml ψlL (x)ψlR (x) + ψ̄lR (x)ψlL (x)
 

Y mientras que los términos dextrógiros son isoscalares, los levógiros son isospinores.
Las corrientes conservadas como consecuencia de las invariancias globales, de acuerdo al
teorema de Noether, son:
1
Jiα (x) = Ψ̄Ll (x)γ α τi ΨLl (x)
2
Conservando la llamada carga débil de isospı́n:
Z Z
1
W 3 0
Ii = d xJi (x) = d3 xΨL† L
l (x)τi Ψl (x), i = 1, 2, 3
2
Las corrientes observadas experimentalmente se obtienen como combinación lineal de las
anteriores:
J α (x) = 2 [J1α (x) − iJ2α (x)] = ψ̄l (x)γ α (1 − γ5 ) ψvl (x)
J α† (x) = 2 [J1α (x) + iJ2α (x)] = ψ̄vl (x)γ α (1 − γ5 ) ψl (x)
Aparece además una tercera corriente linealmente independiente y con carga eléctrica neutra
(propuesta en la sección anterior):
1 1
J3α (x) = Ψ̄Ll (x)γ α τ3 ΨLl (x) = − ψ̄vLl (x)γ α ψvLl (x) − ψ̄lL (x)γ α ψlL (x)

2 2
A partir de aquı́, se define la corriente de la hipercarga débil como:
1
JYα (x) = −sα (x)/q − J3α (x) = − Ψ̄Ll (x)γ α ΨLl (x) − ψ̄lR (x)γ α ψlR (x) (4.3)
2
Donde sα (x) = q ψ̄l (x)γ α ψl (x) es la corriente eléctrica conservada en la electrodinámica. Las
cargas asociadas a la ecuación anterior darián lugar a:
Z
W
Y = Q/q − I3 , Y = d3 xJY0 (x) (4.4)

Donde Y es la llamada hipercarga débil y Q es la carga eléctrica. Esta relación es análoga a

la fórmula de Gell-Mann-Nishijima para la interacción fuerte. En caso de ser Q una cantidad
conservada, Y lo serı́a también por la conservación de la isocarga débil I3W . En su lugar, Y
puede obtenerse por invariancia global gauge bajo U (1):
ψ(x) → ψ ′ (x) = eiβY ψ(x), ψ̄(x) → ψ̄ ′ (x) = ψ̄(x)e−iβY
Donde Y es la hipercarga débil asociada a cada campo. Se calcula además:
  L   L 
L 1 0 ψvl (x) ψvl (x)
τ3 Ψl (x) = =
0 −1 ψlL (x) −ψlL (x)
Lo cual revela un valor de isospı́n I3W igual a +1/2 para un neutrino levógiro y −1/2 para
un leptón levógiro. Por otro lado, las componentes dextrógiras son isoscalares, por lo que
tendrán asociado isospı́n nulo. Sabiendo esto, la fórmula (4.4) permite obtener la hipercarga
débil de las partı́culas tratadas. Ésta toma valor -1/2 en partı́culas levógiras, -1 en leptones
dextrógiros y 0 en neutrinos dextrógiros.

20
4.3. Invariancia gauge local en la teorı́a electrodébil
La conservación de las cargas asociadas a la interacción débil viene dada por invariancias
globales bajo SU (3) y U (1). Aplicando directamente la teorı́a general de Yang-Mills a las
transformaciones locales bajo SU (2):
′
ΨLl (x) → ΨLl (x) = exp [igτj ωj (x)/2] ΨLl (x)
′
Ψ̄Ll (x) → Ψ̄Ll (x) = Ψ̄Ll (x) exp [−igτj ωj (x)/2]
′ ′
ψlR (x) → ψlR (x) = ψlR (x), ψ̄vRl (x) → ψvRl (x) = ψvRl (x)
′ ′
ψ̄lR (x) → ψ̄lR (x) = ψ̄lR (x), ψ̄vRl (x) → ψ̄vRl (x) = ψ̄vRl (x).

Y a las transformaciones locales bajo U (1):

ψ(x) → ψ ′ (x) = exp [ig ′ Y f (x)] ψ(x)

ψ̄(x) → ψ̄ ′ (x) = ψ̄(x) exp [−ig ′ Y f (x)]

Se obtiene la densidad lagrangiana leptónica:

L L = i Ψ̄Ll (x)DΨ
/ Ll (x) + ψ̄lR (x)Dψ
/ lR (x) + ψ̄vRl (x)Dψ
/ vRl (x)
 
(4.5)

Donde las derivadas covariantes asociadas a cada campo son:

Dµ ΨLl (x) = ∂ µ + igτj Wjµ (x)/2 − ig ′ B µ (x)/2 ΨLl (x)

 

Dµ ψlR (x) = [∂ µ − ig ′ B µ (x)] ψlR (x)

Dµ ψvRl (x) = ∂ µ ψvRl (x)

Donde los campos Wiµ deben ser invariantes bajo U(1) y B µ bajo SU (2). (4.5) puede escribirse
como suma de la densidad lagrangiana libre L0 y la densidad lagrangiana de interacción LI ,
con:
LI = −gJiµ (x)Wiµ (x) − g ′ JYµ (x)Bµ (x)
La cual muestra explı́citamente la interacción entre las corrientes de isospı́n e hipercarga y
los campos bosónicos Wiµ y Bµ , respectivamente.
A fin de escribir el término de interacción en términos de las corrientes cargadas propuestas
al principio del capı́tulo, y poder ası́ interpretar adecuadamente, se introducen los campos
de gauge no hermı́ticos:
1
Wµ (x) = √ [W1µ (x) − iW2µ (x)]
2
De este modo, la interacción de isospı́n toma la forma:
2
X −g 
Jiµ (x)Wiµ (x) = √ J µ† (x)Wµ (x) + J µ (x)Wµ† (x)

−g
i=1
2 2

Por otra parte, la teorı́a presentada contiene las partı́culas que comprende la electrodinámica
cuántica y conserva la carga eléctrica, ası́ como su corriente asociada. Es por ello que la elec-
trodinámica cuántica deberı́a verse contenida en la estructura fundamental de la interacción

21
débil. Con este contexto, el modelo de Glashow-Weinberg-Salam (GWS) propone que los
campos neutros W3 y B se combinen linealmente para formar un campo sin masa Aµ que
diera lugar al fotón y un campo Zµ que contenga toda la masa:

W3µ (x) = cos θW Zµ (x) + sin θW Aµ (x)

Bµ (x) = − sin θW Zµ (x) + cos θW Aµ (x)

Donde θW es el llamado ángulo de mezcla débil, a obtener a partir de la corriente asociada a

la interacción eléctrica. La expresión (4.3) permite escribir las corrientes neutras en términos
de los nuevos campos bosónicos:

g′
− gJ3µ (x)W3µ (x) − g ′ JYµ (x)Bµ (x) = − sµ (x) [− sin θW Zµ (x) + cos θW Aµ (x)]
e
µ
− J3 (x) {g [cos θW Zµ (x) + sin θW Aµ (x)] −g ′ [− sin θW Zµ (x) + cos θW Aµ (x)]}

Para que el campo fotónico se acople a las cargas de la misma forma que la estudiada por
la electrodinámica es necesario que el coeficiente asociado a J3µ (x)Aµ (x) sea nulo, y que el
correspondiente a sµ (x)Aµ (x) sea -1. Esto implica:

g sin θW = g ′ cos θW = e

Lo cual permite eliminar la constante g ′ , obteniéndose ası́ una lagrangiana de interacción

para la interacción débil:
g 
LI = −sµ (x)Aµ (x) − √ J µ† (x)Wµ (x) + J µ (x)Wµ† (x)

2 2
g  µ
J3 (x) − sin2 θW sµ (x)/e Zµ (x)

−
cos θW
Cabe añadir que los bosones portadores de la interacción débil deben, al igual que los leptones,
ser inicialmente considerados sin masa, ya que los términos masivos de la lagrangiana de
Proca:
1
m2W Wµ† (x)W µ (x) + m2Z Zµ (x)Z µ (x)
2
no son invariantes gauge. Este problema será resuelto tras introducir el mecanismo de Higgs.

4.4. Ruptura espontánea de la simetrı́a y el mecanismo

de Higgs
El mecanismo por el que se obtiene una teorı́a gauge con bosones masivos requiere saber
identificar la masa de la partı́cula asociada a una teorı́a. Se considera inicialmente la lagran-
giana:
1 1 1
L = (∂µ ϕ) (∂ µ ϕ) + µ2 ϕ2 − λ2 ϕ4
2 2 4
Donde µ y λ son reales. Sorprenderı́a a primera vista que el signo que esperarı́amos del
término asociado a la masa es el contrario, sugiriendo una masa imaginaria y, por ello, no

22
fı́sica. Sin embargo, el cálculo de Feynman caracterı́sitico de las teorı́as cuánticas de campos
es perturbativo, a realizar a partir del vacı́o (configuración de mı́nima energı́a). En este caso
la densidad de energı́a potencial es:
1 1
U (ϕ) = − µ2 ϕ2 + λ2 ϕ4
2 4
Cuyo mı́nimo, se puede comprobar que es dado por:

ϕ = ±µ/λ

Para el tratamiento perturbativo resulta más apropiado operar con respecto al vacı́o, consi-
derando para ello el nuevo campo:
µ
η ≡ϕ±
λ
Lo que permite escribir la anterior lagrangiana como:
1 1 1 2
2
L = (∂µ η) (∂ µ η) − µ2 η 2 ± µλη 3 − λ2 η 4 + µ /λ
2 4 4
Revelando ası́ la masa correcta de la teorı́a:
√
m= 2µℏ/c

La teorı́a anterior presenta, además, dos estados de mı́nima energı́a. La lagrangiana es par
con respecto a ϕ, pero no ası́ con respecto a η. Esto es lo que se llama ruptura espontánea
de la simetrı́a y sucede con otras teorı́as como:
1 1 1
1
2
L = (∂µ ϕ1 ) (∂ µ ϕ1 ) + (∂µ ϕ2 ) (∂ µ ϕ2 ) + µ2 ϕ21 + ϕ22 − λ2 ϕ21 + ϕ22 (4.6)
2 2 2 4
Con energı́a potencial:
1
1
2
U = − µ2 ϕ21 + ϕ22 + λ2 ϕ21 + ϕ22 (4.7)
2 4
De acuerdo a la simetrı́a bajo SO(2), el conjunto de estados de vacı́o son todos aquellos que
se encuentran en la circunferencia de radio µ/λ:

ϕ21mı́n + ϕ22mı́n = µ2 /λ2

Esto es lo que se muestra en la Figura 4.1. Tomar uno de los vacı́os para aplicar posteriormente
teorı́a perturbativa requiere romper la simetrı́a. Eligiendo, sin pérdida de generalidad:

ϕ1mı́n = µ/λ, ϕ2mı́n = 0

Y definiendo los nuevos campos:

η ≡ ϕ1 − µ/λ, ξ ≡ ϕ2 (4.8)

23
 Figura 4.1: Potencial (4.7) o de sombrero mexicano. Adaptado de [8].

La densidad lagrangiana (4.6) se escribe:

λ2 4
     
1 1
L = µ 2 2 µ 3 2 4 2 2
η + ξ + 2η ξ +µ4 /4λ2


(∂µ η) (∂ η) − µ η + (∂µ ξ) (∂ ξ) + µλ η + ηξ −
2 2 4

De donde se obtienen las masas de los campos de Klein-Gordon η y ξ:

√
mη = 2µ, mξ = 0

Se obtiene ası́ que la ruptura de simetrı́a implica la aparición de una partı́cula escalar sin
masa, éste es el llamado bosón de Goldstone. Esto sucederá para cualquier elección del estado
de vacı́o, ya que la simetrı́a bajo rotaciones implica una dirección sobre la que no habrá
variación en la energı́a potencial. Para sobrepasar este obstáculo, el mecanismo de Higgs
propone romper la simetrı́a tras imponer la invariancia gauge local.
La lagrangiana anterior se puede escribir en forma compleja utilizando:

ϕ ≡ ϕ1 + iϕ2
∗
ϕ ϕ = ϕ21 + ϕ22

Resultando ası́:
1 1 1
L = (∂µ ϕ)∗ (∂ µ ϕ) + µ2 (ϕ∗ ϕ) − λ2 (ϕ∗ ϕ)2
2 2 4
La simetrı́a rotacional se transforma ası́ en invariancia U (1). Si se impone invariancia local
gauge se tiene, tomando derivadas covariantes:
1 1 1 1
L = [(∂µ − iqAµ ) ϕ∗ ] [(∂ µ + iqAµ ) ϕ] + µ2 (ϕ∗ ϕ) − λ2 (ϕ∗ ϕ)2 − F µν Fµν
2 2 4 4

24
Es ahora cuando se debe aplicar la ruptura de la simetrı́a con los nuevos campos (4.8):
     
1 1 1 µν 1  µ 2
L = (∂µ η) (∂ η) − µ η +
µ 2 2 µ
(∂µ ξ) (∂ ξ) + − F Fµν + q Aµ A µ
2 2 4 2 λ
µ  n µ
− 2i q (∂µ ξ) Aµ + q [η (∂µ ξ) − ξ (∂µ η)] Aµ + q 2 η (Aµ Aµ )
λ λ
  2 2
1 2 2 2

µ 3 2

1 2 4 2 2 4

µ
+ q ξ + η (Aµ A ) − λµ η + ηξ − λ η + 2η ξ + ξ +
2 4 2λ
Se obtienen como resultado los mismos bosones η y ξ mas un tercer bosón gauge masivo con:
qµ
mA =
λ
El problema yace ahora en la existencia del bosón sin masa ξ, llamado bosón de Goldstone.
Aparece además el término cruzado:
µ 
−2i q (∂µ ξ) Aµ
λ
Tal término no es fı́sico, pues su diagrama de Feynman corresponde a la transformación
de un bosón ξ en un A, y es consecuencia de una identificación inadecuada de los campos
fundamentales (la forma bilineal que serı́a la lagrangiana libre de los campos no está diago-
nalizada). Afortunadamente, es posible explotar la simetrı́a gauge para extraer el significado
fı́sico. En este caso, se puede aplicar una transformación U (1):

ϕ → ϕ′ = (cos θ + i sin θ) (ϕ1 + iϕ2 ) = (ϕ1 cos θ − ϕ2 sin θ) + i (ϕ1 sin θ + ϕ2 cos θ)

Al escoger el gauge particular:

θ = − tan−1 (ϕ2 /ϕ1 )
El campo resultante ϕ′ es real y, consecuentemente, ξ se anula:
   
1 1 µν 1  qµ 2
L = µ 2 2
(∂µ η) (∂ η) − µ η + − F Fµν + Aµ A µ
2 4 2 λ
   2 2
µ 2 µ 1 2 2 µ 3 1 2 4 µ
+ q η (Aµ A ) + q η (Aµ A ) − λµη − λ η +
λ 2 4 2λ
El mecanismo ası́ explicado une la invariancia gauge y la ruptura espontánea de la simetrı́a
para obtener ası́ bosones masivos portadores de interacción. Es por ello que se utilizará en la
siguiente sección para dar masa a los bosones portadores de la interacción débil.

4.5. El mecanismo de Higgs en la Teorı́a Electrodébil.

Densidad lagrangiana de la Teorı́a Electrodébil.
La densidad lagrangiana de la teorı́a electrodébil a tratar es suma de las densidades leptónica
y bosónica, ambas invariantes bajo SU (2) × U (1):

L = LL +LB

25
El campo de Higgs a introducir deberá romper la simetrı́a SU (2), por lo que será un isospinor:
 
ϕa (x)
Φ(x) = (4.9)
ϕb (x)
Y la densidad lagrangiana pasará a tener un término asociado a este nuevo campo, corres-
pondiente al llamado bosón de Higgs:

L = LL +LB +LH

Donde la generalización del modelo presentado en la sección anterior es inmediata:

2
L H (x) = [Dµ Φ(x)]† [Dµ Φ(x)] + µ2 Φ† (x)Φ(x) − λ2 Φ† (x)Φ(x)


El campo de Higgs (4.9) deberá transformarse bajo SU (2) de la forma:

Φ(x) → Φ′ (x) = exp [igτj ωj (x)/2] Φ(x)

Φ† (x) → Φ†′ (x) = Φ† (x) exp [−igτj ωj (x)/2]

Y bajo U (1):
Φ(x) → Φ′ (x) = exp [ig′ Y f (x)] Φ(x)
Φ† (x) → Φ†′ (x) = Φ† (x) exp [−ig′ Y f (x)]
Donde Y es su hipercarga débil. La derivada covariante actuará consecuentemente:

Dµ Φ(x) = ∂ µ + igτj Wjµ (x)/2 + ig ′ Y B µ (x) Φ(x)

 

La teorı́a perturbativa deberá realizarse a partir del estado de mı́nima energı́a Φ0 (x), cum-
pliendo:
2 2 µ2
Φ†0 Φ0 = ϕ0a + ϕ0b =
2λ
De acuerdo a la notación usual, se toma un origen:
 0    r
ϕa 0√ µ2
Φ0 = 0 = , v=
ϕb v/ 2 λ

A partir del mismo se puede parametrizar Φ(x) como:

 
−1/2 η1 (x) + iη2 (x)
Φ(x) = 2 (4.10)
v + σ(x) + iη3 (x)

A éste se le puede aplicar una transformación gauge SU (2) tal que (4.10) pase a ser de
primera componente nula, para después aplicar una transformación U (1) de modo que el
espinor resultante sea real. El gauge resultante se denomina unitario y en él, Φ se escribe:
 
−1/2 0
Φ(x) = 2
v + σ(x)

26
Las masas de las partı́culas leptónicas se obtienen también por interacción con el bosón de
Higgs, a través de la interacción de Yukawa:

L LH (x) = −gl Ψ̄Ll (x)ψlR (x)Φ(x) + Φ† (x)ψ̄lR (x)ΨLl (x)

 

†
h i
− gvl Ψ̄Ll (x)ψvRl (x)Φ(x)
e + Φ̃ (x)ψ̄vRl (x)ΨLl (x)

Donde se define:
ϕ∗b (x)
 
 †
T
Φ(x)
e = −i Φ (x)τ2 =
−ϕ∗a (x)
Es fácil comprobar que Φ(x)
e y Φ(x) se transforman del mismo modo bajo SU (2), lo cual
resulta en la invariancia bajo gauge de L LH .
La lagrangiana resultante de la teorı́a electrodébil es suma de todas las consideradas:
L ′ (x) = L L (x) + L B (x) + L H (x) + L LH (x)
 1
= i Ψ̄Ll (x)DΨ
/ Ll (x) + ψ̄lR (x)Dψ/ lR (x) + ψ̄vRl (x)Dψ
/ vRl (x) − Bµv (x)B µv (x)

4
1 n
† 2 o
− Giµv (x)Gµv 2 †
µ
 †
i (x) + [D Φ(x)] [D µ Φ(x)] − µ Φ (x)Φ(x) − λ Φ (x)Φ(x)
4
†
h i
†
 L R R L
 L R R L
− g1 Ψ̄l (x)ψl (x)Φ(x) + Φ (x)ψ̄l (x)Ψl (x) − gvl Ψ̄l (x)ψ̄vl (x)Φ(x) + Φ (x)ψ̄vl (x)Ψl (x)
e e
(4.11)
Donde se definen:
B µv (x) ≡ ∂ v B µ (x) − ∂ µ B v (x)
Gµv µv µ v v µ µ v µ v
i (x) ≡ Fi (x) + gεijk Wi (x)Wk (x) ≡ ∂ Wi (x) − ∂ Wi (x) + gεijk Wi (x)Wk (x)

En el gauge unitario, y tras sustituir Wjµ (x) y B µ (x) por W µ (x), W †µ (x), Z µ (x) y Aµ (x), se
obtiene:
1 1 † 1 1
L B + L H = − Fµv F µv − FW µv 2 † µ
µv FW + mW Wµ W − Zµv Z
µv
+ m2Z Zµ Z µ
4 2 4 2
1 µ 1 2 2
+ (∂ σ) (∂µ σ) − mH σ + LIBB + LIHH + LIHB
2 2
Donde:
h    i
LIBB =ig cos θW Wα† Wβ − Wβ† Wα ∂ α Z β + (∂α Wβ − ∂β Wα ) W †β Z α − ∂α Wβ† − ∂β Wα† W β Z α
h    i
+ ie Wα† Wβ − Wβ† Wα ∂ α Aβ + (∂α Wβ − ∂β Wα ) W †β Aα − ∂α Wβ† − ∂β Wα† W β Aα
h i h i
2 2 † α β †β α 2 † α β †β α
+ g cos θW Wα Wβ Z Z − Wβ W Zα Z + e Wα Wβ A A − Wβ W Aα A
h i 1
† α β α β †β
+ eg cos θW Wα Wβ Z A + A Z − 2Wβ W Aα Z + g 2 Wα† Wβ W †α W β − W α W †β
α

 
2
1
LIHH = λσ 4 − λvσ 3
4
1 1 vg 2 g2
LIHB = vg 2 Wα† W α σ + g 2 Wα† W α σ 2 + Zα Z α
σ + Zα Z α σ 2
2 4 4 cos2 θW 8 cos2 θW

27
Donde las masas de los bosones que se revelan tras introducir el campo de Higgs son:
1 p
mW = vg, mZ = mW / cos θW , mH = 2µ2
2
donde: r
µ2
v= , g sin θW = g ′ cos θW = e
λ
Los términos restantes en (4.11) son L L + L LH :

L L + L LH = ψ̄l i∂/ − ml ψl + ψ̄vl i∂/ − mvl ψvl + LILB + LIHL

Con los términos de interacción leptón-bosón LILB y leptón-Higgs LILH :

g 
LILB = eψ̄l γ α ψl Aα − √ ψ̄vl γ α (1 − γ5 ) ψl Wα + ψ̄l γ α (1 − γ5 ) ψvl Wα†

2 2
g g
ψ̄vl γ α (1 − γ5 ) ψvl Zα + ψ̄lγ α 1 − 4 sin2 θW − γ5 ψl Zα


−
4 cos θW 4 cos θW
Donde las masas leptónicas resultan:
√ √
ml = vgl / 2, mvl = vgvl / 2

La teorı́a electrodébil se puede reagrupar alternativamente de la forma (en el gauge unitario):

L = L0 + LI

Con una densidad lagrangiana libre:

L0 =ψ̄l i∂/ − ml ψl + ψ̄vl i∂/ − mvl ψvl

1
− Fµv F µv
4
1 † µv 2 † µ
− FW µv FW + mW Wµ W
2
1 1
− Zµv Z µν + m2Z Zµ Z µ
4 2
1 µ 1
+ (∂ σ) (∂µ σ) − m2H σ 2
2 2
Y otra de interacción:

LI = LILB + LIBB + LIHH + LIHB + LIHL

Cabe destacar que las relaciones establecidas entre los parámetros que definen la teorı́a mos-
trada g, g ′ , µ2 , λ, gl , gvl permiten el cálculo de las masas de los bosones W ± y Z 0 a partir de
las cantidades medidas experimentalmente constante de estructura fina:

α = e2 /4π = 1/137,04

28
La constante de acoplamiento de Fermi:
2
√

gW
G= 2 = 1,16 × 10−5 GeV−2
mW

Y el ángulo de mezcla θW :
sin2 θW = 0,23122 ± 0,00015
Resultando finalmente:
 1/2  1/2
απ 1 απ 2
mW = √ = 77,5 GeV, mZ = √ = 88,4 GeV
G 2 sin θW G 2 sin 2θW

Los anteriores valores numéricos no coinciden con los experimentales (4.1), pero sı́ lo hacen
una vez introducidas las correcciones radiativas, las cuales no son contenido de este trabajo.
Por otro lado, la constante λ se puede obtener de la masa del bosón de Higgs. Recientes
medidas de la colaboración CMS [12] han obtenido una masa de:
p √
mH = 2µ2 = 2λv 2 = 125,35 ± 0,15 GeV

4.6. Conclusión
A lo largo de este trabajo se ha mostrado la importancia que cobran las teorı́as gauge en
cuanto a que permiten una obtención elegante de las leyes de la fı́sica fundamental: partı́culas
y sus interacciones, las cuales se encuentran formando el actual Modelo Estándar. Todo ello
partiendo de la generalización de una idea y procedimiento concisos que combinan la teorı́a
de grupos con la geometrı́a diferencial, aportando una estructura compartida con la teorı́a de
la Relatividad General. Se ha visto además que, a pesar de que las densidades lagrangianas
del modelo estándar pueden resultar exageradamente complicadas, al menos en términos de
los campos asociados a partı́culas fı́sicas, lo cierto es que proporcionan predicciones teóricas
que están en excelente (y milagroso) acuerdo con medidas de muy alta precisión realizadas
en laboratorios de fı́sica de partı́culas en todo el mundo, lo cual es aun más espectacular
teniendo en cuenta las dimensiones que comprenden los procesos fı́sicos en cuestión, tanto en
términos de tamaño como de energı́as puestas en juego.

29
Bibliografı́a

1
C. N. Yang y R. L. Mills, “Conservation of Isotopic Spin and Isotopic Gauge Invariance”,
Phys. Rev. 96, 191-195 (1954).
2
S. A. Bludman, “On the universal fermi interaction”, Il Nuovo Cimento (1955-1965) 9,
433-445 (1958).
3
P. W. Higgs, “Broken Symmetries and the Masses of Gauge Bosons”, Phys. Rev. Lett. 13,
508-509 (1964).
4
L. Faddeev y V. Popov, “Feynman diagrams for the Yang-Mills field”, Physics Letters B
25, 29-30 (1967).
5
S. Weinberg, “A Model of Leptons”, Phys. Rev. Lett. 19, 1264-1266 (1967).
6
H. Georgi, Lie Algebras In Particle Physics: from Isospin To Unified Theories, Frontiers in
Physics (Avalon Publishing, 1999).
7
H. Goldstein, C. Poole y J. Safko, Classical Mechanics (Addison Wesley, 2002).
8
D. Griffiths, Introduction to Elementary Particles, Physics textbook (Wiley, 2008).
9
F. Mandl y G. Shaw, Quantum Field Theory, A Wiley-Interscience publication (Wiley,
2010).
10
G. Aad y col., “Observation of a new particle in the search for the Standard Model Higgs
boson with the ATLAS detector at the LHC”, Physics Letters B 716, 1-29 (2012).
11
L. D. Faddeev, A. A. Slavnov y G. Pontecorvo, Gauge fields: introduction to quantum theory
(CRC Press, 2018).
12
A. Sirunyan y col., “A measurement of the Higgs boson mass in the diphoton decay chan-
nel”, Physics Letters B 805, 135425 (2020).

30