[论文解读] On maximal Albanese dimensional varieties

Osamu Fujino|ArXiv.org|Nov 15, 2009

Algebraic Geometry and Number Theory参考文献 12被引用 7

一句话总结

本文证明了每个性质光滑的射影概形，若其 Albanese 维数达到最大，则存在一个良好的极小模型，其依据是阿贝尔簇上不存在有理曲线，以及极小模型程序的相关结果。关键贡献在于确立了存在一个双有理模型，其 canonical 除子为半正则，从而解决了该类概形的良极小模型猜想的一个特例。

ABSTRACT

We prove that every smooth projective variety with maximal Albanese dimension has a good minimal model. We also treat Ueno's problem on subvarieties of Abelian varieties.

研究动机与目标

• 建立光滑射影概形在最大 Albanese 维数条件下存在良极小模型的证明。
• 解决关于阿贝尔簇子概形的 Ueno 问题，以及 canonical 除子的正则性问题。
• 证明阿贝尔簇上不存在有理曲线，可在适当条件下推出对数 canonical 除子的 nef 性与正则性。
• 为 [U, 注记 10.13] 提供补充结果，即对于具有最大 Kodaira 维数的复环面子概形，canonical 线丛为正则。

提出的方法

• 利用锥定理与有理曲线的负性，证明非 nef 的对数 canonical 除子必包含有理曲线。
• 应用基点自由定理，推导出 klt 对上大且 nef 的除子的半正则性。
• 利用阿贝尔簇不包含有理曲线的事实，推导出：若一个无有理曲线的概形到阿贝尔簇的态射是双有理的，且 canonical 除子为大除子，则该态射必为同构。
• 使用 Stein 分解与奇异点的消除，将问题约化为最大 Albanese 维数的光滑概形情形。
• 通过 [BCHM] 的极小模型程序（MMP）技术，构造良极小模型。
• 利用 canonical 环的有限生成性与在无有理曲线假设下的数值维数相等性。

实验结果

研究问题

• RQ1 每个具有最大 Albanese 维数的光滑射影概形是否都存在良极小模型？
• RQ2 在何种条件下，阿贝尔簇子概形的 canonical 除子会成为正则除子？
• RQ3 一个概形上若不存在有理曲线，是否能强制其对数 canonical 除子为 nef 或正则？
• RQ4 在最大 Albanese 维数概形的背景下，若数值维数与 Iitaka 维数相等，是否意味着半正则性？
• RQ5 对于具有最大 Albanese 维数的概形，Kodaira 维数与 canonical 除子的数值维数之间有何关系？

主要发现

• 每个具有最大 Albanese 维数的光滑射影概形都存在一个良极小模型，即存在一个双有理模型，其具有 Q-因子终端奇点，且 canonical 除子为半正则。
• 若一个射影概形无有理曲线，且其对数 canonical 除子为大除子且 klt，则该除子为正则。
• 具有最大 Kodaira 维数的复环子概形，其 canonical 线丛为正则，从而证实了 Ueno 猜想的一个特例。
• 具有最大 Albanese 维数的概形的 canonical 环是有限生成的，这在给定条件下意味着 canonical 除子的半正则性。
• 对于具有 nef canonical 除子的最大 Albanese 维数概形，其 canonical 除子的数值维数等于其 Iitaka 维数。
• 在假设数值维数等于 Iitaka 维数的条件下，具有 canonical 奇点的最大 Albanese 维数概形满足丰沛定理。