# Derivada covariante gauge

La derivada covariante gauge es una generalización de la derivada covariante utilizada en relatividad general. Si una teoría tiene simetrías gauge, significa que algunas de las propiedades físicas de ciertas ecuaciones no se modifican bajo aquellas transformaciones. Así mismo, la derivada covariante gauge es la derivada normal modificada de tal manera que se comporte como un verdadero operador vectorial, de modo que las ecuaciones escritas utilizando la derivada covariante preservan sus propiedades físicas bajo transformaciones gauge.

## Dinámica de fluidos

En dinámica de fluidos, la derivada covariante gauge de un fluido se define como
    $\nabla _{t}\mathbf {v} :=\partial _{t}\mathbf {v} +(\mathbf {v} \cdot \nabla )\mathbf {v}$
donde $\mathbf {v}$ es el campo vectorial de la velocidad de un fluido.

## Teoría gauge

En teoría gauge, que estudia una clase particular de campos que tienen de importancia en la teoría de campos cuánticos, la derivada covariante en acoplamiento mínimo se define como
    $D_{\mu }:=\partial _{\mu }-ieA_{\mu }$
donde $A_{\mu }$ es el cuadrivector de potencial electromagnético.
(Nota que esto es válido para una signatura $(-,+,+,+)$ en la métrica de Minkowski, la que se emplea en este artículo. Para $(+,-,-,-)$ el menos pasa a ser un más.)

### Construcción de la derivada covariante a través del requisito de covarianza gauge

Considerar una transformación gauge genérica (posiblemente no-abeliana) dada por
    $\phi (x)\rightarrow U(x)\phi (x)\equiv e^{i\alpha (x)}\phi (x),$
    $\phi ^{\dagger }(x)\rightarrow \phi ^{\dagger }(x)U^{\dagger }(x)\equiv \phi ^{\dagger }(x)e^{-i\alpha (x)},\qquad U^{\dagger }=U^{-1}.$
donde $\alpha (x)$ es un elemento del álgebra de Lie asociada con el grupo de Lie de transformaciones, y se puede expresar en términos de los generadores como $\alpha (x)=\alpha ^{a}(x)t^{a}$.
La derivada parcial $\partial _{\mu }$ transforma consiguientemente como
    $\partial _{\mu }\phi (x)\rightarrow U(x)\partial _{\mu }\phi (x)+(\partial _{\mu }U)\phi (x)\equiv e^{i\alpha (x)}\partial _{\mu }\phi (x)+i(\partial _{\mu }\alpha )e^{i\alpha (x)}\phi (x)$
y por tanto un término cinético de la forma $\phi ^{\dagger }\partial _{\mu }\phi$ no es invariante bajo esta transformación.
Podemos introducir la derivada covariante $D_{\mu }$ en este contexto como generalización de la derivada parcial $\partial _{\mu }$ que transforma covariantemente bajo la transformación gauge, esto es, un objeto que satisface
    $D_{\mu }\phi (x)\rightarrow D'_{\mu }\phi '(x)=U(x)D_{\mu }\phi (x),$
que en términos de operadores toma la forma
    $D'_{\mu }=U(x)D_{\mu }U^{\dagger }(x).$
Así pues calculamos (omitiendo las dependencias explícitas en $x$ por brevedad)
    $D_{\mu }\phi \rightarrow D'_{\mu }U\phi =UD_{\mu }\phi +(\delta D_{\mu }U+[D_{\mu },U])\phi$,
donde
    $D_{\mu }\rightarrow D'_{\mu }\equiv D_{\mu }+\delta D_{\mu },$
    $A_{\mu }\rightarrow A'_{\mu }=A_{\mu }+\delta A_{\mu }.$
El requisito para que $D_{\mu }$ transforme covariantemente se traduce ahora en la condición
    $(\delta D_{\mu }U+[D_{\mu },U])\phi =0.$
Para obtener una expresión explícita hacemos el Ansatz
    $D_{\mu }=\partial _{\mu }-igA_{\mu },$
