Making the category of Doi-Hopf modules into a braided monoidal category (Q1127785): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
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
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references