A Heisenberg double addition to the logarithmic Kazhdan-Lusztig duality. (Q965882): Difference between revisions

A correspondence between logarithmic conformal field theories and quantum groups, the so-called ``logarithmic'' Kazhdan-Lusztig duality, is based on a Drinfeld double on the quantum groups side. A Hopf algebra \(B\) generated by the screenings in a logarithmic model and diagonal, ``zero-mode-like'' elements is the starting point. Then the Drinfeld double \(\mathcal D(B)\) of this quantum group is obtained and ``slightly truncated'' in order to produce the Kazhdan-Lusztig-dual quantum group. In this paper, another object is added to the logarithmic Kazhdan-Lusztig duality, as a counterpart of the algebra of fields in logarithmic models in terms of which these models are manifestly quantum group invariant. The necessary algebraic requirement is that the quantum group acts ``covariantly'' on the products of fields, which is expressed as the module algebra axiom. To describe a \(\mathcal D(B)\)-module algebra that is to play the role of fields on the algebraic side it is important to notice that the space \(B^* \otimes B\) admits another algebraic structure, besides the one of the Drinfeld double \(\mathcal D(B)\). Namely, a Heisenberg double \(\mathcal H(B^*)\) of \(B^*\) is an associative algebra given by the smash product with respect to the left regular action of \(B\) on \(B^*\). The main observation in this paper is that for any Hopf algebra \(B\) with a bijective antipode, \(\mathcal H(B^*)\) is a \(\mathcal D(B)\)-module algebra. However, this requires introducing a new \(\mathcal D(B)\) action. As in the case of the Drinfeld double \(\mathcal D(B)\), the Heisenberg double \(\mathcal H(B^*)\) is ``slightly too big'' for the correspondence with the logarithmic models and therefore needs to be ``truncated''. As an example, the case where \(B\) is the Taft Hopf algebra related to the \(\overline{\mathcal U}_{\mathfrak q}s\ell(2)\) quantum group that is Kazhdan-Lusztig-dual to \((p,1)\) logarithmic conformal models is worked out explicitly.