-
On $κ$-solutions and canonical neighborhoods in 4d Ricci flow
Authors:
Robert Haslhofer
Abstract:
We introduce a classification conjecture for $κ$-solutions in 4d Ricci flow. Our conjectured list includes known examples from the literature, but also a new 1-parameter family of $\mathbb{Z}_2^2\times \mathrm{O}_3$-symmetric bubble-sheet ovals that we construct. We observe that some special cases of the conjecture follow from recent results in the literature. We also introduce a stronger variant…
▽ More
We introduce a classification conjecture for $κ$-solutions in 4d Ricci flow. Our conjectured list includes known examples from the literature, but also a new 1-parameter family of $\mathbb{Z}_2^2\times \mathrm{O}_3$-symmetric bubble-sheet ovals that we construct. We observe that some special cases of the conjecture follow from recent results in the literature. We also introduce a stronger variant of the classification conjecture for ancient asymptotically cylindrical 4d Ricci flows, which does not assume smoothness and nonnegative curvature operator a priori. Assuming this stronger variant holds true, we establish a canonical neighborhood theorem for 4d Ricci flow through cylindrical singularities, which shares some elements in common with Perelman's canonical neighborhood theorem for 3d Ricci flow as well as the mean-convex neighborhood theorem for mean curvature flow through neck-singularities. Finally, we argue that quotient-necks lead to new phenomena, and sketch an example of non-uniqueness for 4d Ricci flow through singularities.
△ Less
Submitted 13 March, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Free boundary minimal disks in convex balls
Authors:
Robert Haslhofer,
Daniel Ketover
Abstract:
In this paper, we prove that every strictly convex 3-ball with nonnegative Ricci-curvature contains at least 3 embedded free-boundary minimal 2-disks for any generic metric, and at least 2 solutions even without genericity assumption. Our approach combines ideas from mean curvature flow, min-max theory and degree theory. We also establish the existence of smooth free-boundary mean-convex foliation…
▽ More
In this paper, we prove that every strictly convex 3-ball with nonnegative Ricci-curvature contains at least 3 embedded free-boundary minimal 2-disks for any generic metric, and at least 2 solutions even without genericity assumption. Our approach combines ideas from mean curvature flow, min-max theory and degree theory. We also establish the existence of smooth free-boundary mean-convex foliations. In stark contrast to our prior work in the closed setting, the present result is sharp for generic metrics.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
Free boundary flow with surgery
Authors:
Robert Haslhofer
Abstract:
In this paper, we prove the existence of mean curvature flow with surgery for mean-convex surfaces with free boundary. To do so, we implement our recent new approach for constructing flows with surgery without a prior estimates in the free boundary setting. The flow either becomes extinct in finite time or for $t\to\infty$ converges smoothly in the one or two sheeted sense to a finite collection o…
▽ More
In this paper, we prove the existence of mean curvature flow with surgery for mean-convex surfaces with free boundary. To do so, we implement our recent new approach for constructing flows with surgery without a prior estimates in the free boundary setting. The flow either becomes extinct in finite time or for $t\to\infty$ converges smoothly in the one or two sheeted sense to a finite collection of stable connected minimal surfaces with empty or free boundary (in particular, there are no surgeries for $t$ sufficiently large). Our free boundary flow with surgery will be applied in forthcoming work with Ketover, where we will address the existence problem for $3$ free boundary minimal disks in convex balls.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
Enhanced profile estimates for ovals and translators
Authors:
Kyeongsu Choi,
Robert Haslhofer,
Or Hershkovits
Abstract:
We consider the profile function of ancient ovals and of noncollapsed translators. Recall that pioneering work of Angenent-Daskalopoulos-Sesum (JDG '19, Annals '20) gives a sharp $C^0$-estimate and a quadratic concavity estimate for the profile function of two-convex ancient ovals, which are crucial in their papers as well as a slew of subsequent papers on ancient solutions of mean curvature flow…
▽ More
We consider the profile function of ancient ovals and of noncollapsed translators. Recall that pioneering work of Angenent-Daskalopoulos-Sesum (JDG '19, Annals '20) gives a sharp $C^0$-estimate and a quadratic concavity estimate for the profile function of two-convex ancient ovals, which are crucial in their papers as well as a slew of subsequent papers on ancient solutions of mean curvature flow and Ricci flow. In this paper, we derive a sharp gradient estimate, which enhances their $C^0$-estimate, and a sharp Hessian estimate, which can be viewed as converse of their quadratic concavity estimate. Motivated by our forthcoming work on ancient noncollapsed flows in $\mathbb{R}^4$, we derive these estimates in the context of ancient ovals in $\mathbb{R}^3$ and noncollapsed translators in $\mathbb{R}^4$, though our methods seem to apply in other settings as well.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Flows with surgery revisited
Authors:
Robert Haslhofer
Abstract:
In this paper, we introduce a new method to establish existence of geometric flows with surgery. In contrast to all prior constructions of flows with surgery in the literature our new approach does not require any a priori estimates in the smooth setting. Instead, our approach is based on a hybrid compactness theorem, which takes smooth limits near the surgery regions but weak limits in all other…
▽ More
In this paper, we introduce a new method to establish existence of geometric flows with surgery. In contrast to all prior constructions of flows with surgery in the literature our new approach does not require any a priori estimates in the smooth setting. Instead, our approach is based on a hybrid compactness theorem, which takes smooth limits near the surgery regions but weak limits in all other regions. For concreteness, here we develop our new method in the classical setting of mean-convex surfaces in $\mathbb{R}^3$, thus giving a new proof of the existence results due to Brendle-Huisken and Haslhofer-Kleiner. Other settings, including in particular free boundary surfaces, will be addressed in subsequent work.
△ Less
Submitted 13 June, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Classification of bubble-sheet ovals in $\mathbb{R}^{4}$
Authors:
Beomjun Choi,
Panagiota Daskalopoulos,
Wenkui Du,
Robert Haslhofer,
Natasa Sesum
Abstract:
In this paper, we prove that any bubble-sheet oval for the mean curvature flow in $\mathbb{R}^4$, up to scaling and rigid motion, either is the $\textrm{O}(2)\times \textrm{O}(2)$-symmetric ancient oval constructed by Hershkovits and the fourth author, or belongs to the one-parameter family of $\mathbb{Z}_2^2\times \textrm{O}(2)$-symmetric ancient ovals constructed by the third and fourth author.…
▽ More
In this paper, we prove that any bubble-sheet oval for the mean curvature flow in $\mathbb{R}^4$, up to scaling and rigid motion, either is the $\textrm{O}(2)\times \textrm{O}(2)$-symmetric ancient oval constructed by Hershkovits and the fourth author, or belongs to the one-parameter family of $\mathbb{Z}_2^2\times \textrm{O}(2)$-symmetric ancient ovals constructed by the third and fourth author. In particular, this seems to be the first instance of a classification result for geometric flows that are neither cohomogeneity-one nor selfsimilar.
△ Less
Submitted 18 May, 2024; v1 submitted 11 September, 2022;
originally announced September 2022.
-
A nonexistence result for rotating mean curvature flows in $\mathbb{R}^{4}$
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
Some worrisome potential singularity models for the mean curvature flow are rotating ancient flows, i.e. ancient flows whose tangent flow at $-\infty$ is a cylinder $\mathbb{R}^k\times S^{n-k}$ and that are rotating within the $\mathbb{R}^k$-factor. We note that while the $\mathbb{R}^k$-factor, i.e. the axis of the cylinder, is unique by the fundamental work of Colding-Minicozzi, the uniqueness of…
▽ More
Some worrisome potential singularity models for the mean curvature flow are rotating ancient flows, i.e. ancient flows whose tangent flow at $-\infty$ is a cylinder $\mathbb{R}^k\times S^{n-k}$ and that are rotating within the $\mathbb{R}^k$-factor. We note that while the $\mathbb{R}^k$-factor, i.e. the axis of the cylinder, is unique by the fundamental work of Colding-Minicozzi, the uniqueness of tangent flows by itself does not provide any information about rotations within the $\mathbb{R}^k$-factor. In the present paper, we rule out rotating ancient flows among all ancient noncollapsed flows in $\mathbb{R}^4$.
△ Less
Submitted 3 June, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Uniqueness and stability of singular Ricci flows in higher dimensions
Authors:
Robert Haslhofer
Abstract:
In this short note, we observe that the Bamler-Kleiner proof of uniqueness and stability for 3-dimensional Ricci flow through singularities generalizes to singular Ricci flows in higher dimensions that satisfy an analogous canonical neighborhood property. In particular, this gives a canonical evolution through singularities for manifolds with positive isotropic curvature. The new ingredients we us…
▽ More
In this short note, we observe that the Bamler-Kleiner proof of uniqueness and stability for 3-dimensional Ricci flow through singularities generalizes to singular Ricci flows in higher dimensions that satisfy an analogous canonical neighborhood property. In particular, this gives a canonical evolution through singularities for manifolds with positive isotropic curvature. The new ingredients we use are the recent classification of higher dimensional $κ$-solutions by Brendle, Daskalopoulos, Naff and Sesum, and the maximum principle for the linearized Ricci-DeTurck flow on locally conformally flat manifolds due to Chen and Wu.
△ Less
Submitted 13 October, 2021; v1 submitted 7 October, 2021;
originally announced October 2021.
-
A note on blowup limits in 3d Ricci flow
Authors:
Beomjun Choi,
Robert Haslhofer
Abstract:
We prove that Perelman's ancient ovals occur as blowup limit in 3d Ricci flow through singularities if and only if there is an accumulation of spherical singularities.
We prove that Perelman's ancient ovals occur as blowup limit in 3d Ricci flow through singularities if and only if there is an accumulation of spherical singularities.
△ Less
Submitted 29 May, 2022; v1 submitted 28 September, 2021;
originally announced September 2021.
-
Ricci limit flows and weak solutions
Authors:
Beomjun Choi,
Robert Haslhofer
Abstract:
In this paper we reconcile several different approaches to Ricci flow through singularities that have been proposed over the last few years by Kleiner-Lott, Haslhofer-Naber and Bamler. Specifically, we prove that every noncollapsed limit of Ricci flows, as provided by Bamler's precompactness theorem, as well as every singular Ricci flow from Kleiner-Lott, is a weak solution in the sense of Haslhof…
▽ More
In this paper we reconcile several different approaches to Ricci flow through singularities that have been proposed over the last few years by Kleiner-Lott, Haslhofer-Naber and Bamler. Specifically, we prove that every noncollapsed limit of Ricci flows, as provided by Bamler's precompactness theorem, as well as every singular Ricci flow from Kleiner-Lott, is a weak solution in the sense of Haslhofer-Naber. We also generalize all path-space estimates from Haslhofer-Naber to the setting of noncollapsed Ricci limit flows. The key step to establish these results is a new hitting estimate for Brownian motion. A fundamental difficulty, in stark contrast to all prior hitting estimates in the literature, is the lack of lower heat kernel bounds under Ricci flow. To overcome this, we introduce a novel approach to hitting estimates that compensates for the lack of lower heat kernel bounds by making use of the heat kernel geometry of space-time.
△ Less
Submitted 9 March, 2022; v1 submitted 6 August, 2021;
originally announced August 2021.
-
Hearing the shape of ancient noncollapsed flows in $\mathbb{R}^{4}$
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
We consider ancient noncollapsed mean curvature flows in $\mathbb{R}^4$ whose tangent flow at $-\infty$ is a bubble-sheet. We carry out a fine spectral analysis for the bubble-sheet function $u$ that measures the deviation of the renormalized flow from the round cylinder $\mathbb{R}^2 \times S^1(\sqrt{2})$ and prove that for $τ\to -\infty$ we have the fine asymptotics…
▽ More
We consider ancient noncollapsed mean curvature flows in $\mathbb{R}^4$ whose tangent flow at $-\infty$ is a bubble-sheet. We carry out a fine spectral analysis for the bubble-sheet function $u$ that measures the deviation of the renormalized flow from the round cylinder $\mathbb{R}^2 \times S^1(\sqrt{2})$ and prove that for $τ\to -\infty$ we have the fine asymptotics $u(y,θ,τ)= (y^\top Qy -2\textrm{tr}(Q))/|τ| + o(|τ|^{-1})$, where $Q=Q(τ)$ is a symmetric $2\times 2$-matrix whose eigenvalues are quantized to be either 0 or $-1/\sqrt{8}$. This naturally breaks up the classification problem for general ancient noncollapsed flows in $\mathbb{R}^4$ into three cases depending on the rank of $Q$. In the case $\mathrm{rk}(Q)=0$, generalizing a prior result of Choi, Hershkovits and the second author, we prove that the flow is either a round shrinking cylinder or $\mathbb{R}\times$2d-bowl. In the case $\mathrm{rk}(Q)=1$, under the additional assumption that the flow either splits off a line or is selfsimilarly translating, as a consequence of recent work by Angenent, Brendle, Choi, Daskalopoulos, Hershkovits, Sesum and the second author we show that the flow must be $\mathbb{R}\times$2d-oval or belongs to the one-parameter family of 3d oval-bowls constructed by Hoffman-Ilmanen-Martin-White, respectively. Finally, in the case $\mathrm{rk}(Q)=2$ we show that the flow is compact and $\mathrm{SO}(2)$-symmetric and for $τ\to-\infty$ has the same sharp asymptotics as the $\mathrm{O}(2)\times\mathrm{O}(2)$-symmetric ancient ovals constructed by Hershkovits and the second author. The full classification problem will be addressed in subsequent papers based on the results of the present paper.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
The blowdown of ancient noncollapsed mean curvature flows
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
In this paper, we consider ancient noncollapsed mean curvature flows $M_t=\partial K_t\subset \mathbb{R}^{n+1}$ that do not split off a line. It follows from general theory that the blowdown of any time-slice, $\lim_{λ\to 0} λK_{t_0}$, is at most $n-1$ dimensional. Here, we show that the blowdown is in fact at most $n-2$ dimensional. Our proof is based on fine cylindrical analysis, which generaliz…
▽ More
In this paper, we consider ancient noncollapsed mean curvature flows $M_t=\partial K_t\subset \mathbb{R}^{n+1}$ that do not split off a line. It follows from general theory that the blowdown of any time-slice, $\lim_{λ\to 0} λK_{t_0}$, is at most $n-1$ dimensional. Here, we show that the blowdown is in fact at most $n-2$ dimensional. Our proof is based on fine cylindrical analysis, which generalizes the fine neck analysis that played a key role in many recent papers. Moreover, we show that in the uniformly $k$-convex case, the blowdown is at most $k-2$ dimensional. This generalizes recent results from Choi-Haslhofer-Hershkovits to higher dimensions, and also has some applications towards the classification problem for singularities in 3-convex mean curvature flow.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
On uniqueness and nonuniqueness of ancient ovals
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
In this paper, we prove that any nontrivial $\mathrm{SO}(k )\times \mathrm{SO}(n+1-k)$-symmetric ancient compact noncollapsed solution of the mean curvature flow agrees up to scaling and rigid motion with the $\mathrm{O}(k)\times \mathrm{O}(n+1-k)$-symmetric ancient ovals constructed by Hershkovits and the second author. This confirms a conjecture by Angenent-Daskalopoulos-Sesum. On the other hand…
▽ More
In this paper, we prove that any nontrivial $\mathrm{SO}(k )\times \mathrm{SO}(n+1-k)$-symmetric ancient compact noncollapsed solution of the mean curvature flow agrees up to scaling and rigid motion with the $\mathrm{O}(k)\times \mathrm{O}(n+1-k)$-symmetric ancient ovals constructed by Hershkovits and the second author. This confirms a conjecture by Angenent-Daskalopoulos-Sesum. On the other hand, for every $k\geq 2$ we also construct a $(k-1)$-parameter family of uniformly $(k+1)$-convex ancient ovals that are only $\mathbb{Z}^{k}_{2}\times \mathrm{O}(n+1-k)$-symmetric. This gives counterexamples to a conjecture of Daskalopoulos.
△ Less
Submitted 11 March, 2022; v1 submitted 28 May, 2021;
originally announced May 2021.
-
Classification of noncollapsed translators in $\mathbb{R}^4$
Authors:
Kyeongsu Choi,
Robert Haslhofer,
Or Hershkovits
Abstract:
In this paper, we classify all noncollapsed singularity models for the mean curvature flow of 3-dimensional hypersurfaces in $\mathbb{R}^4$ or more generally in $4$-manifolds. Specifically, we prove that every noncollapsed translating hypersurface in $\mathbb{R}^4$ is either $\mathbb{R}\times$2d-bowl, or a 3d round bowl, or belongs to the one-parameter family of 3d oval bowls constructed by Hoffma…
▽ More
In this paper, we classify all noncollapsed singularity models for the mean curvature flow of 3-dimensional hypersurfaces in $\mathbb{R}^4$ or more generally in $4$-manifolds. Specifically, we prove that every noncollapsed translating hypersurface in $\mathbb{R}^4$ is either $\mathbb{R}\times$2d-bowl, or a 3d round bowl, or belongs to the one-parameter family of 3d oval bowls constructed by Hoffman-Ilmanen-Martin-White.
△ Less
Submitted 2 June, 2023; v1 submitted 28 May, 2021;
originally announced May 2021.
-
A nonexistence result for wing-like mean curvature flows in $\mathbb{R}^4$
Authors:
Kyeongsu Choi,
Robert Haslhofer,
Or Hershkovits
Abstract:
Some of the most worrisome potential singularity models for the mean curvature flow of $3$-dimensional hypersurfaces in $\mathbb{R}^4$ are noncollapsed wing-like flows, i.e. noncollapsed flows that are asymptotic to a wedge. In this paper, we rule out this potential scenario, not just among self-similarly translating singularity models, but in fact among all ancient noncollapsed flows in…
▽ More
Some of the most worrisome potential singularity models for the mean curvature flow of $3$-dimensional hypersurfaces in $\mathbb{R}^4$ are noncollapsed wing-like flows, i.e. noncollapsed flows that are asymptotic to a wedge. In this paper, we rule out this potential scenario, not just among self-similarly translating singularity models, but in fact among all ancient noncollapsed flows in $\mathbb{R}^4$. Specifically, we prove that for any ancient noncollapsed mean curvature flow $M_t=\partial K_t$ in $\mathbb{R}^4$ the blowdown $\lim_{λ\to 0} λ\cdot {K_{t_0}}$ is always a point, halfline, line, halfplane, plane or hyperplane, but never a wedge. In our proof we introduce a fine bubble-sheet analysis, which generalizes the fine neck analysis that has played a major role in many recent papers. Our result is also a key first step towards the classification of ancient noncollapsed flows in $\mathbb{R}^4$, which we will address in a series of subsequent papers.
△ Less
Submitted 2 June, 2023; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Lectures on mean curvature flow of surfaces
Authors:
Robert Haslhofer
Abstract:
Mean curvature flow is the most natural evolution equation in extrinsic geometry, and shares many features with Hamilton's Ricci flow from intrinsic geometry. In this lecture series, I will provide an introduction to the mean curvature flow of surfaces, with a focus on the analysis of singularities. We will see that the surfaces evolve uniquely through neck singularities and nonuniquely through co…
▽ More
Mean curvature flow is the most natural evolution equation in extrinsic geometry, and shares many features with Hamilton's Ricci flow from intrinsic geometry. In this lecture series, I will provide an introduction to the mean curvature flow of surfaces, with a focus on the analysis of singularities. We will see that the surfaces evolve uniquely through neck singularities and nonuniquely through conical singularities. Studying these questions, we will also learn many general concepts and methods, such as monotonicity formulas, epsilon-regularity, weak solutions, and blowup analysis that are of great importance in the analysis of a wide range of partial differential equations. These lecture notes are from summer schools at UT Austin and CRM Montreal, and also contain a detailed discussion of open problems and conjectures.
△ Less
Submitted 15 June, 2024; v1 submitted 21 May, 2021;
originally announced May 2021.
-
Hitting estimates on Einstein manifolds and applications
Authors:
Beomjun Choi,
Robert Haslhofer
Abstract:
We generalize the Benjamini-Pemantle-Peres estimate relating hitting probability and Martin capacity to the setting of manifolds with Ricci curvature bounded below. As applications we obtain: (1) a sharp estimate for the probability that Brownian motion comes close to the high curvature part of a Ricci-flat manifold, (2) a proof of an unpublished theorem of Naber that every noncollapsed limit of R…
▽ More
We generalize the Benjamini-Pemantle-Peres estimate relating hitting probability and Martin capacity to the setting of manifolds with Ricci curvature bounded below. As applications we obtain: (1) a sharp estimate for the probability that Brownian motion comes close to the high curvature part of a Ricci-flat manifold, (2) a proof of an unpublished theorem of Naber that every noncollapsed limit of Ricci-flat manifolds is a weak solution of the Einstein equations, (3) an effective intersection estimate for two independent Brownian motions on manifolds with non-negative Ricci curvature and positive asymptotic volume ratio. We also obtain generalizations of (1) and (2) for the manifolds with two-sided Ricci bounds and Einstein manifolds with nonzero Einstein constant.
△ Less
Submitted 27 June, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Heat flow on time-dependent manifolds
Authors:
Beomjun Choi,
Jianhui Gao,
Robert Haslhofer,
Daniel Sigal
Abstract:
We establish effective existence and uniqueness for the heat flow on time-dependent Riemannian manifolds, under minimal assumptions tailored towards the study of Ricci flow through singularities. The main point is that our estimates only depend on an upper bound for the logarithmic derivative of the volume measure. In particular, our estimates hold for any Ricci flow with scalar curvature bounded…
▽ More
We establish effective existence and uniqueness for the heat flow on time-dependent Riemannian manifolds, under minimal assumptions tailored towards the study of Ricci flow through singularities. The main point is that our estimates only depend on an upper bound for the logarithmic derivative of the volume measure. In particular, our estimates hold for any Ricci flow with scalar curvature bounded below, and such a lower bound of course depends only on the initial data.
△ Less
Submitted 28 June, 2020;
originally announced June 2020.
-
Differential Harnack Inequalities on Path Space
Authors:
Robert Haslhofer,
Eva Kopfer,
Aaron Naber
Abstract:
Recall that if $(M^n,g)$ satisfies $\mathrm{Ric}\geq 0$, then the Li-Yau Differential Harnack Inequality tells us for each nonnegative $f:M\to \mathbb{R}^+$, with $f_t$ its heat flow, that $\frac{Δf_t}{f_t}-\frac{|\nabla f_t|^2}{f_t^2} +\frac{n}{2t}\geq 0.$ Our main result will be to generalize this to path space $P_xM$ of the manifold.
A key point is that instead of considering infinite dimensi…
▽ More
Recall that if $(M^n,g)$ satisfies $\mathrm{Ric}\geq 0$, then the Li-Yau Differential Harnack Inequality tells us for each nonnegative $f:M\to \mathbb{R}^+$, with $f_t$ its heat flow, that $\frac{Δf_t}{f_t}-\frac{|\nabla f_t|^2}{f_t^2} +\frac{n}{2t}\geq 0.$ Our main result will be to generalize this to path space $P_xM$ of the manifold.
A key point is that instead of considering infinite dimensional gradients and Laplacians on $P_xM$ we will consider a family of finite dimensional gradients and Laplace operators. Namely, for each $H^1_0$-function $\varphi:\mathbb{R}^+\to \mathbb{R}$ we will define the $\varphi$-gradient $\nabla_\varphi F: P_xM\to T_xM$ and the $\varphi$-Laplacian $Δ_\varphi F =\text{tr}_\varphi\mathrm{Hess} F:P_xM\to \mathbb{R}$, where $\mathrm{Hess} F$ is the Markovian Hessian and both the gradient and the $\varphi$-trace are induced by $n$ vector fields naturally associated to $\varphi$ under stochastic parallel translation.
Now let $(M^n,g)$ satisfy $\mathrm{Ric}=0$, then for each nonnegative $F:P_xM\to \mathbb{R}^+$ we will show the inequality $$\frac{E_x [Δ_\varphi F]}{E_x [F]}-\frac{E_x [\nabla_\varphi F]^2}{E_x [F]^2} +\frac{n}{2}|| \varphi ||^2\geq 0$$ for each $\varphi$, where $E_x$ denotes the expectation with respect to the Wiener measure on $P_xM$. By applying this to the simplest functions on path space, namely cylinder functions of one variable $F(γ) \equiv f(γ(t))$, we will see we recover the classical Li-Yau Harnack inequality exactly. We have similar estimates for Einstein manifolds, with errors depending only on the Einstein constant, as well as for general manifolds, with errors depending on the curvature. Finally, we derive generalizations of Hamilton's Matrix Harnack inequality on path space $P_xM$. It is our understanding that these estimates are new even on the path space of $\mathbb{R}^n$.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Moving plane method for varifolds and applications
Authors:
Robert Haslhofer,
Or Hershkovits,
Brian White
Abstract:
In this paper, we introduce a version of the moving plane method that applies to potentially quite singular hypersurfaces, generalizing the classical moving plane method for smooth hypersurfaces. Loosely speaking, our version for varifolds shows that smoothness and symmetry at infinity (respectively at the boundary) can be promoted to smoothness and symmetry in the interior. The key feature, in co…
▽ More
In this paper, we introduce a version of the moving plane method that applies to potentially quite singular hypersurfaces, generalizing the classical moving plane method for smooth hypersurfaces. Loosely speaking, our version for varifolds shows that smoothness and symmetry at infinity (respectively at the boundary) can be promoted to smoothness and symmetry in the interior. The key feature, in contrast with the classical formulation of the moving plane principle, is that smoothness is a conclusion rather than an assumption.
We implement our moving plane method in the setting of compact varifolds with smooth boundary and in the setting of complete varifolds. A key ingredient is a Hopf lemma for stationary and CMC-varifolds. Our Hopf lemma provides a new tool to establish smoothness of varifolds, and works in arbitrary dimensions and without any stability assumptions. As applications of our new moving plane method, we prove varifold uniqueness results for the catenoid, spherical caps, and Delaunay surfaces that are inspired by classical uniqueness results by Schoen, Alexandrov, Meeks and Korevaar-Kusner-Solomon. We also prove a varifold version of Alexandrov's Theorem for compact CMC-varifolds in hyperbolic space.
△ Less
Submitted 2 June, 2023; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Mean convex mean curvature flow with free boundary
Authors:
Nick Edelen,
Robert Haslhofer,
Mohammad N. Ivaki,
Jonathan J. Zhu
Abstract:
In this paper, we generalize White's regularity and structure theory for mean-convex mean curvature flow to the setting with free boundary. A major new challenge in the free boundary setting is to derive an a priori bound for the ratio between the norm of the second fundamental form and the mean curvature. We establish such a bound via the maximum principle for a triple-approximation scheme, which…
▽ More
In this paper, we generalize White's regularity and structure theory for mean-convex mean curvature flow to the setting with free boundary. A major new challenge in the free boundary setting is to derive an a priori bound for the ratio between the norm of the second fundamental form and the mean curvature. We establish such a bound via the maximum principle for a triple-approximation scheme, which combines ideas from Edelen, Haslhofer-Hershkovits, and Volkmann. Other important new ingredients are a Bernstein-type theorem and a sheeting theorem for low entropy free boundary flows in a halfslab, which allow us to rule out multiplicity 2 (half-)planes as possible tangent flows and, for mean convex domains, as possible limit flows.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
A note on the selfsimilarity of limit flows
Authors:
Beomjun Choi,
Robert Haslhofer,
Or Hershkovits
Abstract:
It is a fundamental open problem for the mean curvature flow, and in fact for many partial differential equations, whether or not all blowup limits are selfsimilar. In this short note, we prove that for the mean curvature flow of mean convex surfaces all limit flows are selfsimilar (static, shrinking or translating) if and only if there are only finitely many spherical singularities. More generall…
▽ More
It is a fundamental open problem for the mean curvature flow, and in fact for many partial differential equations, whether or not all blowup limits are selfsimilar. In this short note, we prove that for the mean curvature flow of mean convex surfaces all limit flows are selfsimilar (static, shrinking or translating) if and only if there are only finitely many spherical singularities. More generally, using the solution of the mean convex neighborhood conjecture for neck singularities, we establish a local version of this equivalence for neck singularities in arbitrary dimension. In particular, we see that the ancient ovals occur as limit flows if and only if there is a sequence of spherical singularities converging to a neck singularity.
△ Less
Submitted 5 October, 2019;
originally announced October 2019.
-
Ancient asymptotically cylindrical flows and applications
Authors:
Kyeongsu Choi,
Robert Haslhofer,
Or Hershkovits,
Brian White
Abstract:
In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in $\mathbb{R}^{n+1}$ for all $n\geq 3$: we show that if a mean curvature flow $\{M_t\}$ in $\mathbb{R}^{n+1}$ has an $S^{n-1}\times \mathbb{R}$ singularity at $(x_0,t_0)$, then there exists an $\varepsilon=\varepsilon(x_0,t_0)>0$ such that $M_t\cap B(x_0,\varepsilon)$ is mean-convex f…
▽ More
In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in $\mathbb{R}^{n+1}$ for all $n\geq 3$: we show that if a mean curvature flow $\{M_t\}$ in $\mathbb{R}^{n+1}$ has an $S^{n-1}\times \mathbb{R}$ singularity at $(x_0,t_0)$, then there exists an $\varepsilon=\varepsilon(x_0,t_0)>0$ such that $M_t\cap B(x_0,\varepsilon)$ is mean-convex for all $t\in(t_0-\varepsilon^2,t_0+\varepsilon^2)$. As in the case $n=2$, which was resolved by the first three authors in arXiv:1810.08467, the existence of such a mean-convex neighborhood follows from classifying a certain class of ancient Brakke flows that arise as potential blowup limits near a neck singularity. Specifically, we prove that any ancient unit-regular integral Brakke flow with a cylindrical blowdown must be either a round shrinking cylinder, a translating bowl soliton, or an ancient oval. In particular, combined with a prior result of the last two authors, we obtain uniqueness of mean curvature flow through neck singularities.
The main difficulty in addressing the higher dimensional case is in promoting the spectral analysis on the cylinder to global geometric properties of the solution. Most crucially, due to the potential wide variety of self-shrinking flows with entropy lower than the cylinder when $n\geq 3$, smoothness does not follow from the spectral analysis by soft arguments. This precludes the use of the classical moving plane method to derive symmetry. To overcome this, we introduce a novel variant of the moving plane method, which we call "moving plane method without assuming smoothness" - where smoothness and symmetry are established in tandem.
△ Less
Submitted 13 January, 2022; v1 submitted 1 October, 2019;
originally announced October 2019.
-
Ancient low entropy flows, mean convex neighborhoods, and uniqueness
Authors:
Kyeongsu Choi,
Robert Haslhofer,
Or Hershkovits
Abstract:
In this article, we prove the mean convex neighborhood conjecture for the mean curvature flow of surfaces in $\mathbb{R}^3$. Namely, if the flow has a spherical or cylindrical singularity at a space-time point $X=(x,t)$, then there exists a positive $\varepsilon=\varepsilon(X)>0$ such that the flow is mean convex in a space-time neighborhood of size $\varepsilon$ around $X$. The major difficulty i…
▽ More
In this article, we prove the mean convex neighborhood conjecture for the mean curvature flow of surfaces in $\mathbb{R}^3$. Namely, if the flow has a spherical or cylindrical singularity at a space-time point $X=(x,t)$, then there exists a positive $\varepsilon=\varepsilon(X)>0$ such that the flow is mean convex in a space-time neighborhood of size $\varepsilon$ around $X$. The major difficulty is to promote the infinitesimal information about the singularity to a conclusion of macroscopic size. In fact, we prove a more general classification result for all ancient low entropy flows that arise as potential limit flows near $X$. Namely, we prove that any ancient, unit-regular, cyclic, integral Brakke flow in $\mathbb{R}^3$ with entropy at most $\sqrt{2π/e}+δ$ is either a flat plane, a round shrinking sphere, a round shrinking cylinder, a translating bowl soliton, or an ancient oval. As an application, we prove the uniqueness conjecture for mean curvature flow through spherical or cylindrical singularities. In particular, assuming Ilmanen's multiplicity one conjecture, we conclude that for embedded two-spheres the mean curvature flow through singularities is well-posed.
△ Less
Submitted 30 August, 2021; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Low complexity solutions of the Allen-Cahn equation on three-spheres
Authors:
Robert Haslhofer,
Mohammad N. Ivaki
Abstract:
In this short note, we prove that on the three-sphere with any bumpy metric there exist at least four solutions of the Allen-Cahn equation with spherical interface and index at most two. The proof combines several recent results from the literature.
In this short note, we prove that on the three-sphere with any bumpy metric there exist at least four solutions of the Allen-Cahn equation with spherical interface and index at most two. The proof combines several recent results from the literature.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Brownian motion on Perelman's almost Ricci-flat manifold
Authors:
Esther Cabezas-Rivas,
Robert Haslhofer
Abstract:
We study Brownian motion and stochastic parallel transport on Perelman's almost Ricci flat manifold $\mathscr M=M\times \mathbb S^N\times I$, whose dimension depends on a parameter $N$ unbounded from above. We construct sequences of projected Brownian motions and stochastic parallel transports which for $N \to \infty$ converge to the corresponding objects for the Ricci flow. In order to make preci…
▽ More
We study Brownian motion and stochastic parallel transport on Perelman's almost Ricci flat manifold $\mathscr M=M\times \mathbb S^N\times I$, whose dimension depends on a parameter $N$ unbounded from above. We construct sequences of projected Brownian motions and stochastic parallel transports which for $N \to \infty$ converge to the corresponding objects for the Ricci flow. In order to make precise this process of passing to the limit, we study the martingale problems for the Laplace operator on $\mathscr M$ and for the horizontal Laplacian on the orthonormal frame bundle $\mathscr{OM}$ .
As an application, we see how the characterizations of two-sided bounds on the Ricci curvature established by A. Naber applied to Perelman's manifold lead to the inequalities that characterize solutions of the Ricci flow discovered by Naber and the second author.
△ Less
Submitted 21 December, 2017;
originally announced December 2017.
-
Diameter and curvature control under mean curvature flow
Authors:
Panagiotis Gianniotis,
Robert Haslhofer
Abstract:
We prove that for the mean curvature flow of two-convex hypersurfaces the intrinsic diameter stays uniformly controlled as one approaches the first singular time. We also derive sharp $L^{n-1}$-estimates for the regularity scale of the level set flow with two-convex initial data. Our proof relies on a detailed analysis of cylindrical regions ($\varepsilon$-tubes) under mean curvature flow. The res…
▽ More
We prove that for the mean curvature flow of two-convex hypersurfaces the intrinsic diameter stays uniformly controlled as one approaches the first singular time. We also derive sharp $L^{n-1}$-estimates for the regularity scale of the level set flow with two-convex initial data. Our proof relies on a detailed analysis of cylindrical regions ($\varepsilon$-tubes) under mean curvature flow. The results are new even in the most classical case of mean convex surfaces evolving by mean curvature flow in $\mathbb{R}^3$.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Minimal two-spheres in three-spheres
Authors:
Robert Haslhofer,
Daniel Ketover
Abstract:
We prove that any manifold diffeomorphic to $S^3$ and endowed with a generic metric contains at least two embedded minimal two-spheres. The existence of at least one minimal two-sphere was obtained by Simon-Smith in 1983. Our approach combines ideas from min-max theory and mean curvature flow. We also establish the existence of smooth mean convex foliations in three manifolds. We apply our methods…
▽ More
We prove that any manifold diffeomorphic to $S^3$ and endowed with a generic metric contains at least two embedded minimal two-spheres. The existence of at least one minimal two-sphere was obtained by Simon-Smith in 1983. Our approach combines ideas from min-max theory and mean curvature flow. We also establish the existence of smooth mean convex foliations in three manifolds. We apply our methods to solve a problem posed by S.T. Yau in 1987 on whether the planar two-spheres are the only minimal spheres in ellipsoids centered about the origin in $\mathbb{R}^4$. Finally, considering the example of degenerating ellipsoids we show that the assumptions in the multiplicity one conjecture and the equidistribution of widths conjecture are in a certain sense sharp.
△ Less
Submitted 6 September, 2017; v1 submitted 22 August, 2017;
originally announced August 2017.
-
The moduli space of two-convex embedded tori
Authors:
Reto Buzano,
Robert Haslhofer,
Or Hershkovits
Abstract:
In this short article we investigate the topology of the moduli space of two-convex embedded tori $S^{n-1}\times S^1\subset \mathbb{R}^{n+1}$. We prove that for $n \geq 3$ this moduli space is path-connected, and that for $n = 2$ the connected components of the moduli space are in bijective correspondence with the knot classes associated to the embeddings. Our proof uses a variant of mean curvatur…
▽ More
In this short article we investigate the topology of the moduli space of two-convex embedded tori $S^{n-1}\times S^1\subset \mathbb{R}^{n+1}$. We prove that for $n \geq 3$ this moduli space is path-connected, and that for $n = 2$ the connected components of the moduli space are in bijective correspondence with the knot classes associated to the embeddings. Our proof uses a variant of mean curvature flow with surgery developed in our earlier article (arXiv:1607.05604) where neck regions are deformed to tiny strings instead of being cut out completely, an approach which preserves the global topology, embeddedness, as well as two-convexity.
△ Less
Submitted 6 March, 2017;
originally announced March 2017.
-
Ricci Curvature and Bochner Formulas for Martingales
Authors:
Robert Haslhofer,
Aaron Naber
Abstract:
We generalize the classical Bochner formula for the heat flow on M to martingales on the path space PM, and develop a formalism to compute evolution equations for martingales on path space. We see that our Bochner formula on PM is related to two sided bounds on Ricci curvature in much the same manner that the classical Bochner formula on M is related to lower bounds on Ricci curvature. Using this…
▽ More
We generalize the classical Bochner formula for the heat flow on M to martingales on the path space PM, and develop a formalism to compute evolution equations for martingales on path space. We see that our Bochner formula on PM is related to two sided bounds on Ricci curvature in much the same manner that the classical Bochner formula on M is related to lower bounds on Ricci curvature. Using this formalism, we obtain new characterizations of bounded Ricci curvature, new gradient estimates for martingales on path space, new Hessian estimates for martingales on path space, and streamlined proofs of the previous characterizations of bounded Ricci curvature of the second author (arXiv:1306.6512).
△ Less
Submitted 15 August, 2016;
originally announced August 2016.
-
The moduli space of two-convex embedded spheres
Authors:
Reto Buzano,
Robert Haslhofer,
Or Hershkovits
Abstract:
We prove that the moduli space of 2-convex embedded n-spheres in R^{n+1} is path-connected for every n. Our proof uses mean curvature flow with surgery and can be seen as an extrinsic analog to Marques' influential proof of the path-connectedness of the moduli space of positive scalar curvature metics on three-manifolds.
We prove that the moduli space of 2-convex embedded n-spheres in R^{n+1} is path-connected for every n. Our proof uses mean curvature flow with surgery and can be seen as an extrinsic analog to Marques' influential proof of the path-connectedness of the moduli space of positive scalar curvature metics on three-manifolds.
△ Less
Submitted 28 November, 2017; v1 submitted 19 July, 2016;
originally announced July 2016.
-
Singularities of mean convex level set flow in general ambient manifolds
Authors:
Robert Haslhofer,
Or Hershkovits
Abstract:
We prove two new estimates for the level set flow of mean convex domains in Riemannian manifolds. Our estimates give control - exponential in time - for the infimum of the mean curvature, and the ratio between the norm of the second fundamental form and the mean curvature. In particular, the estimates remove a stumbling block that has been left after the work of White and Haslhofer-Kleiner, and th…
▽ More
We prove two new estimates for the level set flow of mean convex domains in Riemannian manifolds. Our estimates give control - exponential in time - for the infimum of the mean curvature, and the ratio between the norm of the second fundamental form and the mean curvature. In particular, the estimates remove a stumbling block that has been left after the work of White and Haslhofer-Kleiner, and thus allow us to extend the structure theory for mean convex level set flow to general ambient manifolds of arbitrary dimension.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
Weak solutions for the Ricci flow I
Authors:
Robert Haslhofer,
Aaron Naber
Abstract:
This is the first of a series of papers, where we introduce a new class of estimates for the Ricci flow, and use them both to characterize solutions of the Ricci flow and to provide a notion of weak solutions to the Ricci flow in the nonsmooth setting. In this first paper, we prove various new estimates for the Ricci flow, and show that they in fact characterize solutions of the Ricci flow. Namely…
▽ More
This is the first of a series of papers, where we introduce a new class of estimates for the Ricci flow, and use them both to characterize solutions of the Ricci flow and to provide a notion of weak solutions to the Ricci flow in the nonsmooth setting. In this first paper, we prove various new estimates for the Ricci flow, and show that they in fact characterize solutions of the Ricci flow. Namely, given a family $(M,g_t)_{t\in I}$ of Riemannian manifolds, we consider the path space $P\mathcal{M}$ of its space time $\mathcal{M}=M\times I$. Our first characterization says that $(M,g_t)_{t\in I}$ evolves by Ricci flow if and only if an infinite dimensional gradient estimate holds for all functions on $P\mathcal{M}$. We prove additional characterizations in terms of the $C^{1/2}$-regularity of martingales on path space, as well as characterizations in terms of log-Sobolev and spectral gap inequalities for a family of Ornstein-Uhlenbeck type operators. Our estimates are infinite dimensional generalizations of much more elementary estimates for the linear heat equation on $(M,g_t)_{t\in I}$, which themselves generalize the Bakry-Emery-Ledoux estimates for spaces with lower Ricci curvature bounds. Based on our characterizations we can define a notion of weak solutions for the Ricci flow. We will develop the structure theory of these weak solutions in subsequent papers.
△ Less
Submitted 3 April, 2015;
originally announced April 2015.
-
Uniqueness of the bowl soliton
Authors:
Robert Haslhofer
Abstract:
We prove that any translating soliton for the mean curvature flow which is noncollapsed and uniformly 2-convex must be the rotationally symmetric bowl soliton. In particular, this proves a conjecture of White and Wang, in the 2-convex case in arbitrary dimension.
We prove that any translating soliton for the mean curvature flow which is noncollapsed and uniformly 2-convex must be the rotationally symmetric bowl soliton. In particular, this proves a conjecture of White and Wang, in the 2-convex case in arbitrary dimension.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
A note on the compactness theorem for 4d Ricci shrinkers
Authors:
Robert Haslhofer,
Reto Müller
Abstract:
In arXiv:1005.3255 we proved an orbifold Cheeger-Gromov compactness theorem for complete 4d Ricci shrinkers with a lower bound for the entropy, an upper bound for the Euler characterisic, and a lower bound for the gradient of the potential at large distances. In this note, we show that the last two assumptions in fact can be removed. The key ingredient is a recent estimate of Cheeger-Naber arXiv:1…
▽ More
In arXiv:1005.3255 we proved an orbifold Cheeger-Gromov compactness theorem for complete 4d Ricci shrinkers with a lower bound for the entropy, an upper bound for the Euler characterisic, and a lower bound for the gradient of the potential at large distances. In this note, we show that the last two assumptions in fact can be removed. The key ingredient is a recent estimate of Cheeger-Naber arXiv:1406.6534.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Lectures on mean curvature flow
Authors:
Robert Haslhofer
Abstract:
A family of hypersurfaces evolves by mean curvature flow if the velocity at each point is given by the mean curvature vector. Mean curvature flow is the most natural evolution equation in extrinsic geometry, and has been extensively studied ever since the pioneering work of Brakke and Huisken. In the last 15 years, White developed a far-reaching regularity and structure theory for mean convex mean…
▽ More
A family of hypersurfaces evolves by mean curvature flow if the velocity at each point is given by the mean curvature vector. Mean curvature flow is the most natural evolution equation in extrinsic geometry, and has been extensively studied ever since the pioneering work of Brakke and Huisken. In the last 15 years, White developed a far-reaching regularity and structure theory for mean convex mean curvature flow, and Huisken-Sinestrari constructed a flow with surgery for two-convex hypersurfaces. In this course, I first give a general introduction to the mean curvature flow of hypersurfaces and then present joint work with Bruce Kleiner, where we give a streamlined and unified treatment of the theory of White and Huisken-Sinestrari. These notes are from summer schools at KIAS Seoul and SNS Pisa.
△ Less
Submitted 30 June, 2014;
originally announced June 2014.
-
Mean curvature flow with surgery
Authors:
Robert Haslhofer,
Bruce Kleiner
Abstract:
We give a new proof for the existence of mean curvature flow with surgery of 2-convex hypersurfaces in $R^N$, as announced in arXiv:1304.0926. Our proof works for all $N \geq 3$, including mean convex surfaces in $R^3$. We also derive a priori estimates for a more general class of flows in a local and flexible setting.
We give a new proof for the existence of mean curvature flow with surgery of 2-convex hypersurfaces in $R^N$, as announced in arXiv:1304.0926. Our proof works for all $N \geq 3$, including mean convex surfaces in $R^3$. We also derive a priori estimates for a more general class of flows in a local and flexible setting.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
On Brendle's estimate for the inscribed radius under mean curvature flow
Authors:
Robert Haslhofer,
Bruce Kleiner
Abstract:
In a recent paper, Brendle proved that the inscribed radius of closed embedded mean convex hypersurfaces moving by mean curvature flow is at least 1/((1+δ)H) at all points with H > C(δ,M_0). In this note, we give a shorter proof of Brendle's estimate, and of a more general result for alpha-Andrews flows, based on our recent estimates from Haslhofer-Kleiner.
In a recent paper, Brendle proved that the inscribed radius of closed embedded mean convex hypersurfaces moving by mean curvature flow is at least 1/((1+δ)H) at all points with H > C(δ,M_0). In this note, we give a shorter proof of Brendle's estimate, and of a more general result for alpha-Andrews flows, based on our recent estimates from Haslhofer-Kleiner.
△ Less
Submitted 12 September, 2013;
originally announced September 2013.
-
Ancient solutions of the mean curvature flow
Authors:
Robert Haslhofer,
Or Hershkovits
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 August, 2013;
originally announced August 2013.
-
Quantitative Stratification and the Regularity of Harmonic Map Flow
Authors:
Jeff Cheeger,
Robert Haslhofer,
Aaron Naber
Abstract:
In this paper, we prove estimates and quantitative regularity results for the harmonic map flow. First, we consider H^1_loc-maps u defined on a parabolic ball P\subset M\times R and with target manifold N, that have bounded Dirichlet-energy and Struwe-energy. We define a quantitative stratification, which groups together points in the domain into quantitative weakly singular strata S^j_{η,r}(u) ac…
▽ More
In this paper, we prove estimates and quantitative regularity results for the harmonic map flow. First, we consider H^1_loc-maps u defined on a parabolic ball P\subset M\times R and with target manifold N, that have bounded Dirichlet-energy and Struwe-energy. We define a quantitative stratification, which groups together points in the domain into quantitative weakly singular strata S^j_{η,r}(u) according to the number of approximate symmetries of u at certain scales, and prove that their tubular neighborhoods have small volume, namely Vol(T_r(\cS^j_{η,r}(u))< Cr^{m+2-j-\eps}. In particular, this generalizes the known Hausdorff estimate dim S^j(u)< j for the weakly singular strata of suitable weak solutions of the harmonic map flow. As an application, specializing to Chen-Struwe solutions with target manifolds that do not admit certain harmonic and quasi-harmonic spheres, we obtain refined Minkowski estimates for the singular set. This generalizes a result of Lin-Wang. We also obtain L^p-estimates for the reciprocal of the regularity scale. The results are analogous to our results for mean curvature flow that we recently proved.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Mean curvature flow of mean convex hypersurfaces
Authors:
Robert Haslhofer,
Bruce Kleiner
Abstract:
In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and…
▽ More
In the last 15 years, White and Huisken-Sinestrari developed a far-reaching structure theory for the mean curvature flow of mean convex hypersurfaces. Their papers provide a package of estimates and structural results that yield a precise description of singularities and of high curvature regions in a mean convex flow. In the present paper, we give a new treatment of the theory of mean convex (and k-convex) flows. This includes: (1) an estimate for derivatives of curvatures, (2) a convexity estimate, (3) a cylindrical estimate, (4) a global convergence theorem, (5) a structure theorem for ancient solutions, and (6) a partial regularity theorem. Our new proofs are both more elementary and substantially shorter than the original arguments. Our estimates are local and universal. A key ingredient in our new approach is the new non- collapsing result of Andrews. Some parts are also inspired by the work of Perelman. In a forthcoming paper, we will give a new construction of mean curvature flow with surgery based on the theorems established in the present paper.
△ Less
Submitted 13 April, 2014; v1 submitted 3 April, 2013;
originally announced April 2013.
-
Dynamical stability and instability of Ricci-flat metrics
Authors:
Robert Haslhofer,
Reto Müller
Abstract:
In this short article, we improve the dynamical stability and instability results for Ricci-flat metrics under Ricci flow proved by Sesum and Haslhofer, getting rid of the integrability assumption.
In this short article, we improve the dynamical stability and instability results for Ricci-flat metrics under Ricci flow proved by Sesum and Haslhofer, getting rid of the integrability assumption.
△ Less
Submitted 14 January, 2013;
originally announced January 2013.
-
Quantitative Stratification and the Regularity of Mean Curvature Flow
Authors:
Jeff Cheeger,
Robert Haslhofer,
Aaron Naber
Abstract:
Let $\cM$ be a Brakke flow of $n$-dimensional surfaces in $R^N$. The singular set $\cS\subset\cM$ has a stratification $\cS^0\subset\cS^1\subset...\cS$, where $X\in \cS^j$ if no tangent flow at $X$ has more than $j$ symmetries. Here, we define quantitative singular strata $\cS^j_{η,r}$ satisfying $\cup_{η>0}\cap_{0<r} \cS^j_{η,r}=\cS^j$. Sharpening the known parabolic Hausdorff dimension bound…
▽ More
Let $\cM$ be a Brakke flow of $n$-dimensional surfaces in $R^N$. The singular set $\cS\subset\cM$ has a stratification $\cS^0\subset\cS^1\subset...\cS$, where $X\in \cS^j$ if no tangent flow at $X$ has more than $j$ symmetries. Here, we define quantitative singular strata $\cS^j_{η,r}$ satisfying $\cup_{η>0}\cap_{0<r} \cS^j_{η,r}=\cS^j$. Sharpening the known parabolic Hausdorff dimension bound $\dim \cS^j\leq j$, we prove the effective Minkowski estimates that the volume of $r$-tubular neighborhoods of $\cS^j_{η,r}$ satisfies $\Vol (T_r(\cS^j_{η,r})\cap B_1)\leq Cr^{N+2-j-\varepsilon}$. Our primary application of this is to higher regularity of Brakke flows starting at $k$-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of $k$-convex hypersurfaces, any backwards selfsimilar limit flow with at least $k$ symmetries is in fact a static multiplicity one plane. Then, denoting by $\cB_r\subset\cM$ the set of points with regularity scale less than $r$, we prove that $\Vol(T_r(\cB_r))\leq C r^{n+4-k-\varepsilon}$. This gives $L^p$-estimates for the second fundamental form for any $p<n+1-k$. In fact, the estimates are much stronger and give $L^p$-estimates for the inverse of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (arXiv:1103.1819v3) and Cheeger and Naber (arXiv:1107.3097v1).
△ Less
Submitted 29 October, 2012; v1 submitted 16 July, 2012;
originally announced July 2012.
-
The stability inequality for Ricci-flat cones
Authors:
Stuart Hall,
Robert Haslhofer,
Michael Siepmann
Abstract:
In this article, we thoroughly investigate the stability inequality for Ricci-flat cones. Perhaps most importantly, we prove that the Ricci-flat cone over CP^2 is stable, showing that the first stable non-flat Ricci-flat cone occurs in the smallest possible dimension. On the other hand, we prove that many other examples of Ricci-flat cones over 4-manifolds are unstable, and that Ricci-flat cones o…
▽ More
In this article, we thoroughly investigate the stability inequality for Ricci-flat cones. Perhaps most importantly, we prove that the Ricci-flat cone over CP^2 is stable, showing that the first stable non-flat Ricci-flat cone occurs in the smallest possible dimension. On the other hand, we prove that many other examples of Ricci-flat cones over 4-manifolds are unstable, and that Ricci-flat cones over products of Einstein manifolds and over Kahler-Einstein manifolds with h^(1,1)>1 are unstable in dimension less than 10. As results of independent interest, our computations indicate that the Page metric and the Chen-LeBrun-Weber metric are unstable Ricci shrinkers. As a final bonus, we give plenty of motivations, and partly confirm a conjecture of Tom Ilmanen relating the lambda-functional, the positive mass theorem and the nonuniqueness of Ricci flow with conical initial data.
△ Less
Submitted 21 November, 2011;
originally announced November 2011.
-
A mass-decreasing flow in dimension three
Authors:
Robert Haslhofer
Abstract:
In this article, we introduce a mass-decreasing flow for asymptotically flat three-manifolds with nonnegative scalar curvature. This flow is defined by iterating a suitable Ricci flow with surgery and conformal rescalings and has a number of nice properties. In particular, wormholes pinch off and nontrivial spherical space forms bubble off in finite time. Moreover, a noncompact variant of the Pere…
▽ More
In this article, we introduce a mass-decreasing flow for asymptotically flat three-manifolds with nonnegative scalar curvature. This flow is defined by iterating a suitable Ricci flow with surgery and conformal rescalings and has a number of nice properties. In particular, wormholes pinch off and nontrivial spherical space forms bubble off in finite time. Moreover, a noncompact variant of the Perelman-energy is monotone along the flow. Assuming a certain inequality between the mass and this Perelman-energy a priori, we can prove that the flow squeezes out all the initial mass.
△ Less
Submitted 17 November, 2011; v1 submitted 16 July, 2011;
originally announced July 2011.
-
A renormalized Perelman-functional and a lower bound for the ADM-mass
Authors:
Robert Haslhofer
Abstract:
In the first part of this short article, we define a renormalized F-functional for perturbations of non-compact steady Ricci solitons. This functional motivates a stability inequality which plays an important role in questions concerning the regularity of Ricci-flat spaces and the non-uniqueness of the Ricci flow with conical initial data. In the second part, we define a geometric invariant lambda…
▽ More
In the first part of this short article, we define a renormalized F-functional for perturbations of non-compact steady Ricci solitons. This functional motivates a stability inequality which plays an important role in questions concerning the regularity of Ricci-flat spaces and the non-uniqueness of the Ricci flow with conical initial data. In the second part, we define a geometric invariant lambda_AF for asymptotically flat manifolds with nonnegative scalar curvature. This invariant gives a quantitative lower bound for the ADM-mass from general relativity, motivates a Ricci flow proof of the rigidity statement in the positive mass theorem, and eventually leads to the discovery of a mass decreasing flow in dimension three.
△ Less
Submitted 14 March, 2011; v1 submitted 6 January, 2011;
originally announced January 2011.
-
A compactness theorem for complete Ricci shrinkers
Authors:
Robert Haslhofer,
Reto Müller
Abstract:
We prove precompactness in an orbifold Cheeger-Gromov sense of complete gradient Ricci shrinkers with a lower bound on their entropy and a local integral Riemann bound. We do not need any pointwise curvature assumptions, volume or diameter bounds. In dimension four, under a technical assumption, we can replace the local integral Riemann bound by an upper bound for the Euler characteristic. The pro…
▽ More
We prove precompactness in an orbifold Cheeger-Gromov sense of complete gradient Ricci shrinkers with a lower bound on their entropy and a local integral Riemann bound. We do not need any pointwise curvature assumptions, volume or diameter bounds. In dimension four, under a technical assumption, we can replace the local integral Riemann bound by an upper bound for the Euler characteristic. The proof relies on a Gauss-Bonnet with cutoff argument.
△ Less
Submitted 2 August, 2011; v1 submitted 18 May, 2010;
originally announced May 2010.
-
Perelman's lambda-functional and the stability of Ricci-flat metrics
Authors:
Robert Haslhofer
Abstract:
In this article, we introduce a new method (based on Perelman's lambda-functional) to study the stability of compact Ricci-flat metrics. Under the assumption that all infinitesimal Ricci-flat deformations are integrable we prove: (A) a Ricci-flat metric is a local maximizer of lambda in a C^2,alpha-sense iff its Lichnerowicz Laplacian is nonpositive, (B) lambda satisfies a Lojasiewicz-Simon gradie…
▽ More
In this article, we introduce a new method (based on Perelman's lambda-functional) to study the stability of compact Ricci-flat metrics. Under the assumption that all infinitesimal Ricci-flat deformations are integrable we prove: (A) a Ricci-flat metric is a local maximizer of lambda in a C^2,alpha-sense iff its Lichnerowicz Laplacian is nonpositive, (B) lambda satisfies a Lojasiewicz-Simon gradient inequality, (C) the Ricci flow does not move excessively in gauge directions. As consequences, we obtain a rigidity result, a new proof of Sesum's dynamical stability theorem, and a dynamical instability theorem.
△ Less
Submitted 14 November, 2011; v1 submitted 24 March, 2010;
originally announced March 2010.