⚛️ general relativity

On a cosmological Oppenheimer-Snyder model: matching McVittie and FLRW spacetimes

Este artículo establece que, si bien es matemáticamente posible un emparejamiento suave y semiglobal entre un espacio-tiempo de McVittie en expansión y un espacio-tiempo FLRW plano mediante una solución única de un sistema de EDO específico, la hipersuperficie de emparejamiento resultante contiene genéricamente regiones espaciotemporales, demostrando así que no existe una fuente isotrópica global para el agujero negro cosmológico de McVittie.

Autores originales: Brien C. Nolan

Publicado 2026-07-30

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Brien C. Nolan

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el universo como una gigantesca y elástica sábana de caucho. En la gran historia de la cosmología, solemos imaginar esta sábana como algo perfectamente liso y uniforme en todas partes, como un océano tranquilo. Este es el modelo de Friedmann-Lemaître-Robertson-Walker (FLRW), el "fondo" estándar de nuestro universo. Pero también sabemos que la gravedad puede ser tan fuerte en ciertos lugares que arruga la sábana en pozos profundos y sin fondo llamados agujeros negros. Durante mucho tiempo, los físicos han intentado unir estas dos ideas: ¿Podemos tomar un océano liso y en expansión y pegar sin problemas un agujero negro sin crear un desgarro dentado en el tejido de la realidad? Este es el enigma definitivo de la "unión" de los espaciotiempos. No se trata solo de dibujar imágenes bonitas; se trata de comprender cómo el universo evoluciona desde un comienzo regular y suave hacia un estado que contiene estos monstruos cósmicos. Si no podemos unirlos de forma fluida, podría significar que nuestras teorías actuales de la gravedad carecen de una pieza crucial del rompecabezas, o que los agujeros negros en un universo en expansión son fundamentalmente diferentes de los que vemos en el espacio vacío.

Entra el espaciotiempo de McVittie, un modelo matemático propuesto hace décadas que intenta describir exactamente esto: un agujero negro situado dentro de un universo en expansión. Es como un remolino en una marea creciente. La gran pregunta ha sido siempre: ¿De dónde vino este remolino? ¿Se formó a partir de una estrella colapsante, como el modelo clásico de Oppenheimer-Snyder donde una bola de polvo colapsa en un agujero negro? O ¿es algo más? En este artículo, el autor Brien C. Nolan se propone averiguar si podemos construir un modelo "Oppenheimer-Snyder cosmológico". El objetivo es ver si podemos tomar una región de un universo liso y en expansión (la parte FLRW) y unirla perfectamente a la región del agujero negro de McVittie a través de una frontera, creando un universo único y fluido donde el agujero negro sea simplemente el "interior" de una nube en colapso.

Nolan trata esto como un complejo rompecabezas donde las piezas están hechas de matemáticas. No asume que la frontera entre las dos regiones sea simplemente una pared de tipo tiempo (como una cáscara sólida por la que podrías caminar); en su lugar, deja que la frontera sea lo que las matemáticas exijan: podría ser una pared, una superficie a la velocidad de la luz, o incluso una superficie que cambia entre ser una pared y una superficie a la velocidad de la luz a medida que pasa el tiempo. Escribe las estrictas reglas de las "condiciones de unión" —el equivalente cósmico a asegurar que los bordes de las piezas del rompecabezas encajen perfectamente sin huecos ni solapamientos en la curvatura del espacio.

Los resultados de este trabajo de detective matemático son sorprendentes y ligeramente decepcionantes para quienes esperaban una historia de origen sencilla. Nolan demuestra que, si bien se puede unir matemáticamente un universo FLRW a un agujero negro de McVittie, la "costura" (la hipersuperficie de unión) se comporta de manera muy extraña. No puede ser una frontera simple, lisa y de tipo tiempo que sea una pared para siempre. En cambio, las matemáticas obligan a la frontera a ser "espaciotemporal" (como un momento en el tiempo en lugar de un lugar en el espacio) en ciertos puntos, particularmente cerca del principio de la línea temporal. De hecho, la frontera debe comenzar en la singularidad pasada del agujero negro (un punto de densidad infinita al principio del tiempo) y evolucionar de una manera que hace imposible ver la región FLRW como un "interior" espacialmente limitado que colapsa para formar el agujero negro.

