Related papers: Perverse Sheaves on Loop Grassmannians and Langlan…
We study the category of G(O)-equivariant perverse coherent sheaves on the affine Grassmannian of G. This coherent Satake category is not semisimple and its convolution product is not symmetric, in contrast with the usual constructible…
We describe the equivariant cohomology of cofibers of spherical perverse sheaves on the affine Grassmannian of a reductive algebraic group in terms of the geometry of the Langlands dual group. In fact we give two equivalent descriptions:…
The geometric Satake correspondence gives an equivalence of categories between the representations of a semisimple group $ G $ and the spherical perverse sheaves on the affine Grassmannian $Gr$ of its Langlands dual group.…
In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected…
Motivated by the polynomial representation theory of the general linear group and the theory of symplectic singularities, we study a category of perverse sheaves with coefficients in a field $k$ on any affine unimodular hypertoric variety.…
Let $G$ and $\check{G}$ be Langlands dual connected reductive groups. We establish a monoidal equivalence of $\infty$-categories between equivariant quasicoherent sheaves on the formal neighborhood of the nilpotent cone in $G$ and…
Building on a geometric counterpart of Steinberg's tensor product formula for simple representations of a connected reductive algebraic group $G$ over a field of positive characteristic, and following an idea of…
In this paper we prove, for G a connected reductive algebraic group satisfying a technical assumption, that the Satake category of G (with coefficients in a finite field, a finite extension of Q_l, or the ring of integers of such a field)…
In this paper we prove equivalences of categories relating the derived category of a block of the category of representations of a connected reductive algebraic group over an algebraically closed field of characteristic $p$ bigger than the…
In this paper we study the derived categories of coherent sheaves on Grassmannians $\operatorname{Gr}(k,n),$ defined over the ring of integers. We prove that the category $D^b(\operatorname{Gr}(k,n))$ has a semi-orthogonal decomposition,…
We prove a generalization of the twisted geometric Satake equivalence of Finkelberg--Lysenko in the context of the factorizable grassmannian of a reductive group G relative to a smooth curve X, similar to Gaitsgory's generalization in "On…
We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the…
The purpose of this paper is to introduce and study certain irreducible perverse l-adic sheaves on a reductive group G over a finite field (we call them gamma-sheaves). One can construct such a sheaf starting with (almost) every…
We generalize the classical Satake equivalence as follows. Let k be an algebraically closed field, set O=k[[t]] and F=k((t)). For an almost simple algebraic group G we classify central extensions of G(F) by the multiplicative group. Any…
In this paper we study the derived category of sheaves on the affine Grassmannian of a complex reductive group G, contructible with respect to the stratification by G(C[[x]])-orbits. Following ideas of Ginzburg and…
Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$. We prove Simon Schieder's conjecture identifying his bialgebra…
We calculate various categories of equivariant sheaves on the Beilinson-Drinfeld Grassmannian in Langlands dual terms. For one, we obtain the factorizable derived geometric Satake theorem. More generally, we calculate the categorical…
For a fixed parabolic subalgebra p of gl(n,C) we prove that the centre of the principal block O(p) of the parabolic category O is naturally isomorphic to the cohomology ring of the corresponding Springer fibre. We give a diagrammatic…
This is a companion paper of arXiv:1909.11492. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of $SO(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine…
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…