Abstract
We show that in a closed 3-manifold with a generic metric of positive Ricci curvature, there are minimal surfaces of arbitrary large Morse index, which partially confirms a conjecture by Marques and Neves. We prove this by analyzing the lamination structure of the limit of minimal surfaces with bounded Morse index.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1982, Yau conjectured that every closed 3-manifold admits infinitely many smooth, closed, immersed minimal surfaces [36, Problem 88]. This was recently confirmed by Marques and Neves when the ambient manifold has positive Ricci curvature [22]; they proved the existence of infinitely many smooth, closed, embedded minimal hypersurfaces in manifold \(M^{n+1}\) of positive Ricci curvature when \(2\le n\le 6\). They [21, 22, 25] also conjectured that generically the Morse indices of these minimal hypersurfaces should grow linearly to infinity. However, it is even unknown that whether the Morse indices of these minimal surfaces are bounded. In this paper, we address this question in dimension 3 by showing that generically the Morse indices of these minimal surfaces must grow up to infinity.
Denote \(M^3\) by a 3-manifold. A metric g on M is called bumpy, if any closed embedded minimal surface has no nontrivial Jacobi fields. In [34], White showed that bumpy metrics are generic. Our main result is the following:
Theorem 1.1
Let \(M^3\) be a closed 3-manifold with a bumpy metric g of positive Ricci curvature. Then there exist embedded minimal surfaces of arbitrarily large Morse index in \((M^3, g)\).
The problem of finding minimal surfaces with fixed topology and arbitrarily large Morse index in 3-manifolds has attracted a lot of interests. This problem originated from a well-known question of Pitts and Rubinstein (c.f. [8, 27]). Motivated by this question, Hass-Norbury-Rubinstein [18] constructed a smooth metric on any 3-manifold which admits embedded genus zero minimal surfaces of arbitrarily high Morse index. Colding-Hingston [6] and Colding-De Lellis [5] extended the construction (by different methods), respectively, to find metrics on any 3-manifold which admits minimal surfaces with no Morse index bound of genus 1 and genus \(\ge 2\). Compared to these results, our result gives a large family of metrics on 3-manifold which admit minimal surfaces of arbitrarily large Morse index, while assuming no genus bound.
In fact, Theorem 1.1 is a direct corollary of the following finiteness theorem for minimal surfaces of bounded Morse index in a bumpy metric and Marques-Neves’s result in [22]. Let \(M^3\) be a closed 3-manifold with a bumpy metric g of positive Ricci curvature, and \(\mathcal {M}\) the space of embedded, closed, minimal surfaces in (M, g). By [22], \(\mathcal {M}\) contains infinitely many elements. Given \(N\gg 1\), we denote \(\mathcal {M}_N\) by
Then we have
Theorem 1.2
Let \(M^3\) be a closed 3-manifold with a bumpy metric g of positive Ricci curvature. Then there are only finitely many elements in \(\mathcal {M}_N\).
Remark 1.3
The result is not true in general if we remove the assumption of positive Ricci curvature, as Colding and Minicozzi [7] constructed an open set of metrics on any compact 3-manifolds which admit stable embedded minimal tori of arbitrarily large areaFootnote 1.
Theorem 1.2 is proved by studying the limit of a sequence of minimal surfaces of bounded Morse index. Convergence theorems for minimal surfaces have been studied extensively in the past, especially in 3-dimension. Choi-Schoen [3] proved the compactness of embedded minimal surfaces of fixed topological type in a closed 3-manifold with positive Ricci curvature. Anderson [1] and White [33] respectively proved similar convergence and compactness results for minimal surfaces and surfaces that are stationary for parametric elliptic functionals in 3-manifold with bounded genus and bounded area. For higher dimensional case, in a recent work [29], Sharp showed a convergence result for minimal hypersurfaces with bounded Morse index and bounded volume. A key technical condition of these results is the area bound. Without this assumption, Colding and Minicozzi developed a whole theory [9–13] to study the convergence of minimal surfaces with fixed genus but no area bound. The key point in Colding-Minicozzi’s theory is to study the lamination convergence of minimal surfaces. Our proof of Theorem 1.2 utilizes this idea, and the convergence result in the proof can be thought as an analogy of Colding-Minicozzi’s theory for minimal surfaces with fixed Morse index but no area bound.
At the end, we want to mention Colding-Minicozzi’s finiteness theorem [8] and a corollary.
Theorem 1.4
(Colding-Minicozzi [8, Theorem1.1]) Let \(M^3\) be a closed orientable 3-manifold with a bumpy metric g, and V, e fixed. There exist at most finitely many closed embedded minimal surfaces in M with genus e and area at most V.
By Yang-Yau [35] and Choi-Wang [4], in a Riemmannian 3-manifold M with \(Ric_g \ge \Lambda >0\), any closed embedded minimal surface with fixed genus e has area bounded from above by \(\frac{16\pi (1+e)}{\Lambda }\) (see also [14, §7.5]). Combining with Marques-Neves’s result [22], we have:
Corollary 1.5
Let \(M^3\) be a closed 3-manifold with a bumpy metric g of positive Ricci curvature. Then there exist embedded minimal surfaces of arbitrarily large genus in \((M^3, g)\).
We sketch the proof of Theorem 1.2 as follows. If Theorem 1.2 were not true, let \(\{\Sigma _i\}\) be a sequence in \(\mathcal {M}_N\) (1.1). The Morse index bound implies that \(\Sigma _i\) are locally stable away from finitely many points, and hence converge locally smoothly to a minimal lamination \(\mathcal {L}\) outside these points by Schoen’s curvature estimates [28]. Assume that \(\mathcal {L}\) is orientable and consider the leaves of \(\mathcal {L}\). If there is no isolated leaf, then we can construct a positive Jacobi field along an accumulating leaf \(\Lambda \), and hence show that \(\Lambda \) has only removable singularities; so its closure \(\overline{\Lambda }\) is a smooth, embedded, stable minimal surface, which contradicts the positive Ricci curvature condition.
If \(\mathcal {L}\) has an isolated leaf \(\Lambda \) for which the multiplicity of the convergence of \(\Sigma _i\) to \(\Lambda \) is infinite or greater than one, then we can also construct a positive Jacobi field, and hence get a contradiction by using the same argument as above. In the case of multiplicity one convergence, we show that the leaf must be proper, then we construct a nontrivial Jacobi vector field which extends across the singularities, hence contradicting the bumpy condition. One main technical difficulty here is the fact that \(\Sigma _i\) might not a priori converge in the sense of varifold. For the case that \(\mathcal {L}\) is non-orientable, we can get a contradiction by combining the above arguments with the structure of non-orientable hypersurfaces (c.f. [37, §3]).
2 Preliminaries
In this section, we recall some basic facts on minimal surfaces in 3-manifolds. Let \(M^3\) be a closed 3-manifold with a Riemannian metric g. A minimal surface \(\Sigma ^2\subset M^3\) is a critical point for the area functional, or equivalently a smooth surface with mean curvature equal to zero. \(\Sigma \) is called two-sided, if \(\Sigma \) has trivial normal bundle, i.e. there exists a unit normal vector field \(\nu \). The Jacobi operator for the second variation of the area functional is given by (c.f. [14, §1.8])
where \(\Delta _{\Sigma }\) is the Laplacian operator on \(\Sigma \) with the induced metric, and A is the second fundamental form of \(\Sigma \), and \(Ric_g\) is the Ricci curvature of (M, g). \(\lambda \in \mathbb {R}\) is an eigenvalue of L if there exists a smooth function \(\phi \in C^{\infty }(\Sigma )\) such that \(L\phi =-\lambda \phi .\)
The Morse index of \(\Sigma \), denoted by \(\mathrm {Ind}(\Sigma )\), is the number of negative eigenvalues of L counted with multiplicity. \(\Sigma \) is called stable if the Morse index is zero. When \(Ric_g>0\), there is no two-sided, stable, closed or complete, minimal surface. The case for closed minimal surface is trivial by plugging in constant test function in the second variation of area; while the case for complete minimal surface is given in the Appendix, c.f. Theorem 4.2. A Jacobi field \(\phi \nu \) on \(\Sigma \) is a solution of \(L\phi =0.\)
For stable minimal surfaces, we recall the curvature estimates due to Schoen [28] (see also [14, Corollary 2.11]).
Theorem 2.1
Given \(k>0\), if \(\Sigma ^2\subset B_{r_0}(x)\subset M^3\) is an immersed stable minimal surface with trivial normal bundle, where the sectional curvature of \(K_M\) of M satisfies \(|K_M|\le k^2\), the radius \(r_0<\rho _1(\pi /k, k)\) and \(\partial \Sigma \subset \partial B_{r_0}(x)\), then for some \(C=C(k)>0\) and all \(0<\sigma \le r_0\),
Now we introduce the definition of lamination.
Definition 2.2
(cf. Thurston [32], Colding-Minicozzi [8]) A codimension one lamination of \(M^3\) is a collection \(\mathcal {L}\) of smooth, disjoint, connected surfaces, denoted by \(\Lambda \) (called leaves) such that \(\cup _{\Lambda \in \mathcal {L}}\Lambda \) is closed. Moreover for each \(x\in M\) there exist an open neighborhood U of x and a local coordinate chart, \((U, \Phi )\), with \(\Phi (U)\subset \mathbb {R}^3\) such that in these coordinates the leaves in \(\mathcal {L}\) pass through the chart in slices of the form \((\mathbb {R}^2\times \{t\})\cap \Phi (U).\)
In [12], Colding-Minicozzi discussed the compactness of laminations. Recall that a minimal lamination is a lamination whose leaves are minimal. A sequence of laminations is said to converge if the corresponding coordinate maps converge.
Theorem 2.3
([12, Proposition B.1]) Let \(M^3\) be a fixed 3-manifold. If \(\mathcal {L}_i\subset B_{2R}(x)\subset M\) is a sequence of minimal laminations with uniformly bounded curvatures (where each leaf has boundary contained in \(\partial B_{2R}(x)\)), then a subsequence of \(\mathcal {L}_i\) converges in the \(C^{\alpha }\) topology for any \(\alpha <1\) to a Lipschitz lamination \(\mathcal {L}\) in \(B_R(x)\) with minimal leaves.
Remark 2.4
Here the “Lipschitz” regularity means that the coordinate charts of \(\mathcal {L}\) are Lipschitz, while each leave is still smooth.
We need the removable singularity theorem for stable minimal surfaces.
Lemma 2.5
Given a 3-manifold M and a point \(p\in M\), let \(\Sigma \subset M\backslash \{p\}\) be a connected, properly embedded, minimal surface with trivial normal bundle. If \(\Sigma \) is stable in a local geodesic ball \(B_{r_0}(p)\) and \(B_{r_0}(p)\cap (\bar{\Sigma }\backslash \Sigma )=\{p\}\), then \(\Sigma \) has a removable singularity at p.
Remark 2.6
Lemma 2.5 is proved for \(M=\mathbb {R}^3\) by Gulliver-Lawson [20, Theorem 3.3] and Colding-Minicozzi [13, Lemma A.35]. We present a proof based on ideas by Colding-Minicozzi [13, Lemma A.35] and White [33] for completeness. Note that this result also follows by combining [19, Lemma 1] and [29, Remark A.2].
Proof
Consider the blow up \(\Sigma _i=\lambda _i^{-1}\Sigma \) (by embedding M into some \(\mathbb {R}^N\)) of \(\Sigma \) at p by an arbitraty sequence of numbers \(\lambda _i\) decreasing to 0. By the scaling invariant curvature estimates (2.2), \(\Sigma _i\) converge locally smoothly to a complete, stable, minimal surface \(\Sigma ^{\prime }\) in \(\mathbb {R}^3\backslash \{0\}\). The Bernstein theorem for stable minimal surfaces with point singularities in \(\mathbb {R}^3\) (c.f. [20, Corollary3.16][13, LemmaA.34]) implies that \(\Sigma ^{\prime }\) is a union of planes. By an argument of White [33, pp251], this implies that, for small enough r, the distance function \(x\rightarrow dist_M(x, p)\) of M when restricted on \(\Sigma \cap B_r(p)\) has no critical points except for strict local minima, and hence (by Morse theory) each connected component of \(\Sigma \cap B_r\) is either a disk with exactly one critical point, or a punctured disk with no critical point. Take a connected component \(\tilde{\Sigma }\) of \(\Sigma \cap B_r\) that is a punctured disk, then the removable singularity theorem for minimal surface with finite Euler characteristic by Gulliver [19] and Choi-Schoen [3, Proposition1] implies that \(\tilde{\Sigma }\) has a removable singularity at p. So Maximum Principle implies that \(\Sigma \cap B_r\) has only one component, and \((\Sigma \cap B_r)\cup \{p\}\) is an embedded minimal disk. \(\square \)
We also need the following removable singularity theorem for minimal laminations with a point singularity.
Theorem 2.7
Give a minimal lamination \(\mathcal {L}\) of a punctured ball \(B_r(p){\setminus } \{p\}\) in a 3-dimensional Riemannian manifold \((M^3, g)\), if the leaf is either stable when it is orientable, or has a stable orientable double cover, then \(\mathcal {L}\) extends to a minimal lamination of \(B_r(p)\).
Remark 2.8
This theorem is a direct corollary of the combination of Schoen’s curvature estimates (c.f. Theorem 2.1) and the Local Removable Singularity Theorem of Meeks-Pérez-Ros [24, Theorem1.1]. In particular, Schoen’s curvature estimates applied to each orientable leave \(\Lambda \) (or its orientable double cover when \(\Lambda \) is nonorientable) implies that \(|A_\Lambda |(x)d_M(x, p)\le C\) for all \(x\in \Lambda \subset \mathcal {L}\), and this is the only requirement for \(\mathcal {L}\) to apply [24, Theorem1.1].
3 Proof of Theorem 1.2
In this section, we prove Theorem 1.2. First, we recall an elementary fact (c.f. Fischer-Colbrie [15, Proposition 1] and Sharp [29, Lemma 3.1]):
Lemma 3.1
Suppose \(\Sigma ^n\subset M^{n+1}\) is a closed, smooth, embedded, minimal hypersurface with Morse index N. Given any disjoint collection of \(N+1\) open sets \(\{U_i\}_{i=1}^{N+1}\), \(U_i\subset M\), then \(\Sigma \) must be stable in \(U_i\) for some \(1\le i\le N+1\).
The next result is an application of Lemma 3.1.
Lemma 3.2
Given a closed, smooth, embedded, minimal surface \(\Sigma ^2\subset M^3\) with index at most N, then for any \(r>0\) small enough, there exist at most N disjoint balls \(\{B_r(p_i)\}_{i=1}^N\) of \(M^3\) such that \(\Sigma ^2\) is stable on any ball \(B_r(x)\) in \(M\backslash \cup _{j=1}^NB_r(p_i).\)
Proof
Suppose that the conclusion were not true. Given any disjoint collection of small balls \(\{B_r(p_i)\}_{i=1}^N\) of \(M^3\), we can find a ball \(B_r(x_1)\subset M\backslash \cup _{j=1}^NB_r(p_i)\) such that \(\Sigma \) is unstable in \(B_r(x_1)\). By Lemma 3.1 there exists a ball, which we assume to be \(B_r(p_1)\), such that \(\Sigma \) is stable in \(B_r(p_1)\). We now consider the N balls
If the set \(\mathcal {S}_1\) satisfies the property of the lemma, then we stop. Otherwise, there exists a ball \(B_r(x_2)\subset M\backslash (\cup _{j=2}^NB_r(p_j)\cup B_r(x_1))\) such that \(\Sigma \) is unstable on \(B_r(x_2)\). By Lemma 3.1 there exists a ball, which cannot be \(B_r(x_1)\) and so we assume to be \(B_r(p_2)\), such that \(\Sigma \) is stable in \(B_r(p_2)\). Then we consider the N balls
If the set \(\mathcal {S}_2\) satisfies the property of the lemma, then we stop. Otherwise, we repeat the above arguments. We will either stop at N balls satisfying the property of the lemma, or we get the disjoint collection of balls
Note that \(\Sigma \) is unstable in any balls \(B_r(x_i)\). By Lemma 3.1 again, \(\Sigma \) will be stable in any ball \(B_r(p)\subset M\backslash \cup _{j=1}^NB_r(x_i)\). The lemma is proved. \(\square \)
Now we are ready to prove Theorem 1.2.
Proof of Theorem. 1.2
We divide the proof into the following steps.
Step 1: By contradiction argument, we assume that \((M^3, g)\) is a closed 3-manifold with a bumpy metric g, and \(\mathcal {M}_N\) contains infinitely many elements. Let \(\{\Sigma _i\}\) be a sequence in \(\mathcal {M}_N\). Fix \(r>0\). Then for each \(\Sigma _i\), by Lemma 3.2 there exist at most N balls \(\{B_r(p_{i, j})\}_{j=1}^N\) of M, such that \(\Sigma _i\) is stable in any ball \(B_r(p)\subset M\backslash \cup _{j=1}^N B_r(p_{i, j})\). Up to a subsequence \(\{p_{i, j}\}\) converge to \(\{p_{\infty , j}\}\) as points, and hence by shrinking r, we have that \(\Sigma _i\) is stable in any ball \(B_r(p)\) in \(M\backslash \cup _{j=1}^N B_{2r}(p_{\infty , j})\) for large i. Also by basic differential topology, \(\Sigma _i\) must separate \(B_r(p)\) when \(B_r(p)\) is a topological ball, e.g. when r is less than the injective radius of (M, g), and hence \(\Sigma _i\cap B_r(p)\) is orientable and two-sided. By Theorem 2.1, the curvature is uniformly bounded for any \(p\in M\) such that \(B_r(p)\subset M\backslash \cup _{j=1}^N B_{2r}(p_{\infty , j})\), i.e.
Therefore, a subsequence of \(\{\Sigma _i\}\) (clearly each \(\Sigma _i\) is a minimal lamination) converges on such a ball \(B_{r/2}(p)\) to a minimal lamination by Theorem 2.3. By passing to further subsequences (still using the same notation), \(\{\Sigma _i\}\) converge to a minimal lamination on \(M\backslash \cup _{j=1}^N B_{2r}(p_{\infty , j})\). Letting \(r \rightarrow 0\), then a further subsequence of \(\{\Sigma _i\}\) will converge to a minimal lamination of smooth, embedded, disjoint, minimal surfaces \(\mathcal {L}=\cup _{\Lambda \in \mathcal {L}}\Lambda \) in \(M\backslash \{p_{\infty , 1}, \ldots , p_{\infty , N}\}\). Therefore, the leaves of \(\mathcal {L}\) have at most N singular points. Furthermore, the convergence of \(\Sigma _i\) to each leaf in \(\mathcal {L}\) is locally smooth in \(M\backslash \{p_{\infty , 1}, \ldots , p_{\infty , N}\}\) by the curvature estimates, and hence the leaves of \(\mathcal {L}\) satisfy similar local curvature estimates (3.1) as well.
By the Maximum Principle for minimal surfaces [14, Corollary1.28], different sheets can touch at most on the singular sets. We say a leaf \(\Lambda \) is isolated if given any compact subset \(K\subset \Lambda \), there exists a tubular neighborhood U of K in M, such that the intersection of any other leaf with U is empty. Given a leaf \(\Lambda \in \mathcal {L}\), then either \(\Lambda \) is isolated, or by the curvature estimates (3.1) and the Maximum Principle [14, Corollary1.28]\(, \Lambda \) must be an accumulating leaf, i.e. there exists a sequence of leaves \(\{\Lambda _i\}\) in \(\mathcal {L}\), such that \(\Lambda _i\) converge to \(\Lambda \) locally smoothly (with multiplicity one by the definition of lamination).
Step 2: Suppose that there is no isolated leaf. Then pick up an arbitrary accumulating leaf \(\Lambda \). Let us first assume \(\Lambda \) is orientable. Denote \(\nu \) by the unit normal vector field along \(\Lambda \).
We claim that \(\Lambda \) is stable. Let \(\Lambda _i\) be the sequence of leafs in \(\mathcal {L}\) which converge to \(\Lambda \). The fact that \(\Lambda _i\) are disjoint from \(\Lambda \) implies that possibly up to a subsequence \(\Lambda _i\) converge to \(\Lambda \) locally smoothly from one side. Here convergence from one-side can be explained as follows: given any local ball \(B_r(p)\) such that the intersection \(\Lambda \cap B_r(p)\) is diffeomorphic to a disk, and that \(\Lambda \) separates \(B_r(p)\) into two connected components \(U_1\) and \(U_2\) with \(\nu \) pointing into \(U_1\), then for i large all the intersections \(\Lambda _i\cap B_r(p)\) must lie in \(U_1\). For i large enough we can choose domains \(\Omega _i\subset \Lambda \) exhausting \(\Lambda \) so that each \(\Lambda _i\) can be written as a normal exponential graph over \(\Omega _i\) of a function \(w_i\). Furthermore, we can assume that the graphical functions \(w_i\) are positive, i.e. \(w_i>0\), as \(\Lambda _i\) lies in one-side of \(\Lambda \). Denote \(u_i=w_i/w_i(p)\) for some fixed \(p\in \Lambda \). Then following similar argument as in [8, LemmaA.1], \(u_i\) converge to a positive solution \(u>0\) of the Jacobi equation \(Lu=0\) on \(\Lambda \). By [14, Lemma1.36], the existence of a positive solution \(Lu=0\) implies that \(\Lambda \) is stable.
If \(\Lambda \) is non-orientable, we can consider the orientable double cover \(\pi : \tilde{\Lambda }\rightarrow \Lambda \). We claim that \(\tilde{\Lambda }\) is a stable immersed minimal surface. In fact, we can consider the pullback of normal bundle \(\pi ^*(\nu (\Lambda ))\), where \(\nu (\Lambda )\) is the normal bundle of \(\Lambda \) inside (M, g). Now \(\pi ^*(\nu (\Lambda ))\) forms a double cover of a neighborhood of \(\Lambda \), and we can pull back the metric g and the lamination \(\mathcal {L}\) to \(\pi ^*(\nu (\Lambda ))\). Inside the pullback lamination, the zero section, which is isometric to \(\tilde{\Lambda }\), is an accumulating leave, and is therefore stable by the same argument as above.
Now we have proven that each leaf is either orientable and stable, or has a stable double cover. Therefore Theorem 2.7 applied to balls near each singular point \(p_{\infty , j}\) implies that the limit lamination \(\mathcal {L}\) has removable singularity, and each leave extends to a smooth, embedded, complete, minimal surface. Pick a leaf \(\overline{\Lambda }\) in the extended lamination; by Lemma 4.1, \(\overline{\Lambda }\) is stable when it is orientable, or has a stable double cover, contradicting the condition \(Ric_g>0\) via Theorem 4.2. \(\square \)
Remark 3.3
After completing this paper, we realized that [23] proved similar stability result for accumulating leaves using a different method by constructing local calibrations.
Step 3: Suppose that there exists an isolated leaf \(\Lambda \in \mathcal {L}\). Then by Step 1 there exists a sequence of minimal surfaces \(\{\Sigma _{i}\}_{i=1}^{\infty }\subset \mathcal {M}_N\), so that given any compact subsets K of \(\Lambda \), and a tubular neighborhood U of K (such that the intersection of other leaves with U is empty), then \(\Sigma _{i}\cap U\) converge locally smoothly to \(\Lambda \). In this step, we consider the case when the multiplicity of the convergence is greater than one, and we will postpone the case of multiplicity one convergence to the next step.
By similar argument as in Step 2, we can simply assume that \(\Lambda \) is orientable with a unit normal vector field. For i large enough we can choose domains \(\Omega _i\subset \Lambda \) exhausting \(\Lambda \), and tubular neighborhoods \(U_i\) of \(\Omega _i\) with \(U_i\cap \Sigma _i=\Omega _i\), so that \(\Sigma _i\cap U_i\) decomposes as a multi-valued normal exponential graph over \(\Omega _i\). By embeddedness and orientability of \(\Lambda \), these sheets are ordered by height. Using arguments similar to those in the proof of [8, Theorem1.1], we can construct a positive solution u to the Jacobi equation \(Lu=0\) on \(\Lambda \). Therefore \(\Lambda \) is stable.
Now there are two possibilities. The simpler case is when \(\Lambda \) is properly embedded, and Lemma 2.5 implies that \(\Lambda \) has removable singularities, and the closure \(\overline{\Lambda }\) is a closed, smooth, embedded, orientable minimal surface, which is stable by Lemma 4.1, contradicting \(Ric_g>0\). If \(\Lambda \) is not properly embedded, we can consider the set-theoretical closure \(\overline{\Lambda }\) of \(\Lambda \) in M, and such a closure forms a sub-lamination \(\mathcal {L}_{\Lambda }\) of \(\mathcal {L}\) Footnote 2.
Besides \(\Lambda \), this sub-lamination contains only accumulating leaves by definition. Following arguments in Step 2, \(\mathcal {L}_{\Lambda }\) satisfies the requirement of Theorem 2.7, and has removable singularities. Using arguments in Step 2 again, we can get a contradiction to \(Ric_g>0\).
Step 4: Now we focus on the case when the multiplicity of the convergence of \(\Sigma _i\) to each leaf is one. In this case, we are going to construct a Jacobi field along a leaf, say \(\Lambda \). We will show that \(\Lambda \) extends to a closed minimal surface with a nontrivial Jacobi field, which violates the bumpy condition.
First we will show that \(\Lambda \) has removable singularities. In fact, near each singular point \(p\in \overline{\Lambda }\backslash \Lambda \), there is a small radius \(r_p>0\) such that \(\Lambda \cap B_{r_p}(p)\backslash \{p\}\) is stable. If this is not true, by similar arguments as in [15, Proposition1] and [29, §4,Claim2], we can construct infinitely many vector fields with pairwise disjoint compact supports in \(B_r(p)\backslash \{p\}\) for some \(r>0\), along which the second variation of \(\Lambda \) are negative. Since the convergence of \(\Sigma _i\) to \(\Lambda \) is locally smooth on \(B_r(p)\backslash \{p\}\), the second variation of \(\Sigma _i\) along these vector fields will be negative for i large enough, and this is a contradiction to the fact the \(\Sigma _i\) has bounded Morse index. The fact that \(\Lambda \) has removable singularity follows exactly the same as in Step 3.
We have two possibilities similarly as above. If \(\Lambda \) is not properly embedded, we can get a contradiction by looking at the accumulating leaves of the sub-lamination formed by the set-theoretical closure of \(\Lambda \). In particular, as in Step 3, \(\overline{\Lambda }{\setminus }\Lambda \) is non-empty, and contains all accumulating leaves. Take an accumulating leaf \(\Lambda ^{\prime }\subset \overline{\Lambda }{\setminus }\Lambda \), and consider its set-theoretical closure \(\overline{\Lambda ^{\prime }}\), then this new sub-lamination \(\mathcal {L}_{\Lambda ^{\prime }}\) of \(\mathcal {L}\) contains all stable leaves, and we reduce to a case similar to Step 2.
Therefore \(\Lambda \) is properly embedded, and \(\overline{\Lambda }\) is a closed, smooth, embedded, minimal surface. We will construct a nontrivial Jacobi field along \(\overline{\Lambda }\) by modifying the proof in [8, Theorem1.1andLemmaA.1]. In fact, the key missing point in our case is the lack of a priori uniform area bound for the sequence \(\Sigma _i\). Theorefore we could not a priori get the varifold convergence of \(\Sigma _i\), so we can not use the Allard Theorem [2] to derive smooth convergence of \(\Sigma _i\) to \(\overline{\Lambda }\) as in [8]. Our strategy is as follows. In this part, we assume that \(\Lambda \) is orientable. By the locally smooth convergence with multiplicity one and the fact that \(\Lambda \) is isolated, for i large enough we can choose domains \(\Omega _i\subset \Lambda \) exhausting \(\Lambda \), and tubular neighborhoods \(U_i\) of \(\Omega _i\) with \(U_i\cap \Lambda =\Omega _i\), so that \(\Sigma _i\cap U_i\) decomposes as a normal exponential graph over \(\Omega _i\) of a function \(u_i\). See Fig. 1. As in [31, equation(7)], \(Lu_i\) vanishes up to higher order terms which converge to zero as \(i\rightarrow 0\). Here L is the Jacobi operator of \(\Lambda \). Let \(h_i=u_i/|u_i|_{L^2(\Omega _i)}\), then the \(h_i\)’s satisfy uniform local \(C^{2, \alpha }\) estimates by similar arguments using elliptic theory as [8, LemmaA.1], and hence converge (up to a subsequence) to a function h on \(\Lambda \) locally smoothly with \(Lh=0\).
It remains to show that h is nontrivial and that h extends smoothly across those discrete points in \(\overline{\Lambda }\backslash \Lambda \). To check these two facts, we will show that near each \(p\in \overline{\Lambda }\backslash \Lambda \), the \(|u_i|\)’s and hence \(|h_i|\)’s are bounded by a uniform multiple of their supremum along \(\partial B_{\epsilon }(p)\cap \Lambda \) for some small \(\epsilon >0\) [see the following (3.2)]. Recall the following facts in the proof of [8, Theorem1.1]. Consider the cylinders \(N_{\epsilon }\) (in exponential normal coordinates) over \(B_{\epsilon }(p)\cap \overline{\Lambda }\). If \(\epsilon \) is small enough, there exists a foliation by minimal graphs \(v_t\) of some small normal neighborhood of \(\overline{\Lambda }\) in \(N_{\epsilon }\), so that
and \(v_t\) satisfy uniform Harnack inequality, i.e. \(t/C\le v_t\le Ct\) for some \(C>0\). Note that we have
Claim 1
\(\Sigma _i\) converge to the limit lamination \(\mathcal {L}\) in Hausdorff distance.
Proof
Suppose not; then there exist \(\delta >0\), and a subsequence of \(\Sigma _i\) (still denoting by \(\Sigma _i\)), such that the intersection of the support of each \(\Sigma _i\) with \(M\backslash U_{\delta }(\cup _{\Lambda \in \mathcal {L}}\overline{\Lambda })\) (the complement set of a \(\delta \)-neighborhood of \(\cup _{\Lambda \in \mathcal {L}}\overline{\Lambda }\)) is nonempty. However, we know that \(\Sigma _i\) converge smoothly outside at most N points (on the support of \(\mathcal {L}\)) by Step 1. Also by the monotonicity formula [30, §17], \(\Sigma _i\) have a uniform area lower bound in \(M\backslash U_{\delta }(\cup _{\Lambda \in \mathcal {L}}\overline{\Lambda })\). It means that \(\Sigma _i\) must converge smoothly to a nonempty subset of the lamination \(\mathcal {L}\) in \(M\backslash U_{\delta }(\cup _{\Lambda \in \mathcal {L}}\overline{\Lambda })\), hence a contradiction. \(\square \)
Therefore by the Maximum Principle [14, Corollary1.28] and the Hausdorff convergence, we can follow the argument in the last paragraph of [8, pp119] to show that (see Fig. 1)
Now let us go back to check the behavior of \(h_i\). If the limit of \(h_i\) is zero, i.e. \(h=0\), then \(|h_i|\) converge to zero uniformly on any compact subsets of \(\overline{\Lambda }\backslash \Lambda \) by the local smooth convergence. In particular \(\sup _{\partial B_{\epsilon }(p)\cap \Lambda }|h_i|\) will converge to zero uniformly, and by (3.2), \(\sup _{B_{\epsilon /2}(p)\cap \Omega _i}|h_i|\) will also converge uniformly to zero, hence contradicting the fact that \(|h_i|_{L^2(\Omega _i)}=1\). So h is a nontrivial Jacobi field on \(\Lambda \). The same argument can also show that \(\sup _{B_{\epsilon /2}(p)\cap \Omega _i}|h_i|\) are uniformly bounded, and hence h extends smoothly across p. So h is a nontrivial Jacobi field on \(\overline{\Lambda }\), contradicting the bumpy condition, c.f. [34, Theorem2.2].
If \(\Lambda \) is non-orientable, we can construct a nontrivial Jacobi field along \(\overline{\Lambda }\) similarly by lifting to a double cover. Since \(\overline{\Lambda }\) is closed and smooth, by the proof in [37, Proposition3.7], we can construct a double cover \(\tilde{M}\) of M, such that the pre-image of \(\overline{\Lambda }\) (which is also a double cover of \(\overline{\Lambda }\)) is a smooth, embedded, orientable, minimal surface. Denote \(\tilde{\Lambda }\) by the pre-image of \(\Lambda \) in \(\tilde{M}\). Let \(\tau :\tilde{M}\rightarrow \tilde{M}\) by the inversion map such that \(M=\tilde{M}/\{id, \tau \}\) and \(\overline{\Lambda }=\overline{\tilde{\Lambda }}/\{id, \tau \}\). Let \(\tilde{\nu }\) be the unit normal vector field of \(\tilde{\Lambda }\), then \(\tilde{\nu }\) is anti-symmetric, i.e. \(\tau _*\tilde{\nu }=-\tilde{\nu }\). By counting the sheets of the pre-image \(\tilde{\Sigma }_i\) of \(\Sigma _i\) in a small neighborhood of an arbitrary point \(\tilde{p}\in \tilde{\Lambda }\) in \(\tilde{M}\), which is isomorphic to a small neighborhood in M, we can show that \(\tilde{\Sigma }_i\) converge locally smoothly with multiplicity one to \(\tilde{\Lambda }\). Then for i large, \(\tilde{\Sigma }_i\) can be written as a normal exponential graph over \(\tilde{\Lambda }\) of a function \(u_i\) in the same manner as above.
Claim 2
\(u_i\) is anti-symmetric with respect to \(\tau \), i.e. \(u_i\circ \tau =-u_i\).
Proof
Fix an arbitrary \(p\in \Lambda \), and let \(p_1, p_2\) be the pre-image of p in \(\tilde{\Lambda }\). For i large, take \(x_i\in \Sigma _i\) such that the nearest point projection of \(x_i\) to \(\Lambda \) is p. Denoting \(\tilde{x}_i^1\) and \(\tilde{x}_i^2\) by the pre-image of \(x_i\) in \(\tilde{M}\), then \(\tilde{x}_i^j=exp_{p_j}(u_i(p_j)\tilde{\nu }(p_j))\), \(j=1, 2\). As \(\tilde{\nu }\) is anti-symmetric and \(\tilde{x}_i^1, \tilde{x}_i^2\) go to the same point in M, \(u_i\) must be anti-symmetric. \(\square \)
Theorefore, by working through the proof as above, the sequence of functions \(h_i=u_i/|u_i|_{L^2}\) converge to a nontrivial solution h of the Jacobi field equation on \(\overline{\tilde{\Lambda }}\), and h is anti-symmetric, i.e. \(h\circ \tau =-h\). Then \(\tilde{X}=h\tilde{\nu }\) is a symmetric Jacobi vector field on \(\overline{\tilde{\Lambda }}\), and hence descends to a nontrivial Jacobi field on \(\overline{\Lambda }\), so contradicting the bumpy condition.
Notes
We would like to thank the referee for pointing out this example to us.
Since \(\mathcal {L}\) is closed, \(\overline{\Lambda }\) is a subset of \(\mathcal {L}\) as subsets of M. Given any local coordinate chart \((U, \Phi )\) as in Definition 2.2, and an arbitrary point \(p\in (\overline{\Lambda }\setminus \Lambda )\cap U\), we claim that the leaf of \(\mathcal {L}\cap U\) passing through p, i.e. \(\Phi ^{-1}(t_p)\) where \(t_p\) is the t-coordinate of \(\Phi (p)\) in \(\Phi (U)\), is contained in \(\overline{\Lambda }\), and this implies that \(\overline{\Lambda }\) has a lamination structure. To show the claim, let \(p_i\in \Lambda \) be a sequence of points converging to p. Denote \(t_i\) by the t-coordinate of \(\Phi (p_i)\) in \(\Phi (U)\), then \(t_i\rightarrow t_p\). Therefore \(\Phi ^{-1}(t_i)\) converge to \(\Phi ^{-1}(t_p)\) as sets. Hence \(\Phi ^{-1}(t_p)\) contains all limit points of \(\Lambda \), and \(\Phi ^{-1}(t_p)\subset \overline{\Lambda }\).
References
Anderson, M.: Curvature estimates and compactness theorems for minimal surfaces in 3-manifolds. Ann. Sci. Ec. Norm. Super. IV. Ser. 18, 89–105 (1985)
Allard, W.: On the first variation of a varifold. Ann. Math. 95, 417–491 (1972)
Choi, H., Schoen, R.: The space of minimal embeddings of a surface into a three-dimensional manifold of positive Ricci curvature. Invent. Math. 81(3), 387–394 (1985)
Choi, H., Wang, A.N.: A first eigenvalue estimate for minimal hypersurfaces. J. Differ. Geom. 18, 559–562 (1983)
Colding, T., De Lellis, C.: Singular limit laminations, Morse index, and positive scalar curvature. Topology 44(1), 25–45 (2005)
Colding, T., Hingston, N.: Metrics without Morse index bounds. Duke Math. J. 119(2), 345–365 (2003)
Colding, T., Minicozzi II, W.: Examples of embedded minimal tori without area bounds. Int. Math. Res. Notices 20, 1097–1100 (1999)
Colding, T., Minicozzi II, W.: Embedded minimal surfaces without area bounds in 3-manifold. Contemp. Math. 258, 107–120 (2000)
Colding, T., Minicozzi II, W.: The space of embedded minimal surfaces of fixed genus in a 3-manifold I; estimates off the axis for disks. Ann. Math. 160, 27–68 (2004)
Colding, T., Minicozzi II, W.: The space of embedded minimal surfaces of fixed genus in a 3-manifold II; multi-valued graphs in disks. Ann. Math. 160, 69–92 (2004)
Colding, T., Minicozzi II, W.: The space of embedded minimal surfaces of fixed genus in a 3-manifold III; planar domains. Ann. Math. 160, 523–572 (2004)
Colding, T., Minicozzi II, W.: The space of embedded minimal surfaces of fixed genus in a 3-manifold IV; locally simply connected. Ann. Math. 160, 573–615 (2004)
Colding, T., Minicozzi II, W.: The space of embedded minimal surfaces of fixed genus in a 3-manifold V; fixed genus. Ann. Math. 181(1), 1–153 (2015)
Colding, T., Minicozzi II, W.: A course in minimal surfaces. Graduate Studies in Mathematics, vol. 121. American Mathematical Society, Providence, RI (2011)
Fischer-Colbrie, D.: On complete minimal surfaces with finite Morse index in three manifolds. Invent. Math. 82, 121–132 (1985)
Fischer-Colbrie, D., Schoen, R.: The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature. Comm. Pure Appl. Math. 33, 199–211 (1980)
Hirsch, M.: Differential Topology, GTM 33. Springer-Verlag, New York (1976)
Hass, J., Norbury, P., Rubinstein, J.: Minimal spheres of arbitrarily high Morse index. Comm. Anal. Geom. 11(3), 425–439 (2003)
Gulliver, R.: Removability of singular points on surfaces of bounded mean curvature. J. Differ. Geom. 11, 345–350 (1976)
Gulliver, R., Lawson, B.: The structure of stable minimal hypersurfaces near a singularity. Proc. Symp. Pure Math. 44, 213–237 (1986)
Marques, F.: Minimal surfaces-variational theory and applications. arXiv:1409.7648v1 [math.DG]
Marques, F., Neves, A.: Existence of infinitely many minimal hypersurfaces in positive Ricci curvature. arXiv:1311.6501 [math.DG]
Meeks, W., Pérez, J., Ros, A.: Limit leaves of an \(H\) lamination are stable. J. Differ. Geom. 84, 179–189 (2010)
Meeks, W., Pérez, J., Ros, A.: Local removable singularity theorems for minimal laminations. arXiv:1308.6439v1
Neves, A.: New applications of min-max theory. arXiv:1409.7537v1 [math.DG]
Pitts, J.: Existence and Regularity of Minimal Surfaces on Riemannian Manifold, Mathematical Notes 27. Princeton University Press, Princeton (1981)
Pitts, J., Rubinstein, J.H.: Applications of minimax to minimal surfaces and the topology of three-manifolds. Proc. CMA 12, 137–170 (1987)
Schoen, R.: Estimates for stable minimal surfaces in three-dimensional manifolds. In: Seminar on minimal submanifolds, pp. 111–126, Ann. of Math. Study, 103, Princeton University Press, Princeton (1983)
Sharp, B.: Compactness of minimal hypersurfaces with bounded index. arXiv:1501.02703
Simon, L.: Lectures on Geometric Measure Theory. Australian National University Centre for Mathematical Analysis, Canberra (1983)
Simon, L.: A strict maximum principle for area minimizing hypersurfaces. J. Differ. Geom. 26, 327–335 (1987)
Thurston, W.P.: Three-dimensional geometry and topology. In: Silvio, L. (ed.) Princeton Mathematical Series, 35. Princeton University Press, Princeton, NJ (1997). ISBN: 0-691-08304-5
White, B.: Curvature estimates and compactness theorems in 3-manifolds for surfaces that are stationary for parametric elliptic functionals. Invent. Math. 88, 243–256 (1987)
White, B.: The space of minimal submanifolds for varying Riemannian metrics. Indiana Univ. Math. J. 40, 161–200 (1991)
Yang, P., Yau, S.T.: Eigenvalues of the laplacian of compact Riemann surfaces and minimal submanifolds. Ann. Scuola Norm. Sup. Pisa 7, 55–63 (1980)
Yau, S.T.: Problem section. In: Seminar on Differential Geometry, 669–706, Ann. of Math. Stud., 102, Princeton University Press, Princeton (1982)
Zhou, X.: Min-max minimal hypersurface in \((M^{n+1}; g)\) with \(Ric_g > 0\) and \(2\le n\le 6\). J. Differ. Geom. 100, 129–160 (2015)
Acknowledgments
Part of this work was done while the first author was visiting MIT and he wishes to thank MIT for their generous hospitality. The second author wants to thank Toby Colding, Bill Minicozzi and Rick Schoen for helpful conversation on this work. Finally, we thank the referee for very useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Neves.
The author is partially supported by NSFC Grant No. 11131007. The author is partially supported by NSF Grant DMS-1406337.
Appendix
Appendix
Here we show that stability can be extended across points on a minimal surface by logarithmic cutoff trick. We add a proof for completeness (see also [20, Proposition1.9]).
Lemma 4.1
Let \(\Sigma \) be a smooth minimal surface in (M, g) with trivial normal bundle, and p is an arbitrary point on \(\Sigma \). If \(\Sigma \backslash \{p\}\) is stable, then \(\Sigma \) is stable.
Proof
Denote r by the distance function to p on \(\Sigma \). Given \(\epsilon >0\) small enough, and let \(\eta (r)\) be a cutoff function defined by:
Then \(|\nabla \eta |\le \frac{1}{|\log \epsilon |}\frac{|\nabla r|}{r}\le \frac{1}{\epsilon ^2|\log \epsilon |}\). Now given \(\varphi \in C^{\infty }(\Sigma )\), by the stability of \(\Sigma \backslash \{p\}\),
The right hand side can be estimated as:
Therefore,
Also denoting \(N=|\log \epsilon |\),
Letting \(\epsilon \) tend to zero in (4.1), we can get the stability inequality for \(\varphi \). \(\square \)
Next we state a result which was essentially due to Fischer-Cobrie and Schoen [16], although it was not stated explicitly there. The proof is well-known to experts, and we include it for completeness.
Theorem 4.2
Let \((M^3, g)\) be a three dimensional Riemannian manifold with positive Ricci curvature, then any complete immersed two-sided minimal surface \(\Sigma \) is not stable.
Proof
If the result were not true, let \(\Sigma \) be stable. We can assume that \(\Sigma \) is non-compact. By [16, Theorem3], as \((M^3, g)\) has positive scalar curvature and non-negative Ricci curvature, \(\Sigma \) endowed with the pull back metric is conformally equivalent to the complex plane \(\mathbb {C}\). Since \(\Sigma \) is stable, by [16, Theorem1], there exists a positive function u on \(\Sigma \), such that \(Lu=\Delta _{\Sigma }u+(|A|^2+Ric_g(\nu , \nu ))u=0\), where L is the Jacobi operator (2.1) of \(\Sigma \). Since \(Ric(\nu , \nu )>0\), we have \(\Delta _{\Sigma }u< 0\), i.e. u is a superharmonic function. It is well known that any superharmonic function must be constant on \(\mathbb {C}\) as \(\mathbb {C}\) is parabolic (c.f. [14, Proposition1.37]), hence \(\Delta _{\Sigma }u=0\), so we get a contradiction.