Quivers, quasi-quantum groups and finite tensor categories. (Q535188): Difference between revisions

Over the last two decades, significant progress was made on the classification of finite-dimensional pointed Hopf algebras over an algebraically closed field \(\mathbb C\) of characteristic zero. Quasi-Hopf algebras were introduced by Drinfeld. The dual notion was introduced by Majid. Majid calls this a dual quasi-Hopf algebra, in the present paper the name Majid algebra is used. Majid algebras carry a coalgebra structure, so we can investigate whether they are pointed. This paper is a contribution to the classification of finite-dimensional pointed Majid algebras. The dual of a finite-dimensional pointed Majid algebra is an elementary quasi-Hopf algebra; an elementary algebra is a finite-dimensional algebra such that all simple modules are one-dimensional. Thus the classification results also apply to elementary quasi-Hopf algebras. The classification goes via quivers. To a quiver \(Q\), we can associate its path coalgebra \(\mathbb CQ\). A quiver is called a Hopf quiver if \(\mathbb CQ\) admits a graded Hopf algebra structure. A previous result of the first author states that this is equivalent to \(\mathbb CQ\) admitting a graded Majid algebra structure. The structure of Hopf quivers is known: a Hopf quiver \(Q(G,R)\) can be constructed from a group \(G\) and a formal sum \(\sum_CR_CC\), where \(C\) runs over the conjugacy classes of \(G\) and the \(R_C\) are integers. Conversely, to a finite-dimensional pointed coalgebra, we can associate a quiver, called its bound quiver. A finite-dimensional pointed Majid algebra is of finite corepresentation type if and only if its dual elementary quasi-Hopf algebra is of finite representation type. The authors show that this is equivalent to the fact that its bound quiver is of type \(Z^n=Q(\mathbb Z_n,g)\), where \(g\) is a generator of the cyclic group \(\mathbb Z_n\). The Majid algebra structures on \(\mathbb CZ^n\) can be classified: they are parametrized by \(s\in\{0,1,\dots,n-1\}\) and \(q\), an \(n\)-th root of \(1\). This Majid algebra \(\mathbb CZ^n(s,q)\) contains a unique finite-dimensional graded large sub-Majid algebra, denoted \(M(n,s,q)\). The main result of the paper states that a non-trivial finite-dimensional graded pointed Majid algebra of finite corepresentation type and with connected underlying coalgebra, is isomorphic to some \(M(n,s,q)\), for appropriate values of \(n\), \(s\) and \(q\).