Convexity criterion and radial-profile response for off-shell Kerr geometries: a fuzzy-dark-matter profile as an analytic benchmark

Resumen Técnico: Criterio de Convexidad y Respuesta del Perfil Radial para Geometrías Kerr Fuera de la Órbita (Off-Shell)

Planteamiento del Problema
La naturaleza de la materia oscura (DM) sigue siendo un problema central abierto, donde los campos bosónicos ultraligeros (materia oscura difusa o fuzzy dark matter, FDM) ofrecen una alternativa convincente que modifica las estructuras galácticas mediante longitudes de onda de de Broglie macroscópicas. Un desafío crítico al modelar agujeros negros (BH) embebidos en tales entornos es distinguir entre la masa total asintótica (masa ADM) y la distribución de masa radial local. La mayoría de los enfoques existentes tratan la materia oscura de forma perturbativa sobre un fondo Kerr fijo o introducen modificaciones métricas fenomenológicas sin verificaciones de consistencia rigurosas. Además, la construcción de soluciones exactas, estacionarias y axisimétricas para agujeros negros en rotación soportados por configuraciones escalares realistas es generalmente intratable. El algoritmo de Newman–Janis se utiliza frecuentemente para generar métricas rotatorias a partir de semillas estáticas, pero el paso de complejización no es único, y las geometrías "fuera de la órbita" (off-shell) resultantes pueden no resolver las mismas ecuaciones de materia que sus semillas estáticas. Este artículo aborda la necesidad de un referente analítico controlado para aislar los efectos de un perfil de masa radial finito en observables de campo fuerte (horizontes, esferas de fotones, sombras) sin pretender una solución de Einstein–Klein–Gordon rotatoria autoconsistente.

Metodología
Los autores construyen una geometría tipo Kerr efectiva basada en una semilla estática, esféricamente simétrica, derivada de un perfil de densidad específico inspirado en FDM:
$$\rho_{\text{FDM}}(r) = \rho_c \left[ 1 + \alpha \left( \frac{r}{r_c} \right)^2 \right]^{-8}$$
donde $\alpha = 2^{1/8} - 1$.

1. Construcción de la Semilla Estática: Se integra exactamente la masa encerrada $m(r)$ a partir del perfil de densidad. La métrica estática se define utilizando una condición de cierre de una función ($g_{tt}g_{rr} = -1$), lo que fija la presión radial como $p_r = -\rho$. Esto produce una solución de fluido anisotrópico estático.
2. Extensión Rotatoria: Se aplica el algoritmo de Newman–Janis a la semilla estática para generar una métrica estacionaria y axisimétrica. Crucialmente, la función radial $\Delta(r)$ se define como $\Delta(r) = r^2 - 2r m(r) + a^2$, asegurando que dependa solo de $r$. Esto preserva la separabilidad de la ecuación de Hamilton–Jacobi para geodésicas nulas (separabilidad de Carter).
3. Referentes Analíticos: Los autores derivan una condición suficiente para la convexidad de $\Delta(r)$ para clasificar las estructuras de los horizontes globalmente. Luego, realizan una expansión perturbativa de primer orden en la fracción de masa del solitón $f_{\text{sol}} = M_{\text{sol}}/M_{\text{ADM}}$ para derivar funciones de respuesta para horizontes, ramas extremales y órbitas de fotones.
4. Análisis Comparativo: Los resultados se comparan contra:
   • El cálculo completo del perfil radial (exacto dentro del ansatz).
   • Una expansión perturbativa de primer orden.
   • Un reemplazo de masa ADM constante (donde $m(r) \to M_{\text{ADM}}$), que recupera la geometría Kerr estándar.
   • Diversas incertidumbres de completitud en el límite de rotación lenta.

Contribuciones Clave

1. Criterio de Convexidad para Geometrías Kerr Fuera de la Órbita (Off-Shell):
   El artículo establece una condición suficiente para la convexidad estricta de la función radial $\Delta(r) = r^2 - 2r m(r) + a^2$. Para una función de masa $m(r)$ positiva y no decreciente de clase $C^2$, la desigualdad:
   $$1 - 2m'(r) - r m''(r) > 0$$
   garantiza que $\Delta(r)$ sea estrictamente convexo para $r > 0$.

   • Implicación: Esto garantiza que para $a \neq 0$, $\Delta(r)$ tenga como máximo dos raíces positivas (que definen horizontes interno y externo) o ninguna. Para $a=0$, hay exactamente una raíz positiva. Este teorema proporciona una clasificación global de la topología del horizonte, descartando ramas extremales secundarias u otros horizontes adicionales para una amplia clase de funciones de masa monótonas, siempre que se cumpla el límite de la derivada.

2. Referente Inspirado en FDM:
   Los autores demuestran que el perfil específico de FDM satisface el criterio de convexidad sobre un dominio significativamente más amplio que el espacio de parámetros utilizado para los escaneos numéricos ($f_{\text{sol}} / (r_c/M_{\text{ADM}}) < 0.69$). Proporcionan expresiones de forma cerrada para la masa encerrada, las condiciones de la rama extrema y los límites de la condición de energía débil (WEC).

