[论文解读] Brick polytopes of spherical subword complexes and generalized associahedra

Vincent Pilaud, Christian Stump|arXiv (Cornell University)|Nov 14, 2011

Advanced Combinatorial Mathematics参考文献 29被引用 11

一句话总结

本文引入了有限 Coxeter 群的球面对子词复形的砖多面体构造，推广了类型 A 关联单纯形的实现。证明了对于根无关的子词复形——特别是有限类型簇复形——砖多面体与广义关联单纯形重合，提供了新的顶点描述、Minkowski 分解以及组合交换矩阵的表征。

ABSTRACT

We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectives on these constructions. This new approach yields in particular the vertex description of generalized associahedra, a Minkowski sum decomposition into Coxeter matroid polytopes, and a combinatorial description of the exchange matrix of any cluster in a finite type cluster algebra.

研究动机与目标

• 将砖多面体构造从类型 A 扩展至所有有限 Coxeter 群。
• 识别可通过砖多面体实现的子词复形类别，特别关注根无关复形。
• 证明对于有限类型簇复形，砖多面体与已知的广义关联单纯形重合。
• 推导广义关联单纯形的新组合与几何性质，包括顶点描述与 Minkowski 分解。
• 在不依赖 Cambrian 格或扇形图的情况下，直接实现簇复形。

提出的方法

• 通过 Coxeter 群的几何表示中的根构型与线性泛函，定义子词复形的砖多面体。
• 引入根无关子词复形的概念，其特征是面翻转中不存在根依赖。
• 通过砖向量构造，建立子词复形的面到砖多面体顶点的满射映射。
• 证明砖多面体的法线扇形是 Coxeter 扇形的粗化，从而将其与群上的弱序联系起来。
• 利用递增翻转序与弱序商，描述砖多面体的 1-骨架。
• 通过每个面的根构型，将砖多面体分解为 Coxeter 拟阵多面体的 Minkowski 和。

实验结果

研究问题

• RQ1 哪些球面对子词复形可通过砖多面体构造作为凸多面体的边界复形实现？
• RQ2 有限类型簇复形的砖多面体构造与已知广义关联单纯形之间有何关系？
• RQ3 能否直接从砖多面体构造推导出广义关联单纯形的顶点描述？
• RQ4 砖多面体的法线扇形与 Coxeter 扇形或 Coxeter 群上的弱序之间存在何种关系？
• RQ5 有限类型簇代数中簇的交换矩阵能否通过对应面在子词复形中的根构型进行组合描述？

主要发现

• 根无关子词复形的砖多面体是一个凸多面体，其边界复形同构于该子词复形。
• 对于有限类型簇复形，砖多面体是 Hohlweg、Lange 与 Thomas 构造的广义关联单纯形的平移。
• 砖多面体的顶点集通过砖向量映射与子词复形的面之间存在双射关系。
• 砖多面体的法线扇形是 Coxeter 扇形的粗化，其 1-骨架同构于弱序哈斯图的商图。
• 砖多面体可分解为 Coxeter 拟阵多面体的 Minkowski 和，分解由每个面的根构型索引。
• 有限类型簇代数中簇的交换矩阵在组合上由其对应面在子词复形中的根构型编码。