[論文レビュー] An algorithm for lifting points in a tropical variety

Anders Jensen, Hannah Markwig+1 more|ArXiv.org|May 16, 2007

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

ひとこと要約

本稿では、標準基底と初期イデアルを用いて、プルフェュール級数上の代数的多様体へ、トロピカル多様体からの点の構成的上げ上げを実行するアルゴリズムを提示する。主な貢献は、初期イデアルを用いて定義されるトロピカル多様体と代数的多様体の値関数像との間の、証明済みでアルゴリズム的な対応関係であり、有理数係数のイデアルに対してSingularおよびGfanを用いた実装を備えている。

ABSTRACT

The aim of this paper is to give a constructive proof of one of the basic theorems of tropical geometry: given a point on a tropical variety (defined using initial ideals), there exists a Puiseux-valued ``lift'' of this point in the algebraic variety. This theorem is so fundamental because it justifies why a tropical variety (defined combinatorially using initial ideals) carries information about algebraic varieties: it is the image of an algebraic variety over the Puiseux series under the valuation map. We have implemented the ``lifting algorithm'' using Singular and Gfan if the base field are the rational numbers. As a byproduct we get an algorithm to compute the Puiseux expansion of a space curve singularity in (K^{n+1},0).

研究の動機と目的

• トロピカル多様体に属する任意の点が、対応する代数的多様体上の点の値関数として得られることの構成的証明を提供すること。
• 与えられたトロピカル点を、指定された次数まで代数的多様体上の点に上げ上げるアルゴリズムを開発すること。
• プルフェュール級数と初期イデアルを用いて、トロピカル幾何と代数的幾何の間の計算的ブリッジを確立すること。
• SingularおよびGfanを用いて、有理数係数のイデアルに対して上げ上げアルゴリズムを実装し、実用的な計算を可能にすること。
• 上げ上げプロセスの副産物として、空間曲線特異点のプルフェュールパラメータ表示を回復すること。

提案手法

• アルゴリズムは、重みベクトル ω によって誘導される単項式順序に関して、K[[t]][x] の混合級数-多項式環における標準基底を用いる。
• 初期イデアルは、標準基底の t-不変量を用いて計算され、これはトロピカルの意味での先行項を捉える。
• 上げ上げプロセスはまず0次元イデアルに対して開発され、その際、上げ上げ補題の構成的版を用いる。
• 高次元イデアルの場合、代数的還元技術を用いて問題を0次元の場合に還元する。
• 理論的基盤は、プルフェュール級数上のイデアルおよびその初期イデアルの次元論に基づく。
• アルゴリズムは、Singularを用いたグレブナー基底計算と、Gfanを用いたトロピカル多様体計算の両方で実装されている。

実験結果

リサーチクエスチョン

• RQ1 初期イデアルを用いて定義されるトロピカル多様体の任意の点が、プルフェュール級数上の対応する代数的多様体上の点に上げ上げ可能か？
• RQ2 指定された次数までこのような上げ上げを計算する構成的アルゴリズムは存在するか？
• RQ3 トロピカル多様体と代数的多様体の間の対応関係をどのようにアルゴリズム的かつ計算的に有効にできるか？
• RQ4 混合環 K[[t]][x] における標準基底は、トロピカル初期イデアルを計算するために果たす役割は何か？
• RQ5 上げ上げアルゴリズムを用いて、空間曲線特異点のプルフェュール展開を計算できるか？

主な発見

• 本稿では、トロピカル幾何学の基本定理の構成的証明を確立した：初期イデアルを用いて定義されるトロピカル多様体は、代数的多様体の値関数像と一致する。
• 任意の与えられたトロピカル点を、指定された次数まで代数的多様体上の点に上げ上げするアルゴリズムが開発され、標準基底と初期形を用いる。
• SingularおよびGfanへの実装により、有理数係数のイデアルに対して、実際に計算可能な上げ上げが可能となり、理論的・応用的両面での支援が得られる。
• 本手法により、(K^{n+1},0) における空間曲線特異点のプルフェュールパラメータ表示を求めるための新しいアルゴリズム的ルートが提供される。
• K[[t]][x] における初期イデアルと標準基底に関する理論的結果が証明され、特に [Mar08] の定理7.1の別証明が標準基底を用いて与えられる。
• 本稿は、従来のトロピカル-代数的対応関係の証明におけるギャップを埋め、任意のイデアルに対して完全に構成的かつ一般なアルゴリズムを提供する。