K-theory Soergel Bimodules

TL;DR

This paper introduces K-theory Soergel bimodules as a new algebraic structure, providing geometric descriptions and categorifications related to equivariant K-theory and flag varieties, extending classical concepts.

Contribution

It develops the theory of K-theory Soergel bimodules, linking them to equivariant K-theoretic correspondences and introducing a formalism of stratified equivariant K-motives.

Findings

Morphisms described via equivariant K-theoretic correspondences

Categorification achieved through equivariant coherent sheaves

Connections to flag varieties and conjectures on dualities

Abstract

We initiate the study of K-theory Soergel bimodules-a K-theory analog of classical Soergel bimodules. Classical Soergel bimodules can be seen as a completed and infinitesimal version of their new K-theoretic analog. We show that morphisms of K-theory Soergel bimodules can be described geometrically in terms of equivariant K-theoretic correspondences between Bott-Samelson varieties. We thereby obtain a natural categorification of K-theory Soergel bimodules in terms of equivariant coherent sheaves. We introduce a formalism of stratified equivariant K-motives on varieties with an affine stratification, which is a K-theoretric analog of the equivariant derived category of Bernstein-Lunts. We show that Bruhat-stratified torus-equivariant K-motives on flag varieties can be described in terms of chain complexes of K-theory Soergel bimodules. Moreover, we propose conjectures regarding an equivariant/monodromic Koszul duality for flag varieties and the quantum K-theoretic Satake.