Sard Property for the endpoint map on some Carnot groups

Abstract

In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that the abnormal set lies in a proper analytic subvariety. In doing so we examine several characterizations of the abnormal set in the case of Lie groups.

39 pages

Cited by in corpus (13)

• On the cut locus of free, step two Carnot groups
• Sharp measure contraction property for generalized H-type Carnot groups
• Measure contraction properties of Carnot groups
• On the subRiemannian cut locus in a model of free two-step Carnot group
• A rectifiability result for finite-perimeter sets in Carnot groups
• Intrinsic random walks in Riemannian and sub-Riemannian geometry via volume sampling
• Third order open mapping theorems and applications to the end-point map
• Curvature exponent and geodesic dimension on Sard-regular Carnot groups
• Microflexiblity and local integrability of horizontal curves
• Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures
• Sub-Riemannian geometry on some step-two Carnot groups
• On the lower bound of the curvature exponent on step-two Carnot groups
• Polarised Lie groups contactomorphic to stratified groups