The Cartan-Hadamard Theorem for Metric Spaces with Local Geodesic Bicombings

Local-to-global principles are spread all-around in mathematics. The classical Cartan-Hadamard Theorem from Riemannian geometry was generalized by W. Ballmann for metric spaces with non-positive curvature, and by S. Alexander and R. Bishop for locally convex metric spaces. In this paper, we prove the Cartan-Hadamard Theorem in a more general setting, namely for spaces which are not uniquely geodesic but locally possess a suitable selection of geodesics, a so-called convex geodesic bicombing. Furthermore, we deduce a local-to-global theorem for injective (or hyperconvex) metric spaces, saying that under certain conditions a complete, simply-connected, locally injective metric space is injective. A related result for absolute $1$-Lipschitz retracts follows.