2025-11-21T21:19:15.686332

Introducing Various Notions of Distances between Space-Times

Sakovich, Sormani
We introduce the notion of causally-null-compactifiable space-times which can be canonically converted into a compact timed-metric-spaces using the cosmological time of Andersson-Howard-Galloway and the null distance of Sormani-Vega. We produce a large class of such space-times including future developments of compact initial data sets and regions which exhaust asymptotically flat space-times. We then present various notions of intrinsic distances between these space-times (introducing the timed-Hausdorff distance) and prove some of these notions of distance are definite in the sense that they equal zero iff there is a time-oriented Lorentzian isometry between the space-times. These definite distances enable us to define various notions of convergence of space-times to limit space-times which are not necessarily smooth. Many open questions and conjectures are included throughout.
academic

Introducción de Varias Nociones de Distancias entre Espacios-Tiempos

Información Básica

  • ID del Artículo: 2410.16800
  • Título: Introducing Various Notions of Distances between Space-Times
  • Autores: A. Sakovich, C. Sormani
  • Clasificación: math.DG (Geometría Diferencial), gr-qc (Relatividad General y Cosmología Cuántica)
  • Fecha de Publicación: Octubre de 2024
  • Enlace del Artículo: https://arxiv.org/abs/2410.16800v3

Resumen

Este artículo introduce el concepto de espacios-tiempos compactificables causalmente-nulos (causally-null-compactifiable space-times), que pueden transformarse canónicamente en espacios métricos temporales compactos mediante la función de tiempo cosmológico de Andersson-Galloway-Howard y la norma de distancia nula de Sormani-Vega. El artículo construye una amplia clase de tales espacios-tiempos, incluyendo la evolución futura de conjuntos de datos iniciales compactos y regiones de espacios-tiempos asintóticamente planos exhaustos. Posteriormente, propone varias nociones de distancias intrínsecas entre estos espacios-tiempos (introduciendo la distancia de Hausdorff temporal) y demuestra que ciertos conceptos de distancia son determinantes, es decir, son cero si y solo si existe una isometría de Lorentz orientada temporalmente entre los espacios-tiempos. Estas distancias determinantes permiten definir varios conceptos de convergencia de espacios-tiempos hacia posibles espacios-tiempos límite no suaves.

Contexto de Investigación y Motivación

1. Problema Central

Los físicos, al estudiar la evolución del universo, frecuentemente utilizan modelos simplificados de espacios-tiempos suaves, asumiendo luego que el universo real se aproxima en cierto sentido a estos modelos simplificados. El problema central que este artículo aborda es:

  • ¿Cómo definir el "grado de proximidad" entre dos espacios-tiempos?
  • ¿Cómo comparar espacios-tiempos cuando posiblemente no son difeomorfos?
  • ¿Cómo definir la convergencia de secuencias de espacios-tiempos?

2. Importancia del Problema

Estas cuestiones tienen significado importante en relatividad general:

  • Relación entre universos casi isótropos y espacios-tiempos FLRW: El universo real es solo aproximadamente homogéneo e isotrópico
  • Evolución de sistemas gravitacionales aislados hacia espacios-tiempos de Kerr: Formulación matemática de la conjetura del estado final
  • Estabilidad de soluciones de las ecuaciones de Einstein: Estudio del impacto de perturbaciones pequeñas de datos iniciales en la geometría del espacio-tiempo

3. Limitaciones de Métodos Existentes

Los métodos tradicionales requieren la existencia de un difeomorfismo entre espacios-tiempos, comparando tensores métricos para definir distancias. Sin embargo, este enfoque:

  • No puede manejar espacios-tiempos con topologías diferentes
  • No puede describir la convergencia de espacios-tiempos que contienen agujeros negros hacia espacios-tiempos suaves
  • Carece de significado geométrico intrínseco

4. Motivación de la Investigación

