Campo de Yang-Mills

Un campo de Yang-Mills es un tipo 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.

Conocimientos adicionales recomendados

8 pasos para limpiar una balanza y 5 soluciones para mantenerla limpia

Guía de técnicas básicas de medición en el laboratorio

¿Cómo garantizar resultados de pesaje exactos cada día?

Historia

En 1954, Yang y Mills^[1] sugierieron 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 lagrangrangiano de la electrodinámica cuántica, donde ahora el grupo de gauge era un grupo no conmutativo.

Formulación matemática

Para construir un campo de Yang-Mills cuyo grupo de gauge $\mathcal{G}_s$ de dimensión m, necesitamos un campo multicomponente $\boldsymbol{\Psi}(\mathbf{x})$ (cuyas componentes $\Psi_i(\mathbf{x})$ suelen ser espinores de Dirac). Todas las componentes del campo están definidas sobre un espacio-tiempo $\mathcal{M}$ :

(1) $\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 $T_g\;$ el campo se transformaría de acuerdo con:

(2) $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:

$g(\mathbf{x})\in \mathcal{G}_s$ es el elemento del grupo de gauge asignado al punto $\mathbf{x} \in \mathcal{M}$ .

$U_{g(\mathbf{x})}$ denota una matriz dada por una representación unitaria del grupo de gauge $\mathcal{G}_s$ .

$\gamma^j(\mathbf{x})$ , son m funciones definidas sobre el espacio-tiempo que parametrizan la transformación local de gauge (diferentes elecciones de esas funciones representan diferentes transformaciones de gauge).

$\boldsymbol\tau_j$ , es una base del álgebra de Lie $\mathfrak{g}_s$ asociada al grupo de gauge $\mathcal{G}_s$ .

Campos bosónicos de Yang-Mills

Los campos de Yang-Mills propiamente dichos son m campos vectoriales o más propiamente 1-formas con valores sobre el álgebra de Lie asociada al grupo de gauge, cada campo bosónico j viene dado por:

(3) $\mathbf{A}^j(\mathbf{x}) = A_\alpha^j\ dx^\alpha\ \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) $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}$

Donde g es un parámetro real llamado constante de acoplamiento. Es sencillo comprobar que se cumplen las leyes de transformación:

(4) $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}$

Para una transformación de gauge infinitesimal $U_g \approx 1-\gamma^j\boldsymbol{\tau_j}$ la última de las expresiones de (4) se reduce a:

(5) $T_g(A_\mu^j) = A_\mu^j + \frac{1}{g}(\part_\mu \gamma^j) + f_{jkl}\gamma^k A_\mu^l$

Donde los coeficientes f_ijk son las constantes de estructura del álgebra de Lie:

(6) $[\boldsymbol{\tau}_i,\boldsymbol{\tau}_j] = f_{ijk}\boldsymbol{\tau}_k$

Lagrangiano de un campo de Yang-Mills

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.

Véase también

Referencias

↑ C. N. Yang & R. L. Mills, Physical Review, 96, 191 (1954).

Categoría: Teoría cuántica de campos

Este articulo se basa en el articulo Campo_de_Yang-Mills publicado en la enciclopedia libre de Wikipedia. El contenido está disponible bajo los términos de la Licencia de GNU Free Documentation License. Véase también en Wikipedia para obtener una lista de autores.