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

Resumo Técnico: A Ação Completa para N = 2 Supergravidade de de Sitter

Problema
O artigo aborda o desafio de longa data de construir uma Lagrangiana consistente e real para a supergravidade pura em um espaço-tempo de de Sitter (dS$_4$) quadridimensional. Teorias de supergravidade naturalmente favorecem constantes cosmológicas negativas (anti-de Sitter), mas o universo observado possui uma constante cosmológica positiva. Tentativas anteriores, notadamente o trabalho seminal de Pilch, van Nieuwenhuizen e Sohnius (PvN) [10], identificaram que uma supergravidade $N=2$ consistente em dS$_4$ poderia existir, mas exigiria um gravifóton "fantasma" (um campo vetorial com um termo cinético de sinal oposto). No entanto, o artigo de PvN deixou essa teoria incompleta, fornecendo uma ação invariante sob supersimetria local apenas até termos quárticos em férmions. Além disso, a questão da unitariedade permaneceu ambígua; embora o gravifóton fantasma fosse conhecido por introduzir estados de norma negativa, o status do setor do gravitino no espaço de de Sitter não foi totalmente esclarecido no contexto da teoria completa.

Metodologia
Os autores empregam uma abordagem rigorosa de teoria de campos, combinando técnicas cohomológicas modernas com o formalismo de antifields para reconstruir a teoria a partir de primeiros princípios:

1. Análise da Teoria Livre: Eles começam analisando a teoria livre em um background de dS$_4$ contendo um campo Dirac de spin-3/2 sem massa (gravitino), um campo real de spin-2 (gravitão) e um campo real de spin-1 (gravifóton). Eles utilizam resultados recentes [29, 34, 35] para demonstrar que a quantização do gravitino Dirac livre em dS$_4$ lorentziano leva a estados de norma indefinida, uma característica anteriormente negligenciada no contexto da teoria de interação completa.
2. Interações Cúbicas via Método de Noether: Utilizando a reformulação cohomológica do método de Noether [32, 48], os autores classificam todas as possíveis interações locais e cúbicas entre os campos. Eles derivam as deformações necessárias para as transformações de gauge e para a álgebra de gauge.
3. Restrições Algébricas: Ao impor as identidades de Jacobi para a álgebra de gauge, eles estabelecem restrições estritas sobre as constantes de acoplamento. Esta análise determina os sinais relativos dos termos cinéticos para os campos de spin-1 e spin-2 sem a necessidade de conhecimento prévio dos termos quárticos em férmions.
4. Construção da Ação Completa: Inspirados pela construção da supergravidade $N=2$ em espaço anti-de Sitter [57, 58], os autores propõem uma ação completa. Eles verificam que esta ação é invariante sob supersimetria local para todas as ordens nos campos fermiônicos, construindo explicitamente os termos quárticos anteriormente ausentes.

Principais Contribuições e Resultados

• Existência e Unicidade: O artigo prova rigorosamente a existência e a unicidade da teoria de supergravidade mais simples possível em dS$_4$. A teoria é identificada como supergravidade pura $N=2$.
• Lagrangiana Completa: Os autores fornecem a única Lagrangiana completa invariante sob supersimetria local $N=2$. Diferente do trabalho de PvN [10], esta ação é válida para todas as ordens na constante de acoplamento (constante de Newton) e, crucialmente, inclui todos os termos quárticos em férmions.
• Esclarecimento da Não-Unitariedade: O estudo confirma que o gravifóton possui necessariamente um termo cinético de sinal oposto, levando a estados de norma negativa. No entanto, uma nova descoberta significativa é que o setor do gravitino também contribui para a não-unitariedade. Os autores esclarecem que o gravitino de massa nula em dS$_4$ lorentziano inerentemente leva a estados de norma indefinida após a quantização, o que significa que o gravifóton não é a única fonte de não-unitariedade na teoria.
• Estrutura da Superálgebra: O trabalho define explicitamente a superálgebra de Lie de de Sitter $N=2$, com uma subálgebra bosônica isomorfa a $\mathfrak{so}(4,1) \oplus \mathfrak{u}(1)$, e constrói os campos de gauge e curvaturas correspondentes.

Significância e Perspectivas
O artigo afirma que sua principal significância reside em completar o arcabouço teórico para a supergravidade de de Sitter $N=2$, que foi deixado em aberto por décadas. Ao fornecer a ação completa, os autores estabelecem a base necessária para estudar a teoria na abordagem Euclidiana da gravidade quântica.

Os autores argumentam que, embora a teoria lorentziana sofra de não-unitariedade (normas indefinidas), esses problemas podem ser "inofensivos" ou reinterpretados na assinatura Euclidiana. Citando resultados recentes sobre a função de partição da esfera de 1-loop [38], eles sugerem que, na integral de caminho Euclidiana, ações complexas para o gravitino podem produzir resultados de valores reais expressos em termos de caracteres unitários do grupo de de Sitter. Consequentemente, a ação completa derivada neste artigo é apresentada como um pré-requisito para investigar a consistência da supergravidade pura de de Sitter $N=2$ na assinatura Euclidiana e para calcular correladores cosmológicos de ordem superior para férmions. O trabalho não pretende resolver a não-renormalizabilidade da gravidade ou o embutimento de vacúolos de de Sitter em Teoria de Cordas/M, mas sim fornece o objeto específico de campo completo necessário para explorar a gravidade quântica em espaço de de Sitter.