Pith. sign in

REVIEW 2 major objections 5 minor 33 references

Gelfand--Graev representation as a Hecke algebra module of simple types of a finite central cover of $\mathrm{GL}(r)$

T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Gelfand-Graev representation of a tame Kazhdan-Patterson or Savin cover of GL_r(F) decomposes over the Hecke algebra of any simple type into summands indexed by S_k-orbits on a finite abelian group X(λ), yielding an exact Whittaker…

desk verdict A solid, honest generalization of the Gelfand-Graev decomposition to arbitrary simple types for KP and Savin covers, conditional on the author's unpublished [34] for the key Hecke algebra isomorphism. read the letter →

arxiv 2502.07262 v1 pith:36R2RQF4 submitted 2025-02-11 math.RT math.NT

Jiandi Zou This is my paper · ORCID
classification math.RTmath.NT MSC 11F7022E5019C09
keywords Gelfand-GraevrepresentationWhittakerdimensionsimpletypesmetaplecticcoversHeckealgebrasp-adicgroupsKazhdan-PattersoncoverSavin's
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

For an n-fold Kazhdan-Patterson cover or Savin's cover of GL_r(F) over a non-archimedean local field F, the paper realizes the Gelfand-Graev representation V as a module over the Hecke algebra of any simple type (J,λ). It proves that V^λ decomposes into summands indexed by the orbits of the symmetric group S_k on a finite abelian group X(λ) built from λ, each summand being a tensor product of a lattice algebra A and an induced sign representation of a finite Hecke algebra. The main corollary is an exact count of the Whittaker dimension of every discrete series representation: it equals the number of these orbits, |X(λ)/S_k|, with explicit binomial formulas for the two families of covers. This matters because for metaplectic covers Whittaker models are no longer unique, so a complete dimension formula is a structural result that has been missing.

What carries the argument

The load-bearing objects are simple types (J,λ) for the metaplectic cover, constructed from simple strata and cuspidal representations of finite general linear groups, together with the associated Hecke algebra H(G,λ). The proof uses the Whittaker datum constructed in [23] to position the Gelfand-Graev representation in a good relative position with λ, so that the normalized Jacquet functor identifies the Jacquet module of V with the Gelfand-Graev representation of the Levi component M. The finite abelian group X(λ) = T(b)/T(b,ρ) carries an S_k-action, and the argument shows that the H0-module generated by each support-normalized vector in V^λ is the induced sign representation H0 ⊗_{H_O} ε_O; assembling these over the S_k-orbits gives the decomposition.

What would settle it

Compute the Gelfand-Graev dimension for a discrete series representation of a small Kazhdan-Patterson or Savin cover (for instance, n=2, r=2, depth-zero Iwahori type) and compare with |X(λ)/S_k|; any discrepancy would disprove Theorem 5.1. Alternatively, exhibit a simple type of one of these covers for which the Hecke algebra H(G,λ) is not isomorphic to A ⊗_C H0, contradicting Assumption 4.5.

Watch

Extended reading notes

Core claim

Theorem 5.1 states that for a tame Kazhdan-Patterson cover or Savin's cover of GL_r(F), the Gelfand-Graev representation V = ind_G^U(ψ), viewed through the simple-type functor M_λ, decomposes as an H(G,λ)-module as ⊕_{O∈X(λ)/S_k} A ⊗_C (H0 ⊗_{H_O} ε_O). Here H(G,λ) is isomorphic to A ⊗_C H0, an affine Hecke algebra of type A, where A is the group algebra of the lattice T(b,ρ), H0 is the finite Hecke algebra of S_k, and H_O is the Hecke algebra of the stabilizer of the orbit O. The paper then proves Proposition 10.1: for any discrete series representation π whose inertial class is typed by (J,λ), the Gelfand-Graev dimension dim_C Hom_G(ind_G^U(ψ), π) equals |X(λ)/S_k|. For Kazhdan-Patterson covers this reads binom(k+n0-1, k) · d0/n0 and for Savin's cover binom(k+n0-1, k). Since every discrete series carries a simple type, the Whittaker dimension of all discrete series is thereby determined explicitly.

