[论文解读] Bergman kernels and the pseudoeffectivity of relative canonical bundles

Bo Berndtsson, Mihai Păun|arXiv (Cornell University)|Mar 12, 2007

Geometry and complex manifolds参考文献 13被引用 7

一句话总结

本文利用 Bergman 核度量与具有半正曲率的奇异度量，在代数几何中建立了扭曲相对 canonical 线丛伪有效性的判别准则。证明了在适当的正性与非零上同调条件之下，相对 Bergman 核度量可沿具有半正曲率的奇异纤维延拓，从而提供了 Viehweg 与 Campana 半正性结果的解析推广，并为扭曲 pluricanonical 形式提供了直接证明。

ABSTRACT

The main result of the present article is a (practically optimal) criterium for the pseudoeffectivity of the twisted relative canonical bundles of surjective projective maps. Our theorem has several applications in algebraic geometry; to start with, we obtain the natural analytic generalization of some semipositivity results due to E. Viehweg and F. Campana. As a byproduct, we give a simple and direct proof of a recent result due to C. Hacon--J. McKernan, S. Takayama and H. Tsuji concerning the extension of twisted pluricanonical forms. More applications will be offered in the sequel of this article.

研究动机与目标

• 在射影纤维化中建立扭曲相对 canonical 线丛伪有效性的实用判别准则。
• 通过涉及 $L^2$ 度量与乘子理想分析方法，推广 Viehweg 与 Campana 的半正性结果。
• 为 Hacon–McKernan 与 Takayama 之前建立的扭曲 pluricanonical 形式延拓定理提供直接证明。
• 利用拟凸势论与 Ohsawa–Takegoshi 估计，将 Bergman 核度量沿满射射影映射的奇异纤维延拓。

提出的方法

• 通过在 $\exp(-\phi)$ 上积分，构造在取值于 $K_{X_y} + L$ 且被乘子理想 $\mathcal{I}(h)$ 扭曲的 $(n,0)$-形式空间上的纤维间 $L^2$-度量。
• 利用 $H^0(X_y, (K_{X_y} + L) \otimes \mathcal{I}(h))$ 的正交基，在 $X$ 的正则部分 $X^0 \subset X$ 上定义 $K_{X/Y} + L$ 上的相对 Bergman 核度量。
• 应用 Ohsawa–Takegoshi 延拓定理，控制奇异纤维附近 Bergman 核度量的局部权重，确保其一致有界。
• 利用经典拟凸势论，将 Bergman 核度量唯一延拓至 $X \setminus X^0$，使其成为具有半正曲率电流的 plurisubharmonic 函数。
• 通过含 ample 线丛与奇异度量的度量构造，结合归纳法，证明在伴随丛背景下截面的延拓。
• 应用曲率正性与可积性条件，验证 Ohsawa–Takegoshi 延拓定理在归纳步骤中的假设。

实验结果

研究问题

• RQ1 当 $L$ 配备具有半正曲率的奇异度量时，相对 canonical 线丛 $K_{X/Y} + L$ 在何种条件下是伪有效的？
• RQ2 在满射射影映射的奇异纤维上，$K_{X/Y} + L$ 上的 Bergman 核度量能否以半正曲率延拓？
• RQ3 相对 canonical 线丛 $K_{X/Y} + L$ 的伪有效性如何与某个正则纤维上 $H^0(X_y, (K_{X_y} + L) \otimes \mathcal{I}(h)) \neq 0$ 相关联？
• RQ4 在奇异度量假设下，Ohsawa–Takegoshi 延拓定理在多大程度上可用于证明伴随丛中全局截面的存在性？
• RQ5 该伪有效性的解析准则能否用于重新证明或加强代数几何中现有的半正性定理？

主要发现

• 当 $\Theta_h(L) \geq 0$ 且对某个正则纤维有 $H^0(X_y, (K_{X_y} + L) \otimes \mathcal{I}(h)) \neq 0$ 时，$K_{X/Y} + L$ 上的相对 Bergman 核度量不恒为 $-\infty$，且具有半正曲率电流。
• 由于拟凸势论与 Ohsawa–Takegoshi 所得的一致有界性，Bergman 核度量可唯一延拓至 $X \setminus X^0$，并在整个 $X$ 上保持半正曲率电流。
• 该定理提供了 Ohsawa–Takegoshi 延拓定理的全局解析推广，即使在基空间 $Y$ 紧致且截面无法全局延拓时亦成立。
• 给出了扭曲 pluricanonical 形式延拓的直接证明，通过 $L^2$ 方法与曲率估计恢复了 Hacon–McKernan 与 Takayama 的结果。
• 在给定的上同调与曲率假设下，$K_{X/Y} + L$ 的伪有效性蕴含对所有 $m \geq 0$ 及 $Y$ 上足够 ample 的 $A$，有 $H^0(X, m(K_{X/Y} + L) + p^*A) \neq 0$。
• 该方法通过在伴随丛上利用曲率正性与乘子理想可积性条件的度量构造，实现了截面的归纳延拓。