[论文解读] Matching polytopes, toric geometry, and the non-negative part of the Grassmannian

Alexander Postnikov, David E Speyer+1 more|ArXiv.org|Jun 17, 2007

Advanced Combinatorial Mathematics参考文献 20被引用 38

一句话总结

本文建立了一个关于完全非负格拉斯曼流形 $(Gr_{k,n})_{\text{≥}0}$ 的分式几何框架，利用与平面双分图 $G$ 相关的匹配多面体 $P(G)$ 来参数化各个胞腔。证明了胞腔分解构成一个正则 CW 复形，并通过图匹配、多面体面格和通过矩量映射联系的分式簇之间的关系，表明每个胞腔闭包的欧拉示性数为 1。

ABSTRACT

In this paper we use toric geometry to investigate the topology of the totally non-negative part of the Grassmannian (Gr_{kn})_{\geq 0}. This is a cell complex whose cells Delta_G can be parameterized in terms of the combinatorics of plane-bipartite graphs G. To each cell Delta_G we associate a certain polytope P(G). The polytopes P(G) are analogous to the well-known Birkhoff polytopes, and we describe their face lattices in terms of matchings and unions of matchings of G. We also demonstrate a close connection between the polytopes P(G) and matroid polytopes. We then use the data of P(G) to define an associated toric variety X_G. We use our technology to prove that the cell decomposition of (Gr_{kn})_{\geq 0} is a CW complex, and furthermore, that the Euler characteristic of the closure of each cell of (Gr_{kn})_{\geq 0} is 1.

研究动机与目标

• 使用组合与代数几何工具，理解完全非负格拉斯曼流形 $(Gr_{k,n})_{\text{≥}0}$ 的拓扑结构。
• 定义并分析与平面双分图 $G$ 相关的匹配多面体 $P(G)$，将伯克霍夫多面体推广至平面情形。
• 构造分式簇 $X_G$，其非负部分通过有理映射 $m_G$ 参数化 $(Gr_{k,n})_{\text{≥}0}$ 中的胞腔。
• 证明 $(Gr_{k,n})_{\text{≥}0}$ 的胞腔分解是一个正则 CW 复形，且每个胞腔闭包的欧拉示性数为 1。

提出的方法

• 将匹配多面体 $P(G)$ 构造为平面双分图 $G$ 中几乎完美匹配的关联向量的凸包。
• 利用矩量映射将 $P(G)$ 识别为分式簇 $X_G$ 的矩量多面体，使得 $P(G)$ 同胚于非负部分 $(X_G)_{\text{≥}0}$。
• 定义一个有理映射 $m_G: X_G \to Gr_{k,n}$，其在 $P(G)$ 内部限制为已知的参数化 $\mathrm{Meas}_G$。
• 建立 $G$ 的初等子图与 $P(G)$ 的面之间的面格对应关系，其中面的面（facet）对应于边的等价类。
• 利用面格的结构以及威廉姆斯关于欧拉格的结论，计算胞腔闭包的欧拉示性数。
• 利用 $f$-向量、Ehrhart 系数和体积等组合不变量分析 $P(G)$ 及其相关分式簇。

实验结果

研究问题

• RQ1 如何利用分式几何与多面体组合学描述完全非负格拉斯曼流形的拓扑？
• RQ2 平面双分图 $G$、其匹配多面体 $P(G)$ 与 $(Gr_{k,n})_{\text{≥}0}$ 的胞腔分解之间存在何种精确关系？
• RQ3 $P(G)$ 的面格如何反映 $G$ 中匹配及其匹配并集的组合结构？
• RQ4 $(Gr_{k,n})_{\text{≥}0}$ 中每个胞腔闭包的欧拉示性数是多少？如何通过分式几何计算？
• RQ5 能否利用 $P(G)$ 与 $X_G$ 的几何性质，证明 $(Gr_{k,n})_{\text{≥}0}$ 的胞腔分解是正则 CW 复形？

主要发现

• 通过从矩量多面体 $P(G)$ 到每个胞腔闭包的同胚构造，证明了 $(Gr_{k,n})_{\text{≥}0}$ 的胞腔分解是正则 CW 复形。
• 每个胞腔闭包的欧拉示性数恰好为 1，这是由 $(\text{Gr}_{k,n})_{\text{≥}0}$ 的面格的欧拉性质推导而来。
• $P(G)$ 的面格同构于 $G$ 的初等子图格，其中顶点对应于 $G$ 的完美定向（或几乎完美匹配）。
• $P(G)$ 的面（facet）与 $G$ 中边的等价类之间存在双射关系，其中边等价当且仅当它们以相同方向分离同一对面。
• 对于顶胞腔，计算了 $P(G)$ 的 $f$-向量：$P(G24)$ 的 $f$-向量为 $(7,17,18,8)$，$P(G25)$ 的为 $(14,59,111,106,52,12)$，$P(G26)$ 的为 $(25,158,440,664,590,315,98,16)$。
• 多面体 $P(G24)$、$P(G25)$、$P(G26)$ 和 $P(G36)$ 的体积分别为 $\frac{1}{6}$、$\frac{1}{30}$、$\frac{41}{10080}$ 和 $\frac{781}{181440}$，其对应分式簇的次数分别为 4、24、164 和 1562。