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

1. O Problema

O artigo aborda o cálculo das funções de partição de um laço (one-loop partition functions) para campos massivos com spin (escalares e campos de spin $s$) em gravidade tridimensional com uma constante cosmológica negativa (AdS$_3$).

O problema central reside na generalização de uma construção anterior conhecida como "Wilson spool" (carretilha de Wilson). Trabalhos anteriores (como [5–8]) conseguiram expressar o determinante de um laço de campos massivos como um operador de linha topológico (um loop de Wilson) que envolve um único ciclo não contrátil em geometrias específicas, como o espaço-tempo BTZ (buraco negro) ou AdS térmico.

No entanto, a gravidade tridimensional possui uma riqueza topológica muito maior, incluindo variedades hiperbólicas suaves e sem cúspides (cusp-free) que não são simplesmente conectadas a um único ciclo. Essas variedades podem ser descritas como quocientes do espaço hiperbólico $H^3$ por subgrupos discretos $\Gamma$ do grupo de isometrias $PSL(2, \mathbb{C})$. O desafio era formular uma expressão para o determinante de um laço que fosse válida para qualquer quociente hiperbólico suave, lidando com grupos fundamentais gerados por múltiplos elementos não comutativos e suas relações complexas.

2. Metodologia

Os autores utilizam a formulação da gravidade 3D como uma teoria de campo topológico (Chern-Simons) para conectar a geometria da métrica com holonomias de conexões de gauge. A metodologia baseia-se em três pilares principais para derivar e validar o resultado:

1. Formulação de Chern-Simons: A gravidade 3D é tratada como uma teoria de Chern-Simons com conexões $A_L$ e $A_R$ (valores em $\mathfrak{sl}(2, \mathbb{R})_L \oplus \mathfrak{sl}(2, \mathbb{R})_R$). A métrica e a conexão de spin são codificadas nessas conexões.
2. Quocientes Hiperbólicos: As soluções de vácuo são modeladas como $M = H^3/\Gamma$, onde $\Gamma$ é um grupo de Kleinian sem torção (torsion-free). O grupo fundamental $\pi_1(M)$ é isomorfo a $\Gamma$.
3. Três Abordagens de Derivação:
   • Fórmula de Rastreamento de Selberg (Selberg Trace Formula): Relaciona o espectro do Laplaciano (eigenvalores) com o espectro de comprimentos complexos das geodésicas fechadas. Os autores mapeiam essa relação para caracteres de representações de $\mathfrak{sl}(2, \mathbb{R})$.
   • Integral de Caminho Worldline (Worldline Path Integral): O determinante de um laço é expresso como uma integral de caminho de uma partícula pontual (worldline) em $H^3/\Gamma$. Ao levantar a integral para o recobrimento universal $H^3$, a soma sobre loops fechados é reorganizada em uma soma sobre classes de conjugação de $\Gamma$, revelando o fator de multiplicidade $n_\gamma$ como um fator de simetria topológico.
   • Modos Quasinormais (Quasinormal Mode Method): Estende a técnica original de Denef, Hartnoll e Sachdev. Os autores impõem condições de contorno (single-valuedness e regularidade) sobre as representações de $\mathfrak{sl}(2, \mathbb{R})$ ao redor de múltiplos ciclos, generalizando o resultado do AdS térmico para quocientes não elementares.

3. Contribuições Chave e Resultados Principais

O resultado central do artigo é a generalização do "Wilson spool" para variedades hiperbólicas suaves. O logaritmo do determinante funcional de um campo massivo de spin $s$ e dimensão conformal $\Delta$ é expresso como:

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

Onde o operador "Wilson spool" generalizado $W_\Gamma$ é dado por:

$$W_\Gamma = \sum_{[\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]$$

Pontos Técnicos Cruciais:

• Soma sobre Classes de Conjugação: A soma é realizada sobre as classes de conjugação $[\gamma]_+$ de $\Gamma$ que correspondem a loops livres não contráteis com comprimento geodésico positivo.
• Fator de Multiplicidade ($n_\gamma$): Cada elemento $\gamma$ pode ser escrito como $\gamma = (\gamma_0)^{n_\gamma}$, onde $\gamma_0$ é um elemento primitivo. O fator $1/n_\gamma$ atua como um fator de simetria, contabilizando a redundância na contagem de loops que envolvem o mesmo ciclo primitivo múltiplas vezes.
• Representações: A soma sobre representações $R_{LW}^{\Delta, s}$ envolve produtos de representações de peso mais baixo (lowest-weight) de $\mathfrak{sl}(2, \mathbb{R})_L$ e $\mathfrak{sl}(2, \mathbb{R})_R$, cujos pesos são determinados pela massa e spin do campo.
• Forma Integral: O resultado também pode ser reescrito como uma integral de contorno sobre um parâmetro $\alpha$, envolvendo a função cotangente, o que unifica a expressão com resultados anteriores em AdS térmico e destaca a estrutura de polos do determinante.

Validação On-Shell:
Os autores demonstram que, quando avaliados em soluções clássicas (on-shell), onde as holonomias são diagonalizadas em termos de comprimentos complexos de geodésicas, a expressão acima se reduz exatamente aos determinantes de um laço conhecidos para escalares e vetores (trabalho de Giombi, Maloney e Yin) e estende esses resultados para campos de spin $s \geq 2$ em quocientes hiperbólicos gerais, um resultado que não existia na literatura anteriormente.

4. Significado e Impacto

• Generalização Topológica: O trabalho resolve a questão de como tratar operadores de linha em variedades com grupos fundamentais complexos, indo além da topologia simples do toro ou do cilindro.
• Conexão entre Geometria e Topologia: O artigo estabelece uma ponte clara entre a geometria (comprimentos de geodésicas) e a topologia (classes de conjugação do grupo fundamental) na formulação de integrais de caminho gravitacionais.
• Novos Resultados para Spin Alto: Fornece a primeira expressão explícita para determinantes de um laço de campos massivos de spin alto ($s \geq 2$) em variedades hiperbólicas compactas e não compactas (sem cúspides).
• Interpretação Off-Shell: Embora as derivações sejam feitas em métricas on-shell, os autores argumentam que o operador resultante é gauge-invariante e topológico, sugerindo que ele pode ser promovido a um operador válido "off-shell" dentro da integral de caminho gravitacional, capturando flutuações métricas.
• Futuro: O trabalho abre caminho para a compreensão de quocientes com singularidades (orbifolds) e cúspides, além de sugerir uma conexão mais profunda com a Teoria de Campo Topológico (TQFT) de Virasoro para uma tratamento quântico completo da gravidade 3D.

Em resumo, o artigo oferece uma "fórmula universal" para as funções de partição de um laço em gravidade AdS$_3$, unificando a mecânica quântica de worldlines, a teoria de representações de grupos de Lie e a geometria hiperbólica em um único operador topológico elegante.