Volume 6, Issue 3 (Vol. 6, No. 3 2020)
mmr 2020, 6(3): 347-362 |
Back to browse issues page
Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:
Bagheri S. Adjunctions Between Hom and Tensor as Endofunctors of (bi-)Module Category of Comodule Algebras Over a Quasi-Hopf Algebra. mmr 2020; 6 (3) :347-362
URL: http://mmr.khu.ac.ir/article-1-2799-en.html
URL: http://mmr.khu.ac.ir/article-1-2799-en.html
Faculty of Mathematical Sciences, Malayer University, Malayer, Iran , bagheri_saeid@yahoo.com
Abstract: (2318 Views)
Introduction
Over a commutative ring k, it is well known from the classical module theory that the tensor-endofunctor of
is left adjoint to the Hom-endofunctor. The unit and counit of this adjunction is obtained trivially.
For a k-bialgebra (H, 𝝻, 𝝸, 𝞓, 𝞮) the category of (H,H)-bimodules is a monoidal category: the tensor product M
of two arbitrary (H,H)-bimodules M and N is again an (H,H)-bimodule in which the bimodule structure of M
is defined diagonally using the comultiplication. The associativity constraint of this category is formally trivial as in the category and it is followed from the coassociativity of the comultiplication. An antipode is an algebra anti-homomorphism S;H→H which is the inverse of 
with respect to the convolution product in 
. A Hopf algebra is a bialgebra together with an antipode.
As generalizations of the concepts bialgebra and Hopf algebra, V. G. Drinfeld introduced the concepts quasi-bialgebra and quasi-Hopf algebra respectively. A quasi-bialgebra over a commutative ring k is an associative algebra H with unit together with a comultiplication: H
H
and a counit: Hk satisfying all axioms of bialgebras except the coassociativity of 𝞓. However, the non-coassociativity of has been controlled by a normalized 3-cocycle 𝞍∊ H
in such a way that the category 
of (H,H)-bimodules is monoidal. In this case, the associativity constraint of the category is not the trivial one and it depends on the element 𝞍 ∊ H. However, we can yet consider tensor functors V
and -
as endofunctors of . A quasi-antipode has been defined as a generalization of antipode. A quasi-Hopf algebra is a quasi-bialgebra together with a quasi-antipode (S,α,β).
Let (H,𝝻,𝝸,𝞓,𝞮,S,α,β) be a quasi-Hopf algebra with a bijective quasi-antipode S. Then it has been shown that the tensor endofunctors V and - of have right adjoints which are described in terms of Hom-functors. This means that is a biclosed monoidal category.
Over a Hopf algebra H, the category
of left H-comodules is monoidal and algebras and coalgebras can be defined inside this category. In this way, a left H-comdule algebra is defined as an algebra in the monoidal category of left H-comodules. However, if H is a quasi-bialgebra or even a quasi-Hopf algebra, because of non-coassociativity of comultiplication, we can not define an H-comodule algebra in this categorical language. To solve this problem, F. Hausser and F. Nill defined an H-comodule algebra in a formal way as a generalization of the quasi-bialgebra H and they considered some categories related to an H-comodule algebra such as the category of two-sided Hopf modules.
In this article, the bimodule category
of a comodule algebra A over a quasi-Hopf algebra H is considered which is not necessarily monoidal. However, we define varieties of Tensor and Hom-endofunctors of this category and state Hom-tensor adjunctions between suitable pairs of these functors. In each case, we compute the unit and counit of adjunction explicitly.
Material and methods
First we consider the category
of left B-modules, where B is a left comodule algebra over a quasi-Hopf algebra H and we note that the left action of 
on yields some varieties of Tensor and Hom-endofunctors of and we observe that every Tensor functor defined in this way has a right adjoint which is described as a Hom-functor. Next we extend this idea for the bimodule category
.
Results and discussion
First we note that although bimodule categoryof a comodule algebra A over a quasi-Hopf algebra H is not monoidal, the coaction of H on A yields an action of the bimodule category (which is monoidal) on this bimodule category. This action, in turn, allows us to define Tensor and Hom-functors as endofunctors of the bimodule category.
In any case we obtain Tensor and Hom-endofunctors with the bimodule structure defined diagonally using the coation of H on A and the quasi-antipode (S,α, β) of H. After that we state Hom-Tensor adjunction between corresponding pairs of Hom and Tensor endofunctors. The units and counits of adjunctions are not trivial as in the Hopf algebra case and they strongly depend on the invariants of the comodule algebra A and the quasi-antipode (S,α, β).
Conclusion
The following conclusions were drawn from this research.
is an adjoint pair of endofuntors with unit and counit given by
where 
and 
are elements in H⊗B whose components are given in terms of quasi-antipode (S,α, β) and components of 
.
is an adjoint pair of endofuntors with unit and counit given by
where 
and 
are elements in A⊗H whose components are given in terms of quasi-antipode (S,α, β) and components of 
../files/site1/files/63/3(1).pdf
Over a commutative ring k, it is well known from the classical module theory that the tensor-endofunctor of
is left adjoint to the Hom-endofunctor. The unit and counit of this adjunction is obtained trivially.For a k-bialgebra (H, 𝝻, 𝝸, 𝞓, 𝞮) the category of (H,H)-bimodules is a monoidal category: the tensor product M
of two arbitrary (H,H)-bimodules M and N is again an (H,H)-bimodule in which the bimodule structure of M is defined diagonally using the comultiplication. The associativity constraint of this category is formally trivial as in the category and it is followed from the coassociativity of the comultiplication. An antipode is an algebra anti-homomorphism S;H→H which is the inverse of with respect to the convolution product in . A Hopf algebra is a bialgebra together with an antipode.As generalizations of the concepts bialgebra and Hopf algebra, V. G. Drinfeld introduced the concepts quasi-bialgebra and quasi-Hopf algebra respectively. A quasi-bialgebra over a commutative ring k is an associative algebra H with unit together with a comultiplication: H
H and a counit: Hk satisfying all axioms of bialgebras except the coassociativity of 𝞓. However, the non-coassociativity of has been controlled by a normalized 3-cocycle 𝞍∊ H in such a way that the category of (H,H)-bimodules is monoidal. In this case, the associativity constraint of the category is not the trivial one and it depends on the element 𝞍 ∊ H. However, we can yet consider tensor functors V and - as endofunctors of . A quasi-antipode has been defined as a generalization of antipode. A quasi-Hopf algebra is a quasi-bialgebra together with a quasi-antipode (S,α,β).Let (H,𝝻,𝝸,𝞓,𝞮,S,α,β) be a quasi-Hopf algebra with a bijective quasi-antipode S. Then it has been shown that the tensor endofunctors V
and - of have right adjoints which are described in terms of Hom-functors. This means that is a biclosed monoidal category.Over a Hopf algebra H, the category
of left H-comodules is monoidal and algebras and coalgebras can be defined inside this category. In this way, a left H-comdule algebra is defined as an algebra in the monoidal category of left H-comodules. However, if H is a quasi-bialgebra or even a quasi-Hopf algebra, because of non-coassociativity of comultiplication, we can not define an H-comodule algebra in this categorical language. To solve this problem, F. Hausser and F. Nill defined an H-comodule algebra in a formal way as a generalization of the quasi-bialgebra H and they considered some categories related to an H-comodule algebra such as the category of two-sided Hopf modules.In this article, the bimodule category
of a comodule algebra A over a quasi-Hopf algebra H is considered which is not necessarily monoidal. However, we define varieties of Tensor and Hom-endofunctors of this category and state Hom-tensor adjunctions between suitable pairs of these functors. In each case, we compute the unit and counit of adjunction explicitly.Material and methods
First we consider the category
of left B-modules, where B is a left comodule algebra over a quasi-Hopf algebra H and we note that the left action of on yields some varieties of Tensor and Hom-endofunctors of and we observe that every Tensor functor defined in this way has a right adjoint which is described as a Hom-functor. Next we extend this idea for the bimodule category.Results and discussion
First we note that although bimodule category
of a comodule algebra A over a quasi-Hopf algebra H is not monoidal, the coaction of H on A yields an action of the bimodule category (which is monoidal) on this bimodule category. This action, in turn, allows us to define Tensor and Hom-functors as endofunctors of the bimodule category.In any case we obtain Tensor and Hom-endofunctors with the bimodule structure defined diagonally using the coation of H on A and the quasi-antipode (S,α, β) of H. After that we state Hom-Tensor adjunction between corresponding pairs of Hom and Tensor endofunctors. The units and counits of adjunctions are not trivial as in the Hopf algebra case and they strongly depend on the invariants of the comodule algebra A and the quasi-antipode (S,α, β).
Conclusion
The following conclusions were drawn from this research.
- Let H be a quasi-Hopf algebra with the quasi-antipod (S,α,β), (B,𝝀,
a left H-comodule algebra and V be an (H,H)-bimodule. Then the pair
is an adjoint pair of endofuntors with unit and counit given by
where and are elements in H⊗B whose components are given in terms of quasi-antipode (S,α, β) and components of .
- Let H be a quasi-Hopf algebra with quasi-antipod (S,α,β), (A,ρ,
a right H-comodule algebra and V be an (H,H)-bimodule. Then the pair
is an adjoint pair of endofuntors with unit and counit given by
where and are elements in A⊗H whose components are given in terms of quasi-antipode (S,α, β) and components of ../files/site1/files/63/3(1).pdf
Type of Study: S |
Subject:
alg
Received: 2018/06/15 | Revised: 2021/01/25 | Accepted: 2019/01/28 | Published: 2020/11/30 | ePublished: 2020/11/30
Received: 2018/06/15 | Revised: 2021/01/25 | Accepted: 2019/01/28 | Published: 2020/11/30 | ePublished: 2020/11/30
Send email to the article author
| Rights and permissions | |
 |
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License. |
