[论文解读] Abundance for 3-folds with non-trivial Albanese maps in positive characteristic

Lei Zhang|arXiv (Cornell University)|May 2, 2017

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

一句话总结

该论文在特征 p > 5 的代数闭域上，证明了具有非平凡 Albanese 映射的 3- folds 的对数丰沛性。通过使用典范丛公式和 F-正则性下的层的正性结果，证明了当一般纤维的 Kodaira 维数为 0 或 1，或纤维化为具有非平凡 Albanese 映射的椭圆纤维化时，对数 canonical 除数 K_X + B 是半ample 的。

ABSTRACT

In this paper, we prove abundance for 3-folds with non-trivial Albanese maps, over an algebraically closed field of characteristic $p > 5$.

研究动机与目标

• 在正特征下，建立 klt、Q-因子化、射影的 3- folds 在具有非平凡 Albanese 映射时的对数丰沛性。
• 将 Iitaka 猜想中的 Kodaira 维数的次可加性推广至在正特征下具有可能奇异的几何一般纤维的纤维化。
• 在关于一般纤维和相对 Iitaka 纤维化的特定条件下，证明 K_X + B 的半ample 性质。
• 通过处理具有奇异纤维的纤维化并应用正特征下的典范丛公式，处理了双有理纤维化的情形。

提出的方法

• 在正特征下，利用相对极小椭圆纤维化的典范丛公式，其中在强条件下有 K_W ~_Q h^*(K_Z + B_Z)，且 B_Z 有效。
• 应用 Parshin 和 Ejiri 关于弱正层 f_*O_X(n(K_X/Y + B)) 在 F-正则性和 f-ample 性下的正性结果。
• 使用对数极小模型和 Stein 分解，将问题约化为关于最大 Albanese 维数的曲线或曲面的纤维化。
• 利用假设：当 κ(X_η, K_X_η + B_η) = dim X/Y - 1 时，B 不与相对 Iitaka 纤维化的通态纤维相交，以确保椭圆纤维化结构。
• 应用定理 4.9，当 κ(X, K_X + B) ≥ 1 或 K_X + B ~_Q 0 时，得出 K_X + B 的半ample 性质。
• 依赖于 [48] 和 [8] 中关于非双有理纤维化情形下的半ample 性结果，以及维数 ≤ 3 的奇点解耦结果。

实验结果

研究问题

• RQ1 在正特征 p > 5 下，具有非平凡 Albanese 映射的 3- folds 是否满足对数丰沛性？
• RQ2 在正特征下，是否可以为具有奇异几何一般纤维的纤维化建立 Kodaira 维数的次可加性？
• RQ3 在正特征下，相对 Iitaka 纤维化在何种条件下是椭圆曲线的纤维化？
• RQ4 在正特征下，典范丛公式是否可以有效应用于证明 K_X + B 的半ample 性质？
• RQ5 非平凡 Albanese 映射如何影响纤维化的结构以及对数 canonical 除数的行为？

主要发现

• 定理 1.1 证明了在代数闭域上，若 X 是一个具有非平凡 Albanese 映射的 klt、Q-因子化、射影极小 3- fold，则 K_X 是半ample 的。
• 定理 1.2 证明了当一般纤维的 Kodaira 维数为 0（dim Y = 2）或 1（dim Y = 1）时，在 B 和相对 Iitaka 纤维化满足指定条件的情况下，K_X + B 是半ample 的。
• 定理 1.4 在相对 Iitaka 纤维化避开 B 的假设下（当一般纤维的 Kodaira 维数为 dim X/Y - 1 时），建立了子可加不等式 κ(X, K_X + B) ≥ κ(X_η, K_X_η + B_η) + κ(Y)。
• 定理 1.6 表明，若 f: X → Y 是一个到椭圆曲线或阿贝尔曲面的纤维化，且 K_X + B 是 f-big，则有 κ(K_X + B) ≥ κ(X_η, K_X_η + B_η)。
• 定理 1.7 证明了若 f: X → Y 是一个到亏格 ≥ 1 的曲线的纤维化，且 κ(X_η, (K_X + B)|_X_η) = 0，则有 κ(X, K_X + B) ≥ κ(Y)，且当 K_X + B 是 nef 时，其为半ample。
• 证明确认了当 κ(X, K_X + B) ≤ 0 时，唯一可能是 κ(Y) = κ(X_η, (K_X + B)_η) = 0，且丰沛性由 [48] 或 [20] 中的已知结果得出。