Measure contraction properties of Carnot groups

Abstract

We prove that any corank 1 Carnot group of dimension $k+1$ equipped with a left-invariant measure satisfies the $\mathrm{MCP}(K,N)$ if and only if $K\le 0$ and $N\ge k+3$. This generalizes the well known result by Juillet for the Heisenberg group ${\mathbb{H}}_{k+1}$ to a larger class of structures, which admit non-trivial abnormal minimizing curves. The number $k+3$ coincides with the geodesic dimension of the Carnot group, which we define here for a general metric space. We discuss some of its properties, and its relation with the curvature exponent (the least $N$ such that the $\mathrm{MCP}(0,N)$ is satisfied). We prove that, on a metric measure space, the curvature exponent is always larger than the geodesic dimension which, in turn, is larger than the Hausdorff one. When applied to Carnot groups, our results improve a previous lower bound due to Rifford. As a byproduct, we prove that a Carnot group is ideal if and only if it is fat.

17 pages, final version, to appear on "Calculus of Variations and PDEs"

References in corpus (2)

• Sard Property for the endpoint map on some Carnot groups
• A formula for Popp's volume in sub-Riemannian geometry

Cited by in corpus (17)

• Sub-Riemannian curvature in contact geometry
• Sharp measure contraction property for generalized H-type Carnot groups
• On the topology and the boundary of N-dimensional RCD(K,N) spaces
• Sub-Riemannian interpolation inequalities
• New formulas for the Laplacian of distance functions and applications
• Intrinsic random walks in Riemannian and sub-Riemannian geometry via volume sampling
• A counterexample to gluing theorems for MCP metric measure spaces
• Bakry-Émery curvature and model spaces in sub-Riemannian geometry
• Generalized Bakry-Émery curvature condition and equivalent entropic inequalities in groups
• Horizontal semiconcavity for the square of Carnot-Carathéodory distance on step 2 Carnot groups and applications to Hamilton-Jacobi equations
• Curvature exponent and geodesic dimension on Sard-regular Carnot groups
• Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures
• On gradient estimates of the heat semigroups on step-two Carnot groups
• On the lower bound of the curvature exponent on step-two Carnot groups
• Collapsed limits of compact Heisenberg manifolds with sub-Riemannian metrics
• Transport densities and congested optimal transport problem in the Heisenberg group
• Isometric rigidity of the Wasserstein space ${\mathcal{W}}_1(\mathbf{G})$ over Carnot groups