[論文レビュー] The Kähler-Ricci flow on Hirzebruch surfaces

Jian Song, Ben Weinkove|arXiv (Cornell University)|Mar 11, 2009

Geometry and complex manifolds参考文献 13被引用数 21

ひとこと要約

この論文は、自己同型群の最大コンpact部分群による不変初期計量の下でヒルツェブルフ多様体上の非正規化ケーラー・リッチフローを調査し、フローがGromov-Hausdorff的収束により、点、$\mathbb{P}^1$、または例外的除斥子を収縮して得られる軌道体のいずれかに至る極限空間に収束することを証明している。結果はFeldman-Ilmanen-Knopfの予想を裏付け、高次元版への拡張も可能であり、曲率および初期クラスの特定の条件下で、計量の崩壊または収縮を示している。

ABSTRACT

We investigate the metric behavior of the Kahler-Ricci flow on the Hirzebruch surfaces, assuming the initial metric is invariant under a maximal compact subgroup of the automorphism group. We show that, in the sense of Gromov-Hausdorff, the flow either shrinks to a point, collapses to $\mathbb{P}^1$ or contracts an exceptional divisor, confirming a conjecture of Feldman-Ilmanen-Knopf. We also show that similar behavior holds on higher-dimensional analogues of the Hirzebruch surfaces.

研究の動機と目的

• 自己同型群の最大コンパクト部分群による不変初期計量の下で、ヒルツェブルフ多様体上の非正規化ケーラー・リッチフローの計量的挙動を理解すること。
• Feldman, Ilmanen, Knopfによる予想の検証、すなわちフローのGromov-Hausdorff的極限が点、$\mathbb{P}^1$、または除斥子の収縮に至ることの予測を確認すること。
• ヒルツェブルフ多様体の高次元版に対する解析を拡張し、同じ対称性仮定の下で同様の極限的挙動を示すこと。
• ケーラー・リッチフローが代数的分類の解析的道具として機能しうることの証拠を提供すること、特に双有理幾何およびYau-Tian-Donaldson予想において。

提案手法

• 著者たちは、自己同型群の最大コンパクト部分群による不変性を仮定した上で、ヒルツェブルフ多様体 $M_k$ 上の非正規化ケーラー・リッチフロー $\partial\omega/\partial t = -\textrm{Ric}(\omega)$ を分析する。
• 局所座標と径方向のアンザッツを用いて、特異時刻 $T$ に近づく際の例外的除斥子 $D_0$ 近傍における滑らかに変化するケーラー計量 $g(t)$ の漸近的推定を導出する。
• 補題4.4および4.5を用いて、除斥子付近での曲率の発散を制御する重要な推定 $g_{i\overline{j}}(t) \leq a_t \chi_{i\overline{j}} + C e^{(k-n)\rho/n} \delta_{ij}$ を得る。
• $(M \setminus D_0, g_T)$ の計量的完備化を検討し、$\beta = 2(n-k)/n < 2$ のとき、特異性が可積分的であり、直径が有限であることが示され、トポロジカルな収縮が生じることを示す。
• 写像 $F: M \to \overline{M} \cong \mathbb{P}^n / \mathbb{Z}_k$ を構成し、$(M, g(t))$ と極限空間 $\overline{M}$ 間の距離が $t \to T$ のとき0に近づくことを示すことで、Gromov-Hausdorff収束を確立する。
• 証明は、$M \setminus D_0$ のコンパクト部分集合上で $g(t)$ の $C^\infty$ 収束および $t \to T$ のときの $a_t \to 0$ の減少に依存する。

実験結果

リサーチクエスチョン

• RQ1 ヒルツェブルフ多様体上の非正規化ケーラー・リッチフローは、Gromov-Hausdorff的収束により、点、$\mathbb{P}^1$、または商軌道体のいずれかに至る極限空間に収束するか？
• RQ2 初期ケーラー類およびパrameter $k$ にどのような条件下で、フローは例外的除斥子 $D_0$ を収縮するか？
• RQ3 フローの特異的極限の計量的完備化は、$\mathbb{P}^n / \mathbb{Z}_k$ に同相な有限直径の計量空間として記述可能か？
• RQ4 同じ対称性仮定の下で、ヒルツェブルフ多様体の高次元版におけるフロー挙動は、表面の場合と類似しているか？
• RQ5 $t \to T$ のときの計量成分 $a_t$ の減少は、Gromov-Hausdorff的極限のトポロジーにどのように影響するか？

主な発見

• ヒルツェブルフ多様体上の非正規化ケーラー・リッチフローは、Gromov-Hausdorff的収束により、点、$\mathbb{P}^1$、または例外的除斥子を収縮して得られる軌道体 $\mathbb{P}^n / \mathbb{Z}_k$ のいずれかに至る極限空間に収束する。
• 初期条件 $a_0(n+k) < b_0(n-k)$ の下で、$t \to T$ のとき除斥子 $D_0$ が収縮し、$(M \setminus D_0, g_T)$ の計量的完備化は有限直径をもち、$\mathbb{P}^n / \mathbb{Z}_k$ に同相である。
• 推定 $g_{i\overline{j}}(t) \leq a_t \chi_{i\overline{j}} + C e^{(k-n)\rho/n} \delta_{ij}$ により、特異性が可積分的であり、$\beta = 2(n-k)/n < 2$ であることが保証され、有限直径およびトポロジカルな収縮が示される。
• $(M, g(t))$ と極限空間 $\overline{M}$ 間のGromov-Hausdorff距離は $t \to T$ のとき0に近づくため、計量的収束が確認される。
• 結果は、ヒルツェブルフ多様体の高次元版に対しても拡張可能であり、同じ対称性および初期計量の仮定の下で同様の崩壊または収縮挙動を示す。
• フローの挙動はFeldman-Ilmanen-Knopfの予想を裏付け、双有理幾何におけるYau-Tian-Donaldson予想に対する解析的証拠を提供する。