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

Sintesi Tecnica: L'Azione Completa per la Supergravità Pura di de Sitter con N = 2

Enunciato del Problema
Il saggio affronta la sfida di lunga data relativa alla costruzione di una lagrangiana reale e coerente per la supergravità pura nello spaziotempo di de Sitter (dS$_4$) a quattro dimensioni. Le teorie di supergravità prediligono naturalmente costanti cosmologiche negative (anti-de Sitter), mentre l'universo osservato possiede una costante cosmologica positiva. Tentativi precedenti, tra cui il seminale lavoro di Pilch, van Nieuwenhuizen e Sohnius (PvN) [10], avevano identificato che una supergravità $N=2$ coerente in dS$_4$ potrebbe esistere, ma richiederebbe un gravifotone "fantasma" (un campo vettoriale con un termine cinetico dal segno errato). Tuttavia, il lavoro di PvN ha lasciato la teoria incompleta, fornendo un'azione invariante sotto supersimmetria locale solo fino ai termini quartici in fermioni. Inoltre, la questione dell'unitarietà rimaneva ambigua; sebbene fosse noto che il gravifotone fantasma introduce stati a norma negativa, lo stato del settore del gravitino in de Sitter non era stato pienamente chiarito nel contesto della teoria completa.

Metodologia
Gli autori impiegano un rigoroso approccio di teoria dei campi combinando tecniche coomologiche moderne con il formalismo dei campi antifield per ricostruire la teoria partendo dai primi principi:

1. Analisi della Teoria Libera: Iniziano analizzando la teoria libera su un background di dS$_4$ contenente un campo di Dirac di massa nulla spin-3/2 (gravitino), un campo reale di spin-2 (gravitone) e un campo reale di spin-1 (gravifotone). Utilizzano risultati recenti [29, 34, 35] per dimostrare che la quantizzazione del gravitino di Dirac libero su dS$_4$ lorentziano porta a stati a norma indefinita, una caratteristica precedentemente trascurata nel contesto della teoria completa interagente.
2. Interazioni Cubiche tramite il Metodo di Noether: Utilizzando la riformulazione coomologica del metodo di Noether [32, 48], gli autori classificano tutte le possibili interazioni locali e cubiche tra i campi. Derivano le deformazioni necessarie alle trasformazioni di gauge e all'algebra di gauge.
3. Vincoli Algebrici: Imponendo le identità di Jacobi per l'algebra di gauge, stabiliscono vincoli rigorosi sulle costanti di accoppiamento. Questa analisi determina i segni relativi dei termini cinetici per i campi di spin-1 e spin-2 senza richiedere la conoscenza preventiva dei termini quartici in fermioni.
4. Costruzione dell'Azione Completa: Ispirandosi alla costruzione della supergravità $N=2$ nello spazio anti-de Sitter [57, 58], gli autori propongono un'azione completa. Verificano che tale azione sia invariante sotto supersimmetria locale a tutti gli ordini nei campi fermionici, costruendo esplicitamente i termini quartici precedentemente mancanti.

Contributi Chiave e Risultati

• Esistenza e Unicità: Il saggio dimostra rigorosamente l'esistenza e l'unicità della più semplice possibile teoria di supergravità in dS$_4$. La teoria viene identificata come supergravità pura $N=2$.
• Lagrangiana Completa: Gli autori forniscono l'unica lagrangiana completa invariante sotto supersimmetria locale $N=2$. A differenza del lavoro di PvN [10], questa azione è valida a tutti gli ordini della costante di accoppiamento (costante di Newton) e, crucialmente, include tutti i termini quartici in fermioni.
• Chiarimento della Non-Unitarietà: Lo studio conferma che il gravifotone possiede necessariamente un termine cinetico con segno errato, portando a stati a norma negativa. Tuttavia, un nuovo e significativo risultato è che anche il settore del gravitino contribuisce alla non-unitarietà. Gli autori chiariscono che il gravitino di massa nulla su dS$_4$ lorentziano conduce intrinsecamente a stati a norma indefinita in seguito alla quantizzazione, il che significa che il gravifotone non è l'unica fonte di non-unitarietà nella teoria.
• Struttura della Superalgebra: Il lavoro definisce esplicitamente la superalgebra di Lie di de Sitter $N=2$, con una sottoalgebra bosonica isomorfa a $\mathfrak{so}(4,1) \oplus \mathfrak{u}(1)$, e costruisce i corrispondenti campi di gauge e le curvature.

Significato e Prospettive
Il saggio sostiene che la sua importanza primaria risieda nel completamento del quadro teorico per la supergravità $N=2$ di de Sitter, che è rimasto aperto per decenni. Fornendo l'azione completa, gli autori pongono le basi necessarie per studiare la teoria nell'approccio euclideo alla gravità quantistica.

Gli autori sostengono che, sebbene la teoria lorentziana soffra di non-unitarietà (norme indefinite), tali problemi possano essere considerati "innocui" o reinterpretati nella firma euclidea. Citando risultati recenti sulla funzione di partizione della sfera a 1-loop [38], suggeriscono che nel path integral euclideo, azioni complesse per il gravitino possono produrre risultati a valori reali espressi in termini di caratteri unitari del gruppo di de Sitter. Di conseguenza, l'azione completa derivata in questo saggio è presentata come un prerequisito per investigare la consistenza della supergravità pura $N=2$ di de Sitter nella firma euclidea e per calcolare i correlatori cosmologici ad alto ordine per i fermioni. Il lavoro non pretende di risolvere la non-rinormalizzabilità della gravità o l'embedding dei vuoti di de Sitter nella teoria di String/M, quanto piuttosto di fornire l'oggetto specifico e completo di teoria dei campi necessario per esplorare ulteriormente la gravità quantistica nello spazio di de Sitter.