Campo de Yang-Mills

Ir a la navegaci�nIr a la b�squeda

Esquema perturbativo de QFT para la interacci�n de un electr�n (e) con un quark

(q), la l�nea azul representa un campo electromagn�tico (campo de Yang-Mills con
simetr�a U(1)) y la l�nea verde un campo de color (campo de Yang-Mills con simetr�a
SU(3)).
Un campo de Yang-Mills es un tipo de campo f�sico usado sobre todo en teor�a
cu�ntica de campos cuyo lagrangiano tiene la propiedad de ser invariante bajo una
transformaci�n de gauge local. Adem�s, es el centro de la unificaci�n entre la
fuerza electromagn�tica, la fuerza d�bil y la fuerza fuerte.

�ndice
1 Historia
2 Formulaci�n matem�tica
2.1 Potenciales de un campos de Yang-Mills
2.2 Campos de Yang-Mills
2.3 Lagrangiano de un campo de Yang-Mills
2.4 Propiedades de un campo gauge
3 Ejemplos
3.1 Campo electromagn�tico
3.2 Campo de color SU(3)
3.3 Campo electrod�bil
4 Otras aplicaciones
5 V�ase tambi�n
6 Referencias
Historia
En 1954, Chen Ning Yang y Robert Mills1? sugirieron que el principio de invariancia
local de fase o invariancia de gauge local no eran compatibles con una teor�a de
campos local, es decir, que obedeciera los principios relativistas de causalidad.
Es decir cuando, como es com�n, el lagrangiano de un campo tiene alguna simetr�a
interna dada por un grupo de transformaciones de gauge, deber�a ser posible escoger
en cada punto del espacio una transformaci�n de gauge diferente, sin que eso
hiciese que las ecuaciones de la teor�a fueran alteradas. As� Yang y Mills buscaron
la teor�a m�s general de lagrangiano para un campo con invariancia de gauge local.

De hecho la electrodin�mica cu�ntica era ya una teor�a con invariancia de gauge

local, donde el grupo de gauge era precisamente el grupo de Lie U(1). El resultado
del trabajo de Yang y Mills fue una generalizaci�n del lagrangiano de la
electrodin�mica cu�ntica, donde ahora el grupo de gauge era un grupo no
conmutativo. Los gluones de la cromodin�mica cu�ntica vienen descritos por un campo
de Yang-Mills sobre el grupo de Lie no conmutativo SU(3) asociado a la simetr�a de
color.

Formulaci�n matem�tica
Para construir un campo de Yang-Mills cuyo grupo de gauge {\displaystyle {\mathcal
{G}}_{s}} {\displaystyle {\mathcal {G}}_{s}} de dimensi�n m, necesitamos un campo
multicomponente {\displaystyle {\boldsymbol {\Psi }}(\mathbf {x} )} {\displaystyle
{\boldsymbol {\Psi }}(\mathbf {x} )} (cuyas componentes {\displaystyle \Psi _{i}
(\mathbf {x} )} {\displaystyle \Psi _{i}(\mathbf {x} )} suelen ser espinores de
Dirac). Todas las componentes del campo est�n definidas sobre un espacio-tiempo
{\displaystyle {\mathcal {M}}} \mathcal{M}:

(1) {\displaystyle {\boldsymbol {\Psi }}(\mathbf {x} )={\begin{pmatrix}\Psi _{1}

(\mathbf {x} )\\\Psi _{2}(\mathbf {x} )\\\ldots \\\Psi _{n}(\mathbf
{x} )\end{pmatrix}}\qquad \mathbf {x} \in {\mathcal {M}}} {\displaystyle
{\boldsymbol {\Psi }}(\mathbf {x} )={\begin{pmatrix}\Psi _{1}(\mathbf {x} )\\\Psi
_{2}(\mathbf {x} )\\\ldots \\\Psi _{n}(\mathbf {x} )\end{pmatrix}}\qquad \mathbf
{x} \in {\mathcal {M}}}

Bajo una transformaci�n de gauge local {\displaystyle T_{g}\;} {\displaystyle

T_{g}\;} el campo se transformar�a de acuerdo con:

(2) {\displaystyle T_{g}:{\mathcal {T}}_{0}^{1}({\mathcal {M}})^{n}\to {\mathcal

{T}}_{0}^{1}({\mathcal {M}})^{n}\qquad {\boldsymbol {\Psi }}(\mathbf {x} )\mapsto
{\boldsymbol {\Psi }}'(\mathbf {x} )=U_{g(\mathbf {x} )}{\boldsymbol {\Psi }}
(\mathbf {x} )=e^{i\gamma ^{j}(\mathbf {x} ){\boldsymbol {\tau }}_{j}}{\boldsymbol
{\Psi }}(\mathbf {x} )} {\displaystyle T_{g}:{\mathcal {T}}_{0}^{1}({\mathcal
{M}})^{n}\to {\mathcal {T}}_{0}^{1}({\mathcal {M}})^{n}\qquad {\boldsymbol {\Psi }}
(\mathbf {x} )\mapsto {\boldsymbol {\Psi }}'(\mathbf {x} )=U_{g(\mathbf {x} )}
{\boldsymbol {\Psi }}(\mathbf {x} )=e^{i\gamma ^{j}(\mathbf {x} ){\boldsymbol {\tau
}}_{j}}{\boldsymbol {\Psi }}(\mathbf {x} )}

Donde:

