Rigidity and almost rigidity of Sobolev inequalities on compact spaces with lower Ricci curvature bounds

Abstract

We prove that if $M$ is a closed $n$-dimensional Riemannian manifold, $n\ge 3$, with $\mathrm{Ric}\ge n-1$ and for which the optimal constant in the critical Sobolev inequality equals the one of the $n$-dimensional sphere ${\mathbb{S}}^n$, then $M$ is isometric to ${\mathbb{S}}^n$. An almost-rigidity result is also established, saying that if equality is almost achieved, then $M$ is close in the measure Gromov-Hausdorff sense to a spherical suspension. These statements are obtained in the $\mathrm{RCD}$-setting of (possibly non-smooth) metric measure spaces satisfying synthetic lower Ricci curvature bounds. An independent result of our analysis is the characterization of the best constant in the Sobolev inequality on any compact $\mathrm{CD}$ space, extending to the non-smooth setting a classical result by Aubin. Our arguments are based on a new concentration compactness result for mGH-converging sequences of $\mathrm{RCD}$ spaces and on a Polya-Szego inequality of Euclidean-type in $\mathrm{CD}$ spaces. As an application of the technical tools developed we prove both an existence result for the Yamabe equation and the continuity of the generalized Yamabe constant under measure Gromov-Hausdorff convergence, in the $\mathrm{RCD}$-setting.

arXiv commentReorganized introduction and corrected typos, to appear in Calc. Var. and PDEs