Hecke-Hopf algebras (Q2319879)

Let \(W\) be a Coxeter group generated by \(s_i, i\in I\), subject to relations \((s_is_j)^{m_{ij}}=1\), where the \(m_{ij}\)'s are non-negative integers such that \(m_{ij}=m_{ji}\) for any \(i,j\), and \(m_{ii}=1\) for any \(i\). If \(\mathbb{K}\) is a commutative ring, and \(\mathrm{q}=(q_i)_{i\in I}\) is a family of elements of \(\mathbb{K}\) such that \(q_i=q_j\) whenever \(m_{ij}\) is odd, a generalized Hecke algebra \(H_{\mathrm{q}}(W)\) is a \(\mathbb{K}\)-algebra generated by \(T_i, i\in I\), subject to quadratic relations \(T_i^2=(1-q_i)T_i+q_i\) for any \(i\), and to braid relations \(T_iT_j\ldots =T_jT_i\ldots\) (with \(m_{ij}\) factors in each side) for any \(i\neq j\). The authors construct a Hopf algebra \(\underline{\mathbf{H}}(W)\) over \(\mathbb{Z}\), called the lower Hecke-Hopf algebra of \(W\), such that \(H_{\mathrm{q}}(W)\) is isomorphic as a \(\mathbb{K}\)-algebra to a left coideal subalgebra of \(\underline{\mathbf{H}}(W)\otimes \mathbb{K}\), and another Hopf algebra \(\mathbf{H}(W)\), a kind of a Hopf cover of \(\underline{\mathbf{H}}(W)\), called the Hecke-Hopf algebra of \(W\), such that \(H_{\mathrm{q}}(W)\) also embeds into \(\mathbf{H}(W)\). The structure of \(\mathbf{H}(W)\) and \(\underline{\mathbf{H}}(W)\) is studied, and an explicit presentation by generators and relations is given for \(\mathbf{H}(W)\) in the case where \(W\) is simply laced. The Hopf algebras introduced in the paper provide new solutions of the quantum Yang-Baxter equation and are used for obtaining a new family of endo-functors of the category of modules over \(H_{\mathrm{q}}(W)\). Some connections between \(\mathbf{H}(S_n)\) and Fomin-Kirillov algebras are observed in the case where \(W\) is the symmetric group \(S_n\), while for an arbitrary \(W\), \(\mathbf{H}(W)\) is related to Nichols algebras. Some of the results are extended to other groups groups \(W\), or even to Hopf algebras.