[论文解读] Elimination theory and Newton polytopes

Askold Khovanskiĭ, Alexander Esterov|arXiv (Cornell University)|Nov 4, 2006

Polynomial and algebraic computation参考文献 5被引用 4

一句话总结

本文提出了一套基于牛顿多面体的消去理论综合框架，展示了如何从原始方程的牛顿多面体和首项系数计算投影完全交的定义方程的牛顿多面体和首项系数。关键贡献在于识别出投影的牛顿多面体为原始牛顿多面体的混合纤维多面体（至多平移与缩放），并在一般位置条件下提供首项系数的显式公式。

ABSTRACT

We study elimination theory in the context of Newton polytopes and develop its convex-geometric counterpart.

研究动机与目标

• 以原始方程的牛顿多面体和首项系数来描述投影完全交的定义方程的牛顿多面体和首项系数。
• 证明投影的牛顿多面体是原始牛顿多面体的混合纤维多面体（至多平移与缩放）。
• 在牛顿多面体的面满足一般位置条件时，提供投影方程首项系数的显式公式。
• 在一个统一的消去理论框架内，统一并推广经典结果，如 Kouchnirenko-Bernstein 公式、Khovanskii 的乘积公式以及 Gelfand-Khovanskii 的求和公式。
• 通过 Minkowski 体积构造与稳定化技术，将理论扩展至解析函数的芽与无界多面体。

提出的方法

• 通过洛朗多项式方程 $ g = 0 $ 定义完全交的投影，其中 $ g $ 由具有给定牛顿多面体的原始方程 $ f_1 = \cdots = f_k = 0 $ 导出。
• 引入混合纤维多面体的概念，作为捕捉投影概形牛顿多面体的关键几何对象。
• 证明混合纤维多面体是输入多面体 $ \Delta_1, \ldots, \Delta_k $ 的递增函数，并且与之至多平移与缩放意义下相等。
• 使用 Minkowski 和与混合体积理论处理平行于正象限的无界多面体，通过 $ M $-远稳定化方法定义良定的混合体积。
• 应用解析函数芽的广义 Bernstein 定理，将孤立公共根的重数与牛顿多面体的混合体积联系起来。
• 在牛顿多面体的面对满足一般位置假设的条件下，利用对称函数与公共根上单项式的取值，推导出 $ g $ 的首项系数的显式公式。

实验结果

研究问题

• RQ1 如何用定义方程的牛顿多面体来刻画完全交投影的牛顿多面体？
• RQ2 牛顿多面体满足何种条件时，可显式计算投影方程的首项系数？
• RQ3 混合纤维多面体与投影概形的牛顿多面体之间有何关系？其几何与代数意义为何？
• RQ4 在何种条件下，平行于正象限的无界多面体的混合体积是良定义的？其与孤立公共根重数的关系为何？
• RQ5 经典代数几何公式（如 Kouchnirenko-Bernstein、Khovanskii 的乘积公式与 Gelfand-Khovanskii 的求和公式）能否作为统一消去理论框架下的特例被导出？

主要发现

• 完全交投影的牛顿多面体是定义方程牛顿多面体的混合纤维多面体（至多平移与缩放）。
• 混合纤维多面体是输入多面体 $ \Delta_1, \ldots, \Delta_k $ 的递增函数，确保了消去过程中的单调性。
• 在一般位置条件（定义 5.2）下，可通过定理 4.6 与 5.13 显式计算 $ g $ 的牛顿多面体顶点对应单项式的系数。
• 给定牛顿多面体与通用系数的 $ n $ 个洛朗多项式之公共根数量由 Kouchnirenko-Bernstein 公式给出，该公式作为特例被恢复。
• 在公共根上单项式取值的乘积由 Khovanskii 的乘积公式给出，该公式在消去框架中被导出为系数计算。
• 对于具有孤立公共根的解析函数芽，其重数 $ \mu $ 满足 $ \mu \geq n!V $，其中 $ V $ 为牛顿多面体的混合体积，且在多面体面对满足一般位置条件时取等。