[论文解读] Maximally Sparse Polynomials have Solid Amoebas

Mounir Nisse|arXiv (Cornell University)|Apr 17, 2007

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

一句话总结

本文证实，极大稀疏多项式——即其系数支集等于其牛顿多面体顶点的多项式——具有完整的阿莫eba，这意味着在 ℝⁿ 中阿莫eba补集的连通分支数等于其牛顿多面体的顶点数。证明利用了维罗的拼接原理、卡普兰诺夫定理以及热带几何，表明在退化到复热带结构时，阿莫eba补集的分支恰好对应于顶点，从而解决了帕萨雷与吕尔加德提出的一个开放问题。

ABSTRACT

Let $f$ be an ordinary polynomial in $\mathbb{C}[z_1,..., z_n]$ with no negative exponents and with no factor of the form $z_1^{α_1}... z_n^{α_n}$ where $α_i$ are non zero natural integer. If we assume in addicting that $f$ is maximally sparse polynomial (that its support is equal to the set of vertices of its Newton polytope), then a complement component of the amoeba $\mathscr{A}_f$ in $\mathbb{R}^n$ of the algebraic hypersurface $V_f\subset (\mathbb{C}^*)^n$ defined by $f$, has order lying in the support of $f$, which means that $\mathscr{A}_f$ is solid. This gives an affirmative answer to Passare and Rullgård question in [PR2-01].

研究动机与目标

• 解决帕萨雷与吕尔加德提出的问题：是否每个极大稀疏多项式都具有完整的阿莫eba？
• 建立在 (ℂ*)ⁿ 中极大稀疏多项式的阿莫eba在 ℝⁿ 中的补集连通分支数恰好等于其牛顿多面体顶点数的结论。
• 通过反例证明极大稀疏性条件的最优性，即非稀疏多项式可能产生多于单项式的补集分支数。

提出的方法

• 将维罗拼接原理应用于复结构到复热带结构的特殊形变，以表示超曲面的极端退化。
• 应用卡普兰诺夫定理，将多项式的阿莫eba与该多项式热带化的热带超曲面联系起来。
• 通过牛顿多面体的凸剖分的对偶，构造阿莫eba的脊线。
• 分析在退化过程中热带超曲面中紧致多面体的坍缩，表明当 t→0 时，某些分支消失。
• 使用帕萨雷-吕尔加德函数定义牛顿多面体的凸剖分，该剖分与极限热带超曲面对偶。
• 利用从阿莫eba补集分支到牛顿多面体中格点的序映射，建立其与顶点之间的一一对应关系。

实验结果

研究问题

• RQ1 每个极大稀疏多项式是否都具有完整的阿莫eba，即 ℝⁿ∖𝒜f 的连通分支数是否等于其牛顿多面体的顶点数？
• RQ2 在退化到复热带结构时，阿莫eba补集分支会发生什么变化？
• RQ3 极大稀疏性是否是多项式具有完整阿莫eba的必要条件？
• RQ4 维罗拼接原理在极大稀疏多项式阿莫eba脊线构造中如何应用？
• RQ5 能否证明对于极大稀疏多项式，从补集分支到牛顿多面体中格点的序映射是双射？

主要发现

• 任何在 (ℂ*)ⁿ 中的极大稀疏多项式的阿莫eba都是完整的：ℝⁿ∖𝒜f 的连通分支数等于其牛顿多面体的顶点数。
• 通过序映射，阿莫eba的补集分支与牛顿多面体的顶点之间存在一一对应关系，该映射在此情况下为单射且满射。
• 在退化到复热带结构时，牛顿多面体内部剖分所对应的紧致多面体消失，仅剩顶点对应于分支。
• 阿莫eba的脊线收敛到与牛顿多面体凸剖分对偶的热带超曲面，该剖分由限制在顶点上的帕萨雷-吕尔加德函数诱导。
• 提供了一个反例，表明非极大稀疏多项式可能产生多于单项式的补集分支数，从而证明极大稀疏性条件是最优的。
• 该证明证实了帕萨雷与吕尔加德的猜想：极大稀疏多项式产生完整的阿莫eba，从而解决了阿莫eba理论中的一个开放问题。