Bessel Distributions and Kloosterman Sums
Pith reviewed 2026-06-30 05:36 UTC · model grok-4.3
The pith
Bessel distributions are regular for all generic representations on split reductive p-adic groups if Kloosterman sums on Levi subgroups have nontrivial bounds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that Bessel distributions are regular for all generic representations on G provided that Kloosterman sums for any Levi subgroups of G have nontrivial bounds, established through germ expansions of the Kloosterman integrals for G.
What carries the argument
Germ expansions of Kloosterman integrals, which decompose the integrals in terms of contributions from Levi subgroups to transfer bounds into regularity.
If this is right
- Bessel distributions become regular under the stated condition on Kloosterman sums.
- The result applies to every split reductive group over a p-adic field.
- Regularity is obtained for all generic representations.
- The proof reduces the problem on G to properties on its Levi subgroups via the expansions.
Where Pith is reading between the lines
- The approach suggests a recursive verification of regularity by descending through the Levi series of the group.
- If independent bounds on Kloosterman sums are known for smaller groups, this yields regularity for larger ones without direct computation.
- Such regularity could facilitate the matching of distributions in the context of the trace formula or local character expansions.
Load-bearing premise
The germ expansions of Kloosterman integrals are valid and can transfer the nontrivial bounds from Levi subgroups to establish regularity of the Bessel distributions.
What would settle it
Finding a split reductive group over a p-adic field, a generic representation, and Kloosterman sums on all Levi subgroups with nontrivial bounds, yet the corresponding Bessel distribution fails to be regular.
read the original abstract
Let $G$ be a split reductive group over a $p$-adic field. We give germ expansions of Kloosterman integrals for $G$. As an application, we prove that Bessel distributions are regular for all generic representations on $G$ provided that Kloosterman sums for any Levi subgroups of $G$ have nontrivial bounds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes germ expansions for Kloosterman integrals attached to a split reductive group G over a p-adic field. As an application, it proves that the associated Bessel distributions are regular for every generic representation of G, conditional on the existence of nontrivial bounds for Kloosterman sums attached to all Levi subgroups of G.
Significance. If the germ expansions and the transfer argument hold, the result supplies a clean conditional statement relating regularity of Bessel distributions to bounds on Kloosterman sums on Levi subgroups. This is a standard-style advance in the p-adic theory of distributions and could serve as a useful reference once the conditional hypothesis is verified in concrete cases.
minor comments (2)
- [Main theorem] The statement of the main theorem (presumably in §4 or §5) should explicitly record the precise form of the germ expansion used, including the support of the test functions and the range of the parameters, so that the transfer from Levi-subgroup bounds is immediately verifiable.
- [Notation section] Notation for the various Kloosterman integrals and their germs should be made uniform across sections; at present the same symbol appears to be reused for the integral and its germ expansion in different contexts.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. The referee's summary accurately describes the main results on germ expansions of Kloosterman integrals and the conditional regularity of Bessel distributions.
Circularity Check
No significant circularity; result is conditional on external bounds
full rationale
The paper states two main contributions: (1) germ expansions of Kloosterman integrals for G, and (2) an application proving regularity of Bessel distributions for generic representations, but only conditionally on nontrivial bounds for Kloosterman sums on Levi subgroups. The abstract and structure position the germ expansions as an independent technical result that serves as a bridge to transfer the external bounds. No equations, definitions, or self-citations are presented that reduce the claimed regularity statement to a fit, renaming, or self-referential input by construction. The derivation chain remains self-contained against external benchmarks because the nontrivial bounds are explicitly imported as an assumption rather than derived internally.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Adams, D
J. Adams, D. Vogan, Contragredient representations and characterizing the local Langlands correspondence. Amer. J. Math., 138(3):657–682, 2016
2016
-
[2]
Aizenbud, D
A. Aizenbud, D. Gourevitch and A. Komarsky, Vanishing of certain equivariant distributions on p -adic spherical spaces, and nonvanishing of spherical Bessel functions . International Mathematics Research Notices, (2015), no.18, 8471-8483
2015
-
[3]
Aizenbud, D
A. Aizenbud, D. Gourevitch and E. Sayag, z -finite distributions on p -adic groups . Advances in Mathematics 285 (2015), 1376-1414
2015
-
[4]
E. M. Baruch, On Bessel distributions of GL(2) over a p -adic field. J. Number Theory 67 (1997), 190-202
1997
-
[5]
E. M. Baruch, On Bessel distributions for quasi-split groups. Transactions American Math. Society, 353, no.7, (2001), 2601-2614
2001
-
[6]
E. M. Baruch, Bessel distribution for GL(3) over the p -adic field. Pac. J. Math. 217 (1) (2004), 11-27
2004
-
[7]
E. M. Baruch and Z. Mao. A Whittaker-Plancherel inversion formula for _2( ) . Journal of Functional Analysis, 238 (2006), 221-244
2006
-
[8]
Blomer and S
V. Blomer and S. Man, Bounds for Kloosterman sums on GL(n) . Math. Ann. 390 (2024), 1171-1200
2024
-
[9]
Bj\"orner and F
A. Bj\"orner and F. Brenti. Combinatorics of Coxeter Groups , Graduate Texts in Mathematics, 231, Springer-Verlag, New York, 2005
2005
-
[10]
Bump, Lie groups , Graduate Texts in Mathematics, vol
D. Bump, Lie groups , Graduate Texts in Mathematics, vol. 225, Springer-Verlag, New York, 2004
2004
-
[11]
Chai, On Bessel functions over p -adic fields
J. Chai, On Bessel functions over p -adic fields. International Mathematics Research Notices, (2019), no.3, 673-699
2019
-
[12]
Cogdell, I.I
J.W. Cogdell, I.I. Piatetski-Shapiro, and F. Shahidi, Partial Bessel functions for quasi-split groups , Automorphic Representations, L-functions and Applications: Progress and Prospects. Walter de Gruyter, Berlin, 2005, 95–128
2005
-
[13]
D a browski, M
R. D a browski, M. Reeder, Kloosterman sets in reductive groups . Journal of Number Theory 73 (1998), no.2, 228-255
1998
-
[14]
P. Deligne. Le “centre” de Bernstein. In Representations of reductive groups over a local field, Travaux en Cours, pages 1–32. Hermann, Paris, 1984. Edited by P. Deligne
1984
-
[15]
D. Goldfeld, E. Stade, and M. Woodbury, An orthogonality relation for (4, ) (with an appendix by Bingrong Huang) . arXiv: 1910.13586. Forum of Mathematics, Sigma (2021), 1-83
-
[16]
J. Guo. Spherical characters on certain p -adic symmetric spaces. preprint, available at https://archive.mpim-bonn.mpg.de/id/eprint/525/
-
[17]
J. Hakim. Admissible distributions on p -adic symmetric spaces. J. Reine Angew. Math. 455 (1994), 1-19
1994
-
[18]
Lecture Notes in Mathematics, 162, Springer-Verlag, Berlin, 1970
Harish-Chandra, Harmonic analysis on reductive p -adic groups. Lecture Notes in Mathematics, 162, Springer-Verlag, Berlin, 1970. Notes by G. van Dijk
1970
-
[19]
University Lecture Series, vol
Harish-Chandra, Admissible invariant distributions on reductive p -adic groups. University Lecture Series, vol. 16, American Mathematical Society, Providence, RI. 1999, Preface and notes by Stephen DaBacker and Paul J. Sally, Jr
1999
-
[20]
Jacquet, Germs for Kloosterman integrals, a review
H. Jacquet, Germs for Kloosterman integrals, a review . Contemp. Math. Vol. 664 (2016), 182-195
2016
-
[21]
Jacquet, Y
H. Jacquet, Y. Ye, Distinguished representation and quadratic base change for (3) . Transactions American Math. Society, 348, no.3, (1996), 913-939
1996
-
[22]
Jacquet, Y
H. Jacquet, Y. Ye, Germs of Kloosterman integrals for (3) . Transactions American Math. Society, 351, no.3, (1999), 1227-1255
1999
-
[23]
On the local Langlands conjectures for disconnected groups
T. Kaletha, On the local Langlands conjectures for disconnected groups , 2022, arXiv:2210.02519
work page internal anchor Pith review Pith/arXiv arXiv 2022
-
[24]
Lapid, Z
E. Lapid, Z. Mao, Stability of certain oscillatory integrals. International Mathematics Research Notices, (2013), no.3, 525-547
2013
-
[25]
Man, Symplectic Kloosterman sums and Poincare series
S. Man, Symplectic Kloosterman sums and Poincare series. Ramanujan J. 57 (2022), 707-753
2022
-
[26]
S. Man. Fourier coefficients of Sp(4) Eisenstein series. Acta Arith., 213(3):227–271, 2024
2024
-
[27]
Bessel functions and Kloosterman integrals on GL(n)
Xinchen Miao. Bessel functions and Kloosterman integrals on GL(n) . Journal of Functional Analysis. 286 (2024), 110267
2024
-
[28]
Milne, Algebraic groups: The theory of group schemes of finite type over a field , Cambridge Studies in Advanced Mathematics, vol
James S. Milne, Algebraic groups: The theory of group schemes of finite type over a field , Cambridge Studies in Advanced Mathematics, vol. 170, Cambridge University Press, Cambridge, 2017
2017
-
[29]
Qi and C
Z. Qi and C. Yang. A Whittaker-Plancherel inversion formula for _2( ) . J. Anal. Math. 145, No. 1 (2021), 235-256
2021
-
[30]
Rader and S
C. Rader and S. Rallis. Spherical characters on p -adic symmetric spaces. Amer. Jour. Math., 118 (1996), 91-178
1996
-
[31]
T. A. Springer, Linear algebraic groups , 2nd ed., Progress in Mathematics, vol. 9, Birkh\"auser Boston, Inc., Boston, MA, 1998, DOI 10.1007/978-0-8176-4840-4. MR1642713
-
[32]
Stevens, Poincar\'e series on (r) and Kloostermann sums
G. Stevens, Poincar\'e series on (r) and Kloostermann sums . Math. Annalen 277 (1987), 25-51
1987
-
[33]
Steinberg, Lectures on Chevalley Groups
R. Steinberg, Lectures on Chevalley Groups . New Haven, CT: Yale University, 1968. Notes prepared by John Faulkner and Robert Wilson
1968
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.