The Heisenberg double of the quantum Euclidean group and its representations (Q6171727)

Let \(\Bbbk\) be an algebraically closed field of characteristic zero, let \(q \in \Bbbk^* \) not a root of unity, and consider the quantum Euclidean group \(\mathcal{O}_q(E_2)\), which can be interpreted as a quantization of the algebra of regular functions on \(E_2\). The quantized universal enveloping algebra \(U_q(\mathfrak{e}_2)\) of the the complexification \(\mathfrak{e}_2\) of the Lie algebra of the Euclidean group \(E_2\) is the associative \(\Bbbk\)-algebra generated by \(K\), \(K^{-1}\), \(E\) and \(F\) with relations \(KE = q^2EK\), \(KF = q^{-2}FK\), \(EF = FE\), \(KK^{-1} = K^{-1}K = 1\). There exists a non-degenerate dual pairing \(\langle\cdot, \cdot\rangle : U_q(\mathfrak{e}_2)\times \mathcal{O}_q(E_2) \to \Bbbk\) which turns \(\mathcal{O}_q(E_2)\) into a left \(U_q(\mathfrak{e}_2)\)-module algebra. The Heisenberg double of \(\mathcal{O}_q(E_2)\) is the smash product algebra \(D_q(E_2) := \mathcal{O}_q(E_2)\rtimes U_q(\mathfrak{e}_2)\), and has a useful presentation by generators and relations. In this paper, the author shows that \(D_q(E_2)\) is not a simple algebra but its the centre is trivial. He gives an explicit description of the prime, primitive, maximal ideals and of the prime factors of \(D_q(E_2)\), and proves that \(D_q(E_2)\) has no finite-dimensional representations, and \(D_q(E_2)\) cannot have a Hopf algebra structure. The prime spectra of \(\mathcal{O}_q(E_2)\) and \(U_q(\mathfrak{e}_2)\) are also explicitly described. Next, the automorphism groups of the algebras \(\mathcal{O}_q(E_2)\), \(U_q(\mathfrak{e}_2)\) and \(D_q(E_2)\) are determined. Consider the centralizer \(\mathcal{C} := C(K,D_q(E_2))\) of the element \(K\) in \(D_q(E_2)\). The study of this algebra leads to results on the representations of \(D_q(E_2)\). The author shows that for any weight \(D_q(E_2)\)-module, all its weight spaces are infinite-dimensional. This allows a classification of simple weight modules and of the \(a\)-weight modules over the algebra \(D_q(E_2)\).