Calculus of Variations and Geometric Measure Theory

F. Cavalletti - A. Mondino

Measure rigidity of Ricci curvature lower bounds

created by cavallett on 01 Dec 2014
modified by mondino on 12 Oct 2015



Inserted: 1 dec 2014
Last Updated: 12 oct 2015

Journal: Advances in Math.
Volume: 286
Year: 2016
Doi: 10.1016/j.aim.2015.09.016


The measure contraction property, $MCP$ for short, is a weak Ricci curvature lower bound conditions for metric measure spaces. The goal of this paper is to understand which structural properties such assumption (or even weaker modifications) implies on the measure, on its support and on the geodesics of the space.

We start our investigation from the euclidean case by proving that if a positive Radon measure $m$ over $R^{d}$ is such that $(R^{d},
, m)$ verifies a weaker variant of $MCP$, then its support $spt(m)$ must be convex and $m$ has to be absolutely continuous with respect to the relevant Hausdorff measure of $spt(m)$. This result is then used as a starting point to investigate the rigidity of $MCP$ in the metric framework.

We introduce the new notion of \emph{reference measure} for a metric space and prove that if $(X,d,m)$ is essentially non-branching and verifies $MCP$, and $\mu$ is an essentially non-branching $MCP$ reference measure for $(spt(m), d)$, then $m$ is absolutely continuous with respect to $\mu$, on the set of points where an inversion plan exists. As a consequence, an essentially non-branching $MCP$ reference measure enjoys a weak type of uniqueness, up to densities. We also prove a stability property for reference measures under measured Gromov-Hausdorff convergence, provided an additional uniform bound holds.

In the final part we present concrete examples of metric spaces with reference measures, both in smooth and non-smooth setting. The main example will be the Hausdorff measure over an Alexandrov space. Then we prove that the following are reference measures over smooth spaces: the volume measure of a Riemannian manifold, the Hausdorff measure of an Alexandrov space with bounded curvature, and the Haar measure of the subRiemannian Heisenberg group.

Free download of the final version accepted by AIM until 27 november 2015 at the link http:/authors.elsevier.coma1Rr0bRELGuEW.

Keywords: optimal transportation, Alexandrov spaces, measure contraction property