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.
- 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
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.
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?
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
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
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.
- 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
- Construcción de múltiples distancias intrínsecas: Propone varias distancias entre espacios-tiempos, incluyendo la distancia de Hausdorff temporal
- Demostración de determinancia de distancias: Prueba que ciertos conceptos de distancia son cero si y solo si existe una isometría de Lorentz
- Establecimiento de teoría de convergencia: Proporciona un marco matemático riguroso para la convergencia de espacios-tiempos
- Proposición de numerosas conjeturas: Señala direcciones para investigaciones futuras
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
Para un espacio-tiempo (N,g), la función de tiempo cosmológico se define como:
τg(p)=sup{dg(p,q′):q′∈J−(p)}
donde J−(p) es el pasado causal del punto p, y dg es la distancia de Lorentz.
Dado un espacio-tiempo (N,g) y una función de tiempo τ, la distancia nula se define como:
d^g,τ(p,q)=inf∑i=1N∣τ(pi)−τ(pi−1)∣
donde el ínfimo se toma sobre todas las secuencias de puntos causalmente relacionados {p=p0,p1,…,p2N=q}.
Un espacio-tiempo (N,g) es compactificable causalmente-nulo si:
- Posee una función de tiempo cosmológico regular y acotada τg:N→[0,τmax]
- El espacio métrico asociado (Nˉ,d^g) es compacto
- La distancia nula codifica causalidad: p∈J+(q)⇔τg(p)−τg(q)=d^g(p,q)
dS−GHtls((N1,g1),(N2,g2))=dGH((Nˉ1,d^g1),(Nˉ2,d^g2))
Para espacios-tiempos del gran estallido, se utiliza la distancia de Gromov-Hausdorff puntual:
dS−BB−GH((N1,g1),(N2,g2))=dpt−GH((Nˉ1,d^g1,pBB,1),(Nˉ2,d^g2,pBB,2))
Se introduce el mapeo de Fréchet temporal κτ,X:X→ℓ∞:
κτ,X(x)=(τ(x),d(x1,x),d(x2,x),…)
Se define la distancia de Hausdorff temporal como:
dτ−H((X1,d1,τ1),(X2,d2,τ2))=infdHℓ∞(κτ1,X1(X1),κτ2,X2(X2))
- Mapeo de Fréchet Temporal: Incorpora información temporal en la estructura métrica
- Codificación de Causalidad: Recupera completamente la estructura causal del espacio-tiempo mediante la distancia nula
- Técnica de Compactificación: Transforma espacios-tiempos no acotados en espacios métricos compactos
- Demostración de Determinancia: Establece la equivalencia entre distancia cero e isometría de Lorentz
Si (N,g) posee una función de tiempo cosmológico regular τg:N→(0,∞), entonces la banda cosmológica Ns,t=τg−1(s,t) posee propiedades geométricas satisfactorias.
Si (N,g) posee una función de tiempo cosmológico regular apropiada, entonces la banda cosmológica (Ns,t,g) es un espacio-tiempo compactificable causalmente-nulo.
La distancia intrínseca del gran estallido dS−BB−GH es determinante:
dS−BB−GH((N1,g1),(N2,g2))=0⇔∃ isometrıˊa de Lorentz F:N1→N2
La distancia de Hausdorff temporal dS−τ−H es determinante, siendo este el resultado principal del artículo.
Conjetura 6.16: Si conjuntos de datos iniciales compactos (Mj,hj,kj) convergen en cierto sentido a (M∞,h∞,0), entonces las soluciones de espacios-tiempos correspondientes también convergen.
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.
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.
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.
- 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
- 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
- Estabilidad de Minkowski de Christodoulou-Klainerman
- Estabilidad de Schwarzschild de Dafermos-Holzegel-Rodnianski
- Diversos resultados de estabilidad de datos iniciales
- Se establece exitosamente una teoría sistemática de distancias intrínsecas entre espacios-tiempos
- Se demuestra la determinancia de conceptos como la distancia de Hausdorff temporal
- Se proporcionan nuevas herramientas para problemas de convergencia en relatividad general
- Se conectan teorías métricas de geometría diferencial y geometría de Lorentz
- Requisitos de Regularidad: Requiere que la función de tiempo cosmológico sea regular
- Restricciones de Compactificación: Solo aplica a espacios-tiempos o regiones compactificables
- Complejidad Computacional: El cálculo real de estas distancias puede ser difícil
- Interpretación Física: El significado físico de algunas construcciones matemáticas requiere aclaración adicional
- Implementación Numérica: Desarrollo de algoritmos efectivos para calcular estas distancias
- Aplicaciones Físicas: Verificación de la teoría en problemas específicos de relatividad general
- Generalización: Extensión a categorías más generales de espacios-tiempos
- Conexiones con Otras Teorías: Exploración de relaciones con otros conceptos de convergencia
- Innovación Teórica: Primera sistematización de teoría de distancias intrínsecas entre espacios-tiempos
- Rigor Matemático: Demostraciones suficientes, definiciones precisas
- Potencial de Aplicación: Proporciona nuevas perspectivas para múltiples problemas físicos importantes
- Completitud: Marco completo desde definiciones fundamentales hasta conjeturas de aplicación
- Operabilidad: La teoría es relativamente abstracta, la aplicación práctica puede ser difícil
- Escasez de Ejemplos: Relativamente pocos ejemplos de cálculos concretos
- Intuición Física: Algunas construcciones carecen de interpretación física clara
- Complejidad Algorítmica: No se discuten problemas de complejidad algorítmica
- Valor Académico: Abre nuevas direcciones de investigación en geometría de Lorentz
- Significado Interdisciplinario: Conecta geometría diferencial, geometría métrica y relatividad general
- Impacto a Largo Plazo: Puede influir en el desarrollo futuro de teoría de convergencia de espacios-tiempos
- Física Teórica: Investigación de estabilidad y convergencia de espacios-tiempos
- Física Matemática: Exploración de aplicaciones de análisis geométrico en relatividad general
- Relatividad Numérica: Proporciona criterios de convergencia para simulaciones numéricas
- Cosmología: Investigación del grado de aproximación de modelos cosmológicos
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.