[论文解读] Diagrammatics for Coxeter groups and their braid groups

Ben Elias, Geordie Williamson|arXiv (Cornell University)|May 20, 2014

Algebraic structures and combinatorial models参考文献 5被引用 6

一句话总结

本文通过带装饰的平面图，提供了考克斯eter群与 braid 2-群的幺半范畴图示化表述，扩展了经典的考克斯eter表述。它建立了一个简单的判别准则——验证扎莫洛季金关系——以判断 braid 群或考克斯eter群是否在范畴上严格作用，从而可通过拓扑胞复形模型与同伦理论的严格化方法，高效验证严格范畴作用。

ABSTRACT

We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

研究动机与目标

• 通过带装饰的平面图，提供考克斯eter群与 braid 2-群的幺半范畴图示化表述。
• 将经典的考克斯eter表述扩展至适合范畴化群作用的框架。
• 建立一个实用的判别准则，用于判断 braid 群或考克斯eter群是否在范畴上严格作用，从而避免验证所有高阶相容性条件。
• 通过 3-骨架近似，将群作用的代数结构与拓扑胞复形及同伦理论的严格化联系起来。
• 推广并细化现有关于 braid 群严格作用的研究成果，特别是针对有限与无限考克斯eter系统。

提出的方法

• 使用带装饰的平面图构建考克斯eter群与 braid 群的 2-群胚模型，其中生成元对应边，关系对应 2-胞和 3-胞。
• 利用 Salvetti 复形及其万有覆叠，对 braid 群及其万有覆叠的分类空间进行建模。
• 定义考克斯eter复形万有覆叠的 3-骨架近似，证明其同伦等价于一个 3-维复形。
• 引入关键的 3-胞：旋转（r）、翻转（f）与扎莫洛季金（Z）胞，用于编码高阶一致性数据。
• 证明冗余的 3-胞可被移除，而不改变同伦型，从而得到一个同伦等价于考克斯eter复形 3-骨架的极小复形。
• 证明严格作用存在的充要条件是扎莫洛季金关系成立，从而将严格性的验证简化为单个关系的验证。

实验结果

研究问题

• RQ1 如何通过带装饰的平面图构建考克斯eter群与 braid 2-群的幺半范畴表述？
• RQ2 确保 braid 群在范畴上严格作用所需的最小关系集是什么？
• RQ3 Salvetti 复形及其万有覆叠的拓扑结构如何与群作用的严格化相关联？
• RQ4 扎莫洛季金关系能否作为 braid 群作用严格性的完整判别准则？
• RQ5 在多大程度上可通过图示胞复形捕捉群作用的同伦理论严格化？

主要发现

• braid 群在范畴上的严格作用存在的充要条件是扎莫洛季金关系成立，提供了一个单一且可验证的条件。
• 考克斯eter系统对应的 Salvetti 复形万有覆叠同伦收缩至一个 3-维复形，该复形建模了考克斯eter复形的 3-骨架。
• 图示复形中的冗余 3-胞可被移除而不改变同伦型，从而得到严格化的极小模型。
• 该构造通过 3-骨架近似，提供了 braid 群分类空间的图示实现。
• 该方法通过 Garside 结构将 Deligne 与 Digne-Michel 关于正 braid 半群的结果推广至任意考克斯eter群。
• 该拓扑模型允许通过组合与图示方法验证严格群作用，无需检查所有高阶一致性数据。