July 16, 1999
A fundamental problem in the theory of Hopf algebras is the classification and construction of finite-dimensional (minimal) triangular Hopf algebras (A,R) introduced by Drinfeld. Only recently Etingof and the author completely solved this problem for semisimple A over algebraically closed fields of characteristics 0 and p>>dim(A) (any p if one assumes that A is also cosemisimple). In this paper we take the first step towards solving this problem for finite-dimensional pointed Hopf algebras over an algebraically closed field k of characteristic 0. We first prove that the fourth power of the antipode of any triangular pointed Hopf algebra A is the identity. We do that by focusing on minimal triangular pointed Hopf algebras (A,R) (every triangular Hopf algebra contains a minimal triangular sub Hopf algebra) and proving that the group algebra of the group of grouplike elements of A (which must be abelian) admits a minimal triangular structure and consequently that A has the structure of a biproduct. We also generalize our result on the order of the antipode to any finite-dimensional quasitriangular Hopf algebra A whose Drinfeld element u acts as a scalar in any irreducible representation of A (e.g. when A^* is pointed). Second, we describe a method of construction of finite-dimensional pointed Hopf algebras which admit a minimal triangular structure, and classify all their minimal triangular structures. We conclude the paper by proving that any minimal triangular Hopf algebra which is generated as an algebra by grouplike elements and skew primitive elements is isomorphic to a minimal triangular Hopf algebra constructed using our method.
Similar papers 1
July 26, 2000
A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras, introduced by Drinfeld (e.g. the quantum double of a Hopf algebra). However, this intriguing problem turns out to be extremely hard and it is still widely open. One can hope that resolving the problem in the triangular case would contribute to the...
June 12, 1998
The goal of this paper is to give a new method of constructing finite-dimensional semisimple triangular Hopf algebras, including minimal ones which are non-trivial (i.e. not group algebras). The paper shows that such Hopf algebras are quite abundant. It also discovers an unexpected connection of such Hopf algebras with bijective 1-cocycles on finite groups and set-theoretical solutions of the quantum Yang-Baxter equation defined by Drinfeld.
January 6, 2001
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 ...
October 11, 2009
This paper is devoted to the study of the quasitriangularity of Hopf algebras via Hopf quiver approaches. We give a combinatorial description of the Hopf quivers whose path coalgebras give rise to coquasitriangular Hopf algebras. With a help of the quiver setting, we study general coquasitriangular pointed Hopf algebras and obtain a complete classification of the finite-dimensional ones over an algebraically closed field of characteristic 0.
May 26, 1999
In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is ...
March 31, 2014
This is a survey on the state-of-the-art of the classification of finite-dimensional complex Hopf algebras. This general question is addressed through the consideration of different classes of such Hopf algebras. Pointed Hopf algebras constitute the class best understood; the classification of those with abelian group is expected to be completed soon and there is substantial progress in the non-abelian case.
December 18, 1998
In a previous paper we prove that any semisimple triangular Hopf algebra A over an algebraically closed field of characteristic 0 (say the field of complex numbers C) is obtained from a finite group after twisting the ordinary comultiplication of its group algebra in the sense of Drinfeld; that is A=C[G]^J for some finite group G and a twist J\in C[G]\ot C[G]. In this paper we explicitly describe the representation theory of co-triangular semisimple Hopf algebras A^*=(C[G]^J)...
July 25, 2000
One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to certain classes of Hopf algebras, e.g. to semisimple ones. Semisimple Hopf algebras deserve to be considered as "quantum" analogue of finite groups, but even so, the problem remains extremely hard (even in low dimensions) and very little is know...
October 12, 2001
This is a survey on pointed Hopf algebras over algebraically closed fields of characteristic 0. We propose to classify pointed Hopf algebras $A$ by first determining the graded Hopf algebra $\gr A$ associated to the coradical filtration of $A$. The $A_{0}$-coinvariants elements form a braided Hopf algebra $R$ in the category of Yetter-Drinfeld modules over the coradical $A_{0} = \ku \Gamma$, $\Gamma$ the group of group-like elements of $A$, and $\gr A \simeq R # A_{0}$. We ca...
December 28, 1998
One of the classical notions of group theory is the notion of the exponent of a group. The exponent of a group is the least common multiple of orders of its elements. In this paper we generalize the notion of exponent to Hopf algebras. We give five equivalent definitions of the exponent. Two of them are: 1) the exponent of H equals the order of the Drinfeld element u of the quantum double D(H); 2) the exponent of H is the order of the squared brading acting in the tensor sq...