[论文解读] Subword complexes and edge subdivisions

Mikhail Gorsky|arXiv (Cornell University)|May 23, 2013

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

一句话总结

该论文证明，在单连通的考克斯eter群中，辫子移动在子词复形上诱导的变换等价于一系列边剖分及其逆变换。论文给出了 $H$- 和 $\gamma$-多项式在这些操作下变化的显式公式，将考克斯eter群的组合学与多面体几何及枚举不变量联系起来。

ABSTRACT

For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections, $π$ is a group element. We discuss the transformations of such a complex induced by braid moves of the word Q. We show that under certain conditions, this transformation is a composition of edge subdivisions and inverse edge subdivisions. In such a case, we describe how the H- and the γ-polynomials change under this operation. This case includes all braid moves for groups with simply-laced Coxeter diagrams.

研究动机与目标

• 理解有限考克斯eter群中辫子移动对子词复形的拓扑与组合影响。
• 刻画此类变换何时对应于边剖分或其逆变换。
• 确定 $H$- 和 $\gamma$-多项式——关键的枚举不变量——在这些操作下的变换方式。
• 建立辫子移动与双对偶多面体上的 $2$-截断等几何操作之间的联系。
• 利用边剖分关系在群元素的约化表达式上定义一个偏序。

提出的方法

• 分析有限考克斯eter群中与字 $\mathbf{Q}$ 和群元素 $\pi$ 关联的子词复形 $\Delta(\mathbf{Q}, \pi)$。
• 应用辫子移动将 $\mathbf{Q}$ 变换为 $\mathbf{Q}'$，研究由此诱导的单纯复形变换。
• 识别 $\Delta(\mathbf{Q}, \pi)$ 与 $\Delta(\mathbf{Q}', \pi)$ 之间变换为边剖分及其逆变换的复合的条件。
• 利用可壳化与面计数，推导出这些操作下 $H$- 和 $\gamma$-多项式变化的显式公式。
• 通过对偶性将边剖分操作转化为对偶简单多面体上的 $2$-截断。
• 将结果应用于构造固定群元素 $\pi$ 的约化表达式上的偏序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$。

实验结果

研究问题

• RQ1 在何种条件下，两个字 $\mathbf{Q}$ 和 $\mathbf{Q}'$ 之间的辫子移动会在子词复形上诱导出边剖分及其逆变换的复合？
• RQ2 在这些边剖分操作下，子词复形的 $H$- 和 $\gamma$-多项式如何变化？
• RQ3 能否将简单多面体上的 $2$-截断几何操作组合解释为考克斯eter群中的辫子移动？
• RQ4 通过边剖分关系，可在固定群元素 $\pi$ 的约化表达式集合上定义何种偏序？
• RQ5 哪些三元组 $(\mathbf{Q}, \mathbf{Q}', \pi)$ 在偏序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$ 下形成上确界或下确界半格结构？

主要发现

• 对于单连通考克斯eter群中的任意辫子移动，其在子词复形上诱导的变换均为边剖分及其逆变换的复合。
• $H$-多项式的变换遵循一个依赖于辫子移动位置的线性变换，且保持多项式次数不变。
• $\gamma$-多项式的变换通过一个组合规则实现，反映了边剖分下面对数的变化，在给定条件下保持非负性。
• 关联的简单多面体上的对偶操作是余维数为 2 的面的 $2$-截断，将考克斯eter群移动与多面体几何联系起来。
• 在约化表达式上的偏序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$ 是良定义的，并捕捉了边剖分序列的方向性。
• 本研究为 $2$-截断与边剖分提供了新的组合解释，表明它们源于考克斯eter系统中的辫子关系。