[论文解读] Okounkov bodies associated to abundant divisors and Iitaka fibrations

Sung Rak Choi, Jinhyung Park+1 more|arXiv (Cornell University)|Nov 17, 2017

Algebraic Geometry and Number Theory参考文献 20被引用 5

一句话总结

本文证明了丰沛除子的赋值Okounkov体完全编码其数值性质，证明了两个丰沛拟有效 $\mathbb{R}$-除子数值等价当且仅当它们对所有可接受旗的赋值Okounkov体完全一致。此外，本文表明丰沛除子的限制基簇 $\mathbf{B}_{-}(D)$ 可从其赋值Okounkov体中恢复，并通过限制到Nakayama子簇的Iitaka纤维化次数，给出了赋值Okounkov体与极限Okounkov体一致的判别准则。

ABSTRACT

The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations.

研究动机与目标

• 确定丰沛除子的赋值Okounkov体是否反映其完整的数值等价类。
• 从其赋值Okounkov体中恢复丰沛除子的限制基簇 $\mathbf{B}_{-}(D)$。
• 建立赋值Okounkov体与极限Okounkov体相等的判别准则，利用Iitaka纤维化的几何数据。

提出的方法

• 引入并分析拟有效除子的赋值与极限Okounkov体，扩展了对大除子的先前工作。
• 利用丰沛除子关联的Iitaka纤维化，构建比较Okounkov体的几何框架。
• 证明极限Okounkov体的欧氏体积等于限制到Nakayama子簇的Iitaka纤维化次数乘以赋值体的体积。
• 应用Fujita逼近定理的变体，将线性系统渐近体积与Iitaka纤维化的几何联系起来。
• 固定一个以某点为中心的可接受旗，将赋值Okounkov体中包含原点与属于限制基簇 $\mathbf{B}_{-}(D)$ 的关系联系起来。
• 利用Nakayama子簇在对数解析下的严格提升，分析Iitaka纤维化的次数及其对Okounkov体体积的影响。

实验结果

研究问题

• RQ1 丰沛除子的赋值与极限Okounkov体在何时一致？
• RQ2 能否通过所有以某点为中心的旗中赋值Okounkov体是否包含原点，来刻画限制基簇 $\mathbf{B}_{-}(D)$？
• RQ3 丰沛除子的赋值Okounkov体是否完全确定其数值类？
• RQ4 限制到Nakayama子簇的Iitaka纤维化次数与赋值体和极限体的体积有何关系？
• RQ5 是否存在某种几何条件，使得极限Okounkov体是赋值体的缩放版本？

主要发现

• 两个丰沛拟有效 $\mathbb{R}$-除子对所有可接受旗的赋值Okounkov体相等，当且仅当这两个除子数值等价。
• 丰沛除子 $D$ 的限制基簇 $\mathbf{B}_{-}(D)$ 恰好由所有满足：对任意以 $x$ 为中心的旗 $Y_{\bullet}$，其赋值Okounkov体 $\Delta^{\operatorname{val}}_{Y_{\bullet}}(D)$ 不包含原点的点 $x\in X$ 构成。
• 极限Okounkov体的欧氏体积满足 $\operatorname{vol}_{\mathbb{R}^{\kappa(D)}}(\Delta^{\lim}_{Y_{\bullet}}(D)) = \deg(\phi|_{V^{\prime}}) \cdot \operatorname{vol}_{\mathbb{R}^{\kappa(D)}}(\Delta^{\operatorname{val}}_{Y_{\bullet}}(D))$，其中 $V^{\prime}$ 是Nakayama子簇 $V$ 在对数解析下的严格提升。
• 赋值Okounkov体与极限Okounkov体相等，当且仅当Iitaka纤维化 $\phi$ 限制到Nakayama子簇的严格提升 $V^{\prime}$ 上的映射 $\phi|_{V^{\prime}}\colon V^{\prime}\to Z$ 几乎处处单射。
• 存在例子表明，即使 $D$ 是丰沛的，$\Delta^{\lim}_{Y_{\bullet}}(D)$ 也不一定是 $\Delta^{\operatorname{val}}_{Y_{\bullet}}(D)$ 的标量倍，说明两者通常不通过缩放关联。
• 对于满足 $\kappa(S)=1$ 且Iitaka纤维化中无截面的极小曲面 $S$，对任意包含一般点的Nakayama子簇的旗，$\Delta^{\operatorname{val}}_{Y_{\bullet}}(K_S)$ 与 $\Delta^{\lim}_{Y_{\bullet}}(K_S)$ 均不相同。