[論文レビュー] Smooth compactness of self-shrinkers

Tobias Colding, William P. Minicozzi|ArXiv.org|Jul 15, 2009

Geometric Analysis and Curvature Flows参考文献 14被引用数 11

ひとこと要約

本稿では、 genus とスケール不変面積成長の上限の下で ℝ³ に埋め込まれた自己収縮体に対する滑らかなコンパクト性定理を確立し、これらの制約を満たす任意の列がコンパクト集合上で滑らかに収束することを証明している。この結果は背理法に依拠しており、L-安定自己収縮体の非存在を用いて極限における特異点を除外し、一般の平均曲率流れにおける特異点の分類において基盤的役割を果たす。

ABSTRACT

We prove a smooth compactness theorem for the space of embedded self-shrinkers in $\RR^3$. Since self-shrinkers model singularities in mean curvature flow, this theorem can be thought of as a compactness result for the space of all singularities and it plays an important role in studying generic mean curvature flow.

研究の動機と目的

• ℝ³ 内の埋め込み自己収縮体について、有界な genus とスケール不変面積成長の下で滑らかなコンパクト性定理を確立すること。
• 平均曲率流れにおけるすべての可能な特異点の空間に対するコンパクト性枠組みを提供すること。
• 自己収縮体の列における非コンパクト性を、幾何的および位相的制約を課すことによって解消すること。
• コンパクト性と安定性の結果を用いて、一般の平均曲率流れの特異点を分類することを支援すること。
• L-安定自己収縮体が存在しないことを証明すること。これは主定理における背理法の根幹をなす。

提案手法

• 背理法を用いる：有界な genus と面積成長を満たす自己収縮体の列が滑らかに収束しないと仮定する。
• Ilmanen のコンパクト性定理を適用して、部分列の極限を抽出し、特異点を有する埋め込み自己収縮体を得る。
• 特異点が多重度 >1 を持つことと Allard の正則性を用いて、極限が L-安定であることを示す。
• 安定性不等式を破るテスト関数を構成することで、L-安定自己収縮体が存在しないことを証明する。
• 演算子 $ L = \Delta - \frac{1}{2}\langle x, \nabla \cdot \rangle $ と $ \langle v, \mathbf{n} \rangle $ の固有関数の性質を用いて矛盾を導出する。
• Stokes の定理と切り取り関数を用いて、特定の関数 $ u = \eta v $ が安定性条件を満たさないことを示し、L-安定性に矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 ℝ³ 内の埋め込み自己収縮体の空間は、genus と面積成長の制約の下でコンパクト化可能か？
• RQ2 L-安定自己収縮体が存在しないことは、自己収縮体の列の極限における特異点の発生を防ぐことを意味するか？
• RQ3 genus とスケール不変面積の上限は、平均曲率流れにおける自己収縮体の幾何にどのように制御を加えるか？
• RQ4 有界な位相的複雑性と制御された体積成長を満たす自己収縮体について、滑らかなコンパクト性を確立できるか？
• RQ5 安定性作用素 $ L $ は、自己収縮体の収束における病理的極限を除外する際に果たす役割は何か？

主な発見

• genus ≤ g かつ任意の R > 0 に対して面積成長が VR² で有界な、ℝ³ 内の滑らかで完備な埋め込み自己収縮体の任意の列は、コンパクト集合上で部分列が滑らかに収束する。
• このような列の極限は、境界がなく、有限な genus を持つ埋め込み自己収縮体である。
• 極限に非自明な特異集合が存在するならば、多重度 >1 であることが示され、これにより極限曲面が L-安定であることが導かれる。
• コンパクト台を持つ関数を構成することで、L-安定自己収縮体が ℝ³ に存在しないことが示された。
• L-安定自己収縮体の非存在は、背理法の根幹を成し、滑らかなコンパクト性定理の証明に不可欠である。
• この結果は、一般の平均曲率流れの特異点の分類を支え、不安定な自己収縮体はエンタルピーを低下させるように摂動可能であることを示唆する。