Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds

TL;DR

This paper establishes sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds, extending classical results to a broad class of non-smooth spaces under the $CD^*(K,N)$ condition.

Contribution

It proves a series of sharp inequalities, including Brunn-Minkowski, Poincaré, log-Sobolev, Talagrand, and Sobolev inequalities, in non-smooth spaces satisfying $CD^*(K,N)$ and essentially non-branching assumptions.

Findings

Proved sharp functional inequalities in $CD^*(K,N)$ spaces.

Established equivalence between local and global curvature-dimension conditions.

Connected local curvature conditions to global geometric inequalities.

Abstract

For metric measure spaces verifying the reduced curvature-dimension condition $CD^*(K,N)$ we prove a series of sharp functional inequalities under the additional assumption of essentially non-branching. Examples of spaces entering this framework are (weighted) Riemannian manifolds satisfying lower Ricci curvature bounds and their measured Gromov Hausdorff limits, Alexandrov spaces satisfying lower curvature bounds and more generally $RCD^*(K,N)$-spaces, Finsler manifolds endowed with a strongly convex norm and satisfying lower Ricci curvature bounds, etc. In particular we prove Brunn-Minkowski inequality, $p$-spectral gap (or equivalently $p$-Poincar\'e inequality) for any $p\in [1,\infty)$, log-Sobolev inequality, Talagrand inequality and finally Sobolev inequality. All the results are proved in a sharp form involving an upper bound on the diameter of the space; if this extra sharpening is suppressed, all the previous inequalities for essentially non-branching $CD^*(K,N)$ spaces take the same form of the corresponding ones holding for a weighted Riemannian manifold verifying curvature-dimension condition $CD(K,N)$ in the sense of Bakry-\'Emery. In this sense inequalities are sharp. We also discuss the rigidity and almost rigidity statements associated to the $p$-spectral gap. Finally let us mention that for essentially non-branching metric measure spaces, the local curvature-dimension condition $CD_{loc}(K,N)$ is equivalent to the reduced curvature-dimension condition $CD^*(K,N)$. Therefore we also have shown that sharp Brunn-Minkowski inequality in the \emph{global} form can be deduced from the \emph{local} curvature-dimension condition, providing a step towards (the long-standing problem of) globalization for the curvature-dimension condition $CD(K,N)$.