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

1. Problématique et Contexte

La gravité quantique en trois dimensions (3D) avec une constante cosmologique négative (AdS$_3$) offre un cadre privilégié pour étudier les interactions entre la théorie des champs et la gravité. Une question centrale est le calcul des déterminants à une boucle ($Z_{\text{1-loop}}$) pour des champs de matière massifs (scalaires et de spin $s$) couplés à la gravité sur des backgrounds géométriques non triviaux.

• Le défi : Les résultats connus (notamment pour le trou noir BTZ ou l'AdS thermique) expriment ces déterminants via des opérateurs de ligne topologiques appelés "Wilson spools". Ces opérateurs correspondent à des boucles de Wilson s'enroulant autour d'un cycle non contractible unique.
• La limitation : La gravité est une théorie de la géométrie et de la topologie. En 3D, la topologie est riche et inclut des variétés hyperboliques dont le groupe fondamental $\pi_1(M)$ est généré par plusieurs éléments non commutatifs (ex: "trous de ver" multi-frontières, variétés compactes comme la variété de Weeks).
• La question : Comment généraliser la prescription du "Wilson spool" à des variétés hyperboliques lisses, sans cusps, dont le groupe fondamental est complexe ? Comment exprimer le déterminant à une boucle comme un opérateur topologique dépendant de la structure du groupe fondamental $\Gamma$ ?

2. Méthodologie

Les auteurs proposent une prescription unifiée basée sur la réalisation des variétés hyperboliques 3D comme quotients de l'espace hyperbolique $H^3$ par un sous-groupe discret $\Gamma$ de $PSL(2, \mathbb{C})$ (groupes de Klein).

$$M = H^3 / \Gamma$$

La méthodologie repose sur trois piliers principaux pour dériver et valider le résultat :

1. Formulation Chern-Simons : La gravité 3D est reformulée comme une théorie de Chern-Simons avec des connexions $A_L$ et $A_R$ à valeurs dans $\mathfrak{sl}(2, \mathbb{R})$. Les propriétés géométriques (longueurs géodésiques, torsion) sont encodées dans les holonomies de ces connexions.
2. Utilisation du Groupe Fondamental : Les classes de conjugaison $[\gamma]$ de $\Gamma$ sont identifiées aux boucles libres non contractibles de $M$. Les auteurs exploitent la décomposition de chaque élément $\gamma$ en un élément primitif $\gamma_0$ et une multiplicité $n_\gamma$.
3. Trois approches de dérivation :
   • Formule de Trace de Selberg : Relie le spectre du Laplacien sur la variété quotient au spectre des longueurs complexes des géodésiques fermées.
   • Intégrale de chemin sur la ligne du monde (Worldline) : Calcule le déterminant fonctionnel en sommant sur les trajectoires fermées, en relevant le calcul sur le revêtement universel $H^3$. Cela permet d'interpréter le facteur de multiplicité $n_\gamma$ comme un facteur de symétrie topologique.
   • Modes Quasi-Normaux (QNM) : Utilise la méthode des pôles du déterminant dans le plan complexe du paramètre de masse, en imposant des conditions de régularité et de monodromie sur les cycles de la variété.

3. Contributions Clés et Résultats Principaux

Le résultat central de l'article est la généralisation du Wilson spool à n'importe quelle variété hyperbolique 3D lisse et sans cusp.

A. La Prescription du Wilson Spool Généralisé

Pour une variété $M = H^3/\Gamma$, le logarithme du déterminant à une boucle pour un champ de spin $s$ et de dimension conforme $\Delta$ est donné par :

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

où l'opérateur $W_\Gamma$ est défini comme une somme sur les classes de conjugaison non triviales de $\Gamma$ (notées $[\Gamma]_+$, correspondant à des boucles non orientées avec longueur géodésique positive) :

$$W_\Gamma = \sum_{[\gamma] \in [\Gamma]_+} \frac{1}{n_\gamma} \sum_{R \in \mathcal{R}_{\Delta, s}} \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]$$

• $n_\gamma$ : La multiplicité de l'élément $\gamma$ (le nombre de fois qu'il s'enroule autour de la géodésique primitive). Ce facteur est crucial pour compter correctement les états physiques et agit comme un facteur de symétrie topologique.
• Représentations $R$ : La somme porte sur les représentations de poids le plus bas (ou le plus haut) de $\mathfrak{sl}(2, \mathbb{R})_L \oplus \mathfrak{sl}(2, \mathbb{R})_R$ qui satisfont la condition de masse-shell.
• Interprétation Off-Shell : L'opérateur est construit uniquement à partir de quantités topologiques et de jauge-invariantes (holonomies). Les auteurs postulent que cette expression est valable "off-shell" (en dehors des équations du mouvement) au sens des valeurs moyennes dans l'intégrale de chemin gravitationnelle.

B. Forme Intégrale

En utilisant la relation entre les caractères des représentations et les sommes géométriques, les auteurs réécrivent le spool sous une forme intégrale sur un contour $C$ dans le plan complexe $\alpha$ :

$$W_\Gamma = \frac{i}{2} \sum_{[\gamma_0]_+} \sum_{R} \int_C \frac{d\alpha}{\alpha} \frac{\cos(\alpha/2)}{\sin(\alpha/2)} \dots$$

Cette forme met en évidence que le spool est une somme de contributions provenant de chaque générateur primitif $\gamma_0$ de la variété.

C. Validation et Comparaison

• Cas connus : Pour les quotients simples (comme le BTZ ou l'AdS thermique où $\Gamma \cong \mathbb{Z}$), le résultat reproduit exactement les déterminants à une boucle connus (Giombi, Maloney, Yin).
• Nouveauté : Pour les champs de spin $s \ge 2$ sur des quotients hyperboliques généraux (non élémentaires), ce résultat fournit une expression explicite pour le déterminant à une boucle, qui n'existait pas auparavant dans la littérature.

4. Signification et Implications

1. Unification Topologique : L'article établit un lien direct entre la topologie complexe des variétés 3D (via le groupe fondamental $\Gamma$) et les observables quantiques de la gravité. Il montre que la complexité topologique se traduit simplement par une somme sur les classes de conjugaison du groupe.
2. Opérateurs Topologiques Off-Shell : La construction suggère que les déterminants à une boucle peuvent être traités comme des opérateurs topologiques dans l'intégrale de chemin gravitationnelle, indépendamment des détails métriques locaux, tant que la topologie est fixée.
3. Extension aux Variétés Compactes : La prescription s'applique à des variétés compactes (comme la variété de Weeks) qui ne sont pas holographiques au sens usuel (pas de frontière asymptotique), élargissant ainsi le domaine d'application des techniques de gravité 3D.
4. Perspectives Futures :
   • L'article ouvre la voie à l'étude des orbifolds (présence d'éléments elliptiques) et des espaces à cusps (éléments paraboliques), où la structure des pôles et la convergence des caractères deviennent plus subtiles.
   • Il suggère une connexion profonde avec les fonctions zêta de Selberg et les théories de champ topologique (TQFT) de Virasoro pour une formulation quantique complète de la gravité 3D couplée à la matière.

En résumé, ce travail fournit un outil puissant et général pour calculer les corrections quantiques à une boucle dans la gravité AdS$_3$, en traduisant un problème spectral complexe en une somme topologique sur les cycles fondamentaux de l'espace-temps.