arxiv: v2 [math.dg] 9 Feb 2018

Transcription

1 DENSITY OF MINIMAL HYPERSURFACES FOR GENERIC METRICS arxv: v2 [math.dg] 9 Feb 2018 KEI IRIE, FERNANDO C. MARQUES AND ANDRÉ NEVES Abstract. For almost all Remannan metrcs (n the C Bare sense) on a closed manfold M n+1, 3 (n + 1) 7, we prove that the unon of all closed, smooth, embedded mnmal hypersurfaces s dense. Ths mples there are nfntely many mnmal hypersurfaces thus provng a conjecture of Yau (1982) for generc metrcs. 1. Introducton Mnmal surfaces are among the most extensvely studed objects n Dfferental Geometry. There s a wealth of examples for many partcular ambent spaces, but ther general exstence theory n Remannan manfolds s stll rather mysterous. A motvatng conjecture has been: Conjecture (Yau [19], 1982): Every closed Remannan three-manfold contans nfntely many smooth, closed, mmersed mnmal surfaces. In ths paper we settle the generc case, and n fact prove that a much stronger property holds true: there are nfntely many closed embedded mnmal hypersurfaces ntersectng any gven ball n M. Man Theorem: Let M n+1 be a closed manfold of dmenson (n+1), wth 3 (n+1) 7. Then for a C -generc Remannan metrc g on M, the unon of all closed, smooth, embedded mnmal hypersurfaces s dense. Besdes some specfc metrcs (e.g. [9]), the exstence of nfntely many closed, smooth, embedded mnmal hypersurfaces was only known for manfolds of postve Rcc curvature M n+1, 3 (n+1) 7, as proven by the last two authors n [13]. Before that the best result was due to Ptts (1981, [14]), who bult on earler work of Almgren ([2]) to prove there s at least one closed embedded mnmal hypersurface. In [13] t was shown the exstence of at least (n+1) such hypersurfaces. The man ngredent n the proof of our Man Theorem s the Weyl law for the volume spectrum conjectured by Gromov([6]) and recently proven by the last two authors jontly wth Lokumovch n [10]. We need the Morse ndex estmates proven by the last two authors n [11], for mnmal hypersurfaces The frst author s supported by JSPS Postdoctoral Fellowshps for Research Abroad. The second author s partly supported by NSF-DMS and NSF DMS The thrd author s partly supported by NSF DMS and EPSRC Programme Grant EP/K00865X/1. 1

2 2 KEI IRIE, FERNANDO C. MARQUES AND ANDRÉ NEVES constructed by mn-max methods. And we use the Structure Theory of Whte ([17], [18]), who proved that a generc metrc s bumpy, meanng that every closed mnmal hypersurface s nondegenerate. Fnally, we use an dea of the frst author ([8]) who proved an analogous densty result for closed geodescs (not necessarly embedded) n surfaces. The argument of [8] s based on a dfferent knd of asymptotc law, nvolvng spectral nvarants n Embedded Contact Homology ([4]). The volume spectrum of a compact Remannan manfold (M n+1,g) s a nondecreasng sequence of numbers {ω k (M,g) : k N} defned varatonally by performng a mn-max procedure for the area (or n-dmensonal volume) functonal over multparameter sweepouts. The frst estmates for these numbers were proven by Gromov n the late 1980s [5] (see also Guth [7]). The man result of [10] used n ths paper s: Weyl Law for the Volume Spectrum (Lokumovch, Marques, Neves, 2016): There exsts a unversal constant a(n) > 0 such that for any compact Remannan manfold (M n+1,g) we have: lm ω k(m,g)k 1 n n+1 = a(n)vol(m,g) n+1. k In [5], Gromov worked wth a defnton of ω k (M,g) that was slghtly dfferent from ours (see Secton 2 of ths paper). He consdered a parametrzaton of the space of hypersurfaces n M by the space of real functons on M, or more precsely by ts projectvzaton. Namely, to a functon f : M R (or to ts equvalence class [f]) he assocated the zero set f 1 (0) M. In our case, the space of hypersurfaces s the space Z n (M;Z 2 ) of n-dmensonal modulo two flat boundares endowed wth the flat topology. Ths allows us to use the machnery of Geometrc Measure Theory. The projectvzaton of the space of real functons can be dentfed mmedately wth RP, whle the fact that Z n (M;Z 2 ) s weakly homotopcally equvalent to RP follows from work of Almgren [1] (as explaned n [12]). In Gromov s work ([6]), ω k s defned to be the smallest number such that the set of hypersurfaces wth volume less than or equal to ω k has essental dmenson (Secton 0.3.A, [6]) greater than or equal to k. Flat chans modulo two of any codmenson were crucally used by Guth [7] n hs study of mn-max volumes assocated wth cohomology classes. In our case we restrct to codmenson one (n whch case the cohomology classes are cup products) and add the no concentraton of mass condton for techncal reasons related to Almgren-Ptts mn-max theory. The dmensonal restrcton n the Man Theorem s due to the fact that n hgher dmensons mn-max (even area-mnmzng) mnmal hypersurfaces can have sngular sets. We use Almgren-Ptts theory ([2], [14]), whch together wth Schoen-Smon regularty ([15]) produces smooth mnmal hypersurfaces when 3 (n+1) 7. We expect that the methods of ths paper can be generalzed to handle the hgher-dmensonal sngular case.

