[論文レビュー] Singularities of codimension two mean curvature flow of symplectic surfaces

Jingyi Chen, Jiayu Li|ArXiv.org|Aug 29, 2002

Geometry and complex manifolds参考文献 26被引用数 4

ひとこと要約

この論文は、ケーラー・アインシュタイン多様体内のコンパクトなシンプレクティック超曲面の平均曲率フローにおけるタイプII特異点を調査する。時間に依存するスケーリングを用いて、最初の特異時刻における接錐が ℝ⁴ 内の複素2次元平面の有限個の和集合であることを証明し、ブ low-up極限の正則性と平坦性を確立する。これによりタイプI特異点が排除され、フローの漸近的構造の剛性が裏付けられる。

ABSTRACT

We prove that for a mean curvature flow of a compact symplectic surface in a compact Kaehler-Einstein surface, the tangent cone at the first blow-up time consists of a finite union of more than two 2-planes in $R^4$ which are complex in a complex structure on $R^4$.

研究の動機と目的

• コンパクトなシンプレクティック超曲面のケーラー・アインシュタイン多様体内における平均曲率フローのタイプII特異点の構造を理解すること。
• 時間に依存するスケーリングを用いて、最初の特異時刻に生じる接錐を分類すること。
• このような接錐が平坦で正則的である、すなわち ℝ⁴ 内の複素2次元平面の有限個の和集合であることを証明すること。
• この設定においてタイプI特異点が存在しないことを示し、フローの長期的挙動がタイプIIのブロー・アップに支配されることを確認すること。

提案手法

• 時間に依存するスケーリングとして $ \widetilde{F}(\cdot,s) = \frac{1}{\sqrt{2(T-t)}}F(\cdot,t) $ と $ s = -\frac{1}{2}\log(T-t) $ を用い、最初の特異時刻 $ T $ 近傍でのフローを分析する。
• スケーリングされた曲面における単調性恒等式と等周不等式を用いて、面積の増加と平均曲率の減衰を制御する。
• 測度 $ \widetilde{\mu}_{s_k} \rightharpoonup \widetilde{\mu}_\infty $ の弱収束性（$ k \to \infty $）を証明し、接錐の極限の存在を保証する。
• 密度 $ \lim_{\rho \to 0} \rho^{-2} \widetilde{\mu}_\infty(B_\rho(\xi)) $ に対する下界と上界を確立し、これらが正かつ有限であることを示す。
• プリエスの可解性定理を適用して、極限 $ \widetilde{\Sigma}_\infty $ が $ \mathcal{H}^2 $-可解であることを結論づける。
• 極限の正則性と第二基本形式の平坦性を組み合わせて、$ \widetilde{\Sigma}_\infty $ が ℝ⁴ 内の複素2次元平面の有限個の和集合であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなシンプレクティック超曲面のケーラー・アインシュタイン多様体内における平均曲率フローの最初の特異時刻における接錐の構造は何か？
• RQ2 時間に依存するスケーリングから得られる接錐が正則的かつ平坦であることを示せるか？
• RQ3 このフローにおいてタイプI特異点が存在しないことは、ブロー・アップ極限に特定の幾何的構造をもたらすか？
• RQ4 単調性と等周推定は、極限測度の密度と正則性をどのように制約するか？
• RQ5 複素構造を備えた ℝ⁴ 内において、極限接錐が複素2次元平面の有限個の和集合として特徴づけられるか？

主な発見

• 時間に依存するスケーリングによって得られる接錐 $ \widetilde{\Sigma}_\infty $ は $ \mathcal{H}^2 $-可解である。
• 任意の $ \mathcal{H}^2 $-ほとんど everywhere な点 $ \xi \in \widetilde{\Sigma}_\infty $ に対して、密度 $ \lim_{\rho \to 0} \rho^{-2} \widetilde{\mu}_\infty(B_\rho(\xi)) $ は正かつ有限である。
• 極限錐の第二基本形式は $ \widetilde{\mathbf{A}}_\infty \equiv 0 $ を満たし、平坦性を示唆する。
• 極限錐 $ \widetilde{\Sigma}_\infty $ は、複素構造を備えた ℝ⁴ 内の複素2次元平面の有限個の和集合である。
• タイプI特異点が発生しないことは、接錐の平坦性と正則性と矛盾するため、そのような状況は成立しない。
• この結果により、フローの漸近的挙動が正則的かつ平坦なモデルに支配されることを裏付け、予想されるシンプレクティック同相問題と整合的である。