Abstract
It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V⊗BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence \(_A M_A^H \cong {\text{ }}_L M\). The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences \(^L M \cong ^H M,{\text{ }}_A^L M \cong _k M{\text{, }}_A^L M_A \cong M_H ,{\text{ }}_A^L M^H \cong {\text{ }}M^H {\text{ and }}_A^L M_A^H \cong {\text{ }}YD_H^H \).
Similar content being viewed by others
References
Beattie, M.: Strongly inner actions, coactions and duality theorems, Tsukuba J. Math. 16 (1992), 279–293.
Blattner, R. J. and Montgomery, S.: Crossed products and Galois extensions of Hopf algebras, Pacific J. Math. 137 (1989), 37–54.
Caenepeel, S., van Oystaeyen, F. and Zhang, Y. H.: Quantum Yang–Baxter module algebras, K-Theory 8 (1994), 231–255.
Doi, Y.: Braided bialgebras and quadratic bialgebras, Comm. Algebra 21 (1993), 1731–1749.
Doi, Y. and Takeuchi, M.: Hopf–Galois extensions of algebras, the Miyashita–Ulbrich action, and Azumaya algebras, J. Algebra 121 (1989), 488–516.
Montgomery, S.: Hopf Algebras and Their Actions on Rings, in CBMS Regional Conference Series in Mathematics, Vol. 82, AMS, Providence, RI, 1993.
Pareigis, B.: A non-commutative non-cocommutative Hopf algebra in ‘nature’, J. Algebra 70 (1981), 356–374.
Schauenburg, P.: Hopf modules and Yetter–Drinfel’dmodules, J. Algebra 169 (1994), 874–890.
Schauenburg, P.: Hopf Bigalois extensions, Comm. Algebra 24 (1996), 3797–3825.
Schauenburg, P.: Hopf bimodules over Hopf–Galois-extensions, Miyashita–Ulbrich actions, and monoidal center constructions, Comm. Algebra 24 (1996), 143–163.
Schneider, H.-J.: Principal homogeneous spaces for arbitrary Hopf algebras, Israel J. Math. 72 (1990), 167–195.
Schneider, H.-J.: Representation theory of Hopf–Galois extensions, Israel J. Math. 72 (1990), 196–231.
Montgomery, S. and Schneider, H.-J.: Hopf crossed products, rings of quotients, and prime ideals, Adv. in Math. 112 (1995), 1–55.
Sweedler, M. E.: Hopf Algebras, Benjamin, New York, 1969.
Sweedler, M. E.: Groups of simple algebras, Publ. Math. I.H.E.S. 44 (1974), 79–189.
Takeuchi, M.: Groups of algebras over A ⊗ A, J. Math. Soc. Japan 29 (1977), 459–492.
Ulbrich, K.-H.: Galoiserweiterungen von nicht-kommutativen Ringen, Comm. Algebra 10 (1982), 655–672.
Ulbrich, K.-H.: Galois extensions as functors of comodules, Manuscripta Math. 59 (1987), 391–397.
Ulbrich, K.-H.: Fiber functors of finite dimensional comodules, Manuscripta Math. 65 (1989), 39–46.
Van Oystaeyen, F. and Zhang, Y.: Galois-type correspondences for Hopf–Galois extensions, K-Theory 8 (1994), 257–269.
Woronowicz, S. L.: Differential calculus on compact matrix pseudogroups (quantum groups), Comm. Math. Phys. 122 (1989), 125–170.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schauenburg, P. Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules. Applied Categorical Structures 6, 193–222 (1998). https://doi.org/10.1023/A:1008608028634
Issue Date:
DOI: https://doi.org/10.1023/A:1008608028634