[论文解读] Minimal model program for log canonical threefolds in positive characteristic

Kenta Hashizume, Yusuke Nakamura+1 more|arXiv (Cornell University)|Nov 29, 2017

Algebraic Geometry and Number Theory参考文献 23被引用 16

一句话总结

该论文在特征 $ p > 5 $ 的完美域上建立了三维对数极小模型程序（MMP）的终止性，将先前关于 klt 奇点的结果推广至对数极小奇点。论文证明了存在一个有限的 MMP 序列，其在极小模型或 Mori 纤维空间处终止，利用了在对数极小设定下的锥定理与基点自由定理等基础结果。

ABSTRACT

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

研究动机与目标

• 将极小模型程序（MMP）从 klt 推广至正特征下的三维对数极小三叉。
• 在特征 $ p > 5 $ 的完美域上，建立三维对数极小对的有限 MMP 存在性。
• 将基础定理（如锥定理与基点自由定理）推广至对数极小及非 $\mathbb{Q}$-因子化情形。
• 处理相对于拟射影基概形的相对情形，而不仅限于绝对情形。
• 在有效除子条件及 $f$-拟有效与 $f$-大假设下，证明翻转的终止性。

提出的方法

• 在拟射影基概形 $Z$ 上使用带缩放的相对 MMP，利用 $f$-ample 除子的存在性与扰动技术。
• 应用锥定理，描述 Mori 锥的闭包为极小射线与有效曲线之和，当 $k$ 代数闭时，$-(K_X + \Delta) \cdot C_i$ 有界。
• 应用基点自由定理，证明在三种条件下 $f$-拟正则除子的半正则性：$L - (K_X + \Delta)$ 为 $f$-半正则且 $f$-大，$L = K_X + \Delta$ 大，或 $\Delta$ 大。
• 通过归纳法对相对 Picard 数 $\rho(X/Z)$ 进行处理，利用 Stein 分解与双有理变换将问题约化至低维纤维。
• 通过 $\nu$-缩放方法构造一系列翻转与除子收缩，其中 $\nu$ 是满足 $K_X + \Delta + \mu C$ 为 $f$-拟有效时 $\mu$ 的下确界。
• 依赖于存在一个满足 $K_Y + \Delta_Y = g^*(K_X + \Delta)$ 的项目化解析 $g: Y \to X$，从而可将 MMP 行为转移至受控模型。

实验结果

研究问题

• RQ1 极小模型程序能否从 klt 推广至正特征下的三维对数极小三叉？
• RQ2 在特征 $p > 5$ 的完美域上，对数极小三叉的 MMP 是否在有限步后终止？
• RQ3 锥定理与基点自由定理在对数极小及非 $\mathbb{Q}$-因子化情形下，对完美域是否成立？
• RQ4 MMP 能否在相对于拟射影基概形 $Z$ 的情形下构造，而不仅限于绝对情形？
• RQ5 在何种条件下 MMP 会终止，特别是当 $K_X + \Delta$ 不是 $f$-拟有效时？

主要发现

• 在特征 $p > 5$ 的完美域上，三维对数极小对的 MMP 在有限步后终止。
• 锥定理在对数极小情形下成立：$\overline{\operatorname{NE}}(X/Z) = \overline{\operatorname{NE}}(X/Z)_{K_X+\Delta \geq 0} + \sum \mathbb{R}_{\geq 0}[C_i]$，当 $k$ 代数闭时，有理曲线满足 $0 < -(K_X + \Delta) \cdot C_i \leq 6$。
• 基点自由定理成立：若 $L$ 为 $f$-拟正则且满足以下三个条件之一（如 $L - (K_X + \Delta)$ 为 $f$-半正则且 $f$-大），则 $L$ 为 $f$-半正则。
• 若 $K_X + \Delta \equiv_f D$ 对某个有效 $\mathbb{R}$-Cartier 除子 $D$ 成立，则翻转的终止性得到保证，确保不会出现无限翻转序列。
• 若 $K_X + \Delta$ 不是 $f$-拟有效，则 MMP 在一个 Mori 纤维空间 $X_\ell \to Y$ 处终止，满足 $\dim Y < \dim X_\ell$。
• 在 MMP 沿途，相对 Picard 数 $\rho(X/Z)$ 严格递减，从而支持归纳法终止性论证。