[论文解读] Boundedness of $(ε, n)$-Complements for Surfaces

Guodu Chen, Jingjun Han|arXiv (Cornell University)|Feb 6, 2020

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

一句话总结

本文建立了系数属于DCC集合 $\Gamma \subseteq [0,1]$ 的曲面对的 $(\epsilon,n)$-补全的有界性，证明了此类补全的存在性，并在该对为 $(\epsilon,\mathbb{R})$-补全时，其指数统一有界。证明依赖于丢番图逼近、统一有理多面体以及对奇点的归纳论证，将Birkar的有界性结果推广至实系数集合，为二维全局ACC猜想与指数猜想奠定了基础。

ABSTRACT

We show the existence of $(ε,n)$-complements for $(ε,\mathbb{R})$-complementary surface pairs when the coefficients of boundaries belong to a DCC set.

研究动机与目标

• 建立当边界系数属于DCC集合 $\Gamma \subseteq [0,1]$ 时，$(\epsilon,\mathbb{R})$-补全曲面对的 $(\epsilon,n)$-补全的存在性。
• 将Birkar对对数极小模型补全的有界性推广至实系数集合，填补了非有理系数补全理论中的关键空白。
• 在给定条件下，证明此类补全的指数 $n$ 被正整数 $p|n$ 统一有界，且仅依赖于 $d, p, \epsilon$ 和 $\Gamma$。
• 通过补全技术证明最小对数分歧的有界性，为二维全局ACC猜想与指数猜想提供基础。

提出的方法

• 利用丢番图逼近技术控制补全构造中系数分母，确保 $n$ 的有界性。
• 应用统一有理多面体理论线性化最小对数分歧（MLD）轨迹，实现有界性论证。
• 通过子对偶图与赋值理论对曲面奇点实施归纳策略，追踪爆破过程中的重数与分歧。
• 引入“稳定性反转”技术的改进版本，为曲面局部构造分解补全。
• 利用 $\Gamma$ 上的DCC条件，确保正线性组合存在统一下界 $\xi_j$，从而控制分歧的增长。
• 利用曲面奇点的结构与对偶图的链式特性，当 $n$ 超过可计算的界 $N_j$ 时导出矛盾，从而证明统一有界性。

实验结果

研究问题

• RQ1 对于系数属于DCC集合 $\Gamma \subseteq [0,1]$ 的 $(\epsilon,\mathbb{R})$-补全曲面对，是否存在 $(\epsilon,n)$-补全指数 $n$ 的统一有界性？
• RQ2 当 $\Gamma$ 包含无理数且 $\overline{\Gamma} \cup \{\epsilon\} \setminus \mathbb{Q}$ 避免非零有理组合时，补全的单调性性质——即 $B^+ \geq B$——是否仍能保持？
• RQ3 $(\epsilon,n)$-补全的有界性在多大程度上可超越有理系数集合，特别是在Calabi–Yau与Fano型簇的背景下？
• RQ4 如何利用丢番图逼近控制补全中系数的分母，以确保 $n$ 的统一有界性？
• RQ5 能否从此类有界补全的存在性推导出二维最小对数分歧的有界性？

主要发现

• 对于系数属于任意DCC集合 $\Gamma \subseteq [0,1]$ 的 $(\epsilon,\mathbb{R})$-补全曲面对，建立了 $(\epsilon,n)$-补全的存在性，且 $n$ 被仅依赖于 $d, p, \epsilon$ 和 $\Gamma$ 的正整数 $p|n$ 统一有界。
• 通过依赖于丢番图逼近与 $\Gamma_j$ 中元素正线性组合的统一下界 $\xi_j$ 的构造，实现了 $n$ 的统一有界性，确保 $n \leq N_j = \lfloor 1/\xi_j \rfloor$。
• 当 $\operatorname{Span}_{\mathbb{Q}_{\geq 0}}(\overline{\Gamma} \cup \{\epsilon\} \setminus \mathbb{Q}) \cap (\mathbb{Q} \setminus \{0\}) = \emptyset$ 时，单调性条件 $B^+ \geq B$ 成立，从而增强了结果在几何情境中的适用性。
• 主结果表明，二维最小对数分歧的有界性成立，因为引理4.6与引理A.3表明 $\mathcal{M}ld(2,\Gamma)$ 满足ACC。
• 证明通过基于对偶图中 $e_i$ 项增长的矛盾论证，确立了在一系列爆破过程中分歧与重数的统一有界性，若 $n$ 超过界 $N_j$ 则该增长会失败。
• 该结果证实了二维情形下的猜想1.1，为高维全局ACC与指数猜想提供了基础步骤，尤其在Calabi–Yau与Fano型簇的背景下具有重要意义。