[论文解读] Convex bodies and algebraic equations on affine varieties

Kiumars Kaveh, Askold Khovanskiĭ|ArXiv.org|Apr 25, 2008

Commutative Algebra and Its Applications参考文献 11被引用 46

一句话总结

本文通过为仿射代数簇上正则函数的子空间关联一个凸体（称为牛顿凸体）建立代数几何与凸几何之间的深刻联系。利用赋值理论与希尔伯特定理，证明该凸体的体积乘以 n! 等于该子空间的自相交指标，从而为代数相交数提供了几何解释，并给出了经典结果（如亚历山德罗夫–芬克尔斯坦不等式与布朗–闵可夫斯基不等式）的新且初等的证明。

ABSTRACT

Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on degree of subvarieties of a projective space (in algebraic geometry) and Brunn-Minkowski inequality (in convex geometric).

研究动机与目标

• 通过正则函数子空间的半群来发展（拟）仿射簇的相交理论。
• 在代数相交指标与凸体的混合体积之间建立对应关系。
• 通过凸几何为仿射簇上正则函数子空间的自相交指标提供几何解释。
• 为代数与凸几何中的经典定理（包括霍奇指标定理与库什尼连科–伯恩斯坦定理）提供新的、初等的证明。
• 推广SAGBI基，并说明其存在性如何导致簇退化为toric簇。

提出的方法

• 在仿射簇 X 上定义有限维正则函数子空间的半群 K(X)，并赋予点乘法运算。
• 将 n 个子空间 L₁,…,Lₙ 的交点指标 [L₁,…,Lₙ] 定义为来自每个 Lᵢ 的一般截面的公共零点个数，证明其在 n 维不可约簇上是良定义的。
• 对每个子空间 L ∈ K(X)，通过 ℤⁿ-值赋值定义一个格点半群 G(L) ⊂ ℤ×ℤⁿ，然后通过该格点半群生成的凸锥的闭包与超平面的交集构造牛顿凸体。
• 利用希尔伯特定理（关于射影簇的次数）将 dim(Lᵏ) 的增长与牛顿凸体的体积联系起来。
• 证明牛顿凸体的体积乘以 n! 等于子空间 L 的自相交指标 [L,…,L]。
• 将布朗–闵可夫斯基与亚历山德罗夫–芬克尔斯坦不等式应用于牛顿凸体，推导出代数类比并证明几何不等式。

实验结果

研究问题

• RQ1 如何利用正则函数子空间的半群形式化仿射簇上的相交理论？
• RQ2 仿射簇上正则函数子空间的自相交指标的确切几何意义是什么？
• RQ3 能否通过函数子空间关联的凸体，从代数几何中推导出凸几何中的经典不等式（如布朗–闵可夫斯基与亚历山德罗夫–芬克尔斯坦不等式）？
• RQ4 在何种条件下，正则函数的分次代数会存在SAGBI基，这与退化为toric簇有何关联？
• RQ5 牛顿凸体构造如何推广经典牛顿多面体，并恢复已知结果（如伯恩斯坦–库什尼连科定理）？

主要发现

• 与子空间 L ∈ K(X) 关联的牛顿凸体的体积乘以 n! 等于自相交指标 [L,…,L]，从而在代数几何与凸几何之间建立了直接联系。
• 在 n 维仿射簇上，交点指标 [L₁,…,Lₙ] 的行为类似于 ℝⁿ 中 n 个体积的混合体积。
• 亚历山德罗夫–芬克尔斯坦不等式作为曲面上交点指标代数结构的结果被证明，通过约化到曲线情形实现。
• 本文为库什尼连科–伯恩斯坦定理（关于固定牛顿多面体的方程组通解个数）提供了新的、初等的证明。
• 证明：若赋值锥为多面体且 v(R) 包含其中所有整点，则 R 存在 SAGBI 基，这意味着簇退化为 toric 型。
• 对曲线 X 及点 a ∈ X，牛顿线段 Δ(G(L)) 的长度等于 (μₐ deg L)/d，其中 μₐ 是由赋值生成的半群的指标，d 是映射 Φₗ 的次数。