Load-bearing premise

The argument depends on Assumption 4.5, taken from the author's prior simple-type theory: the Hecke algebra H(G,λ) is isomorphic to the affine Hecke algebra A ⊗_C H0; the paper cites its verification for Kazhdan-Patterson and Savin covers but does not reproduce the proof.

Editorial extensions

If this is right

  • Every discrete series representation of a tame Kazhdan-Patterson or Savin cover has an explicitly computed Gelfand-Graev dimension, |X(λ)/S_k|, so the Whittaker dimension question for these representations is closed.
  • Combined with Zelevinsky's classification and metaplectic tensor products, the dimension of any irreducible genuine representation can in principle be written as an integer combination of these orbit counts, with coefficients given by Kazhdan-Lusztig polynomials.
  • The decomposition of V^λ provides a template for the doubling method: verifying multiplicity one for degenerate Whittaker models of generalized Speh representations reduces to checking which S_k-orbits contribute.
  • For the two-fold Kazhdan-Patterson cover, the formula gives numerical evidence for the conjectured relation between Whittaker dimensions and multiplicities of tempered representations in the space of functions on symmetric matrices.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The method suggests that for any Brylinski-Deligne cover for which a simple type theory and the isomorphism H ≅ A ⊗_C H0 are available, the same decomposition should hold, with the same dependence on the finite group X(λ) and its S_k-orbits; the two families treated here are the cases where those hypotheses are currently verified.
  • The explicit binomial formulas imply that Whittaker dimensions grow polynomially in the parameters k and n0, so they can be used to test conjectures about L-packets of covering groups, where multiplicities are often controlled by such orbit counts.
  • A testable extension: compute the H0-structure of V^λ for a tame Brylinski-Deligne cover with c,d outside the KP/Savin range in a small example (say n=2, r=2) to see whether failure of Assumption 4.5 changes the decomposition or only the parameters.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the Gelfand–Graev representation V = ind_G^U(ψ) of a tame finite central cover of GL_r(F), and determines its image V^λ under the Hecke algebra functor associated to a simple type (J,λ). The main theorem (Theorem 5.1) asserts, for Kazhdan–Patterson and Savin covers, a decomposition V^λ ≅ ⊕_{O∈X(λ)/S_k} A ⊗_C (H0 ⊗_{H_O} ε_O) as modules over the affine Hecke algebra H = A⊗_C H0. The proof proceeds in three steps: a cuspidal case via Jacquet modules (§7), an H0-module structure via finite field computations (§8), and an H-module structure using the Bernstein presentation of the affine Hecke algebra (§9). The main application is Proposition 10.1, which gives dim_C Hom_G(ind_G^U(ψ),π) = |X(λ)/S_k| for every discrete series π with type (J,λ), and the explicit formulas (10.2). The paper is clearly written and transparent about its reliance on the author's prior preprint [34] for the simple type theory and for Assumption 4.5.

Significance. If the cited results from [34] are correct, this is a substantial contribution. It provides the first explicit calculation of Whittaker dimensions for all discrete series representations of tame Kazhdan–Patterson and Savin covers, with a structural decomposition of the Gelfand–Graev module that generalizes earlier work of Gao–Gurevich–Karasiewicz and Chan–Savin. The dimension formula (10.2) is a simple, testable prediction. The paper also demonstrates a general three-step strategy that may apply to other covers once the relevant type theory is developed. The main weakness is the heavy dependence on the author's unpublished work [34]; the manuscript does not reproduce the proof of the central Hecke algebra isomorphism (Assumption 4.5) or of the properties of π^λ used in §10.

