[論文レビュー] The Tropical Grassmannian

David E Speyer, Bernd Sturmfels|ArXiv.org|Apr 16, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 5

ひとこと要約

本稿では、二次プレュッカー関係式のイデアルのトロピカル的対象としてトロピカル・グラスマンニアン 𝒢_{d,n} を導入し、それがトロピカル線形空間をパラメトライズすることを示している。𝒢_{2,n} が系統発生樹の空間に一致することを確立し、𝒢_{3,7} が底体の特性に依存することを示しており、d ≥ 3 および n ≥ 7 の場合、単項式を含まない初期イデアルには高次元の生成元が必要となることが判明している。

ABSTRACT

In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical Grassmannian arises in this manner from the ideal of quadratic Plucker relations. It is shown to parametrize all tropical linear spaces. Lines in tropical projective space are trees, and their tropical Grassmannian G_{2,n} equals the space of phylogenetic trees studied by Billera, Holmes and Vogtmann. Higher Grassmannians offer a natural generalization of the space of trees. Their facets correspond to binomial initial ideals of the Plucker ideal. The tropical Grassmannian G_{3,6} is a simplicial complex glued from 1035 tetrahedra.

研究の動機と目的

• プレュッカーイデアルのトロピカル的対象としてトロピカル・グラスマンニアンを定義し、その性質を調査すること。
• 𝒢_{2,n} が系統発生樹の空間と一致することを確立すること。
• 底体の特性に依存するトロピカル・グラスマンニアンの性質を調査すること。
• d ≥ 3 および n ≥ 7 の場合、プレュッカーイデアルにおける単項式を含まない初期イデアルの構造を分析すること。
• 値体上のグレブナー理論を用いて、トロピカル・グラスマンニアンの多面体的ファン構造を特徴づけること。

提案手法

• イデアル I のトロピカル的対象とは、初期イデアル in_w(I) に単項式を含まない重みベクトル w ∈ ℝ^n の集合として定義される。
• 係数の次数を用いて、K = ℂ((t)) 上の付値を用い、多項式をトロピカル多項式に持ち上げる。
• トロピカル・グラスマンニアン 𝒢_{d,n} は、プレュッカー関係式のトロピカル化によって定義される超曲面の交わりとして特定される。
• 特性 0 および 2 における単項式の有無を検出するために、ℚ および 𝔽_2 上のグレブナー基底技法を用いて初期イデアルを計算する。
• 特性依存性を検証するために、ファノ平面配置から得られる重みベクトル w を用いる。
• 𝒢_{3,6} の構造は、1035 個の単体からなる単体的複体として分析される。

実験結果

リサーチクエスチョン

• RQ1 d=2 の場合、トロピカル・グラスマンニアン 𝒢_{d,n} は系統発生樹の空間とどのように関係するか？
• RQ2 d ≥ 3 および n ≥ 7 の場合、トロピカル・グラスマンニアンは底体の特性にどのように依存するか？
• RQ3 d=2 または d=3 および n=3 の場合、プレュッカーイデアルのすべての単項式を含まない初期イデアルは、二次式によって生成可能か？
• RQ4 d ≥ 3 および n ≥ 7 の場合、プレュッカーイデアルの単項式を含まない初期イデアルには、高次元の生成元が必要となることがあるか？
• RQ5 トロピカル・グラスマンニアン 𝒢_{3,6} の多面体的構造は何か？

主な発見

• トロピカル・グラスマンニアン 𝒢_{2,n} は、ビルェラ、ホルムズ、フォグトマンが研究した系統発生樹の空間と同型である。
• トロピカル・グラスマンニアン 𝒢_{3,6} は、正確に 1035 個の単体からなる単体的複体である。
• d ≥ 3 および n ≥ 7 の場合、トロピカル・グラスマンニアン 𝒢_{d,n} は底体の特性に依存する。
• 特性 2 では、ファノ平面配置に対応するベクトル w が 𝒢_{3,7} に属するが、特性 0 では属さない。
• 同じ w に対して、特性 2 では初期イデアル in_w(I_{3,7}) に単項式が含まれないが、特性 0 では単項式が含まれる。
• d ≥ 3 および n ≥ 7 の場合、二次式だけでは、プレュッカーイデアルの単項式を含まない初期イデアルを生成することは不十分である。