[論文レビュー] 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体積構成と安定化技術を用いて、解析的関数の局所的関数と非有界多面体への理論の拡張すること。

提案手法

• 与えられたニュートン多面体を持つ方程式 $ f_1 = \cdots = f_k = 0 $ から導かれるラテン多項式方程式 $ g = 0 $ を用いて完全交差の射影を定義する。
• 射影された多様体のニュートン多面体を捉える主要な幾何的対象として、混合ファイバー多面体の概念を導入する。
• 混合ファイバー多面体が入力多面体 $ \Delta_1, \ldots, \Delta_k $ の増加関数であることを証明し、平行移動およびスケーリングを除いて元の混合ファイバー多面体に等しいことを示す。
• 正の直交座標系に平行な非有界多面体に対するMinkowski和および混合体積理論を用い、$ M $-遠安定化を導入して、well-defined な混合体積を定義する。
• 局所的解析関数に対する一般化されたBernstein定理を適用し、共通根の孤立多重度とニュートン多面体の混合体積との関係を結ぶ。
• ニュートン多面体の面に関する一般位置仮定の下で、対称関数と共通根における単項式の値を用いて、$ g $ の先行係数の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 定義方程式のニュートン多面体の観点から、完全交差の射影のニュートン多面体はどのように特徴付けられるか？
• RQ2 ニュートン多面体にどのような条件が課されると、射影方程式の先行係数を明示的に計算できるか？
• RQ3 混合ファイバー多面体は射影された多様体のニュートン多面体とどのように関係し、その幾何学的・代数的意味は何か？
• RQ4 正の直交座標系に平行な非有界多面体の混合体積が、どのような条件下でwell-defined となるか？ そして、これは孤立共通根の多重度とどのように関係するか？
• RQ5 代数幾何学における古典的公式（Kouchnirenko-Bernstein、Khovanskiiの積、Gelfand-Khovanskiiの和）は、統一的な消去理論的枠組みの特殊ケースとして導出可能か？

主な発見

• 完全交差の射影のニュートン多面体は、定義方程式のニュートン多面体の混合ファイバー多面体に、平行移動およびスケーリングを除いて一致する。
• 混合ファイバー多面体は入力多面体 $ \Delta_1, \ldots, \Delta_k $ の増加関数であり、消去プロセスにおける単調性を保証する。
• 一般位置条件（定義5.2）の下で、$ g $ のニュートン多面体の頂点に対応する単項式の係数は、定理4.6および5.13を用いて明示的に計算可能である。
• 与えられたニュートン多面体と一般係数を持つ $ n $ 個のラテン多項式の共通根の数は、Kouchnirenko-Bernsteinの公式により与えられ、これは特殊ケースとして回復される。
• 共通根における単項式の値の積は、Khovanskiiの積公式により与えられ、これは消去枠組みにおける係数計算として導出される。
• 孤立共通根をもつ局所的解析関数に対して、多重度 $ \mu $ は $ \mu \geq n!V $ を満たし、ここで $ V $ はそれらのニュートン多面体の混合体積である。一般位置条件の下で等号が成立する。