Quasi-reflection algebras and cyclotomic associators (Q2481739)

The purpose of the paper is to develop a cyclotomic analogue of Drinfeld's theory of associators for the representation of the braid group \(B^1 _n\) of the \(B_n\) type to \((\mathbb Z/N \mathbb Z)^n \times\mathfrak S_n\), \(\mathbb N \geq 1\). This theory is related to the universal KZ equation in \(\mathbb C^n\) with poles at the set of hyperplanes \(z_i=0, z_i -\zeta z_j=0, i < j, i=1,\ldots, n-1\), where \(\zeta\) is one of the \(N\)-th roots of 1. Drinfeld's construction relies on the categorical meaning of associators and on the notion of quasitriangular quasi-bialgebra. Using the KZ equation, the author shows that the desired representation depends on a pair \((\Phi_{\text{KZ}}, \Psi_{\text{KZ}})\), where \(\Phi_{\text{KZ}}\) is an associator and \(\Psi_{\text{KZ}}\) is a generating series for periods of \(\mathbb C^*\setminus \mu_N({\mathbb C})\). Then he introduces a scheme \(\underline {\mathbf{Pseudo}}({\mathbb N},\mathbf{k})\) of quadruples, the last two elements of which are \(\Phi_{\text{KZ}}\), \(\Psi_{\text{KZ}}\) (here \(\mathbf {k}\) is a field of characteristic zero). The elements of this scheme are called pseudotwists. A pseudotwist may be viewed as a universal object allowing one to construct quasi-reflection algebras over a quasitriangular quasi-bialgebra. Further, imposing some conditions on the Grothendieck-Teichmüller group GT, the author defines its module version \(\text{GTM}(N,\mathbf{k})\), which can be defined as the group of automorphisms of the braided module categories over \(\mathbf{k}[[h]]\)-linear braided monoidal categories, in which the image of \(K_{n,\mathbb N}=\text{Ker}(B^1 _n \to (\mathbb Z/N \mathbb Z)^n \times\mathfrak S_n)\) is close to 1. He shows that \(\underline{\mathbf {Pseudo}} (\mathbb N,\mathbf{k})\) is a torsor over a group \(\text{GTM}(\mathbb N,\mathbf{k})\), mapping to Drinfeld's group \(\text{GT}(\mathbf{k})\) and whose Lie algebra is isomorphic to the associated graded algebra \(\mathfrak{grtm}(\mathbb N,\mathbf{k})\). This fact permits to state that the \(\mathbf {Pseudo}(N,\mathbb Q)\) is non void and to give several generalizations of Drinfeld's results. The author proves that the Ihara subgroup GTK of GT, defined by some distribution relations, in fact coincides with it. Also, it is shown, that the subscheme of pseudotwists satisfying the distribution relations is a subtorsor. For the analogue \(\mathfrak{grtm\,d}(N,\mathbf{k})\) of \(\mathfrak{grtm}(N,\mathbf{k})\) which is a graded Lie algebra with an action of \((\mathbb Z/N \mathbb Z)^*\), the lower bound for the character of its space of generators is given.