Strong Sard Conjecture and regularity of singular minimizing geodesics for analytic sub-Riemannian structures in dimension 3

Abstract : In this paper we prove the strong Sard conjecture for sub-Riemannian structures on 3-dimensional analytic manifolds. More precisely, given a totally nonholonomic analytic distribution of rank 2 on a 3-dimensional analytic manifold, we investigate the size of the set of points that can be reached by singular horizontal paths starting from a given point and prove that it has Hausdorff dimension at most 1. In fact, provided that the lengths of the singular curves under consideration are bounded with respect to a given complete Riemannian metric, we demonstrate that such a set is a semianalytic curve. As a consequence, combining our techniques with recent developments on the regularity of sub-Riemannian minimizing geodesics, we prove that minimizing sub-Riemannian geodesics in 3-dimensional analytic manifolds are always of class C 1 , and actually are analytic outside of a finite set of points.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01889705
Contributor : Ludovic Rifford <>
Submitted on : Friday, October 12, 2018 - 8:58:12 AM
Last modification on : Friday, April 19, 2019 - 4:55:26 PM
Long-term archiving on : Sunday, January 13, 2019 - 1:17:58 PM

Identifiers

  • HAL Id : hal-01889705, version 2
  • ARXIV : 1810.03347

Citation

Andre Belotto da Silva, Alessio Figalli, Adam Parusiński, Ludovic Rifford. Strong Sard Conjecture and regularity of singular minimizing geodesics for analytic sub-Riemannian structures in dimension 3. 2018. ⟨hal-01889705v2⟩

Share

Metrics

Record views

182

Files downloads

89