skip to main content


Title: Multiplicity‐1 minmax minimal hypersurfaces in manifolds with positive Ricci curvature
Abstract

We address the one‐parameter minmax construction for the Allen–Cahn energy that has recently lead to a new proof of the existence of a closed minimal hypersurface in an arbitrary compact Riemannian manifold with (Guaraco's work, relying on works by Hutchinson, Tonegawa, and Wickramasekera when sending the Allen–Cahn parameter to 0). We obtain the following result: if the Ricci curvature ofNis positive then the minmax Allen–Cahn solutions concentrate around amultiplicity‐1minimal hypersurface (possibly having a singular set of dimension ). This multiplicity result is new for (for it is also implied by the recent work by Chodosh–Mantoulidis). We exploit directly the minmax characterization of the solutions and the analytic simplicity of semilinear (elliptic and parabolic) theory in . While geometric in flavour, our argument takes advantage of the flexibility afforded by the analytic Allen–Cahn framework, where hypersurfaces are replaced by diffused interfaces; more precisely, they are replaced by sufficiently regular functions (fromNto ), whose weighted level sets give rise to diffused interfaces. We capitalise on the fact that (unlike a hypersurface) a function can be deformed both in the domainN(deforming the level sets) and in the target (varying the values). We induce different geometric effects on the diffused interface by using these two types of deformations; this enables us to implement in a continuous way certain operations, whose analogues on a hypersurface would be discontinuous. An immediate corollary of the multiplicity‐1 conclusion is that every compact Riemannian manifold with and positive Ricci curvature admits a two‐sided closed minimal hypersurface, possibly with a singular set of dimension at most . (This geometric corollary also follows from results obtained by different ideas in an Almgren–Pitts minmax framework.)

 
more » « less
NSF-PAR ID:
10486937
Author(s) / Creator(s):
 
Publisher / Repository:
Wiley Blackwell (John Wiley & Sons)
Date Published:
Journal Name:
Communications on Pure and Applied Mathematics
Volume:
77
Issue:
3
ISSN:
0010-3640
Format(s):
Medium: X Size: p. 2081-2137
Size(s):
["p. 2081-2137"]
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  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

    Positive$$k\mathrm{th}$$kth-intermediate Ricci curvature on a Riemanniann-manifold, to be denoted by$${{\,\mathrm{Ric}\,}}_k>0$$Rick>0, is a condition that interpolates between positive sectional and positive Ricci curvature (when$$k =1$$k=1and$$k=n-1$$k=n-1respectively). In this work, we produce many examples of manifolds of$${{\,\mathrm{Ric}\,}}_k>0$$Rick>0withksmall by examining symmetric and normal homogeneous spaces, along with certain metric deformations of fat homogeneous bundles. As a consequence, we show that every dimension$$n\ge 7$$n7congruent to$$3\,{{\,\mathrm{mod}\,}}4$$3mod4supports infinitely many closed simply connected manifolds of pairwise distinct homotopy type, all of which admit homogeneous metrics of$${{\,\mathrm{Ric}\,}}_k>0$$Rick>0for some$$kk<n/2. We also prove that each dimension$$n\ge 4$$n4congruent to 0 or$$1\,{{\,\mathrm{mod}\,}}4$$1mod4supports closed manifolds which carry metrics of$${{\,\mathrm{Ric}\,}}_k>0$$Rick>0with$$k\le n/2$$kn/2, but do not admit metrics of positive sectional curvature.

     
    more » « less
  4. Abstract We obtain a comparison formula for integrals of mean curvatures of Riemannian hypersurfaces via Reilly’s identities. As applications, we derive several geometric inequalities for a convex hypersurface Γ \Gamma in a Cartan-Hadamard manifold M M . In particular, we show that the first mean curvature integral of a convex hypersurface γ \gamma nested inside Γ \Gamma cannot exceed that of Γ \Gamma , which leads to a sharp lower bound for the total first mean curvature of Γ \Gamma in terms of the volume it bounds in M M in dimension 3. This monotonicity property is extended to all mean curvature integrals when γ \gamma is parallel to Γ \Gamma , or M M has constant curvature. We also characterize hyperbolic balls as minimizers of the mean curvature integrals among balls with equal radii in Cartan-Hadamard manifolds. 
    more » « less
  5. Abstract

    For a given finite subsetSof a compact Riemannian manifold (M,g) whose Schouten curvature tensor belongs to a given cone, we establish a necessary and sufficient condition for the existence and uniqueness of a conformal metric onM\Ssuch that each point ofScorresponds to an asymptotically flat end and that the Schouten tensor of the conformal metric belongs to the boundary of the given cone. As a by‐product, we define a purely local notion of Ricci lower bounds for continuous metrics that are conformal to smooth metrics and prove a corresponding volume comparison theorem. © 2022 The Authors.Communications on Pure and Applied Mathematicspublished by Wiley Periodicals LLC.

     
    more » « less