Otis Chodosh,J.M. Daniels-Holgate,Felix Schulze
Abstract:We prove Ilmanen's resolution of point singularities conjecture by establishing short-time smoothness of the level set flow of a smooth hypersurface with isolated conical singularities. This shows how the mean curvature flow evolves through asymptotically conical singularities.
Precisely, we prove that the level set flow of a smooth hypersurface $M^n\subset \mathbb{R}^{n+1}$, $2\leq n\leq 6$, with an isolated conical singularity is modeled on the level set flow of the cone. In particular, the flow fattens (instantaneously) if and only if the level set flow of the cone fattens.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to evolve the Mean Curvature Flow (MCF) through isolated conical singularities on a smooth hypersurface. Specifically, the authors prove Ilmanen's point - singularity resolution conjecture, that is, on a smooth hypersurface with isolated conical singularities, the Level Set Flow is smooth in a short time, and how this flow evolves through asymptotic conical singularities.
### Main Contributions
1. **Smoothness in a short time**: The paper proves that the level - set flow of a smooth hypersurface \( M^n\subset\mathbb{R}^{n + 1}\) with isolated conical singularities is smooth in a short time. This shows that the mean curvature flow can evolve through asymptotic conical singularities.
2. **Expansion property**: The paper proves that the level - set flow will immediately fatten under certain conditions, and this expansion is consistent with the level - set flow expansion property of conical singularities. Specifically, if the level - set flow of a conical singularity expands, then the level - set flow of the hypersurface will also immediately expand; and vice versa.
3. **Uniqueness**: The paper also proves that under certain conditions, two outermost flows starting from the same initial condition will be the same in a short time, and these flows are smooth.
### Key Theorems
- **Theorem 1.1 (Expansion Dichotomy)**: For \(2\leq n\leq6\), assume that \(M^n\subset\mathbb{R}^{n + 1}\) is a smooth hypersurface with isolated conical singularities, which is modeled on a smooth cone \(C\). Then, the level - set flow of \(M\) will immediately expand if and only if the level - set flow of \(C\) expands.
- **Theorem 1.1 (Structure Theorem)**: For \(2\leq n\leq6\), assume that \(M^n\subset\mathbb{R}^{n + 1}\) is a smooth hypersurface with isolated conical singularities, which is modeled on a smooth cone \(C\). Then there exists \(T>0\) such that the outermost mean curvature flow of \(M\) is smooth for \(t\in(0, T)\). Moreover, \(t^{- 1/2}F_t(M)\) converges to \(F_1(C)\) in the local Hausdorff sense as \(t\rightarrow0\).
- **Theorem 1.3 (Canonical Neighborhood Theorem)**: For \(2\leq n\leq6\), assume that \(M^n\subset\mathbb{R}^{n + 1}\) is a smooth hypersurface with isolated conical singularities, which is modeled on a smooth cone \(C\). Then, \(t^{-1/2}M(t)\) (or \(t^{-1/2}M'(t)\)) converges locally smoothly to \(\Sigma\) (or \(\Sigma'\)) as \(t\rightarrow0\).
- **Theorem 1.4 (Uniqueness)**: For \(2\leq n\leq6\), assume that \(M^n\subset\mathbb{R}^{n + 1}\) is a smooth hypersurface with isolated conical singularities, which is modeled on a non - expanding smooth cone \(C\). Then there exists \(T>0\) such that the outermost flow of \(M\) is the same and smooth for \(t\in(0, T)\).
### Method Overview
The authors adopt a completely different method to avoid the use of forward monotonicity. They construct barrier functions to push the outermost flow onto the outermost expanders. Through these barrier functions, they prove that the local behavior of the level - set flow is consistent with the level - set flow of conical singularities, thus solving Ilmanen's point - singularity resolution conjecture.
### Related Work
The paper also reviews the research on the expansion and non - expansion of conical singularities, as well as the recent research on asymptotic conical expanders. These studies provide important background and theoretical support for the work in this paper.