Quasi-reflection algebras and cyclotomic associators

From MaRDI portal
Publication:2481739



Abstract: We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism B_n^1 -> (ZZ/N ZZ)^n rtimes S_n, where B_n^1 is a braid group of type B. The formality isomorphism depends algebraically on a series Psi_KZ, the ``KZ pseudotwist. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N,k), mapping to Drinfeld's group GT(k), and whose Lie algebra is isomorphic to its associated graded grtm(N,k). We prove that Ihara's subgroup GTK of the Grothendieck-Teichm"uller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue grtmd(N,k) of grtm(N,k); it is a graded Lie algebra with an action of (ZZ/N ZZ)^*, and we give a lower bound for the character of its space of generators.


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.




Cited in
(33)








This page was built for publication: Quasi-reflection algebras and cyclotomic associators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481739)