Quasi-Hopf algebra

A quasi-Hopf algebra is a generalization of a Hopf algebra, which was defined by the Russian mathematician Vladimir Drinfeld in 1989.

A quasi-Hopf algebra is a quasi-bialgebra ${\displaystyle {\mathcal {B_{A}}}=({\mathcal {A}},\Delta ,\varepsilon ,\Phi )}$ for which there exist ${\displaystyle \alpha ,\beta \in {\mathcal {A}}}$ and a bijective antihomomorphism S (antipode) of ${\displaystyle {\mathcal {A}}}$ such that

${\displaystyle \sum _{i}S(b_{i})\alpha c_{i}=\varepsilon (a)\alpha }$

${\displaystyle \sum _{i}b_{i}\beta S(c_{i})=\varepsilon (a)\beta }$

for all ${\displaystyle a\in {\mathcal {A}}}$ and where

${\displaystyle \Delta (a)=\sum _{i}b_{i}\otimes c_{i}}$

and

${\displaystyle \sum _{i}X_{i}\beta S(Y_{i})\alpha Z_{i}=\mathbb {I} ,}$

${\displaystyle \sum _{j}S(P_{j})\alpha Q_{j}\beta S(R_{j})=\mathbb {I} .}$

where the expansions for the quantities ${\displaystyle \Phi }$and ${\displaystyle \Phi ^{-1}}$ are given by

${\displaystyle \Phi =\sum _{i}X_{i}\otimes Y_{i}\otimes Z_{i}}$

and

${\displaystyle \Phi ^{-1}=\sum _{j}P_{j}\otimes Q_{j}\otimes R_{j}.}$

As for a quasi-bialgebra, the property of being quasi-Hopf is preserved under twisting.