major comments (2)
  1. [4.3, Assumption 4.5] The paper's central object, the Hecke algebra H, is identified with the affine Hecke algebra A⊗_C H0 only under Assumption 4.5, which is stated as [34, Conjecture 7.16] and for Kazhdan–Patterson and Savin covers is cited to [34, Corollary 7.12] without proof. This isomorphism is load-bearing: it is used in §9.2 (strategy (9.1)), in Lemma 9.3 to obtain the multiplication law (4.5), and in §10 (Eq. (10.1)) for the adjunction between H and H0. If the isomorphism fails or the Bernstein presentation has cocycle corrections, the orbit decomposition of V^λ and the dimension formula (10.2) do not follow. Because [34] is an unpublished preprint, the main theorem is not currently verifiable from the manuscript alone. The author should either prove Assumption 4.5 for the two families of covers in this paper or provide a complete statement and proof in an appendix.
  2. [10, Proposition 10.1] The proof that π^λ is one-dimensional and restricts to the sign character of H0 is cited from [34, Proposition 9.10], another unpublished result. This property is essential for the dimension count: without it, the computation dim Hom_H(V^λ,π^λ) = |X(λ)/S_k| is unsupported. The author should state and prove this property, or provide a precise published reference, before the main corollary can be accepted.
minor comments (5)
  1. [Title] The title contains 'GELF AND–GRAEV' with a missing 'D'; it should read 'GELFAND–GRAEV'.
  2. [§4.2, §4.3] Several LaTeX artifacts appear in the displayed text, such as '/bracehtipupleft' and '/bracehtipdownright'; these should be cleaned up before publication.
  3. [§1.2] The phrase 'we assume the readers to have a basic knowledge on the simple type theory' should be 'of the simple type theory'.
  4. [§4.2] The definition of X(λ) would benefit from an explicit description of the S_k-action in coordinates, for example σ·(s_1,...,s_k) = (s_{σ^{-1}(1)},..., s_{σ^{-1}(k)}).
  5. [§8] Corollary 8.12 is stated as a 'bonus' but is not used later; consider moving it to a remark or clarifying its role in the paper.

Circularity Check

1 steps flagged · score 4.0 of 10

The main theorem is conditional on the author's own unpublished affine-Hecke isomorphism [34, Conj. 7.16/Cor. 7.12]; the Gelfand–Graev orbit decomposition and the Whittaker-dimension formula are not definitionally forced but depend on this load-bearing self-citation.

  1. self citation load bearing [Section 4.3, Assumption 4.5; used in Sections 9.2–9.4 and 10.]
    "Assumption 4.5 ([34, Conjecture 7.16]). Regarding A and H0 as subalgebras of H, then H is isomorphic to the affine Hecke algebra A ⊗C H0. In the case of a Kazhdan–Patterson cover or the Savin cover the assumption is always satisfied ([34, Corollary 7.12])."

    The central decomposition in Theorem 5.1 is proved under the identification H = A ⊗C H0: Section 9.2 concludes that V^{λP} decomposes as desired 'as H = A ⊗C H0 modules'. That identification is exactly Assumption 4.5, imported from the author's prior preprint [34, Conjecture 7.16], with the KP/Savin cases attributed to [34, Corollary 7.12]. The proof of this corollary is not reproduced, and no independent verification is supplied, so Theorem 5.1 and Proposition 10.1 are conditional on the correctness of a load-bearing self-citation. This is a dependency concern rather than a definitional reduction: the orbit parametrization, support arguments, and rank computations are additional nontrivial steps, and the paper is transparent about relying on [34].

full rationale