El artículo descarta explícitamente la existencia de una fuente isotrópica global para el espaciotiempo de McVittie. En otras palabras, no puedes construir un agujero negro de McVittie simplemente tomando una bola de polvo en expansión y dejando que colapse; las matemáticas fallan si intentas forzar la frontera a ser una simple pared de tipo tiempo en todas partes. La frontera debe cambiar su naturaleza, volviéndose "espaciotemporal" en ocasiones, lo que significa que la región FLRW no puede considerarse el "interior" del agujero negro de la misma manera que el clásico modelo de Oppenheimer-Snyder describe una estrella en colapso. Aunque los autores muestran que existe una solución única para el futuro (lo que significa que el agujero negro y el universo pueden coexistir suavemente hacia adelante), el pasado es problemático: la hipersuperficie de unión tropieza con un obstáculo en el mismísimo principio, fallando al no proporcionar un origen limpio y regular para el agujero negro. Así que, aunque el modelo de McVittie es una descripción válida de un agujero negro en un universo en expansión, no parece ser el resultado de un colapso simple y suave de una nube de materia regular e isotrópica. El universo, al parecer, es un poco más complicado que una simple bola de polvo convirtiéndose en un agujero negro.

Resumen Técnico: Acoplamiento de Espacios-Tiempo de McVittie y FLRW

Planteamiento del Problema
El artículo investiga la existencia y la naturaleza de un "modelo de Oppenheimer-Snyder (OS) cosmológico". Específicamente, se pregunta si un espacio-tiempo de McVittie en expansión dado (una solución exacta que representa un agujero negro embebido en un fondo cosmológico isotrópico) puede acoplarse suavemente a través de una hipersuperficie de frontera $\Sigma$ con un espacio-tiempo de Friedmann-Lemaître-Robertson-Walker (FLRW) espacialmente plano. En el modelo OS clásico, una esfera de polvo homogénea colapsa para formar un agujero negro de Schwarzschild, acoplándose a través de una frontera que es en todas partes de tipo tiempo (timelike). Los autores buscan determinar si existe una configuración similar donde la región FLRW actúe como una fuente isotrópica para el exterior de McVittie. Crucialmente, el estudio no presupone que la hipersuperficie de acoplamiento sea de tipo tiempo; en su lugar, permite que el carácter causal de $\Sigma$ varíe (tipo tiempo, tipo espacio o nulo) para ver si tal carácter emerge naturalmente de las condiciones de acoplamiento.

Metodología
Los autores emplean el formalismo general de hipersuperficies para el acoplamiento de espacios-tiempo, utilizando el marco establecido por Nolan y otros (específicamente haciendo referencia a [10]). La metodología consiste en:

Definición de la Geometría: Definir la métrica de McVittie (parametrizada por la masa $m$ y la función de Hubble $H(t)$ ) y la métrica FLRW (parametrizada por la función de Hubble $J(\tau)$ ) en coordenadas de radio de área.
Condiciones de Acoplamiento: Aplicar las condiciones necesarias y suficientes para un acoplamiento suave (ausencia de singularidades de delta en el tensor de Riemann). Estas incluyen:
- Condiciones Preliminares: Continuidad de la métrica inducida (primera forma fundamental) e identificación del radio de área $r$ a través de la frontera.
- Condiciones de Unión: Continuidad de la curvatura extrínseca (o forma fundamental armada) a través de la frontera.
Análisis de Casos: El problema se descompone según el carácter causal de la hipersuperficie $\Sigma$ $Σ$ y el comportamiento del radio de área $r$ $r$ :
- Hipersuperficies nulas (radio constante frente a radio no constante).
- Hipersuperficies no nulas (radio constante frente a radio no constante).
Formulación del Sistema Dinámico: Para el caso más general (no nulo, radio no constante), las condiciones de acoplamiento se reducen a un sistema de ecuaciones diferenciales ordinarias (EDO) de primer orden para las variables que describen la trayectoria de la hipersuperficie ( $r(t), \tau(t)$ ) y la función de Hubble $J(\tau)$ de FLRW, sujeto a una restricción algebraica (continuidad de la masa).
Análisis de Existencia y Unicidad: Los autores analizan este sistema de EDO para demostrar la existencia y unicidad semiglobal de soluciones dado un espacio-tiempo de McVittie específico y datos iniciales.

Contribuciones Clave y Resultados

