An algebraic approach to the \(\mathrm{KZ}\)-functor for rational Cherednik algebras associated with cyclic groups (Q342831)

Let \({\mathfrak h}\) be a finite-dimensional complex vector space, \(W \subset GL_{{\mathbb C}}({\mathfrak h})\) be a finite reflection group, and \(\text{Refl}_W\) denote its set of pseudo-reflections. Given a \(W\)-equivariant function \(c: \text{Refl}_W \to {\mathbb C}\), one has an associated rational Cherednik algebra \(H_{c}(W,{\mathfrak h})\), which arises as a quotient (depending on \(c\)) of \(T({\mathfrak h}\oplus {\mathfrak h}^*)\rtimes W\). As a vector space, \(H_{c}(W,{\mathfrak h}) = S({\mathfrak h}^*)\otimes_{{\mathbb C}}{\mathbb C}W\otimes_{{\mathbb C}}S({\mathfrak h})\), giving rise to a PBW-like decomposition. Further, one can associate a BGG-type category \({\mathcal O}\) to \(H_{c}(W,{\mathfrak h})\), denoted \({\mathcal O}_{c}(W,{\mathfrak h})\), which is a highest weight category with standard and costandard modules indexed by irreducible \(W\)-modules. In [Invent. Math. 154, No. 3, 617--651 (2003; Zbl 1071.20005)], \textit{V. Ginzburg} et al. showed that there is an exact functor \(\text{KZ}: {\mathcal O}_{c}(W,{\mathfrak h}) \to {\mathcal H}_{c}(W,{\mathfrak h})\text{-mod}\), where \({\mathcal H}_c(W,{\mathfrak h})\) is the associated cyclotomic Hecke algebra. As an exact functor, KZ is represented by a projective object \(P_{\text{KZ}}\) in the category \({\mathcal O}_c(W,{\mathfrak h})\). The goal of this paper is to understand the KZ-functor and \(P_{\text{KZ}}\) in the case when \(W\) is a finite cyclic group, i.e., \(W = {\mathbb Z}/n\), for some \(n\). In general, for a finite-dimensional, graded \(S({\mathfrak h})\rtimes W\)-module \(M\), consider the standard induced module \(\Delta_c(M) := H_c(W,{\mathfrak h})\otimes_{S({\mathfrak h})\rtimes W}M\) and costandard module \(\nabla_c(M) := \text{Homgr}^{\bullet}_{S({\mathfrak h}^*)\rtimes W}(H_c(W,{\mathfrak h}),M)\). Rouquier has conjectured that there exist \(c\) such that \(P_{\text{KZ}}\) is isomorphic to the standard induced module \(\Delta_c(S({\mathfrak h})_W)\) of the coinvariant algebra \(S({\mathfrak h})_W\). It is observed that this conjecture would hold if it could be shown that \(\Delta_c(S({\mathfrak h})_W)\) has a \(\nabla\)-filtration, thus making it a tilting module in \({\mathcal O}_c(W,{\mathfrak h})\). Towards that end, the author studies \(H_c(W,{\mathfrak h})\)-module maps from \(\Delta_c(S({\mathfrak h})_W)\) to \(\nabla_c(S({\mathfrak h}^*)_W\otimes_{\mathbb C}\text{det}_{\mathfrak h}^{-1}\langle N\rangle)\), in hopes of finding an isomorphism. Here, \(N\) is the number of psuedo-reflections. The first main result is a one-to-one correspondence between this set of module maps and \(\text{Hom}_{{\mathbb C}W}(S(\mathfrak{h}^*)_W,\text{Har}^*)\), where \(\text{Har} \subset S({\mathfrak h})\) is a homogeneous \(W\)-submodule of harmonic polynomials. In the case that \(W = {\mathbb Z}/n\), one can parameterize the Cherednik (and cyclotomic Hecke) algebras by tuples \({\mathbf c} := (c_1, c_2, \dots, c_{n-1},c_n) \in {\mathbb C^n}\), with \(c_n = 0\). Let \({\mathcal F}\) denote the subset of such tuples such that, for \(1 \leq i,j \leq n\), if \(c_i - c_j \equiv j - i \mod n\), then \(c_i - c_j = j - i\). For \({\mathbf c} \in {\mathcal F}\), the author shows that \(\Delta_{{\mathbf c}}(S({\mathfrak h})_W)\) is indeed tilting, and hence may be identified with \(P_{\text{KZ}}\). Moreover, by studying the endomorphism rings of these modules, it is shown that this isomorphism holds only for \({\mathbf c}\) lying in \({\mathcal F}\). Lastly, for \({\mathbf c} \in {\mathcal F}\), the author gives a precise determination of the action of \({\mathcal H}_{{\mathbf c}}(W,{\mathfrak h})\) on \(\Delta_{{\mathbf c}}(S({\mathfrak h})_W)\) induced by the \(\text{KZ}\)-functor.