[論文レビュー] Maximally Sparse Polynomials have Solid Amoebas

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

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

ひとこと要約

本稿は、ニュートン多面体の頂点に等しいsupporthを持つ極めて疎な多項式—つまり、極大疎多項式—が、固体のアモーバを持つことを確認している。これは、ℝⁿにおけるアモーバの補集合の連結成分の数が、ニュートン多面体の頂点数に等しいことを意味する。証明は、ヴィロのパッチワーキング原理、カプラノフの定理、およびトロピカル幾何学を用い、複素トロピカル構造への退化の下で、アモーバの補集合の成分が頂点とちょうど一致することを示し、パスアーアとルルガールドが提起した未解決問題を解決する。

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].

研究の動機と目的

• パスアーアとルルガールドが提起した、すべての極めて疎な多項式が固体のアモーバを持つかどうかという問いを解決すること。
• 複素数乗法群 (ℂ*)ⁿ における極めて疎な多項式のアモーバの補集合が、そのニュートン多面体の頂点数とちょうど同じ数の連結成分を持つことを確立すること。
• 非疎な多項式が単項式よりも多くの補集合成分をもたらす反例を用いて、極大疎性の条件が最適であることを示すこと。

提案手法

• 複素構造から複素トロピカル構造への特別な変形にヴィロのパッチワーキング原理を適用し、超曲面の極限的退化を表現する。
• カプラノフの定理を用いて、多項式のアモーバとそのトロピカル化のトロピカル超曲面を関連付ける。
• ニュートン多面体の凸分割に双対的なトロピカル超曲面の族を用いて、アモーバのスプライスを構成する。
• 退化の下で、トロピカル超曲面内の有界多面体の崩壊を分析し、t→0 の極限で特定の成分が消えることを示す。
• パスアーア＝ルルガールド関数を用いて、極限トロピカル超曲面に双対的なニュートン多面体の凸分割を定義する。
• アモーバの補集合成分からニュートン多面体内の格子点への順序写像を用い、頂点と一対一対応が成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての極めて疎な多項式は、固体のアモーバを持つのか、すなわち、ℝⁿ∖𝒜f の連結成分の数がそのニュートン多面体の頂点数に等しいか？
• RQ2 複素トロピカル構造への退化の下で、アモーバの補集合成分はどのように変化するか？
• RQ3 アモーバが固体であるためには、極大疎性の条件が必要なのか？
• RQ4 ヴィロのパッチワーキング原理は、極めて疎な多項式の場合におけるアモーバのスプライスの構成にどのように適用されるか？
• RQ5 補集合成分からニュートン多面体内の格子点への順序写像が、極めて疎な多項式において一対一対応であることを示せるか？

主な発見

• 任意の (ℂ*)ⁿ における極めて疎な多項式のアモーバは固体である：ℝⁿ∖𝒜f の連結成分の数は、そのニュートン多面体の頂点数に等しい。
• 補集合成分とニュートン多面体の頂点の間には、順序写像によって一対一対応が存在する。この場合、写像は単射かつ全射である。
• 複素トロピカル構造への退化の下で、ニュートン多面体の内部分割に対応する有界多面体は消滅し、結果として成分に対応するのは頂点のみとなる。
• アモーバのスプライスは、パスアーア＝ルルガールド関数が頂点に制限された凸分割に双対的なトロピカル超曲面に収束する。
• 非極大疎でない多項式が単項式よりも多くの補集合成分を持つ反例が提示され、極大疎性が最適な条件であることが証明された。
• パスアーアとルルガールドの予想、すなわち極めて疎な多項式が固体のアモーバをもたらすという予想が証明され、アモーバ理論における未解決問題が解決された。