Set-theoretic solutions of the Yang-Baxter equation, RC-calculus, and Garside germs. (Q2517372)

Garside groups were introduced by Dehornoy and Paris as a common generalization of Artin-Tits groups and related groups with a lattice structure of the (left or right) divisibility order. In contrast to lattice-ordered groups, they satisfy only one of the equations \[ (a\vee b)c=ac\vee bc,\qquad c(a\vee b)=ca\vee cb. \] In addition, it is assumed that a Garside group is Noetherian in a strong sense and has a strong order unit, that is, an element \(\Delta>1\) such that the positive cone is generated by the interval \([1,\Delta]\) and is invariant under conjugation with \(\Delta\) and \(\Delta^{-1}\). The paper under review deals with a class of Garside groups which arose in connection with set-theoretic solutions of the quantum Yang-Baxter equation. In 2010, \textit{F. Chouraqui} [Commun. Algebra 38, No. 12, 4441-4460 (2010; Zbl 1216.16023)] observed that the structure group (in the sense of Etingof, Schedler and Soloviev) of such a solution is a Garside group. The groups arising in this context are particularly nice because of their close relationship to I-structures and cycle sets. The structure group of a finite cycle set is just given by a hypercube where the binary operation is represented by a colouring of the edges. The algorithmic behaviour of these Garside germs is what the author calls RC-calculus. The paper aims at a deeper understanding of both Garside structures and Yang-Baxter theory by developing explicit formulae within the RC-calculus. Some developments of Chouraqui can be simplified in this way.