Synthetic Lorentzian Cartan-Hadamard theorem established

What the study found: The authors formulate and prove a synthetic Lorentzian Cartan-Hadamard theorem. They also show that, under additional assumptions of global hyperbolicity and future one-connectedness, timelike geodesics exist uniquely between any pair of timelike related points.
Why the authors say this matters: The study suggests that a result known for locally convex metric spaces can be transferred to the Lorentzian setting, and the authors conclude that their work also generalizes a smooth Lorentzian theorem to synthetic Lorentzian geometry.
What the researchers tested: The researchers worked in the framework of Lorentzian (pre-)length spaces and Lorentzian length spaces. Their approach used a notion of local concavity, and they also applied the results to a globalization statement for non-negative upper timelike curvature bounds.
What worked and what didn't: The abstract reports that the theorem was proved and that the concavity-based approach allowed existence and uniqueness of timelike geodesics under the stated assumptions. It also says the authors provide a globalization result for their notion of concavity and apply it to non-negative upper timelike curvature bounds.
What to keep in mind: The available summary does not describe detailed limitations, and the scope is restricted to the assumptions named in the abstract, including global hyperbolicity and future one-connectedness.

Key points

• The paper proves a synthetic Lorentzian Cartan-Hadamard theorem.
• Under global hyperbolicity and future one-connectedness, timelike geodesics are shown to exist uniquely between timelike related points.
• The authors use local concavity in Lorentzian (pre-)length spaces as the main approach.
• The work is described as transferring a result from locally convex metric spaces to the Lorentzian setting.
• The authors also provide a globalization result and apply it to non-negative upper timelike curvature bounds.