[论文解读] Shelling totally nonnegative flag varieties

Lauren Williams|ArXiv.org|Sep 6, 2005

Advanced Combinatorial Mathematics参考文献 7被引用 5

一句话总结

本文证明了Rietsch对完全非负旗丛的胞腔分解中胞腔构成的偏序集是EL-可壳化且为纤薄的，这意味着其序复形同胚于一个球面。这些结果证实了每个胞腔的闭包的欧拉示性数为1，并支持了完全非负旗丛是同胚于球面的正则CW复形的猜想。

ABSTRACT

In this paper we study the partially ordered set Q^J of cells in Rietsch's cell decomposition of the totally nonnegative part of an arbitrary flag variety P^J_{\geq 0}. Our goal is to understand the geometry of P^J_{\geq 0}: Lusztig has proved that this space is contractible, but it is unknown whether the closure of each cell is contractible, and whether P^J_{\geq 0} is homeomorphic to a ball. The order complex |Q^J| is a simplicial complex which can be thought of as a combinatorial approximation of P^J_{\geq 0}. Using combinatorial tools such as Bjorner's EL-labellings and Dyer's reflection orders, we prove that Q^J is graded, thin and EL-shellable. As a corollary, we deduce that Q^J is Eulerian and that the Euler characteristic of the closure of each cell is 1. Additionally, our results imply that |Q^J| is homeomorphic to a ball, and moreover, that Q^J is the face poset of some regular CW complex homeomorphic to a ball.

研究动机与目标

• 为了理解完全非负旗丛 𝒫^J_≥0 的拓扑性质，该空间已知是可缩的，但其胞腔闭包与整体拓扑仍知之甚少。
• 确定Rietsch的胞腔分解中每个胞腔的闭包是否可缩，以及 𝒫^J_≥0 是否同胚于一个球面。
• 利用组合工具分析胞腔的偏序集 ℚ^J，该偏序集作为 𝒫^J_≥0 几何结构的组合模型。
• 证明 ℚ^J 是EL-可壳化且纤薄的，这意味着其序复形与原空间具有强拓扑性质。

提出的方法

• 采用Björner的EL-标记技术，利用偏序集中可壳化的组合准则，建立偏序集 ℚ^J 的EL-可壳化性。
• 应用Dyer的反射序理论，在Weyl群 W 上构造一个反射序，以促进EL-标记的构造。
• 利用纤薄性与EL-可壳化性蕴含其序复形 ||ℚ^J|| 同胚于球面的性质。
• 利用偏序集 ℚ^J 与Bruhat序之间的联系，特别是在Weyl群与抛物子群的背景下。
• 在Grassmannian情形下，利用带标记的排列与Γ-图来验证A型情形下的结果，与Postnikov的工作相联系。
• 应用Björner定理：一个纤薄且EL-可壳化的偏序集是同胚于球面的正则CW复形的面偏序集。

实验结果

研究问题

• RQ1 Rietsch的完全非负旗丛胞腔分解中，每个胞腔的闭包是否可缩？
• RQ2 完全非负旗丛 𝒫^J_≥0 是否同胚于一个球面？
• RQ3 胞腔偏序集 ℚ^J 是否具有反映 𝒫^J_≥0 拓扑性质的组合结构？
• RQ4 能否利用反射序与EL-标记建立 ℚ^J 的EL-可壳化性与纤薄性？
• RQ5 胞腔偏序集 ℚ^J 的序复形 ||ℚ^J|| 是否具有球面的拓扑？

主要发现

• 偏序集 ℚ^J 是纤薄的，即每个秩为二的区间恰好包含四个元素。
• 偏序集 ℚ^J 是EL-可壳化的，即其边可被赋予满足EL-可壳化条件的标记。
• EL-可壳化性与纤薄性共同推出 ℚ^J 是Eulerian的，即在每个开区间中，偶数秩元素的数量等于奇数秩元素的数量。
• 该分解中每个胞腔闭包的欧拉示性数为1，这是一个关键的拓扑不变量。
• 序复形 ||ℚ^J|| 同胚于一个球面，为 𝒫^J_≥0 的几何结构类似球面提供了强有力证据。
• ℚ^J 是一个同胚于球面的正则CW复形的面偏序集，支持了 𝒫^J_≥0 本身是同胚于球面的正则CW复形的猜想。