[論文レビュー] Geometric and Combinatorial Structure of Hypersurface Coamoebas

Mounir Nisse|ArXiv.org|Jun 15, 2009

Polynomial and algebraic computation参考文献 14被引用数 13

ひとこと要約

本稿は、複素代数的超曲面のcoamoebaと双対超平面配置の間の組合せ的・幾何的双対性を確立し、元の超曲面のcoamoebaの閉包に同相であるcoamoebaを持つ複素トロピカル超曲面の存在を証明する。主な貢献は、トロピカル幾何学に類似したバランス条件を満たす重み付き双対超平面配置「shell」の導入であり、これによりcoamoebaの完全な組合せ的記述が可能となり、極度にスパースな多項式のamoebaが固体であることを証明する。

ABSTRACT

Let $V$ be a complex algebraic hypersurface defined by a polynomial $f$ with Newton polytope $Δ$. It is well known that the spine of its amoeba has a structure of a tropical hypersurface. We prove in this paper that there exists a complex tropical hypersurface $V_{\infty, f}$ such that its coamoeba is homeomorphic to the closure in the real torus of the coamoeba of $V$. Moreover, the coamoeba of $V_{\infty, f}$ contains an arrangement of $(n-1)$-torus depending only on the geometry of $Δ$ and the coefficients of $f$. In addition, we can consider this arrangement, as a weighted codual hyperplanes arrangement in the universal covering of the real torus, and the balancing condition (the analogous to that of tropical hypersurfaces) is satisfied. This codual hyperplanes arrangement is called the {\em shell} of the complex coamoeba (the cousin of the spine of the complex amoeba). %(or the {\em average contour} of the complex coamoeba). Using this combinatorial coamoebas structure, we show that the amoebas of complex algebraic hypersurfaces defined by maximally sparse polynomials are solid. More precisely, we characterize the image of the order map defined by Forsberg, Passare, and Tsikh.

研究の動機と目的

• 複素代数幾何学におけるcoamoebaとトロピカル構造の間の組合せ的双対性を確立すること。
• 新しい対象「shell」としての、coamoebaの幾何的・位相的構造を特徴付ける。
• 複素トロピカル超曲面のcoamoebaが、与えられた代数的超曲面のcoamoebaの閉包に同相であることを証明すること。
• 順序写像とニュートン多面体の組合せ論を用いて、極度にスパースな多項式のamoebaが固体であることを示すこと。
• スパインを超えて、双対超平面を通じてamoebaとcoamoebaの双対性を完全な組合せ的構造へと拡張すること。

提案手法

• 元の超曲面 $V_f$ のcoamoebaの閉包に同相であるcoamoebaを持つ複素トロピカル超曲面 $V_{\nu,\tau,f}$ を構成する。
• 多項式 $f$ の台と順序写像の像から $S^1$ への写像 $\nu_{(2,f)}$ を定義し、これにより双対超平面配置の全構造が符号号化される。
• 実トーラスの普遍被覆上に、トロピカル超曲面に類似したバランス条件を満たす重み付き双対超平面配置として「shell」を導入する。
• ニュートン多面体 $\Delta$ と $f$ の係数を用いてshellの幾何を決定し、定義多項式と組合せ的に関連付ける。
• ニュートン多面体 $\Delta$ の整合的分割 $\tau$ とヴィロのパッチワーキング原理を適用し、$\tau$ の組合せ論とshellの構造を関連付ける。
• 順序写像 $\mathop{\rm ord}\nolimits_f$ 及びその像を用いて、coamoebaの補集合成分とそのインデックスを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 与えられた複素代数的超曲面のcoamoebaの閉包に同相であるcoamoebaを持つ複素トロピカル超曲面が存在するか？
• RQ2 coamoebaの補集合成分の組合せ的構造は何か？ また、ニュートン多面体と定義多項式の係数とどのように関係するか？
• RQ3 トロピカル超曲面に類似したバランス条件を満たす双対超平面配置を通じて、複素超曲面のcoamoebaを記述できるか？
• RQ4 shellの幾何は、coamoebaの補集合成分の位相的性質と凸性とどのように関係するか？
• RQ5 どのような条件下で、極度にスパースな多項式によって定義される複素超曲面のamoebaが固体であるか？

主な発見

• 複素代数的超曲面のcoamoebaは、複素トロピカル超曲面 $V_{\infty,f}$ のcoamoebaに同相であり、位相的双対性が確立される。
• coamoebaのshellは、実トーラスの普遍被覆上にあり、トロピカル超曲面に類似したバランス条件を満たす重み付き双対超平面配置である。
• coamoebaの補集合成分の数は $n! \mathop{\rm Vol}(\Delta)$ 以下であり、これは複素曲線においては厳密な上限である。
• 極度にスパースな多項式では、amoebaは固体である—補集合に最大の数の凸成分を持つ—これは順序写像の像によって特徴付けられる。
• shell構造は、ニュートン多面体 $\Delta$ と $f$ の係数によって完全に決定され、coamoebaの完全な組合せ的モデルを提供する。
• ハーナック曲線の場合、多項式は密である（すなわち $\mathop{\rm supp}(f) = \Delta \cap \mathbb{Z}^2$）ため、位相的極大性と支持の密度が関連づけられる。