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.      

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.     

Relations Between Algebras and Their Subalgebras of Invariants

We prove that, if H is a finite-dimensional semisimple Hopf algebra, and A is an FCR H-module algebra over an algebraically closed field, then A is a PI-algebra, provided the subalgebra of invariants is a PI-algebra. We also show that if A is an affine algebra with an action of a finite group G by automorphisms, the subalgebra of the fixed points A^G is in the center of A, and the characteristic of the ground field is either zero or relatively prime to the order of G, then A^G is affine. Analogous results are proved for graded algebras and H-module algebras over a semisimple triangular Hopf algebra over a field of characteristic zero. We prove also that, if A is an H-module algebra with an identity element, and H is either a semisimple group algebra or its dual, then, if A is semiprimitive (semiprime), then so is A^H.     

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

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.     

On the order of the antipode of hopf algebras

In this paper we consider a conjecture on the order of the antipode of semisimple Hopf algebras in the Yetter-Drinfeld category and study a related property of the ordinary Hopf algebras. We show that most known examples of finite-dimensional semisimple Hopf algebras satisfy this property.     

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.     

On Isotypic Decompositions for Non-Semisimple Hopf Algebras

In this paper we study the isotypic decomposition of the regular module of a finite-dimensional Hopf algebra over an algebraically closed field of characteristic zero. For a semisimple Hopf algebra, the idempotents realizing the isotypic decomposition can be explicitly expressed in terms of characters and the Haar integral. In this paper we investigate Hopf algebras with the Chevalley property, which are not necessarily semisimple. We find explicit expressions for idempotents in terms of Hopf-algebraic data, where the Haar integral is replaced by the regular character of the dual Hopf algebra. For a large class of Hopf algebras, these are shown to form a complete set of orthogonal idempotents. We give an example which illustrates that the Chevalley property is crucial.

     

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.     

Some Computations of Frobenius–Schur Indicators of the Regular Representations of Hopf Algebras

We study Frobenius–Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.     

Morphisms of double frobenius algebras. i

Double Frobenius algebras (or dF-algebras) were recently introduced by the author. The concept includes finite-dimensional Hopf algebras, adjacency algebras of (non-commutative) association schemes, and C-algebras (character algebras). In this paper we define certain kinds of morphisms of dF-algebras and develop their basic theory. The morphisms generalize homomorphisms of Hopf algebras and of C-algebras.     

Actions of Ore extensions and growth of polynomial H-identities

We show that if A is a finite-dimensional associative H-module algebra for an arbitrary Hopf algebra H, then the proof of the analog of Amitsur’s conjecture for H-codimensions of A can be reduced to the case when A is H-simple. (Here we do not require that the Jacobson radical of A is an H-submodule.) As an application, we prove that if A is a finite-dimensional associative H-module algebra where H is a Hopf algebra H over a field of characteristic 0 such that H is constructed by an iterated Ore extension of a finite-dimensional semisimple Hopf algebra by skew-primitive elements (e.g., H is a Taft algebra), then there exists integer PIexp^H(A). In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.     

Restricted Lie algebras all whose elements are semisimple

People studied the properties and structures of restricted Lie algebras all whose elements are semisimple. It is the main objective of this paper to continue the investigation in order to obtain deeper structure theorems. We obtain some sufficient conditions for the commutativity of restricted Lie algebras, generalize some results of R. Farnsteiner and characterize some properties of a finite-dimensional semisimple restricted Lie algebra all whose elements are semisimple. Moreover, we show that a centralsimple restricted Lie algebra all whose elements are semisimple over a field of characteristic p > 7 is a form of a classical Lie algebra.     

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.     

On matched pairs defining Hopf algebras in a certain class

In previous work by the author, a class of finite-dimensional semisimple Hopf algebras was considered with respect to the question under what condition all but one isomorphism class of simple modules are one-dimensional. The group theoretical answer given there asks for a classification of certain matched pairs used for the construction of these Hopf algebras. This classification is the content of this paper.     

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

Prime ideals in Hopf galois extensions

For a finite-dimensional Hopf algebraH, we study the prime ideals in a faithfully flatH-Hopf-Galois extensionR ⊂A. One application is to quotients of Hopf algebras which arise in the theory of quantum groups at a root of 1. For the Krull relations betweenR andA, we obtain our best results whenH is semisolvable; these results generalize earlier known results for crossed products for a group action and for algebras graded by a finite group. We also show that ifH is semisimple and semisolvable, thenA is semiprime providedR isH-semiprime.     

Quantum doubles in monoidal categories

Let H be a Hopf algebra in a rigid symmetric monoidal category C then the evaluation map τis a convolution-invertible skew pairing. In the previous paper, we constructed a Hopf algebra D(H)=H ? _r H ^?cop in C. In this paper, we first show that D(H) is a quasitriangular Hopf algebra in C. Next, let H be an ordinary triangular finite-dimensional Hopf algebra. Then one can form quasitriangular Hopf algebras B(H,H) and B(H,D(H)) (in a rigid braided monoidal category) by Majid’s method associated to the ordinary Hopf algebra maps H →H and i_H H → D(H), where D(H) is the Drin-fePd quantum double. We show that D (B(H,H)) and B(H,D(H)) are isomorphic Hopf algebras in the braided monoidal category.