Representations of quantum groups at roots of unity, Whittaker vectors and q-W algebras
Let $U_\varepsilon({\mathfrak g})$ be the standard simply connected version of the Drinfeld-Jumbo quantum group at an odd primitive m-th root of unity $\varepsilon$. The center of $U_\varepsilon({\mathfrak g})$ contains a huge commutative subalgebra isomorphic to the algebra $Z_G$ of regular functions on (a finite covering of a big cell in) a complex connected, simply connected algebraic group $G$ with Lie algebra $\mathfrak g$. Let $V$ be a finite-dimensional representation of $U_\varepsilon({\mathfrak g})$ on which $Z_G$ acts according to a non-trivial character $η_g$ given by evaluation of regular functions at $g\in G$. Then $V$ is a representation of the finite-dimensional algebra $U_{η_g}=U_\varepsilon({\mathfrak g})/U_\varepsilon({\mathfrak g}){\rm Ker}~η_g$. We show that in this case, under certain restrictions on $m$, $U_{η_g}$ contains a subalgebra $U_{η_g}({\mathfrak m}_-)$ of dimension $m^{{\frac{1}{2}}{\rm dim}~\mathcal{O}}$, where $\mathcal{O}$ is the conjugacy class of $g$, and $U_{η_g}({\mathfrak m}_-)$ has a one-dimensional representation $\mathbb{C}_{χ_g}$. We also prove that if $V$ is not trivial then the space of Whittaker vectors ${\rm Hom}_{U_{η_g}({\mathfrak m}_-)}(\mathbb{C}_{χ_g},V)$ is not trivial and the algebra $W_{η_g}={\rm End}_{U_{η_g}}(U_{η_g}\otimes_{U_{η_g}({\mathfrak m}_-)}\mathbb{C}_{χ_g})$ naturally acts on it which gives rise to a Schur-type duality between representations of the algebra $U_{η_g}$ and of the algebra $W_{η_g}$ called a q-W algebra.