nLab Hecke category

Contents

Context

Representation theory

representation theory

geometric representation theory

Contents

Idea

Generally, for $X \longrightarrow Y$ a suitable map of schemes or algebraic stacks, then the corresponding Hecke category is the category (derived category, (infinity,1)-category) $\mathcal{D}(X \times_Y X)$ of D-modules on the (homotopy) fiber product, regarded as a monoidal category by regarding its objects as specifying integral transforms in $Fun_{\mathcal{D}(Y)}(\mathcal{D}(X), \mathcal{D}(X))$ (Ben-Zvi & Nadler 09, section 5.1).

For $X\to Y$ the inclusion $\mathbf{B}B \to \mathbf{B}G$ of the delooping of a Borel subgroup of a complex reductive group, then (generally for maps of delooped groups like this, see here at homotopy limit) the homotopy fiber product is $X \times_Y X \simeq B \backslash \backslash G // B$. The Hecke category for this case is the default case of Hecke categories used in geometric representation theory.

The concept of Hecke category is a categorification of that of Hecke algebra.

References

A sruvey is around slide 15 (40 of 77) in

Last revised on July 2, 2014 at 11:04:51. See the history of this page for a list of all contributions to it.