skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Minimal surfaces and the Allen–Cahn equation on 3-manifolds: index, multiplicity, and curvature estimates
The Allen–Cahn equation is a semilinear PDE which is deeply linked to the theory of minimal hypersurfaces via a singular limit. We prove curvature estimates and strong sheet separation estimates for stable solutions (building on recent work of Wang–Wei) of the Allen-Cahn equation on a 3-manifold. Using these, we are able to show that for generic metrics on a 3-manifold, minimal surfaces arising from Allen–Cahn solutions with bounded energy and bounded Morse index are two-sided and occur with multiplicity one and the expected Morse index. This confirms, in the Allen–Cahn setting, a strong form of the multiplicity one-conjecture and the index lower bound conjecture of Marques–Neves in 3-dimensions regarding min-max constructions of minimal surfaces. Allen–Cahn min-max constructions were recently carried out by Guaraco and Gaspar–Guaraco. Our resolution of the multiplicity-one and the index lower bound conjectures shows that these constructions can be applied to give a new proof of Yau's conjecture on infinitely many minimal surfaces in a 3-manifold with a generic metric (recently proven by Irie–Marques–Neves) with new geometric conclusions. Namely, we prove that a 3-manifold with a generic metric contains, for every p = 1, 2, 3,…, a two-sided embedded minimal surface with Morse index p and area ~ p13, as conjectured by Marques-Neves.  more » « less
Award ID(s):
1811059 1905165 1638352 2016403
PAR ID:
10142539
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Annals of mathematics
Volume:
191
Issue:
1
ISSN:
0003-486X
Page Range / eLocation ID:
213-328
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract For any smooth Riemannian metric on an $$(n+1)$$ ( n + 1 ) -dimensional compact manifold with boundary $$(M,\partial M)$$ ( M , ∂ M ) where $$3\le (n+1)\le 7$$ 3 ≤ ( n + 1 ) ≤ 7 , we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min–max theory in the Almgren–Pitts setting. We apply our Morse index estimates to prove that for almost every (in the $$C^\infty $$ C ∞ Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in M . If $$\partial M$$ ∂ M is further assumed to have a strictly mean convex point, we show the existence of infinitely many compact, properly embedded free boundary minimal hypersurfaces whose boundaries are non-empty. Our results prove a conjecture of Yau for generic metrics in the free boundary setting. 
    more » « less
  2. We prove that, for a generic set of smooth prescription functions h on a closed ambient manifold, there always exists a nontrivial, smooth, closed hypersurface of prescribed mean curvature h. The solution is either an embedded minimal hypersurface with integer multiplicity, or a non-minimal almost embedded hypersurface of multiplicity one. More precisely, we show that our previous min-max theory, developed for constant mean curvature hypersurfaces, can be extended to construct min-max prescribed mean curvature hypersurfaces for certain classes of prescription function, including a generic set of smooth functions, and all nonzero analytic functions. In particular we do not need to assume that h has a sign. 
    more » « less
  3. Abstract The Allen‐Cahn equation satisfies the maximum bound principle, that is, its solution is uniformly bounded for all time by a positive constant under appropriate initial and/or boundary conditions. It has been shown recently that the time‐discrete solutions produced by low regularity integrators (LRIs) are likewise bounded in the infinity norm; however, the corresponding fully discrete error analysis is still lacking. This work is concerned with convergence analysis of the fully discrete numerical solutions to the Allen‐Cahn equation obtained based on two first‐order LRIs in time and the central finite difference method in space. By utilizing some fundamental properties of the fully discrete system and the Duhamel's principle, we prove optimal error estimates of the numerical solutions in time and space while the exact solution is only assumed to be continuous in time. Numerical results are presented to confirm such error estimates and show that the solution obtained by the proposed LRI schemes is more accurate than the classical exponential time differencing (ETD) scheme of the same order. 
    more » « less
  4. Abstract Given a hermitian line bundle on a closed Riemannian manifold , the self‐dual Yang–Mills–Higgs energies are a natural family of functionalsdefined for couples consisting of a section  and a hermitian connection ∇ with curvature . While the critical points of these functionals have been well‐studied in dimension two by the gauge theory community, it was shown in [52] that critical points in higher dimension converge as (in an appropriate sense) to minimal submanifolds of codimension two, with strong parallels to the correspondence between the Allen–Cahn equations and minimal hypersurfaces. In this paper, we complement this idea by showing the Γ‐convergence of to (2π times) the codimension two area: more precisely, given a family of couples with , we prove that a suitable gauge invariant Jacobian converges to an integral ‐cycle Γ, in the homology class dual to the Euler class , with mass . We also obtain a recovery sequence, for any integral cycle in this homology class. Finally, we apply these techniques to compare min‐max values for the ‐area from the Almgren–Pitts theory with those obtained from the Yang–Mills–Higgs framework, showing that the former values always provide a lower bound for the latter. As an ingredient, we also establish a Huisken‐type monotonicity result along the gradient flow of . 
    more » « less
  5. Abstract The $$p$$ p -widths of a closed Riemannian manifold are a nonlinear analogue of the spectrum of its Laplace–Beltrami operator, which corresponds to areas of a certain min-max sequence of possibly singular minimal submanifolds. We show that the $$p$$ p -widths of any closed Riemannian two-manifold correspond to a union of closed immersed geodesics, rather than simply geodesic nets. We then prove optimality of the sweepouts of the round two-sphere constructed from the zero set of homogeneous polynomials, showing that the $$p$$ p -widths of the round sphere are attained by $$\lfloor \sqrt{p}\rfloor $$ ⌊ p ⌋ great circles. As a result, we find the universal constant in the Liokumovich–Marques–Neves–Weyl law for surfaces to be $$\sqrt{\pi }$$ π . En route to calculating the $$p$$ p -widths of the round two-sphere, we prove two additional new results: a bumpy metrics theorem for stationary geodesic nets with fixed edge lengths, and that, generically, stationary geodesic nets with bounded mass and bounded singular set have Lusternik–Schnirelmann category zero. 
    more » « less