[論文レビュー] Lecture notes on the Kähler-Ricci flow

Jian Song, Ben Weinkove|arXiv (Cornell University)|Dec 15, 2012

Geometry and complex manifolds参考文献 46被引用数 14

ひとこと要約

この論文は、コンパクトなケーラー多様体上のケーラー・リッチフローについて包括的な紹介を提供し、長時間存在、収束、特異点解析を確立している。有限時刻で特異点を示す表面では、フローがルールド多様体に崩壊し、体積が初期クラスに応じて線形的または二次的に減少することを証明しており、幾何的スurgeryと正則計量を介して最小モデルプログラムと結びついている。

ABSTRACT

These lecture notes give an introduction to the Kahler-Ricci flow. They are based on lectures given by the authors at the conference "Analytic Aspects of Complex Algebraic Geometry", held at the Centre International de Rencontres Mathematiques in Luminy, in February 2011.

研究の動機と目的

• 複素幾何および微分幾何の研究者を対象に、ケーラー・リッチフローの自己完結的な入門を提供すること。
• コンパクトなケーラー多様体上のケーラー・リッチフローの最大存在時刻を、曲率および体積崩壊と関連して分析すること。
• 最小モデルプログラムにおける代数的スurgeryとケーラー・リッチフローにおける幾何的スurgeryとの対応を確立すること。
• 正の、ゼロの、負の正則バンドルの場合のフローの長期的挙動を調査し、正則計量への収束を含むこと。
• 体積減少率と極限計量を介して、解析的最小モデルプログラムとケーラー・リッチフローを結びつけること。

提案手法

• ケーラー・リッチフロー下での計量および曲率の放物型発展方程式の使用、特にケーラー潜在関数の放物型モンジュ・アンプère方程式を含む。
• 最大原理および曲率推定を用いて、フロー中におけるスカラー曲率およびリッチ曲率を制御すること。
• 多重ポテンシャル論およびドーロー・コホモロジーを用いて、正性およびコホモロジー的障害を分析すること。
• 計量のトレースおよびスカラー曲率の発展方程式を介して、体積形式および計量の発展を分析すること。
• 複素表面のエニリューズ・コダイラ分類を用いて、コダイラ次元に基づき有限時刻特異点を分類すること。
• 正規化フローと漸近的挙動の研究として、計量を $1/t$ でスケーリングし、正規化モデル上の極限計量を抽出すること。

実験結果

リサーチクエスチョン

• RQ1 ケーラー・リッチフローが常に存在する条件は何か。また、有限時刻に特異点を示す条件は何か。
• RQ2 フローが有限時刻特異点に近づく際に、多様体の体積はどのように減少するか。幾何学的意味は何か。
• RQ3 最小モデルプログラムにおける代数的スurgeryとケーラー・リッチフローにおける幾何的スurgeryとの関係は何か。
• RQ4 コダイラ次元が 0、1、または 2 の多様体に対して、正規化ケーラー・リッチフローは長期的にどのように振る舞うか。
• RQ5 スケーリング付き最小モデルプログラムに対応するように、ケーラー・リッチフローを特異点を越えて続けることは可能か。

主な発見

• ケーラー・リッチフローが有限時刻特異点を示す場合、$t \to T^-$ のとき体積は 0 に減少し、多様体はルールド多様体に双有理同型である。
• 体積が $\text{Vol}_{g(t)}X \sim C(T-t)^2$ のように二次的に減少するとき、多様体はファノであり、初期計量 $\omega_0$ は $Tc_1(X)$ に属する。
• 体積が $\text{Vol}_{g(t)}X \sim C(T-t)$ のように線形的に減少するとき、多様体はファノでなく、$\omega_0$ は $c_1(X)$ の倍数でない。
• $c_1(X) < 0$ の場合、正規化フローは滑らかにケーラー＝アインシュタイン計量に収束し、スカラー曲率が一様に有界である。
• $c_1(X) = 0$ の場合、フローは滑らかにリッチ平坦なケーラー計量に収束し、カルラヤ多様体上の計量となる。
• $c_1(X) > 0$ でコダイラ次元が 2 の場合、$\frac{1}{t}g(t)$ は測度の意味で、正規化モデル上の滑らかなオーロラ型ケーラー＝アインシュタイン計量の引き戻しに収束する。