Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds

Abstract

We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty )$, 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\in \mathbb{R}$, $N\ge 1$ and upper diameter bounds) hold, i.e. the isoperimetric profile function of $(X,\mathsf{d},\mathfrak{m})$ is bounded from below by the isoperimetric profile of the model space. Moreover, if equality is attained for some volume $v\in (0,1)$ and $K$ is strictly positive, then the space must be a spherical suspension and in this case we completely classify the isoperimetric regions. Finally we also establish the almost rigidity: if the equality is almost attained for some volume $v\in (0,1)$ and $K$ is strictly positive, then the space must be mGH close to a spherical suspension. To our knowledge this is the first result about isoperimetric comparison for non smooth metric measure spaces satisfying Ricci curvature lower bounds. Examples of spaces fitting our assumptions include measured Gromov-Hausdorff limits of Riemannian manifolds satisfying Ricci curvature lower bounds and Alexandrov spaces with curvature bounded from below; the result seems new even in these celebrated classes of spaces.

Final version, to appear in Inventiones Mathematicae

Cited by in corpus (21)

• Sharp geometric and functional inequalities in metric measure spaces with lower Ricci curvature bounds
• New formulas for the Laplacian of distance functions and applications
• Asymptotic isoperimetry on non collapsed spaces with lower Ricci bounds
• On the universal cover and the fundamental group of an $RC{D}^{\ast }(K,N)$-space
• Polya-Szego inequality and Dirichlet $p$-spectral gap for non-smooth spaces with Ricci curvature bounded below
• A review of Lorentzian synthetic theory of timelike Ricci curvature bounds
• Quantitative isoperimetry à la Levy-Gromov
• Sharp Cheeger-Buser type inequalities in $\mathsf{RCD}(K,\infty )$ spaces
• Almost euclidean Isoperimetric Inequalities in spaces satisfying local Ricci curvature lower bounds
• The Cheeger problem in abstract measure spaces
• Gravity from thermodynamics: optimal transport and negative effective dimensions
• Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries
• A Talenti-type comparison theorem for $\mathrm{RCD}(K,N)$ spaces and applications
• Rigidity for the isoperimetric inequality of negative effective dimension on weighted Riemannian manifolds
• Quantitative estimates for the Bakry-Ledoux isoperimetric inequality. II
• Optimal Transport Approach to Michael-Simon-Sobolev Inequalities in Manifolds with Intermediate Ricci Curvature Lower Bounds
• A reverse Hölder inequality for first eigenfunctions of the Dirichlet Laplacian on RCD(K,N) spaces
• Hölder continuity of tangent cones in RCD(K,N) spaces and applications to non-branching
• Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures
• An isoperimetric inequality for surfaces formed from spherical polygons
• Rigidity for critical points in the Levy-Gromov inequality