[論文レビュー] 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$ 内の非コンパクトで、厳密に凸で、非崩壊な古代解をすべて分類すること。
• 古代解に対する古典的ベルンシュタイン定理の放物型類似を確立すること。
• 次元 3 のリッチ流れにおけるペレルマンの分類問題の平均曲率流れにおける類似を解決すること。
• このような解の中で唯一のものは、スケーリングおよび周囲等長変換を除いて回転対称なボウルソリトンであることを示すこと。
• 平均凸な平均曲率流れにおける特異点における吹き上がり極限の完全な分類を提供すること。

提案手法

• $t \to -\infty$ の漸近的挙動を解析するため、$M_t = (-t)^{1/2} \bar{M}_{-\log(-t)}$ を用いた古代解のスケーリング。
• スケーリングされた曲面 $\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$ 内の非コンパクトで、厳密に凸で、非崩壊な古代解として唯一のものは、スケーリングおよび周囲等長変換を除いて回転対称なボウルソリトンである。
• スケーリングされた古代解 $\bar{M}_\tau$ は、$\tau \to -\infty$ のとき $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$ 内の閉じた平均凸な平均曲率流れにおける最初の特異時刻におけるすべての吹き上がり極限は、収縮する球面、収縮する円筒、またはボウルソリトンである。