Arxiv:2011.09373V4 [Math.DG] 29 Nov 2020
Total Page:16
File Type:pdf, Size:1020Kb
AN UNKNOTTEDNESS RESULT FOR SELF SHRINKERS WITH MULTIPLE ENDS ALEXANDER MRAMOR Abstract. In this article we prove a new unknottedness result for self shrinkers in R3 with multiple asymptotically conical ends satisfying some apriori topological assumptions, obtaining a stronger result when the number of ends is 2. 1. Introduction In this article we prove the following isotopy rigidity fact about self shrinkers with multiple asymptotically conical ends, self shrinkers being fundamental singularity models for the mean curvature flow: Theorem 1.1. Let M ⊂ R3 be a 2-sided self shrinker with k ≥ 2 asymptotically conical ends. Supposing for a choice of normal that M bounds a region R diffoemor- phic to the interior of a compact closed surface Σ with k solid half cylinders attached and that Σ is itself topologically standard, then M is ambiently isotopic to a stan- dardly embedded genus g surface with k straight round half cylinders attached along its convex hull. We say a closed genus g surface Σ is topologically standard when it is ambiently isotopic to a surface given by k standardly embedded tori arranged along a curve with adjaent ones glued together by unknotted bridges. We'll also often refer to surfaces M satisfying the conclusion of the theorem as standardly embedded. Obviously that Σ is topologically standard is a nontrivial assumption. Which might be less immediately clear, as discussed in more detail below that the ends bound solid cylinders is a nontrivial assumption when k > 2 as well. For k > 2 its uncertain that the set of such shrinkers is nonempty, but the bounded solid cylinder part of the assumption is always met (see lemma 2.4) for shrinkers with 2 ends, and arXiv:2011.09373v4 [math.DG] 29 Nov 2020 there is numerical evidence of many shrinkers with 2 ends besides the cylinder so the set in the following result is almost certainly nontrivial: Corollary 1.2. Let M ⊂ R3 be a 2-sided complete self shrinker with two asymp- totically conical ends, and suppose that capping M off gives a standardly embedded genus g surface. Then M is ambiently isotopic to a standardly embedded genus g surface with two straight round half cylinders attached along its convex hull. 1 MULTIPLE ENDS 2 Naturally here and throughout \capping" a noncompact surface whose ends bound solid cylinders refers to cutting these cylinders and gluing in discs in the obvious way. That the ends are asymptotically conical is a very natural assumption with L. Wang's work and Ilmanen's no cylinder conjecture in mind { these are described more in section 2. In particular (since cylinders are unknotted) our result implies all self shrinkers with finite topology and two ends that are given by adding ends to a topologically standard surface are unknotted in the conjectural picture. Previously analogous versions of this result were established in the compact case by the author with S. Wang in [40] and in the noncompact case with one asymptotically conical end by the author in the preprint [39] (the results in these cases don't need any other apriori control on the topology along the lines of the statements above). In a result allowing even for multiple ends, Brendle showed in [4] that noncompact self shrinkers in R3 with no topology (roughly speaking) must coincide with either the plane or round cylinder, but the result in this work is an improvement in some ways in that it allows for nontrivial topology. There are rigourously constructed examples of noncompact self shrinkers with one end besides the plane via desingularizations of the sphere and plane by Kapouleas, Kleene, and Møller [31]. To the author's knowledge though there are no rigorous constructions of self shrinkers with more than one end besides the cylinder: the ex- amples constructed in [26] might possibly be noncompact and hence could furnish examples of shrinkers with more than one end, and the very recent work of A. Sun, Z. Wang and Zhou [42] gives many examples of self shrinkers (even of arbitrarily high entropy), which from their techniques it seems plausible at least some of which would be noncompact. On the other hand as already mentioned there is good numer- ical evidence of self shrinkers with two asymptotically conical ends with interesting topology by Chopp [7] and also Ilmanen [29]. Of course, its clear upon inspection these numerical examples are unknotted in the sense of the theorem above. There are related unknottedness results for minimal surfaces in R3, the most relevent one being the result of Meeks and Yau [37] for minimal surfaces of finite topology. However, there additional topological facts of classical minimal surfaces are used, most apparently to the author the topologically parallel ends theorem which says that a classical minimal surface with k ends and finite topology is isotopic to a surface asymptotic to k parallel planes { this is intuitively true because the blow- down of a minimal surface (with some growth assumptions) yields a minimal cone (possibly with multiplicity) which in the surface case must be a plane. To the au- thor's knowledge though the situation for shrinkers is unclear and there seems to be partial evidence both for and against the ends of a self shrinker to be parallel though, although in the case where apriori the ends are parallel it seems plausible that their MULTIPLE ENDS 3 arguments can be applied (resolving this apparent uncertainty one way or the other seems to be a natural question for future work). This and more is discussed in the concluding remarks. At any rate our argument is significantly different from theirs, even when k = 2 (when k = 2, the ends are automatically parallel so an adapatation (if possible) of their work would apply to give corollary 1.2, in fact without assuming apriori that the ends are attached to a topologically standard surface). One facet of our argument that might be of interest is that we do not employ Waldhausen's theorem in our scheme (note the argument of Meeks and Yau needed some results to the effect saying certain parts of their minimal surfaces are unknotted without appealing to the theorem as well). Granted by assumption the compact \soul" Σ of M is toplogically standard (which is the type of information one would expect to obtain from Waldhausen), but as figure 1 below shows the problem is far from solved with just this information in short because topological standardness of a collection of surfaces does not imply their combinations will be. We feel the general shape of the argument could possibly be built on to give stronger unknottedness reults while still bypassing the theorem (to the author's knowledge, this general type of question originates with Yau), although there are complications as discussed more in the concluding remarks. To deal with situations like that posed in figure 1, recall that an unstable minimal surface at least in principle can be perturbed to be mean convex in their metric using the first eigenfunction of their Jacobi operator { for shrinkers with asymptotically conical ends this was established by Bernstein and L. Wang in [2] (indeed they are unstable). The mean convexity then lets one construct a (shrinker) mean convex level set flow starting from it using a limit of surgery flows as carried out in the author's previous article [39] { this will alow us to show in many undesirable cases the flow must \snag" on itself so that one finds a stable self shrinker giving a contradiction. Using this principle we give two arguments, one particular to the cases k = 1; 2 (although since the case k = 1 is already covered by the stronger result in the author's previous work [39] we ignore it as we did in the theorem statement) and another which applies to any number of ends inspired by an observation of Bernstein and L. Wang. In the first argument, particular to when k = 2, the renormalized mean curvature flow is used to reduce the problem to showing there are no outwardly shrinker convex knotted cylinders coming for which our construction of the flow applies: to get this fact one sees for such a knotted cylinder one would find a nonempty stable shrinker by the flow and gain a subsequent contradiction as described. To make this reduction its easy to see handles of Σ must break under the flow, and they must not link with the ends of M, so that eventually the flow of M must be an embedded cylinder which MULTIPLE ENDS 4 is isotopic to M after adding some handles to the cylinder. Hence if this cylinder is unknotted, then M must be topologically standard. Using ideas from the first argument, in the second argument one analogously reduces to the question of showing an outwardly mean convex self shrinker diffeomo- prhic to a sphere connect sum k half cylinders is standardly embedded. The simple but key observation, more or less gleaned from the aforementioned paper of Bern- stein and L. Wang [2] on conical shrinkers of low entropy (see theorem 4.6 therein) with some slight twists, is that the flow of such a surface preserves must eventually become starshaped (modulo in our setting a possible singular set which can be un- derstood using stratifcation results for the mean curvature flow due to Colding and Minicozzi [11]), finishing the proof of theorem 1.1. Acknowledgments: The author is supported by an AMS{Simons travel grant and is grateful for their assistance. He also thanks Jacob Bernstein for discussing the state of the art in numerical examples of self shrinkers with him. 2.