Dynamical axisymmetric compact objects in General Relativity

Resumen Técnico: Objetos Compactos Axialesimétricos Dinámicos en Relatividad General

Planteamiento del Problema
La búsqueda de soluciones exactas que describan objetos compactos asintóticamente Friedmann-Lemaître-Robertson-Walker (FLRW) dentro de la Relatividad General sigue siendo un desafío significativo. Si bien se ha progresado en el caso de simetría esférica (por ejemplo, las soluciones de McVittie, Thakurta y Fonarev), el campo está limitado por la escasez de soluciones exactas para objetos compactos axialesimétricos embebidos en fondos cosmológicos. Una dificultad primordial radica en el dinamismo inherente de estos espaciotiempos, los cuales carecen de un vector de Killing temporal, lo que hace inaplicables las definiciones estándar de horizonte (basadas en horizontes de Killing). Además, los métodos existentes para generar tales soluciones suelen depender de reescalamientos conformes de soluciones de vacío, lo que puede introducir patologías en el sector de la materia (por ejemplo, violaciones de las condiciones de energía) o fallar al resolver la dinámica de forma consistente. Asimismo, analizar la estructura causal de estas geometrías dinámicas es no trivial sin una herramienta generalizada para identificar horizontes de atrapamiento más allá de la simetría esférica.

Metodología
Los autores emplean un enfoque de dos vertientes que combina técnicas de generación de soluciones con herramientas de análisis geométrico:

1. Técnica de Generación de Soluciones: El artículo desarrolla un nuevo método para construir soluciones axialesimétricas exactas y no estacionarias para el sistema Einstein-escalar autointeractuante. Esta técnica sintetiza dos marcos de trabajo existentes:

   • Teorema de Buchdahl: Utilizado para promover una solución de vacío estática a una solución estática, axialesimétrica con un campo escalar (cabello).
   • Método de Fonarev: Utilizado para introducir la dependencia temporal y un potencial de Liouville autointeractuante ($V(\phi) \propto e^{\xi_3 \phi}$) a una semilla estática.
   • Extensión: Los autores demuestran un Teorema de Fonarev Extendido, probando que estos métodos pueden combinarse. Partiendo de una semilla de vacío estática y axialsimétrica (que satisfaga condiciones específicas de coordenadas ignorables), se puede generar una solución dependiente del tiempo, axialsimétrica, con un campo escalar y un potencial específico. La construcción implica un reescalamiento conforme de la métrica mediante una función de la coordenada ignorables y un desplazamiento correspondiente en el perfil del campo escalar.

2. Análisis Geométrico (Vector de Curvatura Media): Para analizar la estructura causal y localizar horizontes en ausencia de simetría esférica, los autores utilizan el Vector de Curvatura Media (MCV) (y su dual), introducido originalmente por Anco.

   • El MCV generaliza el vector de Kodama (que existe solo en simetría esférica) a espaciotiempos arbitrarios.
   • La norma del MCV (o de su dual) proporciona una cantidad independiente de la foliación (aunque dependiente del embebido). Su anulación identifica superficies marginalmente atrapadas o antiatrapadas.
   • Los autores describen cómo el signo de la norma del MCV distingue entre regiones no atrapadas, atrapadas y antiatrapadas, y cómo las derivadas de Lie de las expansiones a lo largo de direcciones nulas caracterizan la naturaleza del horizonte (por ejemplo, agujero negro frente a cosmológico).

Contribuciones Clave y Resultados

1. Primera Solución Dinámica Axialsimétrica Exacta:
   Los autores construyen la primera solución exacta, no vacía, asintóticamente FLRW, axialsimétrica del sistema Einstein-escalar con una fuente compacta.

   • Semilla: La semilla estática es la métrica Zipoy-Voorhees (ZV) (también conocida como métrica $\gamma$), una solución de vacío que representa una geometría de Schwarzschild deformada con un momento cuadrupolar.
   • Solución Resultante: La aplicación del teorema de Fonarev extendido produce una métrica dependiente del tiempo (Ec. 4.4) y un campo escalar (Ec. 4.5). La solución se caracteriza por la masa $M$, parámetros de carga escalar ($\beta, \delta$) y un parámetro de escalamiento temporal $C$.
   • Asintótica: A radios grandes, la solución se reduce a una métrica FLRW plana llena de un campo escalar homogéneo y dependiente del tiempo, confirmando su embebido cosmológico.

2. Análisis de Horizonte vía MCV:
   El artículo aplica el marco del MCV a la nueva solución ZV-FJNW para identificar horizontes de atrapamiento.

   • Dependencia del Embebido: A diferencia de la simetría esférica, donde el horizonte se define naturalmente por $r = \text{const}$, la naturaleza axialsimétrica de la métrica ZV provoca que la norma del MCV dependa del ángulo polar $\theta$. Por consiguiente, la condición para una superficie marginalmente atrapada ($H^2 = 0$) no puede satisfacerse globalmente mediante un simple embebido de $r = \text{const}$.
   • Limitaciones Analíticas: Los autores demuestran que, si bien el MCV identifica con éxito la presencia de comportamiento marginalmente atrapado de forma local, una caracterización completa de la estructura del horizonte requiere un embebido deformado $r = r(\theta)$. Esto requiere métodos numéricos para una descripción analítica completa, lo cual los autores señalan que está más allá del alcance del presente trabajo, aunque delinean el procedimiento necesario.
   • Casos Especiales: El artículo señala que para ciertas geometrías donde el factor de dependencia angular se factoriza (por ejemplo, extensiones magnetizadas específicas), el embebido trivial sigue siendo válido, permitiendo un análisis de horizonte totalmente analítico.

Significancia y Reivindicaciones
El artículo afirma avanzar en la descripción de objetos compactos dinámicos en cosmología de dos maneras específicas:

• Marco para la Dinámica Axialsimétrica: Proporciona un marco riguroso de generación de soluciones que va más allá de la simetría esférica, permitiendo la construcción de soluciones exactas de agujeros negros (y blancos) dinámicos con cabello escalar en un fondo FLRW. Esto aborda la limitación de trabajos previos que estaban mayormente confinados a semillas esféricas o reescalamientos conformes patológicos.
• Herramientas de Horizonte Generalizadas: Aboga por el uso del Vector de Curvatura Media como la extensión natural del vector de Kodama para espaciotiempos axialsimétricos. El trabajo aclara que, si bien el MCV ofrece un método independiente de las coordenadas para identificar regiones atrapadas, su aplicación a espaciotiempos dinámicos axialsimétricos genéricos introduce una dependencia del embebido que debe manejarse con cuidado, requiriendo a menudo la intervención numérica para resolver la geometría del horizonte plenamente.

Los autores concluyen que sus resultados ofrecen un marco para investigar más a fondo objetos compactos axialsimétricos dinámicos, incluyendo escenarios de acreción escalar dinámica y el estudio de agujeros negros primordiales (PBHs) en entornos cosmológicos. Expresan explícitamente que la relevancia física de su solución específica (respecto a la formación de un agujero negro frente a una región atrapada transitoria) requiere de una investigación numérica adicional para determinar las trayectorias precisas del horizonte y su evolución en el tiempo.