# Measure contraction properties of Carnot groups

created by rizzi1 on 23 Feb 2016
modified on 15 May 2017

[BibTeX]

Published Paper

Inserted: 23 feb 2016
Last Updated: 15 may 2017

Journal: Calculus of Variations and PDEs
Year: 2016
Doi: 10.1007/s00526-016-1002-y

ArXiv: 1510.05960 PDF

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 \leq 0$ and $N \geq 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.