Ver el código de «Campo de Yang-Mills»

[[Archivo:Feynmann Diagram Gluon Radiation.svg|280px|thumb|Esquema perturbativo de [[teoría cuántica de campos|QFT]] para la interacción de un electrón (e) con un quark (q), la <span style="color:#4169E1">línea azul</span> representa un [[campo electromagnético]] (campo de Yang-Mills con simetría [[U(1)]]) y la <span style="color:#3CB371">línea verde</span> un [[cromodinámica cuántica|campo de color]] (campo de Yang-Mills con simetría [[SU(3)]]).]]

Un '''campo de Yang-Mills''' es un tipo de [[campo (física)|campo físico]] usado sobre todo en [[teoría cuántica de campos]] cuyo [[lagrangiano]] tiene la propiedad de ser invariante bajo una [[teoría de campo de gauge|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.

==Historia==
En 1954, [[Chen Ning Yang]] y [[Robert Mills (físico)|Robert Mills]]<ref>C. N. Yang & R. L. Mills, ''Physical Review'', '''96''', 191 (1954).</ref> sugirieron que el principio de invariancia local de fase o [[teoría de campo de gauge|invariancia de gauge]] local no eran compatibles con una teoría de campos local, es decir, que obedeciera los principios relativistas de [[causalidad (física)|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 [[Carga de color|color]].

==Formulación matemática==
Para construir un campo de Yang-Mills cuyo grupo de gauge <math>\mathcal{G}_s</math> de dimensión ''m'', necesitamos un campo multicomponente<math>\boldsymbol{\Psi}(\mathbf{x})</math> (cuyas componentes <math>\Psi_i(\mathbf{x})</math> suelen ser espinores de Dirac). Todas las componentes del campo están definidas sobre un [[espacio-tiempo]] <math>\mathcal{M}</math>:
{{Ecuación|<math>\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} </math>|1|left}}
Bajo una transformación de gauge local <math>T_g\;</math> el campo se transformaría de acuerdo con:  
{{Ecuación|<math>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})</math>|2|left}}
Donde:
:<math>g(\mathbf{x})\in \mathcal{G}_s</math> es el elemento del grupo de gauge asignado al punto <math>\mathbf{x} \in \mathcal{M}</math>.
:<math>U_{g(\mathbf{x})}</math> denota una matriz dada por una [[representación de grupo|representación unitaria]] del grupo de gauge <math>\mathcal{G}_s</math>.
:<math>\gamma^j(\mathbf{x})</math>, son ''m'' funciones definidas sobre el espacio-tiempo <math>\gamma^j:\mathcal{M}\to \R^m</math> que parametrizan la transformación local de gauge (diferentes elecciones de esas funciones representan diferentes transformaciones de gauge).
:<math>\boldsymbol\tau_j</math>, es una base del [[álgebra de Lie]] <math>\mathfrak{g}_s</math> asociada al grupo de gauge <math>\mathcal{G}_s</math>.

===Potenciales de un campos de Yang-Mills===
Los campos de Yang-Mills propiamente dichos, derivan de ''m'' campos vectoriales o más propiamente [[1-forma]]s con valores sobre el álgebra de Lie asociada al grupo de gauge. Estas 1-formas funcionan como el [[potencial vector magnético|potencial vector]] del [[campo electromagnético]]. Cada uno de estos potenciales ''j'' viene dado por:
{{ecuación|
<math>\mathbf{A}^j(\mathbf{x}) = A_\alpha^j\ dx^\alpha, \qquad  A_\alpha^j \in \mathfrak{g}_s</math>
||left}}
Dada la ley de transformación {{Eqnref|2}} es sencillo ver que a partir de estas 1-formas puede definirse un operador diferencial o derivada covariante del campo definda como:
{{ecuación|
<math>D_\mu(\cdot) = ( \part_\mu + igA_\mu^j\boldsymbol{\tau}_j )(\cdot) \qquad \to \qquad D_\mu\boldsymbol{\Psi} = \part_\mu\boldsymbol{\Psi} + igA_\mu^j \boldsymbol{\tau}_j \boldsymbol{\Psi}</math>
|3|left}}
Donde ''g'' es un parámetro real llamado [[constante de acoplamiento]]. Es sencillo comprobar que se cumplen las leyes de transformación:
{{Ecuación|<math>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}(\part_\mu U_g)U_g^{-1}</math>|4|left}}
Para una transformación de gauge infinitesimal <math>U_g \approx 1-\epsilon^j\boldsymbol{\tau_j}</math> la última de las expresiones de {{Eqnref|4}} se reduce a:
{{ecuación|
<math>T_g(A_\mu^j) \approx A_\mu^j + \frac{1}{g}(\part_\mu \epsilon^j) + f_{jkl}\epsilon^k A_\mu^l</math>
|5|left}}
Donde los coeficientes ''f<sub>ijk</sub>'' son las constantes de estructura del álgebra de Lie:
{{ecuación|
<math>[\boldsymbol{\tau}_i,\boldsymbol{\tau}_j] = f_{ijk}\boldsymbol{\tau}_k </math>
|6|left}}

