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 complements and the factorization problem of Hopf algebras

Two new results concerning complements in a semisimple Hopf algebra are proved. They extend some well-known results from group theory. The uniqueness of a Krull-Schmidt-Remak type decomposition is proved for semisimple completely reducible Hopf algebras.     

Hopf subalgebras and Hopf ideals of certain semisimple Hopf algebras

In the paper, for semisimple Hopf algebras that have only one non-one-dimensional irreducible representation, all Hopf ideals are described and, under some restriction concerning the number of group elements in the dual Hopf algebra, some series of Hopf subalgebras are found. Moreover, the quotient Hopf algebras of these semisimpleHopf algebras are described.     

一类半单Hopf代数的结构

设k是特征为零的代数闭域,H是k上的pq~2维Frobenius型半单Hopf代数,其中p,q为不同的素数.本文证明了,如果p>q且H~*也是Frobenius型Hopf代数,则H是q~2维群代数A与A上p维Yetter-Drinfeld Hopf代数R的双积,即H≌R#A.作为例子,本文还证明了任意63维或68维的半单Hopf代数均为Frobenius型Hopf代数.     

On the Structure of Weak Hopf Algebras

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo, a trivial automorphism. We find a sufficient condition in terms of Tr(S²) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.     

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.     

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.     

Hopf Algebra Extensions of Group Algebras and Tambara-Yamagami Categories

We determine the structure of Hopf algebras that admit an extension of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension < 36 is necessarily group-theoretical; thus 36 is the smallest possible dimension where a non group-theoretical example occurs.     

A note on Masuoka’s theorem for semisimple irreducible Hopf algebras

Masuoka proved (Proc Am Math Soc 137(6):1925–1932, 2009) that a finite-dimensional irreducible Hopf algebra H in positive characteristic is semisimple if and only if it is commutative semisimple if and only if the Hopf subalgebra generated by all primitives is semisimple. In this note, we give another proof of this result by using Hochschild cohomology of coalgebras.     

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.     

Semisimple finite-dimensional Hopf algebras

The paper considers a classification of semisimple Hopf algebras having exactly one irreducible non-one-dimensional representation under a certain condition on the number of group elements.     

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.     

The coradical filtration of U q(g)at roots of unity

We compute the coradical filtration and the group of Hopf algebra automorphisms of the non-restricted specialization of the quantized universal enveloping algebra of a finite-dimensional semisimple Lie algebra.     

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.     

Commutator Hopf Subalgebras and Irreducible Representations

Montgomery and Witherspoon proved that upper and lower semisolvable, semisimple, finite dimensional Hopf algebras are of Frobenius type when their dimensions are not divisible by the characteristic of the base field. In this note we show that a finite dimensional, semisimple, lower solvable Hopf algebra is always of Frobenius type, in arbitrary characteristic.     

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.     

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.     

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.     

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