We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Rings and Algebras

Title: Four-angle Hopf modules for Hom-Hopf algebras

Abstract: We introduce the notion of a four-angle $H$-Hopf module for a Hom-Hopf algebra $(H,\beta)$ and show that the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ of four-angle $H$-Hopf modules is a monoidal category with either a Hom-tensor product $\otimes_{H}$ or a Hom-cotensor product $\Box_{H}$ as a monoidal product. We study the category $\mathcal{YD}^{H}_{H}$ of Yetter-Drinfel'd modules with bijective structure map can be organized as a braided monoidal category, in which we use a new monoidal structure and prove that if the canonical braiding of the category $\mathcal{YD}^{H}_{H}$ is symmetry then $(H,\beta)$ is trivial. We then prove an equivalence between the monoidal category $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\otimes_{H})$ or $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\Box_{H})$ of four-angle $H$-Hopf modules, and the monoidal category $\mathcal{YD}^{H}_{H}$ of Yetter-Drinfel'd modules, and furthermore, we give a braiding structure of the monoidal categorys $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\otimes_{H})$ (and $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\Box_{H})$). Finally, we prove that when $(H,\beta)$ is finite dimensional Hom-Hopf algebra, the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ is isomorphic to the representation category of Heisenberg double $H^{*op}\otimes H^{*}\#H\otimes H^{op}$.
Subjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
MSC classes: 16D20, 16D90, 18M15
Cite as: arXiv:2006.15267 [math.RA]
  (or arXiv:2006.15267v1 [math.RA] for this version)

Submission history

From: Dongdong Yan [view email]
[v1] Sat, 27 Jun 2020 03:10:33 GMT (20kb)

Link back to: arXiv, form interface, contact.