{\displaystyle g(\mathbf {x} )\in {\mathcal {G}}_{s}} {\displaystyle g(\mathbf

{x} )\in {\mathcal {G}}_{s}} es el elemento del grupo de gauge asignado al punto
{\displaystyle \mathbf {x} \in {\mathcal {M}}} {\displaystyle \mathbf {x} \in
{\mathcal {M}}}.
{\displaystyle U_{g(\mathbf {x} )}} {\displaystyle U_{g(\mathbf {x} )}} denota una
matriz dada por una representaci�n unitaria del grupo de gauge {\displaystyle
{\mathcal {G}}_{s}} {\displaystyle {\mathcal {G}}_{s}}.
{\displaystyle \gamma ^{j}(\mathbf {x} )} {\displaystyle \gamma ^{j}(\mathbf
{x} )}, son m funciones definidas sobre el espacio-tiempo {\displaystyle \gamma
^{j}:{\mathcal {M}}\to \mathbb {R} ^{m}} {\displaystyle \gamma ^{j}:{\mathcal
{M}}\to \mathbb {R} ^{m}} que parametrizan la transformaci�n local de gauge
(diferentes elecciones de esas funciones representan diferentes transformaciones de
gauge).
{\displaystyle {\boldsymbol {\tau }}_{j}} {\displaystyle {\boldsymbol
{\tau }}_{j}}, es una base del �lgebra de Lie {\displaystyle {\mathfrak {g}}_{s}}
{\displaystyle {\mathfrak {g}}_{s}} asociada al grupo de gauge {\displaystyle
{\mathcal {G}}_{s}} {\displaystyle {\mathcal {G}}_{s}}.
Potenciales de un campos de Yang-Mills
Los campos de Yang-Mills propiamente dichos, derivan de m campos vectoriales o m�s
propiamente 1-formas con valores sobre el �lgebra de Lie asociada al grupo de
gauge. Estas 1-formas funcionan como el potencial vector del campo
electromagn�tico. Cada uno de estos potenciales j viene dado por:

{\displaystyle \mathbf {A} ^{j}(\mathbf {x} )=A_{\alpha }^{j}\ dx^{\alpha },\qquad

A_{\alpha }^{j}\in {\mathfrak {g}}_{s}} {\displaystyle \mathbf {A} ^{j}(\mathbf {x}
)=A_{\alpha }^{j}\ dx^{\alpha },\qquad A_{\alpha }^{j}\in {\mathfrak {g}}_{s}}

Dada la ley de transformaci�n (2) es sencillo ver que a partir de estas 1-formas
puede definirse un operador diferencial o derivada covariante del campo definda
como:

(3) {\displaystyle D_{\mu }(\cdot )=(\partial _{\mu }+igA_{\mu }^{j}{\boldsymbol

{\tau }}_{j})(\cdot )\qquad \to \qquad D_{\mu }{\boldsymbol {\Psi }}=\partial _{\mu
}{\boldsymbol {\Psi }}+igA_{\mu }^{j}{\boldsymbol {\tau }}_{j}{\boldsymbol
{\Psi }}} {\displaystyle D_{\mu }(\cdot )=(\partial _{\mu }+igA_{\mu }^{j}
{\boldsymbol {\tau }}_{j})(\cdot )\qquad \to \qquad D_{\mu }{\boldsymbol
{\Psi }}=\partial _{\mu }{\boldsymbol {\Psi }}+igA_{\mu }^{j}{\boldsymbol
{\tau }}_{j}{\boldsymbol {\Psi }}}

Donde g es un par�metro real llamado constante de acoplamiento. Es sencillo

comprobar que se cumplen las leyes de transformaci�n:
(4) {\displaystyle T_{g}(D_{\mu }{\boldsymbol {\Psi }})=U_{g(\mathbf {x} )}D_{\mu }
{\boldsymbol {\Psi }}\qquad \qquad T_{g}(A_{\mu }^{j}{\boldsymbol
{\tau }}_{j})=U_{g}(A_{\mu }^{j}{\boldsymbol {\tau }}_{j})U_{g}^{-1}+{\frac {i}{g}}
(\partial _{\mu }U_{g})U_{g}^{-1}} {\displaystyle T_{g}(D_{\mu }{\boldsymbol
{\Psi }})=U_{g(\mathbf {x} )}D_{\mu }{\boldsymbol {\Psi }}\qquad \qquad T_{g}
(A_{\mu }^{j}{\boldsymbol {\tau }}_{j})=U_{g}(A_{\mu }^{j}{\boldsymbol
{\tau }}_{j})U_{g}^{-1}+{\frac {i}{g}}(\partial _{\mu }U_{g})U_{g}^{-1}}

Para una transformaci�n de gauge infinitesimal {\displaystyle U_{g}\approx

1-\epsilon ^{j}{\boldsymbol {\tau _{j}}}} {\displaystyle U_{g}\approx 1-\epsilon
^{j}{\boldsymbol {\tau _{j}}}} la �ltima de las expresiones de (4) se reduce a:

(5) {\displaystyle T_{g}(A_{\mu }^{j})\approx A_{\mu }^{j}+{\frac {1}{g}}(\partial

_{\mu }\epsilon ^{j})+f_{jkl}\epsilon ^{k}A_{\mu }^{l}} {\displaystyle T_{g}(A_{\mu
}^{j})\approx A_{\mu }^{j}+{\frac {1}{g}}(\partial _{\mu }\epsilon ^{j})
+f_{jkl}\epsilon ^{k}A_{\mu }^{l}}