=== 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 (matemática)|conexión]] sobre un [[fibrado principal]]. Concretamente a partir las componentes de la [[forma diferencial|1-forma]] <math>\scriptstyle \mathbf{A}</math> 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 <math>\scriptstyle \mathbf{F}</math> dada por:
{{ecuación|
<math>\mathbf{F} = d\mathbf{A} + \mathbf{A} \land \mathbf{A}, \qquad \bold{A} = A^j_\alpha(x)\boldsymbol{\tau}_j\ dx^\alpha,
\qquad A^j_\alpha \in \R,\ \boldsymbol{\tau}_j\in \mathfrak{g}_s</math>
||left}}
Donde ''d'' es la [[derivada exterior]] y <math>\land</math> es [[producto exterior]] (o producto cuña). Expresado en componentes la relación anterior puede expresarse como:
{{ecuación|
<math>F_{\mu \nu}^a = \part_\mu A_\nu^a -\part_\nu A_\mu^a+gf^{abc}A_\mu^bA_\nu^c</math>
||left}}

===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 abeliano|grupo no abeliano]], el [[lagrangiano]] para dicho campo se toma generalmente como:
{{ecuación|
<math>\ \mathcal{L}_\mathrm{cg} = -\frac{1}{4}\operatorname{Tr}(\bold{F}^2)=- \frac{1}{4}F^{\mu \nu a} F_{\mu \nu}^a </math>
|7|left}}
Donde debe tenerse presente que al ser las magnitudes <math>\scriptstyle F^{\mu \nu a}</math> combinaciones lineales de los generadores del [[álgebra de Lie]] asociada al grupo de gauge del campo, que se obtienen a partir del potencial vector: 
{{ecuación|
<math>F_{\mu \nu}^a = \part_\mu A_\nu^a -\part_\nu A_\mu^a+gf^{abc}A_\mu^bA_\nu^c</math> 
|8|left}}
Este tensor se llama intensidad de campo y a veces, también curvatura del campo, debido a que si se interpreta <math>\scriptstyle A_\mu^a</math> como las componentes de una [[Conexión (matemática)|conexión matemática]] entonces <math>\scriptstyle F_{\mu\nu}^a</math> es la curvatura de dicha conexión, ya que el [[conmutador]] de las derivadas covariantes de gauge:
{{ecuación|
<math>\ [D_\mu, D_\nu] = -ig\boldsymbol\tau^aF_{\mu\nu}^a\,</math>
|9|left}}
Donde naturalmente la derivada covariante anterior se define a partir del vector potencial considerado como [[derivada covariante]], es decir, <math>\scriptstyle D_\mu = \bold{I}\part_\mu - ig \boldsymbol\tau^aA^a_\mu</math>, siendo <math>\scriptstyle \bold I</math> la identidad para el grupo de generadores, <math>\scriptstyle g</math> es la constante de acoplamiento. En cuatro dimensiones, la constante de acoplamiento <math>\scriptstyle g</math> es un número puro. Además para el [[grupo especial unitario]] SU(N) y los índices <math>\scriptstyle a,b,c \in \{1\ldots N^2-1\}</math>

A partir del lagrangiano dado por {{eqnref|7}} se deducen las siguientes ecuaciones de evolución para el campo:
{{ecuación|
<math>\partial^\mu F_{\mu\nu}^a+gf^{abc}A^{\mu b}F_{\mu\nu}^c=0</math>
|10a|left}}
O bien introduciendo la abreviación <math>\scriptstyle F_{\mu\nu}=\boldsymbol\tau^aF^a_{\mu\nu}</math> la ecuación anterior puede reescribirse como:
{{ecuación|
<math>(D^\mu F_{\mu\nu})^a=0\,</math>
|10b|left}}
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]]:
{{ecuación|
<math>\ (D_\mu F_{\nu \kappa})^a+(D_\kappa F_{\mu \nu})^a+(D_\nu F_{\kappa \mu})^a=0.</math>
|11|left}}
Cuando se considera una región del espacio-tiempo donde existen fuentes del campo la ecuación de campo viene dada por:
{{ecuación|
<math>\partial^\mu F_{\mu\nu}^a+gf^{abc}A^{\mu b}F_{\mu\nu}^c=-J_\nu^a .</math>
|12|left}}
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:
{{ecuación|
<math>J^{a}_{\mu} = i\partial_\mu (\boldsymbol\Psi^T \boldsymbol\tau^{a} \boldsymbol\Psi)</math> 
|13|left}}
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:
{{ecuación|
<math>\mathcal{L} = \mathcal{L}_\mathrm{m-c} + \mathcal{L}_\mathrm{cg} =
(\mathcal{L}_\mathrm{m} + \mathcal{L}_\mathrm{int}) + \mathcal{L}_\mathrm{cg} 
</math>
|14|left}}
Siendo:
:<math>\mathcal{L}_\mathrm{m-c}</math>, la parte del lagrangiano que representa la materia (fermiones) y su interacción con el campo de gauge.
:<math>\mathcal{L}_\mathrm{m}, \mathcal{L}_\mathrm{int}</math> son las partes en que el lagrangiano anterior puede descomponerse, la correspondinete a la materia aislada y la correspondiente a la interacción.
:<math>\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</math>
:<math>\boldsymbol\Psi</math> es el campo fermiónico dado por {{eqnref|1}}.
:<math>m\,</math> es la masa del campo fermiónico.

