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

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.     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

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.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

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.     

The Brauer-Clifford group for locally finite (S,H)-Azumaya algebras

In this article, we define the notion of Brauer-Clifford group for H-locally finite (S, H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is an H-locally finite commutative H-module algebra over a commutative noetherian ring k. This is the situation that arises in applications with connections to algebraic geometry. This Brauer-Clifford group turns out to be an example of a Brauer group of a symmetric monoidal category.     

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.     

Hom-弱Hopf代数上的Hom-smash积

本文研究了在Hom-Hopf代数上引入Hom-弱Hop代数的问题.通过建立弱左H-模Hom-代数的方法,构造Hom-smash积,证明Hom-smash积是Hom-代数,且给出使之成为Hom-弱Hopf代数的充分条件,推广了由Bohm等人定义的弱Hop代数.     

Hopf Algebras on Schurian Quivers

Let H be a Hopf algebra with a finite-dimensional, nontrivial space of skew primitive elements, over an algebraically closed field of characteristic zero. We prove that H contains either the polynomial algebra as a Hopf subalgebra, or a certain Schurian simple-pointed Hopf subalgebra. As a consequence, a complete list of the locally finite, simple-pointed Hopf algebras is obtained. Also, the graded automorphism group of a Hopf algebra on a Schurian Hopf quiver is determined, and the relation between this group and the automorphism groups of the corresponding Hopf quiver, is clarified.     

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.     

The Structure Theorem of Weak Comodule Algebras

This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism φ: H → B of a weak right H-comodule algebras, then there exists an algebra isomorphism: B ? B ^coH #H, where B ^coH denotes the coinvariant subalgebra of B, and B ^coH #H denotes the weak smash product.     

On the cyclic homology of commutative algebras over arbitrary ground rings

Abstract

Let D(H) be the quantum double associated to a finite dimensional quasi-Hopf algebra H, as in Hausser and Nill ((Hausser, F., Nill, F. (1999a). Diagonal crossed products by duals of quasi-quantum groups. Rev. Math. Phys. 11:553–629) and (Hausser, F., Nill, F. (1999b). Doubles of quasi-quantum groups. Comm. Math. Phys. 199:547–589)). In this note, we first generalize a result of Majid (Majid, S. (1991). Doubles of quasitriangular Hopf algebras. Comm. Algebra 19:3061–3073) for Hopf algebras, and then prove that the quantum double of a finite dimensional quasitriangular quasi-Hopf algebra is a biproduct in the sense of Bulacu and Nauwelaerts (Bulacu, D., Nauwelaerts, E. (2002). Radford's biproduct for quasi-Hopf algebras and bosonization. J. Pure Appl. Algebra 179:1–42.).     

Basic quasi-Hopf algebras over cyclic groups

Let m be a positive integer, not divisible by 2, 3, 5, 7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in Etingof and Gelaki (2006) [11] to the case of cyclic groups of order m. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras A(H,s), constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order m is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type A(H,s).     

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.     

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.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

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.     

Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras

We extend the Larson–Sweedler theorem [Amer. J. Math. 91 (1969) 75] to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements, we derive the Radford formula [Amer. J. Math. 98 (1976) 333] for the fourth power of the antipode in a weak Hopf algebra and prove that the order of the antipode is finite up to an inner automorphism by a grouplike element in the trivial subalgebra A^T of the underlying weak Hopf algebra A.     

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.