Equivariant Allen--Cahn Solutions and the Existence of Cohomogeneity $2$ Minimal Surfaces

Abstract

We develop a regularity theory for equivariant Allen--Cahn solutions on closed Riemannian manifolds with a Lie group acting isometrically. When the cohomogeneity of the action is between $3$ and $7$, we show that a sequence of equivariant Allen--Cahn solutions with uniformly bounded energy and equivariant index converge to embedded minimal hypersurfaces with optimal regularity, meaning that the singular set is at least codimension $7$ and lies in the union of all non-principal orbits. When the cohomogeneity is $2$ and the action has no exceptional orbits, we show the same result but the minimal hypersurfaces may be immersed. As a result, any closed Riemmanian manifold with cohomogeneity $2$ Lie group action and no exceptional orbits admits a minimal hypersurface with optimal regularity. A key tool is the regularity theory of Chodosh--Mantoulidis, building on the work of Wang--Wei. However, we adapt their arguments to a modified Allen--Cahn equation with a drift Laplacian. We also show that appropriate index bounds hold for the limiting minimal hypersurface when it is smooth. We also extend the variational constructions of solutions of the Allen--Cahn equation of Guaraco and Gaspar--Guaraco by defining an equivariant mountain pass invariant, as well as the equivariant Allen--Cahn $p$-widths. This builds on the work of Gromov and is the Allen--Cahn parallel to Wang's equivariant volume spectrum in the Almgren-Pitts setting. We show that in the limit as $\epsilon$ tends to $0$, the equivariant Allen--Cahn $p$-widths converge to the equivariant $p$-widths, as defined by Wang.

44 pages, 2 figures, comments welcome! V2: fixed notation in theorem 1.1, modified remark 6.3, added acknowledgements. No major changes