La motivación de los autores proviene de la aplicación exitosa de la distancia de Gromov-Hausdorff en geometría riemanniana, esperando desarrollar conceptos de distancia intrínseca similares para estudiar la convergencia de espacios-tiempos de Lorentz.

Contribuciones Principales

  1. Introducción del concepto de espacios-tiempos compactificables causalmente-nulos: Define una amplia clase de espacios-tiempos que pueden transformarse en espacios métricos temporales compactos
  2. Construcción de múltiples distancias intrínsecas: Propone varias distancias entre espacios-tiempos, incluyendo la distancia de Hausdorff temporal
  3. Demostración de determinancia de distancias: Prueba que ciertos conceptos de distancia son cero si y solo si existe una isometría de Lorentz
  4. Establecimiento de teoría de convergencia: Proporciona un marco matemático riguroso para la convergencia de espacios-tiempos
  5. Proposición de numerosas conjeturas: Señala direcciones para investigaciones futuras

Explicación Detallada de Métodos

Definición de Tareas

La tarea central de este artículo es definir distancias intrínsecas para espacios-tiempos de Lorentz tales que:

  • La distancia sea cero si y solo si existe una isometría de Lorentz orientada temporalmente
  • Pueda manejar espacios-tiempos con topologías diferentes
  • Permita definir convergencia hacia límites posiblemente no suaves

Conceptos Centrales

1. Función de Tiempo Cosmológico

