[论文解读] Kodaira dimension of algebraic fiber spaces over abelian varieties

Junyan Cao, Mihai Păun|arXiv (Cornell University)|Apr 5, 2015

Algebraic Geometry and Number Theory参考文献 42被引用 9

一句话总结

该论文证明了在阿贝尔簇上代数纤维空间的对数伊塔卡猜想，确立了相对 canonical 线丛的 Kodaira 维数满足 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$，其中 $F$ 为一般纤维。证明依赖于直接像层的正性、多重 canonical 线丛的度量性质，以及基空间基本群上的单位表示结构，扩展了 Viehweg 的弱半稳定性，并利用了 Ohsawa-Takegoshi 延拓定理。

ABSTRACT

In this short article we provide a proof of the Iitaka conjecture for algebraic fiber spaces over abelian varieties.

研究动机与目标

• 为阿贝尔簇上的代数纤维空间建立对数版本的 Iitaka $C_{nm}$ 猜想。
• 将 Kawamata（1982 年）的已知结果推广到 klt 对的对数情形。
• 证明当 $p: X \to A$，$A$ 为阿贝尔簇且 $(X, \Delta)$ 为 klt 时，不等式 $\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$ 成立。
• 通过奇异 Hermitian 度量和平坦性性质分析直接像层 $p_* (mK_{X/Y} + m\Delta)$ 的结构。
• 将 Viehweg 的弱半稳定性推广到对数情形，并应用于在奇点处延拓多重 canonical 截面。

提出的方法

• 在直接像层 $p_* (mK_{X/Y} + m\Delta)$ 上使用奇异 Hermitian 度量，特别是 Narasimhan-Simha 的 $L^2$ 度量。
• 应用 Ohsawa-Takegoshi 延拓定理，将纤维上的多重 canonical 截面延拓到全空间。
• 分析基本群 $\pi_1(A \setminus \Sigma)$，其同构于 $\pi_1(A)$，即自由阿贝尔群，以研究 monodromy 的单位表示。
• 将自由阿贝尔群的单位表示分解为秩一分量，以分析截面的延拓行为。
• 应用 Campana-Peternell 定理分析奇点结构及多重 canonical 形式在双有理映射下的行为。
• 在 $X$ 上构造一个相对 Bergman 度量，并通过点态估计控制 $L^2$ 范数中截面的增长。

实验结果

研究问题

• RQ1 对数伊塔卡猜想是否对阿贝尔簇上带有 klt 对的代数纤维空间成立？
• RQ2 当直接像的行列式拓扑平凡时，纤维上的多重 canonical 截面能否延拓到全空间？
• RQ3 阿贝尔簇上直接像层的度量性质如何影响全空间的 Kodaira 维数？
• RQ4 基本群的单位表示在多重 canonical 形式的延拓中起什么作用？
• RQ5 能否利用余维数为二的集合的补集上平坦向量丛的结构来证明对数伊塔卡不等式？

主要发现

• 对数伊塔卡猜想对阿贝尔簇上的代数纤维空间成立：$\kappa(K_X + \Delta) \geq \kappa(K_F + \Delta_F)$。
• 当直接像层 $p_* (mK_{X/Y} + m\Delta)$ 的行列式拓扑平凡时，其在基空间的 Zariski 开子集上诱导出一个 Hermitian 平坦向量丛。
• 若 monodromy 表示具有有限像，则一般纤维上 $mK_{X/Y} + m\Delta$ 的截面可延拓到全空间，原因在于有限阶截面与 $L^2$-可积性。
• 当 monodromy 表示为无限时，通过分解为秩一表示，可利用 Campana-Peternell 定理确保多重 canonical 形式的延拓。
• 证明依赖于对一个构造精巧的带奇异度量的丛应用 Ohsawa-Takegoshi 延拓定理，从而保证全局截面的存在。
• 该结果推广了 Kawamata 于 1982 年的结果，并将 Iitaka 猜想推广到阿贝尔基空间上的对数情形。