[论文解读] The tropical totally positive Grassmannian

David E Speyer, Lauren Williams|ArXiv.org|Dec 15, 2003

Advanced Combinatorial Mathematics参考文献 10被引用 13

一句话总结

本文引入了热带完全正 Grassmannian，记为 $\operatorname{Trop}^{+}Gr_{k,n}$，即在 Puiseux 级数上 Grassmannian 变体的热带化之正部分。研究证明 $\operatorname{Trop}^{+}Gr_{2,n}$ 与 Stanley–Pitman 锥体组合等价，其对偶为 $A_{n-3}$ 关联单纯形；$\operatorname{Trop}^{+}Gr_{3,6}$ 和 $\operatorname{Trop}^{+}Gr_{3,7}$ 分别与 $D_4$ 和 $E_6$ 关联单纯形的对偶锥体相关，与 Grassmannian 的丛代数类型相一致。

ABSTRACT

Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.

研究动机与目标

• 定义并研究仿射代数簇的正部分的热带化，重点研究 Grassmannian $Gr_{k,n}$。
• 建立热带完全正 Grassmannian 与经典关联单纯形锥体之间的组合与几何联系。
• 探索 Grassmannian 上丛代数结构与其热带正部分之间的关系。
• 提出一个关于有限型丛代数的正热带化结构的一般猜想。

提出的方法

• 通过 Puiseux 级数上的赋值映射定义簇的热带化，限制为正实系数以定义正部分。
• 将 $\operatorname{Trop}^{+}Gr_{k,n}$ 构造为 Plücker 理想的 Gröbner 锥体中模去其线性空间的多面体锥体。
• 利用 Postnikov 对完全正 Grassmannian 的参数化方法，为小的 $k$ 和 $n$ 推导出显式的锥体结构。
• 分析 $\operatorname{Trop}^{+}Gr_{2,n}$ 的锥体结构，证明其与 Stanley–Pitman 锥体组合等价，后者是对偶于 $A_{n-3}$ 关联单纯形的锥体。
• 对于 $Gr_{3,6}$ 和 $Gr_{3,7}$，通过引入额外的正 Laurent 多项式的热带化来细化初始锥体，得到与 $D_4$ 和 $E_6$ 关联单纯形锥体等价的锥体。
• 提出一个一般猜想：正热带化丛代数的结构与簇复形的锥体相关，其中对线性空间施加特定条件。

实验结果

研究问题

• RQ1 Grassmannian $Gr_{k,n}$ 的正部分的热带化如何与已知的多面体锥体相关？
• RQ2 $k$ 和 $n$ 较小时，$\operatorname{Trop}^{+}Gr_{k,n}$ 的组合结构是什么？
• RQ3 Grassmannian 的丛代数类型与 $\operatorname{Trop}^{+}Gr_{k,n}$ 的锥体类型之间是否存在结构性对应？
• RQ4 是否能用簇复形描述丛代数的正热带化？
• RQ5 在何种条件下，正热带化会给出与簇复形锥体同构的锥体？

主要发现

• 锥体 $\operatorname{Trop}^{+}Gr_{2,n}$ 与 Stanley–Pitman 锥体组合等价，后者是对偶于 $A_{n-3}$ 关联单纯形的锥体。
• $\operatorname{Trop}^{+}Gr_{3,6}$ 在用两个新正 Laurent 多项式的热带化细化初始锥体后，与 $D_4$ 关联单纯形的法锥体组合等价。
• $\operatorname{Trop}^{+}Gr_{3,7}$ 在用 14 个新正 Laurent 多项式的热带化细化初始锥体后，与 $E_6$ 关联单纯形的法锥体组合等价。
• $Gr_{k,n}$ 的正热带化是一个维度为 $(n-k-1)(k-1)$ 的多面体锥体，模去 $n$ 维的线性空间。
• $\operatorname{Trop}^{+}Gr_{k,n}$ 的结构与 $Gr_{k,n}$ 的丛代数类型一致，其中 $Gr_{2,n}$、$Gr_{3,6}$ 和 $Gr_{3,7}$ 分别对应于类型 $A_{n-3}$、$D_4$ 和 $E_6$。
• 提出一个一般猜想：若 $\operatorname{Trop}^{+}\operatorname{Spec}\mathcal{A}$ 的线性空间维度等于系数变量的数量，则商锥体同构于簇复形 $S(\mathcal{A})$ 的锥体；否则，其为一个粗化。