Consistent Canonical Quantization of Gravity: Recovery of Classical GR from BRST-invariant Coherent States

Sintesi Tecnica: Quantizzazione Canonica Consistente della Gravità: Recupero della GR Classica da Stati Coerenti BRST-invarianti

Definizione del Problema
Il saggio affronta le lungheggiate difficoltà della quantizzazione canonica della Relatività Generale (GR), specificamente il "problema del tempo" e l'apparente svanire dell'Hamiltoniano negli stati fisici. Nella quantizzazione canonica tradizionale (come la quantizzazione di Wheeler-DeWitt), il vincolo Hamiltoniano $\hat{H}|\text{phys}\rangle = 0$ implica che gli stati fisici siano statici, precludendo apparentemente una non banale evoluzione temporale e il recupero della dinamica classica. Inoltre, i trattamenti semi-classici standard, che quantizzano i campi su background classici fissi, decadono quando il back-reaction quantistico diventa significativo (ad esempio, nella fisica dei buchi neri o della cosmologia). Gli autori cercano una quantizzazione canonica consistente della GR come teoria di campo efficace a bassa energia che recuperi la dinamica della GR classica, inclusa l'evoluzione temporale, senza fare affidamento su un preesistente background classico.

Metodologia
Gli autori impiegano un framework di quantizzazione canonica BRST-invariante, distinto dall'approccio Wheeler-DeWitt. La metodologia procede attraverso i seguenti passaggi:

1. Selezione del Vuoto e Gauge Fixing: La teoria viene quantizzata una volta per tutte attorno al vuoto di Minkowski ($\eta_{\mu\nu}$). A differenza degli approcci che trattano il background come un input classico, gli autori postulano che il vuoto di Minkowski sia l'unico candidato consistente per lo stato di vuoto della teoria. La quantizzazione viene eseguita utilizzando il Lagrangiano BRST-invariante, che include il termine di Einstein-Hilbert, termini di gauge-fixing (introducendo un campo ausiliario $b_\mu$) e termini di ghost di Faddeev-Popov ($c_\mu, \bar{c}_\mu$).
2. Formalismo Canonico: Gli autori utilizzano il formalismo ADM ma ridefiniscono le variabili canoniche includendo le componenti temporali della metrica ($A_\mu \equiv \sqrt{-g}g_{0\mu}$) e la metrica spaziale $\gamma_{ij}$. L'introduzione del campo ausiliario $b_\mu$ assicura che le componenti temporali acquisiscano impulsi canonici coniugati, risolvendo i problemi in cui le derivate temporali sono assenti nella formulazione invariante per gauge.
3. Carica BRST e Stati Fisici: Lo spazio di Hilbert fisico è definito come l'insieme degli stati annullati dalla carica BRST ($\hat{Q}|\text{phys}\rangle = 0$) con numero di ghost nullo. Questo sostituisce la naif imposizione dei vincoli $\hat{H}|\text{phys}\rangle = 0$ e $\hat{P}_i|\text{phys}\rangle = 0$ direttamente sui vettori di stato.
4. Stati Coerenti come Background: Le geometrie dello spaziotempo classiche (ad esempio, background cosmologici o di buchi neri) non sono trattate come background fissi, ma come stati coerenti BRST-invarianti costruiti sopra il vuoto di Minkowski.
5. Riparametrizzazione: Gli autori analizzano le riparametrizzazioni delle coordinate (ad esempio, da Minkowski a Rindler o FLRW) regolando le condizioni di gauge-fixing per garantire che il valore di aspettativa a 1 punto della metrica mantenga la forma classica desiderata.

Contributi Chiave e Risultati

