[论文解读] The Minimal Model Program for threefolds in characteristic five

Christopher D. Hacon, Jakub Witaszek|arXiv (Cornell University)|Nov 28, 2019

Algebraic Geometry and Number Theory参考文献 25被引用 17

一句话总结

本文在特征五中证明了三维极小模型程序（MMP）中对三重点对的翻转（flips）的存在性，从而完成了该特征下三维流形的MMP。通过使用dlt 6-补全与非标准系数个数的归纳法，作者证明了翻转的存在性，从而使得特征五下的完整MMP带缩放、基点自由定理与锥定理得以实现。

ABSTRACT

We show the validity of the Minimal Model Program for threefolds in characteristic five.

研究动机与目标

• 完成特征五下三维代数簇的极小模型程序（MMP）。
• 填补低特征下三维流形MMP的空白，特别是当标准方法因相对纯F-正则性失效而失效时。
• 将特征p > 5时已知结果推广至p = 5，由于关键F-正则性性质的崩溃，此处需采用新方法。
• 在特征五下建立MMP的基础定理，如基点自由定理与锥定理，适用于三维流形。

提出的方法

• 通过扰动与dlt变换将问题约化为具有标准系数的pl-翻转。
• 在特征五中，当相对纯F-正则性失效时，利用dlt 6-补全构造翻转。
• 对非标准系数分量个数（ζ(Δ)）使用归纳法，将其约化为更简单的情形。
• 应用F-邻接与曲面上的相对F-正则性，推导出三维对的相对纯F-正则性。
• 执行两步MMP：首先在(K_W + S_W + B_W)上进行，然后在(K_Y + aS_Y + B_Y)上进行，使用(1−a)S_Y的缩放。
• 利用负性引理与相对数值平凡性，验证最终结果即为所需的翻转。

实验结果

研究问题

• RQ1 在特征五下，三维流形的MMP是否对具有标准系数的dlt对存在翻转？
• RQ2 在特征五中，是否可通过在翻转构造中使用dlt 6-补全，克服相对纯F-正则性失效的问题？
• RQ3 在特征五下，标准MMP定理（如基点自由定理与锥定理）在多大程度上成立？
• RQ4 当canonical除子相对拟有效时，是否可在特征五下对三维流形运行带缩放的MMP？
• RQ5 在dlt与Q-因子化假设下，特征五中(K_X + Δ)-翻转收缩的翻转是否总是良定义且存在？

主要发现

• 在特征五的完美域上，对任意Q-因子化dlt三重点对(X, Δ)，其(K_X + Δ)-翻转收缩的翻转均存在。
• 若K_X + Δ相对拟有效，则特征五下三维流形的MMP带缩放在log极小模型处终止；否则终止于Mori纤维空间。
• 基点自由定理在特征五的三维klt对中成立，确保相对 nef 且大除子为半正则。
• 锥定理在特征五中成立，其Mori锥由有限多条有理曲线生成，且满足−6 ≤ (K_X + Δ) · Γ_i < 0。
• 特征五下光滑三流形的canonical环是有限生成的，从而在该情形下证实了Zariski猜想。
• 在特征五下，dlt变换与Kollár分量的存在性得以确立，扩展了高特征情形下的结果。