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.     

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.     

Ore Extensions of Multiplier Hopf Algebras

The goal of this article is to generalize the theory of Hopf–Ore extensions on Hopf algebras to multiplier Hopf algebras. First the concept of a Hopf–Ore extension of a multiplier Hopf algebra is introduced. We give a necessary and sufficient condition for Ore extensions to become a multiplier Hopf algebra. Finally, *-structures are constructed on Hopf–Ore extensions, and certain isomorphisms between Hopf–Ore extensions are discussed.     

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.     

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.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

The quasitriangular structures for a class of<Emphasis Type="Italic">T</Emphasis>-smash product Hopf algebras

We study the quasitriangular structures ofT-smash product Hopf algebrasB _⋈ H which are constructed by Caenepeel, Ion, Militaru and Zhu. The necessary and sufficient conditions for a class ofT-smash product Hopf algebras to be quasitriangular Hopf algebras are given. As applications of our results, some corollaries and examples are given as well. This work was partially supported by the NSF grant of Henan Province, P. R. China.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

Classifying pointed hopf algebras of dimension 16

We classify pointed Hopf algebras of dimension 16 over an algebraically closed field of characteristic zero. Apart from the 11 group algebras, there are 29 such Hopf algebras. All of them can be obtained using the Ore extension construction, as described recently by Beattie, the second author, and Grunenfelder.     

Galois-type correspondences for Hopf Galois extensions

In order to obtain a Galois correspondence between intermediate subalgebras of a Hopf-Galois extension and corresponding Hopf subalgebras, we have to reconstruct such Hopf algebras from the given Hopf-Galois extension. The construction of a suitable Hopf algebra associated to a commutativeH-Galois extension is provided; the results are applicable to field extensions.This author is supported by a grant of the European Liaisons Committee.     

The Structure of Hopf Algebras with a Weak Projection

We analyze the structure of a Hopf algebra H that has a Hopf subalgebra H " and a left H "-module coalgebra projection onto H ". In this situation H H " Q for Q = H / H "⁺ H, and the Hopf algebra structure on H can be recovered from suitable structures on Q, among others an in general nonassociative multiplication. The construction of H from H " and Q generalizes Radford biproduct, double crossproducts, and certain bicrossproducts. Further examples are Hopf algebras with a triangular decomposition, like all quantized enveloping algebras. In an appendix, we improve a standard criterion for a bicrossproduct A B of two Hopf algebras to be a Hopf algebra, and we show that in this case the antipode of the bicrossproduct is bijective if the antipodes of the factors are.     

Self-dual hopf algebras

We introduce the notions of self-dual (graded) Hopf algebras and of structurally simple (graded) Hopf algebras. We prove that the self-dual Hopf algebras are structurally simple and provide a construction of self-dual Hopf algebras. Finally, we classify the self-dual quotients of the form T_B (M)/I, where T_B (M) is a path algebra with a graded Hopf algebra structure, and I is a graded admissible Hopf ideal.     

Cleft extensions of Koszul twisted Calabi–Yau algebras

Let H be a twisted Calabi–Yau (CY) Hopf algebra and σ a 2-cocycle on H. Let A be an N-Koszul twisted CY algebra such that A is a graded H^σ- module algebra. We show that the cleft extension A#_σH is also a twisted CY algebra. This result has two consequences. Firstly, the smash product of an N-Koszul twisted CY algebra with a twisted CY Hopf algebra is still a twisted CY algebra. Secondly, the cleft objects of a twisted CY Hopf algebra are all twisted CY algebras. As an application of this property, we determine which cleft objects of U(D, λ), a class of pointed Hopf algebras introduced by Andruskiewitsch and Schneider, are Calabi–Yau algebras.     

Extensions of quantum enveloping algebras

In this paper, we define a class of extended quantum enveloping algebras U _q (f(K, J)) and some new Hopf algebras, which are certain extensions of quantum enveloping algebras by a Hopf algebra H. This construction generalizes some well-known extensions of quantum enveloping algebras by a Hopf algebra and provides a large of new noncommutative and noncocommutative Hopf algebras.     

Dyslexia and duals of hopf algebras in braided monoidal categories

For a finite Hopf algebra H in a braided monoidal category, in this paper we define two duals H ^{Å Å} H and we prove that the Hopf algebras H ^{Å Å} H are equal if and only if H is dyslectic and codyslectic. For example this situation appears when the antipode λ verifies λ o λ= id_H .     

Principal homogeneous spaces for arbitrary Hopf algebras

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗ _B A →A ⊗H the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.     

Hopf代数的二重Ore扩张

本文的目的是定义Hopf二重Ore扩张,讨论这种扩张的基本性质并研究Hopf 代数的分次与Hopf二重Ore扩张之间的关系.作者还研究了连通分次Hopf代数的结构及其Hopf二重Ore扩张的同调性质.     

SOME ISOMORPHISMS FOR THE BRAUER GROUPS OF A HOPF ALGEBRA

Using equivalences of categories we provide general isomorphisms between the Brauer groups of different Hopf algebras. One of those is used to prove that the Brauer groups BC(k, H ₄, r_t ) for every dual quasitriangular structure r_t on Sweedler's Hopf algebra H ₄ are all isomorphic to the direct sum of (k, +) and the Brauer-Wall group of k.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.