{"id":"arxiv:1509.00112","kind":"article","title":"Quantum K-theoretic geometric Satake: the case","authors":["Sabin Cautis","Joel Kamnitzer"],"author_count":2,"year":2017,"published":"2017-10-30","venue":"Compositio Mathematica","cited_by":12,"doi":"10.1112/s0010437x17007564","arxiv_id":"1509.00112","nct_id":null,"source_url":"https://doi.org/10.1112/s0010437x17007564","archive_url":"https://space-kitty.com/papers/arxiv:1509.00112","updated":"2017-06-04","pmid":null,"pmcid":null,"openalex_id":"W1937528024","pdf_url":"https://arxiv.org/pdf/1509.00112","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_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":true,"retracted":false,"peer_reviewed":null,"categories":["Algebraic structures and combinatorial models"],"details":null,"provenance":"openalex+arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain_slug":"math-cs"}],"cited_in_dossiers":[]}