[论文解读] Existence of flips for generalized lc pairs

Christopher D. Hacon, Jihao Liu|arXiv (Cornell University)|May 28, 2021

Algebraic Geometry and Number Theory参考文献 70被引用 7

一句话总结

本文证明了 $\rQ$-因子 NQC 广义对偶极小模型对（lc 对）的翻转存在性，并证明了锥与收缩定理，从而在维度 $\leq 3$ 下完成了此类对的极小模型程序（MMP），并对四维中伪有效对也完成了 MMP。作者通过在特定条件下证明良好极小模型的存在性，结合基点自由定理与广义对的扰动技术，实现了这一目标。

ABSTRACT

We prove the existence of flips for $\mathbb Q$-factorial NQC generalized lc pairs, and the cone and contraction theorems for NQC generalized lc pairs. This answers a question of C. Birkar which was conjectured by J. Han and Z. Li. As an immediate application, we show that we can run the minimal model program for $\mathbb Q$-factorial NQC generalized lc pairs. In particular, we complete the minimal model program for $\mathbb Q$-factorial NQC generalized lc pairs in dimension $\leq 3$ and pseudo-effective $\mathbb Q$-factorial NQC generalized lc pairs in dimension $4$.

研究动机与目标

• 解决 J. Han 和 Z. Li 关于广义对偶极小模型对的翻转与收缩存在性的猜想。
• 建立 $\rQ$-因子 NQC 广义对偶极小模型对的极小模型程序（MMP）。
• 证明 NQC 广义对偶极小模型对的锥与收缩定理，从而完成该背景下 MMP 的基础框架。
• 证明 $\rQ$-因子 NQC 广义对偶极小模型对在维度 $\leq 3$ 时的 MMP 终止性，以及四维中伪有效对的 MMP 终止性。
• 通过在适当假设下证明基点自由定理与良好极小模型定理，扩展广义对的理论。

提出的方法

• 在存在非空开子集上具有良好极小模型且模数除子可下降的条件下，证明 NQC 广义对偶极小模型对存在良好极小模型。
• 使用扰动技术变形广义对，并应用基点自由定理构造收缩映射。
• 应用子邻接公式与半稳定化技术，分析广义对在有理变换与翻转下的行为。
• 利用 $b$-除子与有理多面体研究相对 Néron-Severi 空间中曲线锥与极小射线的结构。
• 利用 $K_X + B + \mathbf{M}_X$ 在稠密开子集上限制后在基上数值平直的性质，推导出极小射线的有理性。
• 使用 dlt 变换与拉回技术，将问题约化至 $\rQ$-因子 klt 对的情形，此时已知的 MMP 结果可直接应用。

实验结果

研究问题

• RQ1 在维度 $\leq 3$ 时，$\rQ$-因子 NQC 广义对偶极小模型对的极小模型程序（MMP）是否终止？
• RQ2 能否为 $\rQ$-因子 NQC 广义对偶极小模型对建立翻转的存在性？
• RQ3 锥与收缩定理是否对 NQC 广义对偶极小模型对成立，从而确保极小射线由有理曲线有理生成且负交数有界？
• RQ4 在适当条件下，若广义对在稠密开子集上存在良好极小模型，是否可推出整个广义对也存在良好极小模型？
• RQ5 在四维中，能否对伪有效 $\rQ$-因子 NQC 广义对偶极小模型对运行 MMP？

主要发现

• 证明了 $\rQ$-因子 NQC 广义对偶极小模型对的翻转存在性，其中翻转映射 $X^+ \to Z$ 为 $\rQ$-因子且满足 $\rho(X) = \rho(X^+)$。
• 建立了 NQC 广义对偶极小模型对的锥与收缩定理，表明每个 $(K_X + B + \mathbf{M}_X)$-负极小射线均为有理射线，且由负交数有界的有理曲线张成。
• 可对 $\rQ$-因子 NQC 广义对偶极小模型对运行 MMP，其结果为 Mori 纤维空间、极小模型，或无限序列的翻转。
• 在维度 $\leq 3$ 时，$\rQ$-因子 NQC 广义对偶极小模型对的 MMP 终止；在四维中，伪有效对的 MMP 也终止。
• 在广义对在稠密开子集上具有良好极小模型，且模数除子在该子集上可下降并数值平直的条件下，证明了 NQC 广义对偶极小模型对存在良好极小模型。
• 翻转构造保持了 $\rQ$-因子性与 Picard 数，确保与广义对的 MMP 兼容。