Donde los coeficientes fijk son las constantes de estructura del �lgebra de Lie:

(6) {\displaystyle [{\boldsymbol {\tau }}_{i},{\boldsymbol {\tau }}_{j}]=f_{ijk}

{\boldsymbol {\tau }}_{k}} {\displaystyle [{\boldsymbol {\tau }}_{i},{\boldsymbol
{\tau }}_{j}]=f_{ijk}{\boldsymbol {\tau }}_{k}}

Campos de Yang-Mills
Lo que propiamente se denomina campo de Yang-Mills viene dado por un conjunto de
componentes de intensidad de campo que matem�ticamente se obtienen a partir de los
potenciales vectores de la secci�n anterior. Es importante notar que una 1-forma
como las descritas anteriormente puede ser interpretado matem�ticamente como una
conexi�n sobre un fibrado principal. Concretamente a partir las componentes de la
1-forma {\displaystyle \scriptstyle \mathbf {A} } {\displaystyle \scriptstyle
\mathbf {A} } que toma valores en el �lgebra de Lie asociada al grupo de gauge,
pueden calcularse las componentes f�sicas que caracterizan el campo de Yang-Mills
propiamente dicho que matem�ticamente es la 2-forma {\displaystyle \scriptstyle
\mathbf {F} } \scriptstyle {\mathbf {F}} dada por:

{\displaystyle \mathbf {F} =d\mathbf {A} +\mathbf {A} \land \mathbf {A} ,\qquad
{\mathbf {A} }=A_{\alpha }^{j}(x){\boldsymbol {\tau }}_{j}\ dx^{\alpha },\qquad
A_{\alpha }^{j}\in \mathbb {R} ,\ {\boldsymbol {\tau }}_{j}\in {\mathfrak {g}}_{s}}
{\displaystyle \mathbf {F} =d\mathbf {A} +\mathbf {A} \land \mathbf {A} ,\qquad
{\mathbf {A}}=A_{\alpha }^{j}(x){\boldsymbol {\tau }}_{j}\ dx^{\alpha },\qquad
A_{\alpha }^{j}\in \mathbb {R} ,\ {\boldsymbol {\tau }}_{j}\in {\mathfrak {g}}_{s}}

Donde d es la derivada exterior y {\displaystyle \land } \land es producto exterior

(o producto cu�a). Expresado en componentes la relaci�n anterior puede expresarse
como:

{\displaystyle F_{\mu \nu }^{a}=\partial _{\mu }A_{\nu }^{a}-\partial _{\nu }A_{\mu

}^{a}+gf^{abc}A_{\mu }^{b}A_{\nu }^{c}} {\displaystyle F_{\mu \nu }^{a}=\partial
_{\mu }A_{\nu }^{a}-\partial _{\nu }A_{\mu }^{a}+gf^{abc}A_{\mu }^{b}A_{\nu }^{c}}

Lagrangiano de un campo de Yang-Mills

Los campos de Yang-Mills son un caso especial de teor�a de campo de gauge con
simetr�a dada generalmente por un grupo no abeliano, el lagrangiano para dicho
campo se toma generalmente como:

(7) {\displaystyle \ {\mathcal {L}}_{\mathrm {cg} }=-{\frac {1}{4}}\operatorname

{Tr} ({\mathbf {F} }^{2})=-{\frac {1}{4}}F^{\mu \nu a}F_{\mu \nu }^{a}}
{\displaystyle \ {\mathcal {L}}_{\mathrm {cg} }=-{\frac {1}{4}}\operatorname {Tr}
({\mathbf {F}}^{2})=-{\frac {1}{4}}F^{\mu \nu a}F_{\mu \nu }^{a}}
Donde debe tenerse presente que al ser las magnitudes {\displaystyle \scriptstyle
F^{\mu \nu a}} {\displaystyle \scriptstyle F^{\mu \nu a}} combinaciones lineales de
los generadores del �lgebra de Lie asociada al grupo de gauge del campo, que se
obtienen a partir del potencial vector:

(8) {\displaystyle F_{\mu \nu }^{a}=\partial _{\mu }A_{\nu }^{a}-\partial _{\nu }

A_{\mu }^{a}+gf^{abc}A_{\mu }^{b}A_{\nu }^{c}} {\displaystyle F_{\mu \nu }
^{a}=\partial _{\mu }A_{\nu }^{a}-\partial _{\nu }A_{\mu }^{a}+gf^{abc}A_{\mu }
^{b}A_{\nu }^{c}}

Este tensor se llama intensidad de campo y a veces, tambi�n curvatura del campo,
debido a que si se interpreta {\displaystyle \scriptstyle A_{\mu }^{a}}
{\displaystyle \scriptstyle A_{\mu }^{a}} como las componentes de una conexi�n
matem�tica entonces {\displaystyle \scriptstyle F_{\mu \nu }^{a}} {\displaystyle
\scriptstyle F_{\mu \nu }^{a}} es la curvatura de dicha conexi�n, ya que el
conmutador de las derivadas covariantes de gauge:

(9) {\displaystyle \ [D_{\mu },D_{\nu }]=-ig{\boldsymbol {\tau }}^{a}F_{\mu \nu }

^{a}\,} {\displaystyle \ [D_{\mu },D_{\nu }]=-ig{\boldsymbol {\tau }}^{a}F_{\mu \nu
}^{a}\,}

Donde naturalmente la derivada covariante anterior se define a partir del vector

