Volume Stability for Hyperbolic Manifolds and Applications to General Relativity

Resumen Técnico: Estabilidad de Volumen para Variedades Hiperbólicas y Aplicaciones a la Relatividad General

Planteamiento del Problema
El artículo aborda la cuantificación de la propiedad de rigidez para variedades hiperbólicas cerradas de tres dimensiones. Específicamente, investiga la estabilidad del límite de volumen hiperbólico bajo restricciones de curvatura escalar. Sea $(M, h)$ una variedad hiperbólica cerrada de tres dimensiones normalizada de tal forma que la curvatura escalar $R(h) = -6$ (equivalentemente, $\text{Ric}_h = -2h$). La clásica conjetura de rigidez de volumen de Schoen establece que para cualquier métrica suave $g$ en $M$ que satisfaga $R(g) \ge -6$, el volumen satisface $\text{Vol}_g(M) \ge \text{Vol}_h(M)$, con igualdad si y solo si $g$ es isométrica a $h$ (salvo por difeomorfismo).

Los autores estudian la estabilidad de este resultado en el régimen de "datos pequeños", definido por un pequeño déficit de volumen. La cuestión central es: si una secuencia de métricas suaves $g_i$ satisface $R(g_i) \ge -6$ y $\text{Vol}_{g_i}(M) - \text{Vol}_h(M) \le \delta_i$ con $\delta_i \to 0$, ¿en qué topología converge $(M, g_i)$ a $(M, h)$? Los autores señalan que el funcional de volumen es demasiado débil para controlar la convergencia fuerte (por ejemplo, $C^k$ o Gromov-Hausdorff) de forma global, ya que los defectos pueden concentrarse en conjuntos de volumen evanescente. El objetivo es establecer un resultado de convergencia nítido fuera de conjuntos excepcionales de volumen despreciable.

Metodología
La demostración se basa en el flujo de Ricci normalizado con cirugía (Hamilton-Perelman) y la monotonicidad del funcional de entropía de Perelman. El argumento procede en tres etapas principales:

1. Evolución de Largo Tiempo y Descomposición Grueso-Fino:
   Para cada métrica inicial $g_i$, los autores construyen un flujo de Ricci normalizado con cirugía $g_i(t)$. Utilizan la preservación de la cota inferior de la curvatura escalar ($R(g_i(t)) + 6 \ge 0$) y la monotonicidad de la entropía reescalada de Perelman $\bar{\lambda}[g] = \lambda[g] \text{Vol}(g)^{2/3}$.
   Integrando el déficit de entropía y las estimaciones de déficit de volumen, demuestran que para una secuencia de tiempos grandes $t_i \to \infty$, las métricas $g_i(t)$ se vuelven "buenas" en el sentido de que el defecto de solitón (la desviación de ser un solitón de Ricci de gradiente) y el defecto de curvatura escalar desaparecen en un sentido $L^2$.
   Utilizando los teoremas de existencia a largo tiempo y la descomposición grueso-fino de Perelman, demuestran que en la parte "gruesa" de la variedad, el flujo converge suavemente a una métrica hiperbólica de volumen finito. Dado que la topología subyacente es la variedad hiperbólica $M$, la rigidez de Mostow implica que este límite es isométrico a $h$. Esto establece la convergencia $C^0$ en dominios grandes para las métricas evolucionadas, módulo conjuntos de volumen evanescente.

2. Retroceso a la Rebanada Inicial mediante Estimaciones de Flujo de Gradiente:
   La dificultad principal radica en transferir la convergencia desde el tiempo largo $t_i$ de vuelta al tiempo inicial $t=0$. Los autores no pueden simplemente integrar la ecuación de evolución de la métrica porque las estimaciones estándar de $L^2$ sobre el tensor de deformación $\partial_t g$ son insuficientes para controlar la distorsión acumulada durante tiempos prolongados (una estimación ingenua de Cauchy-Schwarz introduciría un factor de $t_i$).
   Para superar esto, emplean una desigualdad de Lojasiewicz-Simon cerca de la métrica hiperbólica. Esta desigualdad relaciona el déficit de entropía con la norma $L^2$ del defecto de solitón. Al combinar esto con la estructura de flujo de gradiente del flujo de Ricci normalizado (modulo difeomorfismos y escalamientos), derivan una estimación de longitud de trayectoria $L^1_t L^2_x$ para el tensor de deformación.
   Específicamente, demuestran que la distorsión métrica acumulada a lo largo de las "líneas de mundo supervivientes" (trayectorias que no pasan por regiones de cirugía o partes finas) es pequeña en un sentido $L^1$. Esto permite construir una comparación bilipschitz entre la métrica inicial y la métrica evolucionada en un "buen" conjunto, siempre que se elimine el conjunto de puntos con gran distorsión acumulada.

