Cyclotomic double affine Hecke algebras and affine parabolic category \(\mathcal O\). (Q2637921)

The cyclotomic rational double affine Hecke algebra \(\mathbf H\) if a deformation of the semi-direct product of \(\mathbb{C}[\mathbb{C}^{2n}]\) with the wreath product of the symmetric group \(S_n\) and the cyclic group \(\mathbb{Z}/l\mathbb{Z}\). Its category \(\mathcal O\) is a quasi-hereditary cover of the Ariki-Koike algebra. It is expected that the composition multiplicities of standard \(\mathbf H\)-modules can be computed in terms of some affine Kazhdan-Lusztig polynomials. This is called the \textit{dimension conjecture} and is known to hold for \(l=1\). In this case there is a functor from a certain category of modules over the type \(A^{(1)}\) affine Lie algebra to the category \(\mathcal O\) for \(\mathbf H\). In the present paper the authors construct a similar functor for any \(l\), which they believe will be important to prove the dimension conjecture in the general case. To construct the functor, which takes a smooth module over a twisted affine Lie algebra to an \(\mathbf H\)-module, the authors use the orbifold Knizhnik-Zamolodchikov connection. The authors compute the image, under the functor, of parabolic Verma modules and show that the functor preserves the poset of standard modules and is exact on the category of modules with standard filtration. The authors conjecture that the functor maps indecomposable projective modules to indecomposable projective modules.