REVIEW 7 minor 54 references
On parameters of Hecke algebras for $p$-adic groups
T0 review · 0 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Every depth-zero type's affine Hecke algebra is isomorphic to a unipotent type's.
desk verdict A careful reduction of q-parameters to unipotent ones; worth refereeing, with the main caveat being its reliance on two external Jordan-decomposition compatibility results. 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 load-bearing object is the q-parameter: for a finite-dimensional representation of length two, the ratio $\dim(\pi_1)/\dim(\pi_2)$ of its constituents. Affine Hecke algebra parameters $q_s$ are exactly such ratios, via the standard identification of q-parameters with dimension ratios of parabolically induced finite reductive representations. The argument shows these ratios are invariant under two moves compatible with the construction of types: passing through a group homomorphism with abelian cokernel (Proposition 2.1), and passing from a cuspidal representation to the unipotent representation attached to it by the Jordan decomposition over a finite field (Proposition 3.2.3). To transfer the equality to p-adic groups, the paper constructs a connected reductive group $G_\theta$ from the $\theta$-orthogonal affine root system of the original datum, normalizing the affine roots by positive scalars so that they form a genuine affine root system, and proves the parahoric quotients of $G$ and $G_\theta$ are adjointly isomorphic up to duals; this makes the unipotent comparison valid even when $G$ is ramified.
What would settle it
Compute directly the dimension ratio of the two constituents of the induced representation for a non-unipotent cuspidal representation of a maximal Levi subgroup of $\mathrm{GL}_3$ over the field of two elements; if it differs from the unipotent-side ratio, the finite-field equality on which Theorem 4.4.1 relies fails.
Extended reading notes
Core claim
The central claim is Theorem 4.4.1: for a depth-zero type $(K, \rho)$ of a connected reductive p-adic group $G$, the sets of $K$-relevant affine hyperplanes and the affine Weyl groups they generate coincide with the corresponding objects for a unipotent type $(K_\theta, u)$ of an associated group $G_\theta$ that splits over an unramified extension. The parameters agree on simple reflections, so the affine Hecke algebras $H_C(W(\rho_M)_{\mathrm{aff}}, q)$ and $H_C(W(u_{\rho_M})_{\mathrm{aff}}, q_\theta)$ are isomorphic. Since earlier work had already identified the full Hecke algebra attached to any tame type with a depth-zero Hecke algebra, the same isomorphism holds for the affine part of Hecke algebras attached to tame types. Under the assumptions that $G$ splits over a tamely ramified extension and the residue characteristic does not divide the order of the absolute Weyl group, this proves the conjecture that the parameters of the Hecke algebra attached to an arbitrary Bernstein block coincide with those of a unipotent Bernstein block.
Load-bearing premise
The calculation assumes that the dimension ratio of an induced representation survives unchanged when the representation is replaced by its unipotent counterpart through the Jordan decomposition in the relevant finite reductive groups.
Editorial extensions
If this is right
- The q-parameters of any depth-zero affine Hecke algebra can now be read off from the explicit unipotent parameter lists rather than computed hyperplane by hyperplane.
- The same equality holds for the affine Hecke algebra factors attached to tame types, so the only unknown part of those Hecke algebras is the twisted group algebra factor.
- For groups splitting over a tamely ramified extension with residue characteristic not dividing the absolute Weyl group order, every Bernstein block has a Hecke algebra whose parameters equal those of a unipotent block.
- The isomorphism preserves the standard anti-involutions, so the involutive structure of the affine Hecke algebra is also captured by the unipotent model.
- The earlier principal-series identification of such Hecke algebras with Iwahori–Hecke algebras appears as the special case where the depth-zero datum is induced from a torus.
Reading between the lines
- The paper proves the isomorphism only for the affine Hecke algebra factor; if the twisted group algebra factors were also shown to be isomorphic, the entire depth-zero Hecke algebra would be Morita equivalent to a unipotent one.
- The construction of $G_\theta$ by normalizing affine roots suggests that, for ramified groups, $G_\theta$ is the correct dual-side object for a Bernstein block; identifying it in explicit examples would test whether the comparison extends to the full block.
- Because the q-parameter comparison is essentially a finite-field computation, the same route could yield other invariants of depth-zero Bernstein blocks—for instance formal degrees—once the full Hecke algebra isomorphism is in hand.
- The scaling factors used in the normalization enter only through the construction of $G_\theta$; computing them in one ramified example would show whether the unipotent comparison is genuinely needed there.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves that for a depth-zero type (K, ρ) of a connected reductive p-adic group G, the affine Hecke algebra H(W(ρ_M)_{aff}, q) appearing in the structure theorem of [AFMO24a, Thm 5.3.6] is isomorphic to the affine Hecke algebra attached to a unipotent type for a group G_θ that splits over an unramified extension (Theorem 4.4.1). The key finite-field ingredient is Proposition 3.2.3, which equates the q-parameter of the parabolic induction of a cuspidal representation with that of a unipotent cuspidal representation via Jordan decomposition. Combining this with [AFMO24b] yields Theorem 4.5.1 and, under the usual tameness assumptions, a version of Lusztig's conjecture on parameters of Hecke algebras (Theorem 4.6.2). The proof is detailed, with explicit reduction steps in Sections 2 and 3.3.
Significance. If correct, the main result gives an explicit reduction of the parameters of arbitrary Bernstein Hecke algebras to the unipotent case, where they are already described by Lusztig. This is a substantial step beyond previous results of Roche and others. The proof is coherent; the main fragility is the reliance on [GM20, Cor 4.7.6 and 2.6.6] for the finite-field q-parameter equality. However, the paper's reduction in Section 3.3 explicitly reduces to the connected-center, absolutely-simple case, which is the hypothesis these results require, so this is an external dependency rather than an internal inconsistency. The paper also honestly acknowledges the non-canonical choices in the disconnected-center case (Remark 3.2.2).
minor comments (7)
- [Title page] The title page reads "forp-adic groups"; it should read "for p-adic groups".
- [Section 2, proof of Proposition 2.1] The text "irreducible constitutes" should be "irreducible constituents".
- [Section 3.4] Please provide the precise statements (with theorem numbers or page references) of [GM20, Corollary 4.7.6] and [GM20, Corollary 2.6.6] as used in the proof of Proposition 3.2.3, including the hypotheses on the group; the reduction in Section 3.3 is designed to meet them, but the reader cannot verify this without the exact statements.
- [Section 4.3, Theorem 4.3.7] The notation is inconsistent: the representation is introduced as u_x, but the theorem states q_{θ,s} = q(ind_{K_{θ,h}}^{K_{θ,x}}(ρ_{θ,x})); please unify the notation.
- [Section 3.2, paragraph before Proposition 3.2.3] The grammar "the equivalence relations ∼ is defined" should be "the equivalence relation ∼ is defined".
- [Section 3.3, Remark 3.3.1] The phrase "a prioridepends" should be "a priori depends".
- [Section 4.4, proof of Theorem 4.4.1] The notation "H K-rel" appears without subscripts; it should be H_{K-rel} for consistency with the surrounding text.
Circularity Check
No significant circularity: the q-parameter equality is proved from external finite-group Jordan decomposition theorems, not from the target isomorphism or from fitted parameters.
full rationale
The central claim (Theorem 4.4.1) reduces to the finite-field q-parameter equality Proposition 3.2.3, q(R^G_M(ρ_M)) = q(R^{G*_s}_{M*_s}(u*_M)). The q-parameter is defined independently as the dimension ratio of the two irreducible constituents of a length-two parabolically induced representation; it is not defined in terms of the unipotent side, and it is not fitted to the conclusion. The equality is obtained from [GM20, Cor. 4.7.6] (Jordan decompositions commute with parabolic induction) and [GM20, Cor. 2.6.6] (preservation of dimension ratios), both external to the present paper. The reductions in Section 3.3 use Proposition 2.1 and regular embeddings, again without presupposing the desired equality. The construction of G_θ and u_{M,x0} in Section 4.3 chooses the unipotent representation via the Jordan decomposition and adjoint isomorphisms, but the equality of the q-parameters of the induced representations, and hence the Hecke algebra parameters q_s = q_{θ,s}, is a theorem (Corollary 3.5.6) rather than a definitional identification. The self-citations [AFMO24a, AFMO24b] provide the structural description of the depth-zero Hecke algebra and the reduction from Kim-Yu types to depth zero; neither of those statements is the target equality, so their use is load-bearing but not circular. Remark 3.3.1 openly records the dependency on [GM20] and the need for connected center; this is a caution about external assumptions, not a circular step. No step in the derivation is equivalent to its input by construction, and no prediction is a renamed fitted parameter.
Assumptions & free parameters
assumptions (7)
- standard math Bernstein decomposition and the theory of types (existence of s-types) [Ber84, BK98]
- domain assumption Kim-Yu construction yields types for every Bernstein block when G splits over a tamely ramified extension and p does not divide |W| [KY17, Fin21b]
- domain assumption Explicit description of depth-zero Hecke algebras as semidirect products [AFMO24a, Theorem 5.3.6]
- domain assumption Lusztig's Jordan decomposition exists and commutes with parabolic induction under connected-center/simple conditions, preserving dimension ratios [Lus88, GM20 Cor 4.7.6, Cor 2.6.6]
- standard math Bruhat-Tits theory: parahoric subgroups, reductive quotients, affine root systems [BT72, KP23]
- standard math Vanishing of H^1 and H^2 of Gal(F^unr/F) on T_ad(F^unr)_0 [DR09, Kal19a]
- standard math Finiteness and semisimplicity of length at most two induced representations over finite fields
Cite this review
Pith. "Pith review of On parameters of Hecke algebras for $p$-adic groups." pith.science (2026). https://pith.science/paper/DPT2CM5J
@misc{pith2026250516040,
author = {Pith},
title = {Pith review of: On parameters of Hecke algebras for $p$-adic groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/DPT2CM5J}},
note = {Machine review of arXiv:2505.16040}
}
abstract
Let $F$ be a non-archimedean local field with residue characteristic $p$ and $G$ be a connected reductive group defined over $F$. In earlier joint works with Jeffrey D. Adler, Jessica Fintzen, and Manish Mishra, we proved that the Hecke algebras attached to types constructed by Kim and Yu are isomorphic to the Hecke algebras attached to depth-zero types. Note that if $G$ splits over a tamely ramified extension of $F$ and $p$ does not divide the order of the absolute Weyl group of $G$, such Hecke algebras cover the Hecke algebras attached to arbitrary Bernstein blocks. We also proved that for a depth-zero type $(K, \rho)$, the corresponding Hecke algebra $\mathcal{H}(G(F), (K, \rho))$ has an explicit description as a semi-direct product of an affine Hecke algebra $\mathcal{H}(W(\rho_M)_{\mathrm{aff}}, q)$ with a twisted group algebra $\mathbb{C}[\Omega(\rho_{M}), \mu]$, generalizing prior work of Morris. In this paper, we show that the affine Hecke algebra $\mathcal{H}(W(\rho_M)_{\mathrm{aff}}, q)$ appearing in the description of the Hecke algebra $\mathcal{H}(G(F), (K, \rho))$ attached to a depth-zero type $(K, \rho)$ is isomorphic to the one attached to a unipotent type for a connected reductive group splitting over an unramified extension of $F$. This makes it possible to calculate the parameters of the affine Hecke algebras for depth-zero types and types constructed by Kim and Yu explicitly. In particular, we prove a version of Lusztig's conjecture that the parameters of the Hecke algebra attached to an arbitrary Bernstein block agree with those of a unipotent Bernstein block under the assumption that $G$ splits over a tamely ramified extension of $F$ and $p$ does not divide the order of the absolute Weyl group of $G$.
Reference graph
Works this paper leans on
-
[1]
Jeffrey D. Adler , Jessica Fintzen , Manish Mishra , and Kazuma Ohara , Structure of Hecke algebras arising from types , arXiv e-prints (2024), arXiv:2408.07801
arXiv 2024
-
[2]
, Reduction to depth zero for tame p-adic groups via Hecke algebra isomorphisms , arXiv e-prints (2024), arXiv:2408.07805
arXiv 2024
-
[3]
Anne-Marie Aubert, Ahmed Moussaoui, and Maarten Solleveld, Generalizations of the S pringer correspondence and cuspidal L anglands parameters , Manuscripta Math. 157 (2018), no. 1-2, 121--192. 3845761
work page 2018
-
[4]
, Graded H ecke algebras for disconnected reductive groups , Geometric aspects of the trace formula, Simons Symp., Springer, Cham, 2018, pp. 23--84. 3969871
work page 2018
-
[5]
, Affine Hecke algebras for Langlands parameters , arXiv e-prints (2017), arXiv:1701.03593
arXiv 2017
-
[6]
J. N. Bernstein, Le ``centre'' de B ernstein , Representations of reductive groups over a local field, Travaux en Cours, Hermann, Paris, 1984, Edited by P. Deligne, pp. 1--32. 771671
work page 1984
-
[7]
Colin J. Bushnell and Philip C. Kutzko, The admissible dual of GL (N) via compact open subgroups , Annals of Mathematics Studies, vol. 129, Princeton University Press, Princeton, NJ, 1993. 1204652
work page 1993
-
[8]
, Smooth representations of reductive p -adic groups: structure theory via types , Proc. London Math. Soc. (3) 77 (1998), no. 3, 582--634. 1643417
work page 1998
Show all 54 references
-
[9]
Bourbaki, \' E l\' e ments de math\' e matique
N. Bourbaki, \' E l\' e ments de math\' e matique. F asc. XXXIV . G roupes et alg\`ebres de L ie. C hapitre IV : G roupes de C oxeter et syst\`emes de T its. C hapitre V : G roupes engendr\' e s par des r\' e flexions. C hapitre VI : syst\`emes de racines , Actualit\' e s Scie...
1968
-
[10]
Bruhat and J
F. Bruhat and J. Tits, Groupes r\' e ductifs sur un corps local , Inst. Hautes \' E tudes Sci. Publ. Math. (1972), no. 41, 5--251. 327923
1972
-
[11]
David Ben-Zvi, Harrison Chen, David Helm, and David Nadler, Coherent Springer theory and the categorical Deligne - Langlands correspondence , Invent. Math. 235 (2024), no. 2, 255--344 (English)
2024
-
[12]
Stephen DeBacker, Parameterizing conjugacy classes of maximal unramified tori via B ruhat- T its theory , Michigan Math. J. 54 (2006), no. 1, 157--178. 2214792
2006
-
[13]
Deligne and G
P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103 (1976), no. 1, 103--161. 393266
1976
-
[14]
181-182, 6, 113--156
Fran cois Digne and Jean Michel, On L usztig's parametrization of characters of finite groups of L ie type , Ast\'erisque (1990), no. 181-182, 6, 113--156. 1051245
1990
-
[15]
Stephen DeBacker and Mark Reeder, Depth-zero supercuspidal L -packets and their stability , Ann. of Math. (2) 169 (2009), no. 3, 795--901. 2480618
2009
-
[16]
Arnaud Eteve , Free monodromic Hecke categories and their categorical traces , arXiv e-prints (2024), arXiv:2412.13323
2024
-
[17]
, Applications of the trace formalism to Deligne-Lusztig theory , arXiv e-prints (2025), arXiv:2501.04113
2025
-
[18]
Jessica Fintzen, On the construction of tame supercuspidal representations, Compos. Math. 157 (2021), no. 12, 2733--2746. 4357723
2021
-
[19]
, Types for tame p -adic groups , Ann. of Math. (2) 193 (2021), no. 1, 303--346. 4199732
2021
-
[20]
Jessica Fintzen, Tasho Kaletha, and Loren Spice, A twisted Y u construction, H arish- C handra characters, and endoscopy , Duke Math. J. 172 (2023), no. 12, 2241--2301. 4654051
2023
-
[21]
Yongqi Feng, Eric Opdam, and Maarten Solleveld, Supercuspidal unipotent representations: L -packets and formal degrees , J. \'Ec. polytech. Math. 7 (2020), 1133--1193. 4167790
2020
-
[22]
, On formal degrees of unipotent representations, J. Inst. Math. Jussieu 21 (2022), no. 6, 1947--1999. 4515286
2022
-
[23]
187, Cambridge University Press, Cambridge, 2020, A guided tour
Meinolf Geck and Gunter Malle, The character theory of finite groups of L ie type , Cambridge Studies in Advanced Mathematics, vol. 187, Cambridge University Press, Cambridge, 2020, A guided tour. 4211779
2020
-
[24]
London Math
David Goldberg and Alan Roche, Types in SL _n , Proc. London Math. Soc. (3) 85 (2002), no. 1, 119--138. 1901371
2002
-
[25]
London Math
, Hecke algebras and SL _n -types , Proc. London Math. Soc. (3) 90 (2005), no. 1, 87--131. 2107039
2005
-
[26]
Harish-Chandra, Eisenstein series over finite fields, Functional A nalysis and R elated F ields ( P roc. C onf. for M . S tone, U niv. C hicago, C hicago, I ll., 1968), Springer, New York-Berlin, 1970, pp. 76--88. 457579
1968
-
[27]
R. B. Howlett and G. I. Lehrer, Induced cuspidal representations and generalised H ecke rings , Invent. Math. 58 (1980), no. 1, 37--64. 570873
1980
-
[28]
Tasho Kaletha, Regular supercuspidal representations, J. Amer. Math. Soc. 32 (2019), no. 4, 1071--1170. 4013740
2019
-
[29]
, Supercuspidal L-packets , arXiv e-prints (2019), arXiv:1912.03274
2019 arXiv
-
[30]
44, Cambridge University Press, Cambridge, 2023
Tasho Kaletha and Gopal Prasad, Bruhat- T its theory---a new approach , New Mathematical Monographs, vol. 44, Cambridge University Press, Cambridge, 2023. 4520154
2023
-
[31]
Math., vol
Ju-Lee Kim and Jiu-Kang Yu, Construction of tame types, Representation theory, number theory, and invariant theory, Progr. Math., vol. 323, Birkh\" a user/Springer, Cham, 2017, pp. 337--357. 3753917
2017
-
[32]
107, Princeton University Press, Princeton, NJ, 1984
George Lusztig, Characters of reductive groups over a finite field, Annals of Mathematics Studies, vol. 107, Princeton University Press, Princeton, NJ, 1984. 742472
1984
-
[33]
168, 1988, Orbites unipotentes et repr\'esentations, I, pp
, On the representations of reductive groups with disconnected centre, no. 168, 1988, Orbites unipotentes et repr\'esentations, I, pp. 10, 157--166. 1021495
1988
-
[34]
, Classification of unipotent representations of simple p -adic groups , Internat. Math. Res. Notices (1995), no. 11, 517--589. 1369407
1995
-
[35]
II , Represent
, Classification of unipotent representations of simple \(p\) -adic groups. II , Represent. Theory 6 (2002), 243--289 (English)
2002
-
[36]
Theory 19 (2015), 211--235
, Unipotent representations as a categorical centre, Represent. Theory 19 (2015), 211--235. 3416310
2015
-
[37]
, Non-unipotent representations and categorical centres, Bull. Inst. Math. Acad. Sin. (N.S.) 12 (2017), no. 3, 205--296. 3701897
2017
-
[38]
, Open problems on Iwahori-Hecke algebras , arXiv e-prints (2020), arXiv:2006.08535
2020 arXiv
-
[39]
Pi 8 (2020), e12, 93
George Lusztig and Zhiwei Yun, Endoscopy for H ecke categories, character sheaves and representations , Forum Math. Pi 8 (2020), e12, 93. 4108915
2020
-
[40]
Lawrence Morris, Tamely ramified intertwining algebras, Invent. Math. 114 (1993), no. 1, 1--54. 1235019
1993
-
[41]
118 (1999), no
, Level zero G -types , Compositio Math. 118 (1999), no. 2, 135--157. 1713308
1999
-
[42]
Allen Moy and Gopal Prasad, Unrefined minimal K -types for p -adic groups , Invent. Math. 116 (1994), no. 1-3, 393--408. 1253198
1994
-
[43]
, Jacquet functors and unrefined minimal K -types , Comment. Math. Helv. 71 (1996), no. 1, 98--121. 1371680
1996
-
[44]
Michitaka Miyauchi and Shaun Stevens, Semisimple types for p -adic classical groups , Math. Ann. 358 (2014), no. 1-2, 257--288. 3157998
2014
-
[45]
Algebra 659 (2024), 183--343
Kazuma Ohara, A comparison of endomorphism algebras, J. Algebra 659 (2024), 183--343. 4775177
2024
-
[46]
Alan Roche, Types and H ecke algebras for principal series representations of split reductive p -adic groups , Ann. Sci. \' E cole Norm. Sup. (4) 31 (1998), no. 3, 361--413. 1621409
1998
-
[47]
Algebra 606 (2022), 371--470
Maarten Solleveld, Endomorphism algebras and H ecke algebras for reductive p -adic groups , J. Algebra 606 (2022), 371--470. 4432237
2022
-
[48]
, A local Langlands correspondence for unipotent representations , Am. J. Math. 145 (2023), no. 3, 673--719 (English)
2023
-
[49]
Theory 27 (2023), 669--716
, On unipotent representations of ramified p -adic groups , Represent. Theory 27 (2023), 669--716. 4620884
2023
-
[50]
, Parameters of H ecke algebras for B ernstein components of p -adic groups , Indag. Math. (N.S.) 36 (2025), no. 1, 124--170. 4847675
2025
-
[51]
S\' e cherre and S
V. S\' e cherre and S. Stevens, Repr\' e sentations lisses de GL _m(D) . IV . R epr\' e sentations supercuspidales , J. Inst. Math. Jussieu 7 (2008), no. 3, 527--574. 2427423
2008
-
[52]
Maarten Solleveld and Yujie Xu , Hecke algebras and local Langlands correspondence for non-singular depth-zero representations , arXiv e-prints (2024), arXiv:2411.19846
2024 arXiv
-
[53]
Jay Taylor, The structure of root data and smooth regular embeddings of reductive groups, Proc. Edinb. Math. Soc. (2) 62 (2019), no. 2, 523--552. 3935811
2019
-
[54]
Jiu-Kang Yu, Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), no. 3, 579--622. 1824988
2001
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.