# A Lifting principle of curves under exponential-type maps

## TL;DR

This paper introduces a lifting theory for the exponential map in semi-Riemannian manifolds, overcoming classical singularity obstructions and providing new proofs for fundamental geometric theorems.

## Contribution

It develops a path-lifting framework that extends to semi-Riemannian geometries, highlighting the importance of the continuation property for geodesic connectivity.

## Key findings

- Lifts exist for smooth paths up to reparametrization.
- Global lifts are possible under the path-continuation property.
- New proofs of classical theorems like Hopf-Rinow and Serre's theorem.

## Abstract

We develop a lifting theory for the exponential map of semi-Riemannian manifolds that overcomes the classical obstruction caused by its singularities. We show that every smooth path in the manifold admits, up to a nondecreasing reparametrization, a partial lift through the exponential map which is inextensible in its domain of definition. If the exponential map satisfies the path-continuation property-a natural topological condition-these lifts extend globally, yielding a general path-lifting theorem. This lifting approach yields new, alternative proofs of (generalizations of) a number of foundational results in semi-Riemannian geometry: the Hopf-Rinow theorem and Serre's classic theorem about multiplicity of connecting geodesics in the Riemannian case, as well as the Avez-Seifert theorem for globally hyperbolic spacetimes in Lorentzian geometry. More broadly, our results reveal the central role of the continuation property in obtaining geodesic connectivity across a wide range of semi-Riemannian geometries. This offers a unifying geometric principle that is complementary to the more traditional analytic, variational methods used in to investigate geodesic connectedness, and provides new insight into the structure of geodesics, both on geodesically complete and non-complete manifolds. We also briefly point out how the lifting theory developed here can etend to more general flow-inducing maps on the tangent bundle other than the geodesic flow, suggesting broader geometric applicability beyond the exponential map.