Coherent presentations of Artin monoids


Abstract in English

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 Squiers and Knuth-Bendixs completions into a homotopical completion-reduction, applied to Artins and Garsides presentations. The main result of the paper states that the so-called Tits-Zamolodchikov 3-cells extend Artins 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.

Download