[论文解读] Mean curvature flow with generic initial data

Otis Chodosh, Kyeongsu Choi+2 more|arXiv (Cornell University)|Mar 31, 2020

Geometric Analysis and Curvature Flows参考文献 81被引用 7

一句话总结

该论文证明了在 $[\mathbb{R}^3$ 中，具有典型初始数据的平均曲率流会避开渐近锥形的和非球对称的紧致奇点，并且在 $[\mathbb{R}^4$ 中，典型低熵超曲面会光滑演化直至收缩为一个标准点。关键技术进展是关于位于渐近锥形或紧致收缩解单侧的古老流的唯一性结果，该结果表明在典型条件下仅会出现多重性为一的球对称或柱面对称奇点。

ABSTRACT

We show that the mean curvature flow of generic closed surfaces in $\mathbb{R}^{3}$ avoids asymptotically conical and non-spherical compact singularities. We also show that the mean curvature flow of generic closed low-entropy hypersurfaces in $\mathbb{R}^{4}$ is smooth until it disappears in a round point. The main technical ingredient is a long-time existence and uniqueness result for ancient mean curvature flows that lie on one side of asymptotically conical or compact shrinking solitons.

研究动机与目标

• 解决 Huisken 的猜想：即在 $[\mathbb{R}^3$ 中，典型平均曲率流仅会遇到球对称和柱面对称奇点。
• 证明在 $[\mathbb{R}^4$ 中，典型低熵超曲面会光滑演化直至以标准点形式消失。
• 建立关于位于渐近锥形或紧致收缩解单侧的古老平均曲率流的唯一性结果。
• 通过典型性标准点奇点的存在，直接证明低熵 Schoenflies 猜想。
• 证明线性不稳定的奇点模型——如非柱面对称或非球对称的紧致奇点——在初始数据的小扰动下可被避免。

提出的方法

• 作者提出了一项新的分类结果：对于任意光滑渐近锥形或紧致自缩小时，存在唯一一个古老平均曲率流，其位于 $[\sqrt{-t}\Sigma$ 的单侧，对所有 $t<0$ 成立。
• 他们通过抛物型 PDE 技术与最大值原理论证的结合，证明了此类单侧古老流的长期存在性与唯一性。
• 该方法依赖于在收缩解附近分析线性化重缩放流方程，并建立光滑古老重缩放流的动力学行为。
• 一个关键要素是局部化的拓扑单调性论证，扩展了 Ecker–Huisken 和 Ilmanen 的技术，以控制水平集的拓扑结构。
• 证明使用了弱集流框架，避免使用 Brakke 流，转而采用经典与古老流技术。
• 在初始曲面两侧构造辅助流，以追踪拓扑与几何演化，从而通过避免非球对称奇点实现泛化性论证。

实验结果

研究问题

• RQ1 在 $[\mathbb{R}^3$ 中，具有典型初始数据的平均曲率流能否避开非球对称和非柱面对称的紧致奇点？
• RQ2 在 $[\mathbb{R}^4$ 中，低熵超曲面在典型初始条件下是否会光滑演化直至坍缩为标准点？
• RQ3 是否存在唯一一个古老平均曲率流，其位于给定渐近锥形或紧致收缩解的单侧？
• RQ4 通过典型初始数据，能否避免出现多重性 $\geq 2$ 或非平凡柱面端部的奇点？
• RQ5 线性不稳定的奇点模型——如非球对称紧致奇点或渐近锥形奇点——在典型流中出现的范围有多大？

主要发现

• 在 $[\mathbb{R}^3$ 中，典型闭嵌入曲面的平均曲率流会避开所有渐近锥形的和非球对称的紧致奇点。
• 对于 $[\mathbb{R}^4$ 中的典型低熵超曲面，流在坍缩为标准点前始终保持光滑，从而直接证实了低熵 Schoenflies 猜想。
• 对于任意光滑渐近锥形或紧致自缩小时 $[\Sigma$，存在唯一一个古老平均曲率流，其位于单侧，且仅表现出多重性为一的球对称或柱面对称奇点。
• 由该唯一古老解产生的流在达到奇点前保持光滑，且此类奇点为球对称或柱面对称。
• 该结果表明，非典型奇点——如多重性 $\geq 2$ 或非柱面端部的奇点——在初始数据的小扰动下可被避免。
• 该证明表明，典型流中可能出现的奇点仅限于 Huisken 猜想所预测的类型：球对称和柱面对称奇点。