Making the category of Doi-Hopf modules into a braided monoidal category (Q1127785): Difference between revisions
From MaRDI portal
Removed claims |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Stefaan Caenepeel / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Freddy M. J. van Oystaeyen / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Bo Rong Zhou / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Fang Li / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1009916416083 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W184879594 / rank | |||
Normal rank |
Latest revision as of 10:35, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Making the category of Doi-Hopf modules into a braided monoidal category |
scientific article |
Statements
Making the category of Doi-Hopf modules into a braided monoidal category (English)
0 references
21 March 1999
0 references
For two bialgebras \(A\) and \(C\) and a Doi-Hopf datum \(G\), a monoidal Doi-Hopf datum \(G=(H,A,C)\) is defined with additional compatibility relations. It is shown that for a monoidal Doi-Hopf datum \(G=(H,A,C)\) over a commutative ring \(k\), the category \(_AM(H)^C\) of left-right \(G\)-Doi-Hopf modules and \(A\)-linear \(C\)-colinear homomorphisms is a monoidal category with structure maps. In this situation, the tensor product of two Doi-Hopf modules is a Doi-Hopf module. If \(A\) or \(C\) equals the ground ring \(k\), the compatibility relation is always fulfilled and the categories \(A\)-mod and comod-\(C\) are monoidal categories. The category of Yetter-Drinfeld modules is a monoidal category as a special case of the result above. Maps between the underlying Hopf algebras, comodule algebras and module coalgebras give rise to functors between categories of Doi-Hopf modules [\textit{S. Caenepeel} and \textit{S. Raianu}, Abelian groups and modules, Math. Appl., Dordr. 343, 73-94 (1995; Zbl 0843.16035)]. If the maps between the algebras and the coalgebras are both bialgebra maps, the authors obtain functors between monoidal categories. Moreover, they study some particular situations and this gives rise to the so-called tensor identities. As an application, the authors prove that the category of Doi-Hopf modules has enough injective objects in the case of \(k\) a field. In a monoidal category \(_AM(H)^C\) of Doi-Hopf modules, the authors define a braiding through a convolution invertible map \(R\colon C\otimes C\to A\otimes A\) satisfying two complicated compatibility relations. In the case where \(C=k\) is trivial, this condition turns out to be equivalent to \((A,R(1\otimes 1))\) being a quasitriangular bialgebra. Similarly, if \(A=k\) is trivial, the definition of a coquasitriangular bialgebra is recovered. Another particular example is the well known braiding on the category of Yetter-Drinfeld modules. Finally, for a monoidal Doi-Hopf datum \((H,A,C)\), if \(C\) is faithfully projective as a \(k\)-module, it is proved that \(_AM(H)^C\) and \(A\# C^*\)-mod are isomorphic as monoidal categories.
0 references
Doi-Hopf modules
0 references
bialgebras
0 references
monoidal Doi-Hopf datum
0 references
monoidal categories with structure maps
0 references
categories of Yetter-Drinfeld modules
0 references
Hopf algebras
0 references
comodule algebras
0 references
module coalgebras
0 references
bialgebra maps
0 references
tensor identities
0 references
quasitriangular bialgebras
0 references
braidings
0 references