On Semisimple Hopf Algebras of Dimension 2<Superscript><Emphasis Type="Italic">m</Emphasis></Superscript>, II

In this paper we classify, up to equivalence, all semisimple nontrivial Hopf algebras of dimension 2²ⁿ⁺¹ for n ≥ 2 over an algebraically closed field of characteristic 0 with the group of group-like elements isomorphic to \(\mathbb {Z}_{2^{n}}\times \mathbb {Z}_{2^{n}}\). Moreover we classify all such nonisomorphic Hopf algebras of dimension 32 and show that they are not twist-equivalent to each other. More generally, given an abelian group of order 2 ^m?1 we give an upper bound for the number of nonisomorphic nontrivial Hopf algebras of dimension 2 ^m which have this group as their group of group-like elements.     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

Automorphism groups of pointed Hopf algebras

The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.      

Classification of Pointed Hopf Algebras of Dimension p 2 over any Algebraically Closed Field

Let p be a prime. We complete the classification of pointed Hopf algebras of dimension p ² over an algebraically closed field k. When char k?≠?p, our result is the same as the well-known result for char k?=?0. When char k?=?p, we obtain 14 types of pointed Hopf algebras of dimension p ², including a unique noncommutative and noncocommutative type.     

On Semisimple Hopf Algebras of Dimension pq r

Let p and q be distinct prime numbers. We prove a result on the existence of nontrivial group-like elements in a certain class of semisimple Hopf algebras of dimension pq ^r . We conclude the classification of semisimple Hopf algebras A of dimension pq ² over an algebraically closed field k of characteristic zero, such that both A and A ^* are of Frobenius type. We also complete the classification of semisimple Hopf algebras of dimension pq ²<100.     

Group elements of some semisimple finite-dimensional Hopf algebras

V. A. Artamonov and I. A. Chubarov proved a criterion under which an element of some semisimple finite-dimensional Hopf algebra is group-like. The studied Hopf algebra has only one nonone- dimensional irreducible representation. Let n be a dimension of this representation. It is shown in this paper that for odd prime n the set of group-like elements of these algebras is a cyclic group of order 2n.     

Finite dimensional Nichols algebras over certain p-groups

We investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

Quasitriangular Pointed Hopf Algebras Constructed by Ore Extensions

We study the quasitriangular structures for a family of pointed Hopf algebras which is big enough to include Taft's Hopf algebras H _n ², Radford's Hopf algebras H _N,n,q, and E(n). We give necessary and sufficient conditions for the Hopf algebras in our family to be quasitriangular. For the case when they are, we determine completely all the quasitriangular structures. Also, we determine the ribbon elements of the quasitriangular Hopf algebras and the quasi-ribbon elements of their Drinfel'd double.     

Forms of pointed Hopf algebras

Using descent theory, we study Hopf algebra forms of pointed Hopf algebras. It turns out that the set of isomorphism classes of such forms are in one-to-one correspondence to other known invariants, for example the set of isomorphism classes of Galois extensions with a certain group F, or the set of isometry classes of m-ary quadratic forms. Our theory leads to a classification of all Hopf algebras over a field of characteristic zero that become pointed after a base extension, in dimension p, p ² and p ³, with p odd. Received: 22 November 1998     

Basic quasi-Hopf algebras over cyclic groups

Let m be a positive integer, not divisible by 2, 3, 5, 7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in Etingof and Gelaki (2006) [11] to the case of cyclic groups of order m. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras A(H,s), constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order m is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type A(H,s).     

Some properties of factorizable Hopf algebras

A direct proof without modular category theory is given of a recent theorem of Etingof and Gelaki (1998) on the dimensions of irreducible representations. Factorizable Hopf algebras are characterized in terms of their Drinfeld double, and their character rings and the group-like elements of their duals are described.

     

Techniques for Classifying Hopf Algebras and Applications to Dimension p 3

Classifying Hopf algebras of a given finite dimension n over ? is a challenging problem. If n is p, p², 2p, or 2p² with p prime, the classification is complete. If n = p³, the semisimple and the pointed Hopf algebras are classified, and much progress on the remaining cases was made by the second author but the general classification is still open. Here we outline some results and techniques which have been useful in approaching this problem and add a few new ones. We give some further results on Hopf algebras of dimension p³ and finish the classification for dimension 27.     

