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.     

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.     

On Two Families of Hopf Algebras of Dimension 2 m

Abstract

In this paper we construct two families of semisimple Hopf algebras of dimension 2 ⁿ⁺¹, n ≥ 3. They are all constructed as Radford's biproducts. For these examples and their duals we compute their grouplike elements, centers, character algebras and Grothendieck rings. Comparing these facts we are able to show that depending on the dimension, representatives of one of the families are selfdual. We also prove that Hopf algebras from these families are neither triangular nor cotriangular and that their cocycle deformations are trivial.     

On Semisimple Hopf Algebras of Dimension 2 m

In this paper we classify all nontrivial semisimple Hopf algebras of dimension 2 ^{n +1} with the group of grouplikes isomorphic to _{2 n–1}×₂. Moreover, we extend some results on irreducible representations from groups to semisimple Hopf algebras and prove that certain semisimple Hopf algebras, including the ones classified in this paper, satisfy the generalized power map property.     

Weakly group-theoretical and solvable fusion categories

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group-theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq², where p,q,r are distinct primes.     

Hopf algebra deformations of binary polyhedral groups

We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a two-dimensional irreducible comodule in the finite-dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras.     

Cocycle deformations and Galois objects of semisimple Hopf algebras of dimension 16

Abstract

In this article, we determine cocycle deformations and Galois objects of non-commutative and non-cocommutative semisimple Hopf algebras of dimension 16. We show that these Hopf algebras are pairwise twist inequivalent mainly by calculating their higher Frobenius-Schur indicators, and that except three Hopf algebras which are cocycle deformations of dual group algebras, none of them admit non-trivial cocycle deformations.     

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.      

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 ³.     

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.     

Quantum groups of dimensionpq 2

In this paper we construct two families of non-trivial self-dual semisimple Hopf algebras of dimensionpq ² and investigate closely their (quasi) triangular structures. The paper contains also general results on finite-dimensional triangular Hopf algebras, unimodularity, semisimplicity and ribbon structures of finite-dimensional semisimple Hopf algebras. Dedicated to the memory of Professor S. A. Amitsur This work was partially supported by the Basic Research Foundation administrated by the Israel Academy of Sciences and Humanities. The paper consists of part of the author’s doctoral dissertation written at Ben Gurion University under the supervision of Prof. M. Cohen and Prof. D. E. Radford whom the author wishes to thank for their valuable guidance.     

On the algebra structure of some bismash products

We study several families of semisimple Hopf algebras, arising as bismash products, which are constructed from finite groups with a certain specified factorization. First we associate a bismash product H_q of dimension q(q−1)(q+1) to each of the finite groups PGL₂(q) and show that these H_q do not have the structure (as algebras) of group algebras (except when q=2,3). As a corollary, all Hopf algebras constructed from them by a comultiplication twist also have this property and are thus non-trivial. We also show that bismash products constructed from Frobenius groups do have the structure (as algebras) of group algebras.     

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.     

Graded Associative Conformal Algebras of Finite Type

In this paper, we consider graded associative conformal algebras. The class of these objects includes pseudo-algebras over non-cocommutative Hopf algebras of regular functions on some linear algebraic groups. In particular, an associative conformal algebra which is graded by a finite group Γ is a pseudo-algebra over the coordinate Hopf algebra of a linear algebraic group G such that the identity component G ⁰ is the affine line and G/G ⁰???Γ. A classification of simple and semisimple graded associative conformal algebras of finite type is obtained.     

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     

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.     

Cocycle deformations and Galois objects for semisimple Hopf algebras of dimension p3 and pq2

Let p and q be distinct prime numbers. We study the Galois objects and cocycle deformations of the noncommutative, noncocommutative, semisimple Hopf algebras of odd dimension $p^3$ and of dimension $p{q}^2$. We obtain that the $p+1$ non-isomorphic self-dual semisimple Hopf algebras of dimension $p^3$ classified by Masuoka have no non-trivial cocycle deformations, extending his previous results for the 8-dimensional Kac–Paljutkin Hopf algebra. This is done as a consequence of the classification of categorical Morita equivalence classes among semisimple Hopf algebras of odd dimension $p^3$, established by the third-named author in an appendix.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

Depth One Extensions of Semisimple Algebras and Hopf Subalgebras

Depth one extensions of finite dimensional semisimple algebras are completely characterized in terms of their algebra centers. For extensions of semisimple Hopf algebras this characterization translates into a trivial monoidal action of the dual fusion category Rep(A ^*) on Rep(B).