potencial considerado como derivada covariante, es decir, {\displaystyle
\scriptstyle D_{\mu }={\mathbf {I} }\partial _{\mu }-ig{\boldsymbol
{\tau }}^{a}A_{\mu }^{a}} {\displaystyle \scriptstyle D_{\mu }={\mathbf
{I}}\partial _{\mu }-ig{\boldsymbol {\tau }}^{a}A_{\mu }^{a}}, siendo
{\displaystyle \scriptstyle {\mathbf {I} }} {\displaystyle \scriptstyle {\mathbf
{I}}} la identidad para el grupo de generadores, {\displaystyle \scriptstyle g}
{\displaystyle \scriptstyle g} es la constante de acoplamiento. En cuatro
dimensiones, la constante de acoplamiento {\displaystyle \scriptstyle g}
{\displaystyle \scriptstyle g} es un n�mero puro. Adem�s para el grupo especial
unitario SU(N) y los �ndices {\displaystyle \scriptstyle a,b,c\in \{1\ldots N^{2}-
1\}} {\displaystyle \scriptstyle a,b,c\in \{1\ldots N^{2}-1\}}

A partir del lagrangiano dado por (7) se deducen las siguientes ecuaciones de
evoluci�n para el campo:

(10a) {\displaystyle \partial ^{\mu }F_{\mu \nu }^{a}+gf^{abc}A^{\mu b}F_{\mu \nu }

^{c}=0} {\displaystyle \partial ^{\mu }F_{\mu \nu }^{a}+gf^{abc}A^{\mu b}F_{\mu \nu
}^{c}=0}

O bien introduciendo la abreviaci�n {\displaystyle \scriptstyle F_{\mu \nu }

={\boldsymbol {\tau }}^{a}F_{\mu \nu }^{a}} {\displaystyle \scriptstyle F_{\mu
\nu }={\boldsymbol {\tau }}^{a}F_{\mu \nu }^{a}} la ecuaci�n anterior puede
reescribirse como:

(10b) {\displaystyle (D^{\mu }F_{\mu \nu })^{a}=0\,} {\displaystyle (D^{\mu }F_{\mu

\nu })^{a}=0\,}

De la ecuaci�n anterior, se sigue que el campo tiene la propiedad de interactuar

consigo mismo cuando el grupo de gauge no es abeliano, por lo que las ecuaciones de
movimiento en ese caso son semilineales, a diferencia de las del electromagnetismo
cl�sico cuyo grupo de gauge es abeliano. En general debido a la no linealidad las
ecuaciones de movimiento en general s�lo se saben manipular mediante teor�a de
perturbaciones para peque�as desviaciones respecto a la linealidad.

Una propiedad adicional de la intensidad de campo es que al igual que sucede con el
campo electromagn�tico, existe un an�logo de la identidad de Bianchi:
(11) {\displaystyle \ (D_{\mu }F_{\nu \kappa })^{a}+(D_{\kappa }F_{\mu \nu })^{a}+
(D_{\nu }F_{\kappa \mu })^{a}=0.} {\displaystyle \ (D_{\mu }F_{\nu \kappa })^{a}+
(D_{\kappa }F_{\mu \nu })^{a}+(D_{\nu }F_{\kappa \mu })^{a}=0.}

Cuando se considera una regi�n del espacio-tiempo donde existen fuentes del campo
la ecuaci�n de campo viene dada por:

(12) {\displaystyle \partial ^{\mu }F_{\mu \nu }^{a}+gf^{abc}A^{\mu b}F_{\mu \nu }

^{c}=-J_{\nu }^{a}.} {\displaystyle \partial ^{\mu }F_{\mu \nu }^{a}+gf^{abc}A^{\mu
b}F_{\mu \nu }^{c}=-J_{\nu }^{a}.}

N�tese que estas corrientes deben transformarse propiamente bajo transformaciones

gauge del grupo asociado al grupo de simetr�a del campo gauge. Dichas corrientes
vienen dadas en t�rminos de los espinores que definen el campo como:

(13) {\displaystyle J_{\mu }^{a}=i\partial _{\mu }({\boldsymbol {\Psi }}^{T}

{\boldsymbol {\tau }}^{a}{\boldsymbol {\Psi }})} {\displaystyle J_{\mu }
^{a}=i\partial _{\mu }({\boldsymbol {\Psi }}^{T}{\boldsymbol {\tau }}^{a}
{\boldsymbol {\Psi }})}

Cuando se quiere considerar el efecto de interacci�n con la material el lagrangiano

debe ampliarse para describir tanto el campo fermi�nico de part�culas fuente del
campo como la interacci�n entre el campo y su fuente:

(14) {\displaystyle {\mathcal {L}}={\mathcal {L}}_{\mathrm {m-c} }+{\mathcal

{L}}_{\mathrm {cg} }=({\mathcal {L}}_{\mathrm {m} }+{\mathcal {L}}_{\mathrm
{int} })+{\mathcal {L}}_{\mathrm {cg} }} {\displaystyle {\mathcal {L}}={\mathcal
{L}}_{\mathrm {m-c} }+{\mathcal {L}}_{\mathrm {cg} }=({\mathcal {L}}_{\mathrm {m} }
+{\mathcal {L}}_{\mathrm {int} })+{\mathcal {L}}_{\mathrm {cg} }}

Siendo:

