Teoría de campo de gauge

En física, una teoría de campo gauge (o teoría de gauge, teoría de recalibración, teoría de la medida o teoría de calibres) es un tipo de teoría cuántica de campos que se basa en el hecho de que la interacción entre fermiones puede ser vista como el resultado de introducir transformaciones "locales" pertenecientes al grupo de simetría interna en el que se base la teoría gauge. Así los campos de gauge aparecen como efectos físicos de la descompensación de recalibración en diferentes puntos del espacio, el hecho de la conexión de gauge varíe localmente de un punto a otro del espacio, es percibida como la presencia de un campo físico.

Las teorías de gauge se discuten generalmente en el lenguaje matemático de la geometría diferencial e involucran el uso de transformaciones de gauge. Una transformación de gauge es una transformación de algún grado de libertad interno, que no modifica ninguna propiedad observable física. 
Usualmente, un  campo gauge se modeliza como un campo de Yang-Mills asociado a las transformaciones de gauge que forman un grupo de gauge compacto. La teoría resultante proporciona un conjunto de ecuaciones que describe la interacción física entre diferentes campos fermiónicos sensibles a la interacción con el campo de Yang-Mills. Por ejemplo, el campo electromagnético es un campo de gauge que describe el modo de interactuar de fermiones dotados con carga eléctrica y el campo de gauge asociado son transformaciones gauge que involucran un cambio de fase, que colectivamene pueden ser representadas por el grupo de gauge U(1).

Introducción 
En física, las teorías extensamente aceptadas del modelo estándar son teorías de campo de gauge. Esto significa que los campos en el modelo estándar exhiben alguna simetría interna abstracta conocida como invariancia de gauge. La invariancia gauge significa que el lagrangiano que describe el campo es invariante bajo la acción de un grupo de Lie que se aplica sobre las componentes de los campos. Cuando se aplica la misma transformación a todos los puntos del espacio, se dice que la teoría tiene invariancia gauge global. Las teorías de gauge usan lagrangianos, tales que en cada punto del espacio es posible aplicar transformaciones o "rotaciones" ligeramente diferentes y aun así el lagrangiano es invariante, en ese caso se dice que el lagrangiano presenta también invariancia de gauge local. Es decir, un lagrangiano con simetría gauge local permite escoger ciertos grados de libertad internos de una manera en una región del espacio y de otra en otra región del espacio suficientemente alejada sin afectar a la primera región. La posibilidad de que un lagrangiano admita esta transformación más general puede ser visto como una versión generalizada del principio de equivalencia de la teoría de la relatividad general.

Desde el punto de vista físico, los campos de gauge se manifiestan físicamente en forma de partículas bosónicas sin masa (bosones gauge), por lo que se dice que todos los campos de gauge son mediados por el grupo de bosones de gauge sin masa de la teoría.

Formulación matemática 
Para formular una teoría de campo gauge es necesario que la dinámica de los campos fermiónicos de la teoría venga descrita por un lagrangiano que tenga alguna simetría interna "local" dada por un grupo de Lie, llamado grupo de transformaciones de gauge. Así pues, al "rotar" algo en cierta región, no se determina cómo los objetos rotan en otras regiones (se usa el término "rotar" porque los grupos de gauge más frecuentes son SU(2) y SU(3) que son generalizaciones del grupo de rotaciones ordinarias). Físicamente una transformación de gauge es una transformación de algún grado de libertad que no modifica ninguna propiedad física observable. Las dos características formales que hacen de un campo un campo gauge son:
 Los campos gauge aparecen en el lagrangiano que rige la dinámica del campo en forma de conexión, por tanto, matemáticamente están asociadas a 1-formas que toman valores sobre una cierta álgebra de Lie.
 El campo de gauge puede ser visto como el resultado de aplicar a diferentes puntos del espacio diferentes transformaciones dentro del grupo de simetría asociado a los campos fermiónicos de la teoría.

Mecanismo de Higgs 
Aunque en el modelo estándar todas las interacciones o fuerzas básicas exhiben algún tipo de simetría de gauge, esta simetría no es siempre obvia en los estados observados. A veces, especialmente cuando la temperatura disminuye, la simetría se rompe espontáneamente, es decir, ocurre el fenómeno conocido como ruptura espontánea de la simetría. Un ejemplo básico de la simetría rota que se da a menudo es una de estado sólido imán. Se compone de muchos átomos, cada uno de las cuales tiene un momento magnético dipolar. Sin embargo, las leyes del magnetismo son rotacionalmente simétricas, y es así que en las altas temperaturas, los átomos estarán alineados aleatoriamente, y la simetría rotatoria será restaurada. Semejantemente, se puede, con las condiciones apropiadas, enfriar agua bajo la temperatura de solidificación. Cuando un cristal de hielo se tira en el líquido, la simetría es rota y el agua solidifica inmediatamente.

