REVIEW 3 major objections 5 minor 54 references
Categorical local Langlands and torsion classes of some Shimura varieties
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For L-parameters whose irreducible pieces are pairwise disjoint up to unramified twist, the paper proves a torsion-coefficient version of the categorical local Langlands conjecture for GL_n, computing the spectral action on the Whittaker…
desk verdict Serious and mostly coherent extension of the Q_ℓ categorical Langlands work to F_ℓ, but the shift-fixing step rests on an unproved torsion-freeness assertion and needs a referee who can check it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by four interlocking objects. (1) The spectral action: line bundles $C_\chi$ on the $L$-parameter component $[C_\varphi]$ act on $D_{\mathrm{lis}}(\mathrm{Bun}_G,\Lambda)$, and Hecke operators are computed by first decomposing a representation $V$ into $S_\varphi$-isotypic pieces as $V \simeq \bigoplus_\chi \chi\boxtimes\sigma_\chi$ and then applying $\bigoplus_\chi C_\chi\star(-)\boxtimes\sigma_\chi$. (2) The renormalized pushforward $i^{\mathrm{ren}}_{b!} = i_{b!}(\delta_b^{-1/2}\otimes -)[-d_b]$, which embeds blocks of inner forms into sheaves on $\mathrm{Bun}_G$. (3) Modular representation theory: the classification of smooth $\mathbb{F}_\ell$-representations of $\mathrm{GL}_n$ and its inner forms by supercuspidal multisegments, together with a compact pro-generator of each block, identifies each block with the category of $A_\varphi$-modules, where $A_\varphi \simeq \mathbb{F}_\ell[X_1^{\pm1},\dots,X_r^{\pm1},Y_1,\dots,Y_r]/(Y_i^{\ell^{u_i}})$. (4) The global step: a product formula expressing the localized cohomology of a type-A Shimura variety in terms of local Shimura varieties and Igusa varieties; affineness of Igusa varieties and torsion-freeness of the relevant localized $\mathbb{Z}_\ell$-cohomology force the mod-$\ell$ complex to be concentrated in one degree, which pins down the shift left indeterminate by the local computation.
What would settle it
Take a small explicit type-A Shimura variety at a non-banal prime $\ell$ (for instance a $\mathrm{GU}(1,n-1)$ case), localize its mod-$\ell$ cohomology at an $L$-parameter $\varphi$ satisfying (A1), and check whether classes appear outside the asserted degrees: outside degree $d$ when the variety is compact or $\varphi$ is irreducible, or outside the range $[0,d]$ in general. A single such class would falsify Theorem 8.1. Alternatively, test the identity $C_{\chi_i}\star F_\chi \simeq F_{\chi\otimes\chi_i}$ from Theorem 6.5 directly by computing the restriction of $C_{\chi_i}\star F_\chi$ to the stratum of $b_{\chi\otimes\chi_i}$ and checking that all other stratum restrictions vanish.
Extended reading notes
Core claim
The central claim is Theorem 7.6. Fix an $L$-parameter $\varphi$ satisfying (A1), so that $S_\varphi \simeq \mathbb{G}_m^r$ and the component $[C_\varphi]$ is isomorphic to $[(\mathbb{G}_m^r \times \mu_\Lambda)/\mathbb{G}_m^r]$, where $\mu_\Lambda$ records the $\ell$-Sylow factors of the residue-field tori attached to $\varphi$. Let $A_\varphi$ be the ring of global functions on $[C_\varphi]$. Then, with $\Lambda \in \{\mathbb{F}_\ell,\mathbb{Q}_\ell\}$, the paper establishes an orthogonal decomposition $$D_{\mathrm{lis}}^{[C_\varphi]}(\mathrm{Bun}_G,\Lambda)^\omega \simeq \bigoplus_{\chi\in \mathrm{Irr}(S_\varphi)} D\big($i^{{\mathrm{ren}}$}_{b_\chi!}\,\mathrm{Rep}_\Lambda(s_{\varphi,\chi})\big)^\omega,$$ where $b_\chi$ is the basic element indexed by $\chi$ and $s_{\varphi,\chi}$ is the inertial class of the corresponding supercuspidal pair. Equivalently, the spectral action gives an equivalence $$\mathrm{IndPerf}^{\mathrm{bqc}}_{\mathrm{Coh}}([C_\varphi]) \simeq D_{\mathrm{lis}}^{[C_\varphi]}(\mathrm{Bun}_G,\Lambda)^\omega,$$ and for every coherent complex $L$ on $[C_\varphi]$ and every character $\chi$, $$L(\chi)\star F_W(\mathrm{Id}) \simeq i_{b_\chi!}\big(\delta_{b_\chi}^{-1/2}\otimes \pi_{L(\chi)}\big)[-d_\chi].$$ In particular the sheaf $\mathcal{G}_\varphi = \bigoplus_\chi F_\chi$ is a nontrivial Hecke eigensheaf for the parameter $\varphi$. This is the strongly generic part of the categorical local Langlands conjecture for $\mathrm{GL}_n$ with torsion coefficients.
Load-bearing premise
The proof of the modular supercuspidal step assumes that for every relevant supercuspidal parameter one can choose a compact simple type-A Shimura variety satisfying the product formula and such that the localized $\mathbb{Z}_\ell$-cohomology is concentrated in one degree and torsion-free, allowing mod-$\ell$ cohomology to be lifted to characteristic $0$.
Editorial extensions
If this is right
- For every parameter satisfying (A1), the spectral action on the Whittaker sheaf is computed explicitly, so the strongly generic categorical local Langlands equivalence holds with $\mathbb{F}_\ell$ and $\mathbb{Q}_\ell$ coefficients.
- The sheaf $\mathcal{G}_\varphi = \bigoplus_\chi F_\chi$ is a non-zero Hecke eigensheaf for $\varphi$, giving torsion-coefficient eigensheaves for these parameters.
- The Harris-Viehmann conjecture is verified for local Shimura varieties of $\mathrm{GL}_n$ attached to (A1) parameters: $R\Gamma_c(G,b,\mu)[\delta_b^{1/2}\otimes\pi_b] \simeq \pi_1\boxtimes \mathrm{Hom}_{S_\varphi}(\chi_b^{-1}, r_{-\mu}\circ\varphi|_{\hat G})[-h]$, and the parabolic-induction version follows from the semisimple decomposition of $r_{-\mu}$.
- For type-A Shimura varieties, the $\varphi$-block of $R\Gamma_c(\mathrm{Sh}_{K^p},\mathbb{F}_\ell)$ is concentrated in degrees $[0,d]$, in degree $d$ when the variety is compact or $\varphi$ is irreducible, and in the non-generic case below $d+r-1$; compactness then forces the range $[d-r+1, d+r-1]$.
- The supercuspidal part of the mod-$\ell$ cohomology of basic Rapoport-Zink spaces for unitary groups is computed explicitly, giving an analogue of the Kottwitz conjecture with $\mathbb{F}_\ell$ coefficients.
Reading between the lines
- Because $S_\varphi$ is a torus, the block equivalences are all to module categories over a single ring $A_\varphi$ with nilpotent directions $Y_i$; one could test whether the nilpotent directions control the size and support of torsion classes by comparing blocks with different $\ell$-Sylow groups.
- The global-lifting step uses one carefully chosen Shimura variety to fix shifts; if concentration and torsion-freeness can be established for a family of levels, the same method might remove the (A1) disjointness condition or cover non-banal primes.
- The explicit Harris-Viehmann formula gives a concrete recursion for the mod-$\ell$ cohomology of basic Rapoport-Zink spaces; for small $n$ this could be turned into a numerical check of the vanishing ranges, which would be a direct test of the categorical equivalence at the level of generators.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends the author's earlier work [Ngu23a] from Q_ℓ to F_ℓ coefficients for the categorical local Langlands conjecture for G = Res_{F/Q_p} GL_{n,F}. For an L-parameter φ whose corresponding WF-representation is a direct sum of pairwise disjoint irreducibles with no unramified twist identifications (condition (A1) in Section 6.1), it describes the connected component [C_φ] of the stack of L-parameters as a quotient stack, constructs a block decomposition of D_lis(Bun_G, Λ)^ω, and proves an equivalence IndPerf^{bqc}_{Coh}([C_φ]) ≃ D_lis^{[C_φ]}(Bun_G,Λ)^ω together with an explicit spectral action formula. The paper also derives a Harris–Viehmann statement (Theorem 6.7) and torsion vanishing results for type-A Shimura varieties (Theorems 8.1, 8.6, and Corollary 8.10).
Significance. If the proof is completed, Theorem 7.6 would be a significant step: it verifies the strongly generic case of the Fargues–Scholze categorical local Langlands conjecture for GL_n with F_ℓ and Q_ℓ coefficients and would give new torsion vanishing results for Shimura varieties. The paper's precise formulation of condition (A1), the explicit description of the spectral component [C_φ] in Proposition 3.2, and the construction of the Hecke eigensheaf G_φ in Theorem 6.6 are valuable and clearly stated. However, the central modular shift is currently fixed by an incomplete argument in Proposition 5.4, and several key reductions are delegated to an unpublished preprint; these issues must be resolved before the main theorem can be regarded as established.
major comments (3)
- [§5.2.2, Proposition 5.4] This is a comment.
- [§7.1, Theorem 7.6 and Proposition 7.4] This is a comment.
- [§6.3, Theorem 6.5 and §7.1, Proposition 7.1] This is a comment.
minor comments (5)
- [§5.2.2] This is a minor typo.
- [§6.4.2] This is a minor typo.
- [§8.2, Proposition 8.4] This is a clarity issue.
- [§5.3 (Mantovan's formula)] This is a reference consistency issue.
- [§5.1, Step 4] This is a presentation issue.
Circularity Check
No circular derivation: the F_ℓ shift is fixed by a global Shimura-variety argument, though Proposition 5.4 contains an unproved torsion-freeness step.
full rationale
The paper's main theorem (Theorem 7.6) is obtained by first proving the supercuspidal categorical equivalence up to an unknown shift (Section 5.1), then determining that shift by a global method using Mantovan's formula and Shimura varieties (Section 5.2). This is a bootstrap rather than a circle: the 'up to shift' version of Theorem 5.2 is proved independently in §5.1, and Proposition 5.4 uses only that weaker statement to show concentration of the relevant F_ℓ cohomology; the shift itself is then pinned down by comparing with characteristic-zero Shimura cohomology computed via [Shi12] and automorphic lifting. Proposition 5.4 does contain an unsupported step, namely the inference from 'RΓ_c(Sh_K^p, F_ℓ)[φ] is concentrated in one degree' to 'RΓ_c(Sh_K^p, Z_ℓ)[φ] is concentrated in one degree and torsion free'; without a universal-coefficient argument the Z_ℓ complex need not be torsion-free merely because its mod-ℓ reduction is concentrated. This is a genuine correctness gap, but it is not circular: it is a missing degree of justification, not an equation that reduces to its own input. The paper also relies heavily on the author's earlier works, especially [Ngu23a] for the Q_ℓ-coefficient categorical Langlands theorem and [Ngu23b], [BMN21] for globalization and the Kottwitz conjecture. These are self-citations, but they are not circular in the sense prohibited here: [Ngu23a] is a different coefficient case whose stated assumptions do not include the F_ℓ theorem being proved, and it is used as an external black box rather than as a way of assuming the target. No fitted parameter is renamed as a prediction, no central premise is justified solely by a self-citation chain, and no component [C_φ] or spectral-action statement is defined in terms of the theorem it is used to prove. Consequently, the central derivation is self-contained in structure, and the appropriate finding is no significant circularity, with a low score reflecting only the non-circular but heavy reliance on prior work by the same author.
Assumptions & free parameters
assumptions (6)
- domain assumption Fargues-Scholze geometric Langlands framework: spectral action, lisse-etale sheaves on Bun_G, Hecke operators, excursion operators, and compatibility with Weil restriction.
- domain assumption Block decomposition of smooth Lambda-representations of GL_n and inner forms into inertial supercuspidal blocks.
- domain assumption Mantovan's product formula expressing Shimura cohomology in terms of Igusa varieties and Hecke operators.
- domain assumption Affineness and concentration bounds for Igusa varieties and their minimal compactifications.
- domain assumption Classification and l-integral lifting results for modular representations: Minguez-Secherre, Secherre-Stevens, Dat-Vigneras, and Hansen.
- domain assumption Kottwitz conjecture for basic Rapoport-Zink spaces of unitary type.
Cite this review
Pith. "Pith review of Categorical local Langlands and torsion classes of some Shimura varieties." pith.science (2026). https://pith.science/paper/VTJJGASJ
@misc{pith2026250510724,
author = {Pith},
title = {Pith review of: Categorical local Langlands and torsion classes of some Shimura varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/VTJJGASJ}},
note = {Machine review of arXiv:2505.10724}
}
abstract
We study the cohomology of various local Shimura varieties for $GL_n$. This provides an explicit description of the spectral action constructed by Fargues-Scholze in certain cases and allows us to prove some strongly generic part of the categorical local Langlands conjecture for $GL_n$ with torsion coefficients. As applications, we are able to prove an analogue of the Harris-Viehmann conjecture and deduce new vanishing results for the cohomology of Shimura varieties of type A in the torsion coefficient setting.
Reference graph
Works this paper leans on
-
[1]
Alexander Bertoloni Meli, An averaging formula for the cohomology of P el-type R apoport-- Z ink spaces
-
[2]
Alexander Bertoloni Meli, Linus Hamann, and Kieu Hieu Nguyen, Compatibility of the F argues-- S cholze correspondence for unitary groups , https://arxiv.org/abs/2207.13193
-
[3]
Alexander Bertoloni Meli and Kieu Hieu Nguyen, The K ottwitz conjecture for unitary PEL -type R apoport-- Z ink spaces , 2021
work page 2021
- [4]
-
[5]
Pascal Boyer, Monodromie du faisceau pervers des cycles \' e vanescents de quelques vari\' e t\' e s de S himura simples , Invent. Math. 177 (2009), no. 2, 239--280. 2511742
work page 2009
-
[6]
, Sur la torsion dans la cohomologie des vari\' e t\' e s de S himura de K ottwitz- H arris- T aylor , J. Inst. Math. Jussieu 18 (2019), no. 3, 499--517. 3936639
work page 2019
-
[7]
, La cohomologie des espaces de L ubin- T ate est libre , Duke Math. J. 172 (2023), no. 8, 1531--1622. 4601768
work page 2023
-
[8]
Miaofen Chen, Laurent Fargues, and Xu Shen, On the structure of some p -adic period domains , Camb. J. Math. 9 (2021), no. 1, 213--267. 4325262
work page 2021
Show all 54 references
-
[9]
Ana Caraiani and Peter Scholze, On the generic part of the cohomology of compact unitary S himura varieties , Ann. of Math. (2) 186 (2017), no. 3, 649--766. 3702677
2017
-
[10]
, On the generic part of the cohomology of non-compact unitary S himura varieties , Ann. of Math. (2) 199 (2024), no. 2, 483--590. 4713019
2024
-
[11]
Ana Caraiani and Matteo Tamiozzo, On the \' e tale cohomology of H ilbert modular varieties with torsion coefficients , Compos. Math. 159 (2023), no. 11, 2279--2325. 4651498
2023
-
[12]
Dat, Th\' e orie de L ubin- T ate non A b\' e lienne -enti\`ere , Duke Math
J.-F. Dat, Th\' e orie de L ubin- T ate non A b\' e lienne -enti\`ere , Duke Math. J. 161 (2012), no. 6, 951--1010. 2913099
2012
-
[13]
Jean-Fran c ois Dat, David Helm, Robert Kurinczuk, and Gilbert Moss, Moduli of L anglands parameters , Preprint (2020), arXiv:2009.06708
2020 arXiv
-
[14]
, Local langlands in famillies : The banal case, Preprint (2024), arxiv:2406.09283
2024 arXiv
-
[15]
Patrick Daniels, Pol Van Hoften, Dongryul Kim, and Mingjia Zhang, Igusa stacks and the cohomology of S himura varieties , Preprint (2024), arXiv:2408.01348
2024 arXiv
-
[16]
291, 2004, Vari\' e t\' e s de Shimura, espaces de Rapoport-Zink et correspondances de Langlands locales, pp
Laurent Fargues, Cohomologie des espaces de modules de groupes p -divisibles et correspondances de L anglands locales , no. 291, 2004, Vari\' e t\' e s de Shimura, espaces de Rapoport-Zink et correspondances de Langlands locales, pp. 1--199. 2074714
2004
-
[17]
Fargues and P
L. Fargues and P. Scholze, Geometrization of the local L anglands correspondence , arXiv:2102.13459
-
[18]
Ildar Gaisin and Naoki Imai, Non-semi-stable loci in H ecke stacks and F argues' conjecture , Preprint (2019), https://www.ms.u-tokyo.ac.jp/ naoki/file/conv.pdf
2019
-
[19]
Hamann, Compatibility of the G an-- T akeda and F argues-- S cholze local L anglands , Preprint (2021), arXiv:2109.01210
L. Hamann, Compatibility of the G an-- T akeda and F argues-- S cholze local L anglands , Preprint (2021), arXiv:2109.01210
2021 arXiv
-
[20]
Hamann, Geometric E isenstein series, intertwining operators, and S hin's averaging formula , with an Appendix by Alexander Bertoloni Meli
L. Hamann, Geometric E isenstein series, intertwining operators, and S hin's averaging formula , with an Appendix by Alexander Bertoloni Meli
-
[21]
Hansen, Degenerating vector bundles in p -adic H odge theory , to appear in J
David. Hansen, Degenerating vector bundles in p -adic H odge theory , to appear in J. Inst. Math. Jussieu (2017)
2017
-
[22]
Hansen, On the supercuspidal cohomology of basic local S himura varieties , Available at home page of first named author
D. Hansen, On the supercuspidal cohomology of basic local S himura varieties , Available at home page of first named author
-
[23]
Linus Hamann and Naoki Imai, Dualizing complexes on the moduli of parabolic bundles, Preprint (2023), https://arxiv.org/abs/2401.06342
2023 arXiv
-
[24]
David Hansen, Tasho Kaletha, and Jared Weinstein, On the K ottwitz conjecture for local S himura varieties , Preprint (2021), arXiv:1709.06651
2021 arXiv
-
[25]
Linus Hamann and Si-Ying Lee, Torsion vanishing for some S himura varieties
-
[26]
David Helm and Gilbert Moss, Converse theorems and the local L anglands correspondence in families , Invent. Math. 214 (2018), no. 2, 999--1022. 3867634
2018
-
[27]
Naoki Imai, Convolution morphisms and K ottwitz conjecture , Preprint (2019), https://www.ms.u-tokyo.ac.jp/ naoki/file/conv.pdf
2019
-
[28]
Tasho Kaletha, Alberto Minguez, Sug Woo Shin, and Paul-James White, Endoscopic classification of representations: Inner forms of unitary groups, 2014
2014
-
[29]
Teruhisa Koshikawa, On the generic part of the cohomology of local and global S himura varieties , Preprint (2021), arXiv:2106.10602
2021 arXiv
-
[30]
Kottwitz, On the -adic representations associated to some simple S himura varieties , Invent
Robert E. Kottwitz, On the -adic representations associated to some simple S himura varieties , Invent. Math. 108 (1992), no. 3, 653--665. 1163241
1992
-
[31]
II , Compositio Math
, Isocrystals with additional structure. II , Compositio Math. 109 (1997), no. 3, 255--339. 1485921
1997
-
[32]
Teruhisa Koshikawa and Sug Woo Shin, On the non-generic part of the l2-cohomology of locally symmetric spaces, Preprint (2024)
2024
-
[33]
Kai-Wen Lan and Beno\^ t Stroh, Nearby cycles of automorphic \' e tale sheaves , Compos. Math. 154 (2018), no. 1, 80--119. 3719245
2018
-
[34]
Elena Mantovan, On the cohomology of certain PEL -type S himura varieties , Duke Math. J. 129 (2005), no. 3, 573--610. 2169874
2005
-
[35]
Alberto Minguez and Vincent S\' e cherre, Repr\'esentations lisses modulo de GL (m,d) , Duke Math. J. 163 (2014), 795--887
2014
-
[36]
London Math
, Types modulo pour les formes intérieures de GL (n) sur un corps local non archimédien , Proc. London Math. Soc 109 (2014), 823--891
2014
-
[37]
Kieu Hieu Nguyen, On categorical local langlands program for GL _n , preprint (2023)
2023
-
[38]
2239--2304
, Un cas PEL de la conjecture de K ottwitz , 2023, pp. 2239--2304. 4661455
2023
-
[39]
Hao Peng, Fargues-scholze parameters and torsion vanishing for special orthogonal and unitary groups, Preprint (2025)
2025
-
[40]
Mafalda Milheiro Marques da Silva Santos, On the generic part of the cohomology of non-compact pel type a shimura varieties, Imperial College London, PhD thesis
-
[41]
Sug Woo Shin, Counting points on I gusa varieties , Duke Math. J. 146 (2009), no. 3, 509--568. 2484281
2009
-
[42]
, On the cohomology of R apoport- Z ink spaces of EL -type , Amer. J. Math. 134 (2012), no. 2, 407--452. 2905002
2012
-
[43]
Reine Angew
, Supercuspidal part of the mod \,l cohomology of GU (1,n-1) - S himura varieties , J. Reine Angew. Math. 705 (2015), 1--21. 3377388
2015
-
[44]
Vincent S\' e cherre and Shaun Stevens, Block decomposition of the category of -modular smooth representations of GL _n( F) and its inner forms , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 49 (2016), no. 3, 669--709. 3503829
2016
-
[45]
Scholze and J
P. Scholze and J. Weinstein, Berkeley lectures on p -adic geometry, Annals of Mathematics Studies, vol. 389, Princeton University Press, 2020
2020
-
[46]
Reine Angew
Marko Tadi\' c , Induced representations of GL (n,A) for p -adic division algebras A , J. Reine Angew. Math. 405 (1990), 48--77. 1040995
1990
-
[47]
Eva Viehmann, On N ewton strata in the B_ dR ^+ - G rassmannian , Duke Math. J. 173 (2024), no. 1, 177--225. 4728690
2024
-
[48]
137, Birkh¨auser Boston Inc., Boston, MA (1996)
Marie-France Vign\' e ras, Repr\' e sentations -modulaires d’un groupe r\' e ductif p -adique avec p , Progress in Mathematics, vol. 137, Birkh¨auser Boston Inc., Boston, MA (1996)
1996
-
[49]
(N.S.) 4 (1998), no
, Induced R -representations of p -adic reductive groups , Selecta Math. (N.S.) 4 (1998), no. 4, 549--623. 1668044
1998
-
[50]
Yang and X
X. Yang and X. Zhu, On the generic part of the cohomology of shimura varieties of abelian type, Preprint (2025), arXiv:2505.04329
2025
-
[51]
Mingjia Zhang, University of Bonn PhD Thesis , 2023
2023
-
[52]
Zhu, Coherent sheaves on the stack of L anglands parameters , Preprint (2020), arXiv:2008.02998
X. Zhu, Coherent sheaves on the stack of L anglands parameters , Preprint (2020), arXiv:2008.02998
2020
-
[53]
Konrad Zou, The categorical form of F argues’ conjecture for tori , Preprint (2022), arXiv:2202.13238
2022 arXiv
-
[54]
, Categorical local langlands for G L _n for parameters of langlands-shahidi type with integral coefficients , Preprint (2025), https://arxiv.org/pdf/2504.06499
2025 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.