REVIEW 2 major objections 4 minor 47 references
On exotic matrix exponential sums and Bessel-Speh functions
T0 review · 2 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that special values of Bessel-Speh functions for all irreducible generic representations of general linear groups over finite fields are exotic matrix Kloosterman sums up to explicit scalar factors.
desk verdict A serious and largely convincing paper: the new exotic matrix Kloosterman sums are genuinely useful, and the main identity is derived rather than assumed; the main risk is a single imported gamma-factor theorem that the author does not re-prove. 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 carrier of the argument is the exotic matrix Kloosterman sum $\operatorname{Kl}(\alpha,\psi,h)$, defined for a single extension field $\mathbb{F}_k$ by summing over $x\in\operatorname{GL}_c(\mathbb{F}_k)$ whose norm-map conjugacy class contains $h$, weighted by $\alpha(\det x)\psi_k(\operatorname{tr}x)$, and for a partition by convolving such sums over factor products. Two independent mechanisms prove the two main theorems. Theorem 4.6 is derived from the equality, imported from previous work, between the Ginzburg–Kaplan gamma factor and the tensor-product epsilon factor; a character-averaging formula converts the Bessel–Speh value into a trace of this gamma factor, and Schur orthogonality then recovers the exponential sum. Theorem 5.3 is obtained through the characteristic maps that identify the ring of class functions with a ring of symmetric functions; these send the global class function $h\mapsto\operatorname{Kl}(\alpha,\psi,h)$ to an explicit product of $L$-functions of the exotic Kloosterman sheaf, and expanding that product under the Cauchy identity yields the modified Hall–Littlewood polynomials.
What would settle it
Pick a small finite field, for instance $\mathbb{F}_3$, take $k=2$ with $\tau$ the cuspidal representation of $\operatorname{GL}_2(\mathbb{F}_3)$ attached to a regular character of $\mathbb{F}_9^\times$, choose $c=2$, and let $h\in\operatorname{GL}_2(\mathbb{F}_3)$ be a regular elliptic matrix. Compute $K_{\tau,\psi}(h)$ directly from the character formula for Speh representations and compute the exotic matrix Kloosterman sum on the right-hand side of Theorem 4.6 by summation over $\operatorname{GL}_2(\mathbb{F}_9)$; any mismatch between the two sides would settle the theorem negatively.
Extended reading notes
Core claim
The paper's central claim is that the representation-theoretic side and the exponential-sum side coincide exactly. For an irreducible generic representation $\tau$ of $\operatorname{GL}_k(F)$ with cuspidal support $\{\tau_1,\dots,\tau_s\}$, where each $\tau_j$ corresponds to a regular character $\alpha_j$ of $\mathbb{F}_{k_j}^\times$, Theorem 4.6 gives $$K_{\tau,\psi}(h)=(-1)^{(k+s)c}$q^{{-(k-1)c^2}}$\operatorname{Kl}(\$alpha^{{-1}}$,\psi,(-1)^{k-1}$h^{{-1}}$)$$ for every $h\in\operatorname{GL}_c(F)$, where $K_{\tau,\psi}(h)$ is the Bessel–Speh value at $\operatorname{diag}(I_{(k-1)c},h)$ (with $k=1$ treated separately by $\tau(\det h)\psi(\operatorname{tr} h^{-1})$) and $\operatorname{Kl}$ is the newly defined exotic matrix Kloosterman sum. The paper also proves a second, more explicit identity (Theorem 5.3): for $h$ written as a product of generalized Jordan blocks $J_{\mu_i}(h_{\xi_i})$, the sum $\operatorname{Kl}(\alpha,\psi,h)$ factors into modified Hall–Littlewood polynomials evaluated at the Frobenius roots of the exotic Kloosterman sheaf at the eigenvalues $\xi_i$. Together these results give a complete arithmetic description of Bessel–Speh special values.
Load-bearing premise
The load-bearing premise is that the Ginzburg–Kaplan gamma factor equals the tensor-product epsilon factor for every irreducible $\pi$ and every generic $\tau$; this equality is imported from earlier work and is not reproved here, and Theorem 4.6 collapses if it fails.
Editorial extensions
If this is right
- Every Bessel–Speh value for an irreducible generic $\tau$ is explicitly determined by exponential-sum data, not merely by abstract matrix coefficients.
- Exotic matrix Kloosterman sums inherit two multiplicativity properties: factorization over block-diagonal matrices with disjoint spectra, and a unipotent-average identity.
- The Hall–Littlewood expression turns these sums into quantities computable from the Frobenius characteristic polynomial, and Deligne's Weil bound gives absolute-value bounds for them.
- New Bessel-function identities follow, including a generating function over Jordan blocks whose coefficients are elementary and complete homogeneous symmetric polynomials in the Frobenius roots.
- The formula specializes to the earlier $c=1$ exotic Kloosterman formula and to the twisted matrix Kloosterman formula for principal series, so previously separate cases become one statement.
Reading between the lines
- The resemblance highlighted in the paper's last section suggests a dictionary in which normalized Frobenius roots of exotic Kloosterman sheaves play the role of Satake parameters for finite-field generic representations; making this dictionary precise could transfer Casselman–Shalika formulas from unramified local representations to Bessel–Speh values.
- Because the Hall–Littlewood formula expresses every exotic matrix Kloosterman sum through one $k$-element multiset of roots, the identity can be tested by comparing direct exponential-sum evaluations with sheaf-side traces for small $q$, which would also isolate where the imported gamma-factor equality enters.
- A different proof or a strengthening of the imported gamma-factor equality would automatically upgrade the main theorem to other families of representations or other models, since no other step in Section 4 depends on the specific shape of the Speh representation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces exotic matrix Kloosterman sums, generalizing both Katz's exotic Kloosterman sums and the twisted matrix Kloosterman sums of earlier work, and proves two main results. First, for an irreducible generic representation τ of GL_k(F) with cuspidal support determined by regular characters α_j, the special values of the associated Bessel–Speh function are shown to equal explicit sign and q-power multiples of these exotic matrix Kloosterman sums (Theorem 4.6, restating Theorem 1.1). Second, exotic matrix Kloosterman sums are expressed as products of modified Hall–Littlewood polynomials evaluated at the roots of the L-function of an exotic Kloosterman sheaf (Theorems 5.3 and 1.2). The proofs use Shintani's norm map, Kondo's Gauss sums, Macdonald's characteristic maps, and previously established Ginzburg–Kaplan gamma factors. Applications include identities for Bessel functions, bounds for the special values, and a comparison with Casselman–Shalika formulas.
Significance. If the results are correct, they provide a substantial bridge between exponential sums and representation theory of finite general linear groups, unifying and extending results of Curtis–Shinoda, Katz, and the author's earlier work. The Macdonald characteristic map computation in Section 5 is original and appears to be the first explicit connection of this type with gamma-factor theories. The paper also gives concrete applications, including a generating-function identity and effective bounds. The dependence on an unproved external gamma-factor identity is a concern, but the Hall–Littlewood part is proved independently and is a genuine contribution.
major comments (2)
- [Theorem 5.3 (and Theorem 1.2)] The unnormalized formula in Theorem 5.3 states Kl(α,ψ,h) = (-1)^{(k-1)c} q^{(k-1)c^2} ∏ ilde{H}_{μ_j}(ω_{1,[ξ_j]},...,ω_{k,[ξ_j]}; q^{a_j}). This is inconsistent with the proof. From the normalized identity Kl^* = ∏ ilde{H}_{μ_j}((-1)^{(k-1)a_j} ω^*_{1,[ξ_j]},...,ω^*_{k,[ξ_j]}; q^{a_j}) and the definitions Kl^* = q^{-(k-1)c^2/2} Kl (Section 3.5) together with ilde{H}(ω^*) = q^{-(k-1)c/2} ilde{H}(ω), one obtains Kl = (-1)^{(k-1)c} q^{(k-1)c(c-1)/2} ∏ ilde{H}(ω), not q^{(k-1)c^2}. For c = 1, the stated exponent gives q^{k-1} ≠ 1, which contradicts Remark 3.9, where Kl equals the classical exotic Kloosterman sum. The normalized version appears correct and is what is used later, but the unnormalized statement as printed is false and must be corrected.
- [Section 4.4, Theorem 4.6] The central identity Theorem 4.6 is derived by reducing Bessel–Speh special values to Ginzburg–Kaplan gamma factors and then invoking Theorem 4.4, the equality γ_GK(π×τ,ψ) = ε_0(π×τ,ψ) for all irreducible π and all irreducible generic τ. This equality is not proved in this paper; it is imported from the author's prior work [5] and the preprint [44]. Since [44] is an unpublished arXiv preprint and the equality is used precisely in the regime of non-principal-series generic τ with c ≥ 2, where the paper claims new content, Theorem 4.6 is conditional on an external result whose correctness has not been independently verified here. The internal consistency checks (principal series λ=(1^k), and c=1 reducing to Curtis–Shinoda) do not cover this regime. Please either include a proof of the required cases of Theorem 4.4, or explicitly state Theorem 4.6 as contingent on the external equality and indicate the status of [44].
minor comments (4)
- [Section 1.4] In the sentence 'Given a character α = α_1 × ... × α_s → C', the domain is missing; it should be α : F_λ^× → C^×.
- [Section 4.2.3] The sentence 'Carmon proved in [3, Theorem 6.18] that for any irreducible generic representation τ of GL_{kc}(F)' should read 'of GL_k(F)', since the Speh representation Δ(τ,c) is a representation of GL_{kc}(F).
- [Section 5.2.6, equation (15)] The subscript in 'p^{[ξ]}_{kdegθ/degξ}' is ambiguous; please clarify the intended notation, for instance by writing p^{[ξ]}_{k deg(θ)/deg(ξ)} or adding a parenthetical explanation.
- [Section 2.3.2] The remark that the normalized version 'is not exactly the same normalized version as in [46]' is useful, but it would be clearer to state the precise difference in conventions, since a mismatch here can affect comparisons with the earlier paper.
Circularity Check
No significant circularity: Theorem 4.6 is a genuine corollary of an imported gamma-factor theorem, and the Hall–Littlewood results are derived independently.
full rationale
The central identity Theorem 4.6 is derived in Section 4.4 by combining Proposition 4.1 with the imported theorem Theorem 4.4, which states the equality of Ginzburg–Kaplan gamma factors and tensor-product epsilon factors. Although Theorem 4.4 comes from the authors' prior work [5,44] and is not re-proved here, it is a parameter-free statement about gamma factors whose assumptions do not include the target Bessel–Speh formula; it is therefore independent support rather than a restatement of the conclusion. The exotic matrix Kloosterman sums are not defined in terms of K_{tau,psi}: for a single character they are defined explicitly in Section 3.5.1 as sums over Shintani norm classes (Eq. (10) and the displayed formula after it), and for products of characters by the convolution in Section 3.5.2. The relation to K_{tau,psi} is then proved by comparing Fourier transforms, not imposed by construction. Section 5, which expresses exotic matrix Kloosterman sums as products of modified Hall–Littlewood polynomials evaluated at roots of exotic Kloosterman sheaves, proceeds independently through Macdonald's characteristic maps and does not rely on the gamma-factor equality. No fitted quantity is later called a prediction, and no uniqueness theorem is imported to force the choice of the new sums. The heavy dependence on [5,44] is a verification and provenance risk, but it is not circularity.
Assumptions & free parameters
assumptions (7)
- standard math Irreducible representations of GL_n(F) are parameterized by cuspidal support via Green's theorem.
- standard math Kondo's explicit formula for non-abelian Gauss sums (Theorem 3.1, reference [27]).
- standard math Shintani's norm map gives a bijection between twisted conjugacy classes and conjugacy classes, and Shintani lifts exist (Theorem 3.2, reference [36]).
- standard math Silberger-Zink description of the cuspidal support of Shintani lifts (Section 3.3.3, reference [38]).
- domain assumption Equality of Ginzburg-Kaplan gamma factors and tensor product epsilon factors (Theorem 4.4, citing references [5] and [44]).
- domain assumption The L-function for the family of exotic Kloosterman sums is a polynomial of degree k (Section 2.3.2, citing reference [14]).
- standard math Macdonald's characteristic map is an algebra isomorphism and an isometry preserving inner products (Section 5.2.6, reference [31]).
Cite this review
Pith. "Pith review of On exotic matrix exponential sums and Bessel-Speh functions." pith.science (2026). https://pith.science/paper/KUQQFAT4
@misc{pith2026250706394,
author = {Pith},
title = {Pith review of: On exotic matrix exponential sums and Bessel-Speh functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/KUQQFAT4}},
note = {Machine review of arXiv:2507.06394}
}
abstract
In a previous work with Carmon, we defined Bessel--Speh functions. These are matrix coefficients of irreducible Speh representations of $\mathrm{GL}_{kc}(\mathbb{F})$, where $\mathbb{F}$ is a finite field. They arise from $(k,c)$ models, which are models that generalize the Whittaker model to Speh representations attached to irreducible generic representations. These constructions are finite field analogs of objects arising naturally in the generalized doubling method over $p$-adic fields, a recently active area of the Langlands program. In this article we study special values of Bessel--Speh functions which were used in our previous work with Carmon to define Ginzburg--Kaplan gamma factors. Our main result computes the special values of interest explicitly in terms of new arithmetic objects we introduce, called exotic matrix Kloosterman sums, which generalize both Katz's exotic Kloosterman sums and twisted matrix Kloosterman sums. We then show that exotic matrix Kloosterman sums can be expressed as products of modified Hall--Littlewood polynomials evaluated at roots of the characteristic polynomial of the Frobenius acting on Katz's exotic Kloosterman sheaf. As an application of our results, we establish new identities for Bessel functions of irreducible generic representations.
Reference graph
Works this paper leans on
-
[5]
O. Carmon and E. Zelingher. On Ginzburg-Kaplan gamma factors and Bessel-Speh functions for finite general linear groups.Tunis. J. Math., 2025. In press
work page 2025
- [44]
-
[1]
Y. Cai, S. Friedberg, D. Gourevitch, and E. Kaplan. The generalized doubling method: (k, c) models. Proc. Amer. Math. Soc., 151(7):2831–2845, 2023
work page 2023
-
[2]
Y. Cai, S. Friedberg, and E. Kaplan. Doubling constructions: global functoriality for non-generic cusp- idal representations.Ann. of Math. (2), 200(3):893–966, 2024
work page 2024
-
[3]
O. Carmon. Shalika Vectors for Irreducible Representations of GL n over a Finite Field. Master’s thesis, Tel Aviv University, 2023. DaTA:9933623517704146
work page 2023
-
[4]
O. Carmon and E. Zelingher. On Ginzburg-Kaplan gamma factors and Bessel-Speh functions for finite general linear groups. 2024. arXiv:2406.14262
-
[6]
W. Casselman and J. Shalika. The unramified principal series ofp-adic groups. II. The Whittaker function.Compositio Math., 41(2):207–231, 1980
work page 1980
-
[7]
H.-j. Chae and D. S. Kim.Lfunctions of some exponential sums of finite classical groups.Math. Ann., 326(3):479–487, 2003
work page 2003
Show all 47 references
-
[8]
C. W. Curtis and K.-i. Shinoda. Zeta functions and functional equations associated with the components of the Gelfand-Graev representations of a finite reductive group. InRepresentation theory of algebraic groups and quantum groups, volume 40 ofAdv. Stud. Pure Math., pages 121...
2004
-
[9]
Deligne.Cohomologie ´ etale, volume 569 ofLecture Notes in Mathematics
P. Deligne.Cohomologie ´ etale, volume 569 ofLecture Notes in Mathematics. Springer-Verlag, Berlin,
-
[10]
El-Baz, M
D. El-Baz, M. Lee, and A. Str¨ ombergsson. Effective equidistribution of primitive rational points on expanding horospheres.arXiv. arXiv:2212.07408
-
[11]
Erd´ elyi, W
M. Erd´ elyi, W. Sawin, and A. T´ oth. The purity locus of matrix Kloosterman sums.Trans. Amer. Math. Soc., 377(06):4117–4132, 2024
2024
-
[12]
Erd´ elyi and´A
M. Erd´ elyi and´A. T´ oth. Matrix Kloosterman sums.Algebra Number Theory, 18(12):2247–2308, 2024
2024
-
[13]
Erd´ elyi, A
M. Erd´ elyi, A. T´ oth, and G. Z´ abr´ adi. Matrix Kloosterman sums modulo prime powers.Math. Z., 306(4):Paper No. 68, 2024
2024
-
[14]
Fu and D
L. Fu and D. Wan.L-functions for symmetric products of Kloosterman sums.J. Reine Angew. Math., 589:79–103, 2005
2005
-
[15]
J. Fulman. A new bound for Kloosterman sums.arXiv, 2001. arXiv:0105172
2001
-
[16]
S. I. Gel’fand. Representations of the full linear group over a finite field.Math. USSR Sb., 12(13):13–39, 1970
1970
-
[17]
Ginzburg
D. Ginzburg. Tensor productL-functions on metaplectic covering groups ofGL r.Proceedings of the American Mathematical Society. In press
-
[18]
J. A. Green. The characters of the finite general linear groups.Trans. Amer. Math. Soc., 80:402–447, 1955
1955
-
[19]
Gurevich and R
S. Gurevich and R. Howe. Harmonic analysis onGL n over finite fields.Pure Appl. Math. Q., 17(4):1387– 1463, 2021
2021
-
[20]
M. Haiman. Combinatorics, symmetric functions, and Hilbert schemes. InCurrent developments in mathematics, 2002, pages 39–111. Int. Press, Somerville, MA, 2003
2002
-
[21]
Heinloth, B.-C
J. Heinloth, B.-C. Ngˆ o, and Z. Yun. Kloosterman sheaves for reductive groups.Ann. of Math. (2), 177(1):241–310, 2013
2013
-
[22]
J. H. Hodges. Weighted partitions for general matrices over a finite field.Duke Math. J., 23:545–552, 1956
1956
-
[23]
E. Kaplan. Rankin-Selberg integrals andL-functions for covering groups of general linear groups.Int. Math. Res. Not. IMRN, (15):13332–13386, 2023
2023
-
[24]
N. M. Katz.Gauss sums, Kloosterman sums, and monodromy groups, volume 116 ofAnnals of Mathe- matics Studies. Princeton University Press, Princeton, NJ, 1988. EXOTIC MATRIX EXPONENTIAL SUMS 49
1988
-
[25]
N. M. Katz. Estimates for Soto-Andrade sums.J. Reine Angew. Math., 438:143–161, 1993
1993
-
[26]
D. S. Kim. Gauss sums for symplectic groups over a finite field.Monatsh. Math., 126(1):55–71, 1998
1998
-
[27]
T. Kondo. On Gaussian sums attached to the general linear groups over finite fields.J. Math. Soc. Japan, 15:244–255, 1963
1963
-
[28]
Kowalski, P
E. Kowalski, P. Michel, and W. Sawin. Bilinear forms with Kloosterman sums and applications.Ann. of Math. (2), 186(2):413–500, 2017
2017
-
[29]
E. M. Lapid and Z. Mao. Local Rankin-Selberg integrals for Speh representations.Compos. Math., 156(5):908–945, 2020
2020
-
[30]
I. G. Macdonald. Zeta functions attached to finite general linear groups.Math. Ann., 249(1):1–15, 1980
1980
-
[31]
I. G. Macdonald.Symmetric functions and Hall polynomials. Oxford Classic Texts in the Physical Sci- ences. The Clarendon Press, Oxford University Press, New York, second edition, 2015. With contribution by A. V. Zelevinsky and a foreword by Richard Stanley
2015
-
[32]
J. Marklof. The asymptotic distribution of Frobenius numbers.Invent. Math., 181(1):179–207, 2010
2010
-
[33]
Nien and L
C. Nien and L. Zhang. Converse theorem of Gauss sums.J. Number Theory, 221:365–388, 2021. With an appendix by Zhiwei Yun
2021
-
[34]
S. Ram. Subspace Profiles over Finite Fields andq-Whittaker Expansions of Symmetric Functions. 2023. arXiv:2309.16607
2023 arXiv
-
[35]
Whittaker functions
T. Shintani. On an explicit formula for class-1 “Whittaker functions” onGL n overP-adic fields.Proc. Japan Acad., 52(4):180–182, 1976
1976
-
[36]
Shintani
T. Shintani. Two remarks on irreducible characters of finite general linear groups.J. Math. Soc. Japan, 28(2):396–414, 1976
1976
-
[37]
A. J. Silberger and E.-W. Zink. The characters of the generalized Steinberg representations of finite general linear groups on the regular elliptic set.Trans. Amer. Math. Soc., 352(7):3339–3356, 2000
2000
-
[38]
A. J. Silberger and E.-W. Zink. Explicit Shintani base change and the Macdonald correspondence for characters of GL n(k).J. Algebra, 319(10):4147–4176, 2008
2008
-
[39]
Soudry and E
D. Soudry and E. Zelingher. On gamma factors for representations of finite general linear groups.Essent. Number Theory, 2(1):45–82, 2023
2023
-
[40]
F. N. E. Thiem.Unipotent Hecke algebras: The structure, representation theory, and combinatorics. ProQuest LLC, Ann Arbor, MI, 2004. Thesis (Ph.D.)–The University of Wisconsin - Madison
2004
-
[41]
Ye and E
R. Ye and E. Zelingher. Epsilon factors of representations of finite general linear groups.J. Number Theory, 221:122–142, 2021
2021
-
[42]
Z. Yun. Epipelagic representations and rigid local systems.Selecta Math. (N.S.), 22(3):1195–1243, 2016
2016
-
[43]
Zelingher
E. Zelingher. On values of the Bessel function for generic representations of finite general linear groups. Adv. Math., 434:Paper No. 109314, 47, 2023
2023
-
[45]
Zelingher
E. Zelingher. On a Casselman–Shalika type formula for unramified Speh representations.Proc. Amer. Math. Soc., 153(7):2785–2798, 2025
2025
-
[46]
Zelingher
E. Zelingher. On matrix Kloosterman sums and Hall-Littlewood polynomials.Trans. Amer. Math. Soc., 378(5):3597–3623, 2025. Department of Mathematics, University of Michigan, 1844 East Hall, 530 Church Street, Ann Arbor, MI 48109-1043 USA Email address:eladz@umich.edu
2025
-
[1977]
S´ eminaire de g´ eom´ etrie alg´ ebrique du Bois-Marie SGA 41 2
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.