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.     

Topological Hopf Algebras and Braided Monoidal Categories

The relation between a monoidal category which has an exact faithful monoidal functor to a category of finite rank projective modules over a Dedekind domain, and the category of continuous modules over a topological bialgebra is discussed. If the monoidal category is braided, the bialgebra is topologically quasitriangular. If the monoidal category is rigid monoidal, the bialgebra is a Hopf algebra.     

Projections of weak braided Hopf algebras

In this paper we study the projections of weak braided Hopf algebras using the notion of Yetter-Drinfeld module associated with a weak braided Hopf algebra. As a consequence, we complete the study ofthe structure of weak Hopf algebras with a projection in a braiding setting obtaining a categorical equivalencebetween the category of weak Hopf algebra projections associated with a weak Hopf algebra H living in abraided monoidal category and the category of Hopf algebras in the non-strict braided monoidal cate...     

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

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.     

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 .     

On the subgroup structure of the full Brauer group of Sweedler Hopf algebra

We introduce a three-parameter family of two-dimensional algebras representing elements in the Brauer group BQ(k,H ₄) of Sweedler Hopf algebra H ₄ over a field k. They allow us to describe the mutual intersection of the subgroups arising from a quasitriangular or coquasitriangular structure. We also define a new subgroup of BQ(k,H ₄) and construct an exact sequence relating it to the Brauer group of Nichols 8-dimensional Hopf algebra with respect to the quasitriangular structure attached to the 2 × 2-matrix with 1 in the (1, 2)-entry and zero elsewhere.     

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

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

Pseudosymmetric braidings, twines and twisted algebras

A laycle is the categorical analogue of a lazy cocycle. Twines (introduced by Bruguières) and strong twines (as introduced by the authors) are laycles satisfying some extra conditions. If c is a braiding, the double braiding c² is always a twine; we prove that it is a strong twine if and only if c satisfies a sort of modified braid relation (we call such cpseudosymmetric, as any symmetric braiding satisfies this relation). It is known that the category of Yetter-Drinfeld modules over a Hopf algebra H is symmetric if and only if H is trivial; we prove that the Yetter-Drinfeld category _HYD^H over a Hopf algebra H is pseudosymmetric if and only if H is commutative and cocommutative. We introduce as well the Hopf algebraic counterpart of pseudosymmetric braidings under the name pseudotriangular structures and prove that all quasitriangular structures on the 2ⁿ⁺¹-dimensional pointed Hopf algebras E(n) are pseudotriangular. We observe that a laycle on a monoidal category induces a so-called pseudotwistor on every algebra in the category, and we obtain some general results (and give some examples) concerning pseudotwistors, inspired by the properties of laycles and twines.     

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.     

Making the Category of Doi-Hopf Modules into a Braided Monoidal Category

We investigate how the category of Doi-Hopf modules can be made into a monoidal category. It suffices that the algebra and coalgebra in question are both bialgebras with some extra compatibility relation. We study tensor identies for monoidal categories of Doi-Hopf modules. Finally, we construct braidings on a monoidal category of Doi-Hopf modules. Our construction unifies quasitriangular and coquasitriangular Hopf algebras, and Yetter-Drinfel'd modules.     

Actions of monoidal categories and generalized Hopf smash products

Let R be a k-algebra, and a monoidal category. Assume given the structure of a -category on the category of left R-modules; that is, the monoidal category is assumed to act on the category by a coherently associative bifunctor . We assume that this bifunctor is right exact in its right argument. In this setup we show that every algebra A (respectively coalgebra C) in gives rise to an R-ring AR (respectively an R-coring CR) whose modules (respectively comodules) are the A-modules (respectively C-comodules) within the category . We show that this very general scheme for constructing (co)associative (co)rings gives conceptual explanations for the double of a quasi-Hopf algebra as well as certain doubles of Hopf algebras in braided categories, each time avoiding ad hoc computations showing associativity.     

Symmetric centres of braided monoidal categories

This paper introduces the concept of ‘symmetric centres’ of braided monoidal categories. LetH be a Hopf algebra with bijective antipode over a fieldk. We address the symmetric centre of the Yetter-Drinfel’d module category: and show that a left Yetter-Drinfel’d moduleM belongs to the symmetric centre of and only ifM is trivial. We also study the symmetric centres of categories of representations of quasitriangular Hopf algebras and give a sufficient and necessary condition for the braid of, _Hℳ to induce the braid of , or equivalently, the braid of , whereA is a quantum commutativeH-module algebra     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

Center construction and duality of category of Hom-Yetter-Drinfeld modules over monoidal Hom-Hopf algebras

Let (H,α) be a monoidal Hom-Hopf algebra. In this paper, we will study the category of Hom-Yetter-Drinfeld modules. First, we show that the category of left-left Hom-Yetter-Drinfeld modules _H^HH Y D is isomorphic to the center of the category of left (H,α)-Hom-modules. Also, by the center construction, we get that the categories of left-left, left-right, right-left, and right-right Hom-Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Second, we prove that the category of finitely generated projective left-left Hom-Yetter-Drinfeld modules has left and right duality.     

Smash coproduct and braided groups in braided monoidal category

A smash coproduct in braided monoidal category C is constructed and some conditions making the smash coproduct a Hopf algebra or braided Hopf algebra are given. It is shown that the smash coproductB ×H in ^HM is equivalent to the transmutation of Hopf algebra. Thus a method for transmutation theory is provided. Let σ be 2-co-cycle andH a commutation Hopf algebra. A Hopf algebraHσ is constructed.Hσ?Hσ whereHσ is a transmutation ofHσ. The braided groups from some solutions of quantum Yang-Baxter equation are obtained.     

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.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

关于(f,τ) -相容Hopf代数对(B,H)

该文定义了(f,τ) -相容Hopf代数对(B,H),利用这样的对(B,H),给出了左H -余模范畴^HM的一个辫子张量子范畴,从而得到一个量子Yang-Baxter算子,并且通过扭曲Hopf代数$B$的乘法,构造出Yetter-Drinfeld范畴中^H_HYD的Hopf代数.