[论文解读] On the log minimal model program for $3$-folds over imperfect fields of characteristic $p>5$

Omprokash Das, Joe Waldron|arXiv (Cornell University)|Nov 11, 2019

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

一句话总结

该论文在特征 p > 5 的非完美域上建立了三维流形的对数极小模型程序（LMMP）的基础结果，证明了翻转的存在性、带有新射线长度界限的锥定理，以及对数极小模型的存在性。通过适配 F-奇点技术与基变换论证，将关键 LMMP 结果扩展至代数闭域或完美域之外的情形，使结果可应用于正特征下的高维几何与交换代数。

ABSTRACT

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal rays, and the existence of log minimal models. As well as pertaining to the geometry of fibrations of relative dimension $3$ over algebraically closed fields, they have applications to tight closure in dimension $4$.

研究动机与目标

• 将对数极小模型程序（LMMP）扩展至特征 p > 5 的非完美域上的三维流形，其中由于几何上的非整性与非正规性，标准结果失效。
• 通过发展适用于 F-有限域与非完美基域的新技术，克服基变换下 klt 奇点与消去定理的失效。
• 在特征 p > 5 的任意域上建立三维流形的翻转与对数极小模型的存在性，从而支持高维情形下的归纳应用。
• 提出一种新的锥定理形式，其射线长度界限依赖于域，取代仅在代数闭域上成立的经典界限。
• 通过与 F-奇点及 Seshadri 常数的联系，将结果应用于交换代数中的问题，特别是四维情形下的紧致闭包理论。

提出的方法

• 通过引入依赖于域次数 [k(x):k] 与域的 F-有限性的新射线长度界限，将锥定理适配至非完美域，取代经典界限 6。
• 在 F-有限域上使用 Keel 的半正则性准则与基点自由定理，证明收缩的存在性及除子的半正则性。
• 通过约化至 F-有限域并利用 F-奇点（特别是强 F-正则性）来替代消去定理，证明翻转的存在性。
• 应用广义翻转与弱 Zariski 分解理论，将带缩放的 LMMP 扩展至非完美域。
• 引入并分析任意域上的 Seshadri 常数与 Frobenius-Seshadri 常数，通过爆破与喷射分离性，将正性与几何不变量关联。
• 通过在正规闭点处的爆破定义并计算 Seshadri 常数，并通过上同调消去性将之与喷射分离性及 Frobenius 喷射分离性关联。

实验结果

研究问题

• RQ1 能否将三维流形的对数极小模型程序扩展至特征 p > 5 的非完美域？
• RQ2 当基域非代数闭时，锥定理的正确形式为何？与经典版本有何不同？
• RQ3 在特征 p > 5 的非完美域上，三维流形的翻转是否存在？若无消去定理，如何证明？
• RQ4 能否通过基变换至非完美域，将 LMMP 应用于代数闭域上相对维数为 3 的纤维化？
• RQ5 这些结果对四维情形下的紧致闭包理论有何影响，特别是通过 F-奇点与 Seshadri 常数？

主要发现

• 在特征 p > 5 的 F-有限域上，锥定理成立，且具有新射线长度界限：0 < -(K_X + B) ·_k C_i ≤ 6d_{C_i}，其中 d_{C_i} 依赖于域次数 [k(x):k] 与曲线。
• 在特征 p > 5 的任意域上，对拟射影 Q-因子 dlt 三维流形，翻转的存在性得以确立，扩展了对完美域与代数闭域的结果。
• 当 K_X + B 在基上为拟有效时，通过带缩放的 LMMP，在特征 p > 5 的 F-有限域上，klt 三维流形存在对数极小模型。
• 基点自由定理与除子的半正则性被推广至非完美域情形，关键条件为 D 与 D - (K_X + B) 均为 f-big 且 f-nef。
• 通过曲线 C 经过 x 时的 (L ·_k C)/mult_{x/k} C 的下确界，给出了任意域上 Seshadri 常数的新刻画，并将其与喷射分离性关联。
• Frobenius-Seshadri 常数 ǫ_F(L; x) 满足 ǫ(L; x)/n ≤ ǫ_F(L; x) ≤ ǫ(L; x)，且若 ǫ_F(L; x) > 1，则 H^0(ω_X ⊗ L) → H^0(ω_X ⊗ L ⊗ O_X/m_x) 是满射。