Convex neighborhoods for Lipschitz connections and sprays

We establish that over a manifold the exponential map of any Lipschitz connection or spray determines a local Lipeomorphism and that, furthermore, reversible convex normal neighborhoods do exist. To that end we use the method of Picard-Lindelof approximation to prove the strong differentiability of the exponential map at the origin and hence a version of Gauss' Lemma which does not require the differentiability of the exponential map. Contrary to naive differential degree counting, the distance functions are shown to gain one degree and hence to be . As an application to mathematical relativity, it is argued that the mentioned differentiability conditions can be considered the optimal ones to preserve most results of causality theory. This theory is also shown to be generalizable to the Finsler spacetime case. In particular, we prove that the local Lorentzian(-Finsler) length maximization property of causal geodesics in the class of absolutely continuous causal curves holds already for spacetime metrics. Finally, we study the local existence of convex functions and show that arbitrarily small globally hyperbolic convex normal neighborhoods do exist.