Ancient asymptotically cylindrical flows and applications

• 成果类型: Article
• 署名作者: Choi, Kyeongsu; Haslhofer, Robert; Hershkovits, Or; White, Brian
• 署名单位: Korea Institute for Advanced Study (KIAS); University of Toronto; Hebrew University of Jerusalem; Stanford University
• 刊物名称: INVENTIONES MATHEMATICAE
• ISSN/ISSBN: 0020-9910
• DOI: 10.1007/s00222-022-01103-2
• 发表日期: 2022
• 页码: 139-241
• 关键词: mean-curvature flow; strong maximum principle; closed hypersurfaces; self-shrinkers; flat chains; uniqueness; SINGULARITIES; REGULARITY; symmetry; varifolds

摘要

In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in R-n(+1) for all n >= 3: we show that if a mean curvature flow {M-t} in Rn+1 has an Sn-1 x R singularity at (x(0), t(0)), then there exists an epsilon = epsilon(x(0), t(0)) > 0 such that M-t boolean AND B(x(0), epsilon) is mean-convex for all t is an element of (t(0)-epsilon(2), t(0)+epsilon(2)). As in the case n = 2, which was resolved by the first three authors in Choi et al. (Acta Math, 2018), 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 (Hershkovits and White in Commun Pure Appl Math 73(3):558-580, 2020), 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 >= 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.