[论文解读] Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic

Yūjirō Kawamata|ArXiv.org|Mar 5, 1993

Algebraic Geometry and Number Theory参考文献 9被引用 51

一句话总结

本文在正特征或混合特征下将极小模型程序推广至三叉，通过在终端奇点的某个技术性假设下建立锥定理、收缩定理与翻转定理。证明了在戴德金环上具有半稳定约化的三叉存在半稳定极小模型，尽管Kodaira消去律不成立，仍推广了特征0的结果。

ABSTRACT

We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.

研究动机与目标

• 将三叉的极小模型程序推广至正特征或混合特征，此时Kodaira消去律不成立。
• 在此设定下，利用较弱的消去定理，建立锥定理、收缩定理与翻转定理。
• 证明在戴德金环上具有半稳定约化的三叉，极小模型程序可终止并产生极小模型或Mori纤维空间结构。
• 验证终端奇点的技术性假设在除子收缩与翻转下保持不变。
• 证明当一般纤维的Kodaira维数为2时，相对 canonical 环是有限生成的。

提出的方法

• 通过对数曲面理论使用锥定理，利用三叉在曲面上有纤维化的事实。
• 在缺乏Kodaira消去律的情况下，使用较弱的消去定理（引理2.1与2.2）来证明收缩定理。
• 在定义1.1中施加技术性条件(6)，以确保正特征下终端奇点行为良好。
• 通过局部 canonical 覆盖与 toric 几何技术对终端奇点进行分类，其方法与特征无关。
• 利用例外除子的最小偏离系数证明翻转过程的终止性。
• 通过相对 canonical 除子最大指数的归纳法证明翻转定理。

实验结果

研究问题

• RQ1 三叉的极小模型程序能否在正特征或混合特征下推广，此时Kodaira消去律不成立？
• RQ2 在缺乏Grauert-Riemenschneider消去律的情况下，正特征下收缩定理是否仍成立？
• RQ3 终端奇点的技术性假设(6)在翻转与除子收缩下是否保持不变？
• RQ4 正特征下翻转过程能否终止，其终止性如何保证？
• RQ5 当三叉具有半稳定约化且Kodaira维数为2时，其相对 canonical 环是否有限生成？

主要发现

• 对于在戴德金环上具有半稳定约化的射影三叉，锥定理成立，当相对 canonical 除子非 nef 时，确保存在极小射线。
• 通过使用较弱的消去定理，建立了收缩定理，使得即使在缺乏Kodaira消去律的情况下，仍可对极小射线实施收缩态射。
• 通过相对 canonical 除子最大指数的归纳法证明了翻转定理，终止性由最小偏离系数保证。
• 终端奇点的技术性假设(6)在除子收缩与翻转下保持不变，从而支持极小模型的归纳构造。
• 当一般纤维的Kodaira维数为2时，相对 canonical 环是有限生成的，且存在某个 $ m_0 $，使得层 $ \mathcal{O}_X(m_0 K_{X/\Delta}) $ 由全局截面生成。
• 极小模型程序可终止，为给定三叉在戴德金环上产生极小模型或Mori纤维空间结构。