de donde se sigue que
    $\delta D_{\mu }\equiv -ig\delta A_{\mu }$
y
    $\delta A_{\mu }=[U,A_{\mu }]U^{\dagger }-{\frac {i}{g}}[\partial _{\mu },U]U^{\dagger }$
que $U(x)=1+i\alpha (x)+{\mathcal {O}}(\alpha ^{2})$ es de la forma
    $\delta A_{\mu }={\frac {1}{g}}([\partial _{\mu },\alpha ]-ig[A_{\mu },\alpha ])+{\mathcal {O}}(\alpha ^{2})={\frac {1}{g}}[D_{\mu },\alpha ]+{\mathcal {O}}(\alpha ^{2})$
Así que hemos encontrado un objeto $D_{\mu }$ tal que
    $\phi ^{\dagger }(x)D_{\mu }\phi (x)\rightarrow \phi '^{\dagger }(x)D'_{\mu }\phi '(x)=\phi ^{\dagger }(x)D_{\mu }\phi (x)$

### Electrodinámica cuántica

Si una transformación gauge está dada por
    $\psi \mapsto e^{i\Lambda }\psi$
y para el potencial gauge
    $A_{\mu }\mapsto A_{\mu }+{1 \over e}(\partial _{\mu }\Lambda )$
entonces $D_{\mu }$ transforma como
    $D_{\mu }\mapsto \partial _{\mu }-ieA_{\mu }-i(\partial _{\mu }\Lambda )$,
y $D_{\mu }\psi$ transforma como
    $D_{\mu }\psi \mapsto e^{i\Lambda }D_{\mu }\psi$
y ${\bar {\psi }}:=\psi ^{\dagger }\gamma ^{0}$ como
    ${\bar {\psi }}\mapsto {\bar {\psi }}e^{-i\Lambda }$
de modo que
    ${\bar {\psi }}D_{\mu }\psi \mapsto {\bar {\psi }}D_{\mu }\psi$
y ${\bar {\psi }}D_{\mu }\psi$ en el lagrangiano de la electrodinámica cuántica es por tanto invariante gauge.
Por otro lado, la derivada no covariante $\partial _{\mu }$ no preservaría la simetría gauge del lagrangiano, ya que
    ${\bar {\psi }}\partial _{\mu }\psi \mapsto {\bar {\psi }}\partial _{\mu }\psi +i{\bar {\psi }}(\partial _{\mu }\Lambda )\psi$.

### Cromodinámica cuántica

En cromodinámica cuántica, la derivada covariante gauge es
    $D_{\mu }:=\partial _{\mu }-ig\,A_{\mu }^{\alpha }\,\lambda _{\alpha }$
donde $g$ es la constante de acoplamiento, $A$ es el campo gauge gluónico, para los ocho gluones diferentes $\alpha =1\dots 8$ , $\psi$ es un espinor de Dirac de cuatro componentes, y $\lambda _{\alpha }$ es una de las ocho matrices de Gell-Mann.

### Modelo estándar

La derivada covariante en el Modelo Estándar puede ser expresada en la forma siguiente:
    $D_{\mu }:=\partial _{\mu }-i{\frac {g_{1}}{2}}\,Y\,B_{\mu }-i{\frac {g_{2}}{2}}\,\sigma _{j}\,W_{\mu }^{j}-i{\frac {g_{3}}{2}}\,\lambda _{\alpha }\,G_{\mu }^{\alpha }$
    donde $Y$ es la hipercarga, $B_{\mu }$ el bosón gauge del grupo $U(1)_{Y}$, $\sigma _{j}$ las matrices de Pauli, $W_{\mu }^{j}$ los bosones gauge del grupo quiral $SU(2)_{L}$ (véase modelo electrodébil), $\lambda _{\alpha }$ las matrices de Gell-Mann, $G_{\mu }^{\alpha }$ los gluones y $g_{1}$, $g_{2}$ y $g_{3}$ las correspondientes constantes de acoplamiento.