[論文レビュー] An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities

Shin‐ichi Matsumura|arXiv (Cornell University)|Aug 9, 2013

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

ひとこと要約

本稿では、特異なヒルベルト計量が持つ超越的（代数的でない）特異性を備えた擬効率的ラインバンドルに対して、乗数イデアル層を用いて単射性定理を確立する。調和形式の漸近的挙動を分析し、de Rham-Weil同型を介した $ L^2 $-推定を用いることで、著者たちはエンキの定理およびナデルの定理を特異計量へ一般化し、超越的特異性に対する新しいナデル型の消滅定理を導出する。

ABSTRACT

The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.

研究の動機と目的

• エンキとコラーの単射性定理を、超越的特異性を有する特異ヒルベルト計量へ拡張すること。
• 半アーメンまたは半正則でない場合に対しても、擬効率的ラインバンドルに対する解析的単射性定理を定式化すること。
• $ L^2 $-推定を調和積分およびČechコホモロジーを用いて、特異計量上の $ \overline{\partial} $-方程式に適用すること。
• 超越的特異性を有するラインバンドルに対して、解析的手法を用いてナデル型の消滅定理を確立すること。

提案手法

• de Rham-Weil同型を用いて、$ L^2 $-推定のための $ \overline{\partial} $-コホモロジーとČechコホモロジーを関連付ける。
• 調和形式の漸近的挙動を研究するための正則化計量の族を構成する。
• 特異計量に従う重み付き $ L^2 $-ノルムを用いて、$ \overline{\partial} $-方程式の解に対する $ L^2 $-推定を適用する。
• 補助関数 $ \rho_k $ と局所形式 $ \beta_{\varepsilon,k} $ を用いて、台の制御と $ \overline{\partial} $-ノルムの $ \varepsilon $ に一様な推定を達成する。
• 乗数イデアル層 $ \mathcal{I}(h) $ の構造を用いて、$ K_X \otimes F \otimes \mathcal{I}(h) $ に係数をとるコホモロジー群を定義する。
• $ \overline{\partial} $-閉性および $ L^2 $-有界性を満たす形式を用いて、乗法写像の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 擬効率的ラインバンドルに特異ヒルベルト計量が付随し、その特異性が超越的である場合に、単射性定理を拡張することは可能か？
• RQ2 計量が非代数的特異性を有する場合に、$ \overline{\partial} $-方程式に対する $ L^2 $-推定をどのように構成できるか？
• RQ3 特異半正則計量のもとで、乗法写像 $ H^q(X, K_X \otimes F \otimes \mathcal{I}(h)) \xrightarrow{\otimes s} H^q(X, K_X \otimes F^{m+1} \otimes \mathcal{I}(h^{m+1})) $ は、well-defined かつ単射であるか？
• RQ4 解析的手法を用いて、このような特異計量に対してナデル型の消滅定理を確立できるか？
• RQ5 de Rham-Weil同型は、特異計量における $ \overline{\partial} $-コホモロジーとČechコホモロジーをどのように結びつけるか？

主な発見

• 任意の $ q $ に対して、$ F $ が半正則曲率の特異ヒルベルト計量 $ h $ を持つ擬効率的ラインバンドルであり、$ s $ が $ F^m $ の非ゼロ切断で $ \sup_X |s|_{h^m} < \infty $ を満たすとき、乗法写像 $ \Phi_s: H^q(X, K_X \otimes F \otimes \mathcal{I}(h)) \to H^q(X, K_X \otimes F^{m+1} \otimes \mathcal{I}(h^{m+1})) $ は単射である。
• 計量 $ h $ が超越的特異性を有しても、単射性は成り立つ。これは、従来の代数的または滑らかな計量を仮定する結果の拡張である。
• 証明は、de Rham-Weil同型を介した $ \overline{\partial} $-解に対する $ L^2 $-推定の構成と、$ \overline{\partial}\beta_{\varepsilon,k} $ および $ \rho_k $-重み付き形式の一様な有界性に依存する。
• この方法により、正則化計量全体を通して $ \overline{\partial} $-完全形式の $ L^2 $-ノルムが一様に制御され、望ましいコホモロジー類への収束が保証される。
• 補助関数 $ \rho_k $ と局所形式 $ \beta_{\varepsilon,k} $ の構成により、非コンパクトな台と特異性を同時に取り扱うことが可能になった。
• 乗数イデアル層を伴う超越的特異性を持つラインバンドルに対して、ナデル型の消滅定理が導出された。