The gravitational index and allowable complex metrics

Resumo Técnico: O Índice Gravitacional e Métricas Complexas Permitidas

Problema
A integral de trajetória gravitacional (GPI) é uma ferramenta fundamental para o estudo da gravidade quântica, onde observáveis são computados somando-se configurações de campos gravitacionais ponderadas por sua ação euclidiana. No limite semiclássico, essa soma é dominada por pontos de sela que correspondem a soluções clássicas. No entanto, surge uma ambiguidade significativa em relação a quais métricas complexas devem ser incluídas nessa soma. Especificamente, buracos negros rotativos supersimétricos, quando continuados analiticamente para o tempo euclidiano para computar índices supersimétricos, geram genericamente métricas complexas. O problema central abordado é determinar a validade desses pontos de sela complexos: eles são contribuições "permitidas" para a integral de trajetória gravitacional ou devem ser excluídos?

Os autores investigam o critério Kontsevich–Segal–Witten (KSW), uma proposta de Witten baseada no trabalho de Kontestevich e Segal, que fornece uma condição para a permitibilidade de métricas complexas. O artigo busca comparar o critério KSW contra dois outros requisitos físicos no contexto da contagem de microestados de buracos negros supersimétricos:

1. Consistência Geométrica: Condições derivadas da suavidade das seções euclidianas e da estrutura causal da correspondente continuação lorentziana (ex: existência de horizontes, ausência de frames superluminais).
2. Convergência Microscópica: O requisito de que o traço microscópico dual (o índice supersimétrico na teoria de fronteira) converja, impondo restrições sobre potenciais químicos complexos.

Metodologia
Os autores aplicam o critério KSW a pontos de sela complexos encontrados nas integrais de trajetória gravitacionais correspondentes a três índices supersimétricos específicos em diferentes fundos assintóticos:

1. Espaço Assintoticamente Plano (AF) em 4D ($AF_4$): O índice supersimétrico (supertraço de helicidade) em supergravidade não acoplada $N=2$.
2. Espaço Assintoticamente AdS (AAdS) em 4D ($AAd_4$): O índice topologicamente torcido em supergravidade mínima acoplada.
3. Espaço Assintoticamente AdS em 4D ($AAd_4$): O índice superconforme em supergravidade mínima acoplada.

Para cada caso, os autores:

• Constroem as soluções de pontos de sela complexos relevantes impondo supersimetria às equações de movimento gravitacionais e realizando as continuações analíticas necessárias dos parâmetros (como velocidade angular e potencial elétrico) para satisfazer as condições de contorno para férmions.
• Analisam o critério KSW, que exige que em cada ponto da variedade, a métrica induza uma forma quadrática complexa tal que a parte real da raiz quadrada do determinante multiplicada pela contração da métrica com qualquer $q$-forma real não nula seja positiva. Isso é matematicamente equivalente a exigir que a soma dos valores absolutos dos argumentos dos autovalores da métrica (em uma base real) seja menor que $\pi$.
• Derivam as restrições no espaço de parâmetros impostas pela consistência geométrica (suavidade do instanton, ausência de superfícies de velocidade-da-luz na continuação lorentziana).
• Derivam as restrições impostas pela convergência do traço microscópico (garantindo que a parte real da temperatura inversa $\beta$ seja positiva e a parte imaginária do potencial químico $\tau$ seja positiva).

Principais Contribuições e Resultados

1. Espaço AF4 (Índice Supersimétrico):

   • Os pontos de sela correspondem a soluções supersimétricas da família Israel–Wilson–Perjes.
   • Para satisfazer a supersimetria e as condições de contorno, a velocidade angular deve ser continuada analiticamente para ser puramente imaginária.
   • Essa continuação torna a métrica real (Riemanniana). Consequentemente, a métrica satisfaz trivialmente o critério KSW.
   • A condição para que a métrica seja suave (exigindo que a coordenada radial seja real e positiva) é encontrada como sendo idêntica à condição necessária para a convergência do traço microscópico.

2. Espaço AAd4 (Índice Topologicamente Torcido):

   • Os selas relevantes são buracos negros díonicos estáticos com um horizonte de superfície de Riemann.
   • Semelhante ao caso AF, satisfazer a supersimetria requer uma continuação analítica da carga elétrica, resultando em uma métrica euclidiana real.
   • O critério KSW é trivialmente satisfeito.
   • A condição para a regularidade da solução ($r_+ > r_*$) é mostrada como sendo exatamente equivalente à condição para a convergência do traço microscópico ($\text{Re}(\beta) > 0$).

3. Espaço AAd4 (Índice Superconforme):

   • Este caso é distinto porque os pontos de sela supersimétricos são intrinsecamente complexos; eles não podem ser tornados reais via continuação analítica de parâmetros.
   • A métrica depende de potenciais químicos complexos (velocidade angular $\Omega$ e potencial elétrico $\Phi_e$).
   • Os autores realizam uma análise detalhada do critério KSW para esta métrica complexa:
     • Próximo ao horizonte: O critério reduz-se a exigir que a parte real da derivada da função radial $\Delta_r$ seja positiva, o que implica $r_+ > r_*$.
     • Região assintótica: O critério exige a ausência de superfícies de velocidade-da-luz ($|\Omega| < 1$) e a positividade de $\text{Re}(\beta)$.
     • Região interior: Verificações numéricas em $10^6$ pontos aleatórios no espaço de parâmetros confirmam que o critério KSW é satisfeito se, e somente se, as restrições geométricas e de convergência forem atendidas.
   • Resultado: A região no espaço de parâmetros permitida pelo critério KSW é precisamente idêntica à região exigida pela convergência do traço microscópico e pela consistência geométrica da solução lorentziana.

Significância e Alegações
O artigo afirma que, em todas as situações consideradas (espaços AF e AAd, diversos índices), os três critérios distintos para selecionar pontos de sela na integral de trajetória gravitacional produzem exatamente a mesma região de validade:

1. O critério KSW (uma condição sobre a permitibilidade de métricas complexas para definir teorias de campos quânticos).
2. Consistência geométrica (suavidade da seção euclidiana e comportamento causal da continuação lorentziana).
3. Convergência microscópica (o requisito de que o traço da teoria de campos dual seja bem definido).

Os autores concluem que essas três regiões "recortadas" pelos diferentes critérios são exatamente as mesmas. Este acordo fornece uma justificativa não trivial para incluir pontos de sela complexos na integral de trajetória gravitacional ao computar índices supersimétricos. Sugere que o critério KSW não é meramente uma condição de consistência matemática, mas está profundamente ligado aos requisitos físicos de estabilidade termodinâmica e à existência de uma descrição microscópica dual bem definida.

O artigo observa que, embora o critério KSW tenha sido estudado em contextos não supersimétricos (ex: fatores de forma espectral, propostas de "sem fronteiras"), este trabalho valida especificamente sua consistência com a entropia de buracos negros supersimétricos e a contagem de microestados. Os autores também reconhecem questões em aberto relativas à generalização para teorias de supergravidade não mínimas (com refinamentos de sabor) e à aplicação do critério a uplifts de dimensões superiores em teoria de cordas/M, onde campos de calibre complexos podem complicar a definição de permitibilidade.