On the Schematic and Analytic Constructions of the Local Langlands Category

We prove a folklore conjecture identifying two categorical enhancements of the automorphic side of the local Langlands correspondence. Concretely, we construct an equivalence for torsion coefficients between the category considered by Zhu and the one considered by Fargues-Scholze. To achieve this, we revisit Scholze's analytification functor and apply the first author's theory of kimberlites. We discuss unconditional applications to the splitting of the semi-orthogonal decomposition on BunG, and the compatibility with Eisenstein functors. Finally, we formulate a linearity conjecture for our functor with which we can show new vanishing statements for the cohomology of local Shimura varieties, and perverse exactness statements for Hecke operators.