[论文解读] On base point free theorem of threefolds in positive characteristic

Chenyang Xu|arXiv (Cornell University)|Nov 15, 2013

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

一句话总结

该论文通过证明在特征 p > 5 的代数闭域上，若一个极小三叉面 X 上的 nef 且大线丛 L 满足 L − K_X − Δ 为大且 nef，则 L 是半正则的，从而建立了 klt 三叉面的无基点自由定理。证明结合了 Keel 的相对 EWM 定理、正特征下的广义极小模型程序（MMP）技术，以及通过约化到收缩映射的例外集而实现的曲面丰沛性。

ABSTRACT

Let $(X, Δ)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-Δ$ is big and nef. We show that $L$ is indeed semi-ample.

研究动机与目标

• 在特征 p > 5 的代数闭域上，建立 klt 三叉面的无基点自由定理。
• 在 L 满足某些 nef 和 bigness 条件时，证明 K_X + Δ + L 在准射影基 U 上是半正则的。
• 证明正特征下的广义 MMP 配合 Keel 的 EWM 定理，足以推出半正则性，而无需在最后一步使用广义 MMP。
• 证明正特征下极小模型程序中极射线的典型收缩定理，包括翻转的存在性。
• 证明 EWM 映射的例外集可包含在 dlt 对的边界除子中，从而可应用曲面丰沛性。

提出的方法

• 利用正特征下对 nef 除子的 Keel 相对 EWM 定理，确保存在一个将与零交的曲线收缩的态射到代数空间。
• 应用正特征下三叉面的广义 MMP（如 HX13 和 Birkar13 所发展），允许使用任意系数运行 MMP。
• 使用一种标准技巧，通过对目标代数空间进行 étale 覆盖来修改模型，使得例外集包含在 dlt 对的边界除子中。
• 将问题约化为在例外集上检查半正则性，随后通过 klt 曲面的丰沛性证明之。
• 运用负性引理和对数极小化阈值技术构造 dlt 变换，并在所得模型上运行广义 MMP。
• 应用如下结果：若一个数值平凡的 klt 曲面对具有 nef 的反 canonical 除子，则其为 Q-线性平凡，从而推出半正则性。

实验结果

研究问题

• RQ1 能否使用广义 MMP 和 EWM 定理在正特征 p > 5 下建立 klt 三叉面的无基点自由定理？
• RQ2 与 K_X + Δ + L 关联的 EWM 映射的例外集是否允许存在一个模型，使其位于 dlt 对的边界内？
• RQ3 K_X + Δ + L 在 U 上的半正则性是否等价于其在 EWM 映射例外集上的半正则性？
• RQ4 正特征下的广义 MMP 是否可用于将一般情形约化为 HX13 中标准系数的特殊情形？
• RQ5 正特征下翻转的存在性是否可由无基点自由定理和 EWM 定理推出？

主要发现

• 当 char(k) > 5 时，若 L 为 nef 且大，且 L − K_X − Δ 为大且 nef，则 K_X + Δ + L 在 U 上是半正则的。
• EWM 映射 f: X → Z 的目标 Z 是一个准射影代数簇，且 ρ(X) − ρ(Z) = 1，确认在此设定下收缩定理成立。
• 若 EWM 映射 f 是小映射，则存在一个翻转 f^+: X^+ → Z，从而证明了在正特征下 klt 三叉面极小模型程序中翻转的存在性。
• 在通过 étale 基变换和广义 MMP 进行适当模型变换后，EWM 映射的例外集 Ex(f) 包含在边界除子 ⌊Δ⌋ 的支集中。
• K_X + Δ + L 在例外集上的限制是半正则的，这由 klt 曲面的丰沛性推出。
• 该结果表明，广义 MMP 作为中间工具在概念上是有用的，但最终的收缩定理仍为经典形式，无需广义翻转。