TY - JOUR

T1 - Ancient asymptotically cylindrical flows and applications

AU - Choi, Kyeongsu

AU - Haslhofer, Robert

AU - Hershkovits, Or

AU - White, Brian

N1 - Funding Information: KC has been partially supported by NSF Grant DMS-1811267 and KIAS Individual Grant MG078901. RH has been partially supported by an NSERC Discovery Grant (RGPIN-2016-04331) and a Sloan Research Fellowship. OH has been partially supported by a Koret Foundation early career scholar award, and by an AMS-Simons travel grant. BW has been partially supported by NSF Grant DMS-1711293. We thank the referees for very detailed and helpful comments. Publisher Copyright: © 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2022/2

Y1 - 2022/2

N2 - In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in Rn+1 for all n≥ 3 : we show that if a mean curvature flow { Mt} in Rn+1 has an Sn-1× R singularity at (x, t) , then there exists an ε= ε(x, t) > 0 such that Mt∩ B(x, ε) is mean-convex for all t∈ (t- ε2, t+ ε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.

AB - In this paper, we prove the mean-convex neighborhood conjecture for neck singularities of the mean curvature flow in Rn+1 for all n≥ 3 : we show that if a mean curvature flow { Mt} in Rn+1 has an Sn-1× R singularity at (x, t) , then there exists an ε= ε(x, t) > 0 such that Mt∩ B(x, ε) is mean-convex for all t∈ (t- ε2, t+ ε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.

UR - http://www.scopus.com/inward/record.url?scp=85124237579&partnerID=8YFLogxK

U2 - https://doi.org/10.1007/s00222-022-01103-2

DO - https://doi.org/10.1007/s00222-022-01103-2

M3 - Article

SN - 0020-9910

VL - 229

SP - 139

EP - 241

JO - Inventiones Mathematicae

JF - Inventiones Mathematicae

IS - 1

ER -