Quivers, quasi-quantum groups and finite tensor categories.

bound quivers elementary quasi-Hopf algebras finite representation type finite-dimensional pointed Majid algebras Hopf quivers path coalgebras pointed coalgebras pointed Hopf algebras

Mathematics Subject Classification ID

Representations of quivers and partially ordered sets (16G20) Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15)

Abstract: We study finite quasi-quantum groups in their quiver setting developed recently by the first author in arXiv:0902.1620 and arXiv:0903.1472. We obtain a classification of finite-dimensional pointed Majid algebras of finite corepresentation type, or equivalently a classification of elementary quasi-Hopf algebras of finite representation type, over the field of complex numbers. By the Tannaka-Krein duality principle, this provides a classification of the finite tensor categories in which every simple object has Frobenius-Perron dimension 1 and there are finitely many indecomposable objects up to isomorphism. Some interesting information of these finite tensor categories is given by making use of the quiver representation theory.

Review text

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\).

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Quivers, quasi-quantum groups and finite tensor categories.

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