{\displaystyle {\mathcal {L}}_{\mathrm {m-c} }} {\displaystyle {\mathcal

{L}}_{\mathrm {m-c} }}, la parte del lagrangiano que representa la materia
(fermiones) y su interacci�n con el campo de gauge.
{\displaystyle {\mathcal {L}}_{\mathrm {m} },{\mathcal {L}}_{\mathrm {int} }}
{\displaystyle {\mathcal {L}}_{\mathrm {m} },{\mathcal {L}}_{\mathrm {int} }} son
las partes en que el lagrangiano anterior puede descomponerse, la correspondinete a
la materia aislada y la correspondiente a la interacci�n.
{\displaystyle {\mathcal {L}}_{\mathrm {m-c} }={\frac {1}{2}}(D_{\mu }{\boldsymbol
{\Psi }})^{T}D^{\mu }{\boldsymbol {\Psi }}-{\frac {1}{2}}m^{2}{\boldsymbol
{\Psi }}^{T}{\boldsymbol {\Psi }}} {\displaystyle {\mathcal {L}}_{\mathrm {m-c} }
={\frac {1}{2}}(D_{\mu }{\boldsymbol {\Psi }})^{T}D^{\mu }{\boldsymbol {\Psi }}-
{\frac {1}{2}}m^{2}{\boldsymbol {\Psi }}^{T}{\boldsymbol {\Psi }}}
{\displaystyle {\boldsymbol {\Psi }}} {\displaystyle {\boldsymbol {\Psi }}} es el
campo fermi�nico dado por (1).
{\displaystyle m\,} m\, es la masa del campo fermi�nico.

Propiedades de un campo gauge

A�n en ausencia de campos fermi�nicos el lagrangiano contiene t�rminos que
representan la interacci�n del campo consigo mismo, lo cual implica que los campos
bos�nicos pueden propagarse en el vac�o. La autointeracci�n adem�s da lugar a
fen�menos de no linealidad que complican la descripci�n de la evoluci�n temporal
del campo.
Ejemplos
Los ejemplos de teor�a cu�ntica de campos renormalizables exitosas son ejemplos de
campos de Yang-Mills, entre ellos est�n la electrodin�mica cu�ntica, que puede
generalizarse al modelo electrod�bil y la cromodin�mica cu�ntica. A continuaci�n se
examinan algunos de estos ejemplos con cierto detalle.

Campo electromagn�tico
El caso m�s simple posible de campo de Yang-Mills es uno cuyo grupo de gauge es
unidimensional y por tanto grupo de gauge conmutativo. El campo electromagn�tico
puede ser visto como un ejemplo de campo de Yang-Mills cuyo grupo de gauge es U(1)
cuya �lgebra de Lie asociada es isomorfa al espacio eucl�deo unidimensional
{\displaystyle \scriptstyle \mathbb {R} } {\displaystyle \scriptstyle \mathbb
{R} }. En esta secci�n consideraremos el campo electromagn�tico en interacci�n con
s�lo un campo fermi�nico asociado a los electrones (naturalmente el ejemplo se
podr�a complicar a�adiendo otros tipos de part�culas cargadas, aunque no se har�
aqu� para no complicar la explicaci�n).

Los electrones libres, sin interacci�n electromagn�tica, pueden ser descritos

esencialmente por la ecuaci�n de Dirac que puede ser derivada del siguiente
lagrangiano de materia:

{\displaystyle {\mathcal {L}}_{m}={\boldsymbol {\bar {\Psi }}}(i\hbar c{\boldsymbol

{\gamma }}^{\mu }\partial _{\mu }-mc^{2}){\boldsymbol {\Psi }}} {\displaystyle
{\mathcal {L}}_{m}={\boldsymbol {\bar {\Psi }}}(i\hbar c{\boldsymbol
{\gamma }}^{\mu }\partial _{\mu }-mc^{2}){\boldsymbol {\Psi }}}

Existe una simetr�a global de este lagrangiano consistente en la transformaci�n:

(a) {\displaystyle {\boldsymbol {\Psi }}'\mapsto e^{i\theta }{\boldsymbol {\Psi }}}

{\displaystyle {\boldsymbol {\Psi }}'\mapsto e^{i\theta }{\boldsymbol {\Psi }}}

Ya que al substituir el nuevo campo el lagrangiano queda inalterado. Esto indica

que U(1) es una simetr�a interna global del lagrangiano.

En una teor�a gauge con simetr�a local U(1), el lagrangiano deber�a seguir siendo
invariante cuando se reemplaza la constante {\displaystyle \scriptstyle \theta }
\scriptstyle \theta de la ecuaci�n (a) por una funci�n {\displaystyle \scriptstyle
\theta ({\mathbf {x} })} {\displaystyle \scriptstyle \theta ({\mathbf {x}})} que
var�a de un punto a otro del espacio tiempo. Es obvio que ahora la transformaci�n:

(b) {\displaystyle {\boldsymbol {\Psi }}'({\mathbf {x} })\mapsto e^{i\theta

({\mathbf {x} })}{\boldsymbol {\Psi }}({\mathbf {x} })} {\displaystyle {\boldsymbol
{\Psi }}'({\mathbf {x}})\mapsto e^{i\theta ({\mathbf {x}})}{\boldsymbol {\Psi }}
({\mathbf {x}})}

No deja invariante el lagrangiano, ya que la derivada de la funci�n

{\displaystyle \scriptstyle \theta ({\mathbf {x} })} {\displaystyle \scriptstyle
\theta ({\mathbf {x}})} introduce t�rminos nuevos en el lagrangiano transformado.
Sin embargo, si se construye un nuevo lagragiano en el que la derivada ordinaria
{\displaystyle \partial _{\mu }} {\displaystyle \partial _{\mu }} se reemplaza por
la derivada covariante dada por:

{\displaystyle \ D_{\mu }=\partial _{\mu }-i{\frac {e}{\hbar }}A_{\mu }({\mathbf

{x} })} {\displaystyle \ D_{\mu }=\partial _{\mu }-i{\frac {e}{\hbar }}A_{\mu }
({\mathbf {x}})}

Se puede lograr un lagranginao que no s�lo sea invariante bajo la transformaci�n

(a) sino tambi�n bajo la transformaci�n (b), este nuevo lagragiano es:

{\displaystyle {\tilde {\mathcal {L}}}_{m}={\boldsymbol {\bar {\Psi }}}(i\hbar

c{\boldsymbol {\gamma }}^{\mu }D_{\mu }-mc^{2}){\boldsymbol {\Psi }}}
{\displaystyle {\tilde {\mathcal {L}}}_{m}={\boldsymbol {\bar {\Psi }}}(i\hbar
c{\boldsymbol {\gamma }}^{\mu }D_{\mu }-mc^{2}){\boldsymbol {\Psi }}}
Si se identifica el par�metro e con la carga el�ctrica usual (este es el origen del
t�rmino en teor�as de gauge), y las funciones {\displaystyle \scriptstyle A_{\mu }
({\mathbf {x} })} {\displaystyle \scriptstyle A_{\mu }({\mathbf {x}})} con las
componentes del potencial vector el lagrangiano anterior puede reescribirse como:

{\displaystyle {\tilde {\mathcal {L}}}_{m}={\mathcal {L}}_{m}+{\mathcal

{L}}_{\mathrm {int} }={\mathcal {L}}_{m}+{\frac {e}{\hbar }}({\boldsymbol {\bar
{\Psi }}}{\boldsymbol {\gamma }}^{\mu }{\boldsymbol {\Psi }})A_{\mu }=J^{\mu }
A_{\mu }} {\displaystyle {\tilde {\mathcal {L}}}_{m}={\mathcal {L}}_{m}+{\mathcal
{L}}_{\mathrm {int} }={\mathcal {L}}_{m}+{\frac {e}{\hbar }}({\boldsymbol {\bar
{\Psi }}}{\boldsymbol {\gamma }}^{\mu }{\boldsymbol {\Psi }})A_{\mu }=J^{\mu }
A_{\mu }}

Es decir, el nuevo lagrangiano invariante gauge local puede ser visto como el
lagrangiano original al que se ha sumado un t�rmino de interacci�n electromagn�tico
adicional. De hecho el principio de requerir que un determinado campo fermi�nico
sea tenga una invariancia gauge local, acaba requiriendo que exista un campo
bos�nico que garantizar� la invariancia local. Esta "receta" de invariancia gauge
conduce a un acoplamiento m�nimo entre el campo fermi�nico y el campo bos�nico
representada por {\displaystyle \scriptstyle {\mathcal {L}}_{\mathrm {int} }}
{\displaystyle \scriptstyle {\mathcal {L}}_{\mathrm {int} }}. Para obtener una
teor�a gauge completa se requiere que el lagrangiano incluya t�rminos que describan
la din�mica del propio campo {\displaystyle \scriptstyle A_{\mu }({\mathbf {x} })}
{\displaystyle \scriptstyle A_{\mu }({\mathbf {x}})}, en el caso de la
electrodin�mica invariante local U(1) el lagrangiano total de la teor�a gauge se
obtiene sum�ndole el lagrangiano de Yang-Mills resultando:

{\displaystyle {\mathcal {L}}_{\mathrm {QED} }={\tilde {\mathcal {L}}}+{\mathcal

{L}}_{cg}={\boldsymbol {\bar {\Psi }}}(i\hbar c{\boldsymbol {\gamma }}^{\mu }D_{\mu
}-mc^{2}){\boldsymbol {\Psi }}-{\frac {1}{4\mu _{0}}}F_{\mu \nu }F^{\mu \nu }}
{\displaystyle {\mathcal {L}}_{\mathrm {QED} }={\tilde {\mathcal {L}}}+{\mathcal
{L}}_{cg}={\boldsymbol {\bar {\Psi }}}(i\hbar c{\boldsymbol {\gamma }}^{\mu }D_{\mu
}-mc^{2}){\boldsymbol {\Psi }}-{\frac {1}{4\mu _{0}}}F_{\mu \nu }F^{\mu \nu }}

Donde {\displaystyle \scriptstyle F_{\mu \nu }} {\displaystyle \scriptstyle

F_{\mu \nu }} pueden obtenerse de la relaci�n general:

{\displaystyle F_{\mu \nu }^{a}=\partial _{\mu }A_{\nu }^{a}-\partial _{\nu }A_{\mu

}^{a}+gf^{abc}A_{\mu }^{b}A_{\nu }^{c}=\partial _{\mu }A_{\nu }^{a}-\partial
_{\nu }A_{\mu }^{a}+0=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }=F_{\mu
\nu }} {\displaystyle F_{\mu \nu }^{a}=\partial _{\mu }A_{\nu }^{a}-\partial
_{\nu }A_{\mu }^{a}+gf^{abc}A_{\mu }^{b}A_{\nu }^{c}=\partial _{\mu }A_{\nu }
^{a}-\partial _{\nu }A_{\mu }^{a}+0=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu
}=F_{\mu \nu }}

