Bialgebra

In mathematics, a bialgebra over a field K is a vector space over K which is both a unital associative algebra and a coalgebra, such that these structures are compatible.

Compatibility means that the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, that the multiplication and the unit of the algebra both be coalgebra morphisms: these statements are equivalent in that they are expressed by the same diagrams. A bialgebra homomorphism is a linear map that is both an algebra and a coalgebra homomorphism.

As reflected in the symmetry of the diagrams, the definition of bialgebra is self-dual, so if one can define a dual of B (which is always possible if B is finite-dimensional), then it is automatically a bialgebra.

Contents

Formal definition

(B, \nabla, \eta, \Delta, \varepsilon) is a bialgebra over K if it has the following properties:

1 multiplication \nabla and comultiplication \Delta [1]
where \tau\colon B \otimes B \to B \otimes B is the linear map defined by \tau(x \otimes y) = y\otimes x for all x and y in B,
2 multiplication \nabla and counit \varepsilon
3 comultiplication \Delta and unit \eta [2]
4 unit \eta and counit \varepsilon

Coassociativity and counit

The K-linear maps \Delta�: B \to B \otimes_K B is coassociative if (\mathrm{id}_B \otimes \Delta) \circ \Delta = (\Delta \otimes \mathrm{id}_B) \circ \Delta

The K-linear map \epsilon�: B \to K is a counit if (\mathrm{id}_B \otimes \epsilon) \circ \Delta = \mathrm{id}_B = (\epsilon \otimes \mathrm{id}_B) \circ \Delta.

Coassociativy and counit are expressed by the commutativity of the following two diagrams with B in place of C (they are the duals of the diagrams expressing associativity and unit of an algebra):

Compatibility conditions

The four commutative diagrams can be read either as "comultiplication and counit are homomorphisms of algebras" or, equivalently, "multiplication and unit are homomorphisms of coalgebras".

These statements are meaningful once we explicit the natural structures of algebra and coalgebra in all the vector spaces involved besides B: K, B \otimes B. (K, \nabla_0, \eta_0) is a unital associative algebra in an obvious way and (B \otimes B, \nabla_2, \eta_2) is a unital associative algebra with unit and multiplication

\eta_2�:= (\eta \otimes \eta)�: K \otimes K \equiv K \to (B \otimes B)

\nabla_2�:= (\nabla \otimes \nabla) \circ (id \otimes \tau \otimes id)�: (B \otimes B) \otimes (B \otimes B) \to (B \otimes B) ,

so that \nabla_2 ( (x_1 \otimes x_2) \otimes (y_1 \otimes y_2) ) = \nabla(x_1 \otimes y_1) \otimes \nabla(x_2 \otimes y_2) or, omitting \nabla and writing multiplication as juxtaposition, (x_1 \otimes x_2)(y_1 \otimes y_2) = x_1 y_1 \otimes x_2 y_2 ;

similarly, (K, \Delta_0, \epsilon_0) is a coalgebra in an obvious way and B \otimes B is a coalgebra with counit and comultiplication

\epsilon_2�:= (\epsilon \otimes \epsilon)�: K \otimes K \equiv K \to (B \otimes B)

\Delta_2�:=  (id \otimes \tau \otimes id) \circ (\Delta \otimes \Delta) �: (B \otimes B) \to (B \otimes B) \otimes (B \otimes B).


Then, diagrams 1 and 3 say that \Delta�: B \to B \otimes B is a homomorphism of unital (associative) algebras (B, \nabla, \eta) and (B \otimes B, \nabla_2, \eta_2):

\Delta \circ \nabla = \nabla_2 \circ (\Delta \otimes \Delta)�: (B \otimes B) \to (B \otimes B), or simply \Delta(xy) = \Delta(x) \Delta(y) and

\Delta \circ \eta = \eta_2�: K \to (B \otimes B), or simply \Delta (1_B) = 1_{B \otimes B};

diagrams 2 and 4 say that \epsilon�: B \to K is a homomorphism of unital (associative) algebras (B, \nabla, \eta) and (K, \nabla_0, \eta_0):

\epsilon \circ \nabla = \nabla_0 \circ (\epsilon \otimes \epsilon)�: (B \otimes B) \to K, or simply \epsilon(xy) = \epsilon(x) \epsilon(y) and

\epsilon \circ \eta = \eta_0�: K \to K, or simply \epsilon (1_B) = 1_K.

Equivalently, diagrams 1 and 2 say that \nabla�: B \otimes B \to B is a homomorphism of (counital coassociative) coalgebras (B \otimes B, \Delta_2, \epsilon_2) and (B, \Delta, \epsilon):

 \nabla \otimes \nabla \circ \Delta_2 = \Delta \circ \nabla�: (B \otimes B) \to (B \otimes B) and

\epsilon \circ \nabla = \nabla_0 \circ \epsilon_2�: (B \otimes B) \to K;

diagrams 3 and 4 say that \eta: K \to B is a homomorphism of (counital coassociative) coalgebras (K, \Delta_0, \epsilon_0) and (B, \Delta, \epsilon):

\Delta \circ \eta = \eta_2 \circ \Delta_0: K \to (B \otimes B) and

\epsilon \circ \eta = \eta_0 \circ \epsilon_0�: K \to K.

Examples

Examples of bialgebras include the Hopf algebras[3]. Similar structures with different compatibility between the product and coproduct, or different types of product and coproduct, include Lie bialgebras and Frobenius algebras. Additional examples are given in the article on coalgebras.

See also

Notes

  1. ^ Dăscălescu, Năstăsescu & Raianu (2001), p. 147 & 148
  2. ^ Dăscălescu, Năstăsescu & Raianu (2001), p. 148
  3. ^ Dăscălescu, Năstăsescu & Raianu (2001), p. 151

References