[論文レビュー] Completions, Reversals, and Duality for Tropical Varieties

Zur Izhakian, Louis Rowen|ArXiv.org|Jun 6, 2008

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

ひとこと要約

本稿は、max-plus半環において、3個以上の単項式を含む任意のトロピカル多項式が二項式の積を割ることを示す、新しい代数的恒等式を確立する。これにより、任意のトロピカル多様体が超曲面の和集合に完成可能となる。この結果、反転構成とニュートン多面体の点対称性を介して、トロピカル多様体の幾何的双対性が得られ、トロピカル幾何における深いつながりを持つ代数的・幾何的双対性が明らかになる。

ABSTRACT

The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of tropical hypersurfaces the corresponding point symmetry is obtained for their Newton polytopes and lattice polytopes.

研究の動機と目的

• 3個以上の単項式を含むトロピカル多項式について、max-plus半環における新しい代数的恒等式を確立すること。
• この代数的構造を用いて、任意のトロピカル多様体が超曲面の和集合に完成可能であることを示すこと。
• トロピカル多様体の「反転」を定義し、その幾何的双対性を分析すること。
• 反転操作下でのニュートン多面体の対称性と、それによるトロピカル双対性への影響を調査すること。
• 双対性をローレンツ多項式および対称多面体の整数平行移動に拡張すること。

提案手法

• トロピカル多項式半環において、恒等式 ∏_{i<j}(f_i + f_j) ≡ (∑f_i)(∑_{i<j}f_i f_j)⋯(∑_i ∏_{j≠i}f_j) を導出する。これにより、非一意的因数分解が示される。
• 写像 f ↦ ˜f を通じて、トロピカル多項式と区分的線形凸関数との対応関係を用いる。
• 多項式 f の反転を f^{trn} と定義し、これによりそのニュートン多面体の点対称性が対応することを示す。
• トロピカル超曲面とニュートン多面体の双対性を適用し、H と H^{trn} がそれぞれ対称多面体 Δ と Δ^{trn} に対して双対であることを示す。
• 「対称的反転」Δ^{sym} の概念を導入し、Δ^{trn} が Δ の点対称であることを証明する。また、二重反転により元の多面体が回復されることを示す。
• 結果を ℤ^n 上のローレンツ多項式に拡張し、Δ^{trn} の整数平行移動が対称的双対性を保つことを示す。

実験結果

リサーチクエスチョン

• RQ1 max-plus代数において、3個以上の単項式を含む任意のトロピカル多項式は、二項式の積による非一意的因数分解が可能か？
• RQ2 代数的恒等式を用いて、トロピカル多様体 W をどのように超曲面の和集合に完成できるか？
• RQ3 トロピカル多様体の反転の幾何的意味は何か？また、双対性とどのように関係するか？
• RQ4 多項式とその反転のニュートン多面体は、点対称性の下でどのように関係するか？
• RQ5 整数平行移動は、ニュートン多面体の対称的双対性を保つ役割を果たすか？

主な発見

• max-plus半環において、恒等式 ∏_{i<j}(f_i + f_j) ≡ (∑f_i)(∑_{i<j}f_i f_j)⋯(∑_i ∏_{j≠i}f_j) が成り立ち、3個以上の単項式を含む多項式の非一意的因数分解が証明される。
• 任意のトロピカル多様体 W は、この恒等式の代数的構造を用いて、超曲面の和集合に完成可能である。
• トロピカル多様体 H の反転 H^{trn} は、元の H のニュートン多面体 Δ の点対称多面体 Δ^{trn} に対して双対である。
• 原始的既約多項式 f に対して、反転 f^{trn} は、Δ の点対称多面体 Δ^{trn} を与え、逆にそれも同様に成り立つ。
• 反転を二度適用すると元の多面体が回復される：(Δ^{trn})^{trn} = Δ であり、これにより格子多面体上の双対性が確立される。
• Δ^{trn} の整数平行移動は、トロピカル多項式環における単項式の乗算に対応し、対称的双対性を保つ。