[论文解读] On the MMP for rank one foliations on threefolds

Paolo Cascini, Calum Spicer|arXiv (Cornell University)|Dec 21, 2020

Algebraic Geometry and Number Theory参考文献 63被引用 26

一句话总结

本文证明了在Q-因子化klt三叉上，对秩一叶层对的翻转存在性，扩展了McQuillan对叶层的极小模型程序。通过构造一个叶层补全，并利用诱导叶层的正规型分析翻转曲线的形式邻域，作者在较温和的奇点条件下证明了翻转的存在性，从而使得叶层极小模型程序得以运行，并实现了伪有效典范叶层的极小模型存在性。

ABSTRACT

We prove existence of flips for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a wider range of singularities, after McQuillan.

研究动机与目标

• 将McQuillan对叶层的极小模型程序扩展至具有对数典范奇点的三叉。
• 在Q-因子化klt三叉上，建立秩一叶层对(F, Δ)的翻转存在性。
• 通过控制环境簇的奇点，将叶层的双有理几何与经典双有理几何联系起来。
• 证明若一个三叉具有典范叶层且具有孤立奇点，则该三叉本身必具有对数典范奇点。
• 为在比以往更广范围的奇点下建立三叉上叶层的极小模型存在性提供框架。

提出的方法

• 通过构造一个高度奇异且F-不变的除子D（包含翻转曲线C），将KF-翻转约化为(KX + D)-翻转。
• 在目标Z上使用一个叶层补全E，使得Kf∗F + E是Q-_cartier，且(f∗F, E)具有较温和的奇点。
• 通过形如∑nixi∂/∂xi（其中ni为非负整数）的向量场给出的正规型，分析Z上的诱导叶层f∗F。
• 对翻转曲线C的形式邻域进行详细分析，通过加权爆破与爆破下映射构造出类似翻转的手术。
• 在保持叶层不变性的同时，通过D的选择，将经典MMP技术应用于对(X, D)。
• 通过在辅助除子Gk和Eℓ上使用归纳法与除子收缩论证，证明Z上的MMP终止并收缩所有例外除子。

实验结果

研究问题

• RQ1 能否在具有klt奇点的三叉上，对具有对数典范奇点的秩一叶层对构造翻转，从而将McQuillan的结果从商奇点推广？
• RQ2 环境三叉的奇点与其上典范叶层的奇点之间存在何种关系？
• RQ3 能否在比以往更广范围的奇点下，建立三叉上叶层的极小模型存在性？
• RQ4 在不假设三叉上叶层的典范模型定理成立的前提下，能否通过叶层的奇点来控制环境簇的奇点？
• RQ5 如何通过叶层不变量描述翻转曲线的形式邻域，以实现翻转的显式构造？

主要发现

• 在Q-因子化klt射影三叉上，对秩一叶层对(F, Δ)的翻转存在性已得证，如定理8.8所述。
• 在假设KF + Δ为伪有效的情况下，可运行此类叶层的极小模型程序，从而得到极小模型，如定理8.10所示。
• 若一个正规三叉上存在具有孤立奇点的典范叶层，则该三叉本身必具有对数典范奇点，如定理4.3所示。
• 在具有秩一叶层的三叉中，翻转曲线的形式邻域可由具有非负整数系数的向量场描述，从而实现翻转的显式构造。
• 在翻转收缩的目标Z上，MMP会收缩所有例外除子Gk和Eℓ，确保终止性并保证翻转的存在性。
• 最终的翻转f+: X+ → Z是小映射，且KF+在Z上为ample，确认翻转满足所需的极小性条件。