Related papers: Quantum K-theoretic geometric Satake

The geometric Satake correspondence provides an equivalence of categories between the Satake category of spherical perverse sheaves on the affine Grassmannian and the category of representations of the dual group. In this note, we define a…

Let G be a reductive group. The geometric Satake equivalence realized the category of representations of the Langlands dual group ^LG in terms of spherical perverse sheaves (or D-modules) on the affine Grassmannian Gr_G=G((t))/G[[t]] of the…

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 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…

For a simply-connected simple algebraic group $G$ over $\C$, we exhibit a subvariety of its affine Grassmannian that is closely related to the nilpotent cone of $G$, generalizing a well-known fact about $GL_n$. Using this variety, we…

Let $G$ be a connected, simply-laced, almost simple algebraic group over $\mathbf{C}$, let $G_c$ be a maximal compact subgroup of $G(\mathbf{C})$, and let $T_c$ be a maximal torus therein. Let $\mathrm{Gr}_G$ denote the affine Grassmannian…

We categorify the R-matrix isomorphism between tensor products of minuscule representations of U_q(sl(n)) by constructing an equivalence between the derived categories of coherent sheaves on the corresponding convolution products in the…

We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a…

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…

This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We…

We construct a mirabolic analogue of the geometric Satake equivalence. We also prove an equivalence that relates representations of a supergroup with the category of $GL(N-1,{\mathbb C}[\![t]\!])$-equivariant perverse sheaves on the affine…

Let G^\vee be a complex simple algebraic group. We describe certain morphisms of G^\vee(\calO)-equivariant complexes of sheaves on the affine Grassmannian \Gr of G^\vee in terms of certain morphisms of G-equivariant coherent sheaves on…

We show that the cotangent bundle $T^*(G/K)$ of a quasi-split symmetric space $G/K$ is isomorphic to the dual variety of the loop symmetric space for the Langlands dual group, providing instances of the relative Langlands duality for…

Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of \v{S}penko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves…

Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the…

Let $H_{\mathbf{k}}$ be a symplectic reflection algebra corresponding to a cyclic subgroup $\Gamma \subseteq SL_2 \C$ of order $n$ and $U_{\mathbf{k}} = eH_{\mathbf{k}} e$ the spherical subalgebra of $H_{\mathbf{k}}$. We show that for…

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 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,…

In this paper we prove a coherent version of geometric Satake equivalence proposed in Cautis-Williams' work arXiv:2306.03023 for type A. In their work, they studied an abelian version of the classical limit Satake category, namely, the…

In this paper, using the quantum McKay correspondence, we construct the "derived category" of G-equivariant sheaves on the quantum projective line at a root of unity. More precisely, we use the representation theory of U_{q}sl(2) at root of…