Coherent presentations of Artin monoids

Abstract

We compute coherent presentations of Artin monoids, that is presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensional rewriting that extend Squier's and Knuth-Bendix's completions into a homotopical completion-reduction, applied to Artin's and Garside's presentations. The main result of the paper states that the so-called Tits-Zamolodchikov 3-cells extend Artin's presentation into a coherent presentation. As a byproduct, we give a new constructive proof of a theorem of Deligne on the actions of an Artin monoid on a category.

Cited by in corpus (10)

• Polygraphs of finite derivation type
• Convergent presentations and polygraphic resolutions of associative algebras
• Finite convergent presentation of plactic monoid for type C
• Quadratic normalisation in monoids
• A coherence theorem for pseudonatural transformations
• Chinese syzygies by insertions
• A Rewriting Coherence Theorem with Applications in Homotopy Type Theory
• Topological closure of formal power series ideals and application to topological rewriting theory
• Quotients of the magmatic operad: lattice structures and convergent rewrite systems
• Correspondence between factorability and normalisation in monoids