Abstract
We provide an isoperimetric comparison theorem for small volumes in an $n$-dimensional Riemannian manifold $(M^n,g)$ with $C^3$ bounded geometry in a suitable sense involving the scalar curvature function. Under $C^3$ bounds of the geometry, if the supremum of scalar curvature function $S_g<n(n-1)k_0$ for some $k_0\in \mathbb{R}$, then for small volumes the isoperimetric profile of $(M^n,g)$ is less then or equal to the isoperimetric profile of the complete simply connected space form of constant sectional curvature $k_0$. This work generalizes Theorem $2$ of [12] in which the same result was proved in the case where $(M^n, g)$ is assumed to be compact. As a consequence of our result we give an asymptotic expansion in Puiseux series up to the 2nd nontrivial term of the isoperimetric profile function for small volumes, generalizing our earlier asymptotic expansion [29]. Finally, as a corollary of our isoperimetric comparison result, it is shown that for small volumes the Aubin–Cartan–Hadamard’s conjecture is true in any dimension $n$ in the special case of manifolds with $C^3$ bounded geometry, and $S_g<n(n-1)k_0$. Two different intrinsic proofs of the fact that an isoperimetric region of small volume is of small diameter. The 1st under the assumption of mild bounded geometry, that is, positive injectivity radius and Ricci curvature bounded below. The 2nd assuming the existence of an upper bound of the sectional curvature, positive injectivity radius, and a lower bound of the Ricci curvature.
Local Hölder continuity of the isoperimetric profile in complete noncompact Riemannian manifolds with bounded geometry
