[论文解读] An elementary semi-ampleness result for log canonical divisors

Shigetaka Fukuda|arXiv (Cornell University)|Mar 6, 2010

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

一句话总结

该论文证明：若在具有 Kawamata 对数终端奇点的射影代数簇上，对数 canonical 除子 $K_X + \Delta$ 与一个半ample $\mathbf{Q}$-除子数值等价，则 $K_X + \Delta$ 本身也是半ample。证明利用相对半ample性定理与数值等价性，将问题约化为双有理几何论证，最终通过 Zariski 主定理与数值等价性下 ample 性的保持性，得出该除子为半ample。

ABSTRACT

If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.

研究动机与目标

• 建立在与半ample $\mathbf{Q}$-除子数值等价条件下，对数 canonical 除子的半ample性判别准则。
• 为 Kawamata 对数终端对的对数丰沛猜想的一个特例，提供一个直接且初等的证明。
• 将关于数值平凡对数 canonical 除子的已知结果，推广至更广泛的与半ample 除子数值等价的情形。
• 为对数 canonical 奇点提出一个子猜想，将主结果推广至更广的对类。
• 通过使用相对半ample性与数值等价性，提供一个自包含的论证，避免使用高级的极小模型程序技术。

提出的方法

• 通过足够大且可除的 $l$ 的线性系统 $|lD|$ 构造一个态射 $f: X \to Y$，其中 $D$ 是一个与 $K_X + \Delta$ 数值等价的半ample $\mathbf{Q}$-Cartier $\mathbf{Q}$-除子。
• 由构造可知 $K_X + \Delta$ 是 $f$-nef，因为它与 $Y$ 上某个 ample 除子 $A$ 的拉回 $f^*A$ 数值等价。
• 应用 $\mathbf{Q}$-线性平凡性结果（命题 0.4）于 $f$ 的一般纤维 $F$，证明 $(K_X + \Delta)|_F$ 是 $\mathbf{Q}$-线性平凡的。
• 利用相对半ample性定理（命题 0.7）推出 $K_X + \Delta$ 是 $f$-半ample，因此存在某个 $h$-ample 除子 $B$ 在 $Z$ 上，使得 $m(K_X + \Delta) = g^*B$。
• 通过 $f^*(mA - lB)$ 的数值平凡性，证明复合态射 $h: Z \to Y$ 是双有理且有限的，并应用 Zariski 主定理，得出 $h$ 是同构。
• 最终得出 $lB$ 在 $Y$ 上是 ample 的，因此由数值等价性与 ample 性的保持性，可推出 $K_X + \Delta$ 是半ample的。

实验结果

研究问题

• RQ1 当对数 canonical 除子 $K_X + \Delta$ 与一个半ample $\mathbf{Q}$-除子数值等价时，在何种条件下它是半ample？
• RQ2 能否在数值等价性下，由相对半ample性定理推导出 $K_X + \Delta$ 的半ample性？
• RQ3 若 $K_X + \Delta$ 在一般纤维上的限制是 $\mathbf{Q}$-线性平凡的，是否能推出其全局半ample性？
• RQ4 在 Kawamata 对数终端情形下，能否通过与半ample 除子的数值等价性来推进对数丰沛猜想？
• RQ5 在何种最小奇点条件下，主结果可被推广，特别是对对数 canonical 对？

主要发现

• 若在具有 Kawamata 对数终端奇点的射影代数簇上，对数 canonical 除子 $K_X + \Delta$ 与一个半ample $\mathbf{Q}$-Cartier $\mathbf{Q}$-除子数值等价，则 $K_X + \Delta$ 是半ample的。
• 该证明依赖于对由与之数值等价的半ample 除子诱导的态射 $f: X \to Y$ 应用相对半ample性定理（命题 0.7）。
• 由命题 0.4 保证，$K_X + \Delta$ 在一般纤维 $F$ 上的限制是 $\mathbf{Q}$-线性平凡的。
• 通过 Zariski 主定理，证明由相对半ample性诱导的态射 $h: Z \to Y$ 是同构，从而推出 $K_X + \Delta$ 是半ample的。
• 由于 $mA$ 的 ample 性与数值等价性，$lB$ 在 $Y$ 上的 ample 性得以确立，从而确认 $K_X + \Delta$ 是半ample的。
• 该结果支持一个子猜想（猜想 0.8），将结论推广至对数 canonical 奇点，该猜想后由 Gongyo 在维数 ≤ 4 的情形下部分证实。