[论文解读] Uniqueness of convex ancient solutions to mean curvature flow in $\mathbb{R}^3$

Simon Brendle, Kyeongsu Choi|arXiv (Cornell University)|Nov 2, 2017

Geometric Analysis and Curvature Flows参考文献 12被引用 10

一句话总结

本文证明了在 $ℝ^3$ 中，均曲率流的非紧致、严格凸、非坍缩古解具有唯一性，即在缩放和环境等距变换下，唯一满足条件的解是旋转对称的碗状孤立子。证明结合了缩放流的渐近分析、非坍缩估计以及最大值原理论证，表明该解必为平移孤立子，随后通过对称性与刚性结果完成分类。

ABSTRACT

A well-known question of Perelman concerns the classification of noncompact ancient solutions to the Ricci flow in dimension $3$ which have positive sectional curvature and are $κ$-noncollapsed. In this paper, we solve the analogous problem for mean curvature flow in $\mathbb{R}^3$, and prove that the rotationally symmetric bowl soliton is the only noncompact ancient solution of mean curvature flow in $\mathbb{R}^3$ which is strictly convex and noncollapsed.

研究动机与目标

• 对 $ℝ^3$ 中均曲率流的所有非紧致、严格凸、非坍缩古解进行分类。
• 建立古解的抛物型经典 Bernstein 定理的类比。
• 解决三维 Ricci 流中 Perelman 分类问题在均曲率流中的对应问题。
• 证明唯一满足条件的解是旋转对称的碗状孤立子，至多相差缩放和环境等距变换。
• 完成对 $ℝ^3$ 中均凸均曲率流在奇点处爆破极限的完整分类。

提出的方法

• 通过 $M_t = (-t)^{1/2} \bar{M}_{-\log(-t)}$ 对古解进行缩放，以分析 $t \to -\infty$ 时的渐近行为。
• 证明缩放后的曲面 $\bar{M}_\tau$ 在 $C^\infty_{\text{loc}}$ 拓扑下收敛于半径为 $\sqrt{2}$ 的圆柱面。
• 利用非坍缩估计控制无穷远处的几何结构，表明当 $z \to \infty$ 时，有 $r(z,t)r_z(z,t) \to \mathcal{H}^{-1}$。
• 对函数 $\psi^{\delta,s}$ 应用最大值原理论证，建立 $rr_z > \psi^{\delta,s}$，进而推出 $rr_z \geq \mathcal{H}^{-1} - 2\delta$。
• 证明对所有 $r \geq 0$ 和 $t \leq T$，有 $f_t(r,t) = \mathcal{H}$，从而表明该解为平移孤立子。
• 在 $H - \langle \omega, \nu \rangle$ 上应用最大值原理论证，将平移孤立子性质从某点 $\bar{t}$ 推广至所有 $t \leq 0$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^3$ 中，旋转对称的碗状孤立子是否是非紧致、严格凸、非坍缩古解的唯一解？
• RQ2 能否通过缩放和曲率估计，利用古解的渐近行为推导出孤立子结构？
• RQ3 非坍缩条件是否在长时间尺度上强制凸古解的几何结构具有刚性？
• RQ4 能否通过古解分类完成对均凸均曲率流在奇点处爆破极限的分类？
• RQ5 均曲率 $\mathcal{H}$ 在刻画古解在无穷远处渐近轮廓时起什么作用？

主要发现

• 在 $\mathbb{R}^3$ 中，均曲率流的唯一非紧致、严格凸、非坍缩古解是旋转对称的碗状孤立子，至多相差缩放和环境等距变换。
• 当 $\tau \to -\infty$ 时，缩放后的古解 $\bar{M}_\tau$ 在 $C^\infty_{\text{loc}}$ 拓扑下收敛于半径为 $\sqrt{2}$ 的圆柱面。
• 当 $t$ 足够负时，解满足 $r(z,t)r_z(z,t) \geq \frac{1}{2}\mathcal{H}^{-1}$，确保了整体定义的轮廓函数 $f(r,t)$。
• 对所有 $t \leq T$，有 $\lim_{z \to \infty} r(z,t)r_z(z,t) = \mathcal{H}^{-1}$，表明解具有渐近圆柱行为。
• 对所有 $t \leq T$，解成为平移孤立子，且该性质通过最大值原理推广至所有 $t \leq 0$。
• 因此，所有闭合、均凸均曲率流在 $\mathbb{R}^3$ 中首次奇点处的爆破极限均为收缩球面、收缩圆柱面或碗状孤立子。