• Recupero della Dinamica Classica: Il saggio dimostra che le proprietà classiche della GR, inclusi lo svanire dell'Hamiltoniano bulk (modulo contributi di bordo) e l'esistenza dell'evoluzione temporale, sono recuperate come valori di aspettativa in appropriati stati fisici. Specificamente, mentre l'operatore $\hat{H}$ non annulla necessariamente gli stati fisici (a differenza della naif quantizzazione dei vincoli), il suo valore di aspettativa $\langle \text{phys} | \hat{H} | \text{phys} \rangle$ svanisce nel limite classico ($\hbar \to 0$) per gli stati che soddisfano i vincoli.
• Evoluzione Temporale Non Banale: Fondamentalmente, il framework BRST permette un'evoluzione temporale non banale delle funzioni di correlazione. I vincoli sono realizzati dinamicamente tra stati fisici (analogamente alla condizione di Gupta-Bleuler in QED) piuttosto che come equazioni operatori che annullano lo stato. Ciò permette $\partial_t \langle \hat{\Pi}_{mn} \rangle \neq 0$, recuperando le equazioni di Einstein classiche per le funzioni a 1 punto della metrica.
• Consistenza della S-Matrix: Gli autori stabiliscono una corrispondenza tra la S-matrix a bassa energia dei gravitoni e il formalismo Hamiltoniano canonico. Mostrano che l'azione efficace classica per le sorgenti è recuperata dal valore di aspettativa dell'operatore S-matrix su stati coerenti. Ciò valida l'esistenza di un flusso Hamiltoniano ben definito consistente con la teoria dello scattering dei gravitoni.
• Indipendenza dal Background tramite Stati Coerenti: Il framework tratta gli spazi-tempi non banali (come de Sitter o FLRW) come stati coerenti del campo gravitazionale quantizzato. Questo risolve il problema dell'indipendenza dal background quantizzando la teoria su un vuoto fisso (Minkowski) e generando altri background come stati quantistici, piuttosto che quantizzare su un preesistente background curvo.
• Sensibilità al Cutoff e Energia del Vuoto: La quantizzazione sul vuoto esatto di Minkowski impone una condizione di consistenza per cui l'energia del vuoto $\Lambda$ deve essere esattamente zero. Un passaggio a vacui di de Sitter o Anti-de Sitter (AdS) renderebbe lo schema autocontraddittorio. Ciò si allinea con gli argomenti della S-matrix che escludono vacui di de Sitter eterni.
• Motivazione per la Supersimmetria: Il saggio sostiene che il requisito dell'invarianza di Poincaré esatta del vuoto di Minkowski (necessaria per la consistenza della quantizzazione e della S-matrix) fornisce una forte motivazione per la supersimmetria spontaneamente rotta. Nello specifico, la supersimmetria è necessaria per prevenire la violazione dell'invarianza di Poincaré da parte di istantoni gravitazionali (come gli istantoni di Eguchi-Hanson) che altrimenti genererebbero un continuum di stati di de Sitter.

Significatività e Rivendicazioni
Gli autori affermano che questo lavoro fornisce una quantizzazione canonica consistente della GR come teoria di campo efficace che recupera con successo la dinamica della GR classica, inclusa l'evoluzione temporale, che è spesso oscurata in altri approcci. Trattando i background classici come stati coerenti del campo quantizzato, il framework offre una descrizione unificata dove la "democrazia" della GR (trattare ogni metrica come un vuoto valido) emerge come una proprietà degli stati coerenti nel limite appropriato, piuttosto che come una caratteristica fondamentale della procedura di quantizzazione stessa.

Il saggio asserisce che questo approccio rivela caratteristiche invisibili nei trattamenti semi-classici, come il "tempo di rottura quantistica" dello spazio de Sitter, implicando che lo de Sitter eterno non è un vuoto valido della gravità quantistica. Inoltre, il framework fornisce una base teorica per la necessità della supersimmetria per stabilizzare il vuoto di Minkowski contro violazioni non perturbative della simmetria di Poincaré, suggerendo che la teoria efficace a bassa energia sotto la scala di massa del gravitino sia la gravità di Einstein con un vuoto con invarianza di Poincaré esatta. Il lavoro è presentato come una motivazione per la supersimmetria derivata dai requisiti di consistenza della gravità quantistica canonica, piuttosto che come una proposta sperimentale.