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.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on two aspects: 1. **Provide a spectral description of the representation category of affine Hecke algebras**: - One of the main goals of the paper is to transition from K - theory to Hochschild homology through the techniques of derived algebraic geometry, thereby identifying the affine Hecke algebra $ H $ as an endomorphism of a coherent sheaf on the one - parameter Langlands parameter stack. This enables the derived category of $ H $-modules to be realized as a full subcategory of the coherent sheaves on this stack. - Specifically, the authors use the methods of derived algebraic geometry to identify the affine Hecke algebra $ H $ with the endomorphism of the coherent sheaf $ \mathcal{S} $ on the one - parameter Langlands parameter stack. This identification not only provides a new geometric description of the derived category of $ H $-modules, but also confirms the expectations of the strong form of the local Langlands correspondence (including recent conjectures by Fargues - Scholze, Hellmann, and Zhu, etc.). 2. **Apply to the local Langlands correspondence**: - Through the above techniques, the paper further explores the potential applications of these results to the local Langlands correspondence. In particular, for the general linear group $ \text{GL}_n $, the paper constructs a functor that fully embeds the derived category of smooth representations of $ \text{GL}_n(F) $ into the coherent sheaves on the Langlands parameter stack. - This embedding functor has the following properties: - For an irreducible cuspidal representation $ \pi $, its image under the embedding is the skyscraper sheaf supported at the Langlands parameter associated with $ \pi $. - For Levi subgroups $ M $ and $ M_1 $ and the corresponding parabolic subgroups $ P $, the embedding functor is compatible with the parabolic induction functor. ### Main contributions - **New geometric realization**: The paper provides a new geometric method to understand the representations of affine Hecke algebras. By identifying it with the endomorphism of a coherent sheaf, it avoids the need to specify the central character. - **Lifting of the local Langlands correspondence**: For the general linear group $ \text{GL}_n $, the paper lifts the local Langlands classification to a categorical statement, that is, it constructs a functor that fully embeds the derived category of smooth representations of $ \text{GL}_n(F) $ into the coherent sheaves on the Langlands parameter stack. - **Connection with existing work**: The results of the paper are consistent with the more general categorical form of the local Langlands correspondence proposed by Fargues - Scholze and Zhu, etc., and independently verify Hellmann's conjecture. ### Methods - **Derived algebraic geometry**: The paper uses the techniques of derived algebraic geometry, especially when dealing with Hochschild homology and coherent sheaves, providing new tools and perspectives. - **Hochschild homology**: By converting K - theory to Hochschild homology, the paper is able to identify the affine Hecke algebra $ H $ with the endomorphism of a coherent sheaf, thereby achieving a geometric description of the derived category of $ H $-modules. - **Spectral geometry**: The paper also uses the methods of spectral geometry, especially when dealing with derived ring spaces and one - parameter Langlands parameter stacks, providing new geometric structures and tools. Through these methods, the paper not only provides a new geometric understanding of the representation theory of affine Hecke algebras, but also lays the foundation for the categorical form of the local Langlands correspondence.

Coherent Springer theory and the categorical Deligne-Langlands correspondence

A Langlands dual realization of coherent sheaves on the nilpotent cone

Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

$\infty$-Categorical Generalized Langlands Program I: Mixed-Parity Modules and Sheaves

K-motives, Springer Theory and the Local Langlands Correspondence

$\infty$-Categorical Generalized Langlands Correspondence II: Langlands Program Formalism

Real groups, symmetric varieties and Langlands duality

On categorical local langlands program for $GL_n$

Beijing notes on the categorical local Langlands conjecture

On close fields and the local Langlands correspondence

A stacky generalized Springer correspondence and rigid enhancements of L-parameters

A general framework for the analytic Langlands correspondence

The differential graded Verlinde Formula and the Deligne Conjecture

On two modular geometric realizations of an affine Hecke algebra

The stack of spherical Langlands parameters

Formality in the Deligne-Langlands Correspondence

Perverse coherent extensions on Calabi-Yau threefolds and representations of cohomological Hall algebras

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

A geometric realization of the asymptotic affine Hecke algebra

Coherent sheaves, sheared D-modules, and Hochschild cochains

Shtukas for reductive groups and Langlands correspondence for function fields