Construction of High Codimension Ancient Mean Curvature Flows
Douglas Stryker, Ao Sun
备注:
10 pages, comments are welcomed! After the first version of this preprint was uploaded to arxiv, we discovered that the construction in this paper has been discovered by Altschuler D.-Altschuler S.-Angenent-Wu in [AAAW13]. Since the motivation of our preprint is different from [AAAW13], we still hope the readers could find some innovating ideas from this preprint
We construct a class of compact ancient solutions to the mean curvature flow in Euclidean space with high codimension. In particular, we construct higher codimensional ancient curve shortening flows. Moreover, we characterize the asymptotic behavior of these solutions.
Add on remark: the construction in this paper has been discovered by Altschuler D.-Altschuler S.-Angenent-Wu in [AAAW13].
We study solutions of high codimension mean curvature flow defined for all negative times, usually referred to as ancient solutions. We show that any compact ancient solution whose second fundamental form satisfies a certain natural pinching condition must be a family of shrinking spheres. Andrews and Baker have shown that initial submanifolds satisfying this pinching condition, which generalises the notion of convexity, converge to round points under the flow. As an application, we use our result to simplify their proof.
Motivated by the limiting behavior of an explicit class of compact ancient curve shortening flows, we prove codimension bounds for ancient mean curvature flows by their tangent flow at $-\infty$, generalizing a theorem for cylinders in [CM19b]. In the case of the $m$-covered circle, we apply this bound to prove a strong rigidity theorem. Furthermore, we extend this paradigm by showing that under the assumption of sufficiently rapid convergence, a compact ancient mean curvature flow is identical to its tangent flow at $-\infty$.
We construct ancient solutions to Curve Shortening in the plane whose total curvature is uniformly bounded by gluing together an arbitrary chain of given Grim Reapers along their common asymptotes.
In this paper we investigate the rigidity of ancient solutions of the mean curvature flow with arbitrary codimension in space forms. We first prove that under certain sharp asymptotic pointwise curvature pinching condition the ancient solution in a sphere is either a shrinking spherical cap or a totally geodesic sphere. Then we show that under certain pointwise curvature pinching condition the ancient solution in a hyperbolic space is a family of shrinking spheres. We also obtain a rigidity result for ancient solutions in a nonnegatively curved space form under an asymptotic integral curvature…
We study solutions of the mean curvature flow which are defined for all negative curvature times, usually called ancient solutions. We give various conditions ensuring that a closed convex ancient solution is a shrinking sphere. Examples of such conditions are: a uniform pinching condition on the curvatures, a suitable growth bound on the diameter or a reverse isoperimetric inequality. We also study the behaviour of uniformly k-convex solutions, and consider generalizations to ancient solutions immersed in a sphere.
We prove several sharp one-sided pinching estimates for immersed and embedded hypersurfaces evolving by various fully nonlinear, one-homogeneous curvature flows by the method of Stampacchia iteration. These include sharp estimates for the largest principal curvature and the inscribed curvature ('cylindrical estimates') for flows by concave speeds and a sharp estimate for the exscribed curvature for flows by convex speeds. Making use of a recent idea of Huisken and Sinestrari, we then obtain corresponding estimates for ancient solutions. In particular, this leads to various characterisations of…
We prove that there exists, in every dimension, a unique (modulo rotations about the origin and time translations) convex ancient mean curvature flow in the ball with free boundary on the sphere.
In this paper we prove classification results for gradient shrinking Ricci solitons under two invariant conditions, namely nonnegative orthogonal bisectional curvature and weakly PIC1, without any curvature bound. New results on ancient solutions for the Ricci and Kähler-Ricci flow are also obtained. The main new feature is that no curvature upper bound is assumed.
Bounds of total curvature and entropy are two common conditions placed on mean curvature flows. We show that these two hypotheses are equivalent for the class of ancient complete embedded smooth planar curve shortening flows, which are one-dimensional mean curvature flows. As an application, we give a short proof of the uniqueness of tangent flow at infinity of an ancient smooth complete non-compact curve shortening flow with finite entropy embedded in $\mathbb{R}^2$.
We show the existence of non-homothetic ancient flows by powers of curvature embedded in $\mathbb{R}^2$ whose entropy is finite. We determine the Morse indices and kernels of the linearized operator of shrinkers to the flows and construct ancient flows by using unstable eigenfunctions of the linearized operator.
Mean curvature flow for isoparametric submanifolds in Euclidean spaces and spheres was studied by the authors in [LT]. In this paper, we will show that all these solutions are ancient solutions. We also discuss rigidity of ancient mean curvature flows for hypersurfaces in spheres and its relation to the Chern's conjecture on the norm of the second fundamental forms of minimal hypersurfaces in spheres.
Ancient solutions of the Ricci flow arise naturally as models for singularity formation. There has been significant progress towards the classification of such solutions under natural geometric assumptions. Nonnegatively curved solutions in dimensions 2 and 3, and uniformly PIC solutions in higher dimensions are now well understood. We consider ancient solutions of arbitrary dimension which are complete and have Type~I curvature growth. We show that a $κ$-noncollapsed Type~I ancient solution which is noncompact and has nonnegative sectional curvature necessarily splits at least one Euclidean f…
We construct $O(1)\times O(n)$-invariant ancient ``pancake'' solutions to a large and natural class of fully nonlinear curvature flows. We then establish that these are the unique $O(n)$-invariant ancient solutions to the corresponding flow which sweep out a slab by carrying out a fine asymptotic analysis for this class. This extends the main results of \cite{BLT} to a surprisingly general class of flows.
In this paper we consider closed non-collapsed ancient solutions to the mean curvature flow ($n \ge 2$) which are uniformly two-convex. We prove that any two such ancient solutions are the same up to translations and scaling. In particular, they must coincide up to translations and scaling with the rotationally symmetric closed ancient non-collapsed solution constructed by Brian White in (2000), and by Robert Haslhofer and Or Hershkovits in (2016).
We show that every $n$-dimensional, $κ$-noncollapsed, noncompact, complete ancient solution to the Ricci flow with uniformly PIC for $n=4$ or $n\ge 12$ has weakly PIC$_2$ and bounded curvature. Combining this with earlier results, we prove that any such solution is isometric to either a family of shrinking cylinders (or a quotient thereof) or the Bryant soliton. Also, we classify all complex 2-dimensional, $κ$-noncollapsed, complete ancient solutions to the Kähler Ricci flow with weakly PIC.
We construct closed, embedded, ancient mean curvature flows in each dimension $n\ge 2$ with the topology of $S^1 \times S^{n-1}$. These examples are not mean convex and not solitons. They are constructed by analyzing perturbations of the self-shrinking doughnuts constructed by Drugan and Nguyen (or, alternatively, Angenent's self shrinking torus when $n =2$)
We point out that Ecker's local integral quantity agrees with Huisken's global integral quantity at infinity for ancient mean curvature flows if Huisken's one is finite on each time-slice. In particular, this means that the finiteness of Ecker's integral quantity at infinity implies the finiteness of the entropy at infinity.
We study the compact noncollapsed ancient convex solutions to Mean Curvature Flow in $\mathbb{R}^{n+1}$ with $O(1)\times O(n)$ symmetry. We show they all have unique asymptotics as $t\to -\infty$ and we give precise asymptotic description of these solutions. In particular, solutions constructed by White, and Haslhofer and Hershkovits have those asymptotics (in the case of those particular solutions the asymptotics was predicted and formally computed by Angenent).
In this short paper, we show there do not exist three-dimensional noncompact $κ$-solutions of Ricci flow that have positive curvature and satisfy a Type-I bound. This represents progress towards the proof of Perelman's conjecture that the only complete noncompact three-dimensional $κ$-solution with positive curvature is the Bryant soliton.
The main result of this paper is: Given any constant C, there is $(ε,k,L)$ such that if a complete, orientable, noncompact odd-dimensional manifold with bounded positive sectional curvature contains a $(ε,k,L)$-neck, then the asymptotic scalar curvature ratio is bigger or equal to C. As a application we proved that the asymptotic scalar curvature ratio of a complete noncompact ancient Type I-like solution to the Ricci flow with bounded positive sectional curvature on an orientable 3-manifold, is infinity.
In this short article, we prove the existence of ancient solutions of the mean curvature flow that for t -> 0 collapse to a round point, but for t -> -infinity become more and more oval: near the center they have asymptotic shrinkers modeled on round cylinders S^j x R^n-j and near the tips they have asymptotic translators modeled on Bowl^j+1 x R^n-j-1. We also give a characterization of the round shrinking sphere among ancient alpha-Andrews flows. Our proofs are based on the recent estimates of Haslhofer-Kleiner.
We show that every convex ancient solution of mean curvature flow with Type I curvature growth is either spherical, cylindrical, or planar. We then prove the corresponding statement for flows by a natural class of curvature functions which are convex or concave in the second fundamental form. Neither of these results assumes interior noncollapsing.
We provide several characterisations of collapsing and noncollapsing in convex ancient mean curvature flow, establishing in particular that collapsing occurs if and only if the flow is asymptotic to at least one Grim hyperplane. As a consequence, we rule out collapsing singularity models in $(n-1)$-convex mean curvature flow (even when the initial datum is only immersed). Explicit counterexamples show that $(n-1)$-convexity is optimal. We are also able to rule out collapsing singularity models for suitably pinched solutions of higher codimension.
We construct a new compact convex embedded ancient solution of the $κ^α$ flow in $\mathbb R^2$, $α\in(\frac12,1)$ that lies between two parallel lines. Using this solution we classify all convex ancient solutions of the $κ^α$ flow in $\mathbb R^2$, for $α\in(\frac23,1)$. Moreover, we show that any non-compact convex embedded ancient solution of the $κ^α$ flow in $\mathbb R^2$, $α\in(\frac12,1)$ must be a translating solution.
We first bound the codimension of an ancient mean curvature flow by the entropy. As a consequence, all blowups lie in a Euclidean subspace whose dimension is bounded by the entropy and dimension of the evolving submanifolds. This drastically reduces the complexity of the system. Combined with \cite{CM12}, this gives the first general bounds on generic singularities of surfaces in arbitrary codimension. We also show sharp bounds for codimension in arguably some of the most important situations of ancient flows. Namely, we prove that in any dimension and codimension any ancient flow that is cyli…
We construct a compact, convex ancient solution of mean curvature flow in $\mathbb R^{n+1}$ with $O(1)\times O(n)$ symmetry that lies in a slab of width $π$. We provide detailed asymptotics for this solution and show that, up to rigid motions, it is the only compact, convex, $O(n)$-invariant ancient solution that lies in a slab of width $π$ and in no smaller slab.
Ancient solutions arise in the study of parabolic blow-ups. If we can categorize ancient solutions, we can better understand blow-up limits. Based on an argument of Giga and Kohn, we give a Liouville-type theorem restricting ancient, type-I, non-collapsing two- dimensional mean curvature flows to either spheres or cylinders.
In [ZY2], the second author proved Perelman's assertion, namely, for an ancient Ricci flow with bounded and nonnegative curvature operator, bounded entropy is equivalent to noncollapsing on all scales. In this paper, we continue this discussion. It turns out that the curvature operator nonnegativity is not a necessary condition, and we need only to assume a consequence of Hamilton's trace Harnack. Furthermore, we show that this condition holds for steady Ricci solitons with nonnegative Ricci curvature.
In this paper, we prove that any non-flat ancient solution to Kähler-Ricci flow with bounded nonnegative bisectional curvature has asymptotic volume ratio zero. We also prove that any gradient shrinking solitons with positive bisectional curvature must be compact. Both results generalize the corresponding earlier results of Perelman in \cite{P1} and \cite{P2}. The results can be applied to study the geometry and function theory of complete Kähler manifolds with nonnegative bisectional curvature via Kähler-Ricci flow. It also implies a compactness theorem on ancient solutions to Kähler-Ricci fl…
In this paper we discuss the asymptotic entropy for ancient solutions to the Ricci flow. We prove a gap theorem for ancient solutions, which could be regarded as an entropy counterpart of Yokota's work. In addition, we prove that under some assumptions on one time slice of a complete ancient solution with nonnegative curvature operator, finite asymptotic entropy implies kappa-noncollapsing on all scales. This provides an evidence for Perelman's more general assertion that on a complete ancient solution with nonnegative curvature operator, bounded entropy is equivalent to kappa-noncollapsing.
We study properly immersed ancient solutions of the codimension one mean curvature flow in $n$-dimensional Euclidean space, and classify the convex hulls of the subsets of space reached by any such flow. In particular, it follows that any compact convex ancient mean curvature flow can only have a slab, a halfspace or all of space as the closure of its set of reach. The proof proceeds via a bi-halfspace theorem (also known as a wedge theorem) for ancient solutions derived from a parabolic Omori-Yau maximum principle for ancient mean curvature flows.
The purpose of this article is to examine the possible shapes of type I singularities that form in the mean curvature flow of submanifolds of arbitrary codimension, assuming that the initial submanifold satisfies a particular curvature pinching condition.
The objet of this paper is the study of variations of a functional whose integrant is the $σ_u$-curvature of closed submanifolds of arbitrary codimension in Riemannian manifolds.
We derive curvature estimates for minimal submanifolds in Euclidean space for arbitrary dimension and codimension via Gauss map. Thus, Schoen-Simon-Yau's results and Ecker-Huisken's results are generalized to higher codimension. In this way we improve Hildebrandt-Jost-Widman's result for the Bernstein type theorem.
We derive pointwise curvature estimates for graphical mean curvature flows in higher codimensions. To the best of our knowledge, this is the first such estimates without assuming smallness of first derivatives of the defining map. An immediate application is a convergence theorem of the mean curvature flow of the graph of an area decreasing map between flat Riemann surfaces.
In this paper, we prove a classification theorem for self-shrinkers of the mean curvature flow with $|A|^2\le 1$ in arbitrary codimension. In particular, this implies a gap theorem for self-shrinkers in arbitrary codimension.
A well-known question of Perelman concerns the classification of noncompact ancient solutions to the Ricci flow in dimension $3$ which have positive sectional curvature and are $κ$-noncollapsed. In this paper, we solve the analogous problem for mean curvature flow in $\mathbb{R}^3$, and prove that the rotationally symmetric bowl soliton is the only noncompact ancient solution of mean curvature flow in $\mathbb{R}^3$ which is strictly convex and noncollapsed.
We prove rigidity theorems for ancient solutions of geometric flows of immersed submanifolds. Specifically, we find pinching conditions on the second fundamental form that characterize the shrinking sphere among compact ancient solutions for the mean curvature flow in codimension greater than one, and for some nonlinear curvature flows of hypersurfaces.
In this paper we investigate the convergence for the mean curvature flow of closed submanifolds with arbitrary codimension in space forms. Particularly, we prove that the mean curvature flow deforms a closed submanifold satisfying a pinching condition in a hyperbolic space form to a round point in finite time.
We show existence of ancient solutions to the rescaled mean curvature flow starting from a given asymptotically conical self-expander. These are examples of mean curvature flows coming out of cones that are not self-similar. We also show a strong uniqueness theorem when the cone is generic and use it to classify mean curvature flows coming out of generic cones of small entropy in low dimensions.
In this article, using the generalized Newton transformation, we define higher order mean curvatures of distributions of arbitrary codimension and we show that they agree with the ones from Brito and Naveira (Ann. Global Anal. Geom. 18, 371-383 (2000)). We also introduce higher order mean curvature vector fields and we compute their divergence for certain distributions and using this we obtain total extrinsic mean curvatures.
In this text we outline the major techniques, concepts and results in mean curvature flow with a focus on higher codimension. In addition we include a few novel results and some material that cannot be found elsewhere.
We prove the existence of closed convex ancient solutions to curvature flows which become more and more oval for large negative times. The speed function is a general symmetric function of the principal curvatures, homogeneous of degree greater than one. This generalises previous work on the mean curvature flow and other one-homogeneous curvature flows. As an auxiliary result, we prove a new theorem on the convergence to a round point of convex rotationally symmetric hypersurfaces satisfying a suitable constraint on the curvatures.