[论文解读] Minimal model program for algebraically integrable foliations and generalized pairs

Guodu Chen, Jingjun Han+2 more|arXiv (Cornell University)|Sep 27, 2023

Nonlinear Waves and Solitons被引用 4

一句话总结

本论文为具有代数可积叶状结构的 $\mathbb{Q}$-因子化叶状 dlt 对偶对及 lc 广义对偶对建立了极小模型程序（MMP），证明了锥定理、收缩定理以及翻转的存在性。论文引入了广义叶状四元组，并通过证明在特定条件下此类叶状结构由几乎全纯映射诱导，解决了 Cascini 与 Spicer 的一个猜想。

ABSTRACT

By systematically introducing and studying the structure of algebraically integrable generalized foliated quadruples, we establish the minimal model program for $\mathbb Q$-factorial foliated dlt algebraically integrable foliations and lc generalized pairs by proving their cone theorems, contraction theorems, and the existence of flips. We also provide numerous applications on their birational geometry and resolve a conjecture of Cascini and Spicer.

研究动机与目标

• 为具有代数可积叶状结构的 $\mathbb{Q}$-因子化叶状 dlt 对偶对发展极小模型程序（MMP）。
• 将 MMP 扩展至 lc 广义对偶对及广义叶状四元组，包括典范丛公式与 ACC 结果。
• 通过 MMP 技术解决 Cascini 与 Spicer 关于代数可积叶状结构结构的猜想。
• 在 nef 与 ample 条件下，为这类对偶对建立良好极小模型与 Mori 纤维空间的存在性。
• 在广义设定下证明相关除子的典范环有限生成性与基点自由性。

提出的方法

• 引入并研究代数可积广义叶状四元组的结构，作为基础框架。
• 通过归纳论证与弯折-折断技术，证明 $\mathbb{Q}$-因子化叶状 dlt 对偶对的锥定理与收缩定理。
• 利用 MMP 与缩放及超除子，建立翻转的存在性，借助有界性与有理多面体。
• 将 lc-平凡纤维化的典范丛公式应用于广义设定，推导伴随与模部分的性质。
• 利用性质 $(*)$ 与 ACSS（几乎典范、半稳定）模型控制奇点，并确保 MMP 的终止性。
• 运用双有理几何工具，如 dlt 变换、扰动以及通用推出图，处理 lc 中心。

实验结果

研究问题

• RQ1 在何种条件下，代数可积叶状结构在 $\mathbb{Q}$-因子化代数簇上的极小模型程序会终止？
• RQ2 能否为具有代数可积叶状结构的广义对偶对建立翻转与收缩的存在性？
• RQ3 当 $A$ 为 ample 且 $K_{\mathcal{F}} + B + A$ 为 nef 时，$K_{\mathcal{F}} + B + A$ 的典范环是否有限生成？
• RQ4 广义叶状四元组是否满足典范丛公式？其对模与判别部分有何影响？
• RQ5 在何种条件下叶状结构由几乎全纯映射诱导？这与 MMP 及奇点有何关联？

主要发现

• 对于具有代数可积叶状结构的 $\mathbb{Q}$-因子化射影 F-dlt 叶状三元组，锥定理、收缩定理及翻转存在性成立。
• 若 $K_{\mathcal{F}} + B + A$ 为 nef 且 $A$ 为 ample，则 $K_{\mathcal{F}} + B + A$ 为半ample，确认了基点自由性猜想的一个特例。
• 当 $B \geq A \geq 0$ 时，该对偶对 admits 良好极小模型或 Mori 纤维空间，确立了良好极小模型的存在性。
• 当 $K_{\mathcal{F}} + B + A$ 为 $\mathbb{Q}$-Cartier 时，典范环 $R(X, K_{\mathcal{F}} + B + A)$ 有限生成。
• 对于满足对所有例外除子有 $a(D, \mathcal{F}, B, \mathbf{M}) > -1$ 的广义叶状四元组，其叶状结构由几乎全纯映射诱导。
• 广义叶状四元组满足全局 ACC 与 lc 阶数的 ACC，且通过有界性结果建立了统一的有理多面体。