Differentiability and Other Properties of the Cosmological Volume Function

Resumen Técnico: Diferenciabilidad y otras propiedades de la función de volumen cosmológico

Planteamiento del problema
En la Relatividad General, la falta de una coordenada temporal independiente del observador es un desafío fundamental. Aunque las singularidades pueden proporcionar en ocasiones una coordenada temporal natural, las construcciones estándar enfrentan limitaciones. La función de tiempo cosmológico regular $\tau$, introducida por Andersson, Galloway y Howard, mide el tiempo propio máximo que un observador puede experimentar desde una singularidad (el Big Bang); sin embargo, $\tau$ es generalmente solo localmente Lipschitz y diferenciable casi en todas partes, fallando en ser $C^1$ en muchos casos debido al lóbulo de corte temporal (timelike cut locus).

Una alternativa, la función de volumen cosmológico $\tau_V$, fue introducida recientemente para medir el tiempo a través del volumen canónico del pasado cronológico, $\tau_V(p) := \text{vol}_g(I^-(p))$. Aunque $\tau_V$ comparte muchas propiedades estructurales con $\tau$ (como la definición de un desdoblamiento hiperbólico global), sus propiedades de diferenciabilidad no estaban claras anteriormente. Un problema clave es que la medida de volumen canónica $\text{vol}_g$ puede ser infinita, y aunque se pueden elegir medidas ponderadas para asegurar la diferenciabilidad (como demostraron Chruściel, Grant y Minguzzi), tales elecciones son arbitrarias. El problema central abordado en este artículo es si la función de volumen cosmológico canónica (no ponderada) $\tau_V$ es una función temporal continuamente diferenciable ($C^1$) en entornos físicamente relevantes, proporcionando así un desdoblamiento canónico del tensor métrico sin elecciones arbitrarias.

Metodología
El artículo emplea técnicas de la geometría lorentziana y la teoría de la medida, adaptando los argumentos de Chruściel, Grant y Minguzzi relativos a las medidas ponderadas al caso específico de la medida de volumen canónica.

1. Diferenciación de integrales: El enfoque técnico central consiste en diferenciar la integral que define $\tau_V(p) = \int_{I^-(p) \cap I^+(S)} d\text{vol}_g$. El autor utiliza una regla de Leibniz para integrales de formas diferenciales, donde se analiza la variación del dominio de integración (el pasado cronológico).
2. Análisis geométrico de fronteras: La frontera del pasado cronológico, $\partial I^-(p)$, está regida por geodésicas nulas dirigidas hacia el pasado. El autor analiza la "velocidad" de esta frontera utilizando campos de Jacobi a lo largo de estas geodésicas nulas.
3. Tratamiento de singularidades: Se presta especial cuidado al lóbulo de corte nulo (null cut locus). El artículo establece que el lóbulo de corte nulo tiene medida cero, lo que asegura que no contribuya a la derivada de la integral de volumen, a diferencia del lóbulo de corte temporal que afecta la diferenciabilidad de $\tau$.
4. Pruebas de continuidad: Las demostraciones implican la construcción de derivadas candidatas como integrales sobre el conjunto $\mathring{E}^-(p)$ (la frontera del pasado excluyendo el lóbulo de corte) y la demostración de la continuidad de estos mapas utilizando las propiedades del mapa exponencial y la compacidad de las superficies de Cauchy.

Contribuciones y resultados clave

• Teorema principal (Teorema 1.1): El artículo demuestra que si $(M, g)$ es el desarrollo de Cauchy futuro de una superficie de Cauchy $S$ (es decir, el tiempo se mide desde datos iniciales en lugar de una singularidad), la función de volumen cosmológico $\tau_V$ restringida a $I^+(S)$ es una función temporal regular $C^1$.
• Corolario 1.2 (Entorno cosmológico): Bajo la condición de que el espaciotiempo es incompleto en volumen pasado y no tiene horizontes de observador en el pasado (lo que significa que cada curva causal inextendible hacia el pasado ve todo el espaciotiempo, $I^+(\gamma) = M$), y asumiendo que $\tau_V$ es finita, $\tau_V$ es una función temporal regular $C^1$.
• Desdoblamiento métrico canónico: La regularidad $C^1$ de $\tau_V$ permite una descomposición canónica del tensor métrico:
  $$g = -\beta(d\tau_V)^2 + h$$
  donde $\beta$ es una función continua y $h$ induce una métrica riemanniana continua en los niveles de $\tau_V$. Esto permite la construcción de una métrica riemanniana "rotada de Wick" $g_R := \beta(d\tau_V)^2 + h$ que se deriva únicamente de la métrica lorentziana $g$ sin elecciones de ponderación arbitrarias.
• Contraejemplos y limitaciones:
  • Ejemplo 3.8: Demuestra que si la superficie de Cauchy $S$ tiene porciones de tipo luz, $\tau_V$ puede no ser $C^1$.
  • Ejemplo 3.9: Muestra un espaciotiempo donde $\tau_V$ ni siquiera es localmente Lipschitz, ocurriendo cuando el espaciotiempo no puede ser formulado como el dominio de dependencia futuro de una superficie de Cauchy (debido a una frontera espaciotemporal con factores conformes específicos).
  • Ejemplo 3.10: Ilustra un caso donde $\tau_V$ es $C^1$ pero no $C^2$, resaltando que la diferenciabilidad de orden superior no está garantizada.
• Comparación con el tiempo cosmológico ($\tau$):
  • El artículo establece que la regularidad de $\tau$ (finita y tendiendo a cero a lo largo de curvas inextendibles hacia el pasado) no implica automáticamente la regularidad de $\tau_V$, aunque ciertas condiciones que involucran superficies de Cauchy compactas y cotas de curvatura de Ricci (Proposición 4.1) pueden asegurar dicha regularidad.
  • A diferencia de $\tau$, los niveles de $\tau_V$ no son necesariamente superficies de Cauchy para todos los valores, incluso si $\tau_V$ es regular (Ejemplo 4.4).
  • El lóbulo de corte cosmológico para $\tau$ no es necesariamente cerrado (Ejemplo 4.7), contrastando con los lóbulos de corte riemannianos estándar.

Significado y afirmaciones
El artículo afirma que en dos entornos específicos pero importantes —espaciotiempos derivados de datos iniciales y ciertos modelos cosmológicos sin horizontes de observador— la función de volumen cosmológico $\tau_V$ proporciona una función temporal $C^1$ canónica. Esto es significativo porque:

1. Canonicidad: A diferencia de enfoques previos que requerían elecciones arbitrarias de funciones de peso para asegurar la diferenciabilidad, $\tau_V$ depende únicamente de la métrica $g$ y la medida de volumen canónica.
2. Desdoblamiento métrico: La propiedad $C^1$ permite un desdoblamiento continuo del tensor métrico, facilitando la definición de una métrica riemanniana rotada de Wick.
3. Estudios de convergencia: La $g_R$ construida es adecuada para estudiar la convergencia de secuencias de espaciotiempos $(M_i, g_i)$ utilizando nociones establecidas de convergencia de espacios métricos (por ejemplo, Gromov–Hausdorff), ya que evita los problemas de no diferenciabilidad inherentes a $\tau$ o a las medidas arbitrarias.

El autor señala explícitamente que, si bien $\tau_V$ es $C^1$ en estos casos, generalmente no es $C^2$, y sus superficies de nivel no siempre comparten las mismas propiedades de Cauchy que las de $\tau$. Los resultados se presentan con el objetivo de establecer la diferenciabilidad de $\tau_V$ en "muchos casos de interés", más que de manera universal para todos los espaciotiempos.