[论文解读] Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory

Kiumars Kaveh, Askold Khovanskiĭ|arXiv (Cornell University)|Apr 21, 2009

Polynomial and algebraic computation参考文献 20被引用 53

一句话总结

本文引入了牛顿-奥库诺夫体作为牛顿多面体的推广，将整数点的半群、分次代数与交集理论联系起来。通过证明广义的亚历山大罗夫-芬赫尔不等式和霍奇指标定理的新版本，该研究在代数几何与凸几何之间建立了深刻联系，将经典结果如伯恩斯坦-库什尼连科定理和布伦-闵可夫斯基型不等式推广至任意代数簇上的线性系列。

ABSTRACT

Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large class of graded algebras, the Hilbert functions have polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type inequality. We prove analogues of Fujita approximation theorem for semigroups of integral points and graded algebras, which imply a generalization of this theorem for arbitrary linear series. Applications to intersection theory include a far-reaching generalization of the Kushnirenko theorem (from Newton polytope theory) and a new version of the Hodge inequality. We also give elementary proofs of the Alexandrov-Fenchel inequality in convex geometry and its analogue in algebraic geometry.

研究动机与目标

• 使用赋值理论将牛顿多面体构造推广至代数簇上任意线性系列。
• 通过有理锥的渐近逼近，建立 ℤⁿ 中整数点半群与凸几何之间的桥梁。
• 将经典交集理论结果（如伯恩斯坦-库什尼连科定理与霍奇指标定理）推广至任意分次代数与线性系列。
• 证明代数版的亚历山大罗夫-芬赫尔不等式，并推导其后果，包括广义的布伦-闵可夫斯基不等式。
• 通过几何与代数逼近技术，给出经典亚历山大罗夫-芬赫尔不等式在凸几何中的初等证明及其代数对应版本。

提出的方法

• 通过 ℤⁿ 中的正则化过程，利用赋值定义牛顿-奥库诺夫体为整数点半群的极限。
• 证明 ℤⁿ 中任意半群渐近地被某个凸锥内的子格逼近，从而实现基于体积的渐近分析。
• 利用格罗滕迪克空间子模分次函数空间上交集指标的多重可加性，将交集理论推广至除子之外的范畴。
• 应用贝尔蒂尼-莱夫谢茨定理，将高维簇上的交集指标约化为低维子簇上的指标。
• 通过约化至曲面并应用光滑曲面上的霍奇指标定理，推导出代数版的亚历山大罗夫-芬赫尔不等式。
• 通过证明大子空间半群上交集指标函数的 m 次根的凹性，建立广义的布伦-闵可夫斯基不等式。

实验结果

研究问题

• RQ1 如何利用赋值理论将牛顿多面体构造推广至代数簇上任意线性系列？
• RQ2 与线性系列相关的分次代数的希尔伯特函数的渐近行为是什么？它们是否满足多项式增长及布伦-闵可夫斯基型不等式？
• RQ3 能否通过牛顿-奥库诺夫体构造，从代数几何中导出凸几何中的经典亚历山大罗夫-芬赫尔不等式？
• RQ4 交集指标在何种程度上可超越完备簇与卡蒂埃除子的范畴进行推广？
• RQ5 大子空间上交集指标函数是否满足类似于布伦-闵可夫斯基不等式的凹性性质？

主要发现

• 牛顿-奥库诺夫体构造推广了牛顿多面体，并为分次代数与线性系列的渐近行为提供了凸几何模型。
• 任意与线性系列相关的分次代数的希尔伯特函数具有多项式增长，其首项系数满足布伦-闵可夫斯基型不等式。
• 代数版的亚历山大罗夫-芬赫尔不等式成立：对任意大子空间 $L_1, \dots, L_n$，有不等式 $[L_1,L_1,L_3,\dots,L_n][L_2,L_2,L_3,\dots,L_n] \leq [L_1,L_2,L_3,\dots,L_n]^2$。
• 建立了广义的布伦-闵可夫斯基不等式：函数 $F(L) = [m*L, L_{m+1}, \dots, L_n]^{1/m}$ 在大子空间半群上为凹函数。
• 经典凸几何中的亚历山大罗夫-芬赫尔不等式作为代数版的极限被恢复，通过有理多面体逼近实现。
• 通过约化至曲面与霍奇指标定理，给出了凸几何中经典亚历山大罗夫-芬赫尔不等式及其代数对应版本的初等证明。