[论文解读] The LMMP for log canonical 3-folds in char $p$

Joe Waldron|arXiv (Cornell University)|Mar 9, 2016

Algebraic Geometry and Number Theory参考文献 16被引用 5

一句话总结

本论文在特征 p > 5 的正特征下建立了对对数极小模型程序（LMMP）的对数典范 3- folds 的研究，证明了锥定理、收缩定理、翻转的存在性以及良好的对数极小模型的存在。通过使用基尔（Keel）的半正则性判别准则及对对数典范对（dlt 对）的邻接理论，证明了对数典范除子为 nef 且大时即为半正则，从而实现了此类对的完整 LMMP。

ABSTRACT

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models for pairs with log divisor numerically equivalent to an effective divisor. These follow from our main results, which are that certain log minimal models are good.

研究动机与目标

• 将对数极小模型程序（LMMP）扩展至特征 p > 5 的对数典范 3- folds。
• 在该设定下建立 LMMP 的基础定理——锥定理、收缩定理、翻转的存在性。
• 证明 nef 且大的对数典范除子为半正则，从而确保良好极小模型的存在。
• 在正特征下使用基尔（Keel）的半正则性判别准则，作为标准消去定理的替代方案。
• 通过对数典范阈值的升链条件（ACC）证明有效对的翻转序列终止。

提出的方法

• 应用基尔定理：在正特征下，线丛为半正则当且仅当其在例外子集上的限制为半正则。
• 将一个对数典范对替换为 dlt 模型，使得对数典范除子的例外子集位于边界之约化的部分内。
• 通过对边界约化部分的局部正规化应用邻接理论，将半正则性问题约化为对半对数典范曲面的丰沛性问题。
• 证明对于 dlt 对，$K_Y + B_Y$ 在 $\lfloor B_Y \rfloor$ 上的限制为半正则，从而推出整个除子的全局半正则性。
• 利用锥定理识别极小射线，并应用收缩定理构造收缩曲线在给定射线上的射影态射。
• 通过 log canonical 阈值的 ACC 应用终止性，确保有效对的翻转序列终止。

实验结果

研究问题

• RQ1 在特征 p > 5 下，对数极小模型程序能否在对数典范 3- folds 上完全实现？
• RQ2 在正特征下，即使代数簇非 Q-因子化，对数典范 3- folds 的锥定理是否仍成立？
• RQ3 在缺乏标准消去定理的正特征下，nef 且大的对数典范除子是否为半正则？
• RQ4 在特征 p > 5 下，对数典范 3- folds 的翻转是否存在？能否通过 LMMP 构造？
• RQ5 在此设定下，有效对的 LMMP 是否终止？何种条件可确保终止？

主要发现

• 在特征 p > 5 下，对数典范 3- folds 的锥定理成立：Mori 锥的闭包分解为 $K_X + B$ 的 nef 锥与有限个负极小射线之和，每个射线由具有有界负交数的有理曲线表示。
• 收缩定理已建立：任意 $K_X + B$-负极小射线均存在射影收缩，这是构造翻转的关键步骤。
• 在特征 p > 5 下，对数典范 3- folds 的翻转存在，通过 LMMP 构造对数极小模型并应用 dlt 模型上 $K_Y + B_Y$ 的半正则性得以证明。
• 良好对数极小模型存在：若 $K_X + B$ 在基 $Z$ 上为 nef 且大，则其在 $Z$ 上为半正则，从而保证良好极小模型的存在。
• LMMP 在有效对上终止：任何 $K_X + B$-翻转序列，若同时为某有效 $M \geq 0$ 的 $M$-翻转，则因 log canonical 阈值的 ACC 而终止。
• 主要技术结果为：对任意 $\mathbb{Q}$-因子化 dlt 3- fold 对 $(Y, B_Y)$，若 $K_Y + B_Y$ 为 nef，则其在 $\lfloor B_Y \rfloor$ 上的限制 $(K_Y + B_Y)|_{\lfloor B_Y \rfloor}$ 为半正则，通过邻接及对曲面已知结果，可推出 $K_Y + B_Y$ 的整体半正则性。