[論文レビュー] Lectures on mean curvature flows in higher codimensions

Mu‐Tao Wang|arXiv (Cornell University)|Apr 17, 2011

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

ひとこと要約

本稿は、4次元の環境空間における2次元の曲面を対象として、高codimensionにおける平均曲率流れ（MCF）の包括的な導入を提供する。吹き上げ極限の分析と重み付きエネルギー汎関数の使用により、第二基本形式の有界性と|H|²の減衰が、さまざまな曲率条件のもとで長時間存在と収束を保証することを証明し、最小曲面への滑らかな収束とグローバル存在を確立する。

ABSTRACT

Mean curvature flows of hypersurfaces have been extensively studied and there are various different approaches and many beautiful results. However, relatively little is known about mean curvature flows of submanifolds of higher codimensions. This notes starts with some basic materials on submanifold geometry, and then introduces mean curvature flows in general dimensions and co-dimensions. The related techniques in the so called "blow-up" analysis are also discussed. At the end, we present some global existence and convergence results for mean curvature flows of two-dimensional surfaces in four-dimensional ambient spaces.

研究の動機と目的

• 高codimensionの部分多様体における部分多様体幾何学と平均曲率流れの基礎的ツールの開発。
• 特に2次元曲面に対して、4次元の環境空間における平均曲率流れの挙動の分析。
• 自然な曲率条件およびエネルギー条件のもとで、流れのグローバル存在と滑らかな収束の確立。
• 特異点を制御し、長時間存在を証明するために、吹き上げ解析と重み付きエネルギー汎関数の適用。
• |H|²の減衰と|II|²の有界性が最小曲面への収束をもたらすことを示すこと。

提案手法

• リーマン接続とリーマン曲率テンソルを用いて、部分多様体上の幾何的構造を定義する。
• 環境接続の直交分解を通じて、第二基本形式および平均曲率ベクトルを導入する。
• 粗いラプラシアンとボッハナー型の恒等式を用いて、|H|²および|II|²の発展方程式を導出する。
• 成長と減衰を制御するため、切断関数ηを用いた重み付きエネルギー汎関数∫|H|²/η dμを採用する。
• 潜在的特異点における吹き上げ解析を実施し、|II|が一様に有界であるR⁴×R上の極限流れを構成する。
• シンプレクティック幾何学とグラフの正則性を用いて、c>0の場合に非自明な極限曲面が存在しないことを排除する。

実験結果

リサーチクエスチョン

• RQ1 R⁴内の2次元曲面の平均曲率流れは、どのような条件下でグローバルに存在し、滑らかに収束するか？
• RQ2 高codimensionにおけるMCFの特異点を制御するために、吹き上げ解析はどのように用いられるか？
• RQ3 重み付きエネルギー汎関数∫|H|²/η dμは、長時間存在を保証するために果たす役割は何か？
• RQ4 長時間流れにおいて|H|²の減衰のもとで、第二基本形式は有界のまま保たれるか？
• RQ5 R⁴内の曲面における極限流れにおいて、幾何的制約（例えば、シンプレクティック同相、正則性）はどのように生じるか？

主な発見

• 4次元の環境空間における2次元曲面の平均曲率流れは、グローバルに存在し、滑らかに収束することが確立された。
• t→∞のとき、第二基本形式は一様に有界のまま保たれ、特異点の発生は生じない。
• c>0の場合、吹き上げ極限は|∂h/∂z|=1を満たす正則グラフであり、|II|≡0でなければ矛盾が生じるため、非自明な特異点は排除される。
• c=0の場合、t→∞のとき∫|H|² dμₜ→0となり、ε-正則性定理により|II|²の一様有界性が示される。
• c<0の場合、指数的減衰∫|H|² dμₜ ≤ Ce⁻ᵗが得られ、吹き上げ極限は線形微分同相でなければならないが、|II|(0,0)=1であれば有界でない場合に矛盾が生じる。
• 流れは滑らかに最小曲面に収束し、極限曲面は平面、あるいはシンプレクティック条件のもとでCの線形像である。