[论文解读] Local positivity in terms of Newton-Okounkov bodies

Joaquím Roé|arXiv (Cornell University)|May 8, 2015

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

一句话总结

本文证明，对于曲面上一个大除子，其所有以固定光滑点为中心的旗所对应的牛顿-奥库诺夫体集合，可确定该除子的数值等价类，至多相差不经过该点的泽里斯基分解中的负成分。核心贡献在于通过牛顿-奥库诺夫体对局部正性进行了完整刻画，表明无穷小旗足以捕捉该点处的所有局部数值信息。

ABSTRACT

In recent years, the study of Newton-Okounkov bodies on normal varieties has become a central subject in the asymptotic theory of linear series, after its introduction by Lazarsfeld-Mustata and Kaveh-Khovanskii. One reason for this is that they encode all numerical equivalence information of divisor classes (by work of Jow). At the same time, they can be seen as local positivity invariants, and Küronya-Lozovanu have studied them in depth from this point of view. We determine what information is encoded by the set of all Newton-Okounkov bodies of a big divisor with respect to flags centered at a fixed point of a surface, by showing that it determines and is determined by the numerical equivalence class of the divisor up to negative components in the Zariski decomposition that do not go through the fixed point.

研究动机与目标

• 确定曲面上以固定点为中心的牛顿-奥库诺夫体编码了哪些数值信息。
• 研究无穷小旗（在爆破上）是否足以恢复以某点为中心的所有牛顿-奥库诺夫体集合。
• 澄清牛顿-奥库诺夫体与大除子在局部设置下的泽里斯基分解之间的关系。
• 建立以牛顿-奥库诺夫体表示的局部正性，可完全捕捉除子的数值类模去不经过中心点的负成分。

提出的方法

• 本文使用大除子的精细泽里斯基分解，将其正部与负部分离，特别区分经过中心点的分量与不经过的分量。
• 分析以曲面上固定点 O 为中心的正规、光滑且无穷小旗所对应的牛顿-奥库诺夫体。
• 对于每个旗，该体的形状与位置编码了交点理论数据，特别是正部与经过 O 的曲线的交点信息。
• 该体最左点的横坐标对应于泽里斯基分解中负部内某条曲线的系数。
• 其与第二条坐标轴交点的高度由 Lázarsfeld–Mustaţă 定理给出，表示正部与某条曲线的交点数。
• 通过加权的无穷远点簇来编码泽里斯基分解负部的结构，权重由沿曲线的零点阶数决定。

实验结果

研究问题

• RQ1 以固定光滑点为中心的牛顿-奥库诺夫体编码了曲面上大除子的哪些数值信息？
• RQ2 仅通过无穷小旗是否足以恢复以某点为中心的所有牛顿-奥库诺夫体集合？
• RQ3 牛顿-奥库诺夫体在点的局部设置下如何反映大除子的泽里斯基分解？
• RQ4 当限制在以某点为中心的旗时，牛顿-奥库诺夫体在多大程度上能检测除子泽里斯基分解的正部与负部？
• RQ5 加权无穷远点簇与泽里斯基分解负部之间的确切关系是什么？

主要发现

• 以固定点 O 为中心的所有旗所对应的牛顿-奥库诺夫体集合，可确定大除子的数值等价类，至多相差泽里斯基分解中不经过 O 的分量。
• 不经过 O 的泽里斯基分解负部完全由以 O 为中心的牛顿-奥库诺夫体集合所决定。
• 除子的正部由体中编码的交点数据确定，特别是其与第二条坐标轴交点的高度。
• 经过 O 的负部结构由一个加权的无穷远点簇编码，其中权重对应于沿曲线的零点阶数。
• 无穷小旗足以恢复所有以 O 为中心的牛顿-奥库诺夫体，表明局部正性可被此类旗完全捕捉。
• 与负除子奇点部分相关的加权点簇由牛顿-奥库诺夫体唯一确定；若此类簇相等，则对应的负除子也相等。