[論文レビュー] Injectivity theorem for pseudo-effective line bundles and its applications

Osamu Fujino, Shin‐ichi Matsumura|arXiv (Cornell University)|May 8, 2016

Geometry and complex manifolds参考文献 65被引用数 12

ひとこと要約

本稿は、L2調和形式と特異Hermitian計量を用いて、コンパクトK"ahler多様体上の擬効率的ラインバンドルに乗算理想層をかけたものについて、解析的単射性定理を確立する。これはKoll\'arの単射性、消失、およびねじれ自由性定理を代数的でない設定へ一般化し、乗算理想層に関する新しいBertini型定理を通じて、非代数的特異点をもつ多様体への応用を可能にする。

ABSTRACT

We formulate and establish a generalization of Koll\'ar's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Koll\'ar's torsion-freeness, Koll\'ar's vanishing theorem, and a generic vanishing theorem for pseudo-effective line bundles. Our approach is not Hodge theoretic but analytic, which enables us to treat singular Hermitian metrics with nonalgebraic singularities. For the proof of the main injectivity theorem, we use $L^{2}$-harmonic forms on noncompact K\"ahler manifolds. For applications, we prove a Bertini-type theorem on the restriction of multiplier ideal sheaves to general members of free linear systems.

研究の動機と目的

• 特異Hermitian計量をもつ擬効率的ラインバンドルへ、Koll\'arの単射性、消失、ねじれ自由性定理を一般化すること。
• 代数的でない特異点をもつ特異Hermitian計量に対しても機能する、解析的（超越的）アプローチを開発すること。Hodge理論的手法が失敗する状況でも有効である。
• 自由線形系の一般なメンバーへの乗算理想層の制限に関して、Bertini型定理を確立すること。これにより次元に関する帰納的議論が可能になる。
• Nakano半正のベクトルバンドルでねじれた接続バンドルへの単射性結果を拡張すること。複素幾何における応用範囲を広げる。

提案手法

• 非コンパクトK"ahler多様体上のL2調和形式を用いて、主な単射性定理を証明する。
• 任意の（非代数的を含む）特異点をもつ特異Hermitian計量を、乗算理想層を介して用いる。
• ∂-方程式の閉じた有界性を扱うために、L2空間におけるde Rham--Weil同型と直交分解を応用する。
• 特異計量の正則化と曲率推定値の制御のため、近似計量{h_ε}および{ω_ε,δ}を構成する。
• 最小L2解に関するLemma 5.12の一般化を、ベクトルバンドル値形式へ適用し、∂の像の閉じ性を保証する。
• Nakano半正性を用いた曲率推定値の適応により、ねじれた設定下でも単射性を維持する。

実験結果

リサーチクエスチョン

• RQ1 Koll\'arの単射性定理は、解析的手法を用いて、特異Hermitian計量をもつ擬効率的ラインバンドルへ拡張可能か？
• RQ2 混合Hodge理論に依存せずに、対数正則なペアに対する単射性定理の解析的証明は可能か？
• RQ3 自由線形系の一般なメンバーへの制限に関して、乗算理想層に対してBertini型定理を確立できるか？
• RQ4 接続バンドルにNakano半正のベクトルバンドルをかけた場合、単射性結果をどのように一般化できるか？
• RQ5 非代数的特異点を扱う際、この解析的アプローチが双有理幾何に与える影響は何か？

主な発見

• 主な単射性定理（定理A）は、擬効率的Fおよび乗算理想層J(h)に対して、H⁰(X, M)に属する非ゼロの切断sによる乗算が、コホモロジー群H^q(X, K_X ⊗ F ⊗ J(h))上で単射であることを確立する。
• 新しいBertini型定理（定理1.10）が証明され、乗算理想層が自由線形系の一般なメンバーにうまく制限されることを示し、次元に関する帰納的議論を可能にする。
• 単射性定理は、Nakano半正のベクトルバンドルでねじれた接続バンドルへ拡張されている（定理6.6）。これにより、より広範な幾何的設定に一般化される。
• L2調和形式と特異計量を用いたアプローチにより、非代数的特異点の取り扱いが可能となり、古典的Hodge理論的手法の制限を超える。
• 証明は曲率推定値と∂-方程式のL2推定値に依存し、最小L2解が直交分解を通じて単射性を保証する。
• 結果として、Koll\'arのねじれ自由性、消失、および一般消失定理は、特異計量をもつ解析的設定へ一般化された。