[论文解读] Strong $(\delta,n)$-Complements for Semi-Stable Morphisms

Stefano Filipazzi, Joaqu ́ın Moraga|arXiv (Cornell University)|Aug 20, 2019

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

一句话总结

本文建立了法诺型广义 $\epsilon$-对数 Fano 对的全局强 $(\delta,n)$-补全的有界性，并证明了半稳定态态射的局部有界性部分结果。通过极小模型程序和广义伴随理论的技术，获得了广义对的有效 canonical bundle 公式和伴随公式，并表明强补全的存在性蕴含 McKernan 对 Mori 纤维空间底面奇点的猜想。

ABSTRACT

We prove the boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano-type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable morphisms. As applications, we prove an effective generalized canonical bundle formula for generalized klt pairs and an effective generalized adjunction formula for exceptional generalized log canonical centers. Moreover, we prove that the existence of strong $(\delta,n)$-complements implies a conjecture due to McKernan concerning the singularities of the base of a Mori fiber space.

研究动机与目标

• 证明广义 $\epsilon$-对数 Fano 对的全局强 $(\delta,n)$-补全的有界性。
• 建立半稳定态态射的局部强 $(\delta,n)$-补全有界性的部分结果。
• 为具有受控系数的广义对导出有效广义 canonical bundle 公式和伴随公式。
• 证明强 $(\delta,n)$-补全的存在性蕴含 McKernan 对 Mori 纤维空间底面奇点的猜想。

提出的方法

• 将 Birkar 关于 $(0,n)$-补全和法诺簇有界性的研究技术推广至广义对情形。
• 使用带缩放的极小模型程序和相对减小基座落，构造开子集上的法诺型模型。
• 应用广义 canonical bundle 公式，在底面和例外对数极小中心上诱导广义对。
• 利用半稳定态态射理论控制奇点，并确保局部情形下的有界性。
• 借助系数集的下降链条件和 Cartier 指数控制，确保有效有界性。
• 通过基变换保持性将问题约化为已知的法诺簇有界性和有效伴随的结果。

实验结果

研究问题

• RQ1 广义 $\epsilon$-对数 Fano 对的全局强 $(\delta,n)$-补全是否可有界？
• RQ2 在何种条件下，半稳定态态射的局部强 $(\delta,n)$-补全具有有界性？
• RQ3 广义 canonical bundle 公式能否在系数和模部分均匀有界下实现有效化？
• RQ4 对例外广义对数极小中心的广义伴随能否在受控系数下实现有效化？
• RQ5 强 $(\delta,n)$-补全的存在性是否蕴含 McKernan 对 Mori 纤维空间底面奇点的猜想？

主要发现

• 定理 1.3 在特征零代数闭域上，建立了广义 $\epsilon$-对数 Fano 对的全局强 $(\delta,n)$-补全的有界性，其中当 $M'$ 平凡或 $\Lambda$ 有限时，$\delta = \epsilon$。
• 定理 1.4 在 $\Lambda$ 有限、$M'$ 平凡、$mK_Z$ 为 Cartier 且 $\delta > 0$ 依赖于 $m$ 和设定的条件下，证明了半稳定态态射的局部强 $(\delta,n)$-补全的部分有界性。
• 定理 1.5 提供了有效广义 canonical bundle 公式：对 $f: X \to Z$ 满足 $K_X + B + M \sim_{\mathbb{Q},Z} 0$，存在广义对 $(Z, B_Z + M_Z)$，使得 $K_X + B + M \sim_{\mathbb{Q}} f^*(K_Z + B_Z + M_Z)$，其中 $\operatorname{coeff}(B_Z) \subset \Omega$，且存在仅依赖于 $d$、$p$ 和 $\Lambda$ 的 $q$，使得 $qM'_Z$ 为 Cartier。
• 推论 1.7 给出了对例外广义对数极小中心的有效广义伴随公式：对 $X$ 中的中心 $W$，存在广义对 $(W, B_W + M_W)$，使得 $(K_X + B + M)|_W \sim_{\mathbb{Q}} K_W + B_W + M_W$，且 $\operatorname{coeff}(B_W) \subset \Omega$，$qM'_W$ 为 Cartier，其中 $q$ 仅依赖于 $d$、$p$ 和 $\Lambda$。
• 定理 1.10 表明猜想 1.1 蕴含 McKernan 对 Mori 纤维空间底面奇点的猜想，并在 $K_X$ 的 Cartier 指数有界的附加假设下证明了该猜想。
• 本文确认了在基变换后模部分 $qM'_Z$ 为 Cartier，且底面上诱导的广义对满足系数的下降链条件，且有理累积点存在。