[論文レビュー] A convergence result of the Lagrangian mean curvature flow

Mu‐Tao Wang|ArXiv.org|Aug 18, 2005

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

ひとこと要約

本稿は、定曲率 $ c = -1, 0, $ または $ 1 $ を持つコンパクトなリーマン面間のシンプレクティック同相写像のグラフ上でのラグランジュ平均曲率流れの滑らかな収束を確立する。$ \int \frac{|H|^2}{\eta} $ を含む新しい積分推定式を導入することで、第二基本形式が一様に有界であることを証明し、従って追加の角度条件を仮定せずに、最小ラグランジュ部分多様体への $ C^\infty $ 収束を保証する。

ABSTRACT

We prove the mean curvature flow of the graph of a symplectomorphism between Riemann surfaces converges smoothly as time approaches infinity.

研究の動機と目的

• 定曲率 $ c = -1, 0, 1 $ を持つコンパクトなリーマン面間のシンプレクティック同相写像のグラフ上でのラグランジュ平均曲率流れの $ C^\infty $ 収束を確立すること。
• 従来の文献で $ c = -1 $ または $ 0 $ の場合に滑らかな収束を達成するために必要とされていた追加の角度条件を排除すること。
• 流れがすべての時間においてグラフィカルかつラグランジュの性質を保ち、最小ラグランジュ部分多様体へ滑らかに収束することを証明すること。
• 平均曲率の減衰を制御し、第二基本形式に一様な有界性を保証する新しい積分推定式を提供すること。

提案手法

• 流れのグラフィカル性およびシンプレクティック性を制御するため、$ \eta = *\omega' $（射影のヤコビアン）の新しい発展方程式を導出する。
• 鍵となる単調性補題を導入：$ \frac{d}{dt}\int_{\Sigma_t} \frac{|H|^2}{\eta} \leq c \int_{\Sigma_t} \frac{|H|^2}{\eta} $ であり、平均曲率エネルギーの減衰を制御する。
• 積分 $ \int \frac{|H|^2}{\eta} $ の単調性と $ \eta $ の下界を用いて、$ t \to \infty $ のとき $ \int |H|^2 \to 0 $ を示し、これにより $ \int |A|^2 \to 0 $ を得る。
• $ \epsilon $-正則性定理と吹き出し解析を用いて特異点の排除と $ |A|^2 $ の一様有界性を確立する。
• 極限流れの議論を適用：$ |A|^2 $ が有界でないならば、吹き出しにより $ \mathbb{R}^2 $ 上の最小面積保存写像が得られ、これは $ |A|(0,0) = 1 $ に矛盾する。
• Schoen と Ni の最小面積保存写像に関する結果を活用し、極限が線形微分同相写像であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 従来の研究で仮定されていた角度条件を除いても、ラグランジュ平均曲率流れは最小ラグランジュ部分多様体へ滑らかに収束するか？
• RQ2 平均曲率の減衰を制御し、第二基本形式に一様有界性を保証する新しい積分推定式を構築できるか？
• RQ3 曲率 $ c = -1 $ または $ 0 $ のリーマン面上のラグランジュグラフ上での流れの $ C^\infty $ 収束は、追加の曲率または角度の仮定なしに達成可能か？
• RQ4 $ \eta $（射影のヤコビアン）は流れの下でどのように振る舞い、グラフィカル性およびシンプレクティック構造にどのように影響を与えるか？

主な発見

• 流れはすべての時間において滑らかに存在し、シンプレクティック同相写像 $ f_t $ のグラフのまま保たれ、ラグランジュ条件が維持される。
• $ c = 1 $ の場合、$ \eta \to 1 $ として一様に収束し、$ \int |H|^2 \to 0 $ となるため、滑らかな収束が保証される。
• $ c = 0 $ の場合、$ \int \frac{|H|^2}{\eta} $ の単調性と $ \eta $ の下界から $ \int |H|^2 \to 0 $ が導かれ、これにより $ |A|^2 $ に一様有界性が得られる。
• $ c = -1 $ の場合、推定式 $ \int \frac{|H|^2}{\eta} \leq K_2 e^{-t} $ により $ \int |H|^2 $ が指数関数的に減衰し、吹き出し解析により $ \mathrm{Radon} $ 測度収束と $ |A|^2 $ の一様有界性が得られる。
• 極限は滑らかな最小ラグランジュ部分多様体であり、吹き出し議論により $ \mathbb{R}^2 $ 上に非自明な最小面積保存写像は存在しないことが示され、$ |A|^2 $ が有界でないという仮定に矛盾する。
• 本結果により、Smoczyk の研究で従来必要とされていた角度条件の必要性が排除され、すべての定曲率ケースにおける滑らかな収束の図式が完成する。