Abstract
This article shows that for generic choice of Riemannian metric on a compact oriented manifold M of dimension four, the tangent planes at any self-intersection \(p \in M\) of any prime closed parametrized minimal surface in M are not simultaneously complex for any orthogonal complex structure on M at p. This implies via geometric measure theory that \(H_2(M;{{\mathbb {Z}}})\) is generated by homology classes that are represented by oriented imbedded minimal surfaces.
Similar content being viewed by others
1 Introduction
The Bumpy Metric theorem of [9] (which is also presented as Theorem 5.1.1 in [11]) states that prime parametrized minimal surfaces in a manifold M of dimension at least three are free of branch points when M is given a generic Riemannian metric, and lie on nondegenerate critical submanifolds of the relevant function space. Once established, it is used to prove the Transversal Crossing Theorem 5.1.2 of [11], which states that the self-intersections of such minimal surfaces are transverse. Our goal here is to prove a stronger transversality result when M has dimension four: that the tangent planes are in general position in the sense that they are not simultaneously complex for any orthogonal complex structure on the ambient manifold M, which implies via geometric measure theory (GMT) that if M is a compact oriented four-manifold, \(H_2(M;{{\mathbb {Z}}})\) has a generating set represented by imbedded minimal surfaces.
We discovered this fact soon after publishing the Bumpy Metric theorem, but deferred publishing it because we believed there should be a better proof which avoids GMT. The techniques that seem to be needed for this proof have interesting applications that we hope to present elsewhere. We refer to a recent article of White [15] for an alternate approach to related transversality results.
If \(\hbox {Map}(\varSigma ,M)\) is the space of smooth maps from a surface \(\varSigma\) of genus g to M and \({{\mathcal {T}}}\) is the Teichmüller space of marked conformal structures on compact connected surfaces of genus g, a parametrized minimal surface \(f{:}\,\varSigma \rightarrow M\) can be regarded as a critical point for the Dirichlet energy
In this formula, \(|\mathrm{d}f|\) and \(\mathrm{d}A\) are calculated with respect to some Riemannian metric on \(\varSigma\) which lies within the conformal class \(\omega \in {{\mathcal {T}}}\). A parametrized minimal surface \(f{:}\,\varSigma \rightarrow M\) is prime if it is nonconstant and is not a nontrivial cover (possibly branched) of another parametrized minimal surface \(f_0{:}\,\varSigma _0\rightarrow M\) of lower energy. By a generic choice of Riemannian metric on M we mean a metric belonging to a countable intersection of open dense subsets of the spaces of \(L^2_k\) Riemannian metrics on M, as k ranges over the positive integers.
The Bumpy Metric theorem states that for generic choice of Riemannian metric on a manifold M of dimension at least three, all prime compact oriented parametrized minimal surfaces \(f{:}\,\varSigma \rightarrow M\) are free of branch points and are as nondegenerate (in the sense of Morse theory) as allowed by the symmetry imposed by the identity component G of the group of conformal automorphisms of \(\varSigma\). If G is trivial, they are Morse nondegenerate in the usual sense, while if G has positive dimension, they lie on nondegenerate critical submanifolds which have the same dimension as G. By a nondegenerate critical submanifold for \(F{:}\,{{\mathcal {M}}} \rightarrow {{\mathbb {R}}}\), where \({{\mathcal {M}}}\) is a Banach manifold, we mean a submanifold \(S \subset {{\mathcal {M}}}\) consisting entirely of critical points for F such that the tangent space to S at a given critical point is the space of Jacobi fields for F along S.
The Bumpy Metric theorem is a first step toward a partial Morse theory for closed parametrized minimal surfaces in compact four-manifolds with generic Riemannian metrics. Indeed, the goal of the book [11] was to present foundations for such a partial Morse theory obtained from the known Morse theory for a perturbed \(\alpha\)-energy of Sacks and Uhlenbeck as it approaches the Dirichlet energy in the limit. This theory would need to analyze the topological changes that occur in the limit due to bubbling or degeneration of conformal structure.
Example 5.8.2 from [11] shows that even when the metric on the ambient manifold M is generic, branched covers of prime minimal surfaces with nontrivial branch locus need not lie on nondegenerate critical submanifolds. Thus, we need to regard branched covers, together with bubbling and degeneration, as sources of noncompactness (see §4.9.3 of [11]) that prevent full Morse inequalities for the Dirichlet energy when the Riemannian metric on the ambient four-manifold is generic. Yet the topology of the domain of the Dirichlet energy is sufficiently rich that even partial Morse inequalities promise to have striking implications.
For studying nonorientable minimal surfaces, it is convenient to allow the domain of a parametrized surface \(f{:}\,\varSigma \rightarrow M\) to be nonorientable, and we can study such surfaces by means of their oriented double covers. For the nonoriented theory one alters the definition of prime to allow nonorientable surfaces. But Theorem 1 of [10] shows that orientable double covers of nonorientable prime minimal surfaces are also free of branch points and lie on nondegenerate critical submanifolds when the metric on M is generic, so the proof of the Bumpy Metric theorem for the nonoriented theory (as presented in [11]) implies a corresponding statement for the oriented theory.
We consider the subset
of the s-fold Cartesian product \(\varSigma ^s\) for s a positive integer, as well as the multidiagonal in the s-fold Cartesian product \(M^s\),
In accordance with [7, Chapter III, §3], we then say that an immersion \(f{:}\,\varSigma \rightarrow M\) has transversal crossings if for every \(s > 1\), the restriction of
to \(\varSigma ^{(s)}\) is transversal to \(\varDelta _s\). Thus if \(\varSigma\) is a compact surface and M has dimension at least five, an immersion with transversal crossings is a one-to-one immersion and hence an imbedding, while if M has dimension four, such an immersion has only double points and the intersections at double points are transverse.
We can regard the Transversal Crossing Theorem 5.1.2 of [11] as stating that having transversal crossings is a generic property of parametrized minimal surfaces in four-manifolds, a generic property being one that holds when the Riemannian metric on the ambient manifold M is generic. For the development of our theory, we need a procedure for establishing additional generic properties which might be useful in establishing our desired partial Morse inequalities. Fortunately, the Transversal Density Theorem 19.1 of Abraham and Robbin [3] provides a relatively straightforward procedure for checking that properties are generic. As an application of the Abraham-Robbin theory, we will prove:
Theorem 1
Suppose that M is a compact manifold of dimension four. Then for a generic choice of Riemannian metric on M, at any self-intersection point of a transversely immersed minimal surface \(f{:}\,\varSigma \rightarrow M\), the tangent planes are in general position with respect to the metric, that is, they are not simultaneously complex for any orthogonal complex structure on the tangent space at a point of self-intersection.
This theorem is likely needed as a step toward establishing the partial Morse inequalities for minimal surfaces in four-manifolds that we believe exist.
Recall that an orthogonal complex structure on the tangent space \(T_pM\) to a Riemannian manifold M at a point \(p \in M\) is an endomorphism
where \(\langle \cdot , \cdot \rangle\) denotes the Riemannian metric on M. When M is four-dimensional, we say that J is positively or negatively oriented depending on whether the corresponding Kähler form, defined by
is self-dual or anti-self-dual. A globally defined orthogonal complex structure on the Riemannian manifold M is a family of orthogonal complex structure \(p \mapsto J(p)\) which depends smoothly on the parameter p which ranges over M.
The generic condition on the tangent planes enables us to use a result of Morgan [12] to show that if \(f{:}\,\varSigma \rightarrow M\) is a surface of genus g which minimizes area in some homology class, and f has points of self-intersection, then one of the self-intersections can be removed by surgery, producing a surface of larger genus and smaller area in the same homology class.
Theorem 2
Suppose that M is a compact oriented manifold of dimension at least four with a generic choice of Riemannian metric. Then, each nonzero element of \(H_2(M;{{\mathbb {Z}}})\) is represented by a collection of disjoint connected minimal surfaces, each of which is either imbedded or a nontrivial branched cover of an imbedded minimal surface.
Assuming Theorem 1, we can prove Theorem 2 as follows. The results of Almgren and Chang [4] (see the Main Regularity Result on page 72 of [4]) imply that any homology class is represented by an area minimizing integral current which arises from a smooth submanifold except for possible branch points and self-intersections. This can be represented by a finite collection of parametrized minimal surfaces, each of which is either prime or a branched cover of a prime minimal surface. Let \(f_i{:}\, \varSigma _i \rightarrow M\) for \(1 \le i \le k\) be the underlying prime minimal surfaces, where each \(\varSigma _i\) is connected. When the metric is generic, it follows from the Bumpy Metric theorem that each such \(f_i\) is free of branch points, while when the dimension of M is at least five, it follows from the Transversal Crossing Theorem that there are no self-intersections, or intersections between different components. When the dimension of M is four, the Transversal Crossing Theorem and Theorem 1 imply that intersections are transverse, and that at any self-intersection the two tangent planes of \(f_i\) cannot be simultaneously complex for any orthogonal complex structure at the point of intersection. It therefore follows from Theorem 2 of [12] that if any \(f_i\) has nontrivial self-intersections, one of the self-intersections can be eliminated with a decrease in area, thereby contradicting the fact that the current is area minimizing. Thus the \(f_i\)’s must be imbeddings. Similarly, the area could be decreased if the images of different \(f_i\)’s were not mutually disjoint, again contradicting area minimization. □
Theorem 2 is related to an earlier result of White [14] which treats unoriented surfaces.
2 Proof of Theorem 1
In preparation, we recall some well-known facts about manifolds of maps. From the survey of Eells [5], we find an elegant combination of the \(\alpha\)- and \(\omega\)-lemmas of Abraham and Smale (as presented in [1]) which asserts that
is a \(C^r\) map when S, M and N are compact smooth manifolds. A direct consequence (in the case where S is a point) is the fact that the evaluation map
is \(C^r\), a fact used in the Abraham–Robbin approach to transversality theory, as explained in [3]. If \({{\mathcal {M}}}\) is a Banach manifold which satisfies the second axiom of countability, then a map \(\rho {:}\,{{\mathcal {M}}} \rightarrow C^{r}(M,N)\) is said to be a \(C^r\)-representation if
is \(C^r\). For example, the Sobolev Lemma shows that the inclusion
is a \(C^{k-2}\)-representation when \(\varSigma\) is compact of dimension two and \(k \ge 2\). Here \(L^2_k(\varSigma ,M)\) is the completion of the space of \(C^\infty\) maps from \(\varSigma\) to M with respect to the Sobolev \(L^2_k\) norm.
For simplicity, let us assume first that \(\varSigma\) is connected and has genus at least two. We need to be precise about the regularity of the maps in question, so we will replace \(\hbox {Map}(\varSigma ,M)\) and \(\hbox {Met}(M)\) by
where \(\hbox {Met}^2_{\ell }(M)\) is the \(L^2_{\ell }\) completion of the space of \(C^\infty\) Riemannian metrics on M, with \(\ell \ge k-1\). It is shown in §5.4 of [11] that
is a smooth submanifold, and that the projection
is a Fredholm map of Fredholm index zero. (The superscript on \({{\mathcal {P}}}^{\emptyset }\) indicates that its elements have trivial branch locus.) Let
When k and \(\ell > k\) are large, the regularity results show that elements of \({{\mathcal {P}}}^{\emptyset }\), being critical points of the energy, already have higher regularity than assumed:
Thus, we can assume that the evaluation map has as many derivatives as we want by choosing \(\ell\) large. If \((f,\omega ,g)\) is an element of \({{\mathcal {P}}}^{\emptyset }_0\), it follows from the inverse function theorem, that there is an open neighborhood \({{\mathcal {U}}}\) of \((f,\omega ,g)\) in \({{\mathcal {P}}}^{\emptyset }_0\) an open neighborhood \({{\mathcal {V}}}\) of g in \(\hbox {Met}(M)\) and a diffeomorphism
If \(\pi _0{:}\,{{\mathcal {P}}}^{\emptyset }_0 \rightarrow L^2_\ell (\varSigma ,M)\) is the projection on the first factor, we can regard
as a \(C^{\ell - 2}\)-representation. Since the manifolds in question have countable base and the projection \(\pi _0\) is locally proper by Theorem 1.6 of [13], we can choose a sequence
Thus, it suffices to show that for any section \(\sigma\) constructed as above and for a residual subset of \(g \in {{\mathcal {V}}}\), \(\rho (g)\) is an immersion such that at any point of self-intersection the tangent planes to \(\rho (g)\) at the intersection point are not simultaneously complex for any choice of orthogonal complex structure on the tangent space to M.
To prove this, it is convenient to construct Gauss lifts of (4) to the six-dimensional twistor spaces, two-sphere bundles over M, which were associated with M by Eells and Salamon [6]. If M is spin these twistor spaces are defined in terms of the spin bundles \(W_-\) and \(W_+\) over M. These are SU(2) bundles over M which give a factorization of the complexified tangent bundle,
as described in §2.2 of [8]. The Eells–Salamon twistor spaces are then defined to be the projective bundles \({{\mathbb {P}}}(W_+)\) and \({{\mathbb {P}}}(W_-)\) over M. If M is not spin, we can still define \(W_-\) and \(W_+\) as “virtual” SU(2) bundles over M (see §2.3 of [8]), and this still allows us to construct the twistor spaces. Given a parametrized minimal surface \(f{:}\,\varSigma \rightarrow M\), Eells and Salamon construct two corresponding Gauss lifts
and show that these lifts are pseudoholomorphic with respect to suitable orthogonal complex structures globally defined on \({{\mathbb {P}}}(W_+)\) and \({{\mathbb {P}}}(W_-)\). We can think of \(f_+\) and \(f_-\) as defining families of orthogonal complex structures at points of the image of f. To prove Theorem 1 we need to show that when the metric on M is generic, the orthogonal complex structures thus assigned to distinct points p and q of \(\varSigma\) disagree whenever \(f(p) = f(q)\), for every closed parametrized minimal surface \(f{:}\,\varSigma \rightarrow M\).
In the notation we used earlier, we construct Gauss lifts
of the map \(\rho\) of (4), where now the projective spinor bundles \({{\mathbb {P}}}(W_+)\) and \({{\mathbb {P}}}(W_-)\) vary smoothly with the metric. These are \(C^{\ell - 3}\)-representations of \({{\mathcal {V}}}\). It then suffices to show that for generic choice of \(g \in {{\mathcal {V}}}\), the Gauss lifts \(\rho _+(g)\) and \(\rho _-(g)\) of \(\rho (g)\) are imbeddings into \({{\mathbb {P}}}(W_+)\) and \({{\mathbb {P}}}(W_-)\), respectively. By taking the Cartesian product of \(\rho _+(g)\) and \(\rho _-(g)\) with themselves, we define \(C^{\ell - 3}\)-representations
where \(\varDelta\) is the diagonal. This puts us in a position to apply the Transversal Density Theorem 19.1 of [3].
To prove our theorem, it suffices to show that if \(\varDelta _+\) and \(\varDelta _-\) are the diagonals in \({{\mathbb {P}}}(W_+) \times {{\mathbb {P}}}(W_+)\) and \({{\mathbb {P}}}(W_-) \times {{\mathbb {P}}}(W_-)\), respectively, then
are residual subsets of \({{\mathcal {V}}}\), and the Transversal Density Theorem ensures that this will be the case if the maps
are transversal to \(\varDelta _+\) and \(\varDelta _-\), respectively.
In other words, assuming that M has dimension four, we need to construct a variation of the metric which puts a given intersection into general position, the two intersecting planes not being simultaneously complex for any orthogonal complex structure.
Suppose therefore that p and q are distinct points of \(\varSigma\) with \(f(p) = f(q)\), and let \(V_1\) and \(V_2\) be disjoint open neighborhoods of p and q within \(\varSigma\). We construct coordinates \((u^1, u^2, u^3, u^4)\) on a neighborhood U of f(p) in M so that
-
1.
\(u^i(f(p)) = 0\),
-
2.
\(f(V_1) \cap U\) is described by the equations \(u^3 = u^4 = 0\),
-
3.
\(f(V_2) \cap U\) is described by the equations \(u^1 = u^2 = 0\),
-
4.
\(f^*\langle \cdot , \cdot \rangle |V_1 = \lambda _1^2 ((\mathrm{d}x^1)^2 + (\mathrm{d}x^2)^2)\), where \(x^a = u^a \circ f\), and
-
5.
\(f^*\langle \cdot , \cdot \rangle |V_2 = \lambda _2^2 ((\mathrm{d}x^3)^2 + (\mathrm{d}x^4)^2)\), where \(x^r = u^r \circ f\).
Here our index conventions will restrict indices to the limits
Let \(g_{ij}\) be the components of the metric in these coordinates, so that
where \(\delta _{ab}\) and \(\delta _{rs}\) denote Kronecker deltas. We assume that at the intersection point, \(f_*(T_p\varSigma )\) and \(f_*(T_q\varSigma )\) are simultaneously complex for some orthogonal complex structure on TM. (After reordering \(u^3\) and \(u^4\) if necessary, we can then assume without loss of generality that \(g_{13} = g_{24}\) and \(g_{14} = - g_{23}\).)
If we define the Christoffel symbols in terms of the metric
the fact that f is harmonic is expressed by the equations
We will construct a variation in the metric \((\dot{g}_{ij})\) such that \(\dot{g}_{ab} = 0 = \dot{g}_{rs}\) and Eq. (6) continue to hold. The resulting variation \({\dot{\varGamma }} _{k,ij}\) in the Christoffel symbols will then satisfy the equations
Thus, we want to arrange that
If we construct a smooth function \(h{:}\,U \rightarrow {{\mathbb {R}}}\) and then set
we find that Eq. (7) are satisfied. We can choose such a function which has compact support within U, and for which
is arbitrary. The resulting metric perturbation will preserve conformality and minimality of f as required, yet can be chosen so that after perturbation \(f_*(T_p\varSigma )\) and \(f_*(T_q\varSigma )\) will not be simultaneously complex for any orthogonal complex structure on \(T_{f(p)}M = T_{f(q)}M\). This finishes the proof of Theorem 1 in the case where \(\varSigma\) is connected and has genus at least two.
The additional complication we need to handle when the genus is zero or one is that the group G of complex automorphisms of \(\varSigma\) which are homotopic to the identity is nontrivial. One approach to treating this case is to restrict to submanifolds of \(L^2_k(\varSigma , M)\) which have codimension equal to the dimension of G, yet represent all immersions up to the action of G.
Suppose first that \(\varSigma\) is the two-sphere \(S^2\), in which case \(G = \mathrm{PSL(}2,{{\mathbb {C}}})\). If N is a compact codimension two submanifold of M with boundary \(\partial N\), we let
which is an open subset of \(L^2_k(S^2, M)\). Given three disjoint compact codimension two submanifolds with boundary, say Q, R and S, we let
also an open subset of \(L^2_k(S^2, M)\). We cover \(L^2_k(S^2, M)\) with a countable collection of sets \({{\mathcal {U}}}(Q_j,R_j,S_j)\) defined by a sequence \(j \mapsto (Q_j,R_j,S_j)\) of triples of such codimension two submanifolds, where \(j \in {{\mathbb {N}}}\). We choose three points q, r and s in \(S^2\) and let
noting that \({{\mathcal {F}}}_j(S^2,M)\) meets each \(PSL(2,{{\mathbb {C}}})\)-orbit in \({{\mathcal {U}}}(Q_j,R_j,S_j)\) in a finite number of points. It follows from the Sobolev imbedding theorem and smoothness of the evaluation map on the space of \(C^{k-2}\) maps (for example by Proposition 2.4.17 of [2]) that the evaluation map
is \(C^{k-2}\). Thus when k is large, we can regard \({{\mathcal {F}}}_j(S^2,M)\) as a submanifold of \(\hbox {Map}(S^2, M)\) of codimension six with tangent space
In the case where \(\varSigma\) is the torus and \(G = S^1 \times S^1\), we need fix only one point to break the symmetry. We define \({{\mathcal {U}}}(N)\) by (8) with \(S^2\) replaced by \(T^2\) and choose a sequence \(j \mapsto N_j\) of smooth compact codimension two submanifolds of M such that \({{\mathcal {U}}}(N_j)\) cover \(\hbox {Map}(T^2, M)\). We choose a base point \(q \in T^2\) and let
We now simply carry through the earlier argument with \(L^2_k(\varSigma , M)\) with a collection of spaces \({{\mathcal {F}}}_j(\varSigma ,M)\) which cover \(L^2_k(\varSigma , M)\).
Finally, we need to consider the case in which \(\varSigma\) has several components, and in particular we need to consider intersections between two different components. But the modifications needed to treat this case are straightforward and we can safely leave them to the reader. QED
Data availability
Data sharing is not applicable to this article because no data sets were used.
References
Abraham, R.: Lectures of Smale on Differential Topology. Columbia University, New York (1963)
Abraham, R., Marsden, J., Ratiu, T.: Manifolds, Tensor Analysis and Applications, 2nd edn. Springer, New York (1988)
Abraham, R., Robbin, J.: Transversal Mappings and Flows. Benjamin, New York (1967)
Chang, S.: Two dimensional area minimizing integral currents are classical minimal surfaces. J. Amer. Math. Soc 1, 699–778 (1988)
Eells, J.: A setting for global analysis. Bull. Amer. Math. Soc. 72, 751–807 (1966)
Eells, J., Salamon, S.: Twistorial construction of harmonic maps of surfaces into four manifolds. Ann. Sc. Norm. Super. Pisa 12, 589–640 (1985)
Golubitsky, M., Guillemin, V.: Stable Manifolds and Their Singularities. Springer, New York (1973)
Moore, J.D.: Lectures on Seiberg–Witten Invariants, 2nd edn. Springer, New York (2001)
Moore, J.D.: Bumpy metrics and closed parametrized minimal surfaces in Riemannian manifolds. Trans. Amer. Math. Soc. 358, 5193–5256 (2006)
Moore, J.D.: Nondegeneracy of coverings of minimal tori in Riemannian manifolds. Pacific J. Math. 230, 147–166 (2007)
Moore, J. D.: Introduction to Global Analysis: Minimal Surfaces in Riemannian Manifolds, AMS Graduate Studies in Mathematics no. 187. American Mathematical Society, Providence (2017)
Morgan, F.: On the singular structure of two-dimensional area minimizing surfaces in \({{\mathbb{R}}}^n\). Math. Ann. 261, 101–110 (1982)
Smale, S.: An infinite-dimensional version of Sard’s theorem. Amer. J. Math. 87, 861–866 (1966)
White, B.: Generic regularity of unoriented two-dimensional area minimizing surfaces. Ann. Math. 121, 595–603 (1985)
White, B.: Generic transversality of minimal submanifolds and generic regularity of two-dimensional area-minimizing integral currents, to appear. arxiv:1901.05148
Acknowledgements
The author thanks the referees for several helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Moore, J.D. Self-intersections of closed parametrized minimal surfaces in generic Riemannian manifolds. Ann Glob Anal Geom 60, 157–165 (2021). https://doi.org/10.1007/s10455-021-09771-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10455-021-09771-8