Pointed Hopf Algebras with Triangular Decomposition

In this paper, we present an approach to the definition of multiparameter quantum groups by studying Hopf algebras with triangular decomposition. Classifying all of these Hopf algebras which are of what we call weakly separable type over a group, we obtain a class of pointed Hopf algebras which can be viewed as natural generalizations of multiparameter deformations of universal enveloping algebras of Lie algebras. These Hopf algebras are instances of a new version of braided Drinfeld doubles, which we call asymmetric braided Drinfeld doubles. This is a generalization of an earlier result by Benkart and Witherspoon (Algebr. Represent. Theory 7(3) ? BC) who showed that two-parameter quantum groups are Drinfeld doubles. It is possible to recover a Lie algebra from these doubles in the case where the group is free abelian and the parameters are generic. The Lie algebras arising are generated by Lie subalgebras isomorphic to \(\mathfrak {sl}_{2}\).     

Finite generation of some cohomology rings via twisted tensor product and Anick resolutions

Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional pointed Hopf algebras in positive characteristic. They include bosonizations of Nichols algebras of Jordan type in a general setting. When $p=3$, we also consider their Hopf algebra liftings, that is Hopf algebras whose associated graded algebra with respect to the coradical filtration is given by such a bosonization. Our proofs are based on an algebra filtration and a lemma of Friedlander and Suslin, drawing on both twisted tensor product resolutions and Anick resolutions to locate the needed permanent cocycles in May spectral sequences.     

Diagrams of Hopf algebras with the Chevalley property

In this paper, we study non-cosemisimple Hopf algebras through their underlying coalgebra structure. We introduce the concept of the maximal pointed subcoalgebra/Hopf subalgebra. For a non-cosemisimple Hopf algebra A with the Chevalley property, if its diagram is a Nichols algebra, then the diagram of its maximal pointed Hopf subalgebra is also a Nichols algebra. When A is of finite dimension, we provide a necessary and sufficient condition for A’s diagram equaling the diagram of its maximal pointed Hopf subalgebra.     

Hochschild Cohomology and the Coradical Filtration of Pointed Coalgebras: Applications

In this paper we show that there is a close connection between the coradical filtration of a pointed coalgebra and the Hochschild cohomology of that coalgebra with coefficients in some one-dimensional bicomodules. As an application, for a given prime numberpand an algebraically closed fieldkof characteristic 0, we classify all pointed Hopf algebras of dimensionp³overk.     

Basic Hopf algebras and quantum groups

This paper investigates the structure of basic finite dimensional Hopf algebras H over an algebraically closed field k. The algebra H is basic provided H modulo its Jacobson radical is a product of the field k. In this case H is isomorphic to a path algebra given by a finite quiver with relations. Necessary conditions on the quiver and on the coalgebra structure are found. In particular, it is shown that only the quivers given in terms of a finite group G and sequence of elements of G in the following way can occur. The quiver has vertices and arrows , where the set is closed under conjugation with elements in G and for each g in G, the sequences W and are the same up to a permutation. We show how is a kG-bimodule and study properties of the left and right actions of G on the path algebra. Furthermore, it is shown that the conditions we find can be used to give the path algebras themselves a Hopf algebra structure (for an arbitrary field k). The results are also translated into the language of coverings. Finally, a new class of finite dimensional basic Hopf algebras are constructed over a not necessarily algebraically closed field, most of which are quantum groups. The construction is not characteristic free. All the quivers , where the elements of W generates an abelian subgroup of G, are shown to occur for finite dimensional Hopf algebras. The existence of such algebras is shown by explicit construction. For closely related results of Cibils and Rosso see [Ci-R]. Received August 15, 1994; in final form May 16, 1997     

Monoidal Morita invariants for finite group algebras

Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group representations arising from the Drinfeld double construction. As an application, we show, for any integer n, the number of elements of order n is a monoidal Morita invariant for finite group algebras. We also describe relations between our construction and invariants of closed 3-manifolds due to Reshetikhin and Turaev.