The auxiliary-deformed Breitenlhoner-Maison model: duality frames and higher-dimensional origin

Resumen Técnico: El Modelo de Breitenlohner-Maison Auxiliar-Deformado: Marcos de Dualidad y Origen de Dimensiones Superiores

Planteamiento del Problema
El modelo de Breitenlohner-Maison (BM) describe el sector clásicamente integrable de la relatividad general en $D=4$ reducida a $D=2$ bajo dos comutas de isometrías de Killing. Esta reducción produce un modelo sigma de coset acoplado a un dilatón, que posee una simetría de Kac-Moody afín de dimensión infinita oculta (el grupo de Geroch). Un trabajo reciente [44] construyó una familia de deformaciones clásicamente integrables para este modelo utilizando campos auxiliares en una formulación conocida como el "marco-$\nu$". Estas deformaciones se inspiran en reformulaciones no lineales de la teoría de Maxwell en $D=4$ y se basan en el acoplamiento de la teoría semilla a campos auxiliares mediante una función de deformación de una combinación invariante.

Sin embargo, persistían dos brechas significativas en la literatura:

1. La existencia de una descripción complementaria en un "marco-$\mu$" para el modelo BM, análoga al Modelo Quiral Principal (PCM), no había sido establecida. El marco-$\mu$, relacionado con el marco-$\nu$ mediante una transformada de Legendre, ofrece una perspectiva diferente donde los grados de libertad auxiliares se reducen a un único escalar en lugar de campos con valores en la álgebra de Lie.
2. La interpretación física de estos modelos BM deformados en su contexto original de $D=4$ no se había resuelto. Específicamente, no estaba claro si estas deformaciones admiten un levantamiento (uplift) consistente a $D=4$ y, de ser así, cuál es la naturaleza de la teoría resultante de dimensiones superiores. Conjeturas previas sugerían que tales levantamientos involucrarían correcciones de derivadas de orden superior que típicamente rompen las simetrías de dualidad ocultas tras la reducción.

Metodología
Los autores emplean una metodología de múltiples pasos que combina técnicas de sistemas integrables, reducción de Kaluuli-Klein (KK) y formulaciones de gravedad teleparalela:

1. Construcción del marco-$\mu$: Partiendo del lagrangiano del marco-$\nu$ del modelo BM deformado, los autores realizan una transformada de Legendre con respecto al parámetro de deformación $\nu$. Esto implica resolver las ecuaciones de movimiento algebraicas para los campos auxiliares y reexpresar el lagrangiano en términos de un nuevo campo auxiliar escalar $\mu$. Este proceso refleja la estrategia utilizada para el PCM en [46].
2. Levantamiento a $D=4$: Para reconstruir el origen en $D=4$, los autores utilizan la formulación de la "Equivalente de la Relatividad General Teleparalela" (TEGR). Reescriben la acción de Einstein-Hilbert en términos de coeficientes de anholonomía ($\Omega_{AB}^C$) e introducen un campo auxiliar $Y_{AB}^C$ con propiedades algebraicas similares. Este enfoque de "acción padre" permite la inclusión de grados de libertad de gravitón dual y facilita la introducción de deformaciones auxiliares.
3. Ansatz Tensorial: Los autores proponen un ansatz específico para el levantamiento de la deformación en $D=4$. Construyen un tensor simétrico $t_{AB}$ (derivado de la acción TEGR y de los conmutadores de las partes simétricas/antisimétricas de la conexión) tal que su contracción reproduce la invariante de deformación $\nu^2$ tras la reducción KK.
4. Análisis de Simetría: Los autores computan explícitamente las propiedades de transformación de las acciones levantadas bajo difemorfismos infinitesimales y transformaciones de Lorentz locales para determinar las simetrías residuales de los modelos BM deformados.

Contribuciones Clave y Resultados

