Metric Convergence of Sequences of Static Spacetimes with the Null Distance
Allen
How should one define metric space notions of convergence for sequences of spacetimes? Since a Lorentzian manifold does not define a metric space directly, the uniform convergence, Gromov-Hausdorff (GH) convergence, and Sormani-Wenger Intrinsic Flat (SWIF) convergence does not extend automatically. One approach is to define a metric space structure, which is compatible with the Lorentzian structure, so that the usual notions of convergence apply. This approach was taken by C. Sormani and C. Vega when defining the null distance. In this paper, we study sequences of static spacetimes equipped with the null distance under uniform, GH, and SWIF convergence, as well as Hölder bounds. We use the results of the Volume Above Distance Below (VADB) theorem of the author, R. Perales, and C. Sormani to prove an analog of the VADB theorem for sequences of static spacetimes with the null distance. We also give a conjecture of what the VADB theorem should be in the case of sequences of globally hyperbolic spacetimes with the null distance.
academic
Convergence Métrique de Séquences d'Espaces-Temps Statiques avec la Distance Nulle
Cet article étudie comment définir des concepts de convergence d'espaces métriques pour des séquences d'espaces-temps. Puisque les variétés lorentziennes ne peuvent pas directement définir des espaces métriques, la convergence uniforme, la convergence de Gromov-Hausdorff (GH) et la convergence intrinsèque plate de Sormani-Wenger (SWIF) ne peuvent pas être automatiquement généralisées. L'article adopte l'approche de définir des structures d'espaces métriques compatibles avec la structure lorentzienne, permettant l'application des concepts de convergence usuels. L'auteur étudie les propriétés des séquences d'espaces-temps statiques équipés de la distance nulle sous la convergence uniforme, la convergence GH et la convergence SWIF, ainsi que les bornes de Hölder. En utilisant les résultats du théorème Volume Above Distance Below (VADB) obtenu avec R. Perales et C. Sormani, l'auteur prouve un analogue du théorème VADB pour les séquences d'espaces-temps statiques équipés de la distance nulle et propose une conjecture pour le théorème VADB dans le cas des séquences d'espaces-temps globalement hyperboliques.
Le problème central que cet article résout est : comment définir des concepts raisonnables de convergence métrique pour des séquences d'espaces-temps ? C'est un problème fondamental d'analyse géométrique ayant une importance théorique majeure.
Signification théorique: L'étude de la convergence des espaces-temps est un sujet important de la géométrie différentielle moderne et de la relativité générale, fondamental pour comprendre la structure géométrique de l'espace-temps
Valeur applicative: En relativité numérique et en physique gravitationnelle, il est nécessaire d'étudier le comportement limite des séquences d'espaces-temps
Fondations mathématiques: Fournit une théorie de convergence mature pour la géométrie lorentzienne, analogue à celle bien établie en géométrie riemannienne
Difficultés de généralisation directe: Les variétés lorentziennes ne sont pas des espaces métriques, par conséquent les concepts classiques de convergence métrique ne peuvent pas être appliqués directement
Absence de cadre unifié: Les méthodes existantes redéfinissent soit les concepts de convergence, soit se limitent à des cas particuliers
Outils insuffisants: Absence d'outils efficaces pour estimer les distances SWIF entre espaces-temps
L'auteur adopte la méthode de la distance nulle de Sormani-Vega, dotant les espaces-temps lorentziens d'une structure d'espace métrique, permettant ainsi l'application de la théorie classique de convergence. Ceci fournit un cadre unifié pour étudier la convergence des séquences d'espaces-temps.
Établissement d'une théorie de convergence pour les espaces-temps statiques: Étude de la convergence uniforme, GH et SWIF des séquences d'espaces-temps statiques sous la distance nulle
Preuve du théorème des bornes de Hölder: Fourniture d'estimations de Hölder pour les fonctions de distance des séquences d'espaces-temps statiques
Développement d'outils d'estimation de la distance SWIF: Première fourniture d'outils pour estimer la distance SWIF entre espaces-temps globalement hyperboliques équipés de la distance nulle
Preuve d'un analogue du théorème VADB: Généralisation du théorème VADB du cas riemannien aux espaces-temps statiques
Proposition d'une conjecture pour le cas globalement hyperbolique: Fourniture d'un cadre théorique pour la convergence de séquences d'espaces-temps plus générales
Pour un espace-temps (L,g) et une fonction temporelle τ:L→R, la longueur nulle d'une courbe causale par segments β:[a,b]→L est définie par :
L^τ,g(β)=∑i=1k∣τ(β(si))−τ(β(si−1))∣
La distance nulle est définie par :
d^τ,g(p,q)=inf{L^τ,g(β):β est une courbe causale par segments de paˋq}
Soit M une variété compacte connexe orientée, (M,σ1) une variété riemannienne continue, et (M,σ0) une variété riemannienne lisse. Si p>n et
∫Mh1σ1σ0p/2dVσ0≤C
alors pour tous x,y∈L :
d^t,g1(x,y)≤C′d^t,g0(x,y)pp−n
Sous des conditions plus faibles (ne nécessitant pas la borne Lp/2), on obtient toujours la convergence SWIF, montrant que la convergence SWIF est un résultat plus fort que la convergence GH.
Construction d'isométries: Construction d'un espace métrique spécial Z dans lequel les deux espaces-temps sont plongés isométriquement
Techniques de contrôle du volume: Utilisation d'estimations de mesure de Hausdorff pour contrôler la masse des courants intégraux
Analyse de convergence ponctuelle: Combinaison des résultats de convergence ponctuelle du cas riemannien avec les propriétés spéciales de la distance nulle
Cet article est le premier travail étudiant systématiquement la convergence SWIF des séquences d'espaces-temps équipés de la distance nulle, comblant une lacune importante du domaine.
L'article cite les références importantes du domaine, incluant :
Sormani-Vega (2016) : Définition originale de la distance nulle
Allen-Burtscher (2021) : Recherche précoce sur la convergence d'espaces-temps
Allen-Perales-Sormani (2024) : Cas riemannien du théorème VADB
Ambrosio-Kirchheim (2000) : Théorie des courants intégraux sur espaces métriques
Évaluation Générale: Ceci est un article mathématique théorique de haute qualité qui apporte des contributions importantes à la géométrie lorentzienne et à la théorie de convergence d'espaces-temps. Bien que les résultats principaux se limitent au cas statique, ils établissent une base solide pour la recherche de cas plus généraux. Le niveau technique de l'article est élevé, les preuves sont rigoureuses, et il représente un progrès important dans le domaine.