Crossed modules and doi-hopf modules

S. Caenepeel,G. Militaru,Zhu Shenglin

DOI: https://doi.org/10.1007/BF02773642

1997-01-01

Israel Journal of Mathematics

Abstract:We prove that crossed modules (or Yetter-Drinfel’d modules) are special cases of Doi’s unified Hopf modules. The category of crossed H -modules is therefore a Grothendieck category (if we work over a field), and the Drinfel’d double appears as a type of generalized smash product.

What problem does this paper attempt to address?

(Non-Symmetric) Yetter–Drinfel’d Module Category and Invariant Coinvariant Jacobians

Zhongwei Wang,Yong Wang

DOI: https://doi.org/10.3390/sym16050515

2024-01-01

Abstract:In this paper, we generalize the homomorphisms of modules over groups and Lie algebras as being morphisms in the category of (non-symmetric) Yetter–Drinfel’d modules. These module homomorphisms play a key role in the conjecture of Yau.
Yetter-Drinfeld modules for group-cograded Hopf quasigroups

Huili Liu,Tao Yang,Lingli Zhu

DOI: https://doi.org/10.48550/arXiv.2112.08046

2021-12-28

Abstract:Let $H$ be a crossed group-cograded Hopf quasigroup. We first introduce the notion of $p$-Yetter-Drinfeld quasimodule over $H$. If the antipode of $H$ is bijective, we show that the category $\mathscr Y\mathscr D\mathscr Q(H)$ of Yetter-Drinfeld quasimodules over $H$ is a crossed category, and the subcategory $\mathscr Y\mathscr D(H)$ of Yetter-Drinfeld modules is a braided crossed category.

Rings and Algebras
Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

Stefaan Caenepeel,Gigel Militaru,Shenglin Zhu

DOI: https://doi.org/10.1090/S0002-9947-97-02004-7

IF: 1.3529

1997-01-01

Transactions of the American Mathematical Society

Abstract:We study the following question: when is the right adjoint of the forgetful functor from the category of (H, A, C)-Doi-Hopf modules to the category of A-modules also a left adjoint? We can give some necessary and sufficient conditions; one of the equivalent conditions is that C x A and the smash product A # C* are isomorphic as (A, A # C*)-bimodules. The isomorphism can be described using a generalized type of integral. Our results may be applied to some specific cases. In particular, we study the case A = H, and this leads to the notion of k-Frobenius H-module coalgebra. In the special case of Yetter-Drinfel'd modules over a field, the right adjoint is also a left adjoint of the forgetful functor if and only if H is finite dimensional and unimodular.
Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids

Xiao Han

2023-12-07

Abstract:We construct Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we show that the categories of Hopf bimodules and Yetter-Drinfeld modules over a Hopf algebroid are equivalent (pre-)braided monoidal categories. Moreover, we also study the duality between finitely generated projective Yetter-Drinfeld modules.

Quantum Algebra
Crossed modules

Johannes Huebschmann

DOI: https://doi.org/10.1090/noti2831

2024-03-24

Abstract:This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module. Crossed modules arise from the identities among the relations of the presentation of a group, from the extension problem for groups and, more generally, in low dimensional topology. Also, the (successful) attempt to extend the idea of a normal extension of commutative fields to the realm of non-commutative algebras leads to crossed modules. Crossed modules appear implicitly in a forgotten paper by A. Turing which in principle settles the extension problem for groups. Crossed modules make perfect sense for Lie algebras.

Group Theory,Algebraic Topology
Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra

D. Bulacu,S. Caenepeel

DOI: https://doi.org/10.48550/arXiv.1011.0886

2010-11-03

Abstract:We study Doi-Hopf data and Doi-Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi-Hopf datum; to a Doi-Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi-Hopf datum, using a smash product type construction. The category of Doi-Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular graded Hopf algebra.

Rings and Algebras
Rudiment of Weak Doi-Hopf Π-Modules

Jia Ling,Li Fang

DOI: https://doi.org/10.1631/jzus.2005.as0144

2005-01-01

Journal of Zhejiang University SCIENCE A

Abstract:The notion of weak Doi-Hopf π-datum and weak Doi-Hopf π-module are given as generalizations of an ordinary weak Doi-Hopf datum and weak Doi-Hopf module introduced in (Böhm, 2000), also as a generalization of a Doi-Hopf π-module introduced in (Wang, 2004). Then we also show that the functor forgetting action or coaction has an adjoint. Furthermore we explain how the notion of weak Doi-Hopf π-datum is related to weak smash product. This paper presents our preliminary results on weak Doi-Hopf group modules.
A Maschke Type Theorem for Doi–Hopf Modules and Applications

