On the category O for rational Cherednik algebras

Victor Ginzburg,Nicolas Guay,Eric Opdam,Raphael Rouquier

DOI: https://doi.org/10.1007/s00222-003-0313-8

2003-06-26

Abstract:We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is the (finite) Iwahori-Hecke algebra associated to W. We prove that the Knizhnik-Zamolodchikov functor induces an equivalence between O/O_tor, the quotient of O by the subcategory of A-modules supported on the discriminant and the category of finite-dimensional H-modules. The standard A-modules go, under this equivalence, to certain modules arising in Kazhdan-Lusztig theory of ``cells'', provided W is a Weyl group and the Hecke algebra H has equal parameters. We prove that the category O is equivalent to the module category over a finite dimensional algebra, a generalized "q-Schur algebra" associated to W.

Representation Theory,Algebraic Geometry,Quantum Algebra,Rings and Algebras

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly revolve around the representation category $\mathcal{O}$ associated with the rational Cherednik algebra $A_W$. Specifically, the authors focus on the following aspects:

1. **Constructing and studying the structure of the $\mathcal{O}$ category**: In particular, for the rational Cherednik algebra $A_W$ defined by the complex reflection group $W$, the authors hope to understand the basic properties of its representation theory.

2. **Introducing the Knizhnik - Zamolodchikov (KZ) functor**: Construct an exact functor $KZ: \mathcal{O}\to H_W\text{-mod}$ from $\mathcal{O}$ to the category of finite Iwahori - Hecke algebra $H_W$ - modules. This functor theoretically connects the Cherednik algebra and the Hecke algebra, thus providing a new tool for studying $\mathcal{O}$.

3. **Proving equivalence**: Prove that the KZ functor induces an equivalence relation between the quotient category $\mathcal{O}/\mathcal{O}_{\text{tor}}$ (that is, removing all $A_W$-modules with support on the discriminant) and the category of finite - dimensional $H_W$-modules. This reveals the profound connection between two different algebraic structures.

4. **Mapping of standard modules**: When $W$ is a Weyl group and the Hecke algebra $H_W$ has equal parameters, the standard $A_W$-modules correspond to the "cellular" modules in Kazhdan - Lusztig theory through the KZ functor. This correspondence deepens our understanding of standard modules in these special cases.

5. **Association with the generalized “$q$-Schur algebra”**: The article also shows how to associate a generalized “$q$-Schur algebra” with an arbitrary finite complex reflection group $W$. This is also a new result even when $W$ is a Weyl group (except for type A and B). This provides a framework for understanding a broader range of algebraic structures.

In summary, this paper aims to establish new mathematical tools and theoretical frameworks through the study of the rational Cherednik algebra and its representation category $\mathcal{O}$, and to reveal its deep connections with other important algebraic structures such as Hecke algebras.