[論文レビュー] Convergence of the Kähler-Ricci flow and multiplier ideal sheaves on del Pezzo surfaces

Gordon Heier|ArXiv.org|Oct 30, 2007

Geometry and complex manifolds参考文献 19被引用数 7

ひとこと要約

本稿では、自己同型群が大きな del Pezzo 表面に対して、ケーラー・リッチフローがケーラー・アインシュタイン計量へ指数的 $C^{\infty}$-収束することを、乗数イデアル層と反 canonical バンドル上の特異計量の正曲率に基づくナデル型基準を用いて確立する。主な結果は、$e^{-p\phi}$ の $L^p$-ノルムが一様に有界のままであれば収束が成立することであり、これは $r=4,5$ 個の成分を持つ特定の del Pezzo 表面において、群不変幾何学と消失定理を用いて確認される。

ABSTRACT

On certain del Pezzo surfaces with large automorphism groups, it is shown that the solution to the Kähler-Ricci flow with a certain initial value converges in $C^\infty$-norm exponentially fast to a Kähler-Einstein metric. The proof is based on the method of multiplier ideal sheaves.

研究の動機と目的

• Fano多様体上のケーラー・リッチフローが滑らかにケーラー・アインシュタイン計量へ収束する条件を確立すること。
• 乗数イデアル層を用いて、ケーラー・リッチフロー収束の文脈へナデルの基準を拡張すること。
• 特に $r=4$ または $5$ 個の既約成分を持つ del Pezzo 表面において、自己同型群の役割が収束を保証する仕組みを分析すること。
• 群作用の矛盾を用いて、$r=4,5$ 成分を持つ del Pezzo 表面上で特定のゼロ集合を持つ $G$-不変乗数イデアル層の存在を除外すること。
• 1つまたは2つの点で $\mathbb{P}^2$ を blown up した場合、カルビ・フタキ不変量が消えないため、ケーラー・アインシュタイン計量が存在せず、フロー収束が成立しないことを特定すること。

提案手法

• 初期条件 $\phi(0) = c_0$ を持つ形で、$\frac{\partial}{\partial t}\phi = \log\frac{\det g_{\alpha\bar{\beta}}}{\det \hat{g}_{\alpha\bar{\beta}}}} + \phi - \hat{f}$ の形のケーラー・リッチフロー方程式を用いる。
• 定理 1.1 を適用して、収束を $\int_X e^{-p\phi} \hat{\omega}^n$ の $p>1$ に対する一様有界性に帰着させる。
• $\psi$ を $\phi(t_i)$ の正規化された極限とし、$-2K_X$ 上に $h = \hat{h}^{2} e^{-\frac{3}{2}\psi}$ の形の $G$-不変なヘルミート計量を構成し、それが電流の意味で正定値曲率を持つことを示す。
• 収束が失敗する場合に矛盾を導くために、$H^q(X, (K_X + L) \otimes \mathcal{I}(h))$ におけるナデルの消失定理を適用する。
• $\mathbb{Z}_2^4$-不変な有理曲線の配置を除外するために群論的議論を用いる。
• 特に、3次フェルマー曲面（次数3）や次数2の del Pezzo 表面の自己同型群の構造を分析し、基準が適用可能であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 del Pezzo 表面におけるケーラー・リッチフローがケーラー・アインシュタイン計量へ滑らかに収束する条件は何か？
• RQ2 乗数イデアル層を用いて、ケーラー・リッチフロー収束の文脈へナデル型基準を拡張できるか？
• RQ3 $\mathbb{P}^2$ を1つまたは2つの点で blown up した場合、Fano であるにもかかわらずケーラー・リッチフローがなぜ収束しないのか？
• RQ4 自己同型群作用が、$r=4$ または $5$ 成分を持つ del Pezzo 表面における乗数イデアル層の可能なゼロ集合をどのように制約するか？
• RQ5 自己同型群のサイズに対するハーウィッツの上限が、特定の配置を除外するために果たす役割は何か？

主な発見

• $r=4$ または $5$ 個の既約成分を持つ del Pezzo 表面において、ケーラー・リッチフローは $C^\infty$-ノルムで指数的速さでケーラー・アインシュタイン計量へ収束する。
• $r=4$ または $5$ の場合、フローが収束しないと仮定すると $\mathbb{Z}_2^4$-不変な有理曲線の配置が生じるが、これは矛盾を引き起こすため、収束が保証される。
• フェルマー3次曲面（次数3）では、自己同型群 $\mathbb{Z}_3^3 \rtimes S_4$（位数648）が十分大きく、ナデル型基準を満たし、収束を保証する。
• $\mathbb{P}^2$ を1つまたは2つの点で blown up した場合、カルビ・フタキ不変量が消えず、ケーラー・アインシュタイン計量の存在が妨げられ、フロー収束が成立しない。
• 次数1または2の del Pezzo 表面では、自己同型群の作用による固定点（例えば、$|-K_X|$ の基本点やゲイザー対称性）が存在するため、本手法は適用できない。