Parabolic restriction and induction for rational DAHA’s.

Get Complete Project Material File(s) Now! »

Rational double affine Hecke algerbas.

The rational double affine Hecke algebras (=rational DAHA’s), also called rational Cherednik algebras, have been introduced by Etingof and Ginzburg [EG02]. Let us recall their definition. Definition 2.1.1. Let c be a map from S to C that is constant on the W-conjugacy classes. The rational double affine Hecke algebra Hc(W, h) is the quotient of the smash product of CW and the tensor algebra of h h by the relations [x, x0] = 0, [y, y0] = 0, [y, x] = hx, yi − X s2S cshs, yihx, _ s is, for all x, x0 2 h, y, y0 2 h. Here h·, ·i is the canonical pairing between h and h, the element s is a generator of Im(s|h − 1) and _ s is the generator of Im(s|h − 1) such that hs, _ s i = 2.

Hom-space for functors on Oc(W, h).

Let Projc(W, h) denote the full subcategory of Oc(W, h) consisting of projective objects.
Let I : Projc(W, h) ! Oc(W, h) denote the canonical embedding functor. The following lemma will be useful to us. Lemma 2.3.1. For any abelian category A and any right exact functors F1, F2 from Oc(W, h) to A, the homomorphism of vector spaces rI : Hom(F1, F2) ! Hom(F1 I, F2 I), 7! 1I.

Parabolic restriction and induction for rational DAHA’s.

From now on we assume that hW = 1. Fix a point b 2 h. Let W0 be the parabolic subgroup of W given by the stabilizer of b. We will use the same notation as in Section 1.2. Let c0 : S0 ! C be the map given by the restriction of c : S ! C, and consider the rational DAHA Hc0(W0, h) and the category Oc0(W0, h). In [BE09], Bezrukavnikov and Etingof defined the parabolic restriction and induction functors Resb : Oc(W, h) ! Oc0(W0, h) , Indb : Oc0(W0, h) ! Oc(W, h). In this section, we will first review their constructions (Sections 3.1–3.3), then we give some further properties of these functors (Sections 3.4–3.8).

READ  TYPES OF STORIES IN DETECTIVE NOVELS

The isomorphism and the equivalence R.

For a point p 2 h we write C[[h]]p for the completion of C[h] at p, and we write dC[h]p for the completion of C[h] at the W-orbit of p in h. Note that we have C[[h]]0 = dC[h]0. For any C[h]-module M we write cMp = dC[h]p C[h] M. The completions bHc(W, h)b, bHc0(W0, h)0 are well defined algebras. We denote by bOc(W, h)b the category of bHc(W, h)b-modules that are finitely generated over dC[h]b, and we denote by bOc0(W0, h)0 the category of bHc0(W0, h)0-modules that are finitely generated over dC[h]0. Let P = FunW0(W, bHc(W0, h)0) be the set of W0-invariant maps from W to bHc(W0, h)0. Let Z(W,W0, bHc(W0, h)0) be the ring of endomorphisms of the right bHc(W0, h)0-module P. The following is due to Bezrukavnikov and Etingof [BE09, Theorem 3.2].

Table of contents :

Introduction
1 Contexte
2 Présentation des résultats
I Crystals and rational DAHA’s 
1 Hecke algebras
2 Category O of rational DAHA’s
3 Parabolic restriction and induction for rational DAHA’s.
4 Fock spaces and cyclotomic rational DAHA’s
5 Categorifications and crystals
II Canonical bases and affine Hecke algebras of type D. 
1 The graded k-algebra R(􀀀)
2 Affine Hecke algebras of type D
3 Global bases of V and projective graded R-modules
IIIThe v-Schur algebras and Jantzen filtration 
1 Statement of the main result
2 Jantzen filtration of standard modules
3 Affine parabolic category O and v-Schur algebras
4 Generalities on D-modules on ind-schemes
5 Localization theorem for affine Lie algebras of negative level
6 The geometric construction of the Jantzen filtration
7 Proof of the main theorem
A List of Notation
Bibliography

GET THE COMPLETE PROJECT

Related Posts