The exponential map of a $C^{1,1}$-metric

Abstract

Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal neighborhoods in an appropriate sense. The proofs are based on regularization, combined with methods from comparison geometry.

Final version

Cited by in corpus (9)

• Convex neighborhoods for Lipschitz connections and sprays
• Hawking's singularity theorem for $C^{1,1}$-metrics
• Maximizers in Lipschitz spacetimes are either timelike or null
• Length structures on manifolds with continuous Riemannian metrics
• The singularity theorems of General Relativity and their low regularity extensions
• The Hawking-Penrose singularity theorem for $C^1$-Lorentzian metrics
• Every Lipschitz metric has $C^1$-geodesics
• Lorentz meets Lipschitz
• Cut-and-paste for impulsive gravitational waves with $\Lambda$: The geometric picture