[Paper Review] Cross Product Bialgebras - Part I

Yuri Bespalov, Bernhard Drabant|ArXiv.org|Feb 5, 1998

Algebraic structures and combinatorial models22 references6 citations

TL;DR

This paper introduces a universal framework for cross product bialgebras without co-cycles using projections and injections, unifying known constructions like biproducts, double cross products, and bicross products. It further provides a modular Hopf data description that recovers existing types and generates new families of co-cycle-free bialgebras, particularly in braided monoidal categories such as Hopf bimodules, where Majid's double biproduct emerges as a twist of a tensor product bialgebra.

ABSTRACT

The subject of this article are cross product bialgebras without co-cycles. We establish a theory characterizing cross product bialgebras universally in terms of projections and injections. Especially all known types of biproduct, double cross product and bicross product bialgebras can be described by this theory. Furthermore the theory provides new families of (co-cycle free) cross product bialgebras. Besides the universal characterization we find an equivalent (co-)modular description of certain types of cross product bialgebras in terms of so-called Hopf data. With the help of Hopf data construction we recover again all known cross product bialgebras as well as new and more general types of cross product bialgebras. We are working in the general setting of braided monoidal categories which allows us to apply our results in particular to the braided category of Hopf bimodules over a Hopf algebra. Majid's double biproduct is seen to be a twisting of a certain tensor product bialgebra in this category. This resembles the case of the Drinfel'd double which can be constructed as a twist of a specific cross product.

Motivation & Objective

• To develop a universal characterization of cross product bialgebras without co-cycles using categorical projections and injections.
• To unify known bialgebra constructions—such as biproducts, double cross products, and bicross products—under a single theoretical framework.
• To introduce a modular Hopf data description that generalizes and extends existing cross product bialgebras.
• To apply the theory in braided monoidal categories, particularly the category of Hopf bimodules over a Hopf algebra.
• To demonstrate that Majid's double biproduct arises as a twist of a tensor product bialgebra in this categorical setting.

Proposed method

• The theory is built on universal properties using projections and injections to characterize cross product bialgebras categorically.
• A Hopf data formalism is introduced as an equivalent description, encoding the bialgebra structure through compatible algebra and coalgebra data.
• The framework is applied in braided monoidal categories, allowing generalization beyond the classical setting.
• The construction leverages the structure of Hopf bimodules to define new bialgebras via twisting of tensor products.
• The theory recovers known bialgebras (e.g., Drinfel'd double via twist) and generates new families of co-cycle-free bialgebras.

Experimental results

Research questions

• RQ1 How can cross product bialgebras without co-cycles be universally characterized using categorical projections and injections?
• RQ2 What is the relationship between the universal projection/injection framework and known bialgebra constructions like biproducts and bicross products?
• RQ3 Can a modular Hopf data description unify and generalize existing cross product bialgebras?
• RQ4 How do these constructions behave in braided monoidal categories, particularly in the category of Hopf bimodules?
• RQ5 Can Majid's double biproduct be understood as a twist of a tensor product bialgebra within this framework?

Key findings

• The universal characterization via projections and injections provides a clean, categorical foundation for all co-cycle-free cross product bialgebras.
• The Hopf data formalism offers an equivalent, modular description that recovers known bialgebras and generates new ones.
• All known types of cross product bialgebras—biproduct, double cross product, bicross product—are unified under this single framework.
• In the category of Hopf bimodules, the double biproduct is shown to be a twist of a specific tensor product bialgebra.
• The theory enables the construction of new families of co-cycle-free bialgebras beyond previously known classes.