Lipschitz continuity of the cut time for globally hyperbolic spacetimes

Resumen Técnico: Continuidad de Lipschitz del Tiempo de Corte en Espaciotiempos Globalmente Hiperbólicos

Planteamiento del Problema
El artículo aborda la regularidad de la función de tiempo de corte $\rho$ y la función de tiempo de focalización $\lambda$ en el contexto de espaciotiempos globalmente hiperbólicos $(M, g)$. En geometría riemanniana, el tiempo de corte (la distancia al lóbulo de corte) y el tiempo de focalización (la distancia al lugar conjugado) son conocidos por ser localmente Lipschitz continuos, un resultado establecido por Itoh y Tanaka [10] y Li y Nirenberg [12]. En geometría lorentziana, si bien se ha establecido la continuidad del tiempo de corte [1], no se conocían resultados comparables de regularidad Lipschitz antes de este trabajo. Los autores pretenden extender los resultados de continuidad Lipschitz del entorno riemanniano a los espaciotiempos globalmente hiperbólicos, investigando específicamente el comportamiento de estas funciones en el cono causal futuro $C_x$.

Metodología
Los autores adaptan el marco analítico desarrollado por Itoh y Tanaka [10] para variedades riemannianas al entorno lorentziano. La metodología central consiste en:

1. Análisis Variacional: Utilizar la forma índice lorentziana y los campos de Jacobi para analizar el comportamiento de las geodésicas cerca de los puntos conjugados y de corte.
2. Estimaciones Uniformes: Establecer cotas uniformes sobre las derivadas del mapa exponencial y el comportamiento de los campos de Jacobi en vecindades de vectores tangentes.
3. Comparación de Geodésicas: Construir campos vectoriales a lo largo de geodésicas perturbadas para comparar las formas índice de geodésicas cercanas, delimitando así la variación de los tiempos de focalización y de corte.
4. Geometría Hiperbólica: Emplear la geometría del hiperboloide unitario en el espacio de Minkowski para relacionar las distancias euclidianas entre vectores tangentes con ángulos hiperbólicos, lo cual es crucial para manejar el comportamiento singular cerca del cono nulo.
5. Análisis de Subgradientes: Utilizar la teoría de funciones localmente semiconvexas y los subgradientes de la función de separación temporal $d$ para relacionar la derivada del tiempo de corte con la geometría de las geodésicas maximizantes.

Contribuciones Clave y Resultados

1. Continuidad de Lipschitz del Tiempo de Focalización (Teorema 1.3):
   Los autores demuestran que el tiempo de focalización $\lambda$ es localmente Lipschitz continuo en su dominio relativamente abierto dentro del cono causal futuro. Este resultado se mantiene incluso a lo largo de direcciones nulas. La demostración establece que $\lambda$ es localmente Lipschitz en el conjunto donde es finito, reflejando el resultado riemanniano.

2. Continuidad de Lipschitz del Tiempo de Corte (Teorema 1.4):
   El artículo establece que el tiempo de corte $\rho$ es localmente Lipschitz continuo en una vecindad de cualquier vector tangente de dirección futura $v^*$, siempre que $\rho(v^*) < \infty$ y la geodésica $c_{v^*}$ esté definida hasta el tiempo de corte.

   • Estimación Cuantitativa: Para vectores de tipo tiempo, la constante de Lipschitz depende del inverso del cuadrado de la norma de los vectores: $|\rho(v) - \rho(w)| \leq C |v-w| / \min(|v|_g^2, |w|_g^2)$.
   • Direcciones Nulas: Los autores señalan que establecer la continuidad de Lipschitz en direcciones que se aproximan al cono nulo es más delicado. En general, obtienen estimaciones sobre la explosión de la constante de Lipschitz cerca del cono nulo. Sin embargo, si el punto de corte de un vector nulo ocurre estrictamente antes del primer punto conjugado, la propiedad de Lipschitz se extiende a una vecindad de dicho vector nulo (Corolario 1.6).

3. Dimensión de Hausdorff del Locus de Corte (Corolario 1.5):
   Como consecuencia de los resultados de continuidad de Lipschitz, los autores demuestran que el locus de corte de un punto en un espaciotiempo globalmente hiperbólico tiene una dimensión de Hausdorff de como máximo $n-1$ (donde $n$ es la dimensión de la variedad). Esto implica que el locus de corte tiene una codimensión de Hausdorff de al menos 1.

4. Semiconcavidad (Proposición 1.2):
   El artículo incluye una demostración de que el tiempo de corte $\rho$ es localmente semiconcavo cerca de un vector de dirección futura de tipo tiempo $v^*$ si $\rho(v^*) < \lambda(v^*)$ y el punto de corte está definido. Esto se deriva de la fórmula de primera variación.

Significancia y Reivindicaciones
El artículo afirma proporcionar la primera extensión de los resultados de continuidad de Lipschitz para el tiempo de corte desde variedades riemannianas completas a espaciotiempos globalmente hiperbólicos. Los autores declaran explícitamente que sus resultados extienden los hallazgos clásicos de Itoh-Tanaka y Li-Nirenberg al entorno lorentziano.

La significancia radica en establecer un grado superior de regularidad (continuidad de Lipschitz) para el tiempo de corte, que anteriormente solo se conocía como continuo en el contexto lorentziano. Esta regularidad es esencial para comprender la estructura del locus de corte y sus propiedades de medida. Los autores señalan que, mientras los resultados riemannianos cubren los loci de corte de subvariedades embebidas, su trabajo actual se limita a puntos individuales, aunque esperan que los argumentos se extiendan a clases adecuadas de subvariedades de tipo espacio.

El artículo reconoce limitaciones: la propiedad de Lipschitz para el tiempo de corte se demuestra incondicionalmente solo para direcciones de tipo tiempo. Para direcciones nulas, la propiedad se cumple solo bajo la condición específica de que el punto de corte preceda al primer punto conjugado. Los autores no afirman haber resuelto el caso general para direcciones nulas donde el punto de corte coincide con o sigue al punto conjugado, señalando que el comportamiento de la constante de Lipschitz cerca del cono nulo requiere de estimaciones cuantitativas adicionales.

Estructura del Argumento
La estrategia de prueba sigue el enfoque riemanniano:

• Sección 3: Demuestra la continuidad de Lipschitz del tiempo de focalización $\lambda$ mediante el análisis del crecimiento lineal de la forma índice lorentziana y la construcción de campos vectoriales específicos para acotar la variación de los puntos conjugados.
• Sección 4: Demuestra la continuidad de Lipschitz del tiempo de corte $\rho$. Esto implica estimaciones uniformes sobre la diferencia de las velocidades geodésicas (Lema 4.2) y un análisis detallado de la derivada de $\rho$ a lo largo de un camino de vectores, utilizando la ortogonalidad de los subgradientes y la geometría del hiperboloide.
• Sección 5: Refina la demostración para direcciones nulas bajo la suposición de que el punto de corte no es conjugado, eliminando la singularidad del denominador en la estimación de Lipschitz.
• Apéndices: Proporcionan una revisión de los resultados clásicos sobre puntos conjugados, la forma índice y la continuidad de $\rho$ y $\lambda$, asegurando que el artículo sea autosuficiente respecto al trasfondo necesario de la geometría lorentziana.