[论文解读] Canonical bundle formula and degenerating families of volume forms

Dano Kim|arXiv (Cornell University)|Oct 15, 2019

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

一句话总结

本文通过纤维积分奇异体积形式，建立了典范丛公式的解析刻画，证实了一个长期存在的猜想。它表明，典范丛公式模部分上的 $L^2$ 度量可赋予具有半正曲率且 Lelong 数为零的奇异 Hermitian 度量，从而在 $L^2$ 延拓定理中弱化曲率条件，并以一种不依赖复杂 Hodge 理论工具的新方法证明了 Kawamata 的半正性定理。

ABSTRACT

Canonical bundle formula due to Kawamata and others has played fundamental roles in algebraic geometry. We show that the canonical bundle formula has analytic characterization in terms of fiberwise integration, which confirms a folklore conjecture. The proof uses $L^2$ metrics and the valuative equivalence of plurisubharmonic singularities. As an application, we identify the singularity of the Ohsawa measure in a general $L^2$ extension theorem of Demailly for log canonical pairs. As another consequence, we give a partial answer to a question of Berndtsson on semipositivity theorems.

研究动机与目标

• 通过纤维积分提供典范丛公式的解析刻画，证实代数几何中一个广为人知的猜想。
• 通过判别除子 $B_R$ 确定 $L^2$ 延拓定理中 Ohsawa 测度的奇点。
• 利用新度量结构，将先前 $L^2$ 延拓定理中的严格正曲率条件弱化为半正曲率。
• 通过建立 Kawamata 半正性结果的度量理论版本，对 Berndtsson 关于半正性定理的问题给出部分回答。

提出的方法

• 本文使用 $\mathbf{Q}$-线丛上的奇异 Hermitian 度量，并通过奇异体积形式的纤维积分定义 $L^2$ 度量。
• 引入判别除子 $B_R$ 作为关键的解析对象，用于捕捉纤维和除子 $R$ 的奇点，推广了 Kodaira 对椭圆纤维化的研究。
• 主要技术是通过在正规化变换上的赋值方法，比较 $L^2$ 度量的曲率电流与由 $B_R$ 和模部分 $J$ 定义的度量的曲率电流。
• 应用 [GZ15] 的强开性定理，分析 $L^2$ 度量的奇点，并证明其与具有消失 Lelong 数的 plurisubharmonic（psh）度量等价。
• 证明依赖于曲率电流的 Siu 分解和除子性赋值，以识别在 $Y$ 的所有可能变换下 $L^2$ 度量的奇点。
• 通过定义 $f_*\mathcal{O}(\lceil -R_h \rceil)$ 将框架扩展至 $\mathbf{Q}$-线丛情形，确保在余维数 2 集之外定义良好。

实验结果

研究问题

• RQ1 能否通过奇异体积形式的纤维积分，对典范丛公式进行解析刻画，从而证实一个广为人知的猜想？
• RQ2 在 $L^2$ 延拓定理中，Ohsawa 测度的奇点如何与判别除子 $B_R$ 相关？
• RQ3 能否利用新度量结构，将先前 $L^2$ 延拓定理中的严格正曲率条件弱化为半正曲率？
• RQ4 典范丛公式的模部分是否可赋予具有消失 Lelong 数的奇异 Hermitian 度量？该度量能否用于重新证明半正性定理？

主要发现

• $L^2$ 度量 $\mu$ 在模部分 $M$ 上可分解为 $\mu = \eta + \psi$，其中 $\eta$ 是与判别除子 $B_R$ 关联的度量，$\psi$ 是在 $J = M - \mathcal{O}(B_R)$ 上的奇异 Hermitian 度量，具有半正曲率且 Lelong 数为零。
• 在 $X$ 上具有沿 $R$ 极点的奇异体积形式 $u$ 的纤维积分，产生在 $Y$ 上具有沿 $B_R$ 极点的奇异体积形式 $v$，最多相差一个 Lelong 数为零的 plurisubharmonic 权重。
• $L^2$ 度量在 $Y$ 上被证明与由 $B_R$ 定义的 psh 度量在赋值意义下等价，从而确立了典范丛公式的解析刻画。
• 本文通过仅使用度量理论工具，避免了深层的 Hodge 理论工具，为 $f_*K_{X/Y}$ 的 Kawamata 半正性定理在 $\operatorname{rank}(f_*K_{X/Y}) = 1$ 时提供了新证明。
• $L^2$ 度量在 $f_*K_{X/Y}$ 上被证明可赋予具有消失 Lelong 数的奇异 Hermitian 度量，证实了 Berndtsson 半正性猜想中的关键步骤。
• 判别除子 $B_R$ 被解析地刻画为纤维积分所引起的奇点的支集，推广了 Kodaira 对椭圆纤维化的经典结果。