A CMC existence result for expanding cosmological spacetimes

Aquí presento un resumen técnico detallado del artículo "A CMC existence result for expanding cosmological spacetimes" de Gregory J. Galloway y Eric Ling, estructurado según los puntos solicitados.

1. El Problema: Existencia de Hipersuperficies de Curvatura Media Constante (CMC)

El problema central abordado en el artículo es la existencia de hipersuperficies espaciales de Curvatura Media Constante (CMC) en el contexto de espaciotiempos cosmológicos.

• Contexto Físico y Matemático: En la Relatividad General, para resolver las ecuaciones de Einstein, es crucial obtener datos iniciales que satisfagan las ecuaciones de restricción. El método conformal estándar para resolver estas ecuaciones se simplifica drásticamente si se asume que la curvatura media de los datos iniciales es constante. Además, trabajar en el gauge CMC ofrece ventajas significativas para la evolución de las ecuaciones de Einstein.
• Definición del Espaciotiempo: Se consideran "espaciotiempos cosmológicos", definidos como espaciotiempos globalmente hiperbólicos con superficies de Cauchy compactas que satisfacen la condición de energía fuerte ($Ric(X, X) \geq 0$ para todo vector temporal $X$).
• La Conjetura: Galloway y Ling, junto con Dilts y Holst, habían planteado la conjetura de que cualquier espaciotiempo cosmológico que sea completo geodésicamente hacia el futuro y satisfaga la condición de energía fuerte debe contener necesariamente una superficie de Cauchy CMC.
• El Desafío: Resultados previos requerían condiciones de curvatura más fuertes (como curvatura seccional temporal no positiva). El objetivo era demostrar la existencia bajo la condición de energía más débil (solo $Ric \geq 0$), asumiendo además la existencia de una superficie inicial que esté "expandiéndose".

2. Metodología

La prueba se basa en una combinación de análisis geométrico, teoría de flujo de curvatura media y topología global de espaciotiempos.

• Flujo de Curvatura Media Prescrita: Se utiliza el flujo de curvatura media (MCF) modificado para buscar superficies con curvatura media constante $c$. La ecuación de evolución es:
  $$\frac{d}{ds}F(x, s) = [(H - c)\nu](x, s)$$
  donde $H$ es la curvatura media y $\nu$ el vector normal futuro.
• Construcción de Barreras (Barriers): El núcleo de la demostración es la construcción de "barreras" en el sentido de soporte (support sense).
  • Se demuestra que, bajo la condición de energía fuerte y completitud futura, las superficies de distancia Lorentziana $S_\tau = \{q \mid d(S, q) = \tau\}$ actúan como barreras superiores con curvatura media acotada ($H \leq n/\tau$).
  • Se asume la existencia de una superficie inicial $V$ con curvatura media no negativa ($H \geq 0$).
• Principio del Máximo y Límites Asintóticos:
  • Se establece un teorema de existencia (Proposición 5) que garantiza que si existen dos barreras (una inferior $S_1$ con $H \geq a$ y una superior $S_2$ con $H \leq b$, con $b < c < a$), el flujo de curvatura media comenzado en una superficie intermedia converge asintóticamente a una superficie suave CMC con curvatura media $c$.
  • Se utiliza el principio del máximo para asegurar que el flujo permanece acotado entre las barreras.
• Análisis del Límite Causal Futuro: En la sección final, se analiza la relación entre la existencia de superficies CMC y la estructura del límite causal futuro ($C^+$), utilizando rayos geodésicos y esferas horocíclicas (horospheres) para conectar la completitud geodésica con la existencia de superficies maximales (curvatura media cero).

3. Contribuciones Clave

