K-motives, Springer Theory and the Local Langlands Correspondence

We construct a geometric realization of categories of representations of affine Hecke algebras and split reductive $p$-adic groups via a $K$-motivic Springer theory. We suggest a connection to the coherent Springer theory of Ben-Zvi, Chen, Helm, and Nadler through a categorical Chern character and outline results and conjectures on $K$-motives within the Langlands program. To achieve our results, we introduce a six functor formalism for reduced $K$-motives applicable to linearly reductive stacks and establish formality for categories of Springer $K$-motives. We work within a broader framework of Hecke algebras derived from Springer data. This makes the results applicable, for example, to the ($K$-theoretic) quiver Hecke and Schur algebra. Moreover, we relate our constructions to prior geometric realizations for graded Hecke algebras.