[論文レビュー] Elimination Theory for Tropical Varieties

Bernd Sturmfels, Jenia Tevelev|arXiv (Cornell University)|Apr 26, 2007

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

ひとこと要約

この論文は、代数的トーラスの部分多様体の像のトロピカル化を計算するトロピカル消去理論を確立する。トロピカル多様体上の重みのプッシュフォワード公式を導入し、古典的消去理論を一般化し、トロピカル幾何を用いたアルゴリズム的暗黙化を可能にする。主な結果として、混合体積とトロピカル完全交差、およびファイバー多面体の関係が示される。

ABSTRACT

Tropical algebraic geometry offers new tools for elimination theory and implicitization. We determine the tropicalization of the image of a subvariety of an algebraic torus under any homomorphism from that torus to another torus.

研究の動機と目的

• トーラス準同型の下での部分多様体の像のトロピカル化を計算するための枠組みを構築すること。
• トロピカル多様体とその重みを用いて、古典的消去理論をトロピカル設定に拡張すること。
• 一般に有限なトロピカル準同型の下での重みのプッシュフォワードの公式を提供すること。
• 任意のトーリック準同型への $A$-判別式と暗黙化に関する結果の一般化。
• 混合体積を通じて、トロピカル完全交差と混合ファイバー多面体の関係を確立すること。

提案手法

• 論文は、初期イデアルと価値ベクトルを用いて定義される代数的トーラス内の部分多様体のトロピカル化を用いる。
• $(\mathcal{T}, m)$ の形のトロピカル多様体の概念を導入し、ここで $\mathcal{T} \subset \mathbb{Q}^n$ で $m$ はバランス条件を満たす重み関数である。
• 主な技術的道具は、重みが正しく定義されたトロピカルファンを構成するための、同次化されたイデアルのグレブナー・ファンの使用である。
• 重みのプッシュフォワードは、線形写像 $\mathbf{A}$ による接空間の像における格子の指数を含む公式により計算される。
• 完全交差の場合、トロピカル多様体とその重みは、定義方程式のニュートン多面体の混合体積を用いて表現される。
• パラメトライゼーションのグラフを定義域とし、トーラス準同型による射影を用いることで、暗黙化に適用可能である。

実験結果

リサーチクエスチョン

• RQ1 トーラス準同型の下での部分多様体の像のトロピカル化を、どのようにアルゴリズム的に計算できるか。
• RQ2 一般に有限なトロピカル準同型の下での重みのプッシュフォワードの正しい公式は何か。
• RQ3 ニュートン多面体の混合体積は、トロピカル完全交差における重みとどのように関係するか。
• RQ4 特異点の解消と境界除法の価値を用いて、トロピカル暗黙化問題を解けるか。
• RQ5 どのような条件下で、コンactificationが像多様体のトロピカル化を計算するか。

主な発見

• 像 $\alpha(X)$ のトロピカル化は、$\mathcal{T}(X)$ のトロピカル化の線形写像 $\mathbf{A}$ による像に等しく、すなわち $\mathcal{T}(\alpha(X)) = \mathbf{A}(\mathcal{T}(X))$ が成り立つ。
• 一般に有限な準同型の下での重みのプッシュフォワードの公式が確立され、接空間における格子の指数が関与する。
• 完全交差の場合、トロピカル多様体 $\mathcal{T}(X)$ とその重みは、定義方程式のニュートン多面体の混合体積を用いて計算される。
• $\alpha(X)$ が超曲面であるとき、プッシュフォワード公式はマクマレンの混合ファイバー多面体を計算する。
• 定理5.1における暗黙化公式により、特異点の解消と除法の価値を用いて、パラメトライズされた多様体の像のトロピカル化を計算できる。
• 論文は、トロピカル化における正則点の集合が一般には凸でないことがあることを示しており、これは一般には粗いファン構造が存在しないことを示唆する。