The complete action for $\mathcal{N}=2$ de Sitter pure supergravity

Resumen Técnico: La Acción Completa para la Supergravedad Pura de de Sitter con N = 2

Planteamiento del Problema
El artículo aborda el desafío de larga data de construir un lagrangiano real y consistente para la supergravedad pura en un espacio-tiempo de de Sitter (dS$_4$) de cuatro dimensiones. Las teorías de supergravedad favorecen naturalmente las constantes cosmológicas negativas (anti-de Sitter), mientras que el universo observado posee una constante cosmológica positiva. Los intentos previos, notablemente el trabajo seminal de Pilch, van Nieuwenhuizen y Sohnius (PvN) [10], identificaron que una supergravedad $N=2$ consistente en dS$_4$ podría existir, pero requería un gravifotón "fantasmagórico" (un campo vectorial con un término cinético de signo incorrecto). Sin embargo, el artículo de PvN dejó esta teoría incompleta, proporcionando una acción que es invariante bajo supersimetría local solo hasta términos cúbicos en fermiones. Además, la cuestión de la unitariedad seguía siendo ambigua; si bien se sabía que el gravifotón fantasmagórico introducía estados de norma negativa, el estatus del sector del gravitino en el espacio de de Sitter no había sido plenamente aclarado en el contexto de la teoría completa.

Metodología
Los autores emplean un enfoque riguroso de teoría de campos, combinando técnicas cohomológicas modernas con el formalismo de los antifields para reconstruir la teoría desde sus principios fundamentales:

1. Análisis de la Teoría Libre: Comienzan analizando la teoría libre en un fondo de dS$_4$ que contiene un campo de Dirac de espín 3/2 sin masa (gravitino), un campo de espín 2 real (gravitón) y un campo de espín 1 real (gravifotón). Utilizan resultados recientes [29, 34, 35] para demostrar que la cuantización del gravitino de Dirac libre en dS$_4$ lorentziano conduce a estados de norma indefinida, una característica que se había pasado por alto anteriormente en el contexto de la teoría de interacción completa.
2. Interacciones Cúbicas mediante el Método de Noether: Utilizando la reformulación cohomológica del método de Noether [32, 48], los autores clasifican todas las posibles interacciones locales y cúbicas entre los campos. Derivan las deformaciones necesarias para las transformaciones de gauge y el álgebra de gauge.
3. Restricciones Algebraicas: Al imponer las identidades de Jacobi para el álgebra de gauge, establecen restricciones estrictas sobre las constantes de acoplamiento. Este análisis determina los signos relativos de los términos cinéticos para los campos de espín 1 y espín 2 sin requerir conocimiento previo de los términos cuarticos en fermiones.
4. Construcción de la Acción Completa: Inspirados en la construcción de la supergravedad $N=2$ en el espacio anti-de Sitter [57, 58], los autores proponen una acción completa. Verifican que esta acción es invariante bajo supersimetría local a todos los órdenes en los campos fermiónicos, construyendo explícitamente los términos cuarticos que faltaban.

Contribuciones Clave y Resultados

• Existencia y Unicidad: El artículo demuestra rigurosamente la existencia y unicidad de la teoría de supergravedad más simple posible en dS$_4$. La teoría se identifica como supergravedad pura $N=2$.
• Lagrangiano Completo: Los autores proporcionan el único lagrangiano completo e invariante bajo supersimetría local $N=2$. A diferencia del trabajo de PvN [10], esta acción es válida para todos los órdenes en la constante de acoplamiento (constante de Newton y, crucialmente, incluye todos los términos cuarticos en fermiones.
• Aclaración de la No-Unitariedad: El estudio confirma que el gravifotón posee necesariamente un término cinético de signo incorrecto, lo que conduce a estados de norma negativa. Sin embargo, un hallazgo nuevo y significativo es que el sector del gravitino también contribuye a la no-unitariedad. Los autores aclaran que el gravitino sin masa en dS$_4$ lorentziano conduce inherentemente a estados de norma indefinida tras su cuantización, lo que significa que el gravifotón no es la única fuente de no-unitariedad en la teoría.
• Estructura del Superálgebra: El trabajo define explícitamente la superálgebra de Lie de de Sitter $N=2$, con un subálgebra bosónica isomórfica a $\mathfrak{so}(4,1) \oplus \mathfrak{u}(1)$, y construye los campos de gauge y las curvaturas correspondientes.

Significado y Perspectivas
El artículo sostiene que su principal significancia radica en completar el marco teórico para la supergravedad de de Sitter $N=2$, que quedó abierto durante décadas. Al proporcionar la acción completa, los autores sientan las bases necesarias para estudiar la teoría en el enfoque euclidiano de la gravedad cuántica.

Los autores argumentan que, si bien la teoría lorentziana sufre de no-unitariedad (normas indefinidas), estos problemas pueden ser "inofensivos" o reinterpretarse en la firma euclidiana. Citando resultados recientes sobre la función de partición de la esfera de 1 bucle [38], sugieren que en la integral de camino euclidiana, las acciones complejas para el gravitino pueden dar resultados de valores reales expresados en términos de caracteres unitarios del grupo de de Sitter. Por consiguiente, la acción completa derivada en este trabajo se presenta como un requisito previo para investigar la consistencia de la supergravedad pura de de Sitter $N=2$ en la firma euclidiana y para calcular correladores cosmológicos de orden superior para fermiones. El trabajo no pretende resolver la no-renormalizabilidad de la gravedad ni la inserción de los vacíos de de Sitter en la teoría de Cuerdas/M, sino que proporciona el objeto específico de teoría de campos completo requerido para explorar más a fondo la gravedad cuántica en el espacio de de Sitter.