S Caenepeel,G Militaru,SL Zhu

DOI: https://doi.org/10.1006/jabr.1996.6794

IF: 0.908

1997-01-01

Journal of Algebra

Abstract:We prove a Maschke type theorem for Doi–Hopf modules. A sufficient condition in order to have a Maschke type property is that there exists a normalized integral map for the Doi–Hopf datum in question. The results are applied to graded modules and to Yetter–Drinfel'd modules. As another application, a characterization of cosemisimple coalgebras over a field is given.
Separable Functors for the Category of Doi–Hopf Modules, Applications

S Caenepeel,B Ion,G Militaru,SL Zhu

DOI: https://doi.org/10.1006/aima.1998.1817

2019-01-01

Abstract:We prove a Maschke type theorem for the category of Doi–Hopf modules. In fact, we give necessary and sufficient conditions for the functor that forgets the C-coaction to be separable. This leads to a generalized notion of integrals. Our results can be applied to obtain Maschke type theorems for Yetter–Drinfel'd modules, Long dimodules, and modules graded by G-sets. Existing Maschke type theorems due to Doi and the authors are recovered as special cases.
Crossed squares of cocommutative Hopf algebras

Florence Sterck

DOI: https://doi.org/10.1016/j.jalgebra.2021.05.018

2021-06-17

Abstract:In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the category of double internal groupoids in the category of cocommutative Hopf algebras. The Hopf crossed squares turn out to be the internal crossed modules in the category of crossed modules in the category of cocommutative Hopf algebras.

Category Theory
Alternative Doi-Hopf Modules over Weak Hopf Algebras

Jia Ling,Li Fang

2008-01-01

Acta Mathematica Scientia

Abstract:In this paper,we first introduce the notion of weak alternative Doi-Hopf modules, and then mainly give the construction of adjoint functor to the functor from the category of weak alternative Doi-Hopf modules to the category of modules(resp.comodules)disregarding the coaction(resp.the action).
Doi-hopf modules over weak hopf algebras

Gabriella Böhm

DOI: https://doi.org/10.1080/00927870008827113

2000-01-01

Communications in Algebra

Abstract:The theorv of Doi-Hopf modules [8,11] is generalized to Weak Hopf Algebras [1, 14, 2].

mathematics
Separable functors for Doi-Hopf modules. Applications

S. Caenepeel,B. Ion,G. Militaru,S. Zhu

DOI: https://doi.org/10.48550/arXiv.math/9809021

1998-09-05

Abstract:There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the separability of a certain forgetful functor. But, unlike classical Maschke's theorem, where the sufficient condition is also necessary, none of these theorems gives any necessary condition for the separability of the forgeful functor in question. Our job is to find a necessary and sufficient condition for the separability of the forgetful functor from the category of Doi-Hopf modules forgetting the comodule structure. As in the classical case, this functor is separable iff exists a certain "integral map" with a normalizing property. As particular cases, improved versions of "Maschke type" theorems are given. Other various applications are given. For example, keeping in mind that the category of Yetter-Drinfel'd modules is also a category of Doi-Hopf modules, we obtain the notion of quantum integral. For H a finite dimensional Hopf algebra, the existence of such a quantum integral is a necessary and sufficient condition for the Drinfel'd double to be a separable extension of H.

Quantum Algebra,Rings and Algebras
On bicrossed modules of Hopf algebras

Xiao Han

2023-12-16

Abstract:We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$ with bijective antipode, the mirror bicrossproduct Hopf algebra $H\triangleright\!\!\!\blacktriangleleft H_{cop}$ is a Hopf 2-algebra. We apply the theorem on Sweedler's Hopf algebra as an example.

Quantum Algebra
Injective Envelopes, Cogenerators and Direct Products in the Doi-Hopf Module Category

Haibin Kan

DOI: https://doi.org/10.1007/bf02885978

1999-01-01

Abstract:It is proved that there exist injective envelopes, cogenerators and direct products in the Doi-Hopf module category.
Braided monoidal categories and Doi Hopf modules for monoidal Hom-Hopf algebras

Shuangjian Guo,Xiaohui Zhang,Shengxiang Wang

