[論文レビュー] A Compactness Theorem for the Second Fundamental Form

Andrew A. Cooper|arXiv (Cornell University)|Jun 29, 2010

Geometric Analysis and Curvature Flows参考文献 16被引用数 18

ひとこと要約

本稿では、体積や直径の制約を課さずに、第二基本形式およびその共変微分の有界性のみを用いて、部分多様体のコンパクト性定理を確立する。第二基本形式が一様に有界な浸漬列が幾何学的に極限浸漬に収束することを証明し、平均曲率流れにおける有限時刻特異点の滑らかな特異点モデルの構成を可能にする。

ABSTRACT

In this note we establish several versions of a compactness theorem for submanifolds. In particular we require only bounds on the second fundamental form and do not assume volume or diameter bounds. As an application we prove a compactness theorem for mean curvature flows and use it to construct smooth blow-up limits as singularity models.

研究の動機と目的

• 体積や直径の制約を必要とせず、第二基本形式およびその微分の有界性のみに依存するリーマン的浸漬のコンパクト性定理を確立すること。
• 再パrametrizationの自由度に起因する微分同相写像不変性の問題を克服するため、再パラメータ化の自由度を補正する幾何的収束フレームワークを導入すること。
• コンパクト性結果を応用し、有限時刻特異点を示す平均曲率流れの滑らかなブロー・アップ極限を構成すること。
• 滑らかなブロー・アップ極限が自己収縮流れであることを示し、特異点理論における古典的接線流れ構成と関連付けること。

提案手法

• 周囲多様体をユークリッド空間に埋め込み、プッシュバック計量とホルダーノルムを用いて収束を定義する幾何的収束フレームワークを用いる。
• 極限多様体に背景計量を固定することで、再パラメータ化の自由度を制御するため、修正されたアーベル・アスコリの補題を適用する。
• 特異点の周囲でブロー・アップ手順を用いて、第二基本形式から得られるスケーリング係数を用いて、スケーリング済み浸漬の列を構成する。
• ホイスキーンの単調性公式とタイプI仮定を用いて、スケーリング極限が自己収縮子方程式を満たすことを示す。
• コンパクト集合上で $C^{ ho+1, heta}$ 位相における収束を証明し、極限流れの滑らかさを保証する。
• 滑らかなブロー・アップが接線流れとどのように関係するかを示すために、極限が自己収縮子条件 $ H = -\frac{1}{2} x^\perp $ を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 体積や直径の制約を課さずに、第二基本形式およびその微分の有界性のみに依存する浸漬のコンパクト性定理を確立できるか？
• RQ2 第二基本形式の微分同相写像不変性を克服し、浸漬の幾何的収束を達成するにはどうすればよいか？
• RQ3 有限時刻特異点を示す平均曲率流れの滑らかなブロー・アップを、スケーリング済み流れの極限として構成できるか？
• RQ4 タイプI特異点の滑らかなブロー・アップ極限は、必ず自己収縮流れであるか？
• RQ5 滑らかなブロー・アップ極限は、特異点解析における古典的接線流れとどのように関係するか？

主な発見

• 周囲多様体の曲率と注入口半径に有界性がある条件下で、第二基本形式およびその共変微分が一様に有界な浸漬の列に対して、コンパクト性定理が確立される。
• このような列の極限は、完全なリーマン多様体への $C^{ ho+1, heta}$-滑らかな浸漬として存在し、幾何的 $C^{ ho+1, heta}$ 位相における収束を示す。
• 有限時刻特異点を示す平均曲率流れのブロー・アップは、ユークリッド空間内での滑らかで自己収縮する平均曲率流れをもたらす。
• ブロー・アップ極限は自己収縮子方程式 $ H = -\frac{1}{2} x^\perp $ を満たし、滑らかな特異点モデルであることが確認される。
• この構成により、タイプI特異点の平均曲率流れは、極限において接線流れと等価な滑らかなブロー・アップ極限を持つことが示される。
• この結果は、任意の無限個の正則ホモトピー類の浸漬が、一様に有界な体積と第二基本形式では表現できないことを示唆する。