Hopf modules and the double of a quasi-Hopf algebra

We give a different proof for a structure theorem of Hausser and Nill on Hopf modules over quasi-Hopf algebras. We extend the structure theorem to a classification of two-sided two-cosided Hopf modules by Yetter-Drinfeld modules, which can be defined in two rather different manners for the quasi-Hopf case. The category equivalence between Hopf modules and Yetter-Drinfeld modules leads to a new construction of the Drinfeld double of a quasi-Hopf algebra, as proposed by Majid and constructed by Hausser and Nill.

     

Radford's biproduct for quasi-Hopf algebras and bosonization

Let B be a braided Hopf algebra (with bijective antipode) in the category of left Yetter-Drinfeld modules over a quasi-Hopf algebra H. As in the case of Hopf algebras (J. Algebra 92 (1985) 322), the smash product B#H defined in (Comm. Algebra 28(2) (2000) 631) and a kind of smash coproduct afford a quasi-Hopf algebra structure on B⊗H. Using this, we obtain the structure of quasi-Hopf algebras with a projection. Further we will use this biproduct to describe the Majid bosonization (J. Algebra 163 (1994) 165) for quasi-Hopf algebras.     

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

Braided bosonization and inhomogeneous quantum groups

We consider quasitriangular Hopf algebras in braided tensor categories introduced by Majid. It is known that a quasitriangular Hopf algebra H in a braided monoidal category C induces a braiding in a full monoidal subcategory of the category of H-modules in C. Within this subcategory, a braided version of the bosonization theorem with respect to the category C will be proved. An example of braided monoidal categories with quasitriangular structure deviating from the ordinary case of symmetric tensor categories of vector spaces is provided by certain braided supersymmetric tensor categories. Braided inhomogeneous quantum groups like the dilaton free q-Poincaré group are explicit applications.Supported in part by the Deutsche Forschungsgemeinschaft (DFG) through a research fellowship.     

Braided groups and quantum groupoids

Let H be a quasitriangular weak Hopf algebra. It is proved that the centralizer subalgebra of its source subalgebra in H is a braided group (or Hopf algebra in the category of left H-modules), which is cocommutative and also a left braided Lie algebra in the sense of Majid.     

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.     

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.     

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.     

Cleft extensions in braided categories

Majid in [14] and Bespalov in [2] obtain a braided interpretation of Radford’s theorem about Hopf algebras with projection ([19]). In this paper we introduce the notion of H-cleft comodule (module) algebras (coalgebras) for a Hopf algebra H in a braided monoidal category, and we characterize it as crossed products (coproducts). This allows us give very short proofs for know results in our context, and to introduce others stated for the category of R-modules about of Hopf algebra extensions. In particular we give a proof of the result by Bespalov [2] for a braided monoidal category with co(equalizers).     

On integrals and cointegrals for quasi-Hopf algebras

Using the theory of Frobenius algebras, we study how the antipode of a quasi-Hopf algebra H acts on the space of left and right integrals and cointegrals. We obtain formulas that allow us to find out the explicit form of the integrals and cointegrals for the Drinfeld double $D(H)$, in terms of the integrals and cointegrals of H. This leads to an answer to a conjecture made by Hausser and Nill at the end of the nineties.     

Representation-theoretic rank and double hopf algebras

We compute the intrinsic category-theoretic rank: for quasitriangular Hopf algebras in the case of the quantum double Hopf algebra of Drinfeld. The result is closely related ti recent Hopf algebra invariants of Larson and Radford.     

Singular Solutions to the Quantum Yang–Baxter Equations

Let X and A be weak Hopf algebras in the sense of Li (1998 Li , F. ( 1998 ). Weak Hopf algebras and some new solutions of the quantum Yang–Baxter equation . J. Algebra 208 ( 1 ): 72 – 100 .[Crossref], [Web of Science ®] , [Google Scholar]). As in the case of Hopf algebras (Majid, 1990 Majid , S. ( 1990 ). Quasitriangular Hopf algebras and Yang–Baxter equations . Internat. J. Modern Phys. A 5 : 1 – 91 . [Google Scholar]), a weak bicrossed coproduct X∞ _R A is constructed by means of good regular R-matrices of the weak Hopf algebras X and A. Using this, we provide a new framework of obtaining singular solutions of the quantum Yang–Baxter equation by constructing weak quasitriangular structures over X∞ _R A when both X and A admit a weak quasitriangular structure. Finally, two explicit examples are given.     

Structure theorem for dual quasi-hopf bicomodules and its application

We present a structure theorem for dual quasi-Hopf bicomodules, and also obtain the structure theorem C ≌ D ? H for dual quasi-Hopf module coalgebras, where H is a dual quasi-Hopf algebra, C a right H-module coalgebra, and D a left H-comodule coalgebra in the tensor category ^H M induced from C, and D ? H the smash coproduct introduced by Bulacu and Nauwelaerts.     

Homogenized Down-Up Algebras

Abstract

This paper studies two homogenizations of the down-up algebras introduced in Benkart and Roby (Benkart, G., Roby, T. (1998 Benkart, G. and Roby, T. 1998. Down-up algebras. J. Algebra, 209: 305–344. [Crossref], [Web of Science ®] , [Google Scholar]). Down-up Algebras. J. Algebra 209:305–344). We show that in all cases the homogenizing variable is not a zero-divisor, and that when the parameter β is non-zero, the homogenized down-up algebra is a Noetherian domain and a maximal order, and also Artin-Schelter regular, Auslander regular, and Cohen-Macaulay. We show that all homogenized down-up algebras have global dimension 4 and Gelfand-Kirillov dimension 4, and with one exception all homogenized down-up algebras are prime rings. We also exhibit a basis for homogenized down-up algebras and provide a necessary condition for a Noetherian homogenized down-up algebra to be a Hopf algebra.     

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.      

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

准三角Hopf代数与双积

本文首先给出准三角Ｈｏｐｆ代数与Ｙｅｔｔｅｒ－Ｄｒｉｎｆｅｌｄ模的关系，推广了Ｒａｄｆｏｒｄ关于双积的构造，讨论二重Ｓｍａｓｈ积与双积的关系．     

On categories associated to a Quasi-Hopf algebra

A quasi-Hopf algebra H can be seen as a commutative algebra A in the center 𝒵(H-Mod) of H-Mod. We show that the category of A-modules in 𝒵(H-Mod) is equivalent (as a monoidal category) to H-Mod. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.     

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.     

GK dimension of some connected Hopf algebras

While it was identified that the growth of any connected Hopf algebras is either a positive integer or infinite, we have yet to determine the Gelfand–Kirillov (GK) dimension of a given connected Hopf algebra. We use the notion of anti-cocommutative elements introduced in Wang, D. G., Zhang, J. J., Zhuang, G. (2013). Coassociative lie algebras. Glasgow Math. J. 55(A):195–215 to analyze the structure of connected Hopf algebras generated by anti-cocommutative elements and compute the GK dimension of said algebras. Additionally, we apply these results to compare global dimension of connected Hopf algebras and the dimension of their corresponding Lie algebras of primitive elements.