[论文解读] Permutahedra and Associahedra: Generalized associahedra from the geometry of finite reflection groups

Christophe Hohlweg|arXiv (Cornell University)|Dec 14, 2011

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

一句话总结

本文通过移除有限反射群的排列多面体中由考克斯eter单子决定的特定面，建立了一类广义关联多面体的几何构造。该方法将广义关联多面体实现为排列多面体的投影，将其与卡姆布里安格和卡姆布里安扇面对接，并通过反射群几何为关联多面体、循环多面体及其推广提供了一个统一的框架。

ABSTRACT

This is a chapter in an upcoming Tamari Festscrift. Permutahedra are a class of convex polytopes arising naturally from the study of finite reflection groups, while generalized associahedra are a class of polytopes indexed by finite reflection groups. We present the intimate links those two classes of polytopes share.

研究动机与目标

• 通过有限反射群的视角，统一实现关联多面体、循环多面体和广义关联多面体的几何构造。
• 建立一种系统化的方法，通过移除特定面，从排列多面体构造广义关联多面体。
• 证明所得多面体编码了卡姆布里安格和卡姆布里安扇面，推广了塔马里格和其几何结构。
• 探索这些构造的组合与几何性质，特别是整数坐标结构和闵可夫斯基和分解。
• 识别多面体体积计算、整数点计数以及向多关联多面体推广方面的开放问题。

提出的方法

• 以有限反射群 $W$ 的排列多面体作为起始多面体，其构造为向量空间 $V$ 中一个一般点 $\mathbf{a}$ 的 $W$-轨道的凸包。
• 通过与群 $W$ 相关的考克斯eter单子识别排列多面体的面，从而确定需要移除的面。
• 移除对应于考克斯eter单子的面，得到广义关联多面体 $\mathrm{Asso}^{\mathbf{a}}_c(W)$，同时保持弱序结构。
• 利用所得多面体的法扇面即为 N. 里丁定义的卡姆布里安扇面这一事实，将几何与格论联系起来。
• 利用威尔群 $W$ 对整数点格的行动，分析顶点和面的坐标整性。
• 应用广义排列多面体（波斯特尼科夫）和球面子字串复形的技术，探索闵可夫斯基和分解及潜在推广。

实验结果

研究问题

• RQ1 是否可以系统地将任意有限反射群的广义关联多面体实现为对应排列多面体的面删除子多面体？
• RQ2 考克斯eter单子在确定应删除哪些面以获得广义关联多面体方面起着何种精确作用？
• RQ3 当原始排列多面体具有整数坐标时，通过此方法获得的广义关联多面体的顶点和面是否总是具有整数坐标？
• RQ4 广义排列多面体的框架能否推广至有限反射群，从而将广义关联多面体表示为单形的闵可夫斯基和与差？
• RQ5 是否存在广义多关联多面体的多面体实现，其为关联多面体的推广，且源于球面子字串复形？

主要发现

• 对于任意有限反射群 $W$，可通过从 $W$ 的排列多面体中移除特定面来构造广义关联多面体，其依据为考克斯eter单子。
• 所得多面体将卡姆布里安格实现为其顶点偏序集，将法扇面实现为卡姆布里安扇面，推广了塔马里格及其几何实现。
• 该构造保持了 $W$ 上的弱序，将其映射为广义关联多面体顶点上的塔马里型序。
• 广义关联多面体的顶点由簇复形中的簇标记，该构造实现了簇代数结构的几何实现。
• 尽管原始排列多面体点的正交投影不具有整数坐标，但所得广义关联多面体的顶点却具有整数坐标，这一现象尚未得到完全解释。
• 该方法为经典关联多面体（通过 $S_n$）、循环多面体（通过 $B_n$）及其他广义关联多面体提供了一个统一的几何框架，将其与反射群几何联系起来。