Sharp Geometric and Functional Inequalities in Metric Measure Spaces with Lower Ricci Curvature Bounds
نویسندگان
چکیده
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 nonbranching. 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é inequality) for any p ∈ [1,∞), 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-Émery. 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 curvaturedimension condition CDloc(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 global form can be deduced from the local curvature-dimension condition, providing a step towards (the long-standing problem of) globalization for the curvature-dimension condition CD(K,N).
منابع مشابه
Sharp and Rigid Isoperimetric Inequalities in Metric-measure Spaces with Lower Ricci Curvature Bounds
We prove that if (X, d,m) is a metric measure space with m(X) = 1 having (in a synthetic sense) Ricci curvature bounded from below by K > 0 and dimension bounded above by N ∈ [1,∞), then the classic Lévy-Gromov isoperimetric inequality (together with the recent sharpening counterparts proved in the smooth setting by E. Milman for any K ∈ R, N ≥ 1 and upper diameter bounds) hold, i.e. the isoper...
متن کاملRicci curvature , entropy and optimal transport – Summer School in Grenoble 2009 – ‘ Optimal Transportation : Theory and Applications
These notes are the planned contents of my lectures. Some parts could be only briefly explained or skipped due to the lack of time or possible overlap with other lectures. The aim of these lectures is to review the recent development on the relation between optimal transport theory and Riemannian geometry. Ricci curvature is the key ingredient. Optimal transport theory provides a good character...
متن کاملStructure Theory of Metric-measure Spaces with Lower Ricci Curvature Bounds I
We prove that a metric measure space (X, d,m) satisfying finite dimensional lower Ricci curvature bounds and whose Sobolev space W1,2 is Hilbert is rectifiable. That is, a RCD∗(K,N)-space is rectifiable, and in particular for m-a.e. point the tangent cone is unique and euclidean of dimension at most N. The proof is based on a maximal function argument combined with an original Almost Splitting ...
متن کاملCDloc(K,N) IMPLIES MCP(K,N)
We prove that for non-branching metric measure spaces the local curvature condition CDloc(K, N) implies the global version of MCP(K, N). The curvature condition CD(K, N) introduced by the second author and also studied by Lott & Villani is the generalization to metric measure space of lower bounds on Ricci curvature together with upper bounds on the dimension. This paper is the following step o...
متن کاملSharp Logarithmic Sobolev Inequalities on Gradient Solitons and Applications
We show that gradient shrinking, expanding or steady Ricci solitons have potentials leading to suitable reference probability measures on the manifold. For shrinking solitons, as well as expanding soltions with nonnegative Ricci curvature, these reference measures satisfy sharp logarithmic Sobolev inequalities with lower bounds characterized by the geometry of the manifold. The geometric invari...
متن کامل