An algebraic approach to the KZ-functor for rational Cherednik algebras associated with cyclic groups
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\).NEWLINENEWLINEIn 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.NEWLINENEWLINEIn 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.
- Microlocal \(KZ\)-functors and rational Cherednik algebras.
- On category \(\mathcal O\) for the rational Cherednik algebra of \(G(m,1,n)\): the almost semisimple case.
- Monodromy of Partial KZ Functors for Rational Cherednik Algebras
- On the category \(\mathcal O\) for rational Cherednik algebras.
- Characteristic cycles of standard modules for the rational Cherednik algebra of type \(\mathbb{Z}/l\mathbb{Z}\).
- q-Schur algebras and complex reflection groups.
- Categorifications and cyclotomic rational double affine Hecke algebras.
- Cherednik algebras and differential operators on quasi-invariants.
- Derived equivalences for rational Cherednik algebras
- DUNKL OPERATORS FOR COMPLEX REFLECTION GROUPS
- Finite dimensional Hecke algebras
- scientific article; zbMATH DE number 4073249 (Why is no real title available?)
- scientific article; zbMATH DE number 108655 (Why is no real title available?)
- scientific article; zbMATH DE number 1176965 (Why is no real title available?)
- Introduction to complex reflection groups and their braid groups.
- Invariants of Finite Groups Generated by Reflections
- On the category \(\mathcal O\) for rational Cherednik algebras.
- Projective modules in the category \(\mathcal O\) for the Cherednik algebra.
- Representations of rational Cherednik algebras.
- Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism.
- Symplectic reflection algebras.
- The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences
- The Dunkl weight function for rational Cherednik algebras
- Suzuki functor at the critical level
- Microlocal \(KZ\)-functors and rational Cherednik algebras.
- Totally Aspherical Parameters for Cherednik Algebras
- Knizhnik-Zamolodchikov functor for degenerate double affine Hecke algebras: algebraic theory
- Characteristic cycles of standard modules for the rational Cherednik algebra of type \(\mathbb{Z}/l\mathbb{Z}\).
This page was built for publication: An algebraic approach to the \(\mathrm{KZ}\)-functor for rational Cherednik algebras associated with cyclic groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q342831)
