geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
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.
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.