New Turaev Braided Group Categories over Entwining Structures
Shuanhong Wang
DOI: https://doi.org/10.1080/00927870902828736
2010-01-01
Communications in Algebra
Abstract:Starting from the category A ℳ C (ψ) of entwined modules, that is, A-modules and C-comodules over Hopf algebras A and C, where the structures are only related by an entwining map ψ: A ⊗ C → A ⊗ C satisfying a mixed distributive law. Associated with any set map Ψ: π → 𝔼(A, C), where 𝔼(A, C) denotes the set of all k-linear maps ψ: A ⊗ C → A ⊗ C such that ψ is an entwining map, and with the opposite group 𝒮(π) of the semidirect product of the opposite group π op of a group π by π, we introduce a Turaev 𝒮(π)-category as a disjoint union of family of categories { A ℳ C (ψ(α, β))}(α, β)∈𝒮(π) of entwined modules with a family of entwining maps {ψ(α, β)}(α, β)∈𝒮(π). We show that is a Turaev braided 𝒮(π)-category if and only if there is a linear map 𝒬: C ⊗ C → A ⊗ A satisfying some conditions. For finite dimensional C (resp., A) there is a quasitriangular Turaev 𝒮(π)-coalgebra C*A = {A#C*(α, β)}(α, β)∈𝒮(π) (resp., a coquasitriangular Turaev 𝒮(π)-algebra A* × C = {A* × C(α, β)}(α, β)∈𝒮(π)) such that the category Rep(C*A) of representations of C*A is equivalent to (resp. the category Corep(A* × C) of corepresentations of A* × C is equivalent to ). Finally, we study dualities of any object in the category and the dual of the category itself.