3 DENSITY OF MINIMAL HYPERSURFACES FOR GENERIC METRICS 3 We fnsh the ntroducton wth some dea of the proof. Frst we prove that for each k N, the number ω k (M,g) s the volume of some smooth, embedded, closed mnmal hypersurface, perhaps wth nteger multplctes. The possble presence of nteger multplctes s one of the reasons why constructng dstnct mnmal hypersurfaces s a dffcult problem. The man observaton s that the Weyl Law for the Volume Spectrum mples a mechansm to create new mnmal hypersurfaces by perturbaton of the metrc. Supposeg s a bumpymetrc (a generc property by Whte) such that no mnmal hypersurface for g ntersects some nonempty open set U M. The fact that g s bumpy mples there can be at most countably many mnmal hypersurfaces for g. We consder a famly of conformal deformatons g(t) = (1+th)g for small t 0, where h s a nonzero nonnegatve functon wth support contaned n U. Because the volume of M goes up strctly wth t, the Weyl Law for the Volume Spectrum tells us that for any t > 0 some k-wdth ω k wll satsfy ω k (g(t)) > ω k (g), and therefore ω k assumes uncountably many values. Because g(t) = g outsde U, for some g(t ), t > 0, there must be a mnmal hypersurface that ntersects U. Hence by perturbng g to g(t ) we have kept all the mnmal hypersurfaces for g ntact but ganed a new one that ntersects U. 2. Prelmnares We denote by Z n (M;Z 2 ) the space of modulo two n-dmensonal flat chans T n M wth T = U for some (n + 1)-dmensonal modulo two flat chan U n M, endowed wth the flat topology. Ths space s weakly homotopcally equvalent to RP (see Secton 4 of [12]). We denote by λ the generator of H 1 (Z n (M;Z 2 ),Z 2 ) = Z 2. The mass (n-dmensonal volume) of T s denoted by M(T). Let X be a fnte dmensonal smplcal complex. A contnuous map Φ : X Z n (M;Z 2 ) s called a k-sweepout f Φ ( λ k ) 0 H k (X;Z 2 ). We say X s k-admssble f there exsts a k-sweepout Φ : X Z n (M;Z 2 ) that has no concentraton of mass, meanng lm sup{m(φ(x) B r(p)) : x X,p M} = 0. r 0 The set of all k-sweepouts Φ that have no concentraton of mass s denoted by P k. Note that two maps n P k can have dfferent domans. In [13], the last two authors defned Defnton: The k-wdth of (M,g) s the number ω k (M,g) = nf Φ P k sup{m(φ(x)) : x dmn(φ)}, where dmn(φ) s the doman of Φ. As remarked n the Introducton, ths s a varaton of a defnton of Gromov (Secton 4.2.B, p. 179, [5]).