1. Resolución Parcial de la Conjetura: Se demuestra que la conjetura de Dilts-Holst y la de los propios autores se cumple si se añade la hipótesis de que el espaciotiempo contiene una superficie de Cauchy con curvatura media no negativa ($H \geq 0$). Esto es un avance significativo sobre resultados previos que requerían curvatura seccional no positiva.
2. Generalización a $\Lambda > 0$: Se extienden los resultados al caso de una constante cosmológica positiva. Se demuestra que, bajo una versión modificada de la condición de energía fuerte ($Ric(X,X) \geq -n\lambda$), si existe una superficie con curvatura media suficientemente grande ($H \geq n\sqrt{\lambda}$), existe una superficie CMC.
3. Técnica de Barreras en el Sentido de Soporte: Se adapta la teoría de flujo de curvatura media de Ecker y Huisken para trabajar con barreras que no son necesariamente suaves, sino que satisfacen condiciones de curvatura en el "sentido de soporte". Esto permite aplicar el flujo a superficies definidas por funciones de distancia Lorentziana, que pueden tener singularidades.
4. Conexión con la Conjetura de Bartnik: Se clarifica la relación entre la existencia de superficies CMC, la completitud geodésica y la estructura del límite causal futuro, mostrando que bajo ciertas condiciones (límite causal futuro espacial), se garantiza la existencia de una superficie de Cauchy maximal (curvatura media cero), lo que implica la división isométrica del espaciotiempo (Splitting Theorem).

4. Resultados Principales

• Teorema 3 (Resultado Principal): Sea $(M, g)$ un espaciotiempo con superficies de Cauchy compactas. Si:

  1. Existe una superficie de Cauchy suave $V$ con curvatura media $H \geq 0$.
  2. $(M, g)$ es completo geodésicamente hacia el futuro.
  3. Satisface la condición de energía fuerte ($Ric(X, X) \geq 0$).
     Entonces, $(M, g)$ contiene una superficie de Cauchy CMC.
  • Nota: Si $H > 0$ en algún punto, se puede encontrar una superficie CMC con curvatura media $c > 0$. Si la superficie inicial es maximal ($H=0$), el resultado es trivial.

• Teorema 7 (Caso $\Lambda > 0$): Bajo una condición de energía modificada para $\Lambda > 0$, si existe una superficie con $H \geq n\sqrt{\lambda}$, existe una superficie CMC.

• Resultados sobre el Límite Causal:

  • Se presenta un contraejemplo (producto warificado múltiple) que muestra que, bajo las condiciones de la Conjetura 2, el límite causal futuro $C^+$ no necesariamente consiste en un solo elemento (a diferencia de lo que ocurría con curvatura seccional no positiva).
  • Sin embargo, se demuestra que si el límite causal futuro es espacial (spacelike) y el espaciotiempo es completo hacia el pasado, entonces existe una superficie de Cauchy maximal, lo que lleva a la división del espaciotiempo (Teorema 10 y Corolario 11).

5. Significancia

Este trabajo es fundamental para la geometría Lorentziana y la cosmología matemática por varias razones:

• Validación de la Hipótesis CMC: Proporciona una justificación rigurosa para el uso del gauge CMC en modelos cosmológicos realistas que satisfacen la condición de energía fuerte y son completos hacia el futuro, siempre que el universo esté "expandiéndose" en algún momento inicial.
• Herramientas Analíticas: La adaptación del flujo de curvatura media a barreras en el sentido de soporte abre nuevas vías para estudiar la estructura global de espaciotiempos sin requerir suavidad global de las superficies de referencia.
• Implicaciones para la Singularidad y la Estabilidad: Al conectar la existencia de superficies CMC con la completitud geodésica y la estructura del límite causal, el artículo aporta luz sobre la naturaleza de las singularidades y la estabilidad global de los modelos cosmológicos.
• Resolución de Problemas Abiertos: Resuelve la conjetura de los autores y de Dilts-Holst en un caso importante, y clarifica las condiciones bajo las cuales se cumple la Conjetura de División de Bartnik, vinculando la geometría local (curvatura media) con la topología global (límites causales).

En resumen, el artículo establece un puente sólido entre la dinámica de flujos geométricos y la estructura causal global de los universos cosmológicos, confirmando que la expansión inicial y la energía positiva son suficientes para garantizar la existencia de foliaciones CMC, una herramienta esencial para la formulación y evolución de la Relatividad General.