REVIEW 3 major objections 5 minor 1 cited by
Parametrization of supercuspidal representations of depth zero for some simple adjoint groups
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper constructs a surjective parametrization of depth-zero supercuspidal representations of simple adjoint p-adic groups by depth-zero cuspidal enhanced L-parameters, and proves bijectivity and the formal-degree formula in a range of…
desk verdict Useful surjectivity result for all depth-zero supercuspidals of simple adjoint groups, but the E6/E7 bijectivity claim is uncheckable as written because it depends on an unquoted theorem from an unpublished preprint and a pictured case enumeration. 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 bridge object is the centralizer group H[φ] obtained from a depth-zero discrete L-parameter φ by restricting φ to tame inertia, taking the resulting semisimple element, and forming its connected centralizer in the dual group; H[φ] is then realized as an unramified group whose L-group embeds into that of G. An embedding of apartments of H into apartments of G places parahoric subgroups of H inside those of G, so on reductive quotients the Jordan decomposition for finite groups of Lie type converts cuspidal representations of G(k) into unipotent cuspidal representations of a related finite group. The known bijection for unipotent supercuspidal representations transfers along this bridge to define LLC. Bijectivity is governed by condition (B): for any cuspidal representation of ~G(k), the number of irreducible components lying in a fixed Gad(k)-orbit is at most one. A separate result on fundamental-group actions and Frobenius-stable pinnings of parahoric quotients makes condition (B) checkable from extended Dynkin diagrams in the listed cases.
What would settle it
Compute, for one of the E6 or E7 parahoric quotients listed in Section 6, the number of cuspidal representations of ~G(k) lying above a single cuspidal representation of G(k); condition (B) fails exactly when this number exceeds one, and a single such example would disprove Theorem 6.1.
Extended reading notes
Core claim
The central claim is that every depth-zero supercuspidal representation of such a group arises from a depth-zero cuspidal enhanced L-parameter, and that in types A_n, E_6, E_8, F_4, G_2, inner forms of 3D_4, split C_n and E_7, and for odd residual characteristic type B_n and quasi-split 2D_{2n} and D_{2n+1}, the correspondence is one-to-one. The construction associates to each parameter a smaller unramified group H whose unipotent supercuspidal representations are already parametrized; using parahoric subgroups and the Jordan decomposition for finite groups of Lie type, unipotent supercuspidal representations of H become depth-zero supercuspidal representations of G. The construction involves some non-canonical choices, but for parameters with trivial SL2(C) part it is unambiguous and agrees with the known regular supercuspidal correspondence. When the map is bijective, the paper proves the formal-degree formula fdeg(π) = dim(ε)/|S_φ| · |γ(0, φ, Ad, ψ)| for depth-zero supercuspidal representations.
Load-bearing premise
For the E6 and E7 bijectivity claims, the argument depends on an unpublished theorem about extending cuspidal characters together with a finite list of extended-Dynkin-diagram cases; if that theorem or the case list is wrong, the bijectivity for those types fails.
Editorial extensions
If this is right
- Every depth-zero supercuspidal representation of a simple adjoint group splitting over an unramified extension is accounted for by some depth-zero cuspidal enhanced L-parameter.
- In the listed types the parametrization is one-to-one, so the depth-zero supercuspidal representations of those groups have exactly the L-packet structure predicted by the local Langlands correspondence.
- Where LLC is bijective, the formal-degree conjecture holds for all depth-zero supercuspidal representations, giving an explicit value in terms of the enhanced L-parameter.
- For parameters with trivial SL2(C) part, the new map agrees with the regular supercuspidal correspondence, and it extends the unipotent supercuspidal correspondence as well.
Reading between the lines
- The reduction to condition (B) suggests that bijectivity for any remaining simple adjoint type reduces to a finite check on parahoric quotients and fundamental-group actions; the Section 6 diagrammatic case analysis could likely be automated.
- The unpublished theorem used for the E6 and E7 bijectivity cases is probably replaceable: a direct proof of the needed character-extension statement would remove the preprint dependency without changing the rest of the construction.
- The formal-degree proof compares volumes and gamma factors before invoking bijectivity, so the formula may hold for the surjective map whenever the relevant fibers have no multiplicity, even before full bijectivity is established.
- The same apartment-embedding and Jordan-decomposition strategy could potentially be adapted to quasi-split non-adjoint groups by tracking fundamental-group homomorphisms and central characters.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for a simple adjoint group G over a non-Archimedean local field F that splits over an unramified extension, a map LLC from conjugacy classes of depth-zero cuspidal enhanced L-parameters to depth-zero supercuspidal representations. The construction proceeds by associating to a depth-zero discrete L-parameter a smaller unramified reductive group H, embedding apartments of inner twists of H into those of G, and then using Lusztig's Jordan decomposition together with the unipotent supercuspidal correspondence of FOS20. The paper proves that LLC is surjective in general, verifies bijectivity in a list of cases (type A_n, E_6, E_8, F_4, G_2, inner forms of 3D_4, split C_n and E_7, and, for odd residual characteristic, type B_n and quasi-split types 2D_2n and D_(2n+1)), and proves the Hiraga–Ichino–Ikeda formal-degree formula conditionally on bijectivity.
Significance. If the construction is correct, the paper gives a unified extension of the DeBacker–Reeder and Feng–Opdam–Solleveld correspondences and yields new bijectivity results, especially for exceptional groups. The formal-degree theorem is a useful conditional contribution that connects the constructed parametrization to a standard expected property. The paper is also commendably explicit about the non-canonical choices in the construction, and it includes a concrete worked example. The main weaknesses are that the bijectivity claims for E_6 and E_7 rest on an unpublished theorem whose statement is not quoted, and that the asserted well-definedness of LLC on conjugacy classes is not proved in detail.
major comments (3)
- [§4, proof of Theorem 4.11] The passage beginning 'It is clear that, for ϕ′ = Ad(g)ϕ, ξ′ = Ad(g)ξ and g∈Ĝ, we have LLC[ϕ′],ξ′∘Ad(g) = LLC[ϕ],ξ for suitable choices of ~J′' asserts, rather than proves, the compatibility of the constituent maps under conjugation. Since Theorem 1.1 and Theorem 4.11 are statements about conjugacy classes in Φe(G′)0,cusp/∼, a well-defined map on the quotient requires a simultaneous choice of ~J′ and of the auxiliary embeddings for every class that is equivariant under conjugation. Remark 4.12 concedes that these choices are non-canonical, so the quotient map is not established by the text as it stands. This issue does not affect the surjectivity argument viewed on representatives, but it is load-bearing for the stated form of the theorem.
- [§6, E6/E7 bijectivity] The counting step for the E_6 and E_7 cases applies [Kal21, Theorem 2.7.7] to obtain the bijection Irr(~G(k)s)s → Irr(N~G(k)s(S′),θ), and then concludes #Irr(~G(k)s)s = (|~G(k)s|/|G(k)|)·#Irr(G(k))s. This theorem is from an unpublished preprint and its statement is not reproduced, so the reader cannot verify its hypotheses or its applicability to the finite groups of Lie type appearing here. The displayed equality is the load-bearing step for condition (B), so if [Kal21, Theorem 2.7.7] is unavailable or inapplicable, the bijectivity claims for E_6 and E_7 in Theorem 6.1 are unsupported.
- [§6, E6/E7 diagram case list] The sentence 'the possible choices ... are as follows' is supported only by diagrams, and the subsequent sentence 'In all of those cases, G is a product of reductive groups of type 1A_n' is not accompanied by a systematic enumeration or a proof that no other Frob-stable subsets ΔF can occur. An omitted case would break the reduction to products of type A_n and hence the verification of condition (B). This is a concrete and checkable gap in the bijectivity proof for E_6 and E_7.
minor comments (5)
- [§3, Definition 3.1] The notation oscillates between Φ(LG)0,disc and Φ(G)0,disc; please make the domain of the equivalence relation 'w∼' explicit throughout.
- [§4, Remark 4.13] The sentence 'H = S is compact' should read 'H(F) is compact', since S is a torus over F and it is its group of F-points that is compact.
- [§6, E6/E7 subsection] The notation 'type 1E6' in the proof of Theorem 6.1 is not defined, while Theorem 1.1 simply says 'type E6'; please clarify which inner or outer forms are covered by this notation.
- [§5, proof of Theorem 5.1] The phrase 'Examining the extended Dynkin diagram' appears twice without an explicit statement of the resulting cases; a short table for the exceptional cases would make the verification easier to follow.
- [§6, Example 6.3] In the sentence 'The representation ρ0 is an irreducible component of the Deligne–Lusztig character RG_S′(θ)', the notation would benefit from specifying which parabolic or which Deligne–Lusztig induction is meant.
Circularity Check
No circularity: the paper extends, rather than assumes, the external FOS20 unipotent correspondence and verifies the finite-group conditions independently.
full rationale
I walked the construction chain in Sections 3, 4, 6, and 7 and found no step in which a claimed prediction or derivation reduces to its own input by construction. The central map LLC is defined by factoring a depth-zero discrete L-parameter phi through an auxiliary L-group LH, constructing a reductive group H, and then transporting the external FOS20 correspondence for unipotent supercuspidal representations through Lusztig's Jordan decomposition. The relevant finite-group bijections are built from the Deligne-Lusztig theory and are checked via a concrete condition (B) in Proposition 4.10; the bijectivity cases in Section 6 verify this condition on finite groups of Lie type rather than assuming the target parametrization. There is no fitted parameter later renamed as a prediction, and no definition of the L-parameter side in terms of the representation side. The paper explicitly acknowledges non-canonical choices in Remark 4.12, so the dependence on FOS20's internal choices is disclosed rather than disguised. The E6/E7 bijectivity argument does rely on the unpublished [Kal21, Theorem 2.7.7] and on an asserted diagrammatic enumeration of possible subsets Delta_F, and those are genuine verifiability gaps; however, citing an external theorem, even an unpublished one, is not circular reasoning, and an incomplete case list is a correctness risk rather than a reduction of the claim to its inputs. I therefore find no significant circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption FOS20 Theorem 2: bijection between unipotent supercuspidal representations of H(F) and unramified cuspidal enhanced L-parameters of LH.
- standard math Lusztig's Jordan decomposition and its cuspidality preservation (Theorems 2.3 and 2.5).
- domain assumption Kaletha [Kal21, Theorem 2.7.7] (unpublished preprint) used for the counting of extensions in the E6 and E7 cases.
- domain assumption Lust-Stevens [LS20, Proposition 7.10] used for the Bn and Dn cases.
- domain assumption G splits over an unramified extension of F.
Cite this review
Pith. "Pith review of Parametrization of supercuspidal representations of depth zero for some simple adjoint groups." pith.science (2026). https://pith.science/paper/L2SVQWXG
@misc{pith2026250417225,
author = {Pith},
title = {Pith review of: Parametrization of supercuspidal representations of depth zero for some simple adjoint groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/L2SVQWXG}},
note = {Machine review of arXiv:2504.17225}
}
read the original abstract
We construct a surjective map from the set of conjugacy classes of depth-zero cuspidal enhanced L-parameters to that of isomorphism classes of depth-zero supercuspidal representations for simple adjoint groups, and check the bijectivity in various cases. We also prove that the Hiraga--Ichino--Ikeda conjecture on the formal degree of essentially square-integrable irreducible representations holds for this parametrization if it is bijective.
Forward citations
Cited by 1 Pith paper
-
Endoscopy for representations of disconnected reductive groups over finite fields
Finite-field reductive group representation series with fixed semisimple parameter are canonically equivalent to unipotent representations of endoscopic groups with equivariant structure, including for disconnected groups.
Reference graph
Works this paper leans on
-
[1]
Aubert, A
A.-M. Aubert, A. Moussaoui, and M. Solleveld, Generalizations of the S pringer correspondence and cuspidal L anglands parameters , Manuscripta Math. 157 (2018), no. 1-2, 121--192
2018
-
[2]
P. Cellini and P. Papi, Abelian ideals of B orel subalgebras and affine W eyl groups , Adv. Math. 187 (2004), no. 2, 320--361
work page 2004
-
[3]
M. Cabanes and B. Sp\"ath, Equivariance and extendibility in finite reductive groups with connected center, Math. Z. 275 (2013), no. 3-4, 689--713
work page 2013
-
[4]
P. Deligne, Les constantes des \'equations fonctionnelles des fonctions L , Modular functions of one variable, II ( P roc. I nternat. S ummer S chool, U niv. A ntwerp, A ntwerp, 1972), Lecture Notes in Math., vol. Vol. 349, Springer, Berlin-New York, 1973, pp. 501--597
work page 1972
-
[5]
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
1976
-
[6]
F. Digne and J. Michel, On L usztig's parametrization of characters of finite groups of L ie type , Ast\'erisque (1990), no. 181-182, 6, 113--156
work page 1990
-
[7]
95, Cambridge University Press, Cambridge, 2020
, Representations of finite groups of L ie type , second ed., London Mathematical Society Student Texts, vol. 95, Cambridge University Press, Cambridge, 2020
work page 2020
-
[8]
S. DeBacker and M. Reeder, Depth-zero supercuspidal L -packets and their stability , Ann. of Math. (2) 169 (2009), no. 3, 795--901
work page 2009
Show all 26 references
-
[9]
Y. Feng, E. Opdam, and M. Solleveld, Supercuspidal unipotent representations: L -packets and formal degrees , J. \'Ec. polytech. Math. 7 (2020), 1133--1193
2020
-
[10]
Geck and G
M. Geck and G. Malle, The character theory of finite groups of L ie type: A guided tour , Cambridge Studies in Advanced Mathematics, vol. 187, Cambridge University Press, Cambridge, 2020
2020
-
[11]
B. H. Gross, On the motive of a reductive group, Invent. Math. 130 (1997), no. 2, 287--313
1997
-
[12]
T. C. Hales, A simple definition of transfer factors for unramified groups, Representation theory of groups and algebras, Contemp. Math., vol. 145, Amer. Math. Soc., Providence, RI, 1993, pp. 109--134
1993
-
[13]
Hiraga, A
K. Hiraga, A. Ichino, and T. Ikeda, Formal degrees and adjoint -factors , J. Amer. Math. Soc. 21 (2008), no. 1, 283--304
2008
-
[14]
J. E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, vol. No. 21, Springer-Verlag, New York-Heidelberg, 1975
1975
-
[15]
Kaletha, Regular supercuspidal representations, J
T. Kaletha, Regular supercuspidal representations, J. Amer. Math. Soc. 32 (2019), no. 4, 1071--1170
2019
-
[16]
, Supercuspidal L -packets , 2021, Preprint: http://arxiv.org/abs/1912.03274 arXiv:1912.03274 [math.RT]
2021 arXiv
-
[17]
Kaletha and G
T. Kaletha and G. Prasad, Bruhat- T its theory---a new approach , New Mathematical Monographs, vol. 44, Cambridge University Press, Cambridge, 2023
2023
-
[18]
R. P. Langlands and D. Shelstad, On the definition of transfer factors, Math. Ann. 278 (1987), no. 1-4, 219--271
1987
-
[19]
Lust and S
J. Lust and S. Stevens, On depth zero L -packets for classical groups , Proc. Lond. Math. Soc. (3) 121 (2020), no. 5, 1083--1120
2020
-
[20]
Lusztig, Irreducible representations of finite classical groups, Invent
G. Lusztig, Irreducible representations of finite classical groups, Invent. Math. 43 (1977), no. 2, 125--175
1977
-
[21]
168, 10, 157--166
, On the representations of reductive groups with disconnected centre, Ast\'erisque (1988), no. 168, 10, 157--166
1988
-
[22]
Opdam, Spectral transfer morphisms for unipotent affine H ecke algebras , Selecta Math
E. Opdam, Spectral transfer morphisms for unipotent affine H ecke algebras , Selecta Math. (N.S.) 22 (2016), no. 4, 2143--2207
2016
-
[23]
Renard, Repr\'esentations des groupes r\'eductifs p -adiques , Cours Sp\'ecialis\'es, vol
D. Renard, Repr\'esentations des groupes r\'eductifs p -adiques , Cours Sp\'ecialis\'es, vol. 17, Soci\'et\'e Math\'ematique de France, Paris, 2010
2010
-
[24]
T. A. Springer, Linear algebraic groups, second ed., Progress in Mathematics, vol. 9, Birkh\"auser Boston, Inc., Boston, MA, 1998
1998
-
[25]
Steinberg, Endomorphisms of linear algebraic groups, Memoirs of the American Mathematical Society, vol
R. Steinberg, Endomorphisms of linear algebraic groups, Memoirs of the American Mathematical Society, vol. No. 80, American Mathematical Society, Providence, RI, 1968
1968
-
[26]
Yu, Construction of tame supercuspidal representations, J
J.-K. Yu, Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), no. 3, 579--622
2001
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.