<!-- The relation
Note that the transition between "upper" ("contravariant") and "lower" ("covariant") vector or tensor components is trivial for  ''a'' indices (e.g. <math>\,f^{abc}=f_{abc}</math>), whereas for  μ and ν it is nontrivial, corresponding e.g. to the usual Lorentz signature, <math>\eta_{\mu \nu }={\rm diag}\,(+---)</math>. -->

===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]] [[renormalización|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 <math>\scriptstyle \R</math>. En esta sección consideraremos el campo electromagnético en interacción con sólo un campo fermiónico asociado a los [[electrón|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:
{{ecuación|
<math> \mathcal{L}_m = \boldsymbol{\bar\Psi}
(i\hbar c \boldsymbol\gamma^\mu \part_\mu - m c^2 )\boldsymbol\Psi</math>
||left}} 
Existe una simetría global de este lagrangiano consistente en la transformación:
{{ecuación|
<math>\boldsymbol\Psi' \mapsto e^{i \theta} \boldsymbol\Psi</math>
|a|left}}
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 <math>\scriptstyle \theta</math> de la ecuación {{eqnref|a}} por una función <math>\scriptstyle \theta(\bold{x})</math> que varía de un punto a otro del espacio tiempo. Es obvio que ahora la transformación:
{{ecuación|
<math>\boldsymbol\Psi'(\bold{x}) \mapsto e^{i \theta(\bold{x})} \boldsymbol\Psi(\bold{x})</math>
|b|left}}
No deja invariante el lagrangiano, ya que la derivada de la función <math>\scriptstyle \theta(\bold{x})</math> introduce términos nuevos en el lagrangiano transformado. Sin embargo, si se construye un nuevo lagragiano en el que la derivada ordinaria <math>\part_\mu</math> se reemplaza por la [[derivada covariante]] dada por:
{{ecuación|
<math>\ D_\mu = \partial_\mu - i \frac{e}{\hbar} A_\mu(\bold{x})</math>
||left}}
Se puede lograr un lagranginao que no sólo sea invariante bajo la transformación {{eqnref|a}} sino también bajo la transformación {{eqnref|b}}, este nuevo lagragiano es:
{{ecuación|
<math> \tilde\mathcal{L}_m = \boldsymbol{\bar\Psi}
(i\hbar c \boldsymbol\gamma^\mu D_\mu - m c^2 )\boldsymbol\Psi</math>
||left}} 
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 <math>\scriptstyle A_\mu(\bold{x})</math> con las componentes del [[potencial vector]] el lagrangiano anterior puede reescribirse como:
{{ecuación|
<math>\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}</math>
||left}}
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 [[Principio de acoplamiento mínimo|acoplamiento mínimo]] entre el campo fermiónico y el campo bosónico representada por <math>\scriptstyle \mathcal{L}_\mathrm{int}</math>.
Para obtener una teoría gauge completa se requiere que el lagrangiano incluya términos que describan la dinámica del propio campo <math>\scriptstyle A_\mu(\bold{x})</math>, 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:
{{ecuación|
<math>\mathcal{L}_{\mathrm{QED}} = \tilde\mathcal{L} + \mathcal{L}_{cg} = 
\boldsymbol{\bar\Psi} (i\hbar c \boldsymbol\gamma^\mu D_\mu - m c^2 )\boldsymbol\Psi
- \frac{1}{4 \mu_0}F_{\mu\nu}F^{\mu\nu}</math>
||left}}
Donde <math>\scriptstyle F_{\mu\nu}</math> pueden obtenerse de la relación general:
{{ecuación|
<math>F_{\mu \nu}^a = \part_\mu A_\nu^a-\partial_\nu A_\mu^a + gf^{abc}A_\mu^bA_\nu^c = 
\part_\mu A_\nu^a-\partial_\nu A_\mu^a + 0 = \part_\mu A_\nu -\partial_\nu A_\mu = F_{\mu \nu}
</math>
||left}}
Ya que <math>\scriptstyle f^{abc} = 0</math> por ser U(1) un grupo abeliano, y siendo que para el grupo U(1) es unidimensional se tiene <math>\scriptstyle F_{\mu \nu}^a = F_{\mu \nu}\cdot 1</math>.

=== Campo de color SU(3) ===
{{AP|Cromodinámica cuántica}}
La cromodinámica cuántica se asienta en que los [[quark]]s 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:
{{ecuación|
<math>\bold{q}(\bold{x})=
\begin{Bmatrix} q_r(\bold{x})\\ q_g(\bold{x})\\ q_b(\bold{x}) \end{Bmatrix} \mapsto
\exp({i\alpha_a(\bold{x}) \boldsymbol\tau^a})
\begin{Bmatrix} q_r(\bold{x})\\ q_g(\bold{x})\\ q_b(\bold{x}) \end{Bmatrix}
 </math>
||left}}
Introduciendo la [[derivada covariante]] basada en SU(3) se tiene:
{{ecuación|
<math>D_{\mu}=\partial_{\mu}+ \dot{\imath} g\boldsymbol\tau_a G^a_{\mu}</math>
||left}}
Donde el campo gluónico bajo transformaciones gauge sigue la siguiente ley:
{{ecuación|
<math>G^a_{\mu}\mapsto G^a_{\mu}-\frac{1}{g}\partial_{\mu}\alpha_a-f_{abc}a_bG^c_{\mu}</math>
||left}}
Con todo esto, el lagrangiano de Dirac puede generalizarse al lagrangiano invariante gauge:
{{ecuación|
<math>\mathcal{L}_\mathrm{QCD} =
\bold{\bar{q}} i \boldsymbol\gamma^\mu \part_\mu \bold{q}  - \bold{\bar{q}} m \bold{q}
- g \bold{\bar{q}} \boldsymbol\gamma^\mu \boldsymbol\tau_aG^a_\mu \bold{q}
- \frac{1}{4}G^a_{\mu \nu} G^{\mu \nu}_a</math>
||left}}

=== Campo electrodébil ===
{{AP|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 [[paridad (física)|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:
{{ecuación|
<math>\mathcal{L}_{EW} = \mathcal{L}_{cg} + \mathcal{L}_{fer-cg}</math>
||left}}
donde las dos partes del lagrangino describen los campos gauge bosónicos (<sub>''cg''</sub>) y fermiónicos en interacción con el campo electrodébil (<sub>''fer-cg''</sub>), siendo cada una de estas partes de la forma:
{{ecuación|
<math>\mathcal{L}_{\text{cg}} = \frac{1}{4} W_{\mu \nu} W^{\mu \nu} - \frac{1}{4} B_{\mu \nu} B^{\mu \nu}</math>
<math>\mathcal{L}_{\text{fer-cg}} =
\mathrm{i} \boldsymbol{\bar{\Psi}}_L \boldsymbol\gamma^\mu 
\left ( \part_\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 ( \part_\mu - \frac{g^\prime Y}{4}B_\mu \boldsymbol\tau^3 \right ) \boldsymbol\Psi_R</math>
||left}}
Donde:
:<math>W_{\mu \nu} = \part_\mu W_\nu - \part_\nu W_\mu - g[W_\mu,W_\nu]</math>, está asociada al subgrupo no abeliano.
:<math>W_\mu = -1/{2} W_\mu^a \boldsymbol{\tau}^a</math>
:<math>B_{\mu \nu} = \partial_\mu B_\nu - \partial_\nu B_\mu</math>, es la parte asociada al subgrupo abeliano.
:<math>\langle \boldsymbol{\tau}^1, \boldsymbol{\tau}^2, \boldsymbol{\tau}^3\rangle =
\mathfrak{su}(2)</math>
:<math>W_\mu^a, B_\mu\,</math> son cuatro [[potencial vector|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 [[fibrado]]s 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 de un operador|espectro]] del hamiltoniano es cierto o no que para un campo así:
{{ecuación|
<math>\mu:= \inf \text{Spec}(\hat{H}) \backslash {0} > 0</math>
||left}}
En ese caso la "masa efectiva del campo" sería <math>\scriptstyle m = \mu/c^2</math>. El problema anterior constituye uno de los [[Problemas no resueltos de la matemática|Problemas del Milenio]] que el [[Clay Mathematics Institute|Instituto de Matemáticas Clay]] premia con 1 millón de dólares estadounidenses a quién pueda resolverlo.

==Véase también==
* [[teoría de campo de gauge]]
* [[teoría electrodébil]]
* [[electrodinámica cuántica]]

==Referencias==
{{Listaref}}

{{Control de autoridades}}
[[Categoría:Teoría cuántica de campos|Yang-Mills]]
[[Categoría:Ciencia de 1964]]