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.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Robert Haslhofer contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
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.
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$.
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.