• Derivación del marco-$\mu$ para el Modelo BM: El artículo construye con éxito el lagrangiano del marco-$\mu$ para el modelo BM deformado. A diferencia del marco-$\nu$, que utiliza múltiples campos auxiliares con valores en el álgebra de Lie, la formulación del marco-$\mu$ depende de un único campo auxiliar escalar $\mu$. El lagrangiano resultante es más complejo en su estructura pero simplifica el sector auxiliar. Los autores demuestran la equivalencia de las ecuaciones de movimiento en ambos marcos (Apéndice B).
• Levantamientos Explícitos a $D=4$: Los autores proporcionan los levantamientos explícitos a $D=4$ tanto para las deformaciones del marco-$\nu$ como del marco-$\mu$.
  • El levantamiento del marco-$\nu$ se expresa como la acción TEGR más una función de deformación $E(\nu^4)$, donde $\nu^4$ es una contracción específica de un tensor simétrico $V_{AB}$ construido a partir de los campos auxiliares.
  • El levantamiento del marco-$\mu$ toma una forma reminiscente de la gravedad de Born-Infeld, involucrando una raíz cuadrada de una combinación del lagrangiano TEGR y la invariante $K[E] = (2\eta_{AB}\eta_{CD} - \eta_{AC}\eta_{BD})t^{AC}t^{BD}$.
• Naturaleza de la Teoría Deformada: Las teorías resultantes en $D=4$ son modelos de derivadas de orden superior. Crucialmente, los autores observan que, aunque están presentes términos de derivadas de orden superior, estos son "seleccionados" de una manera específica: nunca aparecen derivadas de orden $n > 2$ para la métrica. Esto sugiere un mecanismo que podría preservar la simetría afín tras la reducción a $D=2$, contrario a la expectativa general de que las correcciones de derivadas de orden superior rompen tales simetrías.
• Ruptura de Simetría: Un hallazgo central es que los modelos levantados carecen de invarianza manifiesta de difemorfismo y de Lorentz local.
  • Lorentz Local: La falta de invarianza se atribuye al uso de la formalización de "tetrada pura" (gauge de Weitzenböck), donde la conexión de espín se establece en cero. Los autores argumentan que esto es un artefacto de fijación de gauge y que la invarianza podría restaurarse reintroduciendo la conexión de espín de forma covariante.
  • Invarianza de Difemorfismo: La falta de invarianza de difemorfismo es más profunda. Los tensores de deformación (específicamente el objeto $K[E]$) no se transforman como densidades escalares del peso correcto bajo transformaciones de coordenadas generales. Este problema persiste incluso para funciones de interacción triviales en el marco-$\mu$. Los autores señalan que la teoría permanece invariante solo bajo un subconjeno de difemorfismos (difemorfismos transversos, $\partial_Q \xi^Q = 0$), preservando una simetría $SL(4)$.

Significancia y Reivindicaciones
El artículo afirma avanzar en la comprensión de las deformaciones integrables en contextos gravitatorios al:

1. Completar la Imagen de los Marcos de Dualidad: Al establecer el marco-$\mu$ para el modelo BM, los autores proporcionan una perspectiva complementaria que simplifica la estructura de los campos auxiliares, lo que potencialmente ayuda en la demostración de las propiedades de integrabilidad y ofrece nuevas vías para la cuantización.
2. Abordar el Origen de Dimensiones Superiores: El trabajo aborda directamente la pregunta abierta de si el modelo BM deformado en $D=2$ tiene un origen en $D=4$. Los autores confirman que tal levantamiento existe, pero resulta en una teoría de derivadas de orden superior altamente no trivial.
3. Destacar una Característica Intrigante: Los autores enfatizan la "extraña" falta de invarianza de difemorfismo manifiesta en el levantamiento en $D=4$. Sugieren que esta característica podría estar vinculada a la preservación de la simetría de Geroch de dimensión infinita en $D=2$, un fenómeno que usualmente es roto por términos de derivadas de orden superior.
4. Direcciones Futuras: El artículo sugiere modestamente que la falta de simetría manifiesta podría resolverse mediante:
   • Una formulación covariante que reintroduzca la conexión de espín.
   • Un difemorfismo "deformado" (en el espíritu de la cohomología BRST).
   • La existencia de una densidad tensorial diferente que se reduzca correctamente a $D=2$ pero que se transforme adecuadamente en $D=4$.
   • Conexiones con la teoría de Chern-Simons en $D=4$ y formulaciones de gravedad de Born-Infeld.

Los autores concluyen que, si bien la formulación actual presenta patologías respecto a la simetría, la estructura específica de los términos de derivadas de orden superior (evitando derivadas mayores a segundo orden) ofrece una explicación potencial para la supervivencia de la simetría afín en la dimensión reducida, lo cual justifica una mayor investigación sobre la interpretación geométrica y física de estos modelos deformados.