Failure of local equi-Lipschitzness for families of Lorentz distances to Cauchy surface foliations

Resumen Técnico: Fallo de la Equi-Lipschitzidad Local para Familias de Distancias Lorentzianas a Foliaciones de Superficies de Cauchy

Planteamiento del Problema
Los teoremas clásicos de división lorentziana afirman que un espacio-tiempo $(M, g)$ timelike geodesicamente completo o globalmente hiperbólico que contiene una línea timelike completa se divide isométricamente en un espacio-tiempo producto $(\mathbb{R} \times S, dt^2 - \tilde{g})$. Un componente crítico en las demostraciones de estos teoremas (específicamente aquellos que utilizan técnicas de $p$-d'Alembertiano) es la continuidad equi-Lipschitz local de las familias de funciones de distancia lorentziana $\{\ell(\cdot, \gamma(t))\}_{t>0}$ y $\{\ell(\gamma(-t), \cdot)\}_{t>0}$ en un entorno de la línea timelike $\gamma$.

En ausencia de una línea timelike completa preexistente —como en el contexto de la conjetura de división cosmológica de Bartnik— los investigadores han considerado reemplazar la línea por una foliación de superficies de Cauchy $\Sigma_s = \{\tau = s\}$, donde $\tau$ es una función temporal de Cauchy. Se había afirmado previamente en la literatura (específicamente en el Lema 3.2 de [14]) que las familias de distancias lorentzianas a y desde estos conjuntos de nivel, $\{\ell(\cdot, \Sigma_t)\}_{t>0}$ y $\{\ell(\Sigma_{-t}, \cdot)\}_{t>0}$, son localmente equi-Lipschitz continuas. Este artículo investiga la validez de dicha afirmación.

Metodología
Los autores emplean una combinación de análisis geométrico y construcción de contraejemplos para probar la regularidad de las funciones de distancia lorentziana respecto a las foliaciones de superficies de Cauchy.

1. Marco Teórico: El artículo revisa el mecanismo mediante el cual se establece la equi-Lipschitzidad para líneas timelike, basándose en la "condición de corrayente timelike generalizada". Esta condición asegura que los límites subsecuenciales de las curvas maximizantes permanezcan timelike, evitando la explosión de la norma-$h$ (norma riemanniana de fondo) de los vectores tangentes iniciales de las geodésicas maximizantes.
2. Construcción de Contraejemplos: Para refutar la afirmación general para superficies de Cauchy, los autores construyen contraejemplos específicos en el espacio de Minkowski $\mathbb{R}^{1,1}$. Definen una función temporal de Cauchy $\tau(u, v) = F(u) + v$ utilizando coordenadas nulas, donde $F$ es una función suave y pronunciada (steep). Al analizar la intersección del futuro causal del origen con los conjuntos de nivel $\Sigma_s$, calculan explícitamente las geodésicas maximizantes y sus vectores tangentes iniciales.
3. Análisis de Compacidad y Condiciones de Energía: El artículo examina la relación entre la propiedad equi-Lipschitz y la existencia de líneas timelike. Utilizando el Lema 3.3, los autores demuestran que si las familias de distancias son localmente equi-Lipschitz en un espacio-tiempo con superficies de Cauchy compactas, debe existir una línea timelike. Esto se contrasta con el ejemplo de Ehrlich–Galloway de un espacio-tiempo que es geodesicamente completo y globalmente hiperbólico pero que no contiene líneas timelike.

Contribuciones Clave y Resultados

• Refutación de la Equi-Lipschitzidad General: El resultado principal es la demostración de que las familias de distancias lorentzianas $\{\ell(\cdot, \Sigma_t)\}_{t>0}$ y $\{\ell(\Sigma_{-t}, \cdot)\}_{t>0}$ no son localmente equi-Lipschitz en general, incluso para funciones temporales de Cauchy "pronunciadas" (steep).
  • Ejemplo 3.2: En el espacio de Minkowski 2D, los autores construyen una función temporal de Cauchy pronunciada donde las normas-$h$ de los tangentes iniciales de las geodésicas maximizadoras desde un punto fijo hacia $\Sigma_s$ divergen al infinito cuando $s \to \infty$. Esto contradice directamente el Lema 3.2 en [14] e invalida los resultados de dicho trabajo que dependen de la existencia de soluciones de viscosidad globales a la ecuación eikonal lorentziana derivada de esta suposición.
• Necesidad de Líneas Timelike: El Lema 3.3 establece que, para un espacio-tiempo globalmente hiperbólico con superficies de Cauchy compactas, la equi-Lipschitzidad local de estas familias de distancias implica la existencia de una línea timelike. Por consiguiente, en espacios-tiempo como el ejemplo de Ehrlich–Galloway (que tiene superficies de Cauchy compactas pero no líneas timelike), no puede existir tal función temporal de Cauchy que satisfaga la condición equi-Lipschitz.
• Equivalencia con la Conjetura de Bartnik: El artículo formula que la existencia de una función temporal de Cauchy con familias de distancias localmente equi-Lipschitz es equivalente a la conjetura de división cosmológica de Bartnik.
  • Corolario 3.5: Bajo las suposiciones de hiperbolicidad global, completitud geodésica timelike, superficies de Cauchy compactas y la condición de energía fuerte, el espacio-tiempo se divide isométricamente si y solo si existe tal función temporal de Cauchy.
• Conjeturas Propuestas:
  • Conjetura 4.1: En un espacio-tiempo que satisface las condiciones de la conjetura de Bartnik, existe al menos una función temporal de Cauchy para la cual las familias de distancias son localmente equi-Lipschitz.
  • Conjetura 4.2: Bajo las mismas condiciones, cada función temporal de Cauchy produce familias de distancias localmente equi-Lipschitz. Los autores señalan que la Conjetura 4.2 implica la Conjetura 4.1 y está respaldada por la Proposición 4.3, que demuestra que la propiedad se cumple para espacios-tiempo producto $(\mathbb{R} \times S, dt^2 - \tilde{g})$ con $S$ compacta.

Significancia
El artículo clarifica una brecha crítica en la metodología para extender los teoremas de división lorentziana a entornos sin líneas timelike preexistentes. Al mostrar que la propiedad equi-Lipschitz no se cumple automáticamente para arbitrarias foliaciones de Cauchy, los autores demuestran que la analogía directa con el caso de la línea timelike falla debido a una falta de regularidad.

La significancia reside en reencuadrar la conjetura de división cosmológica de Bartnik: en lugar de ser una declaración puramente geométrica sobre curvatura y completitud, se demuestra que es equivalente a la existencia de una propiedad de regularidad específica (equi-Lipschitzidad local) para una familia de funciones de distancia asociadas a una función temporal de Cauchy. Esto proporciona una nueva perspectiva analítica para atacar la conjetura, sugiriendo que demostrar el teorema de división puede requerir la construcción de una función temporal "buena" específica, en lugar de depender de las propiedades de cualquier otra arbitraria. Los resultados también corrigen la literatura respecto a la existencia de soluciones de viscosidad globales a la ecuación eikonal lorentziana en el caso general.