Doi–Hopf Modules Associated to Comodule Coalgebras

To any right comodule coalgebra C over a Hopf algebra H we associate a left H-comodule algebra A. Under certain conditions, in particular in the case where H has nonzero integrals, we show that the category of right C, H-comodules is isomorphic to a certain subcategory of the category of Doi–Hopf modules associated to A. As an application, we investigate the connection between C and the smash coproduct C ? H being right semiperfect.     

HOPF代数的右伴随作用构造的上循环模(英文)

本文研究了上循环模,对于特征为O的域k上满足S~2=id_H的Hopf代数H,和左H-模代数A,利用日的右伴随作用以及H在A上的模作用,构造了上循环模(C)_H~#(A),并且证明了由H的右伴随作用和左伴随作用分别诱导的上循环模(C)_H~(#)(A)和(C)_H~(#)(A)足同构的.     

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.     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.     

On the Cohomology of Relative Hopf Modules

Let H be a Hopf algebra over a field k, and A an H-comodule algebra. The categories of comodules and relative Hopf modules are then Grothendieck categories with enough injectives. We study the derived functors of the associated Hom functors, and of the coinvariants functor, and discuss spectral sequences that connect them. We also discuss when the coinvariants functor preserves injectives.     

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 corepresentations of multiplier Hopf algebras

We present a general construction producing a unitary corepresentation of a multiplier Hopf algebra in itself and study RR-corepresentations of twisted tensor coproduct multiplier Hopf algebra. Then we investigate some properties of functors, integrals and morphisms related to the categories of the crossed modules and covariant modules over multiplier Hopf algebras. By doing so, we can apply our theory to the case of group-cograded multiplier Hopf algebras, in particular, the case of Hopf group-coalgebras.     

Hopf代数余作用

对于Ｈｏｐｆ代数Ｈ上的余模代数Ａ,当Ｈ是有限维或幺模（ｕｎｉｍｏｄｕｌａｒ）时,存在由交叉积Ａ＃Ｈ^＊ｒａｔ和余不变子代数Ａ^ｃｏＨ构成的Ｍｏｒｉｔａ Ｃｏｎｔｅｘｔ．本文论证了对于任意的Ｈｏｐｆ代数Ｈ,结果仍是成立的     

Cleft Comodule Categories

We define crossed product categories and we show that they are equivalent with cleft comodule categories. We also prove that a comodule category is cleft if and only if it is Hopf–Galois and has a normal basis. As an application we show that the category of Hopf modules over a cleft linear category and the category of modules over the coinvariant subcategory are equivalent.     

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.     

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 .     

Crossed Modules and Quantum Groups in Braided Categories

Let A be a Hopf algebra in a braided category . Crossed modules over A are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category of crossed modules is braided and is a concrete realization of a known general construction of a double or center of a monoidal category. For a quantum braided group the corresponding braided category of modules is identified with a full subcategory in . The connection with cross products is discussed and a suitable cross product in the class of quantum braided groups is built. Majid–Radford theorem, which gives equivalent conditions for an ordinary Hopf algebra to be such a cross product, is generalized to the braided category. Majid's bosonization theorem is also generalized.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

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.     

Weak Hopf Algebra in Yetter-Drinfeld Categories and Weak Biproducts

The Yetter-Drinfeld category of the Hopf algebra over a field is a pre braided category. In this paper we prove this result for the weak Hopf algebra. We study the smash product and smash coproduct, weak biproducts in the weak Hopf algebra over a field k. For a weak Hopf algebra A in left Yetter-Drinfeld category HHYD. we prove that the weak biproducts of A and H is a weak Hopf algebra.     

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.     

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

New coefficients for Hopf Cyclic Cohomology

In this note, the categories of coefficients for Hopf cyclic cohomology of comodule algebras and comodule coalgebras are extended. We show that these new categories have two proper different subcategories where the smallest one is the known category of stable anti Yetter–Drinfeld modules. We prove that components of Hopf cyclic cohomology such as cup products work well with these new coefficients.     

扭曲的自对偶Hopf代数

从两种重要的结构crossed积代数和扭曲Smash余积余代数出发,构造了一类新的Hopf代数R(?)K#_σH,并讨论它成为自对偶Hopf代数的条件.     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.