dual bialgebra

Given a field $k$, a $k$-vector space pairing between $k$-bialgebras $H$ and $K$ is a $k$-linear map $\langle, \rangle : H\times K\to k$ such that

$\langle h\otimes h', \Delta_K k\rangle = \langle h h', k\rangle$

$\langle \Delta (h), k\otimes k' \rangle = \langle h, k\otimes k'\rangle$

(where on the left hand side $\langle,\rangle$ denotes the map $H\otimes H\otimes K\otimes K\to k$ given by $\langle h\otimes h, k\otimes k'\rangle = \langle h,k\rangle \langle h',k' \rangle$), is called the **bialgebra pairing**.

The bialgebra pairing which is perfect as $k$-vector space pairing (i. e. if $\langle h, k\rangle = 0$ implies that either $h$ or $k$ is $0$) is called the bialgebra duality.

If $H$ and $K$ are Hopf algebras then the compatibility with antipodes is $\langle h, S k \rangle = \langle S h, k\rangle$.

Revised on February 9, 2016 07:25:06
by Tim Porter
(95.145.121.139)