4 4 KEI IRIE, FERNANDO C. MARQUES AND ANDRÉ NEVES Lemma 2.1. The k-wdth ω k (M,g) depends contnuously on the metrc g (n the C 0 topology). Proof. Suppose g s a sequence of smooth Remannan metrcs that converges to g n the C 0 topology. Gven ε > 0, let Φ : X Z n (M;Z 2 ) be a k-sweepout of M that has no concentraton of mass (ths condton does not depend on the metrc) and such that sup{m g (Φ(x)) : x X} ω k (M,g)+ε, where M g (T) s the mass of T wth respect to g. Snce ω k (M,g ) sup{m g (Φ(x)) : x X} g (v,v) (sup v 0 g(v,v) )n 2 sup{mg (Φ(x)) : x X} g (v,v) (sup v 0 g(v,v) )n 2 (ωk (M,g)+ε), and ε > 0 s arbtrary, we get lmsup ω k (M,g ) ω k (M,g). Smlarly, one can prove lmnf ω k (M,g ) ω k (M,g). The proof of the next Proposton s essentally contaned n Secton 1.5 of [11], but we prove t here for the sake of completeness. It follows from the ndex estmates of the last two authors ([11]) and a compactness theorem of Sharp ([16]). Proposton 2.2. Suppose 3 (n + 1) 7. Then for each k N, there exst a fnte dsjont collecton {Σ 1,...,Σ N } of closed, smooth, embedded mnmal hypersurfaces n M, and ntegers {m 1,...,m N } N, such that ω k (M,g) = m j vol g (Σ j ), and ndex(σ j ) k. Proof. Choose a sequence {Φ } N P k such that lm sup{m(φ (x)) : x X = dmn(φ )} = ω k (M,g). Denote by X (k) the k-dmensonal skeleton of X. Then H k (X,X (k) ;Z 2 ) = 0 and hence the long exact cohomology sequence gves that the natural pullback map from H k (X ;Z 2 ) nto H k (X (k) ;Z 2 ) s njectve. Ths mples (Φ ) (k) X P k. The defnton of ω k then mples lm sup{m(φ (x)) : x X (k) } = ω k (M,g).

5 DENSITY OF MINIMAL HYPERSURFACES FOR GENERIC METRICS 5 The nterpolaton machnery developed by the last two authors ([13], tem () of Corollary 3.12) mples that we can suppose Φ : X (k) Z n (M,Z 2 ) s contnuous n the F-metrc (see Secton 2.1 of [13]) for every. We denote by Π the homotopy class of Φ as defned n [11]. Ths s the class of all maps Φ : X(k) Z n (M,Z 2 ), contnuous n the F-metrc, that are homotopc to Φ n the flat topology. In partcular, (Φ ) (λ k ) = Φ (λk ). Contnuty n the F-metrc mples no concentraton of mass, hence every such Φ s also a k-sweepout. Therefore the mn-max number (defned n Secton 1 of [11]) L(Π ) = nf Φ Π sup x X (k) {M(Φ (x))} satsfes ω k (M,g) L(Π ) sup{m(φ (x)) : x X (k) } and n partcular lm L(Π ) = ω k (M,g). Theorem 1.2 of [11] now mples the exstence of a fnte dsjont collecton {Σ,1,...,Σ,N } of closed, smooth, embedded mnmal hypersurfaces n M, and ntegers {m,1,...,m,n } N, such that and N L(Π ) = m,j vol g (Σ,j ), N ndex(σ,j ) k. The monotoncty formula for mnmal hypersurfaces n Remannan manfolds mples that there exsts δ > 0, dependng only on M, such that the volume of any closed mnmal hypersurface s greater than or equal to δ. Hence the number of components N and the multplctes m,j are unformly bounded. The Compactness Theorem of Sharp (Theorem 2.3 of [16]) mples that there exsts a fnte dsjont collecton {Σ 1,...,Σ N } of closed, smooth, embedded mnmal hypersurfaces n M, satsfyng ndex(σ j ) k, and ntegers {m 1,...,m N } N such that, after passng to a subsequence, N m,j Σ,j m j Σ j as varfolds. Hence ω k (M,g) = N m jvol g (Σ j ), and the proof of the proposton s fnshed.

