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

TL;DR

This paper establishes a spectral version of classical geometric theorems, providing sharp volume and diameter bounds for manifolds under specific spectral conditions, with applications to isoperimetric problems and Bernstein problems.

Contribution

It introduces a new spectral generalization of Bishop-Gromov and Bonnet-Myers theorems, involving a novel isoperimetric problem and warped μ-bubbles, with applications to manifold geometry.

Findings

Manifolds satisfying the spectral condition have volume bounds and finite fundamental group.

Equality cases characterize the sphere, confirming sharpness.

Applications include results on isoperimetric structures and Bernstein problems in higher dimensions.

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$.