[论文解读] Restricted volumes and base loci of linear series

Lawrence Ein, Robert Lazarsfeld+3 more|ArXiv.org|Jul 8, 2006

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

一句话总结

本文引入了沿子簇的除子限制体积，证明其恰好在增广基簇上消失。主要贡献是通过限制体积的消失来刻画增广基簇的不可约分支，将经典体积理论推广至任意大除子和子簇，应用于 Seshadri 常数与喷射分离问题。

ABSTRACT

We introduce and study the restricted volume of a divisor along a subvariety. Our main result is a description of the irreducible components of the augmented base locus by the vanishing of the restricted volume.

研究动机与目标

• 定义并研究沿子簇的限制体积，将经典体积理论推广至非正则除子之外。
• 理解线丛截面在子簇上限制后的渐近行为，特别是与基簇的关系。
• 通过限制体积的消失来刻画除子的增广基簇，提供一个数值准则。
• 将体积与基簇理论推广至实除子类，并证明连续性与对数凹性性质。
• 将限制体积应用于控制大线丛的喷射分离与 Seshadri 常数。

提出的方法

• 将限制体积 $\operatorname{vol}_{X|V}(D)$ 定义为限制映射 $H^0(X, \mathcal{O}_X(mD)) \to H^0(V, \mathcal{O}_V(mD))$ 的像的渐近增长速率。
• 引入增广基簇 $\mathbf{B}_+(D)$ 为 $D - A$ 的稳定基簇，其中 $A$ 为小的正则线丛，其仅依赖于 $D$ 的数值类。
• 证明 $\operatorname{vol}_{X|V}(D) > 0$ 当且仅当 $V \not\subseteq \mathbf{B}_+(D)$，从而建立子簇包含于增广基簇中的数值准则。
• 证明限制体积在满足 $V \not\subseteq \mathbf{B}_+(\xi)$ 的类 $\xi$ 上连续、齐次次数为 $d$，且满足对数凹性。
• 利用移动相交数与乘子理想计算限制体积，并将其与 Seshadri 常数关联。
• 应用该理论通过移动 Seshadri 常数证明喷射分离结果，利用 Kawamata–Viehweg 与 Nadel 的消去定理。

实验结果

研究问题

• RQ1 如何以一种能捕捉渐近线性系列行为的方式，将除子的体积限制到子簇上？
• RQ2 限制体积与除子的增广基簇之间的确切关系是什么？
• RQ3 限制体积能否用于刻画增广基簇的不可约分支？
• RQ4 限制体积在数值等价关系下如何表现？其在除子类实向量空间中的连续性如何？
• RQ5 限制体积在多大程度上能控制大线丛的喷射分离与 Seshadri 常数？

主要发现

• 限制体积 $\operatorname{vol}_{X|V}(D)$ 为正当且仅当 $V$ 不包含于增广基簇 $\mathbf{B}_+(D)$，从而为基簇提供了数值刻画。
• 限制体积仅依赖于 $D$ 的数值等价类，在满足 $V \not\subseteq \mathbf{B}_+(\xi)$ 的类 $\xi$ 上连续，并唯一延拓为 $\textnormal{Big}^{V}(X)^{+}_{\mathbf{R}}$ 上的连续函数。
• 限制体积关于齐次度 $d$，并满足对数凹不等式 $\operatorname{vol}_{X|V}(\xi_1 + \xi_2)^{1/d} \geq \operatorname{vol}_{X|V}(\xi_1)^{1/d} + \operatorname{vol}_{X|V}(\xi_2)^{1/d}$。
• 限制体积可通过移动相交数计算，将经典相交理论推广至大除子。
• 若移动 Seshadri 常数 $\epsilon(\parallel D \parallel; x) > \frac{s+n}{p}$，则线丛 $|K_X + pD|$ 在点 $x$ 处可分离 $s$-阶喷射，推广了对正则线丛的结果。
• 限制体积在 $\mathbf{B}_+(D)$ 的任意分支上恒为零，且其零点集恰好识别出增广基簇。