[论文解读] Newton polyhedra of discriminants of projections

Alexander Esterov|arXiv (Cornell University)|Oct 28, 2008

Polynomial and algebraic computation参考文献 18被引用 7

一句话总结

本文提出了一种计算参数依赖系数的洛朗多项式系统判别式牛顿多面体的公式，利用混合纤维多面体与 тори 케이지 다각형의欧拉阻碍。关键结果推广了特殊情形下的已知公式，并在未混合情形下给出了显式、可计算的表达式，应用于奇点理论与代数几何。

ABSTRACT

For a system of polynomial equations, whose coefficients depend on parameters, the Newton polyhedron of its discriminant is computed in terms of the Newton polyhedra of the coefficients. This leads to an explicit formula (involving mixed fiber polyhedra and Euler obstructions of toric varieties) in the unmixed case, suggests certain open questions in general, and generalizes a number of similar known results. The argument is based on a formula for the support function of a mixed fiber body, which also suggests a new proof for existence of mixed fiber bodies.

研究动机与目标

• 计算具有参数依赖系数的洛朗多项式系统判别式的牛顿多面体。
• 将特殊情形（如通用系统、超曲面）中的已知结果推广至任意参数化系统的普遍情形。
• 建立一个涉及欧拉阻碍与混合纤维多面体的公式，以系数多面体表示判别式的牛顿多面体。
• 将框架扩展至仿射 тор环上解析函数的情形，推广经典洛朗多项式在复环上的设定。
• 在特定凸包条件下，推导判别式牛顿多面体的高阶可加性关系。

提出的方法

• 使用 $\mathbb{R}^n \oplus \mathbb{R}^k$ 中牛顿多面体的闵可夫斯基和与混合纤维多面体，编码系数依赖性。
• 引入与单项式集 $A$ 的面 $A'$ 相关的欧拉阻碍 $e^{A',A}$，具有组合与几何解释。
• 对每个维数 $\geq l$ 的面 $A'$，应用纤维多面体 $\Delta_i(A')^{a_i}$ 的概念，其中 $a_i > 0$ 且 $\sum a_i = \dim A' + 1$。
• 将判别式牛顿多面体构造为带符号的和 $\mathcal{N} = \sum_{A'} e^{A',A} \cdot \sum_{\mathbf{a}} \Delta_0(A')^{a_0} \cdots \Delta_l(A')^{a_l}$，允许多面体的减法。
• 依赖混合体与混合投影体积的理论，与比勒-施特姆费尔斯积分及闵可夫斯基理论相关联。
• 通过约化定理将一般情形约化为 $l=0$ 情形，从而实现向洛朗多项式全局设定的结果转移。

实验结果

研究问题

• RQ1 如何用系数牛顿多面体表示参数化多项式方程组判别式的牛顿多面体？
• RQ2 欧拉阻碍在计算判别式牛顿多面体中起什么作用？它们如何反映参数空间中的奇点？
• RQ3 经典情形（如 $l=0$，$l=k$，$l=k-1$）下的判别式公式能否统一并推广至任意系统？
• RQ4 当系数多面体未必相同时，判别式牛顿多面体的结构是怎样的？
• RQ5 在特定凸包条件下，判别式牛顿多面体的高阶可加性法则是否成立？若成立，其表达形式如何？

主要发现

• 判别式的牛顿多面体由 $\mathcal{N} = \sum_{A' \subset A, \dim A' \geq l} e^{A',A} \cdot \sum_{a_0 + \cdots + a_l = \dim A' + 1,\, a_i > 0} \Delta_0(A')^{a_0} \cdots \Delta_l(A')^{a_l}$ 给出，其中 $e^{A',A}$ 为欧拉阻碍。
• 该公式允许负系数，意味着可通过解 $Q + X = P$ 实现多面体的减法，确保定义良好。
• 当所得多面体 $\mathcal{N}$ 为单点时，判别集 $\Sigma$ 无余维数 1 的分支；否则 $\mathcal{N}$ 即为判别超曲面的牛顿多面体。
• 判别式的首项系数通过 $F_i$ 的首项系数描述，将结果从多面体扩展至完整方程。
• 高阶可加性关系成立：$\mathcal{N}(\Delta_0 + \Delta_1, \Delta_2, \ldots, \Delta_l) = \sum_{\mu=1}^\infty \left[ \mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu-1}, \Delta_2, \ldots, \Delta_l) + \mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu-1}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu}, \Delta_2, \ldots, \Delta_l) + 2\mathcal{N}(\underbrace{\Delta_0,\ldots,\Delta_0}_{\mu}, \underbrace{\Delta_1,\ldots,\Delta_1}_{\mu}, \Delta_2, \ldots, \Delta_l) \right]$，且除有限多项外其余均为 $\{0\}$。
• 混合投影体积 $\mathop{\rm MS}\nolimits_\mu$ 与对偶 $\mathop{\rm MV}\nolimits(\widetilde{\Delta}_0, \ldots, \widetilde{\Delta}_k)$ 的混合体积一致，通过 $\widetilde{\Delta}_j = (\Delta_j + l_-) \times p(\Delta_j) + l_-$ 与比勒-施特姆费尔斯纤维积分相联系。