In this paper, we prove that in any compact Riemannian manifold with smooth boundary, of dimension at least 3 and at most 7, there exist infinitely many almost properly embedded free boundary minimal hypersurfaces. This settles the free boundary version of Yau's conjecture. The proof uses adaptions of A. Song's work and the early works by Marques-Neves in their resolution to Yau's conjecture, together with Li-Zhou's regularity theorem for free boundary min-max minimal hypersurfaces.
Using min-max theory, we show that in any closed Riemannian manifold of dimension at least 3 and at most 7, there exist infinitely many smoothly embedded closed minimal hypersurfaces. It proves a conjecture of S.-T. Yau. This paper builds on the methods developed by F. C. Marques and A. Neves.
In the early 1980s, S. T. Yau conjectured that any compact Riemannian three-manifold admits an infinite number of closed immersed minimal surfaces. We use min-max theory for the area functional to prove this conjecture in the positive Ricci curvature setting. More precisely, we show that every compact Riemannian manifold with positive Ricci curvature and dimension at most seven contains infinitely many smooth, closed, embedded minimal hypersurfaces. In the last section we mention some open problems related with the geometry of these minimal hypersurfaces.
A classical result by Marston Morse asserts that on some ellipsoids of ${\mathbb R}^3$ there exists exactly 3 closed and simple geodesics. The goal of this presentation is to prove that this rigidity result does not extend to higher dimensions and, more precisely, on any smooth closed riemannian manifod of arbitrary dimension between 3 and 7 there exists infinitely many closed embedded minimal surfaces. We are going to present the origins of this theorem as well as it's proof given recently by Antoine Song.
In this paper, we show that a closed manifold $M^{n+1} (n \geq 7)$ endowed with a $C^\infty$-generic (Baire sense) metric contains infinitely many singular minimal hypersurfaces with optimal regularity. Moreover, for $2 \leq n \leq 6$, our argument also implies the denseness of the minimal hypersurfaces realizing min-max widths for generic metrics. This partially supports equidistribution of the minimal hypersurfaces realizing min-max widths conjectured by F.C. Marques, A. Neves and A. Song.
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics.
We prove qualitative estimates on the total curvature of closed minimal hypersurfaces in closed Riemannian manifolds in terms of their index and area, restricting to the case where the hypersurface has dimension less than seven. In particular, we prove that if we are given a sequence of closed minimal hypersurfaces of bounded area and index, the total curvature along the sequence is quantised in terms of the total curvature of some limit surface, plus a sum of total curvatures of complete properly embedded minimal hypersurfaces in Euclidean space - all of which are finite. Thus, we obtain qual…
Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for minimal graphs on balls with many holes.
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a compact manifold with boundary $(M^{n+1},\partial M)$, $3\leq (n + 1)\leq 7$, we prove that, for any open subset $V$ of $\partial M$, there exists a compact, properly embedded free boundary minimal hypersurface intersecting $V$.
For any smooth Riemannian metric on an $(n+1)$-dimensional compact manifold with boundary $(M,\partial M)$ where $3\leq (n+1)\leq 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$ Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in $M$. If $\partial M$ is further assumed to have a strictly mean convex point, we show the existence of infin…
For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that there is a sequence of closed, smooth, embedded, connected minimal hypersurfaces that is equidistributed in $M$. This gives a quantitative version of the main result of \cite{irie-marques-neves}, by Irie and the first two authors, that established denseness of minimal hypersurfaces for generic metrics. As in \cite{irie-marques-neves}, the main tool is the Weyl Law for the Volume Spectrum proven by Liokumovich and the first two authors in \cite{liokumovich-marques…
We show that in an $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics, every minimal hypersurface is smooth and nondegenerate. This confirms a full generic regularity conjecture of minimal hypersurfaces in dimension eight. This also enables us to generalize many generic geometric properties of (Almgren-Pitts) min-max minimal hypersurfaces, previously only known in low dimensions, to dimension eight.
Locally stable minimal hypersurface could have singularities in dimension $\geq 7$ in general, locally modeled on stable and area-minimizing cones in the Euclidean spaces. In this paper, we present different aspects of how these singularities may affect the local behavior of minimal hypersurfaces. First, given a non-degenerate minimal hypersurface with strictly stable and strictly minimizing tangent cone at each singular point, under any small perturbation of the metric, we show the existence of a nearby minimal hypersurface under new metric. For a generic choice of perturbation direction, we …
Let $M^{n+1}$ be a closed manifold of dimension $3\leq n+1\leq 7$. We show that for a $C^\infty$-generic metric $g$ on $M$, to any connected, closed, embedded, $2$-sided, stable, minimal hypersurface $S\subset (M,g)$ corresponds a sequence of closed, embedded, minimal hypersurfaces $\{Σ_k\}$ scarring along $S$, in the sense that the area and Morse index of $Σ_k$ both diverge to infinity and, when properly renormalized, $Σ_k$ converges to $S$ as varifolds. We also show that scarring of immersed minimal surfaces along stable surfaces occurs in most closed Riemannian $3$-manifods.
We prove a compactness result for minimal hypersurfaces with bounded index and volume, which can be thought of as an extension of the compactness theorem of Choi-Schoen (Invent. Math. 1985) to higher dimensions.
In this article we prove that all boundary points of a minimal oriented hypersurface in a Riemannian manifold are regular, that is, in a neighborhood of any boundary point, the minimal surface is a $\mathcal{C}^{1, \frac14}$ submanifold with boundary.
In this paper, we prove the existence of the free boundary minimal hypersurface of least area in compact manifolds with boundary. Such hypersurface can be viewed as the ground state of the volume spectrum introduced by Gromov. Moreover, we characterize the orientation and Morse index of them.
We prove a structural theorem that provides a precise local picture of how a sequence of closed embedded minimal hypersurfaces with uniformly bounded index (and volume if the ambient dimension is greater than three) in a Riemannian manifold of dimension at most seven, can degenerate. Loosely speaking, our results show that embedded minimal hypersurfaces with bounded index behave qualitatively like embedded stable minimal hypersurfaces, up to controlled errors. Several compactness/finiteness theorems follows our local picture.
In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts in \cite{A2}\cite{P} corresponding to the fundamental class of a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature with $2\leq n\leq 6$. We characterize the Morse index, area and multiplicity of this min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and of index one, or is a double cover of a non-orientable minimal hypersurface with least area among all closed embedded minimal hypersurfaces.
We introduce canonical principal parameters on any strongly regular minimal surface in the three dimensional sphere and prove that any such a surface is determined up to a motion by its normal curvature function satisfying the Sinh-Poisson equation. We obtain a classification theorem for bi-umbilical hypersurfaces of type number two. We prove that any minimal hypersurface of type number two with involutive distribution is generated by a minimal surface in the three-dimensional Euclidean space, or in the three dimensional sphere. Thus we prove that the theory of minimal hypersurfaces of type nu…
In contrast with the 3-dimensional case (cf. \cite{RaMo}), where rotationally symmetric totally geodesic free boundary minimal surfaces have Morse index one; we prove in this work that the Morse index of a free boundary rotationally symmetric totally geodesic hypersurface of the $n$-dimensional Riemannnian Schwarzschild space with respect to variations that are tangential along the horizon is zero, for $n\geq4$. Moreover, we show that there exist non-compact free boundary minimal hypersurfaces which are not totally geodesic, $n\geq 8$, with Morse index equal to $0$. Also, it is shown that, for…
We give a shorter proof of the existence of nontrivial closed minimal hypersurfaces in closed smooth $(n+1)$--dimensional Riemannian manifolds, a theorem proved first by Pitts for $2\leq n\leq 5$ and extended later by Schoen and Simon to any $n$.
Let $(M^{n+1},\partial M,g)$ be a compact manifold with non-negative Ricci curvature, convex boundary and $2\leq n\leq 6$. We show that the min-max minimal hypersurface with respect to one-parameter families of hypersurfaces in $(M,\partial M)$ is orientable, of index one and multiplicity one.
We consider a solution f of a certain Dirichlet Problem on a domain in $S^{(n+1)}$ whose boundary is a minimal hypersurface and we prove a Poincare type inequality for f. One have equality iff Yau's conjecture about the first non-zero eigenvalue of closed minimal hypersurfaces of $S^{(n+1)}$ is true.
We prove the two theorems of the title, settling two long standing questions in the local theory of singular minimal hypersurfaces. The sharpness of either result is with respect to its hypothesis on the size of the allowable singular sets. The proofs of both theorems rely heavily on the author's recent regularity and compactness theory for stable minimal hypersurfaces, and on earlier work of Ilmanen, Simon and Solomon--White.
We show that strictly stable components of Allen-Cahn minimal hypersurfaces always occur with multiplicity one. We also establish the uniqueness of solutions converging to nondegenerate hypersurfaces with multiplicity one. Our results work in all dimensions and without variational assumptions on the Allen-Cahn solutions.
In this work, we prove the existence of a third embedded minimal hypersurface spanning a closed submanifold $γ$ contained in the boundary of a compact Riemannian manifold with convex boundary, when it is known a priori the existence of two strictly stable minimal hypersurfaces that bound $γ$. In order to do so, we develop min-max methods similar to those of De Lellis and Ramic, references in the paper, adapted to the discrete setting of Almgren and Pitts.
In this paper we construct smooth Riemannian metrics on the sphere which admit smooth Zoll families of minimal hypersurfaces. This generalizes a theorem of Guillemin for the case of geodesics. The proof uses the Nash-Moser Inverse Function Theorem in the tame maps setting of Hamilton. This answers a question of Yau on perturbations of minimal hypersurfaces in positive Ricci curvature. We also consider the case of the projective space and characterize those metrics on the sphere with minimal equators.
The present paper describes a way to relate Martin boundaries on spaces of varying topology. This enables us to approach some detailed inductive analysis of the eigenfunctions of conformal Laplacians on minimal hypersurfaces near their singularities. This can directly be used resp. translated to understand the way how such minimal hypersurfaces inherit positive scalar curvature from their ambience resp. how to smooth singular minimal hypersurfaces to regular hypersurfaces with positive mean curvature.
The Min-max Theory for the area functional, started by Almgren in the early 1960s and greatly improved by Pitts in 1981, was left incomplete because it gave no Morse index estimate for the min-max minimal hypersurface. We advance the theory further and prove the first general Morse index bounds for minimal hypersurfaces produced by it. We also settle the multiplicity problem for the classical case of one-parameter sweepouts.
Strong parallels can be drawn between the theory of minimal hypersurfaces and the theory of phase transitions. Borrowing ideas from the former we extend recent results on the regularity of stable phase transition interfaces to the finite Morse index case. As an application we present a PDE-based proof of the celebrated theorem of Almgren-Pitts, on the existence of embedded minimal hypersurfaces in compact manifolds. We compare our results with other min-max theories.
We exhibit the first set of examples of non-bumpy metrics on the $(n+1)$-sphere ($2\leq n\leq 6$) in which the varifold associated with the two-parameter min-max construction must be a multiplicity-two minimal $n$-sphere. This is proved by a new area-and-separation estimate for certain minimal hypersurfaces with Morse index two inspired by an early work of Colding-Minicozzi. We also construct non-bumpy projective spaces in which the first min-max hypersurfaces are one-sided, and non-bumpy balls in which the free boundary min-max hypersurfaces are improper.
In this work we present a new family of properly embedded free boundary minimal hypersurfaces of revolution with circular boundaries in the horizon of the $n$-dimensional Schwarzschild space, $n\geq3$. In particular, we answer a question proposed by O. Chodosh and D. Ketover \cite{CK} on the existence of non-totally geodesic minimal surfaces in the 3-dimensional Schwarzschild space.
We study min-max theory for area functional among hypersurfaces constrained in a smooth manifold with boundary. A Schoen-Simon-type regularity result is proved for integral varifolds which satisfy a variational inequality and restrict to a stable minimal hypersurface in the interior. Based on this, we show that for any admissible family of sweepouts $Π$ in a compact manifold with boundary, there always exists a closed $C^{1,1}$ hypersurface with codimension$\geq 7$ singular set in the interior and having mean curvature pointing outward along boundary realizing the width $\textbf{L}(Π)$.
In this paper, we obtain results on rigidity of complete Riemannian manifolds with weighted Poincaré inequality. As an application, we prove that if $M$ is a complete $\frac{n-2}{n}$-stable minimal hypersurface in $\mathbb{R}^{n+1}$ with $n\geq 3$ and has bounded norm of the second fundamental form, then $M$ must either have only one end or be a catenoid.
The paper introduces a number of new techniques to handle minimal hyersurface singularities. In particular, they allow to extend the obstruction theory for postive scalr curvature to any dimension.
We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\r…
In this paper, we show that every $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics admits a smooth minimal hypersurface. This generalized previous results by N. Smale and Chodosh-Liokumovich-Spolaor. Different from their local perturbation techniques, our construction is based on a global perturbation argument in and a novel geometric invariant which counts singular points with suitable weights.
We prove that there are no minimal hypersurfaces properly immersed in any region of the Euclidean space bounded by unstable minimal cones. We also prove the analogous result for $r$-minimal hypersurfaces.
Let (M,g) be an oriented Riemannian manifold of dimension at least 3 and X a vector field on M. We show that the Monge-Ampère differential system (M.A.S.) for X-pseudosoliton hypersurfaces on (M,g) is equivalent to the minimal hypersurface M.A.S. on (M,g') for some Riemannian metric g', if and only if X is the gradient of a function u, in which case g'=exp(-2u)g. Counterexamples to this equivalence for surfaces are also given.
Let $(M^{n+1},g,e^{-f}dμ)$ be a complete smooth metric measure space with $2\leq n\leq 6$ and Bakry-Émery Ricci curvature bounded below by a positive constant. We prove a smooth compactness theorem for the space of complete embedded $f$-minimal hypersurfaces in $M$ with uniform upper bounds on $f$-index and weighted volume. As a corollary, we obtain a smooth compactness theorem for the space of embedded self-shrinkers in $\mathbb{R}^{n+1}$ with $2\leq n\leq 6$. We also prove some estimates on the $f$-index of $f$-minimal hypersurfaces, and give a conformal structure of $f$-minimal surface with…
In this paper, we show that the catenoids and the Clifford minimal hypersurfaces are the only complete minimal hypersurfaces satisfying the Simons' equation (3.9) in the space forms.
With respect to a $C^{\infty}$ metric which is close to the standard Euclidean metric on $\mathbb{R}^{N+1+\ell}$, where $N\ge 7$ and $\ell\ge 1$ are given, we construct a class of embedded $(N+\ell)$-dimensional hypersurfaces (without boundary) which are minimal and strictly stable, and which have singular set equal to an arbitrary preassigned closed subset $K\subset\{0\}\times\mathbb{R}^{\ell}$.
We classify minimal hypersurfaces in $R^n \times S^m$, $n,m \geq 2$, which are invariant by the canonical action of $O(n) \times O(m)$. We also construct compact and noncompact examples of invariant hypersurfaces of constant mean curvature. We show that the minimal hypersurfaces and the noncompact constant mean curvature hypersurfaces are all unstable.
The aim of this paper is to complete the local classification of minimal hypersurfaces with vanishing Gauss-Kronecker curvature in a 4-dimensional space form. Moreover, we give a classification of complete minimal hypersurfaces with vanishing Gauss-Kronecker curvature and scalar curvature bounded from below.
In this paper, we prove that, up to similarity, there are only two minimal hypersurfaces in $\mathbb{R}^{n+2}$ that are asymptotic to a Simons cone, i.e. the minimal cone over the minimal hypersurface $\sqrt{\frac pn}\mathbb{S}^p\times \sqrt{\frac{n-p}n} \mathbb{S}^{n-p}$ of $\mathbb{S}^{n+1}$
