Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Derived representation type and Gorenstein projective modules of an algebra under crossed product

Let H and its dual H* be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A#σH are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1-13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A#σH. Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A#σH.     

Cosemisimple Coextensions and Homological Dimension of Smash Coproducts

Let H be a finite dimensional cosemisimple Hopf algebra, C a left H-comodule coalgebra and let C = C/C（H^＊）^＋ be the quotient coalgebra and the smash coproduct of C and H. It is shown that if C/C is a eosemisimple coextension and C is an injective right C-comodule, then gl. dim（the smash coproduct of C and H） = gl. dim（C） = gl. dim（C）, where gl. dim（C） denotes the global dimension of coalgebra C.     

The complexity of crossed products

Let H be a finite-dimensional Hopf algebra, let A be a finite-dimensional algebra measured by H, and let A # _σ H be a crossed product. In this paper, we first show that if H is semisimple as well as its dual H*, then the complexity of A # _σ H is equal to that of A. Furthermore, we prove that the complexity of a finite-dimensional Hopf algebra H is equal to the complexity of the trivial module _H k. As an application, we prove that the complexity of Sweedler’s 4-dimensional Hopf algebra H ₄ is equal to 1.     

A NOTE ON THE GLOBAL DIMENSION OF SMASH PRODUCTS

Let H be a finite dimensional Hopf algebra over a field k, and A an H-module algebra. If H and H* are semisimple, then we prove that gl.dim(A#H) = gl.dim(A). The relationship between this result and Kaplansky's Fifth Conjecture is discussed.     

Homological Dimension of Coalgebras and Crossed Coproducts

Let H be a Hopf k-algebra. We study the global homological dimension of the underlying coalgebra structure of H. We show that gl.dim(H) is equal to the injective dimension of the trivial right H-comodule k. We also prove that if D = C H is a crossed coproduct with invertible , then gl.dim(D) gl.dim(C) + gl.dim(H). Some applications of this result are obtained. Moreover, if C is a cocommutative coalgebra such that C ^* is noetherian, then the global dimension of the coalgebra C coincides with the global dimension of the algebra C ^*.     

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 DIMENSION OF IRREDUCIBLE MODULES FOR TRANSITIVE MODULE ALGEBRAS

We prove that for a semisimple Hopf algebra H, if A is a transitive H-module algebra and M is an irreducible A-module, then dim(A) divides dim(M)²dim(H).

     

On Smash Products of Transitive Module Algebras

Let H be a semisimple Hopf algebra over a field of characteristic 0, and A a finite-dimensional transitive H-module algebra with a l-dimensional ideal. It is proved that the smash product A#H is isomorphic to a full matrix algebra over some right coideal subalgebra N of H. The correspondence between A and such N, and the special case A = k（X） of function algebra on a finite set X are considered.     

A Morita Context and Galois Extensions for Quasi-Hopf Algebras

If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we show that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A ^H . We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.     

Smash Products of H-Simple Module Algebras

Let H be a finite-dimensional Hopf algebra and A a finite-dimensional H-simple left H-module algebra. We show that the smash product A#H is isomorphic to End _A′(V ? H*), where V ≠ 0 is a finite-dimensional left A-module and (A′, V′) the stabilizer of (A, V). As an application it is proved that A#H is isomorphic to a full matrix algebra over A′ when H is semisimple and dim V|dim A.     

Serre Theorem for involutory Hopf algebras

We call a monoidal category C a Serre category if for any C, D ∈ C such that C ⊗ D is semisimple, C and D are semisimple objects in C. Let H be an involutory Hopf algebra, M, N two H-(co)modules such that M ⊗ N is (co)semisimple as a H-(co)module. If N (resp. M) is a finitely generated projective k-module with invertible Hattory-Stallings rank in k then M (resp. N) is (co)semisimple as a H-(co)module. In particular, the full subcategory of all finite dimensional modules, comodules or Yetter-Drinfel’d modules over H the dimension of which are invertible in k are Serre categories.     

The global dimension of ω-smash coproducts

We mainly study the global dimension of ω-smash coproducts. We show that if H is a Hopf algebra with a bijective antipode S _H , and C _ω ? H denotes the ω-smash coproduct, then gl.dim(C _ω ? H) ≤ gl.dim(C) + gl.dim(H), where gl.dim(H) denotes the global dimension of H as a coalgebra.     

On Weak Crossed Products of Weak Hopf Algebras

Let H be a weak Hopf algebra in the sense of Böhm et al. (J Algebra 221:385–438, 1999) measuring an algebra A. Let A# _σ H be a weak crossed product with σ invertible. Then in this paper we first give some conditions for A# _σ H to be a weak Hopf algebra. Next the spectral sequence for Ext will be constructed which yields an estimate for the global dimension of A# _σ H in terms of the corresponding data for H and A. Furthermore, we will investigate when A???A# _σ H becomes a separable extension. Finally, we prove that if H and its dual H* are both semisimple, then the finitistic dimension of A# _σ H is equal to that of A.     

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.     

<Emphasis Type="Italic">β</Emphasis>-character Algebra and a Commuting Pair in Hopf Algebras

Let K be a field. Let H be a finite-dimensional semisimple and cosemisimple K-Hopf algebra. In this paper, we introduce a notion of β-character algebra C _β (H) for each group-like element β in H ^∗. We prove that Radford’s action of the Drinfel’d double D(H) on H _β (see Radford, J. Algebra, 270:670–695, 2003) and the right hit action of the β-character algebra C _β (H) on H _β form a commuting pair. This generalizes an earlier result of Zhu (Proc. Amer. Math. Soc., 125(10):2847–2851, 1997). A K-basis of C _β (H) is given when H is split semisimple. Finally, as an example, we explicitly construct all the simple modules for the Drinfel’d double of the unique 8-dimensional non-commutative and non-cocommutative semisimple Hopf algebra. Presented by S. Montgomery.     

Biinvertible actions of Hopf algebras

We study actions of a Hopf algebraH on an algebraR such that the action is twisted by an invertible mapσ:H⊗H →R; the biinvertible condition means that these actions also have both an inverse and an antiinverse in Hom(H, EndR). WhenR is an ordinaryH-module algebra, the action is biinvertible if the antipose is bijective. As a new example we show that if theH-action is twisted and the coradical ofH is cocommutative, then the action is biinvertible. After studying the continuity of these actions with respect to the filter of ideals ofR with zero annihilator, we consider when the actions may be extended to the symmetric Martindale quotient ring ofR and itsH-analog. Our results can be applied to crossed productsR# _σ . Research supported by NSF Grant No. 89-01491.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.