Understand
For a Hopf algebra B, we endow the Heisenberg double H(B^*) with the structure of a module algebra over the Drinfeld double D(B).
- Based on this property, we propose that H(B^*) is to be the counterpart of the algebra of fields on the quantum-group side of the Kazhdan--Lusztig duality between logarithmic conformal field theories and quantum groups.
- As an example, we work out the case where B is the Taft Hopf algebra related to the U_qsl(2) quantum group that is Kazhdan--Lusztig-dual to (p,1) logarithmic conformal models.
- The corresponding pair (D(B),H(B^*)) is "truncated" to (U_qsl(2),H_qsl(2)), where H_qsl(2) is a U_qsl(2) module algebra that turns out to have the form H_qsl(2)=\oC_q[z,d]\tensor C[\lambda]/(\lambda^{2p}-1), where C_q[z,d] is the U_qsl(2)-module algebra with the relations z^p=0, d^p=0, and d z = q-q^{-1} + q^{-2} zd.