[论文解读] Minimal model program for excellent surfaces

Hiromu Tanaka|arXiv (Cornell University)|Aug 27, 2016

Algebraic Geometry and Number Theory参考文献 15被引用 6

一句话总结

本文在优秀基概形上建立了对数可极化且Q-因子化的二维概形的极小模型程序（MMP），将经典结果从代数闭域推广至更一般的情形。通过在该推广设定下证明消去定理与基点自由定理，构造出一系列双有理变换，最终导向对数极小模型或Mori纤维空间，其应用涵盖邻接反演与连通性定理。

ABSTRACT

We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.

研究动机与目标

• 将极小模型程序（MMP）从代数闭域推广至更一般且在算术与代数几何中更广泛应用的优秀基概形。
• 证明在优秀基概形上，对数可极化与Q-因子化二维概形的极小模型与Mori纤维空间的存在性。
• 在优秀概形上的二维概形上建立基础结果，如邻接反演与Kollár–Shokurov连通性定理。
• 通过利用低维优秀概形上的结果，为Z或不完满域等环上的高维MMP提供框架。

提出的方法

• 将特征零下的标准MMP策略适配至正特征情形，证明了相对与全局情形下类Kawamata–Viehweg型的消去定理。
• 通过X方法建立基点自由定理，利用消去定理确保某些除子的数值有效性。
• 利用负性引理与锥定理分析极射线并构造MMP过程中的极收缩映射。
• 应用Lipman关于拟优秀概形的正规化定理，并要求基概形B为正则且优秀的，以确保对偶复形与canonical除子的存在性。
• 在保持对数可极化或Q-因子化奇点的前提下，构造在二维正常、射影S-概形之间的双有理映射序列。
• 利用Stein分解与几何连通性论证，证明非klt子簇的连通性，尤其在零维基概形的情形下。

实验结果

研究问题

• RQ1 能否将二维概形的极小模型程序从代数闭域推广至包括Z或不完满域在内的优秀基概形？
• RQ2 在优秀基概形上，对数可极化与Q-因子化二维概形的基点自由定理是否成立，从而支持极小模型与Mori纤维空间的构造？
• RQ3 在优秀概形上，对数可极化二维概形的非klt子簇是否几何连通？如何通过MMP技术证明这一点？
• RQ4 能否利用MMP框架将邻接反演与Kollár–Shokurov连通性定理推广至优秀概形上的二维概形？

主要发现

• 在有限维、正则、优秀、分离的概形上，对数可极化与Q-因子化二维概形的极小模型程序得以建立，推广了代数闭域上的经典结果。
• 对于从正常概形到拟射影基概形的任意射影态射，存在一系列双有理变换，最终导向对数极小模型（log canonical除子为nef）或Mori纤维空间（log canonical除子为anti-nef且纤维正维）。
• 在适当假设（如ample性与klt条件）下，证明了相对与全局情形下的Kawamata–Viehweg型消去定理，包括正特征情形。
• 邻接反演在优秀概形上的二维概形上成立，作为MMP构造的直接推论。
• 在优秀概形上，对数可极化二维概形的非klt子簇是几何连通的，其证明基于MMP与纤维层面的连通性论证。
• Kollár–Shokurov连通性定理被推广至优秀概形上的二维概形，其证明依赖于MMP与Mori纤维空间的结构。