6 6 KEI IRIE, FERNANDO C. MARQUES AND ANDRÉ NEVES Proposton 2.3. Let Σ be a closed, smooth, embedded mnmal hypersurface n (M n+1,g). Then there exsts a sequence of metrcs g on M, N, convergng to g n the smooth topology such that Σ s a nondegenerate mnmal hypersurface n (M n+1,g ) for every. Proof. If g = exp(2φ)g, then the second fundamental form of Σ wth respect to g s gven by (Besse [3], Secton 1.163) A Σ, g = A Σ,g g ( φ), where ( φ) (x) s the component of φ normal to T x Σ. The Rcc curvatures are related by (see Besse [3], Theorem 1.159): Rc g = Rc g (n 1)(Hess g φ dφ dφ) ( g φ+(n 1) φ 2 ) g. Suppose both φ and φ vansh on Σ. Then g Σ = g Σ and A Σ, g = A Σ,g. In partcular, Σ s also mnmal wth respect to g and A Σ, g 2 g = A Σ,g 2 g. A unt normal N to Σ wth respect to g s also a unt normal to Σ wth respect to g and Rc g (N,N) = Rc g (N,N) (n 1)Hess g φ(n,n) g φ. Snce φ = 0 on Σ, we have g φ = Hess g φ(n,n) on Σ and therefore Rc g (N,N) = Rc g (N,N) nhess g φ(n,n). Let η : M R be a smooth functon such that s equal to 1 n V δ (Σ) and equal to zero n M \ V 2δ (Σ), where V r (Σ) = {x M : d g (x,σ) r}. We choose δ > 0 suffcently small so that the functon x d g (x,σ) 2 s smooth n V 3δ (Σ). We defne h(x) = η(x)d g (x,σ) 2 for x V 3δ (Σ) and h(x) = 0 for x M \ V 3δ (Σ), so h : M R s a smooth functon that concdes wth x d g (x,σ) 2 n some small neghborhood of Σ. Let g = exp(2φ )g, where φ = 1 h. Snce h(x) = d g(x,σ) 2 n a neghborhood of Σ, we have that, on Σ, φ = 0, φ = 0 and Hess g φ (N,N) = 2, and Σ s mnmal wth respect to g. Therefore Rc g (N,N)+ A Σ,g 2 g = Rc g (N,N)+ A Σ,g 2 g 2n. The Jacob operator actng on normal vector felds s gven by the expresson L Σ,g (X) = Σ,gX +(Rc g (N,N)+ A Σ,g 2 g)x. Snce g Σ = g Σ, we have Σ,g X = Σ,gX and hence We conclude that L Σ,g (X) = L Σ,g (X) 2n X. spec(l Σ,g ) = spec(l Σ,g )+ 2n. Hence Σ s nondegenerate wth respect to g for every suffcently large.

7 DENSITY OF MINIMAL HYPERSURFACES FOR GENERIC METRICS 7 3. Proof of the Man Theorem We denote by M the space of all smooth Remannan metrcs on M, endowed wth the C topology. Proposton 3.1. Suppose 3 (n+1) 7, and let U M be a nonempty open set. Then the set M U of all smooth Remannan metrcs on M such that there exsts a nondegenerate, closed, smooth, embedded, mnmal hypersurface Σ that ntersects U s open and dense n the C topology. Proof. Let g M U and Σ be lke n the statement of the proposton. Because Σ s nondegenerate, an applcaton of the Inverse Functon Theorem mples that for every Remannan metrc g suffcently close to g, there exsts a unque nondegenerate closed, smooth, embedded mnmal hypersurface Σ close to Σ. Ths follows, for nstance, from the Structure Theorem of Whte (Theorem 2.1 n [17]) snce the nondegeneracy of Σ s equvalent to the nvertblty of DΠ(g,Σ) (here Π s as n [17]). In partcular, Σ U f g s suffcently close to g. Ths mples M U s open. It remans to show the set M U s dense. Let g be an arbtrary smooth Remannan metrc on M and V be an arbtrary neghborhood of g n the C topology. By the Bumpy Metrcs Theorem of Whte (Theorem 2.1, [18]), there exsts g V such that every closed, smooth mmersed mnmal hypersurface wth respect to g s nondegenerate. If one of these mnmal hypersurfaces s embedded and ntersects U then g M U, and we are done. Hence we can suppose that every closed, smooth, embedded mnmal hypersurface wth respect to g s contaned n the complement of U. Snce g s bumpy, t follows from Sharp (Theorem 2.3 and Remark 2.4, [16]) that the set of connected, closed, smooth, embedded mnmal hypersurfaces n (M,g ) wth both area and ndex bounded from above by q s fnte for every q > 0. Therefore the set C = { m j vol g (Σ j ) : N N,{m j } N N,{Σ j } N dsjontcollecton ofclosed, smooth, embeddedmnmalhypersurfacesn(m,g )} s countable. Chooseh : M Rasmoothnonnegatve functonsuchthat supp(h) U and h(x) > 0 for some x U. Defne g (t) = (1 +th)g for t 0, and let t 0 > 0 be suffcently small so that g (t) V for every t [0,t 0 ]. Notce that g (t) = g outsde some compact set K U for every t > 0. We have vol(m,g (t 0 )) > vol(m,g ). It follows from the Weyl Law for the Volume Spectrum (see Introducton) that there exsts k N such that ω k (M,g (t 0 )) > ω k (M,g ). Assume by contradcton that for every t [0,t 0 ], every closed, smooth, embedded mnmal hypersurface n (M,g (t)) s contaned n M \ U. Snce g (t) = g outsde K U we conclude from Proposton 2.2 that ω k (M,g (t)) C for all t [0,t 0 ]. But C s countable and we know from Proposton 2.1 that the functon t ω k (M,g (t)) s

