# Quantum K-theoretic geometric Satake: the case

Article · Sabin Cautis, Joel Kamnitzer

- Archive id: arxiv:1509.00112
- Published: 2017-10-30
- Venue: Compositio Mathematica
- DOI: https://doi.org/10.1112/s0010437x17007564
- arXiv: https://arxiv.org/abs/1509.00112
- Citations: 12
- Source URL: https://doi.org/10.1112/s0010437x17007564
- PDF: https://arxiv.org/pdf/1509.00112
- Provenance: openalex+arxiv

## Abstract

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. Bezrukavnikov-Finkelberg developed a derived version of this equivalence which relates the derived category of $ G^\\vee$-equivariant constructible sheaves on $ Gr $ with the category of $G$-equivariant ${\\mathcal O}(\\mathfrak g)$-modules. In this paper, we develop a K-theoretic version of the derived geometric Satake which involves the quantum group $ U\_q \\mathfrak g $. We define a convolution category $ KConv(Gr) $ whose morphism spaces are given by the $ G^\\vee \\times \\mathbb C^\\times $-equivariant algebraic K-theory of certain fibre products. We conjecture that $KConv(Gr)$ is equivalent to a full subcategory of the category of $ U\_q \\mathfrak g $-equivariant $ \\mathcal O\_q(G) $-modules. We prove this conjecture when $G = SL\_n$. A key tool in our proof is the $SL\_n$ spider, which is a combinatorial description of the category of $U\_q \\mathfrak{sl}\_n$ representations. By applying horizontal trace, we show that the annular $SL\_n$ spider describes the category of $ U\_q \\mathfrak{sl}\_n $-equivariant $ \\mathcal O\_q(SL\_n) $-modules. Then we use quantum loop algebras to relate the annular $SL\_n $ spider to $ KConv(Gr) $. This gives a combinatorial/diagrammatic description of both categories and proves our conjecture.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.