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

Probleemstelling

In de kwantumveldentheorie en zwaartekracht bestaat er een fundamentele spanning tussen localiteit en gauge-invariantie. In drie dimensies kan zwaartekracht met een negatieve kosmologische constante worden beschreven als een topologische veldtheorie (Chern-Simons theorie). Echter, wanneer men materie koppelt aan deze geometrie, wordt de topologische aard verstoord door lokale operatoren.

Bestaande methoden om één-lus determinanten (one-loop determinants) voor massieve velden te berekenen, zoals de "Wilson spool" (een topologische lijnoperator die rond een niet-contractibele cyclus windt), zijn tot nu toe beperkt tot eenvoudige topologieën met één genererende cyclus (zoals de BTZ-black hole of thermische AdS3).

Het centrale probleem dat dit artikel aanpakt, is hoe men de Wilson spool moet generaliseren naar alle gladde, cusp-vrije hyperbolische drie-mannigvuldigheden. Deze ruimten hebben een fundamentale groep ($\Gamma$) die kan worden gegenereerd door meerdere, vaak niet-commuterende elementen. De vraag is hoe men de bijdrage van alle mogelijke gesloten paden in de Euclidische geometrie correct moet samenvatten in een gauge-invariante operator die de volledige topologie van de ruimte weerspiegelt.

Methodologie

De auteurs ontwikkelen een recept om de één-lus partitiefunctie van massieve spin-s velden uit te drukken als een som over elementen van de fundamentale groep van de ruimte. Hun aanpak rust op drie pijlers:

1. Geometrie als Quotient: Ze benutten het feit dat elke gladde hyperbolische drie-mannigvuldigheid $M$ kan worden geschreven als een quotiënt van de hyperbolische ruimte $H^3$ door een discrete, torsievrije ondergroep $\Gamma$ van $PSL(2, \mathbb{C})$:
   $$M = H^3 / \Gamma$$
   De elementen van $\Gamma$ corresponderen met niet-contractibele lussen in $M$.

2. Chern-Simons Formulering: Ze gebruiken de equivalentie tussen 3D zwaartekracht en $SL(2, \mathbb{R})_L \times SL(2, \mathbb{R})_R$ Chern-Simons theorie. De metriek en spin-verbinding worden gecodeerd in verbindingen $A_L$ en $A_R$. De holonomieën van deze verbindingen rond gesloten lussen $\gamma$ zijn gerelateerd aan de complexe lengte ($\hat{l}_\gamma = l_\gamma + i\theta_\gamma$) van de geodeet.

3. Drie Afleidingen: Om hun resultaat te onderbouwen, gebruiken ze drie verschillende methoden:

   • Selberg Trace Formule: Ze relateren het spectrum van de Laplaciaan op de hyperbolische ruimte aan het spectrum van gesloten geodeeten. Door een specifieke testfunctie te kiezen, kunnen ze de één-lus determinant reconstrueren als een som over conjugatieklassen van $\Gamma$.
   • Wereldlijn Kwantummechanica (Worldline Path Integral): Ze interpreteren de één-lus determinant als een padintegraal over gesloten lussen. Door deze integraal te "liften" naar het overdekkende vlak $H^3$, zien ze dat de som over paden kan worden opgesplitst in sectoren die corresponderen met conjugatieklassen van $\Gamma$. De multipliciteitsfactor ($n_\gamma$) verschijnt hier als een symmetriefactor.
   • Kwasi-normale Moden (Quasinormal Modes): Ze analyseren de polen van de partitiefunctie in het complexe vlak. Ze tonen aan dat de voorwaarde voor regulariteit en single-valuedness van de golffuncties rond meerdere cycli tegelijkertijd leidt tot een productformule die overeenkomt met hun voorgestelde operator.

Kernbijdrage en Resultaat

Het hoofdbestanddeel van het artikel is de definitie van de generaliseerde Wilson spool voor willekeurige gladde hyperbolische quotiënten. De logaritme van de partitiefunctie $Z_{\Delta, s}$ voor een massief spin-s veld wordt gegeven door:

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

Waarbij $W_\Gamma$ de volgende operator is:

$$W_\Gamma = \sum_{[\gamma] \in [\Gamma]_+} \sum_{R_{LW}^{\Delta, s}} \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]$$

Belangrijke kenmerken van dit resultaat:

• Som over Topologie: De som loopt over alle niet-triviale conjugatieklassen $[\gamma]$ van de fundamentale groep $\Gamma$ (die corresponderen met niet-contractibele lussen in $M$).
• Multipliciteit ($n_\gamma$): De factor $1/n_\gamma$ is cruciaal. Het komt voort uit de structuur van de fundamentale groep; een element $\gamma$ kan een macht zijn van een primitief element ($\gamma = \gamma_0^{n_\gamma}$). Deze factor zorgt ervoor dat de som correct telt zonder dubbel te tellen, en fungeert als een symmetriefactor in de wereldlijn-interpretatie.
• Representaties: De som over representaties $R_{LW}$ betreft de laagste-gewicht (lowest-weight) representaties van $sl(2, \mathbb{R})$ die voldoen aan de mass-shell conditie voor het veld met conformale dimensie $\Delta$ en spin $s$.
• Integraalvorm: De auteurs tonen ook een integraalrepresentatie aan die de som over windingsgetallen uniformiseert en de connectie met eerdere resultaten (zoals in [5-8]) versterkt.

Significantie en Toepassing

1. Generalisatie van Bestaande Resultaten: Voor eenvoudige ruimten (zoals BTZ of thermische AdS) reproduceert deze formule de bekende resultaten van Giombi, Maloney en Yin voor scalaren en vectoren.
2. Nieuwe Resultaten voor Hoge Spin: Voor het eerst wordt een uitdrukking voor de één-lus determinant van massieve velden met spin $s \geq 2$ geleverd op willekeurige gladde hyperbolische quotiënten. Dit was eerder niet beschikbaar in de literatuur.
3. Topologische Operator: Het resultaat toont aan dat de één-lus bijdrage van materie volledig kan worden uitgedrukt als een topologische lijnoperator die over alle cycli van de ruimte "wikkelt" (spoolt). Dit bevestigt de diepe connectie tussen de topologie van de ruimte en de kwantumfluctuaties van materie.
4. Off-shell Interpretatie: Hoewel de afleidingen vaak op-shell (op de klassieke oplossing) worden gedaan, argumenteren de auteurs dat de operator $W_\Gamma$ gauge-invariant is en kan worden beschouwd als een "off-shell" operator binnen het gravitatie-padintegraal, mits geëvalueerd binnen verwachtingswaarden van diffeomorfisme-invariante operatoren.
5. Toekomstperspectief: De auteurs bespreken uitdagingen bij het uitbreiden naar ruimten met orbifolds (elliptische elementen) of cusps (parabolische elementen), waar de huidige formule aanpassingen vereist vanwege divergenties in de karakterfuncties.

Kortom, dit artikel biedt een krachtig, universeel raamwerk voor het berekenen van kwantumcorrecties in 3D zwaartekracht op complexe topologieën, waarbij de fundamentele groep van de ruimte direct de structuur van de kwantumfluctuaties bepaalt.