[论文解读] Minimal model program for semi-stable threefolds in mixed characteristic

Teppei Takamatsu, Shou Yoshikawa|arXiv (Cornell University)|Dec 14, 2020

Algebraic Geometry and Number Theory参考文献 35被引用 14

一句话总结

本论文通过证明在无残留特征限制下，关于优秀 Dedekind 环上的对偶对极对偶对（dlt pairs）的翻转存在性与终止性，建立了混合特征下三叉的极小模型程序（MMP）。该工作通过引入全局 T-正则性与修正（alterations）替代 F-正则性，推广了 Kawamata 的结果，使得即使在残留特征为 2 和 3 的情况下，也能对半稳定三叉实施 MMP。

ABSTRACT

In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where $π\colon X o Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,Δ)$ is a three-dimensional dlt pair with $\mathrm{Exc}(π) \subset \lfloor Δ floor $.

研究动机与目标

• 将三叉的极小模型程序（MMP）推广至混合特征情形，特别是当残留特征为 2 或 3 时。
• 推广 Kawamata 在优秀 Dedekind 环上严格半稳定概形上的 MMP 结果，消除对残留特征的依赖。
• 在准投影 $V$-概形上的 dlt 设置下，建立 $(K_{X/V} + \nabla)$-MMP 的翻转存在性与终止性。
• 通过使用全局 T-正则性与修正替代 Frobenius 映射与 F-正则性，建立混合特征下正特征翻转存在定理的类比。
• 在相对情形下证明 canonical ring 的有限生成性与 nef 除子的半正则性，以支持 MMP 框架。

提出的方法

• 为优秀 Dedekind 环 $V$ 上的对偶对引入全局 T-正则性，通过修正后 Grothendieck 迹映射的满射性来定义。
• 在混合特征情形下，用修正与 Frobenius 旋转变换替代正特征中的 Frobenius 方法。
• 利用源自 [Bha20, 定理 6.28] 的修正上消失定理，控制 MMP 过程中的上同调。
• 通过验证翻转中心及其分歧上的 T-正则性条件，证明具有 ample 边界分量的 pl-翻转存在。
• 通过正规化与普遍同胚应用基点自由定理与半正则性判别法，将问题约化至曲面情形。
• 利用 [Tan18a, 定理 5.2] 通过纤维分量与连通纤维的归纳法，建立特殊纤维上除子的半正则性。

实验结果

研究问题

• RQ1 三叉的极小模型程序能否在不设残留特征限制的混合特征下实现？
• RQ2 当 $p = 2$ 或 $p = 3$ 时，混合特征下 dlt 对的翻转存在性是否成立？
• RQ3 全局 T-正则性与修正能否替代全局 F-正则性与 Frobenius 映射，在混合特征下证明翻转存在性？
• RQ4 在优秀 Dedekind 环上，${\mathbb{Q}}$-因子化的 dlt 对下，canonical ring $R(K_{X/V} + \nabla)$ 是否有限生成？
• RQ5 在离散赋值环上三叉上的 nef 除子在何种条件下是半正则的？

主要发现

• 对于任意 dlt 对 $(X, \nabla)$ 在准投影 $V$-概形 $Z$ 上，若满足 $\rho(X/Z) = 1$ 且翻转条件成立，则 $(K_{X/V} + \nabla)$-MMP 存在且终止。
• 若对所有 $0 < \rho < 1$，局部化后对 $(S^N, (1-\rho)A_S + B_S)$ 有全局 T-正则性，则混合特征下具有 ample 边界分量的 pl-翻转存在。
• 对于优秀 Dedekind 环上 ${\mathbb{Q}}$-因子化的 dlt 对，且满足 $X_s \subset \lfloor \nabla \rfloor$，canonical ring $R(K_{X/V} + \nabla)$ 是有限生成的。
• 在离散赋值环上三叉 $X$ 上的 nef Cartier 除子 $L$，若满足 $L^\perp = \mathbb{R}[\Sigma]$，其中 $[\Sigma]$ 为 $(K_X + \nabla)$-负的极小射线，则 $L$ 是半正则的。
• 在 $V$ 上严格半稳定的三叉上，MMP 终止于极小模型或 Mori 纤维空间，且保持 Cohen-Macaulay 与几何正规的纤维条件。
• 结合 $L|_{X_s}$ 与 $L|_{X_\eta}$ 的半正则性，以及 [Wit20, 定理 1.8]，可推出 $X$ 上 $L$ 的半正则性。