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

Resumen Técnico: Agujeros Negros Regulares Estáticos en Teorías de Horndeski

Planteamiento del Problema
La existencia de agujeros negros regulares (BH, por sus siglas en inglés)—espaciotiempos con horizontes de eventos pero sin singularidades de curvatura centrales—sigue siendo una cuestión abierta en la gravedad clásica. Si bien las construcciones a nivel métrico (p. ej., Bardeen, núcleos de de Sitter) proporcionan centros regulares explícitos, estas suelen carecer de una realización consistente en una teoría de campos clásica. En el contexto de las teorías de Horndeski de escalar-tensor en cuatro dimensiones, estudios previos han establecido teoremas de no cabellera (no-hair) para BH estáticos con simetría de desplazamiento (shift-symmetric) o han identificado patologías (fantasmas, inestabilidades de gradiente) en acoplamientos de derivadas no mínimas. Sin embargo, un análisis exhaustivo de si las configuraciones estáticas, esféricamente simétricas y asintóticamente planas pueden satisfacer simultáneamente la estabilidad del horizonte y la regularidad del centro dentro del marco completo de Horndeski ha sido incompleto. Específicamente, no estaba claro si la rama analítica donde el término cinético escalar $X$ se anula en el horizonte ($X(rs)=0$) podía alcanzar un centro regular, o si una completación no analítica controlada podía evadir las obstrucciones existentes.

Metodología
Los autores analizan la acción de Horndeski más general en cuatro dimensiones con un perfil escalar estático e independiente del tiempo $\phi = \phi(r)$ sobre un fondo esféricamente simétrico. El estudio procede clasificando los comportos cerca del horizonte y aplicando una reducción de "jet finito" a las ecuaciones de campo en los puntos críticos (endpoints) ($r \to \infty$, $r = r_s$, $r=0$).

1. Análisis de la Rama del Horizonte: Los autores examinan primero la rama donde el término cinético escalar $X = -\nabla_\mu \phi \nabla^\mu \phi / 2$ es finito y distinto de cero en el horizonte ($X_s \neq 0$). Expanden la métrica y los campos escalares cerca del radio del horizonte $r_s$ y evalúan las velocidades de propagación de las perturbaciones de par impar (gravitacionales) y de par par (escalares).
2. Reducción de la Rama Analítica: Para la rama donde $X(rs) = 0$, los autores asumen que las funciones de acoplamiento $G_i(\phi, X)$ son analíticas en $X=0$. Demuestran que en el infinito asintótico, el horizonte y el centro, la ecuación de movimiento escalar está determinada por un conjunto finito de coeficientes de Taylor (un "jet finito") de las funciones de acoplamiento. Esto permite una reducción no perturbativa de la ecuación escalar a una ley de conservación de corriente.
3. Completación No Analítica: Los autores investigan si las dependencias no analíticas de $X$ (específicamente potencias fraccionarias, raíces cuadradas y logaritmos) pueden evadir la exclusión analítica. Imponen el requisito de regularidad covariante, exigiendo que las singularidades logarítmicas e inversas de $X$ en las ecuaciones de movimiento se cancelen.

Resultos Clave

• Obstrucción de la Rama $X_s \neq 0$: La rama con un término cinético finito y distinto de cero en el horizonte está genéricamente obstruida. A menos que ocurran degeneraciones específicas (el desvanecimiento simultáneo de $G_{5,X}$, $\kappa_r$ y $\kappa$), esta rama sufre velocidades de propagación divergentes o inestabilidades de tipo fantasma/gradiente. Incluso si las degeneraciones se ajustan, la patología típicamente reaparece en órdenes superiores, y los ejemplos no analíticos conocidos (como el de Einstein-Gauss-Bonnet en 4D) son descartados por acoplamiento fuerte o inestabilidades laplacianas.
• Teorema de No Cabellera No Perturbativo (Simetría de Desplazamiento): En la rama regular donde $X(rs) = 0$, para teorías analíticas con simetría de desplazamiento no degeneradas, los autores derivan un teorema de no cabellera no perturbativo. La corriente radial $J_r$ debe ser cero para satisfacer la regularidad tanto en el horizonte como en el centro. Esto fuerza a $\phi' = 0$ en todo el espaciotiempo. Consecuentemente, la métrica se reduce a la solución de Schwarzschild. Para cualquier masa ADM no nula, esto implica una singularidad central; por lo tanto, no existe un BH regular en esta clase.
• Exclusión Perturbativa (No Simetría de Desplazamiento): Para teorías sin simetría de desplazamiento con acoplamientos de potencia positiva (analíticas en $X$), los autores muestran que en la rama perturbativa continuamente conectada con la Relatividad General (límite de acoplamiento pequeño), la solución es nuevamente Schwarzschild. La regularidad del horizonte y la planitud asintótica fijan las constantes de integración a los valores de Schwarzschild, conduciendo a una singularidad central.
• Completación No Analítica Marginal: Los autores identifican que la única completación no analítica marginal capaz de evadir la reducción de corriente analítica es la cadena escalar-Gauss-Bonnet (sGB), específicamente involucrando un término logarítmico quíntico en $G_5$ (p. ej., $G_5 \sim \ln|X|$). Aunque esta estructura específica permite soluciones de agujeros negros con cabellera que evaden el paso de reducción de corriente, los autores encuentran que estas soluciones siguen siendo centralmente singulares.

Significancia y Reivindicaciones
El artículo afirma cerrar brechas significativas en el sector escalar-estático de las teorías de Horndeski respecto a los agujeros negros regulares. Sus principales contribuciones son:

1. Establecer que la rama del horizonte $X_s \neq 0$ genérica es inestable o mal planteada.
2. Probar un teorema de no cabellera no perturbativo para teorías analíticas con simetría de desplazamiento en la rama $X(rs)=0$, demostrando que la regularidad en el centro es incompatible con una masa no nula.
3. Extender la exclusión a las ramas perturbativas sin simetría de desplazamiento conectadas con la Relatividad General.
4. Identificar la cadena escalar-Gauss-Bonnet como la única completación no analítica marginal que satisface la regularidad covariante, señalando al mismo tiempo que incluso esta completación falla en producir un agujero negro regular, ya que las soluciones con cabellera resultantes retienen una singularidad central.

El trabajo concluye que, dentro del sector estático, esféricamente simétrico y asintóticamente plano de las teorías de Horndeski, no existen mecanismos conocidos para construir un agujero negro que sea simultáneamente estable, posea un horizonte regular y un centro regular, a menos que se vaya más allá de las clases analíticas o marginalmente no analíticas específicas analizadas aquí.