On interacting non-Abelian antisymmetric tensor field models

Resumen Técnico: Modelos de Campos Tensoriales Antisimétricos No Abelianos en Interacción

Planteamiento del Problema
Los campos tensoriales antisimétricos (p-formas) son componentes fundamentales de las teorías de supercuerdas/branas y de supergravedad, caracterizados por sus estructuras de gauge complejas y reducibles. Si bien los modelos de p-formas libres están bien comprendidos como teorías de gauge reducibles (con etapas de reducibilidad que dependen del rango de la forma), la estructura de gauge de los modelos tensoriales no abelianos con interacción sigue siendo un problema abierto. Los teoremas de no-go estándar sugieren que las deformaciones locales de las transformaciones de gauge de las p-formas libres son imposibles sin introducir campos adicionales. Sin embargo, existen modelos con tensores no abelianos que interactúan con campos de Yang-Mills en contextos específicos (por ejemplo, supergravidades con gauge o reducciones dimensionales). El principal desafío abordado en este trabajo es determinar las propiedades de reducibilidad de las transformaciones de gauge en estos modelos tensoriales no abelianos con interacción, específicamente aquellos obtenidos mediante reducción dimensional sobre una variedad de grupo. No está claro si la introducción de interacciones y términos de masa altera las etapas de reducibilidad presentes en sus contrapartes libres.

Metodología
Los autores emplean un procedimiento de reducción dimensional sobre una variedad de grupo para generar modelos tensoriales no abelianos con interacción a partir de formas abelianas libres de mayor rango acopladas a la gravedad.

1. Prescripción de Reducción: Partiendo de un campo p-forma Abeliano libre $C_{M_1...M_p}$ en $D$ dimensiones acoplado a la gravedad, las coordenadas se dividen en $x^\mu$ (espacio-tiempo) y $y^a$ (variedad de grupo compacta $G$). La métrica y los campos se parametrizan utilizando vectores de Killing $e^a_{\bar{a}}(y)$ del grupo $G$, introduciendo un parámetro dimensional $\kappa$ relacionado con el tamaño de la variedad, el cual actúa como la constante de acoplamiento.
2. Redefinición de Campos: Los campos originales $C$ se redefinen en nuevos campos $B$ (y parámetros $\Lambda$) utilizando el vielbein de la métrica reducida. Esta transformación asegura que los nuevos campos se transformen de manera covariante bajo la simetría de Yang-Mills inducida, eliminando términos no homogéneos que involucran derivadas de los parámetros de gauge.
3. Análisis Algebraico: Los autores calculan explícitamente los conmutadores de las transformaciones de gauge para los campos reducidos. Identifican la estructura del álgebra no abeliana y buscan transformaciones "triviales": conjuntos de parámetros para los cuales la variación de gauge de todos los campos se anula identicamente.
4. Verificación Recursiva de Reducibilidad: Al encontrar los parámetros que generan transformaciones triviales, los autores determinan la etapa de reducibilidad. Verifican si estos parámetros triviales poseen, a su vez, redundancias de gauge (reducibilidad de etapa superior), comparando los resultados con la reducibilidad conocida de las teorías abelianas libres.

Contribuciones Clave y Resultados
El artículo analiza modelos derivados de la reducción dimensional de 3-formas, 4-formas y p-formas generales.

• Modelo de 3-formas (Sección 2):

  • La reducción de una 3-forma libre produce un sistema que contiene un campo de Yang-Mills, una 2-forma, una 1-forma y un escalar, todos transformándose bajo un álgebra no abeliana.
  • Se demuestra que las transformaciones de gauge son reducibles de primera etapa para el sector no abeliano. Las transformaciones triviales están generadas por los parámetros $\omega_{\bar{a}}$ y $\zeta_\mu$, los cuales satisfacen relaciones específicas que involucran la intensidad de campo y las constantes de estructura.
  • La etapa de reducibilidad coincide con la de la 3-forma abeliana libre (la cual es segunda-etapa reducible en su totalidad, siendo la parte no abeliana de primera etapa).
  • Campos de Stückelberg: El análisis identifica campos específicos (por ejemplo, $S_{\mu\bar{a}}$) que actúan como campos de Stückelberg. Estos campos cambian bajo las transformaciones de gauge, restaurando efectivamente la simetría de gauge rota por los términos de masa ($\sim \kappa^2$) adquiridos por otros campos tensoriales. Este mecanismo permite que la teoría evite los teoremas de no-go respecto a las deformaciones no abelianas.

• Modelo de 4-formas (Sección 3):

  • La reducción de una 4-forma libre produce un sistema con tensores de rango 4, 3, 2, 1 y 0.
  • Se demuestra que las transformaciones de gauge son reducibles de segunda etapa para el sector no abeliano. Las transformaciones triviales están generadas por los parámetros $\omega_{\mu\bar{a}}$ y $\omega_{\bar{a}\bar{b}}$, los cuales son reducibles por sí mismos.
  • La etapa de reducibilidad nuevamente coincide con la de la 4-forma abeliana libre (tercera etapa reducible en su totalidad).

• Modelo de p-formas General (Sección 4):

  • Los resultados se generalizan para un rango arbitrario de la forma $r+1$.
  • Los autores demuestran que las transformaciones de gauge del sistema no abeliano resultante son reducibles en $p-2$ etapas (coincidiendo con la etapa $p-1$ de la teoría abeliana libre, al contabilizar los sectores de vectores/escalares).
  • Se deriva una fórmula general para los parámetros de transformación trivial, mostrando que la estructura de reducibilidad se preserva a pesar de la presencia de términos de masa e interacciones no abelianas.
  • El artículo contrasta esto con un modelo no abeliano específico de la literatura [41] que es solo reducible de primera etapa, destacando que el método de reducción dimensional preserva la reducibilidad de etapa superior de la teoría libre original.

Significado y Reivindicaciones
El artículo sostiene que la estructura de gauge de los modelos tensoriales antisimétricos no abelianos con interacción obtenidos mediante reducción dimensional es robusta y retiene las propiedades de reducibilidad de sus contrapartes abelianas libres.

• Preservación de la Reducibilidad: La introducción de interacciones y términos de masa mediante la reducción dimensional no altera las etapas de reducibilidad. Los modelos con interacción son teorías de gauge reducibles con la misma jerarquía de parámetros de gauge que las teorías libres.
• Papel de los Campos de Stückelberg: Se identifica la existencia de campos de Stückelberg como el mecanismo que reconcilia la presencia de términos de masa con la invariancia de gauge. Estos campos permiten que la teoría mantenga una estructura de gauge consistente, eludiendo las restricciones de los teoremas de no-go que asumen deformaciones sin masa.
• Implicaciones para la Cuantización: Los autores afirman que establecer la estructura de reducibilidad es un prerrequisito para la cuantización consistente de estas teorías (por ejemplo, mediante los formalismos de Batalin-Vilkovisky o BRST-BFV). Los resultados proporcionan la base necesaria para construir integrales de trayectoria y acciones efectivas para estas teorías tensoriales no abelianas.
• Direcciones Futuras: El artículo sugiere que estos métodos pueden extenderse a acciones autoduales, reducciones sobre variedades distintas a grupos (por ejemplo, esferas) y la construcción de versiones supersimétricas. También señala el potencial para estudiar dualidades en el contexto no abeliano con interacción.

El trabajo no propone nuevas pruebas experimentales o aplicaciones fenomenológicas específicas, sino que se centra en la consistencia teórica y las propiedades estructurales de estas teorías de campos, con el objetivo de llenar el vacío en la comprensión de la estructura de gauge de las p-formas con interacción.