Ya que {\displaystyle \scriptstyle f^{abc}=0} {\displaystyle \scriptstyle

f^{abc}=0} por ser U(1) un grupo abeliano, y siendo que para el grupo U(1) es
unidimensional se tiene {\displaystyle \scriptstyle F_{\mu \nu }^{a}=F_{\mu
\nu }\cdot 1} {\displaystyle \scriptstyle F_{\mu \nu }^{a}=F_{\mu \nu }\cdot 1}.

Campo de color SU(3)

Art�culo principal: Cromodin�mica cu�ntica
La cromodin�mica cu�ntica se asienta en que los quarks interaccionan mediante un
campo de Yang-Mills asociado a la carga de color cuya simetr�a gauge viene dada por
SU(3). Considerando tres campos fermi�nicos asociados a quars de tres colores, la
transformaci�n de simetr�a puede escribirse como:

{\displaystyle {\mathbf {q} }({\mathbf {x} })={\begin{Bmatrix}q_{r}({\mathbf

{x} })\\q_{g}({\mathbf {x} })\\q_{b}({\mathbf {x} })\end{Bmatrix}}\mapsto
\exp({i\alpha _{a}({\mathbf {x} }){\boldsymbol {\tau }}^{a}}){\begin{Bmatrix}q_{r}
({\mathbf {x} })\\q_{g}({\mathbf {x} })\\q_{b}({\mathbf {x} })\end{Bmatrix}}}
{\displaystyle {\mathbf {q}}({\mathbf {x}})={\begin{Bmatrix}q_{r}({\mathbf
{x}})\\q_{g}({\mathbf {x}})\\q_{b}({\mathbf {x}})\end{Bmatrix}}\mapsto
\exp({i\alpha _{a}({\mathbf {x}}){\boldsymbol {\tau }}^{a}}){\begin{Bmatrix}q_{r}
({\mathbf {x}})\\q_{g}({\mathbf {x}})\\q_{b}({\mathbf {x}})\end{Bmatrix}}}

Introduciendo la derivada covariante basada en SU(3) se tiene:

{\displaystyle D_{\mu }=\partial _{\mu }+{\dot {\imath }}g{\boldsymbol

{\tau }}_{a}G_{\mu }^{a}} {\displaystyle D_{\mu }=\partial _{\mu }+{\dot
{\imath }}g{\boldsymbol {\tau }}_{a}G_{\mu }^{a}}

Donde el campo glu�nico bajo transformaciones gauge sigue la siguiente ley:

{\displaystyle G_{\mu }^{a}\mapsto G_{\mu }^{a}-{\frac {1}{g}}\partial

_{\mu }\alpha _{a}-f_{abc}a_{b}G_{\mu }^{c}} {\displaystyle G_{\mu }^{a}\mapsto
G_{\mu }^{a}-{\frac {1}{g}}\partial _{\mu }\alpha _{a}-f_{abc}a_{b}G_{\mu }^{c}}

Con todo esto, el lagrangiano de Dirac puede generalizarse al lagrangiano

invariante gauge:

{\displaystyle {\mathcal {L}}_{\mathrm {QCD} }={\mathbf {\bar {q}} }i{\boldsymbol

{\gamma }}^{\mu }\partial _{\mu }{\mathbf {q} }-{\mathbf {\bar {q}} }m{\mathbf
{q} }-g{\mathbf {\bar {q}} }{\boldsymbol {\gamma }}^{\mu }{\boldsymbol
{\tau }}_{a}G_{\mu }^{a}{\mathbf {q} }-{\frac {1}{4}}G_{\mu \nu }^{a}G_{a}^{\mu \nu
}} {\displaystyle {\mathcal {L}}_{\mathrm {QCD} }={\mathbf {\bar {q}}}i{\boldsymbol
{\gamma }}^{\mu }\partial _{\mu }{\mathbf {q}}-{\mathbf {\bar {q}}}m{\mathbf {q}}-
g{\mathbf {\bar {q}}}{\boldsymbol {\gamma }}^{\mu }{\boldsymbol
{\tau }}_{a}G_{\mu }^{a}{\mathbf {q}}-{\frac {1}{4}}G_{\mu \nu }^{a}G_{a}^{\mu
\nu }}

Campo electrod�bil
Art�culo principal: Modelo electrod�bil
El modelo electrod�bil describe la interacci�n de leptones y quarks en interacci�n
a trav�s del campo electrod�bil, es decir, mediante el intercambio de fotones
asociados a la interacci�n electromagn�tica y bosones vectoriales masivios
asociados a la interacci�n d�bil. Naturalmente esta teor�a engloba como caso
particular la electrodin�mica cu�ntica. La peculiaridad del modelo electrod�bil
convencional es que, debido a la observaci�n emp�rica de que la interacci�n d�bil
falta de simetr�a de paridad en la forma de actuaci�n de dichas interacciones,
dicho modelo separa en el lagrangiano la forma en que interaccionan los fermiones
lev�giros de los ferminoes dextr�giros:

{\displaystyle {\mathcal {L}}_{EW}={\mathcal {L}}_{cg}+{\mathcal {L}}_{fer-cg}}

{\displaystyle {\mathcal {L}}_{EW}={\mathcal {L}}_{cg}+{\mathcal {L}}_{fer-cg}}

donde las dos partes del lagrangino describen los campos gauge bos�nicos (cg) y
fermi�nicos en interacci�n con el campo electrod�bil (fer-cg), siendo cada una de
estas partes de la forma:

