[論文レビュー] A Nadel vanishing theorem for metrics with minimal singularities on big line bundles

Shin‐ichi Matsumura|arXiv (Cornell University)|Jun 11, 2013

Geometry and complex manifolds参考文献 20被引用数 10

ひとこと要約

本稿は、正則的でない曲率を示し、代数的特異点をもつ場合が多いにもかかわらず、最小特異性を持つ計量またはSiuの計量を備えた大きな線束に対して、Nadelの消滅定理を確立する。EnokiによるKollárの単射定理の証明を一般化し、正則化された計量に調和積分と$L^2$-推定を適用することで、$i > 0$に対して$K_X \otimes F \otimes \mathcal{I}(h)$の高次コホモロジー群が消えることを証明し、複素代数幾何学における長年の未解決問題を解決する。

ABSTRACT

The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's metrics). For this purpose, we apply the theory of harmonic integrals and generalize Enoki's proof of Koll'ar's injectivity theorem. Moreover we investigate the asymptotic behavior of harmonic forms with respect to a family of regularized metrics.

研究の動機と目的

• 最小特異性またはSiuの計量を持つ大きな線束に対してNadelの消滅定理を確立すること。これらの計量は、厳密に正の曲率を示さず、しばしば超越的特異性を持つ。
• 半正の曲率下で古典的$L^2$-手法が$"](\bar\partial$-方程式に失敗する問題を克服するため、新たな解析的アプローチを構築すること。
• 大きな線束$F$上の計量$h$が最小特異性またはSiuの計量である場合に、$H^i(X, K_X \otimes F \otimes \mathcal{I}(h))$の高次コホモロジー群が$i > 0$に対して消えることを確認すること。これは古典的Nadelの消滅定理の拡張である。
• 解析的乗数イデアル層$\mathcal{I}(h_{\min})$と$\mathcal{I}(h_{\rm{Siu}})$を、漸近的乗数イデアル層$\mathcal{I}(\|F\|)$と結びつけること。特に、大きな線束または豊富な線束に対して$\mathcal{I}(\|F\|) = \mathcal{I}(h_{\min})$の予想を支持すること。

提案手法

• Zariski開集合上で、最小特異性計量$h_{\min}$を、正則な計量の族$\{h_\varepsilon\}_{\varepsilon > 0}$で近似し、完全なケーラー計量を用いて調和積分理論を適用する。
• $h_\varepsilon$に関連する調和形式$u_\varepsilon$を用いてコホモロジー類を表現し、$\bar\partial u_\varepsilon = 0$および$\bar\partial^* u_\varepsilon = 0$を保証する。
• 正の倍数$F^m$の正則切断$s$を用いて、$D^{\prime\prime *}(s \cdot u_\varepsilon)$の$L^2$-ノルムを制御し、$\varepsilon \to 0$の極限でそれが0に近づくことを示す。これにより、$\bar\partial$-方程式の解の構成が可能になる。
• EnokiのKollárの単射定理における戦略を、特異計量に適応する。$L^2$-ノルム$D^{\prime\prime *}(s \cdot u_\varepsilon)$が極限で消えることを証明することで、特異計量に対しても同様の結果を得る。
• 定理3.1における曲率比較条件が計量$h_{\min}$で満たされることを確認し、コホモロジー群の消滅を保証する。
• Siuの計量$h_{\rm{Siu}}$が$h_{\min}$より特異性が小さいこと、したがって同じ定理の条件を満たすこと、したがって消滅結果を引き継ぐことを確認する。

実験結果

リサーチクエスチョン

• RQ1 最小特異性を持つ計量を備えた大きな線束に対し、Nadelの消滅定理は成立するか？特に、厳密に正の曲率を欠く場合でも成立するか？
• RQ2 $L^2$-手法が、半正の曲率で非代数的特異性を持つ特異計量に拡張可能か？
• RQ3 計量$h$が大きな線束$F$上の最小特異性を持つ場合、$H^i(X, K_X \otimes F \otimes \mathcal{I}(h)) = 0$（$i > 0$）のコホモロジー消滅は成立するか？
• RQ4 大きな線束に対して、解析的乗数イデアル層$\mathcal{I}(h_{\min})$と漸近的乗数イデアル層$\mathcal{I}(\|F\|)$は一致するか？この一致はコホモロジー消滅を意味するか？
• RQ5 DemaillyとKollárの開口予想は、最小特異性を持つ計量のコホモロジー的挙動を通じて支持可能か？

主な発見

• 最小特異性を持つ計量を備えた大きな線束に対し、Nadelの消滅定理が成立する：$H^i(X, K_X \otimes F \otimes \mathcal{I}(h_{\min})) = 0$（すべての$i > 0$）。これは、主要な未解決問題を解決する。
• Siuの計量$h_{\rm{Siu}}$に対しても同様の消滅結果が得られ、$h_{\min}$より特異性が小さいため、主定理の条件を満たす。
• 証明は、EnokiのKollárの単射定理の方法を、特異性を制御した正則化計量に新たな適応を施したものであり、$L^2$-推定と調和積分を用いる。
• 近似計量$h_\varepsilon$に関連する調和形式$u_\varepsilon$の漸近的挙動が、$L^2$-ノルムで収束することが示され、これにより$"](\bar\partial$-方程式の解の構成が可能になる。
• 最小特異性を持つ計量は、常に解析的特異性を持つとは限らない。線束が双有理的Zariski分解を持たない場合にのみ、その特異性は解析的でなくなる。
• 本稿は、線束$F$が双有理的Zariski分解を持つことと、$\mathcal{I}(h_{\min}) = \mathcal{I}(\|F\|)$が同値であることを確認し、乗数イデアル層の等価性に関する幾何的基準を提供する。