Sharp measure contraction property for generalized H-type Carnot groups

Abstract

We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\le 0$ and $N\ge k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in this paper, and for which we compute explicitly the optimal synthesis. This constitutes the largest class of Carnot groups for which the curvature exponent coincides with the geodesic dimension. We stress that generalized H-type Carnot groups have step 2, include all corank 1 groups and, in general, admit abnormal minimizing curves. As a corollary, we prove the absolute continuity of the Wasserstein geodesics for the quadratic cost on all generalized H-type Carnot groups.

18 pages. This article extends the results of arXiv:1510.05960. v2: revised and improved version. v3: final version, to appear in Commun. Contemp. Math

References in corpus (4)

• Sard Property for the endpoint map on some Carnot groups
• A formula for Popp's volume in sub-Riemannian geometry
• Optimal maps in essentially non-branching spaces
• Measure contraction properties of Carnot groups

Cited by in corpus (15)

• On the topology and the boundary of N-dimensional RCD(K,N) spaces
• New formulas for the Laplacian of distance functions and applications
• Sub-Riemannian interpolation inequalities
• Topological regularity of isoperimetric sets in PI spaces having a deformation property
• Bakry-Émery curvature and model spaces in sub-Riemannian geometry
• H-type foliations
• Comparison theorems on H-type sub-Riemannian manifolds
• Generalized Bakry-Émery curvature condition and equivalent entropic inequalities in groups
• Curvature exponent and geodesic dimension on Sard-regular Carnot groups
• Stability theorems for H-type Carnot groups
• 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
• Polarizing Anisotropic Heisenberg Groups
• Collapsed limits of compact Heisenberg manifolds with sub-Riemannian metrics
• Transport densities and congested optimal transport problem in the Heisenberg group