Doubling for chronological diamonds in Lorentzian geometry

We define doubling conditions for measured Lorentzian length spaces in terms of chronological diamonds, and prove that such conditions are implied by suitable timelike curvature bounds.

In particular, for the first time, we relate doubling to curvature bounds in Lorentzian geometry.

As a consequence, we obtain compactness results for Lorentzian generalized cones with respect to the Lorentzian Gromov--Hausdorff convergence introduced by Mondino--Sämann.