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 de l'article: 2410.16800
- Titre: Introducing Various Notions of Distances between Space-Times
- Auteurs: A. Sakovich, C. Sormani
- Classification: math.DG (Géométrie Différentielle), gr-qc (Relativité Générale et Cosmologie Quantique)
- Date de publication: Octobre 2024
- Lien de l'article: https://arxiv.org/abs/2410.16800v3
Cet article introduit le concept d'espaces-temps causalement-nuls-compactifiables, qui peuvent être transformés de manière canonique en espaces métriques temporels compacts via la fonction temps cosmologique d'Andersson-Galloway-Howard et la norme nulle de Sormani-Vega. Les auteurs construisent une large classe de tels espaces-temps, incluant l'évolution future d'ensembles de données initiales compacts et les régions d'espaces-temps asymptotiquement plats épuisés. Ils proposent ensuite diverses notions de distances intrinsèques entre ces espaces-temps (introduisant la distance de Hausdorff temporelle) et démontrent que certaines notions de distances sont déterminantes, c'est-à-dire que ces distances sont nulles si et seulement s'il existe une isométrie lorentzienne orientée temporellement entre les espaces-temps. Ces distances déterminantes permettent de définir diverses notions de convergence des espaces-temps vers des espaces-temps limites possiblement non-lisses.
Les physiciens, en étudiant l'évolution cosmique, utilisent souvent des modèles d'espaces-temps lisses simplifiés, puis supposent que l'univers réel s'en rapproche en un certain sens. Le problème central que cet article résout est:
- Comment définir le « degré de proximité » entre deux espaces-temps?
- Comment comparer des espaces-temps qui ne sont pas nécessairement homéomorphes?
- Comment définir la convergence d'une suite d'espaces-temps?
Ces questions revêtent une importance majeure en relativité générale:
- Relation entre univers quasi-isotropes et espaces-temps FLRW: L'univers réel n'est qu'approximativement homogène et isotrope
- Évolution de systèmes gravitationnels isolés vers l'espace-temps de Kerr: Formulation mathématique de la conjecture d'état final
- Stabilité des solutions des équations d'Einstein: Étude de l'influence des perturbations infinitésimales des données initiales sur la géométrie de l'espace-temps
Les méthodes traditionnelles exigent l'existence d'un difféomorphisme entre les espaces-temps, comparant le tenseur métrique. Cependant, cette approche:
- Ne peut pas traiter les espaces-temps de topologies différentes
- Ne peut pas décrire la convergence d'espaces-temps contenant des trous noirs vers des espaces-temps lisses
- Manque de signification géométrique intrinsèque
La motivation des auteurs provient de l'application réussie de la distance de Gromov-Hausdorff en géométrie riemannienne. Ils espèrent développer des notions de distances intrinsèques analogues pour étudier la convergence des espaces-temps lorentziens.
- Introduction du concept d'espaces-temps causalement-nuls-compactifiables: Définition d'une large classe d'espaces-temps transformables en espaces métriques temporels compacts
- Construction de multiples distances intrinsèques: Proposition de plusieurs distances entre espaces-temps, incluant la distance de Hausdorff temporelle
- Preuve du caractère déterminant des distances: Démonstration que certaines notions de distances sont nulles si et seulement s'il existe une isométrie lorentzienne
- Établissement d'une théorie de la convergence: Fourniture d'un cadre mathématique rigoureux pour la convergence des espaces-temps
- Proposition de nombreuses conjectures: Indication des directions pour les recherches futures
La tâche centrale de cet article est de définir des distances intrinsèques pour les espaces-temps lorentziens telles que:
- La distance soit nulle si et seulement s'il existe une isométrie lorentzienne orientée temporellement
- Elles puissent traiter des espaces-temps de topologies différentes
- Elles permettent de définir la convergence vers des limites non-lisses
Pour un espace-temps (N,g), la fonction temps cosmologique est définie par:
τg(p)=sup{dg(p,q′):q′∈J−(p)}
où J−(p) est le passé causal du point p et dg est la distance lorentzienne.
Étant donné un espace-temps (N,g) et une fonction temps τ, la distance nulle est définie par:
d^g,τ(p,q)=inf∑i=1N∣τ(pi)−τ(pi−1)∣
où l'infimum est pris sur toutes les chaînes de points causalement liés {p=p0,p1,…,p2N=q}.
Un espace-temps (N,g) est causalement-nul-compactifiable si:
- Il possède une fonction temps cosmologique régulière bornée τg:N→[0,τmax]
- L'espace métrique associé (Nˉ,d^g) est compact
- La distance nulle encode la causalité: 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))
Pour les espaces-temps du Big Bang, utilisation de la distance de Gromov-Hausdorff pointée:
dS−BB−GH((N1,g1),(N2,g2))=dpt−GH((Nˉ1,d^g1,pBB,1),(Nˉ2,d^g2,pBB,2))
Introduction de l'application de Fréchet temporelle κτ,X:X→ℓ∞:
κτ,X(x)=(τ(x),d(x1,x),d(x2,x),…)
Définition de la distance de Hausdorff temporelle:
dτ−H((X1,d1,τ1),(X2,d2,τ2))=infdHℓ∞(κτ1,X1(X1),κτ2,X2(X2))
- Application de Fréchet temporelle: Intégration de l'information temporelle dans la structure métrique
- Codage de la causalité: Récupération complète de la structure causale de l'espace-temps via la distance nulle
- Technique de compactification: Transformation d'espaces-temps non-bornés en espaces métriques compacts
- Preuve du caractère déterminant: Établissement de l'équivalence entre distance nulle et isométrie lorentzienne
Si (N,g) possède une fonction temps cosmologique régulière τg:N→(0,∞), alors la bande cosmologique Ns,t=τg−1(s,t) possède de bonnes propriétés géométriques.
Si (N,g) possède une fonction temps cosmologique régulière appropriée, alors la bande cosmologique (Ns,t,g) est un espace-temps causalement-nul-compactifiable.
La distance intrinsèque du Big Bang dS−BB−GH est déterminante:
dS−BB−GH((N1,g1),(N2,g2))=0⇔∃isomeˊtrie lorentzienneF:N1→N2
La distance de Hausdorff temporelle dS−τ−H est déterminante, constituant le résultat principal de cet article.
Conjecture 6.16: Si les ensembles de données initiales compacts (Mj,hj,kj) convergent en un certain sens vers (M∞,h∞,0), alors les solutions d'espaces-temps correspondantes convergent également.
Conjecture 6.23: Les espaces-temps nuls-compactifiables quasi-isotropes et homogènes sont proches des espaces-temps FLRW en un certain sens de distance intrinsèque.
Conjecture 6.37: La région extérieure d'un espace-temps asymptotiquement plat converge vers l'espace-temps de Kerr lorsque le temps tend vers l'infini.
Conjecture 6.29: Les solutions d'espaces-temps correspondant à des données initiales asymptotiquement plates de masse tendant vers zéro convergent vers l'espace-temps de Minkowski.
- Travail original de Gromov établissant les distances intrinsèques entre espaces métriques compacts
- Théorie des espaces métriques mesurés de Sturm-Lott-Villani
- Distance intrinsèquement plate de Sormani-Wenger
- Travail d'Allen-Burtscher sur les propriétés de la distance nulle
- Espaces lorentziens de longueur de Kunzinger-Steinbauer
- Convergence de Gromov-Hausdorff lorentzienne de Minguzzi-Suhr
- Stabilité de Minkowski de Christodoulou-Klainerman
- Stabilité de Schwarzschild de Dafermos-Holzegel-Rodnianski
- Divers résultats de stabilité des données initiales
- Établissement réussi d'une théorie systématique des distances intrinsèques entre espaces-temps
- Preuve du caractère déterminant de concepts tels que la distance de Hausdorff temporelle
- Fourniture de nouveaux outils pour les problèmes de convergence en relativité générale
- Connexion entre la théorie métrique de la géométrie différentielle et de la géométrie lorentzienne
- Exigences de régularité: Nécessité que la fonction temps cosmologique soit régulière
- Restrictions de compactification: Applicabilité limitée aux espaces-temps ou régions compactifiables
- Complexité de calcul: Le calcul effectif de ces distances peut s'avérer difficile
- Interprétation physique: L'interprétation physique de certaines constructions mathématiques nécessite des clarifications supplémentaires
- Implémentation numérique: Développement d'algorithmes efficaces pour calculer ces distances
- Applications physiques: Vérification de la théorie dans des problèmes spécifiques de relativité générale
- Généralisation: Extension à des catégories d'espaces-temps plus générales
- Connexions avec d'autres théories: Exploration des relations avec d'autres concepts de convergence
- Innovation théorique: Première établissement systématique d'une théorie des distances intrinsèques entre espaces-temps
- Rigueur mathématique: Preuves suffisantes et définitions précises
- Potentiel d'application: Nouvelle perspective sur plusieurs problèmes physiques importants
- Complétude: Cadre complet allant des définitions fondamentales aux conjectures d'application
- Opérabilité: Théorie relativement abstraite, application pratique potentiellement difficile
- Manque d'exemples: Exemples de calculs concrets relativement peu nombreux
- Intuition physique: Certaines constructions manquent d'explication physique claire
- Complexité algorithmique: Absence de discussion sur la complexité algorithmique
- Valeur académique: Ouverture d'une nouvelle direction de recherche en géométrie lorentzienne
- Signification interdisciplinaire: Connexion entre géométrie différentielle, géométrie métrique et relativité générale
- Impact à long terme: Influence potentielle sur le développement futur de la théorie de convergence des espaces-temps
- Physique théorique: Étude de la stabilité et de la convergence des espaces-temps
- Physique mathématique: Exploration de l'application de l'analyse géométrique en relativité générale
- Relativité numérique: Fourniture de critères de convergence pour les simulations numériques
- Cosmologie: Étude du degré d'approximation des modèles cosmologiques
Cet article cite 176 références, couvrant une littérature étendue en géométrie différentielle, géométrie métrique, relativité générale et physique mathématique. Les références importantes incluent:
- Travaux d'Andersson, Galloway et Howard sur le temps cosmologique
- Articles originaux de Sormani et Vega sur la distance nulle
- Travail classique de Gromov sur la distance de Gromov-Hausdorff
- Recherches de Christodoulou, Klainerman et autres sur la stabilité des espaces-temps
Cet article apporte une contribution importante à la théorie métrique en géométrie lorentzienne, établissant une théorie systématique des distances entre espaces-temps et fournissant des outils mathématiques puissants pour l'étude des problèmes de convergence et de stabilité en relativité générale. Bien que la théorie soit relativement abstraite, sa valeur d'application potentielle et sa signification théorique sont toutes deux considérables.