DOI: https://doi.org/10.48550/arXiv.1411.7127

2014-11-26

Abstract:We first introduce the notion of Doi Hom-Hopf modules and find the sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. Also we obtain the condition for the monoidal Hom-algebra and monoidal Hom-coalgebra to be monoidal Hom-bialgebras. Second, we give the maps between the underlying monoidal Hom-Hopf algebras, Hom-comodule algebras and Hom-module coalgebras give rise to functors between the category of Doi Hom-Hopf modules and study tensor identities for monodial categories of Doi Hom-Hopf modules. Furthermore, we construct a braiding on the category of Doi Hom-Hopf modules. Finally, as an application of our theory, we consider the braiding on the category of Hom-modules, the category of Hom-comodules and the category of Hom-Yetter-Drinfeld modules respectively.

Rings and Algebras
Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

Fang Li,LongGang Sun

DOI: https://doi.org/10.1007/s11425-012-4469-9

2012-01-01

Science China Mathematics

Abstract: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 .
Braided crossed category over crossed group-cograded weak Hopf quasigroups

Huili Liu,Lingli Zhu,Tao Yang

DOI: https://doi.org/10.48550/arXiv.2212.00363

2022-12-01

Abstract:In this paper, we generalizing the main result in Liu[10] to weak Hopf coquasigroups case. We first define and study group-cograded weak Hopf quasigroups, which generalize both group-cograded Hopf quasigroups and weak Hopf group-coalgebras. Then we introduce the notion of p-Yetter-Drinfeld weak quasimodule over group-cograded weak Hopf quasigroups H. If the antipode of H is bijective, we show that the category YDWQ(H) of Yetter-Drinfeld weak quasimodules over H is a crossed category, and the subcategory YD(H) of Yetter-Drinfeld modules is a braided crossed category.

Rings and Algebras
Categorical equivalences for Hopf trusses and their modules

Ramón González Rodríguez,Ana Belén Rodríguez Raposo

2023-12-12

Abstract:In this paper we introduce the notion of generalized invertible 1-cocycle in a strict braided monoidal category C, and we prove that the category of Hopf trusses is equivalent to the category of generalized invertible 1-cocycles. On the other hand, we also introduce the notions of module for a Hopf truss and for a generalized invertible 1-cocycle. We prove some functorial results involving these categories of modules and we show that the category of modules associated to a generalized invertible 1-cocycle is equivalent to a category of modules associated to a suitable Hopf truss. Finally, assuming that in C we have equalizers, we introduce the notion of Hopf-module in the Hopf truss setting and we obtain the Fundamental Theorem of Hopf modules associated to a Hopf truss.

Rings and Algebras
Note on infinite iterated crossed products of Hopf algebras and the Drinfeld double

Sandipan De,Vijay Kodiyalam

DOI: https://doi.org/10.1016/j.jpaa.2015.05.013

IF: 0.834

2015-12-01

Journal of Pure and Applied Algebra

Abstract:For a finite dimensional Hopf algebra we show that an associated natural inclusion of infinite crossed products is the crossed product by the Drinfeld double, and that this is a characterisation of the double.

mathematics, applied

Crossed modules and doi-hopf modules

(Non-Symmetric) Yetter–Drinfel’d Module Category and Invariant Coinvariant Jacobians

Yetter-Drinfeld modules for group-cograded Hopf quasigroups

Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids

Crossed modules

Algebras graded by discrete Doi-Hopf data and the Drinfeld double of a Hopf group-coalgebra

Rudiment of Weak Doi-Hopf Π-Modules

A Maschke Type Theorem for Doi–Hopf Modules and Applications

Separable Functors for the Category of Doi–Hopf Modules, Applications

Crossed squares of cocommutative Hopf algebras

Alternative Doi-Hopf Modules over Weak Hopf Algebras

Doi-hopf modules over weak hopf algebras

Separable functors for Doi-Hopf modules. Applications

On bicrossed modules of Hopf algebras

Injective Envelopes, Cogenerators and Direct Products in the Doi-Hopf Module Category

Braided monoidal categories and Doi Hopf modules for monoidal Hom-Hopf algebras

Derived Representation Type and Gorenstein Projective Modules of an Algebra under Crossed Product

Braided crossed category over crossed group-cograded weak Hopf quasigroups

Categorical equivalences for Hopf trusses and their modules

Note on infinite iterated crossed products of Hopf algebras and the Drinfeld double