Metric Convergence of Sequences of Static Spacetimes with the Null Distance
Brian Allen
TL;DR
The paper advances the program of defining metric convergence for sequences of spacetimes by leveraging the null distance $\hat{d}_{t,g}$ on static spacetimes. It establishes a Hölder-type control that yields uniform and Gromov-Hausdorff convergence under suitable $L^p$ bounds, and develops intrinsic-flat convergence results for spacetime sequences with the null distance, under volume, area, and lower-bound hypotheses. A key contribution is an analog of the Volume Above Distance Below (VADB) theorem tailored to static spacetimes and a framework to estimate SWIF distances between spacetimes by embedding them into a joining space $Z$. The work clarifies when GH versus SWIF limits occur, supported by illustrative examples, and proposes a conjecture extending these ideas to globally hyperbolic spacetimes with the null distance, highlighting the broader impact for Lorentzian geometry and spacetime convergence studies.
Abstract
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.