No fitted parameter is renamed as a prediction, and no quotient in the paper is defined in terms of the Whittaker dimension it is used to compute. The derivation from the cuspidal case (§7), the finite-group H0-module computation (§8), and the support/basis arguments (§9) are genuine calculations, mostly built on external results such as Paskunas–Stevens [23], Bushnell–Henniart [6], and finite-field Gelfand–Graev uniqueness [28]. The single serious issue is Assumption 4.5: the paper's main theorem requires H(G,λ) ≅ A ⊗C H0, whose truth for Kazhdan–Patterson and Savin covers is cited from the author's own unpublished [34, Corollary 7.12], described in [34] as a conjecture (Conjecture 7.16). The paper itself flags the dependence in Section 1.3 ('the decomposition H = A ⊗C H0 ... is required (more precisely, Assumption 4.5)') and in Section 4.3 ('In general, we don't know if the about assumption is true or not'). Because the cited result is not reproduced and is not machine-checked or otherwise independently established inside the paper, this is a load-bearing self-citation. However, the orbit decomposition and the dimension formula do not reduce to the isomorphism by construction; they require additional arguments about supports, Jacquet functors, and H0-modules. The score is therefore 4: substantial self-citation at the foundation, but the central claim still has independent mathematical content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper builds on the author's own simple type theory for metaplectic covers of GL_r, developed in the preprint [34], and on several external theorems (Paskunas-Stevens, Bushnell-Henniart, etc.). It introduces no empirical free parameters or invented entities; the only quantities are group-theoretic invariants.

assumptions (5)
  • domain assumption Simple type theory for metaplectic covers of GL_r, including existence and classification of simple types (J,λ) and their Hecke algebras, developed in [34].
    The paper invokes [34] throughout Section 4 for strata, simple characters, simple types, and intertwining computations; if incorrect, the main theorem has no basis.
  • domain assumption Assumption 4.5: H(G,λ) is isomorphic to the affine Hecke algebra A ⊗_C H0.
    This is a conjecture in [34, Conjecture 7.16]; the paper cites [34, Corollary 7.12] for its validity for KP and Savin covers but does not prove it here. It is essential for identifying V^λ as an A⊗H0-module.
  • standard math Uniqueness of Whittaker model for GL_n over a non-archimedean local field.
    Used in Lemma 7.1 and Lemma 8.6 to deduce multiplicity-one statements for intertwining spaces; the paper explicitly notes it relies on this classical result.
  • standard math Paskunas-Stevens theorem on realization of maximal simple types and existence of a suitable Whittaker datum (Theorem 6.1).
    External result used to choose the Whittaker pair (U,ψ) in good relative position with (J,λ), foundational for the support computations.
  • standard math Uniqueness of Gelfand-Graev model for finite general linear groups.
    Used in Lemma 8.8 and Corollary 8.9 via [28, Corollary 5.4] to prove multiplicity one over finite fields.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gelfand--Graev representation as a Hecke algebra module of simple types of a finite central cover of $\mathrm{GL}(r)$." pith.science (2026). https://pith.science/paper/36R2RQF4

@misc{pith2026250207262,
  author       = {Pith},
  title        = {Pith review of: Gelfand--Graev representation as a Hecke algebra module of simple types of a finite central cover of $\mathrmGL(r)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/36R2RQF4}},
  note         = {Machine review of arXiv:2502.07262}
}
abstract

For an $n$-fold Kazhdan--Patterson cover or Savin's cover of a general linear group over a non-archimedean local field of residual characteristic $p$ with $\mathrm{gcd}(n,p)=1$, we realize the Gelfand--Graev representation as a Hecke algebra module of a simple type and study its explicit expression. As a main corollary, we calculate the Whittaker dimension of every discrete series representation of such a cover. Using Zelevinsky's classification, this theoretically gives the Whittaker dimension of every irreducible representation.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [9]

    , Bernstein–Zelevinsky derivatives: a Hecke algebra approa ch, Int. Math. Res. Not. 2019 (2019), no. 3, 731–760. MR4579360 ↑4, 13

    work page 2019

  2. [13]

    ↑2, 4, 13

    , Genuine pro-p Iwahori–Hecke algebras, Gelfand–Graev representations, and some applications , Jour- nal of the European Mathematical Society (2024). ↑2, 4, 13

    work page 2024

  3. [1]

    W. D. Banks, Heredity of Whittaker models on the metaplectic group , Pacific J. Math. 185 (1998), no. 1, 89–96. MR1653196 ↑15

    work page 1998

  4. [2]

    W. D. Banks, J. Levy, and M. R. Sepanski, Block-compatible metaplectic cocycles, J. Reine Angew. Math. 507 (1999), 131–163. MR1670203 ↑6

    work page 1999

  5. [3]

    I. N. Bernstein and A. V. Zelevinsky, Representations of the group GL(n, F), where F is a local non- Archimedean field , Uspehi Mat. Nauk 31 (1976), no. 3(189), 5–70. MR0425030 ↑2, 5

    work page 1976

  6. [4]

    Blondel, Uniqueness of Whittaker model for some supercuspidal repre sentations of the metaplectic group , Compositio Math

    C. Blondel, Uniqueness of Whittaker model for some supercuspidal repre sentations of the metaplectic group , Compositio Math. 83 (1992), no. 1, 1–18. MR1168120 ↑2

    work page 1992

  7. [5]

    Brylinski and P

    J.-L. Brylinski and P. Deligne, Central extensions of reductive groups by K2, Publ. Math. Inst. Hautes ´Etudes Sci. 94 (2001), 5–85. MR1896177 ↑6

    work page 2001

  8. [6]

    C. J. Bushnell and G. Henniart, Supercuspidal representations of GLn: explicit Whittaker functions , J. Algebra 209 (1998), no. 1, 270–287. MR1652130 ↑15

    work page 1998

