Static regular black holes in Horndeski theories: analytic no-go and nonanalytic obstructions

Resumo Técnico: Buracos Negros Regulares em Teorias de Horndeski

Enunciado do Problema
A existência de buracos negros (BHs) regulares — espaços-tempos com horizontes de eventos, mas sem singularidades de curvatura centrais — permanece uma questão aberta na gravidade clássica. Embora construções ao nível da métrica (ex: Bardeen, núcleos de de Sitter) forneçam centros regulares explícitos, elas frequentemente carecem de uma realização consistente em teoria de campos clássica. No contexto de teorias de Horndeski escalar-tensoriais de quatro dimensões, estudos anteriores estabeleceram teoremas de "não-cabelo" para BHs estáticos e com simetria de deslocamento (shift-symmetric) ou identificaram patologias (fantasmas, instabilidades de gradiente) em acoplamentos de derivadas não mínimas. No entanto, uma análise abrangente sobre se configurações estáticas, esfericamente simétricas e assintoticamente planas podem simultaneamente satisfazer a estabilidade do horizonte e a regularidade do centro dentro do arcabouço completo de Horndeski permanecia incompleta. Especificamente, não estava claro se o ramo analítico onde o termo cinético escalar $X$ se anula no horizonte ($X(rs)=0$) poderia atingir um centro regular, ou se uma completação não-analítica controlada poderia evitar as obstruções existentes.

Metodologia
Os autores analisam a ação de Horndeski de quatro dimensões mais geral com um perfil escalar estático e independente do tempo $\phi = \phi(r)$ em um background esfericamente simétrico. O estudo procede classificando os comportamentos próximos ao horizonte e aplicando uma redução de "jato finito" (finite-jet reduction) às equações de campo nos pontos críticos ($r \to \infty$, $r = r_s$, $r=0$).

1. Análise do Ramo do Horizonte: Os autores examinam primeiro o ramo onde o termo cinético escalar $X = -\nabla_\mu \phi \nabla^\mu \phi / 2$ é finito e não nulo no horizonte ($X_s \neq 0$). Eles expandem a métrica e os campos escalares próximos ao raio do horizonte $r_s$ e avaliam as velocidades de propagação das perturbações de par ímpar (gravitacionais) e par par (escalares).
2. Redução do Ramo Analítico: Para o ramo onde $X(rs) = 0$, os autores assumem que as funções de acoplamento $G_i(\phi, X)$ são analíticas em $X=0$. Eles demonstram que, na infinidade assintótica, no horizonte e no centro, a equação de movimento escalar é determinada por um conjunto finito de coeficientes de Taylor (um "jato finito") das funções de acoplamento. Isso permite uma redução não-perturbativa da equação escalar para uma lei de conservação de corrente.
3. Completação Não-Analítica: Os autores investigam se dependências não-analíticas de $X$ (especificamente potências fracionárias, raízes quadradas e logaritmos) podem evitar a exclusão analítica. Eles impõem o requisito de regularidade covariante, exigindo que as singularidades logarítmicas e de inverso de $X$ nas equações de movimento se cancelem.

Principais Resultados

• Obstrução do Ramo $X_s \neq 0$: O ramo com um termo cinético finito e não nulo no horizonte é genericamente obstruído. A menos que ocorram degenerescências específicas (anulação simultânea de $G_{5,X}$, $\kappa_r$ e $\kappa$), este ramo sofre de velocidades de propagação divergentes ou instabilidades de fantasma/gradiente. Mesmo que as degenerescências sejam ajustadas, a patologia tipicamente reaparece em ordens superiores, e exemplos não-analíticos conhecidos (como Einstein-Gauss-Bonnet 4D) são descartados por acoplamento forte ou instabilidades de Laplacianas.
• Teorema de Não-Cabelo Não-Perturbativo (Simetria de Deslocamento): No ramo regular onde $X(rs) = 0$, para teorias analíticas com simetria de deslocamento não degeneradas, os autores derivam um teorema de não-cabelo não-perturbativo. A corrente radial $J_r$ deve ser nula para satisfazer a regularidade tanto no horizonte quanto no centro. Isso força $\phi' = 0$ em todo o espaço-tempo. Consequentemente, a métrica reduz-se à solução de Schwarzschild. Para qualquer massa ADM não nula, isso implica uma singularidade central; portanto, não existe um BH regular nesta classe.
• Exclusão Perturbativa (Não-Simetria de Deslocamento): Para teorias não simétricas de deslocamento com acoplamentos de potência positiva (analíticos em $X$), os autores mostram que, no ramo perturbativo continuamente conectado à Relatividade Geral (limite de acoplamento pequeno), a solução é novamente forçada a ser Schwarzschild. A regularidade do horizonte e a planaridade assintótica fixam as constantes de integração aos valores de Schwarzschild, levando a uma singularidade central.
• Completação Não-Analítica Marginal: Os autores identificam que a única completação não-analítica marginal capaz de evitar a redução de corrente analítica é a cadeia escalar-Gauss-Bonnet (sGB), especificamente envolvendo um termo logarítmico quíntico em $G_5$ (ex: $G_5 \sim \ln|X|$). Embora essa estrutura específica permita soluções de buraco negro com "cabelo" que evitam o passo de redução de corrente, os autores descobrem que essas soluções permanecem centralmente singulares.

Significância e Alegações
O artigo afirma fechar lacunas significativas no setor escalar-estático das teorias de Horndeski em relação a buracos negros regulares. Suas principais contribuições são:

1. Estabelecer que o ramo do horizonte $X_s \neq 0$ genérico é instável ou mal posto.
2. Provar um teorema de não-cabelo não-perturbativo para teorias analíticas com simetria de deslocamento no ramo $X(rs)=0$, demonstrando que a regularidade no centro é incompatível com uma massa não nula.
3. Estender a exclusão para ramos perturbativos não simétricos de deslocamento conectados à Relatividade Geral.
4. Identificar a cadeia escalar-Gauss-Bonnet como a única completação não-analítica marginal que satisfaz a regularidade covariante, observando, contudo, que mesmo esta completação falha em produzir um buraco negro regular, visto que as soluções com cabelo resultantes retêm uma singularidade central.

O trabalho conclui que, dentro do setor estático, esfericamente simétrico e assintoticamente plano das teorias de Horndeski, não existem mecanismos conhecidos para construir um buraco negro que seja simultaneamente estável, possua um horizonte regular e um centro regular, a menos que se vá além das classes analíticas ou marginalmente não-analíticas específicas analisadas aqui.