Null distance on cosmological spacetimes and monotone convergence

Resumen Técnico: Distancia nula en espacios-tiempo cosmológicos y convergencia monótona

Planteamiento del Problema
La teoría métrica de los espacios-tiempo busca aplicar herramientas de la geometría métrica —como la convergencia, la compacidad y la curvatura sintética— a las variedades lorentzianas. Un obstáculo central en este programa es la falta de una función de distancia canónica; la distancia lorentziana estándar (separación temporal) es degenerada, no simétrica y satisface una desigualdad triangular inversa. Para superar esto, Sormani y Vega introdujeron la distancia nula ($\hat{d}$), una pseudodistancia construida a partir de una función de tiempo $\tau$ mediante la medición de la longitud de las curvas causales a través de la variación de $\tau$ únicamente. Bajo condiciones de regularidad moderadas (por ejemplo, anti-Lipschitz local), esta distancia se vuelve definida y codifica la causalidad, permitiendo que los espacios-tiempo sean tratados como espacios métricos.

Un trabajo reciente de Sakovich y Sormani estableció un programa de investigación para la convergencia de Gromov-Hausdorff de tales espacios métricos, específicamente dentro de la clase de espacios-tiempo causalmente-nulos compactificables. Sin embargo, el comportamiento de las distancias nulas bajo límites, particularmente para secuencias de espacios-tiempo cosmológicos donde la métrica espacial evoluciona, requiere mayor investigación. Específicamente, no está claro bajo qué condiciones una secuencia de distancias nulas converge uniformemente, si el espacio límite retiene la estructura causal de la secuencia, y cómo la distancia límite se relaciona con la distancia nula inducida por un tensor métrico límite potencialmente no suave.

Metodología
Los autores se centran en espacios-tiempo cosmológicos de la forma $N = (0, \tau_{\max}) \times M$, equipados con una métrica lorentziana $g = -dt^2 + h(t, x)$, donde $M$ es una variedad compacta y $h(t, \cdot)$ es una familia de métricas riemannianas. El estudio procede en tres etapas principales:

1. Regularidad y Compactificación: Los autores establecen primero que, para los espacios-tiempo cosmológicos con secciones compactas, el tiempo cosmológico $\tau = t$ es regular. Demuestran que la completación métrica de tal espacio-tiempo con respecto a la distancia nula es compacta y bi-Lipschitz equivalente al producto topológico $[0, \tau_{\max}] \times M$ equipado con una "distancia de taxi" ($d((t,x), (s,y)) = |t-s| + d_{t_0}(x,y)$). Esto se basa en resultados auxiliares sobre la continuidad de las constantes de Lipschitz entre métricas riemannianas en variedades compactas y una prueba alternativa de un resultado de Nigri respecto a las distancias nulas en los niveles.
2. Convergencia Monótona: El artículo investiga secuencias de espacios-tiempo cosmológicos $(N, g_j)$ donde los componentes espaciales $h_j$ de la métrica son monótonamente crecientes ($h_j \leq h_{j+1}$) y están uniformemente acotados superiormente por una métrica riemanniana fija $\tilde{h}$. Bajo estas suposiciones (etiquetadas como Suposición B), los autores utilizan resultados de la geometría métrica (específicamente respecto a secuencias monótonas de distancias) para probar que las distancias nulas $\hat{d}_j$ convergen uniformemente a una distancia límite $d_\infty$.
3. Estructura Causal del Límite: Los autores analizan las propiedades causales del espacio límite. Definen la distancia causal-nula ($\hat{d}_{d,\tau}$) para un espacio métrico con tiempo, la cual reconstruye un orden causal a partir de la métrica y la función de tiempo. Comparan la distancia límite $d_\infty$ con la distancia nula $\hat{d}_\infty$ inducida por el tensor métrico límite $g_\infty$ (que puede ser no suave). Esto implica definir curvas causales para métricas no suaves utilizando curvas absolutamente continuas y aplicar teoremas de curvas límite.

Contribuciones Clave y Resultados

• Teorema 1.1 (Compactificación): Se demuestra que los espacios-tiempo cosmológicos con secciones compactas que satisfacen propiedades de extensión moderadas (Suposición A) son causalmente-nulos compactificables. Sus completaciones métricas son bi-Lipschitz equivalentes a $[0, \tau_{\max}] \times M$. Esto agudiza resultados previos al identificar explícitamente la topología de la completación sin requerir una extensión suave "debajo" de los datos iniciales.
• Teorema 1.2 (Convergencia Uniforme): Para una secuencia de espacios-tiempo cosmológicos donde las métricas espaciales son monótonamente crecientes y están acotadas uniformemente (Suposición B), las distancias nulas asociadas convergen uniformemente a una distancia límite $d_\infty$. Además, la secuencia de espacios métricos con tiempo asociados converge tanto en el sentido de Gromov-Hausdorff de desarrollo futuro como en el sentido de Hausdorff con tiempo hacia el espacio límite compacto.
• Teorema 1.3 (Nulidad Causal de la Completación): Se demuestra que la completación métrica de un espacio-tiempo cosmológico con secciones compactas es causalmente-nula (es decir, la distancia nula coincide con la distancia causal-nula derivada del orden causal inducido), siempre que se cumpla una condición de "accesibilidad causal" moderada.
• Teorema 1.4 (Relación de Distancias Límite): Para las secuencias que satisfacen la Suposición B, la distancia causal-nula inducida por la distancia límite $d_\infty$ coincide con la extensión de la distancia nula $\hat{d}_\infty$ inducida por el (posiblemente no suave) tensor métrico límite $g_\infty$. Este resultado es sutil porque, como muestran los ejemplos, la distancia límite $d_\infty$ misma no necesita ser causalmente-nula; la construcción causal-nula es necesaria para recuperar la información causal del tensor límite.

Significado y Ejemplos
El artículo proporciona un marco riguroso para estudiar la convergencia de espacios-tiempo cosmológicos utilizando herramientas de la geometría métrica. Demuestra que la monotonicidad y los límites uniformes en la métrica espacial son suficientes para asegurar una convergencia bien comportada de las distancias nulas y la preservación de la estructura topológica subyacente (compacidad y estructura de producto).

Los autores proporcionan varios ejemplos para delimitar la necesidad de sus hipótesis:

• Ejemplo 5.1: Muestra que el Teorema 1.2 se aplica a productos de guerra incluso cuando las funciones de guerra no convergen uniformemente, mejorando los resultados previos de estructura de corriente integral.
• Ejemplo 5.5: Demuestra que, sin el límite superior uniforme (Suposición B), el espacio límite puede fallar en ser compacto y puede no ser homeomorfo a la estructura de producto de la secuencia.
• Ejemplo 5.6 y 5.8: Ilustran que, sin condiciones de accesibilidad específicas o al considerar límites de espacios causalmente-nulos, la distancia límite puede fallar en ser causalmente-nula, lo que hace necesaria la distinción entre la distancia límite y la distancia causal-nula.
• Ejemplo 5.9: Destaca la necesidad de usar curvas absolutamente continuas (en lugar de curvas suavemente por partes) para definir la causalidad para métricas límite no suaves, asegurando que el teorema de la curva límite se aplique correctamente.

En resumen, este trabajo extiende el programa de investigación iniciado por Sakovich y Sormani, estableciendo condiciones concretas bajo las cuales los espacios-tiempo cosmológicos convergen en el sentido de desarrollo futuro, aclarando la relación entre el límite métrico y el límite causal, e identificando los requisitos de regularidad precisos para que estos resultados se mantengan.