[論文レビュー] Multiplier Ideal Sheaves and the Kähler-Ricci Flow

D. H. Phong, Nataša Šešum+1 more|ArXiv.org|Nov 27, 2006

Geometry and complex manifolds参考文献 9被引用数 29

ひとこと要約

本稿は、Fano多様体上のKähler-Einstein計量の存在に関する障害である乗数イデアル層が、最近のKolodziejおよびPerelmanによる推定を用いて、Kähler-Ricci流れから直接構成可能であることを確立している。流れがKähler-Einstein計量に収束しない場合、任意の $ p > 1 $ に対して、非自明な乗数イデアル層 $ \mathcal{J}(p\psi) $ が極限点として現れ、これは整数的であり、正標数コホモロジーが消える性質を持ち、初期計量が $ G $-不変であれば $ G $-不変でもある。

ABSTRACT

Multiplier ideal sheaves are constructed as obstructions to the convergence of the Kähler-Ricci flow on Fano manifolds, following earlier constructions of Kohn, Siu, and Nadel, and using the recent estimates of Kolodziej and Perelman

研究の動機と目的

• Fano多様体上のKähler-Ricci流れの収束に関する障害としての乗数イデアル層を直接構成すること。
• Kähler-Ricci流れの枠組みにNadelの連続法を拡張すること。
• Kähler-Einstein計量が存在しないことは、流れから生じる非自明な乗数イデアル層の存在を示すこと。
• これらの層の整数的性および正標数コホモロジーの消滅性を確立し、初期計量が不変であれば、ホロモーフィック群作用のもとでの不変性を示すこと。

提案手法

• Monge-Ampère方程式 $ \dot{\phi} = \log \frac{\omega_\phi^n}{\omega_0^n} + \mu\phi - \hat{f} $ を用いて、Kähler潜在関数 $ \phi $ の観点からKähler-Ricci流れを再定式化する。
• 流れに沿ったリッチポテンシャル $ f $ に対するPerelmanの均一な $ C^0 $, $ C^1 $, $ C^2 $ 界を適用する。
• KolodziejのMonge-Ampère方程式に対する $ L^p $ 推定を用いて、$ e^{-p\phi} $ の減衰を制御し、可積分性条件を導く。
• 開集合 $ U \ni z $ 上の正則関数 $ f $ で、$ \int_U |f|^2 e^{-p\psi} \omega_0^n < \infty $ を満たすものからなる層として、乗数イデアル層 $ \mathcal{J}(p\psi) $ を定義する。ここで $ \psi $ は $ \phi $ の $ L^1 $ 極限点である。
• Demailly-Kollárの半連続性定理を適用し、$ \|e^{-\psi}\|_{L^p(X)} = \infty $ を示し、Kähler-Einstein計量が存在しない場合に $ \mathcal{J}(p\psi) $ が非自明であることを示す。
• Nadelの消滅定理およびDemailly-Kollárの定式化を用いて、$ H^q(X, K_X^{-[p]} \otimes \mathcal{J}(p\psi)) = 0 $（$ q \geq 1 $）を証明し、正標数コホモロジーの消滅性を確立する。

実験結果

リサーチクエスチョン

• RQ1 乗数イデアル層は、連続法で知られているが、Fano多様体上のKähler-Ricci流れから直接構成可能か？
• RQ2 $ \sup_{t \geq 0} \int_X e^{-p\phi} \omega_0^n < \infty $ という $ L^p $ 可積分性条件が、Kähler-Ricci流れの収束をどのように決定づけるか？
• RQ3 Kähler-Ricci流れから生じる乗数イデアル層は、連続法から得られるものと比較して、$ p $ の値においてどのように異なるか？
• RQ4 どのような条件下で乗数イデアル層 $ \mathcal{J}(p\psi) $ が非自明で、整数的であり、正標数コホモロジーが消えるか？
• RQ5 初期計量の $ G $-不変性が、得られる乗数イデアル層に引き継がれるか？

主な発見

• ある $ p > 1 $ に対して $ \sup_{t \geq 0} \int_X e^{-p\phi} \omega_0^n < \infty $ が成り立つならば、Kähler-Ricci流れの部分列が $ C^\infty $ でKähler-Einstein計量に収束する。
• Kähler-Einstein計量が存在しない場合、任意の $ p > 1 $ に対して、流れの極限点として非自明な乗数イデアル層 $ \mathcal{J}(p\psi) $ が存在する。
• 乗数イデアル層 $ \mathcal{J}(p\psi) $ は $ X $ 上の整数的解析層であり、ラインバンドルのねじれ $ K_X^{-[p]} \otimes \mathcal{J}(p\psi) $ は高次コホモロジーを消滅させる。
• 初期計量がコンパクト群 $ G $ に関して不変であれば、$ \mathcal{J}(p\psi) $ に対しても $ G $-不変である。
• $ p > 1 $ はKähler-Ricci流れにおいて鋭い条件である：$ p = 1 $ の場合にはこの手法は失敗するが、連続法では $ p > \frac{n}{n+1} $ で十分である。
• Kähler-Ricci流れから得られる乗数イデアル層は、より鋭い $ p > 1 $ 条件のおかげで、連続法から得られるものよりもより多くの幾何的情報を含む可能性がある。