Artin 单子的相干展示
范畴论
2015-05-27 v4 代数拓扑
K理论与同调
表示论
摘要
我们计算了 Artin 单子的相干展示，即通过生成元、关系以及关系之间的关系进行的展示。为此，我们使用了高维重写方法，将 Squier 和 Knuth-Bendix 完备化扩展为同伦完备化-归约，并将其应用于 Artin 和 Garside 展示。本文的主要结果指出，所谓的 Tits-Zamolodchikov 3-胞将 Artin 展示扩展为相干展示。作为副产品，我们给出了 Deligne 关于 Artin 单子在范畴上作用定理的一个新的构造性证明。
引用
@article{arxiv.1203.5358,
title = {Coherent presentations of Artin monoids},
author = {Stéphane Gaussent and Yves Guiraud and Philippe Malbos},
journal= {arXiv preprint arXiv:1203.5358},
year = {2015}
}