3. Control de Conjuntos Excepcionales:
   Los autores rastrean cuidadosamente el volumen de los conjuntos "malos", que incluyen:

   • Regiones donde el defecto de curvatura escalar se acumula significativamente.
   • Regiones donde la distorsión métrica acumulada excede un umbral.
   • Regiones de cirugía y partes finas de la descomposición grueso-fino.
     Utilizando desigualdades de tipo Chebyshev y las cotas integrales derivadas del déficit de volumen y la monotonicidad de la entropía, prueban que el volumen de estos conjuntos excepcionales tiende a cero cuando $i \to \infty$.

Contribuciones Clave y Resultados

• Teorema 1.1 (Teorema Principal de Estabilidad de Volumen):
  Para una secuencia de métricas suaves $g_i$ en una variedad hiperbólica cerrada $M$ con $R(g_i) \ge -6$ y $\text{Vol}_{g_i}(M) \to \text{Vol}_h(M)$, existen subconjuntos $Z_i \subset M$ con $\text{Vol}_{g_i}(Z_i) \to 0$ y dominios suaves $K_i \subset M$ con $\text{Vol}_h(M \setminus K_i) \to 0$, tales que existen difeomorfismos $\psi_i: K_i \to M \setminus Z_i$ que cumplen:
  $$\|\psi_i^* g_i - h\|_{C^0(K_i, h)} \to 0$$
  En términos tensoriales, $(1-\epsilon_i)\psi_i^* h \le g_i \le (1+\epsilon_i)\psi_i^* h$ en $K_i$. La convergencia es $C^0$ (tensorial), no necesariamente de orden superior, y se mantiene fuera de regiones de volumen evanescente.

• Teorema 1.2 (Estabilidad Hamiltoniana Reducida):
  Los autores aplican el resultado de estabilidad de volumen al Hamiltoniano reducido de Fischer-Moncrief en Relatividad General. Para datos iniciales de vacío CMC (Curvatura Media Constante) $(g_i, k_i)$ en una variedad hiperbólica de tres dimensiones, el Hamiltoniano reducido es $H(g, k) = (-\tau)^3 \text{Vol}_g(M)$, donde $\tau = \text{tr}_g k < 0$.
  Prueban que si una secuencia de tales datos tiene Hamiltonianos reducidos que convergen al valor del estado fundamental (correspondiente al cono de Lorentz sobre la métrica hiperbólica), entonces las métricas espaciales normalizadas convergen a la métrica hiperbólica en $C^0$ fuera de conjuntos de volumen evanescente. Esto proporciona una formulación rigurosa de la imagen asintótica donde el cono de Lorentz es el estado fundamental de la dinámica de Einstein reducida.

Significancia y Pretensiones
El artículo pretende proporcionar un teorema de estabilidad de volumen nítido para variedades hiperbólicas de tres dimensiones, cuantificando la rigidez del límite de volumen hiperbólico. La significancia reside en:

1. Convergencia Topológica: Establece que los cuasi-minimizadores del volumen hiperbólico (bajo cotas de curvatura escalar) están geométricamente cerca de la métrica hiperbólica en la topología $C^0$, excepto en conjuntos despreciables. Esto resuelve la cuestión de la topología de convergencia para tales secuencias.
2. Aplicación a la Relatividad General: Ofrece un fundamento matemático riguroso para la imagen asintótica de Fischer-Moncrief. Confirma que los datos de vacío CMC cercanos al minimizador convergen a la geometría del cono de Lorentz (el estado fundamental) en un sentido dominado por el volumen.
3. Rigor Metodológico: El trabajo cierra la brecha entre la existencia global de la solución del flujo de Ricci con cirugía y la estabilidad de los invariantes geométricos. Maneja explícitamente la dificultad de retroceder la convergencia desde las rebanadas de tiempo largo hacia los datos iniciales utilizando desigualdades de Lojasiewicz-Simon y estimaciones de longitud de trayectoria, evitando la necesidad de cotas de curvatura fuertes que no están disponibles en el régimen de estabilidad.

Los autores declaran explícitamente que su resultado es un enunciado de estabilidad para cuasi-minimizadores, no un teorema de convergencia global para datos arbitrariamente grandes. Señalan que para datos grandes, la existencia de foliaciones CMC globales no está garantizada debido a la potencial focalización de la curvatura y la formación de superficies atrapadas, lo cual es consistente con los criterios de continuación de Klainerman-Rodnianski. Por lo tanto, el teorema caracteriza el comportamiento del sistema cerca del estado fundamental del Hamiltoniano reducido.