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.     

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     

Finite quantum groups over abelian groups of prime exponent

We classify pointed finite-dimensional complex Hopf algebras whose group of group-like elements is abelian of prime exponent p, p>17. The Hopf algebras we find are members of a general family of pointed Hopf algebras we construct from Dynkin diagrams. As special cases of our construction we obtain all the Frobenius-Lusztig kernels of semisimple Lie algebras and their parabolic subalgebras. An important step in the classification result is to show that all these Hopf algebras are generated by group-like and skew-primitive elements.     

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.     

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.     

On Pointed Hopf Algebras of Dimension 2n

We give a structure theorem for pointed Hopf algebras of dimension2ⁿ, having coradical kC₂, where k is an algebraically closedfield of characteristic zero. 1991 Mathematics Subject Classification16W30.     

On Semisimple Hopf Algebras of Dimension pq2, II

We obtain further classification results for semisimple Hopf algebras of dimension pq ² over an algebraically closed field k of characteristic zero. We complete the classification of semisimple Hopf algebras of dimension 28.     

Structure Theorems for Semisimple Hopf Algebras of Dimension pq 3

Let p, q be prime numbers with p > q ³, and k an algebraically closed field of characteristic 0. In this article, we obtain the structure theorems for semisimple Hopf algebras of dimension pq ³.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

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.     

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.     

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.     

Classification of Hopf algebras of dimension 18

This paper contributes to the classification problems of finite dimensional Hopf algebras H over an algebraically closed field k of characteristic zero. It is shown that for a non-semisimple Hopf algebra H of dimension 18 either H or H* is pointed.     

Breuil–Kisin Modules and Hopf Orders in Cyclic Group Rings

For K, a finite extension of ? _p with ring of integers R, we show how Breuil–Kisin modules can be used to determine Hopf orders in K-Hopf algebras of p-power dimension. We find all cyclic Breuil–Kisin modules and use them to compute all of the Hopf orders in the group ring KΓ where Γ is cyclic of order p or p ². We also give a Laurent series interpretation of the Breuil–Kisin modules that give these Hopf orders.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

A note on the order of the antipode of a pointed Hopf algebra

Let k be a field and let H denote a pointed Hopf k-algebra with antipode S. We are interested in determining the order of S. Building on the work done by Taft and Wilson in [7], we define an invariant for H, denoted m_H, and prove that the value of this invariant is connected to the order of S. In the case where char k?=?0, it is shown that if S has finite order then it is either the identity or has order 2?m_H. If in addition H is assumed to be coradically graded, it is shown that the order of S is finite if and only if m_H is finite. We also consider the case where char k?=?p?>?0, generalizing the results of [7] to the infinite-dimensional setting.     

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.      

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.     

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.