3. Teoría de Respuesta de Perfil-Funcional:
   El artículo deriva fórmulas de respuesta de primer orden para observables bajo deformaciones generales $m(r) = M_{\text{ADM}}(1 + \epsilon h)$.

   • Horizontes y Extremidad: Los desplazamientos en el horizonte exterior y el espín extremo dependen de combinaciones locales de $h$ y $h'$.
   • Región de Fotones: El radio de la esfera de fotones depende tanto de la masa encerrada $m(r)$ como del gradiente de masa $m'(r)$.
   • Sombra: Se muestra que el área y la forma de la sombra son sensibles a la distribución radial de la masa, no solo a la masa ADM total.

4. Distinción entre Respuestas Robustas y Condicionales:
   Un hallazgo crítico es la separación de las respuestas en dos categorías:

   • Controladas por el Perfil (Robustas): La ubicación del horizonte estático, el radio de la esfera de fotones y el área de la sombra (en el primer orden) están determinados únicamente por la función de masa radial $m(r)$.
   • Dependientes de la Completitud (Condicionales): Los desplazamientos de la sombra con signo de espín dependen de la elección específica de la completitud rotatoria (por ejemplo, la función de arrastre de marco $\omega(r)$). La prescripción de Newman–Janis no es única; otras completitudes pueden producir desplazamientos comparables o mayores en la sombra, lo que indica que los observables dependientes del espín no son predicciones robustas del perfil radial por sí solo.

Resultados

• Estructura del Horizonte: El espín extremo $j_{\text{ext}}$ disminuye a medida que aumenta la fracción de masa ambiental $f_{\text{sol}}$. El radio del horizonte se desplaza hacia adentro en comparación con un agujero negro de Kerr con la misma masa ADM.
• Condición de Energía Débil (WEC): La fuente efectiva rotatoria satisface la WEC en la región exterior solo si el horizonte exterior $r_+$ se encuentra fuera de un radio crítico $r_{\text{WEC}}$ donde la densidad de energía transversal se vuelve negativa. Esto define un "dominio de consistencia basado en el signo" distinto del dominio de existencia del horizonte.
• Validez de la Aproximación:
  • La aproximación de masa ADM constante (reemplazando $m(r)$ por $M_{\text{ADM}}$) falla en capturar cualquier efecto del perfil radial, devolviendo los resultados estándar de Kerr independientemente de $f_{\text{sol}}$.
  • La expansión perturbativa de primer orden es precisa (errores de orden inferior al percentil) para $f_{\text{sol}} \lesssim 0.1$ y espines moderados ($j_{\text{ADM}}/j_{\text{ext}} \lesssim 0.7$). Sin embargo, se vuelve no uniforme e inexacta cerca del límite extremo ($j_{\text{ADM}} \to j_{\text{ext}}$), particularmente para la ubicación del horizonte.
• Observables de la Sombra: La distribución de masa ambiental modifica el tamaño y la forma de la sombra. Sin embargo, el desplazamiento horizontal de la sombra es altamente sensible a la elección de la completitud rotatoria, lo que la convierte en un indicador no robusto del perfil de FDM en ausencia de una solución escalar rotatoria fundamental.

Significancia y Reivindicaciones
El artículo enmarca explícitamente sus contribuciones como referentes analíticos formales en lugar de predicciones astrofísicas o soluciones físicas autoconsistentes.

• No es una Solución Fundamental: Los autores enfatizan que la geometría construida es una métrica "efectiva". No pretenden que sea una solución de las ecuaciones de Einstein–Klein–Gordon para un campo escalar rotatorio. El cierre de presión y las funciones de arrastre de marco se eligen para la tractabilidad analítica (Newman–Janis) en lugar de ser derivados de un lagrangiano de materia fundamental.
• Utilidad como Referente: El valor principal reside en aislar las consecuencias geométricas de un perfil de masa radial finito. Demuestra que los observables de campo fuerte están controlados por los derivados locales de la función de masa ($m', m''$), los cuales se pierden al reemplazar la masa distribuida por una masa puntual.
• Limitaciones: El trabajo señala que para núcleos de FDM astrofísicos realistas, los efectos de gradiente en campo fuerte son insignificantes ($\ll 10^{-20}$) a menos que el solitón se comprima artificialmente. La "caja de producción compacta" utilizada para los escaneos numéricos es un espacio de parámetros formal, no una realización de un núcleo de FDM no perturbado.
• Conclusión: El trabajo proporciona un marco matemático riguroso (el teorema de convexidad) para clasificar las estructuras de los horizontes en geometrías Kerr fuera de la órbita y cuantifica la pérdida de información incurrida al aproximar la materia oscura distribuida como una masa constante. Destaca que, mientras que los observables estáticos dependen del perfil, los observables dependientes del espín requieren una completitud rotatoria derivada de la fuente para ser físicamente significativos.