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

Introduction de Diverses Notions de Distances entre les Espaces-Temps

Informations Fondamentales

  • 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

Résumé

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.

Contexte de Recherche et Motivation

1. Problème Central

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?

2. Importance du Problème

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

3. Limitations des Approches Existantes

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

4. Motivation de la Recherche

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.

Contributions Principales

  1. 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
  2. Construction de multiples distances intrinsèques: Proposition de plusieurs distances entre espaces-temps, incluant la distance de Hausdorff temporelle
  3. 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
  4. Établissement d'une théorie de la convergence: Fourniture d'un cadre mathématique rigoureux pour la convergence des espaces-temps
  5. Proposition de nombreuses conjectures: Indication des directions pour les recherches futures

Explication Détaillée des Méthodes

Définition de la Tâche

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

Concepts Fondamentaux

1. Fonction Temps Cosmologique

Pour un espace-temps (N,g)(N,g), la fonction temps cosmologique est définie par: τg(p)=sup{dg(p,q):qJ(p)}\tau_g(p) = \sup\{d_g(p,q') : q' \in J^-(p)\}J(p)J^-(p) est le passé causal du point pp et dgd_g est la distance lorentzienne.

2. Distance Nulle

Étant donné un espace-temps (N,g)(N,g) et une fonction temps τ\tau, la distance nulle est définie par: 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})| où l'infimum est pris sur toutes les chaînes de points causalement liés {p=p0,p1,,p2N=q}\{p = p_0, p_1, \ldots, p_{2N} = q\}.

3. Espace-Temps Causalement-Nul-Compactifiable

Un espace-temps (N,g)(N,g) est causalement-nul-compactifiable si:

  • Il possède une fonction temps cosmologique régulière bornée τg:N[0,τmax]\tau_g : N \to [0,\tau_{max}]
  • L'espace métrique associé (Nˉ,d^g)(\bar{N}, \hat{d}_g) est compact
  • La distance nulle encode la causalité: 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)

Définitions des Distances

1. Distance Intrinsèque Atemporelle

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. Distance Intrinsèque du Big Bang

Pour les espaces-temps du Big Bang, utilisation de la distance de Gromov-Hausdorff pointée: 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. Distance de Hausdorff Temporelle

Introduction de l'application de Fréchet temporelle κτ,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) Définition de la distance de Hausdorff temporelle: 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))

Points d'Innovation Technique

  1. Application de Fréchet temporelle: Intégration de l'information temporelle dans la structure métrique
  2. Codage de la causalité: Récupération complète de la structure causale de l'espace-temps via la distance nulle
  3. Technique de compactification: Transformation d'espaces-temps non-bornés en espaces métriques compacts
  4. Preuve du caractère déterminant: Établissement de l'équivalence entre distance nulle et isométrie lorentzienne

Résultats Principaux

Théorème 3.1 (Construction de Bandes Cosmologiques)

Si (N,g)(N,g) possède une fonction temps cosmologique régulière τg:N(0,)\tau_g : N \to (0,\infty), alors la bande cosmologique Ns,t=τg1(s,t)N_{s,t} = \tau_g^{-1}(s,t) possède de bonnes propriétés géométriques.

Théorème 3.4 (Compactification Causalement-Nulle)

Si (N,g)(N,g) possède une fonction temps cosmologique régulière appropriée, alors la bande cosmologique (Ns,t,g)(N_{s,t},g) est un espace-temps causalement-nul-compactifiable.

Théorème 5.7 (Caractère Déterminant de la Distance du Big Bang)

La distance intrinsèque du Big Bang dSBBGHd_{S-BB-GH} est déterminante: dSBBGH((N1,g1),(N2,g2))=0isomeˊtrie lorentzienneF:N1N2d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = 0 \Leftrightarrow \exists \text{isométrie lorentzienne} F : N_1 \to N_2

Théorème 5.14 (Caractère Déterminant de la Distance de Hausdorff Temporelle)

La distance de Hausdorff temporelle dSτHd_{S-\tau-H} est déterminante, constituant le résultat principal de cet article.

Applications et Conjectures

1. Stabilité des Équations d'Einstein

Conjecture 6.16: Si les ensembles de données initiales compacts (Mj,hj,kj)(M_j,h_j,k_j) convergent en un certain sens vers (M,h,0)(M_\infty,h_\infty,0), alors les solutions d'espaces-temps correspondantes convergent également.

2. Approximation des Espaces-Temps FLRW

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.

3. Conjecture d'État Final

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.

4. Stabilité de l'Espace-Temps de Minkowski

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.

Travaux Connexes

1. Théorie de Gromov-Hausdorff

  • 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

2. Convergence en Géométrie Lorentzienne

  • 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

3. Stabilité en Relativité Générale

  • Stabilité de Minkowski de Christodoulou-Klainerman
  • Stabilité de Schwarzschild de Dafermos-Holzegel-Rodnianski
  • Divers résultats de stabilité des données initiales

Conclusion et Discussion

Conclusions Principales

  1. Établissement réussi d'une théorie systématique des distances intrinsèques entre espaces-temps
  2. Preuve du caractère déterminant de concepts tels que la distance de Hausdorff temporelle
  3. Fourniture de nouveaux outils pour les problèmes de convergence en relativité générale
  4. Connexion entre la théorie métrique de la géométrie différentielle et de la géométrie lorentzienne

Limitations

  1. Exigences de régularité: Nécessité que la fonction temps cosmologique soit régulière
  2. Restrictions de compactification: Applicabilité limitée aux espaces-temps ou régions compactifiables
  3. Complexité de calcul: Le calcul effectif de ces distances peut s'avérer difficile
  4. Interprétation physique: L'interprétation physique de certaines constructions mathématiques nécessite des clarifications supplémentaires

Directions Futures

  1. Implémentation numérique: Développement d'algorithmes efficaces pour calculer ces distances
  2. Applications physiques: Vérification de la théorie dans des problèmes spécifiques de relativité générale
  3. Généralisation: Extension à des catégories d'espaces-temps plus générales
  4. Connexions avec d'autres théories: Exploration des relations avec d'autres concepts de convergence

Évaluation Approfondie

Points Forts

  1. Innovation théorique: Première établissement systématique d'une théorie des distances intrinsèques entre espaces-temps
  2. Rigueur mathématique: Preuves suffisantes et définitions précises
  3. Potentiel d'application: Nouvelle perspective sur plusieurs problèmes physiques importants
  4. Complétude: Cadre complet allant des définitions fondamentales aux conjectures d'application

Insuffisances

  1. Opérabilité: Théorie relativement abstraite, application pratique potentiellement difficile
  2. Manque d'exemples: Exemples de calculs concrets relativement peu nombreux
  3. Intuition physique: Certaines constructions manquent d'explication physique claire
  4. Complexité algorithmique: Absence de discussion sur la complexité algorithmique

Portée et Impact

  1. Valeur académique: Ouverture d'une nouvelle direction de recherche en géométrie lorentzienne
  2. Signification interdisciplinaire: Connexion entre géométrie différentielle, géométrie métrique et relativité générale
  3. Impact à long terme: Influence potentielle sur le développement futur de la théorie de convergence des espaces-temps

Domaines d'Application

  1. Physique théorique: Étude de la stabilité et de la convergence des espaces-temps
  2. Physique mathématique: Exploration de l'application de l'analyse géométrique en relativité générale
  3. Relativité numérique: Fourniture de critères de convergence pour les simulations numériques
  4. Cosmologie: Étude du degré d'approximation des modèles cosmologiques

Références Bibliographiques

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.