On Isolated Singularities and Generic Regularity of Min-Max CMC Hypersurfaces.

In compact Riemannian manifolds of dimension 3 or higher with positive Ricci curvature, we prove that every constant mean curvature hypersurface produced by the Allen-Cahn min-max procedure in Bellettini and Wickramasekera (arXiv:2010.05847, 2020) (with constant prescribing function) is a local minimiser of the natural area-type functional around each isolated singularity. In particular, every tangent cone at each isolated singularity of the resulting hypersurface is area-minimising. As a consequence, for any real $\lambda$ we show, through a surgery procedure, that for a generic 8-dimensional compact Riemannian manifold with positive Ricci curvature there exists a closed embedded smooth hypersurface of constant mean curvature $\lambda$ ; the minimal case ( $\lambda =0$ ) of this result was obtained in Chodosh et al. (Ars Inveniendi Analytica, 2022) .