Para un espacio-tiempo (N,g)(N,g), la función de tiempo cosmológico se define como: τg(p)=sup{dg(p,q):qJ(p)}\tau_g(p) = \sup\{d_g(p,q') : q' \in J^-(p)\} donde J(p)J^-(p) es el pasado causal del punto pp, y dgd_g es la distancia de Lorentz.

2. Distancia Nula

Dado un espacio-tiempo (N,g)(N,g) y una función de tiempo τ\tau, la distancia nula se define como: d^g,τ(p,q)=infi=1Nτ(pi)τ(pi1)\hat{d}_{g,\tau}(p,q) = \inf \sum_{i=1}^N |\tau(p_i) - \tau(p_{i-1})| donde el ínfimo se toma sobre todas las secuencias de puntos causalmente relacionados {p=p0,p1,,p2N=q}\{p = p_0, p_1, \ldots, p_{2N} = q\}.

3. Espacios-Tiempos Compactificables Causalmente-Nulos

Un espacio-tiempo (N,g)(N,g) es compactificable causalmente-nulo si:

  • Posee una función de tiempo cosmológico regular y acotada τg:N[0,τmax]\tau_g : N \to [0,\tau_{max}]
  • El espacio métrico asociado (Nˉ,d^g)(\bar{N}, \hat{d}_g) es compacto
  • La distancia nula codifica causalidad: pJ+(q)τg(p)τg(q)=d^g(p,q)p \in J^+(q) \Leftrightarrow \tau_g(p) - \tau_g(q) = \hat{d}_g(p,q)

Definiciones de Distancia

1. Distancia Intrínseca Sin Tiempo

dSGHtls((N1,g1),(N2,g2))=dGH((Nˉ1,d^g1),(Nˉ2,d^g2))d^{tls}_{S-GH}((N_1,g_1),(N_2,g_2)) = d_{GH}((\bar{N}_1,\hat{d}_{g_1}),(\bar{N}_2,\hat{d}_{g_2}))

2. Distancia Intrínseca del Gran Estallido

Para espacios-tiempos del gran estallido, se utiliza la distancia de Gromov-Hausdorff puntual: dSBBGH((N1,g1),(N2,g2))=dptGH((Nˉ1,d^g1,pBB,1),(Nˉ2,d^g2,pBB,2))d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = d_{pt-GH}((\bar{N}_1,\hat{d}_{g_1},p_{BB,1}),(\bar{N}_2,\hat{d}_{g_2},p_{BB,2}))

3. Distancia de Hausdorff Temporal

Se introduce el mapeo de Fréchet temporal κτ,X:X\kappa_{\tau,X} : X \to \ell^\infty: κτ,X(x)=(τ(x),d(x1,x),d(x2,x),)\kappa_{\tau,X}(x) = (\tau(x), d(x_1,x), d(x_2,x), \ldots) Se define la distancia de Hausdorff temporal como: dτH((X1,d1,τ1),(X2,d2,τ2))=infdH(κτ1,X1(X1),κτ2,X2(X2))d_{\tau-H}((X_1,d_1,\tau_1),(X_2,d_2,\tau_2)) = \inf d^{\ell^\infty}_H(\kappa_{\tau_1,X_1}(X_1), \kappa_{\tau_2,X_2}(X_2))

Puntos de Innovación Técnica

  1. Mapeo de Fréchet Temporal: Incorpora información temporal en la estructura métrica
  2. Codificación de Causalidad: Recupera completamente la estructura causal del espacio-tiempo mediante la distancia nula
  3. Técnica de Compactificación: Transforma espacios-tiempos no acotados en espacios métricos compactos
  4. Demostración de Determinancia: Establece la equivalencia entre distancia cero e isometría de Lorentz

Resultados Principales

Teorema 3.1 (Construcción de Bandas Cosmológicas)

Si (N,g)(N,g) posee una función de tiempo cosmológico regular τg:N(0,)\tau_g : N \to (0,\infty), entonces la banda cosmológica Ns,t=τg1(s,t)N_{s,t} = \tau_g^{-1}(s,t) posee propiedades geométricas satisfactorias.

Teorema 3.4 (Compactificación Causalmente-Nula)

Si (N,g)(N,g) posee una función de tiempo cosmológico regular apropiada, entonces la banda cosmológica (Ns,t,g)(N_{s,t},g) es un espacio-tiempo compactificable causalmente-nulo.

Teorema 5.7 (Determinancia de la Distancia del Gran Estallido)

La distancia intrínseca del gran estallido dSBBGHd_{S-BB-GH} es determinante: dSBBGH((N1,g1),(N2,g2))=0 isometrıˊa de Lorentz F:N1N2d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = 0 \Leftrightarrow \exists \text{ isometría de Lorentz } F : N_1 \to N_2

Teorema 5.14 (Determinancia de la Distancia de Hausdorff Temporal)

La distancia de Hausdorff temporal dSτHd_{S-\tau-H} es determinante, siendo este el resultado principal del artículo.

Aplicaciones y Conjeturas

1. Estabilidad de las Ecuaciones de Einstein

Conjetura 6.16: Si conjuntos de datos iniciales compactos (Mj,hj,kj)(M_j,h_j,k_j) convergen en cierto sentido a (M,h,0)(M_\infty,h_\infty,0), entonces las soluciones de espacios-tiempos correspondientes también convergen.

2. Aproximación de Espacios-Tiempos FLRW

Conjetura 6.23: Espacios-tiempos compactificables nulos casi isótropos y homogéneos se aproximan a espacios-tiempos FLRW en cierto sentido de distancia intrínseca.

3. Conjetura del Estado Final

Conjetura 6.37: La región exterior de espacios-tiempos asintóticamente planos converge a espacios-tiempos de Kerr cuando el tiempo tiende a infinito.

4. Estabilidad del Espacio-Tiempo de Minkowski

Conjetura 6.29: Las soluciones de espacios-tiempos de datos iniciales asintóticamente planos con masa tendiendo a cero convergen al espacio-tiempo de Minkowski.

Trabajos Relacionados

1. Teoría de Gromov-Hausdorff

  • Trabajo original de Gromov estableciendo distancias intrínsecas entre espacios métricos compactos
  • Teoría de espacios métricos de medida de Sturm-Lott-Villani
  • Distancia intrínsecamente plana de Sormani-Wenger

2. Convergencia en Geometría de Lorentz

  • Trabajo de Allen-Burtscher sobre propiedades de distancia nula
  • Espacios de longitud de Lorentz de Kunzinger-Steinbauer
  • Convergencia de Gromov-Hausdorff de Lorentz de Minguzzi-Suhr

3. Estabilidad en Relatividad General

  • Estabilidad de Minkowski de Christodoulou-Klainerman
  • Estabilidad de Schwarzschild de Dafermos-Holzegel-Rodnianski
  • Diversos resultados de estabilidad de datos iniciales

Conclusiones y Discusión

Conclusiones Principales

  1. Se establece exitosamente una teoría sistemática de distancias intrínsecas entre espacios-tiempos
  2. Se demuestra la determinancia de conceptos como la distancia de Hausdorff temporal
  3. Se proporcionan nuevas herramientas para problemas de convergencia en relatividad general
  4. Se conectan teorías métricas de geometría diferencial y geometría de Lorentz

Limitaciones

  1. Requisitos de Regularidad: Requiere que la función de tiempo cosmológico sea regular
  2. Restricciones de Compactificación: Solo aplica a espacios-tiempos o regiones compactificables
  3. Complejidad Computacional: El cálculo real de estas distancias puede ser difícil
  4. Interpretación Física: El significado físico de algunas construcciones matemáticas requiere aclaración adicional

Direcciones Futuras

  1. Implementación Numérica: Desarrollo de algoritmos efectivos para calcular estas distancias
  2. Aplicaciones Físicas: Verificación de la teoría en problemas específicos de relatividad general
  3. Generalización: Extensión a categorías más generales de espacios-tiempos
  4. Conexiones con Otras Teorías: Exploración de relaciones con otros conceptos de convergencia

Evaluación Profunda

Fortalezas

  1. Innovación Teórica: Primera sistematización de teoría de distancias intrínsecas entre espacios-tiempos
  2. Rigor Matemático: Demostraciones suficientes, definiciones precisas
  3. Potencial de Aplicación: Proporciona nuevas perspectivas para múltiples problemas físicos importantes
  4. Completitud: Marco completo desde definiciones fundamentales hasta conjeturas de aplicación

Insuficiencias

  1. Operabilidad: La teoría es relativamente abstracta, la aplicación práctica puede ser difícil
  2. Escasez de Ejemplos: Relativamente pocos ejemplos de cálculos concretos
  3. Intuición Física: Algunas construcciones carecen de interpretación física clara
  4. Complejidad Algorítmica: No se discuten problemas de complejidad algorítmica

Impacto

  1. Valor Académico: Abre nuevas direcciones de investigación en geometría de Lorentz
  2. Significado Interdisciplinario: Conecta geometría diferencial, geometría métrica y relatividad general
  3. Impacto a Largo Plazo: Puede influir en el desarrollo futuro de teoría de convergencia de espacios-tiempos

Escenarios de Aplicación

  1. Física Teórica: Investigación de estabilidad y convergencia de espacios-tiempos
  2. Física Matemática: Exploración de aplicaciones de análisis geométrico en relatividad general
  3. Relatividad Numérica: Proporciona criterios de convergencia para simulaciones numéricas
  4. Cosmología: Investigación del grado de aproximación de modelos cosmológicos

Referencias

Este artículo cita 176 referencias, abarcando literatura amplia en geometría diferencial, geometría métrica, relatividad general y física matemática. Las referencias importantes incluyen:

  • Trabajo de Andersson, Galloway, Howard sobre tiempo cosmológico
  • Artículos originales de Sormani, Vega sobre distancia nula
  • Trabajo clásico de Gromov sobre distancia de Gromov-Hausdorff
  • Investigación de Christodoulou, Klainerman y otros sobre estabilidad de espacios-tiempos

Este artículo realiza contribuciones importantes a la teoría métrica en geometría de Lorentz, estableciendo una teoría sistemática de distancias entre espacios-tiempos, proporcionando herramientas matemáticas poderosas para investigar problemas de convergencia y estabilidad en relatividad general. Aunque la teoría es relativamente abstracta, su valor potencial de aplicación y significado teórico son ambos muy importantes.