Quantum K-theoretic geometric Satake: the SL_n case

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

G r

of its Langlands dual group. Bezrukavnikov-Finkelberg developed a derived version of this equivalence which relates the derived category of

G^{v} e e

-equivariant constructible sheaves on

G r

with the category of

G

-equivariant

m a t h c a l O (m a t h f r a k g)

-modules. In this paper, we develop a K-theoretic version of the derived geometric Satake which involves the quantum group

U_{q} m a t h f r a k g

. We define a convolution category

K C o n v (G r)

whose morphism spaces are given by the

G^{v} e e i m e s m a t h b b C^{i} m e s

-equivariant algebraic K-theory of certain fibre products. We conjecture that

K C o n v (G r)

is equivalent to a full subcategory of the category of

U_{q} m a t h f r a k g

-equivariant

m a t h c a l O_{q} (G)

-modules. We prove this conjecture when

G = S L_{n}

. A key tool in our proof is the

S L_{n}

spider, which is a combinatorial description of the category of

U_{q} m a t h f r a k {s l}_{n}

representations. By applying horizontal trace, we show that the annular

S L_{n}

spider describes the category of

U_{q} m a t h f r a k {s l}_{n}

-equivariant

m a t h c a l O_{q} (S L_{n})

-modules. Then we use quantum loop algebras to relate the annular

S L_{n}

spider to

K C o n v (G r)

. This gives a combinatorial/diagrammatic description of both categories and proves our conjecture.

Recommendations

Cites work

Cited in

(22)

This page was built for publication: Quantum K-theoretic geometric Satake: the \(\mathrm{SL}_{n}\) case