Liftings of graded quasi-Hopf algebras with radical of prime codimension

Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with gr(A) in RG(p), where gr(A) is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. Then either A is twist equivalent to a Hopf algebra, or it is twist equivalent to H(2), H_±(p), A(q), or H(32), constructed in [5] and [8]. Note that any finite tensor category whose simple objects are invertible and form a group of order p under tensor is the representation category of a quasi-Hopf algebra A as above. Thus this paper provides a classification of such categories.     

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

Frobenius-Schur indicators and exponents of spherical categories

We obtain two formulae for the higher Frobenius-Schur indicators: one for a spherical fusion category in terms of the twist of its center and the other one for a modular tensor category in terms of its twist. The first one is a categorical generalization of an analogous result by Kashina, Sommerhäuser, and Zhu for Hopf algebras, and the second one extends Bantay's 2nd indicator formula for a conformal field theory to higher degrees. These formulae imply the sequence of higher indicators of an object in these categories is periodic. We define the notion of Frobenius-Schur (FS-)exponent of a pivotal category to be the global period of all these sequences of higher indicators, and we prove that the FS-exponent of a spherical fusion category is equal to the order of the twist of its center. Consequently, the FS-exponent of a spherical fusion category is a multiple of its exponent, in the sense of Etingof, by a factor not greater than 2. As applications of these results, we prove that the exponent and the dimension of a semisimple quasi-Hopf algebra H have the same prime divisors, which answers two questions of Etingof and Gelaki affirmatively for quasi-Hopf algebras. Moreover, we prove that the FS-exponent of H divides dim⁴(H). In addition, if H is a group-theoretic quasi-Hopf algebra, the FS-exponent of H divides dim²(H), and this upper bound is shown to be tight.     

Doi–Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, a left H-comodule algebra  and a right H-module coalgebra C we will characterize the category of Doi–Hopf modules ^C ?(H) in terms of modules. We will also show that for an H-bicomodule algebra  and an H-bimodule coalgebra C the category of generalized Yetter–Drinfeld modules (H) ^C is isomorphic to a certain category of Doi–Hopf modules. Using this isomorphism we will transport the properties from the category of Doi–Hopf modules to the category of generalized Yetter–Drinfeld modules.     

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     

Two Results on Brzeziński π-crossed Product

We give the necessary and sufficient conditions for a family of Brzezínski crossed product algebras with suitable comultiplication and counit to be a Hopf π-coalgebra. On the other hand, necessary and sufficient conditions for the Brzeziński π-crossed product A?H to be a coquasitriangular Hopf π-coalgebra are derived, then the category ^A?H ? of the left π-comodules over A?H is braided.     

Structure Theorems for Bicomodule Algebras Over Quasi-Hopf Algebras,Weak Hopf Algebras,and Braided Hopf Algebras

Let H be a quasi-Hopf algebra, a weak Hopf algebra, or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v: H → B. Then we can define an object B^co(H), which is a left-left Yetter–Drinfeld module over H, having extra properties that allow to make a smash product B^co(H)#H, which is an H-bicomodule algebra, isomorphic to B.     

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

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.     

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.     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.     

On twisted smash products for bimodule algebras and the drinfeld double 1

In this paper we construct a new algebra AHof an H- bimodule algebra Aby a Hopf algebra Hand study some of its properties. The smash product, the Drinfel'd double D(H) and the Doi-Takeuchi's algebra B?,H, are all special cases of AH. Moreover,we find a necessary and sufficient condition for A Hto be a Hopf algebra and also consider the dual situation     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

Semisimplicity of the Categories of Yetter–Drinfeld Modules and Long Dimodules

Abstract

Let k be a field, and H a Hopf algebra with bijective antipode. If H is commutative, noetherian, semisimple and cosemisimple, then the category _H 𝒴𝒟 ^H of Yetter–Drinfeld modules is semisimple. We also prove a similar statement for the category of Long dimodules, without the assumption that H is commutative.     

On the composition subalgebras of Bridgeland’s Hall algebras

Let A be a finite dimensional hereditary algebra over a finite field k and 𝒫 the category consisting of finite dimensional projective (left) A-modules. In this paper, we consider the composition subalgebra of Bridgeland’s Hall algebra of the category 𝒞_m(𝒫) of m-cyclic complexes for any positive integer m≥2 and determine its generating relations.     

The near centre of Doi-Hopf module categoryA M (H) C

