[论文解读] Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic

Bhargav Bhatt, Linquan Ma+5 more|arXiv (Cornell University)|Dec 31, 2020

Algebraic Geometry and Number Theory参考文献 109被引用 22

一句话总结

该论文在剩余特征大于五的混合特征情形下，建立了三维算术代数簇的极小模型程序（MMP）。通过引入全局+-正则簇的概念——这是全局F-正则性的混合特征类比——该研究证明了在剩余特征大于五的优良域上，klt三维簇的极小模型与Mori纤维空间的存在性，拓展了正特征中的基础结果，并解决了该设定下藤田猜想的关键情形。

ABSTRACT

We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic.

研究动机与目标

• 该论文旨在将极小模型程序（MMP）扩展至剩余特征大于五的混合特征情形下的三维簇。
• 该研究致力于发展全局F-正则性的混合特征类比，引入了全局+-正则簇的新概念。
• 该研究通过使用弗罗贝尼乌斯映射与科恩-麦克aul伊代数，构建替代工具以应对正特征与混合特征中经典消失定理（如 Kawamata-Viehweg）的失效。
• 该研究通过截面环与完备化技巧，将藤田猜想关于伴随线丛推广至混合特征。
• 该研究目标包括证明在剩余特征大于五的优良域上，klt三维簇的翻转存在性与MMP的终止性。

提出的方法

• 作者利用绝对整闭包 R+ 及其在混合特征下的科恩-麦克aul伊性质，基于 Bhargav Bhatt 的工作，引入了全局+-正则簇。
• 他们定义并研究了伴随线丛的+-稳定截面子集 B₀，分析其在变换与完备化下的行为。
• 该方法依赖于大科恩-麦克aul伊代数理论及F-正则性的混合特征类比，特别是BCM-正则性。
• 他们利用分次环与截面环推广藤田猜想，证明在某些情形下 |mK_X + L| 对于 m ≥ 3 是非常 ample 的。
• 翻转与终止性的证明依赖于限制代数的有限生成性，以及在混合特征下对拟正与大线丛的基点自由定理。
• 通过构造纤维化与Lefschetz铅笔，验证了应用Saito关于退化点集与判别除子定理的条件。

实验结果

研究问题

• RQ1 当剩余特征大于五时，极小模型程序能否被扩展至混合特征下的三维簇？
• RQ2 全局F-正则性的正确混合特征类比是什么？它与双有理几何及消失定理有何关联？
• RQ3 藤田猜想关于伴随线性系统在混合特征下是否成立，特别是对klt三维簇上的ample线丛？
• RQ4 能否通过完备化与截面环技巧，在混合特征下建立翻转存在性与MMP终止性？
• RQ5 伴随线丛在变换下的行为如何？+-稳定截面在此情境中起什么作用？

主要发现

• 在混合特征 (0, p > 5) 下，三维簇的极小模型程序被完全确立，包括极小模型与Mori纤维空间的存在性。
• 该论文引入了全局+-正则簇作为全局F-正则性的混合特征类比，其推广了全局分裂簇的概念。
• 作者证明：对于剩余特征 >5 的优良域 R 上的 klt 三维簇 X，当 L 足够 ample 时，K_X + L 的截面环是全局+-正则的。
• 证明了混合特征下的藤田猜想版本：对于具有 ample 线丛 L 的 klt 三维簇 X，当 m ≥ 3 时，线性系统 |mK_X + L| 是非常 ample 的。
• 当 v > 1 时，表面 Lefschetz 铅笔的判别除子次数由 β(v) = 213v + 48 有界；当 v = 1 时，有界为 373，从而保证了稳定极限的存在性。
• 通过限制代数的有限生成性与混合特征下对拟正与大线丛的基点自由定理，确立了翻转的存在性。