[论文解读] A vanishing theorem of Koll'ar-Ohsawa type

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

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

一句话总结

本文通过在凯勒流形上使用调和积分和 $\overline{\partial}$-方程的 $L^2$-方法，建立了关于凯勒流形上 canonical 线丛与 Nakano 半正向量丛扭的上同调群的分解定理。它证明了一个 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 线丛与 Nakano 半正向量丛扭的高阶直接像的分解与单射定理进行推广。
• 将 Ohsawa 的 $L^2$ 消去定理（$q=0$ 时）推广到更高上同调度 $q \geq 0$。
• 在 $E$ 的曲率条件下，建立 $H^p(Y, R^q f_*(K_X \otimes E))$ 的消去结果。
• 通过用双线性形式 $\langle B^{-k}_\delta \cdot, \cdot \rangle$ 的极限估计替代 $L^2$-范数估计，提出一种新的消去定理证明策略。

提出的方法

• 利用 Takegoshi 发展的调和积分理论，分析 $f: X \to Y$ 的 Leray 谱序列，其中 $X$ 为凯勒流形，$Y$ 为解析流形。
• 通过调和理论构造自然同态 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$。
• 应用 $L^2$-方法处理 $\overline{\partial}$-方程，特别地，估计 $\lim_{\delta \to 0} \langle B^{-k}_\delta \{\overline{\partial}b_{i_0}\}, \{\overline{\partial}b_{i_0}\} \rangle$ 而非 $L^2$-范数。
• 在 Nakano 意义下施加曲率条件 $\sqrt{-1}\Theta_h(E) \geq f^*\sigma \otimes \mathrm{id}_E$，其中 $\sigma$ 是 $Y$ 上的凯勒形式。
• 证明 $\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$ 为 Nakano 半正时，$\varphi_{p,q}$ 的单射性对 $p > 0$ 是否仍成立？
• RQ3 在 Nakano 半正条件下，Ohsawa 的 $L^2$ 消去定理（$q=0$ 时）能否推广到 $q \geq 0$？
• RQ4 当 $\|\overline{\partial}b_{i_0}\|_\sigma = \infty$ 时，$\overline{\partial}$-解的 $L^2$-范数估计是否有可行的替代方法？
• RQ5 在 $f^*\sigma$ 的曲率主导条件下，能否证明 $H^p(Y, R^q f_*(K_X \otimes E)) = 0$ 对所有 $p > 0$ 成立？

主要发现

• 当 $E$ 为 Nakano 半正时，同态 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$ 对所有 $p,q \geq 0$ 均为单射。
• 当 $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}$。
• 乘法映射 $\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}))$ 对任意 $p,q \geq 0$ 及非零截面 $s$ 的 $F^m$（$F$ 半正）均为单射。
• 在曲率条件 $\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$，仍可支持证明。