Para dar cuenta de estos hechos de ruptura de la simetría, se ha propuesto el mecanismo de Higgs. Si en el lagrangiano de la interacción o "campo de fuerzas" concreto que está siendo estudiado se introducen cierto tipo de campos escalares que interactúan consigo mismo, en el límite de bajas energías los bosones gauge se comportan como si estuvieran dotados de masa; este efecto es precisamente el mecanismo de Higgs. En otras palabras el mecanismo de Higgs puede ser interpretado pensando que la interacción entre el campo escalar introducido o campo de Higgs y los bosones gauge, hace que estos "adquieran" masa, es decir, presenten interacciones como las que presentarían genuinas partículas con masa.

Formulación matemática 

En una teoría de campo de gauge, una transformación de gauge es una aplicación diferenciable:

Donde:
, es espacio-tiempo, o variedad diferenciable, donde aparece el campo.
, es un grupo de Lie o grupo de simetría del campo, es decir, es un grupo de transformaciones que dejan invariable el lagrangiano que define la dinámica del campo. Este grupo se suele llamar  grupo de transformaciones de gauge del campo.

Matemáticamente podemos tratar convenientemente una teoría de gauge como una conexión definida sobre un fibrado principal definido sobre el espacio-tiempo , más precisamente el fibrado puede definirse como el espacio topológico cociente de cartas locales:

Donde:
 es una carta local
 es otra carta local
 es el espacio vectorial que hace de fibra, para las teorías gauge más comunes k = 2 o 3 (y en algunas teorías de gran unificación k puede llegar a ser 9 o 10).
 son aplicaciones que para cada solape entre cartas locales dan el cambio de coordenadas sobre las fibras.    
En la construcción anterior de fibrado principal el espacio base será el espacio-tiempo será  y la "fibra" será el espacio vectorial . El grupo de gauge de la teoría es un grupo de Lie . Hecha esta construcción una transformación de gauge es precisamente una sección diferenciable del anterior fibrado principal. Es decir una aplicación como  que a cada punto del espacio le asigna un elemento del grupo de Lie que representa la simetría gauge. Una transformación de gauge global sería una aplicación como esa que a todos los puntos del espacio-tiempo les asignara la misma transformación, mientras que un lagrangiano con invariancia gauge local es uno tal que si en cada punto del espacio se elige una transformación diferente, y por tanto  es lo más general posible, entonces el lagrangiano no cambia.

Físicamente una transformación de gauge es una transformación de algún grado de libertad interno que no modifica ninguna propiedad observable física. El número de grados de libertad internos es el mismo k que aparece en la definición anterior.

Conexiones 
Técnicamente el campo de gauge asociado a una teoría gauge, aparece en el modelo matemático como una conexión sobre el fibrado principal anteriormente definido. Concretamente a partir las componentes de la 1-forma  que toma valores en el álgebra de Lie asociada al grupo de gauge, pueden calcularse el conjunto de componentes físicas que caracterizan el campo de gauge. Propiamente el campo de gauge es un campo de Yang-Mills obtenido a partir de la 2-forma  dada por:

Donde d es la derivada exterior y  es producto exterior (o producto cuña).

Transformaciones infinitesimales 
Una transformación de gauge infinitesimal es similar a una transformación de gauge ordinaria, pero en la definición se substituye el grupo de gauge por su álgebra de Lie asociada:

Donde:
, es espacio-tiempo, o variedad diferenciable, donde aparece el campo.
, es el álgebra de Lie correspondiente al grupo de gauge . Esta definición puede extenderse a cualquier elemento sobre un fibrado tangente al espacio-tiempo, de tal modo que están definidas las transformaciones de gauge infinitesiamales de cualquier tipo de campo espinorial o tensorial.

Las transformaciones de gauge inifinitesimales definen el número de campos bosónicos de la teoría y la forma en que estos intereactúan. El conjunto de todas las transformaciones de gauge infinitesimales forman un álgebra de Lie, que se caracterizada por un escalar diferenciable a valores en un álgebra de Lie, ε. Bajo tal transformación de gauge infinitesimal:

Donde [·,·] es el corchete de Lie. Estas tansformaciones infinitesimales tienen varias propiedades interesantes:
 Las transformaciones de gauge infinitesimales conmutan con la derivada covariante definida por la conexión: , donde  es la derivada covariante.
 También, , que significa que  se transforma covariantemente.
 No todas las transformaciones de gauge pueden ser generadas por transformaciones infinitesimales de gauge en general; por ejemplo, cuando la variedad de base es una variedad compacta sin borde tal que la clase de homotopía de funciones de esa variedad al grupo de Lie es no trivial, un ejemplo de ello son los instatones.

Lagrangiano de una teoría gauge 
La integral de acción calculada a partir del lagrangiano del campo de Yang-Mills está dada por: 

Donde  designa el operador dual de Hodge y la integral se define como la integral de un n-forma proporcional al elemento de volumen de la variedad de Riemann que define el espacio-tiempo. Donde el campo de gauge  viene dado en términos del cuadripotencial del campo:

explícitamente en componentes :

Carga de gauge 

Para una teoría de gauge que tome la forma de campo de Yang-Mills con grupo de gauge SU(N), existen  cargas de gauge diferentes que interaccionan con las  componentes del campo de gauge. En el caso electromagnético el grupo de gauge es U(1) y eso implica que únicamente existe una carga de gauge, que es, precisamente, la carga eléctrica. En el caso de la interacción electrodébil existen tres cargas de gauge, que están relacionadas con la carga eléctrica y la hipercarga débil.

Bucle de Wilson 

Una cantidad que es invariante bajo transformaciones de gauge es el bucle de Wilson, que se define sobre cualquier trayectoria cerrada, γ, como sigue:

 

donde ρ es un carácter de una representación compleja; y 
 representa al operador de trayectoria ordenada. En las teorías de las interacciones electrodébil y fuerte del modelo estándar de la física de partículas, Lagrangianos de bosones, que medían interacciones entre los fermiones, son invariantes bajo transformaciones de gauge. Esta es la razón por la cual estos bosones se llaman bosones de gauge.

Formas de Chern-Simons 
Ver Chern-Simons.

Ecuaciones semiclásicas 
Si bien los campos de gauge fueron formulados en el contexto de la teoría cuántica de campos, resulta útil estudiar algunos fenómenos, considerando las correspodientes ecuaciones de evolución al estilo de la teoría clásica de campos que se corresponden con el límite clásico de las teorías de gauge cuánticas. En el caso del campo electomagnético, de hecho las ecuaciones clásicas son extremadamente importantes porque reproducen los resultados de la electrodinámica clásica y el electromagnetismo, que tienen numerosísimas apliciones prácticas.

Ecuaciones de movimiento 

Las ecuaciones de movimiento de una partícula semiclásica puntual que interactúa con un cierto campo de Yang-Mills, vienen dadas por las ecuaciones de Wong:

donde  son las componentes espacio-temporales,  las componentes del cuadrimomento,  las componentes de la cuadrivelocidad,  la constante de acoplamiento,  las componentes de la carga de gauge ( para el grupo de gauge ) y  las componentes del campo de gauge:

La propia carga de gauge evoluciona según la ecuación:

Para el campo electromagnético el grupo de gauge es el grupo unitario  y, por tanto, . La segunda ecuación de movimiento se reduce a la ecuación para la fuerza de Lorentz:

Y la ecuación de la evolució de la carga al ser las constantes de estructura nulas  expresa la conseración de la carga eléctrica:

Energía impulso 

El tensor energía-impulso del campo de gauge  viene dado por:

En este caso la conservación de la energía admite una formulación en términos del tensor energía impulos que es una restricción semiclásica sobre como se distribuye el campo a lo largo del espacio tiempo:

Ejemplos 
 Electrodinámica cuántica
 Modelo electrodébil
 Modelo estándar

Véase también 
 Ruptura espontánea de simetría electrodébil
 Campo de Yang-Mills

Referencias

Bibliografía 
Libros

 Schumm, Bruce (2004) Deep Down Things. Johns Hopkins University Press. Esp. chpt. 8. A serious attempt by a physicist to explain gauge theory and the Standard Model with little formal mathematics.
Artículos

Enlaces externos 
 George Svetlichny

Teoría cuántica de campos
Física nuclear y de partículas
Simetría en física