{\displaystyle {\mathcal {L}}_{\text{cg}}={\frac {1}{4}}W_{\mu \nu }W^{\mu \nu }-

{\frac {1}{4}}B_{\mu \nu }B^{\mu \nu }} {\displaystyle {\mathcal
{L}}_{\text{cg}}={\frac {1}{4}}W_{\mu \nu }W^{\mu \nu }-{\frac {1}{4}}B_{\mu \nu }
B^{\mu \nu }} {\displaystyle {\mathcal {L}}_{\text{fer-cg}}=\mathrm {i}
{\boldsymbol {\bar {\Psi }}}_{L}{\boldsymbol {\gamma }}^{\mu }\left(\partial
_{\mu }-{\frac {g^{\prime }Y}{4}}B_{\mu }{\boldsymbol {\tau }}^{3}-{\frac {g}{4}}
{\boldsymbol {\tau }}^{a}W_{\mu }^{a}\right){\boldsymbol {\Psi }}_{L}+\mathrm {i}
{\boldsymbol {\bar {\Psi }}}_{R}{\boldsymbol {\gamma }}^{\mu }\left(\partial
_{\mu }-{\frac {g^{\prime }Y}{4}}B_{\mu }{\boldsymbol {\tau }}^{3}\right)
{\boldsymbol {\Psi }}_{R}} {\displaystyle {\mathcal {L}}_{\text{fer-cg}}=\mathrm
{i} {\boldsymbol {\bar {\Psi }}}_{L}{\boldsymbol {\gamma }}^{\mu }\left(\partial
_{\mu }-{\frac {g^{\prime }Y}{4}}B_{\mu }{\boldsymbol {\tau }}^{3}-{\frac {g}{4}}
{\boldsymbol {\tau }}^{a}W_{\mu }^{a}\right){\boldsymbol {\Psi }}_{L}+\mathrm {i}
{\boldsymbol {\bar {\Psi }}}_{R}{\boldsymbol {\gamma }}^{\mu }\left(\partial
_{\mu }-{\frac {g^{\prime }Y}{4}}B_{\mu }{\boldsymbol {\tau }}^{3}\right)
{\boldsymbol {\Psi }}_{R}}

Donde:

{\displaystyle W_{\mu \nu }=\partial _{\mu }W_{\nu }-\partial _{\nu }W_{\mu }-

g[W_{\mu },W_{\nu }]} {\displaystyle W_{\mu \nu }=\partial _{\mu }W_{\nu }-\partial
_{\nu }W_{\mu }-g[W_{\mu },W_{\nu }]}, est� asociada al subgrupo no abeliano.
{\displaystyle W_{\mu }=-1/{2}W_{\mu }^{a}{\boldsymbol {\tau }}^{a}} {\displaystyle
W_{\mu }=-1/{2}W_{\mu }^{a}{\boldsymbol {\tau }}^{a}}
{\displaystyle B_{\mu \nu }=\partial _{\mu }B_{\nu }-\partial _{\nu }B_{\mu }}
{\displaystyle B_{\mu \nu }=\partial _{\mu }B_{\nu }-\partial _{\nu }B_{\mu }}, es
la parte asociada al subgrupo abeliano.
{\displaystyle \langle {\boldsymbol {\tau }}^{1},{\boldsymbol {\tau }}^{2},
{\boldsymbol {\tau }}^{3}\rangle ={\mathfrak {su}}(2)} {\displaystyle \langle
{\boldsymbol {\tau }}^{1},{\boldsymbol {\tau }}^{2},{\boldsymbol
{\tau }}^{3}\rangle ={\mathfrak {su}}(2)}
{\displaystyle W_{\mu }^{a},B_{\mu }\,} {\displaystyle W_{\mu }^{a},B_{\mu }\,} son
cuatro potenciales vectores a partir de los cuales pueden obtenerse las componentes
del campo.
El mecanismo por el cual se introduce esa falta de simetr�a es el mecanismo de
ruptura espont�nea de la simetr�a que finalmente comporta que varios bosones
vectoriales de exhiban una masa efectiva, y de ah� que la interacci�n d�bil a
diferencia de la interacci�n electromagn�tica tenga corto alcance (y por tanto a
distancias superiores a distancias nucleares sea totalmente despreciable).

Otras aplicaciones
Los campos de Yang-Mills han estimulado tambi�n resultados fuera de la f�sica,
dentro de la matem�tica han sido usados extensivamente para examinar las
propiedades de fibrados holomorfos poliestables. Y tambi�n a trav�s de la teor�a de
Donaldson se han aplicado a la teor�a de nudos.

Una importante cuesti�n abierta concerniente a las ecuaciones de campo de Yang-

Mills es si dado un hamiltoniano cu�ntico para un campo de Yang-Mills no abeliano
existe un valor positivo m�nimo de la energ�a, es decir, si considerando el
espectro del hamiltoniano es cierto o no que para un campo as�:

{\displaystyle \mu :=\inf {\text{Spec}}({\hat {H}})\backslash {0}>0} {\displaystyle

\mu :=\inf {\text{Spec}}({\hat {H}})\backslash {0}>0}

En ese caso la "masa efectiva del campo" ser�a {\displaystyle \scriptstyle m=\mu
/c^{2}} {\displaystyle \scriptstyle m=\mu /c^{2}}. El problema anterior constituye
uno de los Problemas del Milenio que el Instituto de Matem�ticas Clay premia con 1
mill�n de d�lares estadounidenses a qui�n pueda resolverlo.