Null distance and convergence of Lorentzian length spaces (Q2099125)

\textit{C. Sormani} and \textit{C. Vega} [Classical Quantum Gravity 33, No. 8, Article ID 085001, 29 p. (2016; Zbl 1337.83015)] defined the ``null distance'', a distance function on Lorentz manifolds with a time function \(\tau\), by considering piecewise causal curves, defining their ``null length'' as the sum of the changes of \(\tau\) for the causal pieces, and taking the infimum of the null lengths for piecewise causal curves between two points to be the null distance between those points. Some results on Gromov-Hausdorff convergence with respect to the null distance were obtained by \textit{B. Allen} and \textit{A. Burtscher} [Int. Math. Res. Not. 2022, No. 10, 7729--7808 (2022; Zbl 07542572)]. A more synthetic approach to Lorentzian length spaces, which goes beyond Lorentzian manifolds, was developed by \textit{M. Kunzinger} and \textit{C. Sämann} in [Ann. Global Anal. Geom. 54, No. 3, 399--447 (2018; Zbl 1501.53057)]. The present paper studies Gromov-Hausdorff convergence for Lorentzian length spaces and thus generalizes the results of \textit{B. Allen} and \textit{A. Burtscher} [loc. cit.] beyond manifolds. In particular, it extends the null distance to Lorentzian length spaces, and the authors prove that for some warped product Lorentzian length spaces, Gromov-Hausdorff convergence preserves certain lower synthetic curvature bounds.