Classification of finite-dimensional triangular Hopf algebras with the Chevalley property

Abstract: Recall that a triangular Hopf algebra A is said to have the Chevalley property if the tensor product of any two simple A-modules is semisimple, or, equivalently, if the radical of A is a Hopf ideal. There are two reasons to study this class of triangular Hopf algebras: First, it contains all known examples of finite-dimensional triangular Hopf algebras; second, it can be, in a sense, "completely understood". Namely, it was shown in our previous work with Andruskiewitsch that any finite-dimensional triangular Hopf algebra with the Chevalley property is obtained by twisting of a finite-dimensional triangular Hopf algebra with R-matrix of rank at most 2 which, in turn, is obtained by "modifying" the group algebra of a finite supergroup. This provides a classification of such Hopf algebras. The goal of this paper is to make this classification more effective and explicit, i.e. to parameterize isomorphism classes of finite-dimensional triangular Hopf algebras with the Chevalley property by group-theoretical objects, similarly to how it was done in our previous work in the semisimple case. This is achieved in Theorem 2.2, where these classes are put in bijection with certain septuples of data. In the semisimple case, the septuples reduce to the quadruples, and we recover the result of our previous paper. In the minimal triangular pointed case, we recover a classification theorem from a previous paper of the second author.

Review text

A Hopf algebra has the Chevalley property if its Jacobson radical is a Hopf ideal. Finite dimensional triangular Hopf algebras with the Chevalley property are characterized by \textit{N. Andruskiewitsch, P. Etingof}, and \textit{S. Gelaki} [Mich. Math. J. 49, No. 2, 277-298 (2001; Zbl 1016.16029)]. They can be obtained by twisting a triangular Hopf algebra with \(R\)-matrix of rank \(\leq 2\); these are in turn ``modifications of finite dimensional super-group algebras. In the paper under review, the authors give a more explicit classification of finite dimensional triangular Hopf algebras with the Chevalley property, parametrizing isomorphism classes of such Hopf algebras via certain septuples of data.NEWLINENEWLINENEWLINERecently, the authors proved that any finite dimensional triangular complex Hopf algebra is a ``modification of a finite dimensional super-group algebra, thus it has the Chevalley property; see [\textit{P. Etingof, S. Gelaki}, ``The classification of finite-dimensional triangular Hopf algebras over an algebraically closed field of characteristic 0, \url{http://arxiv.org/abs/math.QA/0202258}]. Their proof relies on a deep characterization of symmetric categories of representations of super-groups obtained by \textit{P. Deligne} [``Catégories tensorielles, \url{http://www.math.ias.edu/~phares/deligne/preprints.html}, February 2002]. In conclusion, it is now known that all finite dimensional triangular complex Hopf algebras are classified by the list given in the paper under review.

Recommendations

Cited in

(11)

This page was built for publication: Classification of finite-dimensional triangular Hopf algebras with the Chevalley property

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