Basic quasi-Hopf algebras over cyclic groups. (Q607355): Difference between revisions

In the article the author classifies basic quasi-Hopf algebras over a cyclic group of order \(m\), where \(m\) is a natural number not divisible by \(2\), \(3\), \(5\), \(7\). Let \(k\) be an algebraically closed field of characteristic zero. If \(H:=\bigoplus_{n\geq 0}H(n)\) is a radically graded Hopf algebra generated by a group-like element \(\chi\) of order \(m^2\) and skew primitive elements \(x_1,\dots,x_t\), such that \[ \chi x_i\chi^{-1}=q^{d_i}x_i,\qquad\Delta(x_i)=x_i\otimes\chi^{b_j}+1\otimes x_i, \] where \(q\) is a root of unity of order \(m^2\), set \[ M(H):=\{s\in\{1,\dots,m-1\}\mid b_i\equiv sd_i(m),\;1\leq i\leq t \}. \] Let \(A(H,s)\) be the subalgebra generated by \(\sigma:=\chi^m\) and \(x_1,\dots,x_t\). Modify the coalgebra structure of \(H\) by a twist \(J_s\in H\otimes H\) (for each \(s\in M(H)\) there exists one \(J_s\)). \(A(H,s)\) with the induced coalgebra structure is a quasi-Hopf algebra, which is not twist equivalent to a Hopf algebra. The main result of the paper asserts that if \(A\) is a quasi-Hopf algebra such that its radical is a quasi-Hopf ideal, and \(A/\text{Rad\,}A\cong k[Z_m]\) as algebras for some natural number \(m\) not divisible by primes \(\leq 7\), then \(A\) is equivalent by a twist to one of the following: 1) a radically graded finite-dimensional Hopf algebra \(A\) such that \(A/\text{Rad\,}A\cong k[Z_m]\), or 2) a semisimple quasi-Hopf algebra \(k[Z_m]\) with associator given by \(\omega_s\in H^3(Z_m,k^\times)\), \(s\in\{1,\dots,m-1\}\), or 3) a quasi-Hopf algebra \(A(H,s)\), where \(H\) is a radically graded Hopf algebra such that \(H/\text{Rad\,}H\cong k[Z_{m^2}]\), and \(s\in M(H)\).