[论文解读] On the three dimensional minimal model program in positive characteristic

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|Feb 1, 2013

Algebraic Geometry and Number Theory参考文献 32被引用 19

一句话总结

该论文在正特征 p > 5 下，于标准系数条件下，证明了三维 klt 与终端对的翻转与极小模型的存在性。通过适配 Shokurov 的 pl-翻转方法，并利用 Frobenius 分裂技术以克服 Kawamata-Viehweg vanishing 定理的失效，证明了受限全Canonical 环的有限生成性，从而完成了该设定下三维流形的极小模型程序。

ABSTRACT

Let $f:(X,B) o Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the flip of $f$ exists. As a consequence, we prove the existence of minimal models for any projective $\Q$-factorial terminal variety $X$ with pseudo-effective canonical divisor $K_X$.

研究动机与目标

• 在正特征 p > 5 下，建立三维 dlt 对的翻转存在性。
• 证明具有拟有效 canonical 除子的射影 Q-因子终端三维流形的极小模型存在性。
• 通过基于 Frobenius 的技术克服正特征下 Kawamata-Viehweg vanishing 定理的失效。
• 在标准系数条件下，将极小模型程序推广至正特征三维流形。
• 证明当基域为正特征代数闭域时，可通过修改后的 MMP 构造极小模型。

提出的方法

• 将 Shokurov 的 pl-翻转约化策略适配至正特征，将翻转存在性问题约化为受限全Canonical 环的有限生成性。
• 利用 Frobenius 分裂技术稳定与受限代数 R_S/Z(K_X + S + B) 相关的移动 b-除子序列。
• 通过证明 1/m M_{m,S'} 降阶至固定模型并借助相对半正则性与 Keel 判别法实现稳定，从而证明该序列的稳定。
• 应用伴随的逆定理与 dlt 对的伴随关系，将整体空间上的奇点与除子 S 上的奇点联系起来。
• 利用 K_{X̄} + B̄ 在 X 上的相对半正则性，通过 Keel 在相对设定下的半正则性定理，推导出其全局半正则性。
• 利用在特征 p > 5 时，F-奇点与 Frobenius 分裂可控制上同调消失与基点自由行为这一事实。

实验结果

研究问题

• RQ1 在正特征 p > 5 且满足标准系数条件时，三维流形的极小模型程序是否成立？
• RQ2 尽管 Kawamata-Viehweg 消失定理在正特征下失效，是否仍可建立翻转的存在性？
• RQ3 在正特征下，受限代数 R_S/Z(K_X + S + B) 的有限生成性是否足以保证翻转的存在性？
• RQ4 当基域为正特征代数闭域时，能否通过修改后的 MMP 构造极小模型？
• RQ5 在何种条件下，具有拟有效 canonical 除子的三维流形对在正特征下必然存在极小模型？

主要发现

• 对于任意在特征 p > 5 下的极小 dlt 翻转收缩 f:(X,B) → Z，且 {B} 的系数属于标准集合 {1 - 1/n | n ∈ ℕ}，翻转存在。
• 对于任意射影 Q-因子终端三维流形 X，若其 canonical 除子 K_X 为拟有效，且 Δ 的所有系数属于标准集合，且满足 N_σ(K_X + Δ) ∧ Δ = 0，则极小模型存在。
• 若基域为正特征代数闭域，即 k = Ḟ_p，则可通过运行标准 (K_X + Δ)-MMP 得到极小模型。
• 对充分可除的 m，有理 b-除子序列 1/m M_{m,S'} 实现稳定，这蕴含受限代数 R_S/Z(K_X + S + B) 的有限生成性。
• 通过使用 dlt 变换的存在性与 Frobenius 分裂技术，作者得以绕过正特征下消失定理的失效。
• Keel 的相对半正则性判别法被用于推导出 K_{X̄} + B̄ 在 X 上为半正则，这对证明有限生成性与翻转存在性至关重要。