Related papers: Quantum K-theoretic geometric Satake

We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program. For a smooth projective curve X we introduce an algebraic stack \tilde\Bun_G of…

Let $V$ be a finite-dimensional positively-graded vector space. Let $b \in V \otimes V$ be a homogeneous element whose rank is $\text{dim}(V)$. Let $A=TV/(b)$, the quotient of the tensor algebra $TV$ modulo the 2-sided ideal generated by…

We prove D.Gaiotto's conjecture about geometric Satake equivalence for quantum supergroup $U_q({\mathfrak{gl}}(N-1|N))$ for generic $q$. The equivalence goes through the category of factorizable sheaves.

Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of…

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…

For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models.…

We propose a geometric realization of the Feigin-Loktev fusion product of graded cyclic modules over the current algebra. This allows us to compute it in several new cases. We also relate the Feigin-Loktev fusion product to the convolution…

We establish a derived geometric Satake equivalence for the quaternionic general linear group GL_n(H). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the…

In this paper, we study K-theory of spectral schemes by using locally free sheaves. Let us regard the K-theory as a functor K on affine spectral schemes. Then, we prove that the group completion $\Omega B^{\mathcal{G}}(B^{\mathcal{G}}GL)$…

For a split reductive group scheme $G$ over a commutative ring $k$ with Weyl group $W$, there is an important functor $Rep(G,k) \to Rep(W,k)$ defined by taking the zero weight space. We prove that the restriction of this functor to the…

We compare the integral category O of shifted affine quantum groups of symmetric and non symmetric types. To do so we compute the K-theoretic analog of the Coulomb branches with symmetrizers introduced by Nakajima and Weekes. This yields an…

In arXiv:1807.09038 we formulated a conjecture describing the derived category D-mod(Gr$_{GL(n)}$) of (all) D-modules on the affine Grassmannian of the group $GL(n)$ as the category of quasi-coherent sheaves on a certain stack (it is…

This is a companion paper of arXiv:1909.11492 and arXiv:1912.01930. We prove an equivalence relating representations of a degenerate orthosymplectic supergroup with the category of twisted $Sp(2n,{\mathbb C}[\![t]\!])$-equivariant…

We extend Bezrukavnikov and Finkelberg's description of the G(\C[[t]])-equivariant derived category on the affine Grassmannian to the twisted setting of Finkelberg and Lysenko. Our description is in terms of coherent sheaves on the twisted…

We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups…

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…

For an $r$-discrete Hausdorff groupoid ${\cal G}$ and an inverse semigroup $S$ of slices of ${\cal G}$ there is an isomorphism between ${\cal G}$-equivariant $KK$-theory and compatible $S$-equivariant $KK$-theory. We use it to define…

Let $U'_q(\mathfrak{g})$ be a twisted affine quantum group of type $A_{N}^{(2)}$ or $D_{N}^{(2)}$ and let $\mathfrak{g}_{0}$ be the finite-dimensional simple Lie algebra of type $A_{N}$ or $D_{N}$. For a Dynkin quiver of type…

Various constructions for quantum groups have been generalized to $\imath$-quantum groups. Such generalization is called $\imath$-program. In this paper, we fill one of parts in the $\imath$-program. Namely, we provide an equivariant…

In this paper we construct equivalences of monoidal categories relating three geometric or representation-theoretic categorical incarnations of the affine Hecke algebra of a connected reductive algebraic group $G$ over a field of positive…