A spool for every quotient: One-loop partition functions in AdS$_3$ gravity

1. Il Problema

Il lavoro affronta la sfida di calcolare i determinanti a un loop (one-loop determinants) per campi massivi di spin arbitrario ($s$) accoppiati alla gravità tridimensionale con costante cosmologica negativa (AdS$_3$).
In dimensioni inferiori (2D e 3D), la gravità può essere descritta come una teoria di campo topologica (TQFT) tramite la formulazione di Chern-Simons. Tuttavia, l'accoppiamento con la materia locale rompe apparentemente la natura topologica, richiedendo operatori estesi per preservare l'invarianza di gauge.
Precedenti lavori (es. [5-8]) avevano introdotto il concetto di "Wilson spool" (un operatore di linea topologico) per esprimere i determinanti a un loop su sfondi specifici come il buco nero BTZ o lo spazio di de Sitter, dove la topologia è semplice (gruppo fondamentale generato da un singolo elemento).
Il problema centrale di questo studio è generalizzare tale costruzione a tutte le soluzioni lisce e senza cuspidi della gravità euclidea, che includono varietà iperboliche tridimensionali con gruppi fondamentali più complessi (generati da più elementi non commutanti), come i "wormhole multi-bordo" o le varietà iperboliche compatte (es. la varietà di Weeks).

2. Metodologia

Gli autori utilizzano la descrizione della gravità 3D come teoria di Chern-Simons con gruppo di gauge $SL(2, \mathbb{R})_L \times SL(2, \mathbb{R})_R$. Le varietà target sono trattate come quozienti dello spazio iperbolico tridimensionale $H^3$ per un sottogruppo discreto $\Gamma$ di $PSL(2, \mathbb{C})$:
$$M = H^3 / \Gamma$$
Dove $\Gamma$ è identificato con il gruppo fondamentale $\pi_1(M)$.

La metodologia si basa su tre pilastri principali per derivare e validare il risultato:

1. Formulazione di Chern-Simons e Ologrammi:

   • Le connessioni di gauge $A_L$ e $A_R$ sono costruite a partire dal coframe e dalla connessione di spin della metrica di fondo.
   • Gli operatori di Wilson sono definiti lungo i loop liberi (geodetiche chiuse) della varietà. La lunghezza complessa di una geodetica $\gamma$ ($\hat{l}_\gamma = l_\gamma + i\theta_\gamma$) è correlata agli ologrammi delle connessioni di Chern-Simons.

2. Tre Derivazioni Distinte:

   • Formula di Traccia di Selberg: Relaziona lo spettro degli autovalori del Laplaciano (fisica) con lo spettro delle lunghezze delle geodetiche chiuse (geometria/topologia). Gli autori mostrano come la somma sulle classi di coniugazione di $\Gamma$ riproduca il determinante a un loop.
   • Meccanica Quantistica di Worldline: Il determinante a un loop è espresso come un integrale di percorso su loop chiusi nello spazio-tempo. Elevando questo calcolo al rivestimento universale $H^3$, la somma sui loop si decompone in una somma sulle classi di coniugazione di $\Gamma$. Il fattore di molteplicità $n_\gamma$ emerge naturalmente come un fattore di simmetria topologico.
   • Metodo dei Modi Quasi-Normali (QNM): Estendendo l'approccio di Denef, Hartnoll e Sachdev, gli autori impongono condizioni al contorno (singolarità, regolarità) sulle funzioni d'onda. Le condizioni di ologramma attorno ai cicli non banali della varietà portano a una struttura di poli che corrisponde esattamente alla somma sugli operatori di Wilson.

3. Risultati Chiave e Contributi

Il risultato principale è la definizione del Wilson spool generalizzato per varietà iperboliche lisce. Il logaritmo del funzionale di partizione a un loop per un campo massivo di spin $s$ e dimensione conforme $\Delta$ è dato da:

$$\log Z_{\Delta, s}[g_{\mu\nu}] = W_\Gamma[A_L, A_R]$$

Dove l'operatore $W_\Gamma$ è definito come:

$$W_\Gamma = \sum_{[\gamma] \in [\Gamma]_+} \sum_{R_{LW}} \frac{1}{n_\gamma} \left[ \text{Tr}_{R_L} \mathcal{P} \exp \left( \oint_\gamma A_L \right) \right] \left[ \text{Tr}_{R_R} \mathcal{P} \exp \left( -\oint_\gamma A_R \right) \right]$$

Punti salienti del risultato:

• Somma su Classi di Coniugazione: La somma non è su un singolo ciclo, ma su tutte le classi di coniugazione $[\gamma]$ del gruppo fondamentale $\Gamma$ (rappresentanti di loop liberi non contraibili).
• Fattore di Molteplicità ($n_\gamma$): Ogni termine è pesato da $1/n_\gamma$, dove $n_\gamma$ è l'indice di molteplicità dell'elemento $\gamma$ rispetto al suo generatore primitivo $\gamma_0$ (cioè $\gamma = \gamma_0^{n_\gamma}$). Questo fattore ha un'interpretazione topologica chiara come fattore di simmetria nel rivestimento universale.
• Rappresentazioni: La traccia è calcolata su rappresentazioni di peso minimo (lowest-weight) $R_{LW}$ di $sl(2, \mathbb{R})$, determinate dalla massa e dallo spin del campo.
• Forma Integrale: Il risultato può essere riscritto come un integrale di contorno su una variabile complessa $\alpha$, che unifica la somma su tutti i cicli primitivi, generalizzando le forme integrali note per il BTZ.

Estensione della letteratura:

• Per $s=0$ (scalari) e $s=1$ (vettori), il risultato riproduce i determinanti a un loop noti calcolati da Giombi, Maloney e Yin (GMY) su quozienti iperbolici.
• Nuovo Contributo: Per la prima volta, viene fornita una espressione esplicita per i determinanti a un loop di campi massivi con spin $s \geq 2$ su qualsiasi quoziente iperbolico liscio e senza cuspidi.

4. Significato e Implicazioni

• Unificazione Topologica: Il lavoro dimostra che la struttura dei determinanti a un loop in gravità 3D è intrinsecamente topologica. L'informazione geometrica (metrica) è codificata nelle connessioni di gauge, mentre la struttura globale (topologia) è gestita dalla somma sul gruppo fondamentale.
• Validità "Off-Shell": Sebbene le derivazioni siano state eseguite su metriche "on-shell" (soluzioni esatte delle equazioni di Einstein), gli autori argomentano che l'operatore $W_\Gamma$, essendo costruito interamente da quantità topologiche e invarianti di gauge, può essere promosso a un operatore valido "off-shell" all'interno dell'integrale di percorso gravitazionale.
• Generalizzazione: La costruzione apre la strada allo studio di gravità quantistica su topologie complesse (wormhole, varietà compatte non olografiche) e suggerisce come estendere il formalismo a spazi con orbifold o cuspidi (dove la struttura dei poli diventa più complessa).
• Connessione con la Teoria di Virasoro TQFT: Il paper suggerisce che per una trattazione quantistica completa, il Wilson spool dovrebbe essere incorporato nella "Virasoro TQFT", che risolve le discrepanze tra la gravità pura e la teoria di Chern-Simons a livello quantistico.

In sintesi, il paper fornisce un "manuale di istruzioni" (prescrizione) universale per calcolare le correzioni quantistiche a un loop in gravità 3D su qualsiasi sfondo iperbolico liscio, trasformando un problema di teoria dei campi complessa in una somma topologica su loop di Wilson.