The Categorical Fargues-Scholze Correspondence at Generic Parameters
Abstract
Let G be a quasi-split reductive group over a finite extension F of ℚp. We study the Fargues-Scholze categorical Langlands correspondence at generic parameters ϕ, namely those whose semisimplification does not coincide with that of any parameter with nontrivial monodromy. Extending the theory of quasi-exceptional sets on the nilpotent cone developed by Bezrukavnikov to the setting of disconnected reductive groups which arise as stabilizers of semisimple generic parameters, to any irreducible representation ρ of such a group we construct sheaves labeled ∇̅ρ, Δ̅ρ, ICρ, and δρ on the moduli stack of L-parameters for G. Using forthcoming work of Hamann, Hansen, and Mann on geometric Eisenstein series compatibility, the (conjectural, in general) behavior of the correspondence at generous parameters, and the (conjectural, in general) agreement between Fargues-Scholze and classical semisimple L-parameters we prove that these sheaves correspond under the Fargues-Scholze functor to the sheaves ib!π, ib♯π, ib♯!π, and ib!*π on BunG, where π is a smooth irreducible representation with Fargues-Scholze parameter ϕ. As applications we prove t-exactness properties of the Fargues-Scholze functor specialized at a generic parameter, and that Hecke operators are perverse t-exact on the generic locus. We also construct and study foundational properties of Hecke eigensheaves at generic parameters, compute non-semisimplified Fargues-Scholze parameters on the generic locus, and construct a Fargues-Scholze-theoretic version of the BM-O bijection at generic parameters.
Related
- A conjectural construction of Arthur packets in Fargues-Scholze's categorical local Langlands correspondence
- Local Langlands functoriality for Yu's supercuspidals II: Fargues--Scholze's parametrization
- The 3-adic Steinberg block and a categorical 3-adic local Langlands correspondence for GL2(ℚ3)
- Lumping of reaction networks: Generic and critical parameters
- On the Langlands--Kottwitz--Scholze method
BibTeX
@misc{castro2026categorical,
title = {{The Categorical Fargues-Scholze Correspondence at Generic Parameters}},
author = {Nikolas Castro},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.38954},
eprint = {2610.38954},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.38954},
}
RIS
TY - UNPB
TI - The Categorical Fargues-Scholze Correspondence at Generic Parameters
AU - Nikolas Castro
PY - 2026
DA - 2026/10/28
PB - arXiv
DO - 10.48550/arxiv.2610.38954
UR - https://arxiv.org/abs/2610.38954
AB - Let G be a quasi-split reductive group over a finite extension F of ℚ_p. We study the Fargues-Scholze categorical Langlands correspondence at generic parameters ϕ, namely those whose semisimplification does not coincide with that of any parameter with nontrivial monodromy. Extending the theory of quasi-exceptional sets on the nilpotent cone developed by Bezrukavnikov to the setting of disconnected reductive groups which arise as stabilizers of semisimple generic parameters, to any irreducible representation ρ of such a group we construct sheaves labeled ∇̅_ρ, Δ̅_ρ, IC_ρ, and δ_ρ on the moduli stack of L-parameters for G. Using forthcoming work of Hamann, Hansen, and Mann on geometric Eisenstein series compatibility, the (conjectural, in general) behavior of the correspondence at generous parameters, and the (conjectural, in general) agreement between Fargues-Scholze and classical semisimple L-parameters we prove that these sheaves correspond under the Fargues-Scholze functor to the sheaves i_b!π, i_b♯π, i_b♯!π, and i_b!*π on Bun_G, where π is a smooth irreducible representation with Fargues-Scholze parameter ϕ. As applications we prove t-exactness properties of the Fargues-Scholze functor specialized at a generic parameter, and that Hecke operators are perverse t-exact on the generic locus. We also construct and study foundational properties of Hecke eigensheaves at generic parameters, compute non-semisimplified Fargues-Scholze parameters on the generic locus, and construct a Fargues-Scholze-theoretic version of the BM-O bijection at generic parameters.
ER -