[论文解读] Uniruledness of stable base loci of adjoint linear systems with and without Mori Theory

Sébastien Boucksom, Amaël Broustet+1 more|arXiv (Cornell University)|Feb 6, 2009

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

一句话总结

本论文利用极小模型程序和 Takayama 的延拓技巧，建立了 klt 对 $(X, \Delta)$ 上伴随除子的稳定基簇与增强基簇的非有理曲面性。证明了当 $(X, \Delta)$ 为 klt 对时，伴随除子 $K_X + \Delta$ 的非奈尔、受限及增强基簇的不可约分支均为有理曲面，推广了此前对光滑簇与奈尔 canonical 丛的结果。

ABSTRACT

We explain how to deduce from recent results in the Minimal Model Program a general uniruledness theorem for base loci of adjoint divisors. We also show how to recover special cases by extending a technique introduced by Takayama.

研究动机与目标

• 利用极小模型程序建立 klt 对 $(X, \Delta)$ 上伴随除子 $K_X + \Delta$ 的基簇有理曲面性的研究。
• 将 Takayama 的方法推广至 $-K_X$ 或 $L - K_X$ 为奈尔的情形，以证明基簇的有理曲面性。
• 阐明在伴随线性系统背景下，非奈尔、受限与增强基簇之间的关系。
• 为有理曲面性结果提供一个通用框架，适用于大除子与拟有效伴随除子。

提出的方法

• 利用极小模型程序（MMP）分析 klt 对 $(X, \Delta)$ 中基簇的结构。
• 应用稳定基簇 $\mathbb{B}(D)$ 的定义，即所有 $\mathbb{R}$-线性等价有效除子的支集的交集。
• 采用增强基簇 $\mathbb{B}_+(D)$ 与受限基簇 $\mathbb{B}_-(D)$，研究线性系统渐近行为。
• 应用 Takayama 的对数多重 canonical 形式延拓定理，推导出特殊情形下的有理曲面性。
• 利用丢番图逼近构造基簇阈值的有理逼近，以实现约化论证。
• 通过 $\mathbb{Q}$-线性等价中的分解技术，将问题约化为验证辅助除子的放大性或奈尔性。

实验结果

研究问题

• RQ1 当 klt 对 $(X, \Delta)$ 满足何种条件时，稳定基簇 $\mathbb{B}(K_X + \Delta)$ 的不可约分支为有理曲面？
• RQ2 Takayama 的方法能否推广至无需假设光滑性或 $-K_X$ 为零的情形，以证明基簇的有理曲面性？
• RQ3 伴随除子的非奈尔簇 $\mathop{\rm NNef}(D)$、$\mathbb{B}_-(D)$ 与 $\mathbb{B}_+(D)$ 之间存在何种关系？
• RQ4 当 $(X, \Delta)$ 具有对数典范而非 klt 奇点时，基簇的有理曲面性是否仍然成立？
• RQ5 该有理曲面性结果能否推广至非大伴随除子？

主要发现

• 当 $(X, \Delta)$ 为 klt 对时，非奈尔簇 $\mathop{\rm NNef}(K_X + \Delta)$ 的每个不可约分支均为有理曲面。
• 对于大伴随除子 $K_X + \Delta$，$\mathbb{B}_+(K_X + \Delta)$ 的每个不可约分支均为有理曲面。
• 若 $X$ 光滑，且 $-K_X$ 或 $L - K_X$ 为奈尔，则当 $L$ 为拟有效时，$\mathbb{B}_-(L)$ 的每个分支均为有理曲面。
• 若 $L$ 为大除子，且 $-K_X$ 或 $L - K_X$ 为奈尔，则 $\mathbb{B}(L)$ 与 $\mathbb{B}_+(L)$ 的每个分支均为有理曲面。
• 对 klt 对，有 $\mathop{\rm NNef}(K_X + \Delta) = \mathbb{B}_-(K_X + \Delta)$ 成立，且两个簇的分支均为有理曲面。
• 在对数典范对中，该结果一般不成立，如例 6.4 所示的反例所示。