[論文レビュー] A vanishing theorem of Koll'ar-Ohsawa type

Shin‐ichi Matsumura|arXiv (Cornell University)|Nov 13, 2015

Geometry and complex manifolds参考文献 6被引用数 4

ひとこと要約

本稿は、ケーラー多様体上のナカノ半正則ベクトル束で引き伸ばされた canonical バンドルのコホモロジー群について、調和積分と $L^2$-手法による $\overline{\partial}$-方程式の解析を通じて、分解定理を確立する。Kollár-Ohsawa 型の消滅定理を証明し、複素解析的設定において Ohsawa と Kollár の結果を高次直接像へ一般化する。応用として単射性定理や導来カテゴリの分解が得られる。

ABSTRACT

For proper surjective holomorphic maps from K"ahler manifolds to analytic spaces, we give a decomposition theorem for the cohomology groups of the canonical bundle twisted by Nakano semi-positive vector bundles by means of the higher direct image sheaves, by using the theory of harmonic integrals developed by Takegoshi. As an application, we prove a vanishing theorem of Koll'ar-Ohsawa type by combining the L^2-method for the dbar-equation.

研究の動機と目的

• canonical バンドルにナカノ半正則ベクトル束をかけたものに対する高次直接像の分解定理および単射性定理を一般化すること。
• Ohsawa の $L^2$ 消滅定理を $q=0$ に限らず、$q \geq 0$ の高次コホモロジー次数へ拡張すること。
• ベクトル束 $E$ の曲率条件の下で $H^p(Y, R^q f_*(K_X \otimes E))$ の消滅結果を確立すること。
• $L^2$-ノルムの推定を、双線形形式 $\langle B^{-k}_\delta \cdot, \cdot \rangle$ の極限推定に置き換える、消滅定理の新たな証明戦略を提示すること。

提案手法

• Takegoshi が開発した調和積分の理論を用いて、$X$ がケーラーで $Y$ が解析的であるような $f: X \to Y$ の Leray 譜系列を分析する。
• 調和理論を用いて自然な準同型 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$ を構成する。
• $\overline{\partial}$-方程式に対する $L^2$-手法を適用し、$L^2$-ノルムの代わりに $\lim_{\delta \to 0} \langle B^{-k}_\delta \{\overline{\partial}b_{i_0}\}, \{\overline{\partial}b_{i_0}\} \rangle$ の推定を行う。
• ナカノの意味で、ケーラー形式 $\sigma$ on $Y$ に対して、曲率条件 $\sqrt{-1}\Theta_h(E) \geq f^*\sigma \otimes \mathrm{id}_E$ を課す。
• $\varphi_{p,q}$ の単射性と、$p+q$ が固定されたときの異なる $p$ に対する像の直交性を証明する。
• もし $X$ がコンパクトケーラーであれば、$H^\ell(X, K_X \otimes E) = \bigoplus_{p+q=\ell} \mathrm{Im}\, \varphi_{p,q}$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 Leray 譜系列の $E_2$ での退化を、$K_X \otimes E$ の高次直接像に対する分解定理へ強化できるか？
• RQ2 $E$ がナカノ半正則であるとき、$p > 0$ に対しても $\varphi_{p,q}$ の単射性が成立するか？
• RQ3 ナカノ半正則性のもとで、Ohsawa の $L^2$ 消滅定理を $q=0$ から $q \geq 0$ へ拡張できるか？
• RQ4 $\|\overline{\partial}b_{i_0}\|_\sigma = \infty$ のとき、$\overline{\partial}$-解に対する $L^2$-ノルム推定の代替として有効な手法はあるか？
• RQ5 $f^*\sigma$ による曲率優勢の下で、$p > 0$ に対して $H^p(Y, R^q f_*(K_X \otimes E))$ が消えるか？

主な発見

• $E$ がナカノ半正則であるとき、すべての $p,q \geq 0$ に対して準同型 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$ は単射である。
• $p + q$ が固定され、$p \neq p'$ のとき、像 $\mathrm{Im}\, \varphi_{p,q}$ は互いに直交するため、直和分解が保証される。
• $X$ がコンパクトケーラーであれば、$H^\ell(X, K_X \otimes E)$ は $\bigoplus_{p+q=\ell} \mathrm{Im}\, \varphi_{p,q}$ に分解される。
• 任意の $p,q \geq 0$ および非ゼロの $F^m$ の切断 $s$ に対して、$F$ が半正則であるとき、乗法写像 $\Phi_s: H^p(Y, R^q f_*(K_X \otimes E \otimes F)) \xrightarrow{\otimes s} H^p(Y, R^q f_*(K_X \otimes E \otimes F^{m+1}))$ は単射である。
• 曲率条件 $\sqrt{-1}\Theta_h(E) \geq f^*\sigma \otimes \mathrm{id}_E$ の下で、すべての $p > 0$ および $q \geq 0$ に対して $H^p(Y, R^q f_*(K_X \otimes E)) = 0$ が成り立ち、これにより定理 1.3 が証明される。
• $\lim_{\delta \to 0} \langle B^{-k}_\delta \{\overline{\partial}b_{i_0}\}, \{\overline{\partial}b_{i_0}\} \rangle$ は有限であるため、$\|\overline{\partial}b_{i_0}\|_\sigma = \infty$ であっても証明が可能である。