Show all 33 references
  1. [7]

    C. J. Bushnell and P. C. Kutzko, The admissible dual of GL(N ) via compact open subgroups , Annals of Mathematics Studies, vol. 129, Princeton University Press , Princeton, NJ, 1993. MR1204652 ↑7

    1993

  2. [8]

    K. Y. Chan and G. Savin, Iwahori component of the Gelfand–Graev representation , Mathematische Zeitschrift 288 (2018), 125–133. MR3774407 ↑4

    2018

  3. [10]

    W. T. Gan, F. Gao, and M. H. W eissman, L-groups and the Langlands program for covering groups: a hi storical introduction, 2018, pp. 1–31. L-groups and the Langlands program for cove ring groups. MR3802417 ↑5

    2018

  4. [11]

    Gao, R-group and Whittaker space of some genuine representation s, Journal of the Institute of Mathematics of Jussieu 22 (2023), no

    F. Gao, R-group and Whittaker space of some genuine representation s, Journal of the Institute of Mathematics of Jussieu 22 (2023), no. 1, 213–273. ↑2

    2023

  5. [12]

    F. Gao, N. Gurevich, and E. Karasiewicz, Gelfand–Graev functor and quantum affine Schur–Weyl duality , arXiv preprint arXiv:2210.16138 (2022). ↑4

    2022 arXiv

  6. [14]

    Gao and M

    F. Gao and M. H. W eissman, Whittaker models for depth zero representations of coverin g groups , Int. Math. Res. Not. IMRN 11 (2019), 3580–3620. MR3961710 ↑2

    2019

  7. [15]

    Kaplan, Doubling constructions and tensor product L-functions: coverings of the symplectic group , arXiv preprint arXiv:1902.00880 (2019)

    E. Kaplan, Doubling constructions and tensor product L-functions: coverings of the symplectic group , arXiv preprint arXiv:1902.00880 (2019). ↑3

    2019 arXiv

  8. [16]

    , Rankin-Selberg Integrals and L-Functions for Covering Gro ups of General Linear Groups , Int. Math. Res. Not. IMRN (2022). ↑3 28 JIANDI ZOU

    2022

  9. [17]

    Kaplan, E

    E. Kaplan, E. Lapid, and J. Zou, Classification of irreducible representations of metaplec tic covers of the general linear group over a non-Archimedean local field , Represent. Theory 27 (2023), 1041–1087. MR4663361 ↑7, 27

    2023

  10. [18]

    10, 4363–4371

    Eyal Kaplan and Dani Szpruch, A note on the representation theory of central extensions of reductive p-adic groups, Communications in Algebra 51 (2023), no. 10, 4363–4371. ↑15

    2023

  11. [19]

    D. A. Kazhdan and S. J. Patterson, Metaplectic forms, Inst. Hautes ´Etudes Sci. Publ. Math. 59 (1984), 35–142. MR743816 ↑6, 7

    1984

  12. [20]

    Lapid and A

    E. Lapid and A. M ´ ınguez, Geometric conditions for □ -irreducibility of certain representations of the general linear group over a non-archimedean local field , Advances in Mathematics 339 (2018), 113–190. MR3866895 ↑27

    2018

  13. [21]

    Matsumoto, Sur les sous-groupes arithm´ etiques des groupes semi-simp les d´ eploy´ es, Ann

    H. Matsumoto, Sur les sous-groupes arithm´ etiques des groupes semi-simp les d´ eploy´ es, Ann. Sci. ´Ecole Norm. Sup. (4) 2 (1969), 1–62. MR240214 ↑6

    1969

  14. [22]

    Mœ glin and J.-L

    C. Mœ glin and J.-L. W aldspurger, Spectral decomposition and Eisenstein series , Cambridge Tracts in Math- ematics, vol. 113, Cambridge University Press, Cambridge, 1995. Une paraphrase de l’ ´Ecriture [A paraphrase of Scripture]. MR1361168 ↑2

    1995

  15. [23]

    Paskunas and S

    V. Paskunas and S. Stevens, On the realization of maximal simple types and epsilon facto rs of pairs , Amer. J. Math. 130 (2008), no. 5, 1211–1261. MR2450207 ↑4, 14, 16, 19

    2008

  16. [24]

    S. P. Patel, A theorem of Mœglin and Waldspurger for covering groups , Pacific J. Math. 273 (2015), no. 1, 225–239. MR3290452 ↑2

    2015

  17. [25]

    Rodier, Mod` ele de Whittaker et caract` eres de repr´ esentations, Non-commutative harmonic analysis, Lecture Notes in Math., Vol

    F. Rodier, Mod` ele de Whittaker et caract` eres de repr´ esentations, Non-commutative harmonic analysis, Lecture Notes in Math., Vol. 466, Springer, Berlin (1975), 151–171. MR0393355 ↑2

    1975

  18. [26]

    S´ echerre and S

    V. S´ echerre and S. Stevens, Block decomposition of the category of l-modular smooth rep resentations of GL(n, F) and its inner forms 49 (2016), no. 3, 669–709. MR3503829 ↑5, 19

    2016

  19. [27]

    J. A. Shalika, The multiplicity one theorem for GLn, Ann. of Math. 100 (1974), no. 2, 171–193. MR348047 ↑2

    1974

  20. [28]

    Silberger and E.-W

    A. Silberger and E.-W. Zink, The characters of the generalized steinberg representatio ns of finite general linear groups on the regular elliptic set , Transactions of the American Mathematical Society 352 (2000), no. 7, 3339–

    2000

  21. [29]

    Solleveld, Affine Hecke algebras and their representations , Indag

    M. Solleveld, Affine Hecke algebras and their representations , Indag. Math. (N.S.) 32 (2021), no. 5, 1005–1082. MR4310011 ↑11, 12

    2021

  22. [30]

    G. K.-F. Tam, Explicit Whittaker data for essentially tame supercuspida l representations , Pacific Journal of Mathematics 301 (2019), no. 2, 617–638. MR4023361 ↑4

    2019

  23. [31]

    W ang and J

    C. W ang and J. Zou, Distinction of the Steinberg representation with respect t o a symmetric pair , arXiv preprint arXiv:2410.03247 (2024). ↑3

    2024 arXiv

  24. [32]

    M. H. W eissman, Metaplectic tori over local fields , Pacific journal of mathematics 241 (2009), no. 1, 169–200. MR2485462 ↑2

    2009

  25. [33]

    Zou, Local metaplectic correspondence and applications , Math

    J. Zou, Local metaplectic correspondence and applications , Math. Z. 305 (2023), no. 3, 33. ↑2, 3 [34] , Simple type theory for metaplectic covers of GL(r) over a non-archimedean local field , arXiv preprint arXiv:2308.16143, to appear in J. Inst. Math. Jussieu. (202 5). ↑3, 5,...

    2023 arXiv

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.