Coherent Springer theory and the categorical Deligne-Langlands correspondence

Abstract

Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of irreducible representations of reductive groups over nonarchimedean local fields $F$ with an Iwahori-fixed vector. We apply techniques from derived algebraic geometry to pass from $K$-theory to Hochschild homology and thereby identify $\mathcal{H}$ with the endomorphisms of a coherent sheaf on the stack of unipotent Langlands parameters, the coherent Springer sheaf. As a result the derived category of $\mathcal{H}$-modules is realized as a full subcategory of coherent sheaves on this stack, confirming expectations from strong forms of the local Langlands correspondence (including recent conjectures of Fargues-Scholze, Hellmann and Zhu). In the case of the general linear group our result allows us to lift the local Langlands classification of irreducible representations to a categorical statement: we construct a full embedding of the derived category of smooth representations of ${\mathrm{GL}}_n(F)$ into coherent sheaves on the stack of Langlands parameters.

arXiv comment65 pages. Published version

References in corpus (28)

• A universal characterization of higher algebraic K-theory
• Loop Spaces and Connections
• The Character Theory of a Complex Group
• Noncommutative Counterparts of the Springer Resolution
• Thom-Sebastiani & Duality for Matrix Factorizations
• Geometrization of the local Langlands correspondence
• Linear Koszul Duality
• G-valued local deformation rings and global lifts
• Geometrization of the local Langlands correspondence: an overview
• Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs
• Coherent sheaves on the stack of Langlands parameters
• Symmetries of categorical representations and the quantum Ngô action
• Curtis homomorphisms and the integral Bernstein center for GL_n
• Chtoucas restreints pour les groupes réductifs et paramétrisation de Langlands locale
• Loop Spaces and Representations
• Caractères de Chern, traces équivariantes et géométrie algébrique dérivée
• From geometric to function-theoretic Langlands (or how to invent shtukas)
• A spectral incarnation of affine character sheaves
• Geometric Langlands correspondence for SL(2), PGL(2) over the pair of pants
• G-Valued Galois Deformation Rings when $\ell \ne p$
• Morita equivalence for convolution categories: Appendix to arXiv:0805.0157
• Iterated traces in 2-categories and Lefschetz theorems
• Equivariant localization and completion in cyclic homology and derived loop spaces
• Shtukas for reductive groups and Langlands correspondence for function fields
• Décomposition au-dessus des paramètres de Langlands elliptiques
• Hidden sign in Langlands' correspondence
• Tate classes, equivariant geometry and purity
• Motivic splitting principle

Cited by in corpus (3)

• Coherent sheaves on the stack of Langlands parameters
• Families of Canonical Local Periods on Spherical Varieties
• Moduli stacks of (phi,Gamma)-modules: a survey