[论文解读] The Tropical Grassmannian

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

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

一句话总结

本文將 tropical Grassmannian 𝒢_{d,n} 定義為二次 Plücker 關係理想之 tropical 積，並證明其參數化 tropical 線性空間。研究顯示 𝒢_{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.

研究动机与目标

• 定義並研究 tropical Grassmannian 為 Plücker 理想之 tropical 積。
• 建立 𝒢_{2,n} 與演化樹空間的一致性。
• 研究 tropical Grassmannian 對基域特徵的依賴性。
• 分析當 d ≥ 3 且 n ≥ 7 時，Plücker 理想中無單項式初始理想的結構。
• 利用賦值域上的 Gröbner 理論，描述 tropical Grassmannian 的多面體扇形結構。

提出的方法

• tropical 積 of an ideal I 定義為所有權重向量 w ∈ ℝ^n 的集合，使得初始理想 in_w(I) 不含單項式。
• 透過在 K = ℂ((t)) 上的賦值（deg(t) = 1），將多項式提升為係數次數對應的 tropical 多項式。
• tropical Grassmannian 𝒢_{d,n} 被識別為 Plücker 關係 tropical 化所定義之 tropical 超曲面的交集。
• 使用在 ℚ 和 𝔽_2 上的 Gröbner 基技術，計算初始理想並檢測特徵 0 和 2 下的無單項式性質。
• 論文採用源自 Fano 平面配置的權重向量 w，以測試特徵依賴性。
• 分析 𝒢_{3,6} 的結構，其為由 1035 個單形組成的單純複形。

实验结果

研究问题

• RQ1 當 d=2 時，tropical Grassmannian 𝒢_{d,n} 與演化樹空間有何關係？
• RQ2 當 d ≥ 3 且 n ≥ 7 時，tropical Grassmannian 對基域特徵的依賴性為何？
• RQ3 對於 d=2 或 d=3 且 n=3 時，Plücker 理想的所有無單項式初始理想是否均由二次式生成？
• RQ4 當 d ≥ 3 且 n ≥ 7 時，Plücker 理想的無單項式初始理想是否可能需要更高次數的生成元？
• RQ5 tropical Grassmannian 𝒢_{3,6} 的多面體結構為何？

主要发现

• tropical Grassmannian 𝒢_{2,n} 同構於 Billera、Holmes 和 Vogtmann 所研究的演化樹空間。
• tropical Grassmannian 𝒢_{3,6} 為由恰好 1035 個單形組成的單純複形。
• 當 d ≥ 3 且 n ≥ 7 時，tropical Grassmannian 𝒢_{d,n} 依賴於基域的特徵。
• 在特徵 2 時，對應於 Fano 平面配置的向量 w 屬於 𝒢_{3,7}，但在特徵 0 時則不然。
• 對於相同的 w，在特徵 2 時初始理想 in_w(I_{3,7}) 不含單項式，但在特徵 0 時則包含單項式。
• 當 d ≥ 3 且 n ≥ 7 時，僅靠二次式無法生成 Plücker 理想的無單項式初始理想。