Calculus of Variations and Geometric Measure Theory

E. Caputo - N. Cavallucci - T. Ikonen

Sobolev-to-Lipschitz property of geodesically complete spaces with curvature bounded from above

created by caputo on 24 Jun 2026

[BibTeX]

preprint

Inserted: 24 jun 2026

Year: 2026

ArXiv: 2606.24374 PDF

Abstract:

We prove that every length space with curvature bounded from above that is geodesically complete has the Sobolev-to-Lipschitz property with exponent infinity. That is, every Sobolev map in the $W^{1,\infty}$-space has a Lipschitz representative so that the Lipschitz constant coincides with the infinity energy of the map. The proof is geometric and relies on arbitrarily small perturbations of geodesics to a curve that has zero length on the singular set. The motivation is to develop the analytic theory of such spaces; in particular, our result implies that GCBA spaces satisfy the infinity Poincaré inequality and an essential assumption in the theory of Lipschitz-Volume rigidity.