New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

Abstract: We show a sharp and rigid spectral generalization of the classical Bishop--Gromov volume comparison theorem: if a closed Riemannian manifold $(M,g)$ of dimension $n\geq3$ satisfies $$ \lambda_1\left(-\frac{n-1}{n-2}\Delta+\mathrm{Ric}\right)\geq n-1, $$ then $\operatorname{vol}(M)\leq\operatorname{vol}(\mathbb S^{n})$, and $\pi_1(M)$ is finite. The constant $\frac{n-1}{n-2}$ cannot be improved, and if $\mathrm{vol}(M)=\mathrm{vol}(\mathbb S^n)$ holds, then $M\cong \mathbb S^{n}$. A sharp generalization of the Bonnet--Myers theorem is also shown under the same spectral condition. The proofs involve the use of a new unequally weighted isoperimetric problem, and unequally warped $\mu$-bubbles. As an application, in dimensions $3\leq n\leq 5$, we infer sharp results on the isoperimetric structure at infinity of complete manifolds with nonnegative Ricci curvature and uniformly positive spectral biRicci curvature. Furthermore, the main result of this paper is applied in Mazet's recent solution of the stable Bernstein problem in $\mathbb R^6$.