Hopf algebra

A Hopf algebra is a compatible algebra and coalgebra equipped with a counit and antipode. Coordinate rings of affine algebraic groups are commutative Hopf algebras.

An element $x$ of positive degree is primitive when $\Delta x=x\otimes 1+1\otimes x$. Graded commutators of primitives are primitive, so they form a graded Lie algebra. In a universal enveloping algebra over $\mathbb{Q}$, the primitive elements of a Hopf algebra are exactly its given Lie algebra: the associated graded algebra of the word-length filtration is symmetric, where no nonzero homogeneous polynomial of length greater than one is additive under the diagonal.

An algebra over a field acted on by a bialgebra is a module algebra when multiplication and unit are module maps: the displayed product identity holds and $h1=\epsilon (h)1$. This expresses the product rule determined by comultiplication.

Over a field with $q\ne 0$ and $q^2\ne 1$, this Hopf algebra has generators $E,F,K,K^{-1}$ and relations $KE=q^{2}EK$, $KF=q^{-2}FK$ and $EF-FE=(K-K^{-1})/(q-q^{-1})$. One comultiplication convention is $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$ and $\Delta K=K\otimes K$. Its counit takes $E,F$ to zero and $K$ to one. The antipode takes $E$ to $-E{K}^{-1}$, $F$ to $-KF$ and $K$ to $K^{-1}$.

If $Ev=0$ and $Kv=\lambda v$, induction using the defining commutator gives the displayed identity. When $q$ is not a root of unity, a finite string of length $n+1$ in a simple module has $\lambda =ϵq^n$, $ϵ=\pm 1$. Its distinct $K$ eigenvalues make the string vectors independent, and the nonzero raising coefficients prove simplicity.

The symmetric quantum integer is the displayed Laurent polynomial, with $[0{]}_q=0$. It obeys $[n+1{]}_q=q^{-1}[n{]}_q+q^n$ and $[r{]}_q[s+1{]}_q-[s{]}_q[r+1{]}_q=[r-s{]}_q$. At a primitive odd $\ell$th root of unity, $[n{]}_q=0$ exactly when $\ell$ divides $n$.

Given a Yang-Baxter R-matrix, take generators $t_{ij}$ subject to the displayed matrix relation, with $T_1=T\otimes I$, $T_2=I\otimes T$. The coproduct $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$ and counit $\epsilon (t_{ij})={\delta }_{ij}$ give a bialgebra. An antipode requires additional inverses or an appropriate determinant quotient; an arbitrary RTT bialgebra is not automatically a Hopf algebra.

Given an invertible braiding $C$ on $V\otimes V$, the universal bialgebra coacting on $V$ for which $C$ is a comodule map is generated by the matrix coefficients $t_{ij}$. Its comultiplication is $\Delta t_{ij}={\sum }_k{t}_{ik}\otimes t_{kj}$. Colinearity gives quadratic relations. Writing $R=\tau C$ turns the relation into the familiar RTT construction with the appropriate ordered tensor factors. A Yang-Baxter R-matrix supplies a scalar coquasitriangular structure.

For the two-by-two RTT construction with the standard Yang-Baxter R-matrix, the displayed determinant commutes with the matrix generators and satisfies $\Delta D_q=D_q\otimes D_q$ and $\epsilon (D_q)=1$. Imposing $D_q=1$ gives the coordinate Hopf algebra of quantum SL2; adjoining its inverse instead gives the quantum general-linear coordinate algebra.

The generators $a,b,c,d$ obey $ab=qba$, $ac=qca$, $bd=qdb$, $cd=qdc$, $bc=cb$, $ad-da=(q-q^{-1})bc$ and $ad-qbc=1$. Matrix multiplication gives the coproduct, and the antipode matrix is $\left(\begin{array}{cc}d& -q^{-1}b\\ -qc& a\end{array}\right)$. For $q\ne 0,\pm 1$, its quotient with $c=0$, $a=u$, $d=u^{-1}$ and $b=v$ is the quantum Laurent-plane algebra $uv=qvu$, proving noncommutativity. The same quotient distinguishes $\Delta b$ from its flipped coproduct.

A Hopf algebra is cocommutative when flipping the two tensor factors leaves its coproduct unchanged. A group algebra has coproduct $g\mapsto g\otimes g$, so it is cocommutative even for a nonabelian group, whose group algebra is not commutative.

A Hopf algebra is commutative when its multiplication is commutative. This is independent of whether its coproduct is cocommutative; function algebras of finite nonabelian groups give commutative but noncocommutative examples.

Functions on a finite group form a Hopf algebra under pointwise multiplication, with $(\Delta f)(g,h)=f(gh)$, $\epsilon (f)=f(1)$ and $(Sf)(g)=f(g^{-1})$. The coproduct is cocommutative exactly when the group is abelian, since delta functions distinguish distinct products $gh,hg$.

For a left module over a Hopf algebra, a vector $v$ is invariant when $hv=\epsilon (h)v$. In the internal hom for modules over a Hopf algebra, invariant maps are exactly the R-module homomorphisms for the acting algebra.

The full ${\mathrm{Hom}}_k(M,N)$ carries the action $(hf)(u)=\sum h_{(1)}f(S(h_{(2)})u)$, making it the internal hom right adjoint to $-\otimes M$. No finite-dimensionality or inverse antipode is needed.

The convolution inverse $S$ of the identity on a bialgebra: $m(S\otimes 1)\Delta =j\epsilon =m(1\otimes S)\Delta$. Existence makes the bialgebra a Hopf algebra; $S$ reverses multiplication.