Reducción a EDOs: El artículo demuestra que el conjunto completo de condiciones de acoplamiento para una hipersuperficie general es equivalente a un sistema no lineal de 3 dimensiones de EDO de primer orden sujeto a una única restricción de valor inicial.
Existencia y Unicidad Semiglobal: El Teorema VI.1 establece que, para un espacio-tiempo de McVittie en expansión dado (con propiedades específicas respecto a $H(t)$ ) y un punto inicial elegido en la hipersuperficie, existe un espacio-tiempo FLRW único y una hipersuperficie de acoplamiento $\Sigma$ única que satisfacen las condiciones de acoplamiento globalmente hacia el futuro.
Carácter Causal de la Hipersuperficie:
- Comportamiento en el Pasado: La hipersuperficie de acoplamiento se origina necesariamente en la singularidad pasada de la región de McVittie ( $r=2m$ ) en un tiempo finito en el pasado.
- Naturaleza Inicial: La hipersuperficie es inicialmente de tipo espacio (spacelike) cerca de la singularidad pasada.
- Evolución Futura: El carácter causal de $\Sigma$ en tiempos tardíos depende de la ecuación de estado de la región de fondo de McVittie. Para ciertas ecuaciones de estado, la hipersuperficie permanece de tipo tiempo; para otras, se vuelve de tipo espacio.
- Orientación Temporal: El tiempo de coordenadas $\tau$ de la región FLRW no aumenta monótonamente con el tiempo de McVittie $t$ a lo largo de la hipersuperficie. Específicamente, $d\tau/dt$ es inicialmente negativa (decreciente) y se vuelve positiva en tiempos tardíos, lo que implica que $\tau$ tiene un mínimo.
Resultados de No-Existencia para Fuentes Isotrópicas:
- Radio Constante No Nulo: Se demuestra que el acoplamiento a través de una hipersuperficie de radio constante es altamente restrictivo, permitiendo solo una familia de un parámetro de funciones de Hubble, lo que descarta los espacios-tiempo de McVittie genéricos.
- Hipersuperficies Nulas: El acoplamiento a través de una hipersuperfide nula de radio constante es imposible para casos no triviales.
- Hipersuperficies Co-movientes: Si la hipersuperficie es co-moviente con el fluido en ambas regiones, la masa de McVittie $m$ debe ser cero (reduciéndose a FLRW). Si es co-moviente en solo una región, la región de McVittie debe ser Schwarzschild-de Sitter.
Fracaso del Modelo de OS Cosmológico: El resultado central es que no existe un modelo de Oppenheimer-Snyder cosmológico global. Debido a que la hipersuperficie de acoplamiento debe contener porciones de tipo espacio (inicialmente y potencialmente en tiempos tardíos), la región FLRW no puede interpretarse como una fuente "interior" espacialmente acotada para el exterior de McVittie de la misma manera que una esfera de polvo lo es en el modelo OS clásico. La hipersuperficie no es de tipo tiempo en todas partes, y el acoplamiento no excide la singularidad pasada de McVittie del espacio-tiempo global.

Significación y Reivindicaciones
El artículo afirma proporcionar un relato exhaustivo del acoplamiento entre los espacios-tiempo de McVittie y FLRW. Su principal significación radica en demostrar rigurosamente que, si bien un acoplamiento suave es matemáticamente posible (existen soluciones y son únicas), este no produce un modelo físico donde una región FLRW isotrópica sirva como la fuente de un agujero negro de McVittie en un sentido evolutivo global.

Los autores concluyen que la interpretación de "fuente isotrópica" del espacio-tiempo de McVittie falla globalmente porque la hipersuperficie de acoplamiento requerida no es de tipo tiempo en todas partes. Esto contrasta con el modelo de Oppenheimer-Snyder, donde la frontera es estrictamente de tipo tiempo. El artículo sugiere que los modelos de cáscara delgada (thin-shell models) —donde la frontera es una cáscara singular con un tensor de energía-impulso no nulo— siguen siendo los candidatos más viables para proporcionar una fuente isotrópica para los espacios-tiempo de McVittie, aunque la estructura global de esas cáscaras sigue siendo una cuestión abierta. El trabajo clarifica las limitaciones de intentar construir espacios-tiempo de McVittie a partir de datos iniciales regulares mediante el acoplamiento suave con interiores FLRW.

Más como este