[论文解读] On the Iitaka fibration of varieties of maximal Albanese dimension

Zhi Jiang, Martí Lahoz+1 more|arXiv (Cornell University)|Nov 27, 2011

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

该论文证明了对于极大阿尔巴内塞维数的光滑复射影代数簇，四 canonical 映射 $|4K_X|$ 诱导了伊塔卡纤维化，且若该代数簇为一般型，则三 canonical 映射 $|3K_X|$ 是双有理的。证明使用了上同调支集、纤维化技巧以及对线丛的归纳论证，表明这些界限是最优的。

ABSTRACT

We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational.

研究动机与目标

• 确定对于极大阿尔巴内塞维数代数簇，能诱导伊塔卡纤维化的最小多重 canonical 映射。
• 建立对双 canonical 和三 canonical 映射的紧致界限，特别是在一般型代数簇的情形下。
• 研究当全纯欧拉示性数为零时，三 canonical 映射为何无法诱导伊塔卡纤维化。
• 构造显式例子，表明三 canonical 映射无法诱导伊塔卡纤维化，从而证明四 canonical 映射界限的最优性。

提出的方法

• 使用上同调支集 $V^i(\bullet, a_X)$ 分析多重 canonical 线丛的全局截面。
• 在伊塔卡纤维化的基空间上构造两个关键线丛：一个诱导双有理映射，另一个确保纤维化能通过多重 canonical 映射因子分解。
• 应用引理 2.1，证明线性系统 $|L|$ 通过纤维分离和基映射的双有理性，诱导出与伊塔卡纤维化 $g: X \to Z$ 双有理等价的映射。
• 运用引理 2.2，通过一般阿贝尔伽罗瓦覆盖和典范层的推出分解，确保基映射的双有理性。
• 基于维数的归纳论证，依赖于多重 canonical 系统在一般纤维上的限制行为。
• 显式构造一个四维例子（基于 Ein-Lazarsfeld 的三维例子），满足 $\chi(X, \omega_X) = 0$，其中 $|3K_X|$ 无法诱导伊塔卡纤维化。

实验结果

研究问题

• RQ1 对于极大阿尔巴内塞维数代数簇，最小的 $m$ 是多少，使得 $|mK_X|$ 诱导伊塔卡纤维化？
• RQ2 在一般型且极大阿尔巴内塞维数代数簇的情形下，三 canonical 映射 $|3K_X|$ 在何种条件下是双有理的？
• RQ3 当 $\chi(X, \omega_X) = 0$ 时，三 canonical 映射是否可能无法诱导伊塔卡纤维化？若如此，导致这种失败的结构特征是什么？
• RQ4 上同调支集 $V^0(\omega_X^2, a_X)$ 和伽罗瓦覆盖结构如何影响多重 canonical 映射的行为？
• RQ5 即使在非一般型情形下，$|4K_X|$ 诱导伊塔卡纤维化的界限是否仍是最优的？

主要发现

• 对于任意极大阿尔巴内塞维数的光滑射影代数簇 $X$，四 canonical 映射 $|4K_X|$ 诱导了伊塔卡纤维化。
• 对于一般型且极大阿尔巴内塞维数的代数簇，三 canonical 映射 $|3K_X|$ 是双有理的。
• 定理 A 中的界限是最优的：存在亏格为 2 的曲线使得 $|2K_X|$ 不是双有理的，也存在四维流形使得 $|3K_X|$ 无法诱导伊塔卡纤维化。
• 构造了一个显式例子（基于 Ein-Lazarsfeld 的三维流形）：一个极大阿尔巴内塞维数的四维流形，满足 $\chi(X, \omega_X) = 0$，其中 $|3K_X|$ 无法诱导伊塔卡纤维化。
• 三 canonical 映射无法诱导纤维化的失败，与核 $\mathscr{Q} = \mathscr{K}/\operatorname{pr}_Z^*\widehat{A}_Z$ 的结构密切相关，特别是当 $\mathscr{Q}$ 非平凡时。
• 当 $V^0(\omega_X^2, a_X)$ 包含 $\operatorname{pr}_Z^*\widehat{A}_Z$ 的平移时，通过适当选择线丛扭量化，三 canonical 映射仍可能诱导纤维化，表明失败的精确障碍。