[论文解读] Abundance for Kaehler threefolds

Frédéric Campana, Andreas Hoering+1 more|arXiv (Cornell University)|Mar 13, 2014

Geometry and complex manifolds参考文献 30被引用 8

一句话总结

该论文通过证明若 canonical divisor $K_X$ 为 nef，则其为 semi-ample（即存在某个倍数 $mK_X$ 全局生成），从而确立了具有终端奇点的紧致 Kähler 三复乘的丰沛猜想。证明依赖于将极小模型程序推广至 Kähler 三复乘上的对数对，使用对偶 Kähler 锥的广义锥定理与收缩定理，并通过分析 Albanese 映射与有限覆盖来排除数值维数为 0 但 canonical 类非平凡的情况。

ABSTRACT

Let X be a compact Kaehler threefold with terminal singularities such that K\\_X is nef. We prove that K\\_X is semiample.

研究动机与目标

• 确立具有终端奇点的紧致 Kähler 三复乘的丰沛猜想。
• 将极小模型程序推广至非代数设定下的 Kähler 三复乘上的对数对。
• 证明在 Kähler 范畴中，canonical divisor 的 nef 性意味着 semi-ampleness。
• 解决关于无正维子簇的简单 Kähler 三复乘结构的长期猜想。
• 证明一个非代数的 Kähler 三复乘若满足 $\kappa(X) = 0$，则存在一个有限覆盖，其双全纯等价于一个环面或一个椭圆曲线与一个 K3 曲面的乘积。

提出的方法

• 为具有有理奇点的 Kähler 三复乘上的 lc 对建立弱锥定理，以 dual Kähler 锥 $\overline{\mathrm{NA}}(X)$ 取代 Mori 锥。
• 在 dlt 与 slc 奇点假设下，证明 $(K_X + \Delta)$-负极小射线的收缩定理。
• 利用基点自由定理与 Kawamata 的判别准则，将丰沛问题约化为证明 $\kappa(X) = \nu(X)$。
• 分析有限循环覆盖 $X' \to X$（其 canonical 簷为平凡）的 Albanese 映射 $\alpha: X' \to \mathrm{Alb}(X')$。
• 应用关于阿贝尔簇上椭圆与纤维丛结构的结果，分类当 $\kappa(X) = 0$ 时 $X'$ 的几何结构。
• 通过有限 étale 基变换与相对极小模型程序，证明 $X'$ 在有限 étale 基变换后双全纯等价于一个环面或乘积 $A' \times F$，其中 $F$ 为 K3 或环面曲面。

实验结果

研究问题

• RQ1 具有终端奇点的紧致 Kähler 三复乘是否满足丰沛猜想？
• RQ2 极小模型程序能否推广至非代数 Kähler 三复乘上的对数对？
• RQ3 一个非代数的 Kähler 三复乘若满足 $\kappa(X) = 0$ 且无正维子簇，其结构如何？
• RQ4 在何种条件下，Kähler 三复乘上的 nef canonical divisor 是 semi-ample？
• RQ5 一个无非平凡全纯函数且满足 $\kappa(X) = 0$ 的紧致 Kähler 三复乘是否双全纯等价于一个环面的商？

主要发现

• 对于任意 $\mathbb{Q}$-因子化的紧致 Kähler 三复乘，若其具有终端奇点且 $K_X$ 为 nef，则 canonical divisor $K_X$ 为 semi-ample。
• 对于此类三复乘，数值维数 $\nu(X)$ 等于 Kodaira 维数 $\kappa(X)$，从而确认了丰沛猜想的关键步骤。
• 一个非代数的紧致 Kähler 三复乘若满足 $\kappa(X) = 0$，则存在一个有限 étale 覆盖，其双全纯等价于一个环面或一个椭圆曲线与一个 K3 曲面的乘积。
• 对于一个简单 Kähler 三复乘（在一般点处无正维子簇），存在一个双全纯态射至 $T/G$，其中 $T$ 为环面，$G$ 为有限群。
• 有限循环覆盖 $X' \to X$（满足 $K_{X'} \equiv 0$）的 Albanese 映射是满射且纤维连通；在有限 étale 基变换后，该覆盖双全纯等价于一个环面或乘积 $A' \times F$。
• 任意 $X'$ 与其极小模型 $\bar{X}$ 之间的双有理映射在 codimension 一 上为同构，且可分解为 flops；但由于最终模型上不存在此类刚性有理曲线，因此该映射为同构。