8 8 KEI IRIE, FERNANDO C. MARQUES AND ANDRÉ NEVES contnuous. Hence t ω k (M,g (t)) s constant n the nterval [0,t 0 ]. Ths contradcts the fact that ω k (M,g (t 0 )) > ω k (M,g ). Therefore we can fnd t [0,t 0 ] such that there exsts a closed, smooth, embedded mnmal hypersurface Σ wth respect to g (t) that ntersects U. Snce g (t) V, Proposton 2.3 mples there exsts a Remannan metrc g V such that Σ s mnmal and nondegenerate wth respect to g. Therefore g V M U and we have fnshed the proof of the Proposton. Proof of the Man Theorem. Let {U } be a countable bass of M. Snce, by Proposton 3.1, each M U s open and dense n M the set M U s C Bare-generc n M. Ths fnshes the proof. References [1] F. Almgren, The homotopy groups of the ntegral cycle groups, Topology (1962), [2] F. Almgren, The theory of varfolds, Mmeographed notes, Prnceton (1965). [3] Besse, A. L., Ensten manfolds, Classcs n Mathematcs, Sprnger-Verlag (1987). [4] Crstofaro-Gardner, D., Hutchngs, M., Ramos, V. Grpp Barros, The asymptotcs of ECH capactes, Invent. Math. 199 (2015), no. 1, [5] M. Gromov, Dmenson, nonlnear spectra and wdth, Geometrc aspects of functonal analyss,(1986/87), , Lecture Notes n Math., 1317, Sprnger, Berln, [6] M. Gromov, Isopermetry of wasts and concentraton of maps, Geom. Funct. Anal. 13 (2003), [7] L. Guth, Mnmax problems related to cup powers and Steenrod squares, Geom. Funct. Anal. 18 (2009), [8] Ire, K., Dense exstence of perodc Reeb orbts and ECH spectral nvarants, J. Mod. Dyn. 9 (2015), [9] Lawson, H. B., Jr. Complete mnmal surfaces n S 3, Ann. of Math. (2) [10] Lokumovch, Y., Marques, F. C., Neves, A., Weyl law for the volume spectrum, arxv: [math.dg] (2016), to appear n Annals of Mathematcs. [11] Marques, F. C., Neves, A., Morse ndex and multplcty of mn-max mnmal hypersurfaces, Camb. J. Math. 4 (2016), no. 4, [12] Marques, F. C., Neves, A., Topology of the space of cycles and exstence of mnmal varetes, Surv. Dffer. Geom., 21, Int. Press, Somervlle, MA, (2016), , [13] Marques, F. C., Neves, A., Exstence of nfntely many mnmal hypersurfaces n postve Rcc curvature, Invent. Math. 209 (2017), no.2, [14] J. Ptts, Exstence and regularty of mnmal surfaces on Remannan manfolds, Mathematcal Notes 27, Prnceton Unversty Press, Prnceton, (1981). [15] R. Schoen and L. Smon, Regularty of stable mnmal hypersurfaces. Comm. Pure Appl. Math. 34 (1981), [16] Sharp, B., Compactness of mnmal hypersurfaces wth bounded ndex, J. Dfferental Geom. 106 (2017), no. 2, [17] B. Whte, The space of mnmal submanfolds for varyng Remannan metrcs, Indana Unv. Math. J. 40 (1991), [18] Whte, B., On the bumpy metrcs theorem for mnmal submanfolds, Amer. J. Math. 139 (2017), no. 4, [19] Yau, S.-T., Problem secton. Semnar on Dfferental Geometry, pp , Ann. of Math. Stud., 102, Prnceton Unv. Press, Prnceton, N.J., 1982.

9 DENSITY OF MINIMAL HYPERSURFACES FOR GENERIC METRICS 9 Research Insttute for Mathematcal Scences, Kyoto Unversty, Kyoto , Japan / Smons Center for Geometry and Physcs, State Unversty of New York, Stony Brook NY , USA E-mal address: rek@kurms.kyoto-u.ac.jp Prnceton Unversty, Fne Hall, Prnceton NJ 08544, USA E-mal address: coda@math.prnceton.edu Unversty of Chcago, Department of Mathematcs, Chcago IL 60637, USA /Imperal College London, Huxley Buldng, 180 Queen s Gate, London SW7 2RH, Unted Kngdom E-mal address: aneves@uchcago.edu, a.neves@mperal.ac.uk