[论文解读] Existence and boundedness of $n$-complements

Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Dec 11, 2020

Algebraic Geometry and Number Theory参考文献 21被引用 12

一句话总结

该论文在代数几何中建立了对对数极小模型程序中对数典范对的 $n$-补全的存在性与有界性，特别是在弱法诺型或严格 $\delta$-lc 条件下。证明了对于给定的对 $(X/Z\ni o, B)$，存在一个统一的补全指数 $n$ 的有界性，使得 $n$-补全存在，从而推广了此前关于 $\mathbb{R}$-补全的结果，并解决了极小模型程序中的关键猜想。

ABSTRACT

Theory of $n$-complements with applications is presented.

研究动机与目标

• 在极小模型程序的背景下，建立对数典范对的 $n$-补全的存在性与有界性。
• 将 $\mathbb{R}$-补全的理论扩展至 $n$-补全，特别是在弱法诺型或严格 $\delta$-lc 假设下。
• 解决关于补全指数的猜想，包括指数猜想与间隙猜想，直至三维。
• 提供一个包含 $a$-lc 条件的 $a$-$n$-补全框架，推广先前的结果。

提出的方法

• 通过乘子的下取整条件定义 $n$-补全：当 $d_i < 1$ 时，$d_i^+ \geq \lfloor (n+1)d_i \rfloor / n$，当 $d_i = 1$ 时，$d_i^+ = 1$，以确保 $D^+$ 是一个子边界。
• 应用相对线性等价关系 $K + D^+ \sim_n 0/Z\ni o$，这意味着 $n(K + D^+)$ 是Cartier的，且 $D^+$ 是一个 $\mathbb{Q}$-除子。
• 使用严格 $\delta$-lc 对的概念来控制adjunction常数与乘子，确保指数的有界性。
• 将问题约化为已知的 $\mathbb{R}$-补全结果，并对 $a$-lc 条件使用逼近技术。
• 利用 торic 例子与 $\mathbb{P}^1$ 上的多项式构造，说明 $n$-补全的行为并验证条件。
• 应用极小模型程序中的结果，包括弱法诺型与典范奇点条件，以证明指数的有界性。

实验结果

研究问题

• RQ1 在弱法诺型或严格 $\delta$-lc 条件下，对于给定的对数典范对 $(X/Z\ni o, B)$，是否存在一个统一的补全指数 $n$ 的有界性？
• RQ2 是否存在一个 $a$-lc $\mathbb{R}$-补全，能推出存在一个有界 $n$ 的 $a$-$n$-补全，特别是当 $a > 0$ 时？
• RQ3 严格 $\delta$-lc 性质与 $n$-补全的有界性之间有何关系，特别是在非完备或非法诺设置下？
• RQ4 当 $a$ 为无理数时，$n$-补全在逼近下如何表现，$a$-lc 条件对 $m/n$-逼近施加了哪些约束？
• RQ5 对于具有无界乘子的纤维化（如椭圆曲线），$n$-补全在多大程度上存在，而严格 $\delta$-lc 条件如何防止指数无界？

主要发现

• 在 $o$ 上具有弱法诺型或严格 $\delta$-lc 的对中，$n$-补全的存在性与有界性得以确立，推广了此前关于 $\mathbb{R}$-补全的结果。
• 当 $a = 0$ 时，$n$-补全的猜想成立，此类 $n$-补全称为 lc $n$-补全，其指数有界。
• 严格 $\delta$-lc 条件确保了 adjunction 常数的有界性，并防止了纤维化设置下 $n$-补全的无界性。
• 在 toric 情形中，若 $D$ 是一个子边界，则对任意 $n$，$n$-补全存在，且不变补全唯一。
• 在 $\mathbb{P}^1$ 上，$n$-补全对应于次数为 $2n$ 的多项式，其根的乘子 $\leq n$，说明了定义 2 中的乘子条件。
• 在严格 $\delta$-lc 假设下，$a$-$n$-补全的猜想得以证明，当 $a > 0$ 时 $\delta > 0$，且指数集 $\mathcal{N}$ 依赖于 $a$。