In a braided monoidal category C we consider Hopf bimodules and crossed modules over a braided Hopf algebra H. We show that both categories are equivalent. It is discussed that the category of Hopf bimodule bialgebras coincides up to isomorphism with the category of bialgebra projections over H. Using these results we generalize the Radford-Majid criterion and show that bialgebra cross products over the Hopf algebra H are precisely described by H-crossed module bialgebras. In specific braided monoidal abelian categories we define (bicovariant) braided differential calculi over H and apply the results on Hopf bimodules to construct a higher order bicovariant differential calculus over H out of any first order bicovariant differential calculus over H. This object is shown to be a bialgebra with universal properties.
@article{bwmeta1.element.bwnjournal-article-bcpv40z1p79bwm, author = {Bespalov, Yuri and Drabant, Bernhard}, title = {Bicovariant differential calculi and cross products on braided Hopf algebras}, journal = {Banach Center Publications}, volume = {38}, year = {1997}, pages = {79-90}, zbl = {0874.16025}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv40z1p79bwm} }
Bespalov, Yuri; Drabant, Bernhard. Bicovariant differential calculi and cross products on braided Hopf algebras. Banach Center Publications, Tome 38 (1997) pp. 79-90. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv40z1p79bwm/
[000] [1] Yu. Bespalov, Crossed Modules and Quantum Groups in Braided Categories, to appear in Appl. Categorical Structures.
[001] [2] Yu. Bespalov and B. Drabant, Hopf (Bi-)Modules and Crossed Modules in Braided Monoidal Categories, preprint UVA-FWI 95-18 (1995).
[002] [3] Yu. Bespalov and B. Drabant, Differential Calculus in Braided Abelian Categories, in preparation.
[003] [4] T. Brzezinski, Remarks on Bicovariant Differential Calculi and Exterior Hopf Algebras, Lett. Math. Phys. 27, 287 (1993). | Zbl 0782.17009
[004] [5] B. Drabant, Braided Bosonization and Inhomogeneous Quantum Groups, Preprint UVA-FWI 94-28 (1994), to appear in Acta Math. Appl. | Zbl 0882.16023
[005] [6] P. Freyd and D. Yetter, Braided compact closed categories with applications to low dimensional topology, Adv. Math. 77, 156 (1989). | Zbl 0679.57003
[006] [7] D. Husemoller, Cyclic Homology, Tata Institute Lecture Notes on Mathematics 83, Springer (1991).
[007] [8] A.P. Isaev and A.A. Vladimirov, -Covariant Braided Differential Bialgebras, Lett. Math. Phys. 33, 297 (1995).
[008] [9] A. Joyal and R. Street, Braided monoidal categories, Mathematics Reports 86008, Macquarie University (1986). | Zbl 0817.18007
[009] [10] S. Majid, Algebras and Hopf algebras in braided categories, Advances in Hopf Algebras, Lecture Notes in Pure and Appl. Math. 158, 55, Dekker (1994). | Zbl 0812.18004
[010] [11] S. Majid, Cross Products by Braided Groups and Bosonization, J. Algebra 163, 165 (1994). | Zbl 0807.16036
[011] [12] S. Majid, Transmutation theory and rank for quantum braided groups, Math. Proc. Camb. Phil. Soc. 113, 45 (1993). | Zbl 0781.17006
[012] [13] S. Majid, Free Braided Differential Operators, Braided Binomial Theorem, and the Braided Exponential Map, J. Math. Phys. 34, 4843 (1993). | Zbl 0807.16035
[013] [14] S. Mac Lane, Categories. For the Working Mathematician, GTM 5, Springer (1972).
[014] [15] S. Mac Lane, Natural associativity and commutativity, Rice University Studies 49, 28 (1963).
[015] [16] Yu. I. Manin, Notes on Quantum Groups and Quantum de Rham Complexes, J. Theor. and Math. Phys. 92, 425 (1992). G. Maltsiniotis, Le langage des espaces et des groupes quantiques, Commun. Math. Phys. 151, 275 (1993).
[016] [17] D.E. Radford, The Structure of Hopf Algebras with a Projection, J. Algebra 92, 322 (1985). | Zbl 0549.16003
[017] [18] D.E. Radford and J. Towber, Yetter-Drinfel'd categories associated to an arbitrary bialgebra, J. Pure Appl. Algebra 87, 259 (1993). | Zbl 0796.16033
[018] [19] M.E. Sweedler, Hopf algebras, W.A. Benjamin, New York (1969).
[019] [20] S.L. Woronowicz, Differential Calculus on Compact Matrix Pseudogroups (Quantum Groups), Commun. Math. Phys. 122, 125 (1989). | Zbl 0751.58042
[020] [21] D. Yetter, Quantum groups and representations of monoidal categories, Math. Proc. Camb. Phil. Soc. 108, 261 (1990). | Zbl 0712.17014