Charged and rotating near-horizon geometries in five dimensions

Resumo Técnico: Geometrias de Próximo ao Horizonte Carregadas e Rotativas em Cinco Dimensões

Problema
A classificação dos horizontes de buracos negros extremais em teoria de Einstein-Maxwell em cinco dimensões permanece incompleta. Embora as soluções completas do espaço-tempo para buracos negros carregados e rotativos com dois momentos angulares independentes não sejam conhecidas analiticamente (existindo apenas numericamente ou perturbativamente), a geometria de próximo ao horizonte de tais horizontes extremais oferece um problema mais tratável devido à simetria $SO(2,1)$ ampliada. Resultados analíticos anteriores foram limitados a casos especiais: horizontes Myers-Perry de vácuo, horizontes carregados estáticos em campos elétricos de fundo, ou horizontes homogêneos onde os momentos angulares são iguais. Uma solução analítica geral para uma geometria de próximo ao horizonte carregada e rotativa com dois momentos angulares independentes em teoria pura de Einstein-Maxwell (acoplamento de Chern-Simons zero) era anteriormente desconhecida. Além disso, embora construções numéricas de Horowitz e Santos tenham sugerido a existência de tais soluções e indicado relações de entropia específicas, faltavam formas analíticas fechadas.

Metodologia
Os autores trabalham dentro da teoria de Einstein-Maxwell-Chern-Simons em cinco dimensões, definida por uma ação com uma constante de acoplamento $\lambda$. Eles focam em horizontes extremais, utilizando o formalismo de próximo ao horizonte onde a geometria é determinada por dados em uma seção transversal compacta $H$.

1. Redução das Equações: Os autores primeiro reduzem as equações de movimento de próximo ao horizonte para geometrias com simetria $U(1) \times U(1)$ a um sistema de três equações diferenciais ordinárias (ODEs) de segunda ordem acopladas para as funções $|K|^2$, $\Gamma$ e o campo elétrico corrotativo $\chi$, sujeitas a uma restrição de primeira ordem.
2. Contagem de Parâmetros: Ao analisar as condições de contorno e a estrutura das ODEs, eles estabelecem que qualquer família suave de soluções em uma seção transversal esférica pode depender de, no máximo, cinco parâmetros contínuos.
3. Ansatz: Para encontrar soluções explícitas, eles impõem a condição de que o campo elétrico corrotativo $\chi$ seja uma constante não nula. Essa suposição simplifica significamente o sistema, permitindo a integração das ODEs.
4. Estrutura Sasakiana: Os autores identificam uma estrutura Sasakiana subjacente nas seções transversais esféricas de soluções com campos elétricos corotativos constantes e não nulos. Eles utilizam essa estrutura geométrica para provar que tais soluções devem admitir um segundo vetor de Killing comutante, estabelecendo assim uma isometria $U(1) \times U(1)$ sem assumi-la a priori.
5. Generalização: A construção é estendida para dimensões ímpares superiores ($2n+3$) partindo de uma variedade Sasaki-Einstein de $(2n+1)$ dimensões.

Contribuições Principais e Resultados

• Novas Famílias Analíticas: O artigo apresenta novas soluções analíticas de forma fechada para geometrias de próximo ao horizonte carregadas e rotativas em cinco dimensões.
  • Einstein-Maxwell Puro ($\lambda=0$): Duas famílias distintas de três parâmetros são construídas.
    • Família 1: Conecta-se a soluções estáticas conhecidas (horizontes "squashed") e as generaliza para casos rotativos.
    • Família 2: Conecta-se a uma fatia específica de duas parâmetros de soluções de vácuo (tipo Kaluza-Klein) em vez do horizonte Myers-Perry extremal padrão.
  • Supergravidade Mínima ($\lambda=1$): Duas famílias de três parâmetros são identificadas. Uma possui tanto limites estáticos quanto de vácuo; a outra conecta-se a soluções estáticas.
  • Acoplamento Geral ($\lambda \neq 0, 1$): Uma família de soluções de três parâmetros é derivada para qualquer acoplamento de Chern-Simons, consistindo de múltiplas regiões disjuntas no espaço de parâmetros.
• Relações de Entropia: As novas soluções satisfazem relações de entropia simples que coincidem com as previstas numericamente para buracos negros Myers-Perry carregados extremais. Especificamente:
  • A Família 1 satisfaz $S \propto |Q|^{3/2} + |J_1 J_2|/|Q|^{3/2}$.
  • A Família 2 satisfaz $S \propto \sqrt{|J_1 J_2|}$.
  • Notavelmente, a Família 2 satisfaz a relação de entropia esperada para horizontes Myers-Perry carregados, apesar de não reduzir ao horizonte Myers-Perry no limite de vácuo.
• Teorema de Classificação: Os autores provam o Teorema 1: Qualquer geometria de próximo ao horizonte rotativa de cinco dimensões com um campo elétrico corotativo constante e não nulo e seções transversais de horizonte compactas é dada por uma das soluções apresentadas. Esta classificação ocorre sem assumir a existência de simetrias nas seções transversais do horizonte; a simetria $U(1) \times U(1)$ é uma consequência derivada da condição de campo elétrico constante e da estrutura Sasakiana.
• Dimensões Superiores: A construção é generalizada para $(2n+3)$ dimensões, mostrando que qualquer variedade Sasaki-Einstein gera uma família de dois parâmetros de horizontes carregados e rotativos.

Significância e Alegações
O artigo afirma fornecer a primeira descrição analítica de geometrias de próximo ao horizonte carregadas e rotativas com dois momentos angulares independentes em teoria pura de Einstein-Maxwell. Uma descoberta central é a existência de soluções que satisfazem as relações de entropia dos buracos negros Myers-Perry carregados extremais conjecturados, mas que são distintas do horizonte Myers-Perry no limite de vácuo. Isso sugere que o horizonte Myers-Perry carregado pode pertencer a uma família mais geral de soluções ou que a relação de entropia é uma característica robusta de uma classe mais ampla de geometrias.

Os autores enfatizam que suas soluções são os horizontes extremais rotativos mais gerais para os quais o campo elétrico corotativo é constante. Eles não alegam ter encontrado a solução analítica completa para o próprio buraco negro Myers-Perry carregado extremal, observando que suas soluções não se reduzem a ele no limite de vácuo (exceto para subcasos específicos). Em vez disso, eles propõem que sua Família 1 pode coincidir com as soluções numéricas encontradas por Horowitz e Santos, enquanto a Família 2 pode representar uma fatia diferente de um espaço de solução mais geral.

O trabalho também resolve uma questão sobre a existência de soluções não-vácuo com campo elétrico corotativo vanishing (nulo) em topologias esféricas, provando que elas não existem. Finalmente, a identificação da estrutura Sasakiana fornece uma poderosa ferramenta geométrica para classificar esses horizontes e construir generalizações em dimensões superiores, estendendo as construções anteriores de vácuo para o setor carregado e rotativo.