A note on blowup limits in 3d Ricci flow
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.
Source author record
Robert Haslhofer
Robert Haslhofer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
23works
4topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
23 published item(s)
preprint2022arXiv
Ancient asymptotically cylindrical flows and applications
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.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
On uniqueness and nonuniqueness of ancient ovals
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.
0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv
Ricci limit flows and weak solutions
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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Differential Harnack Inequalities on Path Space
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 $φ:\mathbb{R}^+\to \mathbb{R}$ we will define the $φ$-gradient $\nabla_φF: P_xM\to T_xM$ and the $φ$-Laplacian $Δ_φF =\text{tr}_φ\mathrm{Hess} F:P_xM\to \mathbb{R}$, where $\mathrm{Hess} F$ is the Markovian Hessian and both the gradient and the $φ$-trace are induced by $n$ vector fields naturally associated to $φ$ 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 [Δ_φF]}{E_x [F]}-\frac{E_x [\nabla_φF]^2}{E_x [F]^2} +\frac{n}{2}|| φ||^2\geq 0$$ for each $φ$, 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$.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Heat flow on time-dependent manifolds
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.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Ricci Curvature and Bochner Formulas for Martingales
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).
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Singularities of mean convex level set flow in general ambient manifolds
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.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Weak solutions for the Ricci flow I
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
A note on the compactness theorem for 4d Ricci shrinkers
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Lectures on mean curvature flow
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Mean curvature flow of mean convex hypersurfaces
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Uniqueness of the bowl soliton
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Ancient solutions of the mean curvature flow
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Dynamical stability and instability of Ricci-flat metrics
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On Brendle's estimate for the inscribed radius under mean curvature flow
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.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Quantitative Stratification and the Regularity of Harmonic Map Flow
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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Quantitative Stratification and the Regularity of Mean Curvature Flow
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).
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A compactness theorem for complete Ricci shrinkers
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.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A mass-decreasing flow in dimension three
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.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A renormalized Perelman-functional and a lower bound for the ADM-mass
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.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Perelman's lambda-functional and the stability of Ricci-flat metrics
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.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
The stability inequality for Ricci-flat cones
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.
0 citations0 reviewsNo code linkedOpen access