It is known that any strict tensor category (C⊗I) determines a braided tensor categoryZ(C), the centre ofC. WhenA is a finite dimension Hopf algebra, Drinfel’d has proved thatZ(_A M) is equivalent to _D(A) M as a braided tensor category, whereA ^M is the left A-module category andD(A) is the Drinfel’d double ofA. For a braided tensor category, the braidC _U,v is a natural isomorphism for any pair of object (U,V) in. If weakening the natural isomorphism of the braidC _U,V to a natural transformation, thenC _U,V is a prebraid and the category with a prebraid is called a prebraided tensor category. Similarly it can be proved that any strict tensor category determines a prebraided tensor category Z∼ (C), the near centre of. An interesting prebraided tensor structure of the Yetter-Drinfel’d category _C*A YD ^C*A given, whereC # A is the smash product bialgebra ofC andA. And it is proved that the near centre of Doi-Hopf module _A M(H) ^C is equivalent to the Yetter-Drinfel’ d _C*A YD ^C*A as prebraided tensor categories. As corollaries, the prebraided tensor structures of the Yetter-Drinfel’d category _A YD ^A , the centres of module category and comodule category are given.     

Dualizations and Antipodes

Because an exact pairing between an object and its dual is extraordinarily natural in the object, ideas of R. Street apply to yield a definition of dualization for a pseudomonoid in any autonomous monoidal bicategory as base; this is an improvement on Day and Street, Adv. in Math. 129 (1997), Definition 11, p. 114. We analyse the dualization notion in depth. An example is the concept of autonomous (which, usually in the presence of a symmetry, also has been called rigid or compact) monoidal category. The antipode of a quasi-Hopf algebra H in the sense of Drinfeld is another example obtained using a different base monoidal bicategory. We define right autonomous monoidal functors and their higher-dimensional analogue. Our explanation of why the category Comod _f (H) of finite-dimensional representations of H is autonomous is that the Comod _f operation is autonomous and so preserves dualization.     

Hom-tensor relations for (quasi-) comodule algebras

We discuss quasi-Hopf algebras as introduced by Drinfeld and generalize the Hom-tensor adjunctions from the Hopf case to the quasi-Hopf setting, making the module category over a quasi-Hopf algebra H into a biclosed monoidal category. However, in this case, the unit and counit of the adjunction are not trivial and should be suitably modified in terms of the reassociator and the quasi-antipode of the quasi-Hopf algebra H. In a more general case, for a comodule algebra $ \mathcal{B} $ over a quasi-Hopf algebra H, the module category over $ \mathcal{B} $ need not to be monoidal. However, there is an action of a monoidal category on it. Using this action, we consider some kind of tensor and Hom-endofunctors of module category over $ \mathcal{B} $ and generalize some Hom-tensor relations from module category on H to this module category.     

Adjunctions of Hom and Tensor as Endofunctors of (Bi-)Module Categories Over Quasi-Hopf Algebras

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor functors ? ? _k V and V ? _k  ? are known to be left adjoint to some kind of Hom-functors as endofunctors of _H 𝕄. The units and counits of adjunctions, in this case, are formally trivial as in the classical case.

In this paper, we generalize this Hom-tensor adjunction for (bi-)module categories over a quasi-Hopf algebra H and show that these (bi-)module categories are biclosed monoidal. However, the units and counits of adjunctions in these generalized cases are not as trivial as in the Hopf algebra case, and they should be modified in terms of the reassociator and the quasi-antipode. Also, if the H-module V is finitely generated and projective as a k-module, we will obtain a generalized form of adjunction between the tensor functors ? ?V and ? ?V* depending on the reassociator and quasi-antipode of H and describe a natural isomorphism between functors ? ?V* and Hom _k (V, ?) explicitly. Furthermore, we consider the special case V = A being an H-module algebra. In this case, each tensor functor will be a monad and its corresponding right adjoint is a comonad. We describe isomorphisms between the (Eilenberg–Moore) module categories over these monads and the (Eilenberg–Moore) comodule categories over their corresponding comonads explicitly.     

Monoidal functors on the category of representations of a triangular Hopf algebra

Let (H,R) be a triangular Hopf algebra. The monoidal functors on the category of representations ofH is studied, and a universal quantum commutative algebraSeR(M) and a dual H°-comoduleM° for any H-moduleM with an integrale are constructed. Both constructions given here have tensor isomorphism properties. Project supported by the National Natural Science Foundation of China.