[论文解读] Toward the second main theorem on complements: from local to global

Yuri Prokhorov, Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Jun 12, 2006

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

一句话总结

该论文在两个关键猜想——Borisov-Alexeev猜想与纤维空间的有效 adjunction 猜想——的假设下，建立了 klt 对数半 Fano 代数簇的补全有界性。证明表明，对于具有有界多重性且有限类型的此类代数簇，存在一个仅依赖于维数和多重性集合的统一整数 $ n $，使得 $ n(K+B) $ 数值平凡，且 $ |-nK - n\lfloor B\rfloor - \lfloor(n+1)(B - \lfloor B\rfloor)\rfloor| \neq \emptyset $，这意味着反 canonical 系统的有效有界性。

ABSTRACT

We prove the boundedness of complements modulo two conjectures: Borisov-Alexeev conjecture and effective adjunction for fibre spaces. We discuss the last conjecture and prove it in two particular cases.

研究动机与目标

• 在高维情况下建立 klt 对数半 Fano 代数簇补全有界性的目标。
• 将补全的全局有界性问题归约为两个猜想：Borisov-Alexeev 猜想与纤维空间的有效 adjunction 猜想。
• 在额外的投影性与 FT 假设下，证明两个特殊情形下的有效 adjunction，特别是维数 $ \leq 3 $ 的情形。
• 证明补全有界性蕴含反 canonical 系统的有效自由性，并具有统一的界。

提出的方法

• 通过超标准多重性理论，将全局有界性问题约化为局部有界性问题。
• 应用极小模型程序（LMMP）将问题约化为 $ \rho = 1 $ 或 canonical 类数平凡的情形。
• 使用逼近技巧与通过对数终端变换提升补全的方法。
• 在两种情形下证明有效 adjunction：当全空间为投影且 FT 时，以及在维数 $ \leq 3 $ 的情形下。
• 构造循环 étale 覆盖以分析 0-对的结构，并控制 $ K+D $ 的阶。
• 通过分歧度控制与分量分离，排除在特定多重性条件下 $ \rho = 1 $ 的模型。

实验结果

研究问题

• RQ1 在何种条件下，klt 对数半 Fano 代数簇的 canonical 除子 $ K+B $ 允许有界的 $ n $-补全？
• RQ2 补全的有界性能否归约为 Borisov-Alexeev 猜想与纤维空间的有效 adjunction 猜想？
• RQ3 使得 $ |-nK - n\lfloor B\rfloor - \lfloor(n+1)D\rfloor| \neq \emptyset $ 成立的 $ n $ 的有效界是什么，其中 $ D = B - \lfloor B\rfloor $？
• RQ4 在哪些情形下有效 adjunction 成立，特别是维数 $ \leq 3 $ 的情形？
• RQ5 对于具有有界多重性的 0-对，$ K+D $ 的阶是否可以有界？

主要发现

• 对于维数为 $ d $、$ X $ 为 FT 且多重性属于 $ \Phi(\mathfrak{R}) $ 的 klt 对数半 Fano 代数簇 $ (X,B) $，存在一个仅依赖于 $ d $ 和 $ \mathfrak{R} $ 的统一整数 $ n = n(d,\mathfrak{R}) $，使得 $ K+B $ 是 $ n $-补全的。
• 线性系统 $ |-nK - n\lfloor B\rfloor - \lfloor(n+1)(B - \lfloor B\rfloor)\rfloor| $ 非空，且 $ n $ 仅依赖于 $ d $ 和 $ \mathfrak{R} $。
• 当 $ B = 0 $ 时，存在仅依赖于 $ d $ 的 $ n $，使得系统 $ |-nK| $ 非空，从而蕴含反 canonical 系统的有界性。
• 在维数为 3 的 0-对情形下，存在仅依赖于 $ \mathfrak{R} $ 的 $ n $，使得 $ n(K+D) \sim 0 $，且当 $ D = 0 $ 时 $ n \leq 21 $。
• 在两种情形下证明了有效 adjunction：当全空间为投影且 FT 时，以及在维数 $ \leq 3 $ 的情形下，附加假设下成立。
• 证明表明，仅需在特定 $ \varepsilon^o > 0 $ 下使用猜想 1.1，而非在一般情形下，从而减少了所需假设。