Doi-Hopf module

Short description: Concept in Hopf algebra and weak Hopf algebra

In quantum group, Hopf algebra and weak Hopf algebra, the Doi-Hopf module is a crucial construction that has many applications. It's named after Japanese mathematician Yukio Doi (土井 幸雄) and German mathematician Heinz Hopf. The concept was introduce by Doi in his 1992 paper "unifying Hopf modules".

Doi-Hopf module

A right Doi-Hopf datum is a triple [math]\displaystyle{ (H,A,C) }[/math] with [math]\displaystyle{ H }[/math] a Hopf algebra, [math]\displaystyle{ A }[/math] a left [math]\displaystyle{ H }[/math]-comodule algebra, and [math]\displaystyle{ C }[/math] a right [math]\displaystyle{ H }[/math]-module coalgebra. A left-right Doi-Hopf [math]\displaystyle{ (H,A,C) }[/math]-module [math]\displaystyle{ M }[/math] is a left [math]\displaystyle{ A }[/math]-module and a right [math]\displaystyle{ C }[/math]-comodule via [math]\displaystyle{ \beta: M\to M\otimes C }[/math] such that [math]\displaystyle{ \beta(am)=\sum a_{(0)}m_{[0]}\otimes a_{(1)}\rightharpoonup m_{[1]} }[/math] for all [math]\displaystyle{ a\in A,m\in M }[/math]. The subscript is the Sweedler notation.

A left Doi-Hopf datum is a triple [math]\displaystyle{ (H,A,C) }[/math] with [math]\displaystyle{ H }[/math] a Hopf algebra, [math]\displaystyle{ A }[/math] a right [math]\displaystyle{ H }[/math]-comodule algebra, and [math]\displaystyle{ C }[/math] a left [math]\displaystyle{ H }[/math]-module coalgebra. A Doi-Hopf module can be defined similarly.

Doi-Hopf module in weak Hopf algebra

The generalization of Doi-Hopf module in weak Hopf algebra case is given by Gabriella Böhm in 2000.