pith. sign in

arxiv: 2506.18299 · v3 · pith:EZCSTRX2new · submitted 2025-06-23 · 🧮 math.NT

Stratification theorems for exponential sums in families

Dante Bonolis , Emmanuel Kowalski , Katharine Woo This is my paper

Pith reviewed 2026-05-22 13:11 UTC · model grok-4.3

classification 🧮 math.NT
keywords exponential sumsstratification theoremsfinite fieldsKatz-LaumonFouvry-Katzuniformity in familiestrace functions
0
0 comments X

The pith

Stratification theorems for exponential sums over finite fields admit uniform variants in families.

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

The paper surveys stratification theorems for exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, together with some of their applications. Motivated by recent parametric work, the authors prove that these statements admit uniform variants when the sums are considered in families. The uniformity holds both algebraically and analytically. This means the key stratification properties remain effective across varying parameters rather than requiring separate arguments for each case. An appendix supplies an elementary introduction to trace functions in several variables over finite fields.

Core claim

We survey stratification theorems concerning exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, and prove that these stratification statements admit uniform variants in families, both algebraically and analytically.

What carries the argument

Uniform algebraic and analytic variants of the Katz-Laumon and Fouvry-Katz stratification theorems applied to families of exponential sums.

If this is right

  • Stratification properties for exponential sums continue to hold when the sums vary in a family.
  • Uniform bounds are obtained simultaneously for all members of an algebraic or analytic family.
  • Applications that previously required case-by-case arguments now apply directly to parametric situations.
  • Trace-function techniques in several variables become available for uniform estimates across families.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The uniform results may simplify proofs in arithmetic problems that involve several parameters at once.
  • Similar uniformity arguments could be tested on other stratification statements not covered here.
  • The multi-variable trace-function introduction may support explicit calculations in higher-dimensional families.

Load-bearing premise

The Katz-Laumon and Fouvry-Katz stratification theorems extend to the parametric setting without new obstructions that destroy uniformity.

What would settle it

A specific family of exponential sums over finite fields in which the stratification bound fails to remain uniform when the parameter varies.

read the original abstract

We survey some of the stratification theorems concerning exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, as well as some of their applications. Moreover, motivated partly by recent work of Bonolis, Pierce and Woo (arXiv:2505.11226), we prove that these stratification statements admit uniform variants in families, both algebraically and analytically. The paper includes an Appendix by Forey, Fres\'an and Kowalski (excerpted from arXiv:2109.11961), which provides an elementary intuitive introduction to trace functions in more than one variable over finite fields.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript surveys stratification theorems for exponential sums over finite fields, with emphasis on the Katz-Laumon and Fouvry-Katz results and their applications. Motivated by the setup in Bonolis-Pierce-Woo (arXiv:2505.11226), it establishes uniform algebraic and analytic variants of these theorems in families by adapting the original geometric and analytic arguments while tracking constants with respect to family parameters. An appendix by Forey, Fresán and Kowalski (excerpted from arXiv:2109.11961) supplies an elementary introduction to trace functions in several variables.

Significance. If the uniformity statements hold, the work supplies a practical strengthening of existing stratification theorems, enabling their direct use in parametric settings without loss of control on implied constants. This is valuable for applications in arithmetic statistics and analytic number theory over function fields. The survey component and the appended introduction to multivariable trace functions improve accessibility and may facilitate further extensions.

major comments (2)
  1. [§3] §3 (uniform algebraic stratification): the argument adapts the Katz-Laumon monodromy computation to the family setting; it should explicitly confirm that the geometric monodromy group remains the same (or at least that its dimension and connectedness properties are independent of the parameter) so that the stratification depth does not deteriorate uniformly.
  2. [§4] §4 (uniform analytic variant): the error-term estimates inherited from Fouvry-Katz must be shown to remain uniform in the family parameter; the manuscript should record the precise dependence of the implied constants on the degree and the height of the family, rather than merely asserting that the adaptation works.
minor comments (3)
  1. [§2] The notation for the family parameter (e.g., the base scheme S and the relative dimension) should be introduced once at the beginning of §2 and used consistently thereafter.
  2. [Appendix] In the appendix, the definition of the trace function in two variables would benefit from one additional concrete example (e.g., a Kloosterman sum in two variables) to illustrate the multivariable formalism.
  3. All citations to arXiv:2505.11226 and arXiv:2109.11961 should appear in a uniform bibliographic format.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for the constructive suggestions. We address each major comment below and will revise the text to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [§3] §3 (uniform algebraic stratification): the argument adapts the Katz-Laumon monodromy computation to the family setting; it should explicitly confirm that the geometric monodromy group remains the same (or at least that its dimension and connectedness properties are independent of the parameter) so that the stratification depth does not deteriorate uniformly.

    Authors: We agree that an explicit statement is desirable for clarity. In the revised §3 we will add a short paragraph confirming that the geometric monodromy group of the relevant local system is independent of the family parameter: the representation factors through the base in such a way that both its dimension and its connectedness properties are constant across the family. This guarantees that the stratification depth remains uniform and does not deteriorate with the parameter. revision: yes

  2. Referee: [§4] §4 (uniform analytic variant): the error-term estimates inherited from Fouvry-Katz must be shown to remain uniform in the family parameter; the manuscript should record the precise dependence of the implied constants on the degree and the height of the family, rather than merely asserting that the adaptation works.

    Authors: We accept the referee’s point. In the revised §4 we will replace the current assertion with an explicit tracking of constants: we record that the implied constants in the error terms depend at most polynomially on the degree and height of the family, following the same estimates as in Fouvry–Katz but with the dependence made visible through the adaptation to the parametric setting. revision: yes

Circularity Check

0 steps flagged

Minor self-citation for parametric setup; central uniform extension proved independently

full rationale

The paper surveys the base Katz-Laumon and Fouvry-Katz stratification theorems as background, then establishes uniform algebraic and analytic variants in families by adapting the original geometric and analytic arguments while tracking constants with respect to family parameters. The citation to Bonolis-Pierce-Woo (arXiv:2505.11226) supplies motivating setup for the parametric case but does not define or fit the target statements; the proofs remain self-contained adaptations without reducing to self-defined quantities, fitted predictions, or load-bearing self-citations. No equations or derivations collapse by construction to prior inputs from the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of the classical stratification theorems and on the technical possibility of lifting them uniformly to families; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Stratification theorems of Katz-Laumon and Fouvry-Katz apply to exponential sums over finite fields.
    The survey and the uniform extension are built directly on these background results.

pith-pipeline@v0.9.0 · 5623 in / 1151 out tokens · 37480 ms · 2026-05-22T13:11:15.062715+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Multiple Gauss sums

    math.NT 2026-04 unverdicted novelty 6.0

    New bound on multiple Gauss sums improves the Birch-Goldbach result: nonsingular systems of R forms of max degree D in s variables have prime solutions when s ≥ D² 4^{D+2} R^5.

  2. Multiple Gauss sums

    math.NT 2026-04 unverdicted novelty 6.0

    New bound on multiple Gauss sums used to prove that nonsingular polynomial systems F(x)=0 have prime solutions when s is at least D squared times 4 to the D+2 times R to the fifth.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bonolis, L

    D. Bonolis, L. Pierce and K. Woo: Counting integral points on thin sets of type II: singularities, sieves and stratification, preprint, arXiv:2505.11226

    work page arXiv

  2. [2]

    Forey, J

    A. Forey, J. Fres´ an and E. Kowalski: Arithmetic Fourier transforms over finite fields , to appear in Ast´ erisque;arXiv:2109.11961

    work page arXiv

  3. [3]

    Analysis and Topology on Singular Spaces

    A.A. Be˘ ılinson, J. Bernstein, P. Deligne and O. Gabber:Faisceaux pervers, in “Analysis and Topology on Singular Spaces”, Luminy, Ast´ erisque 100, S.M.F, 1982

    work page 1982

  4. [4]

    Fouvry: Consequences of a result of N

    ´E. Fouvry: Consequences of a result of N. Katz and G. Laumon concerning trigonometric sums , Israel J. Math. 120 (2000), 81–96

    work page 2000

  5. [5]

    Fouvry: Sur les propri´ et´ es de divisibilit´ e des nombres de classes des corps quadratiques, Bulletin S

    ´E. Fouvry: Sur les propri´ et´ es de divisibilit´ e des nombres de classes des corps quadratiques, Bulletin S. M. F. 127 (1999), 95–113

    work page 1999

  6. [6]

    Fouvry and N

    ´E. Fouvry and N. Katz: A general stratification theorem for exponential sums, and applications , Crelle 540 (2001), 115–166

    work page 2001

  7. [7]

    Fouvry, E

    ´E. Fouvry, E. Kowalski and Ph. Michel: Trace Functions over Finite Fields and Their Applications , in Colloquium De Giorgi 2013–14, Ed. Norm. Pisa 5, 2015

    work page 2013

  8. [8]

    Analytic methods in arithmetic geometry

    ´E. Fouvry, E. Kowalski, Ph. Michel and W. Sawin: Lectures on applied ℓ-adic cohomology, in “Analytic methods in arithmetic geometry”, Contemp. Math. 740, A.M.S, 2019

    work page 2019

  9. [9]

    Friedlander and H

    J. Friedlander and H. Iwaniec: Incomplete Kloosterman sums and a divisor problem , Ann. of Math 212 (1985), 319–350; with an appendix by B. J. Birch and E. Bombieri

    work page 1985

  10. [10]

    Fu: ´Etale cohomology theory, Nankai Tracts in Math

    L. Fu: ´Etale cohomology theory, Nankai Tracts in Math. 13, World Scientific (2010)

    work page 2010

  11. [11]

    G¨ ortz and T

    U. G¨ ortz and T. Wedhorn:Algebraic geometry, I: schemes , Vieweg-Teubner 2010

    work page 2010

  12. [12]

    Granville, I

    A. Granville, I. Shparlinski and A. Zaharescu: On the distribution of rational functions along a curve over Fp and residue races, J. Number Theory 112 (2005), 216–237

    work page 2005

  13. [13]

    Hooley: On the number of points on a complete intersection over a finite field , J

    C. Hooley: On the number of points on a complete intersection over a finite field , J. Number Theory 38 (1991), 338–358; with an Appendix by N.M. Katz. 43

    work page 1991

  14. [14]

    Ireland and M

    K. Ireland and M. Rosen: A classical introduction to modern number theory , 2nd edition, Grad. Texts in Math. 84, Springer, 1992

    work page 1992

  15. [15]

    Iwaniec and E

    H. Iwaniec and E. Kowalski: Analytic number theory, A.M.S Colloquium Publ. 53, 2004

    work page 2004

  16. [16]

    : N. M. Katz: Gauss sums, Kloosterman sums and monodromy groups , Annals of Math. Studies 116, Princeton Univ. Press (1988)

    work page 1988

  17. [17]

    N. M. Katz: Sums of Betti numbers in arbitrary characteristics , Finite Fields and Their Applications 7 (2001), 29–44

    work page 2001

  18. [18]

    N. M. Katz: Affine cohomological transforms, perversity and monodromy , Journal AMS 6 (1993), 149–222

    work page 1993

  19. [19]

    N. M. Katz: Moments, monodromy and perversity, Annals of Math. Studies 159, Princeton Univ. Press (2005)

    work page 2005

  20. [20]

    Katz and G

    N.M. Katz and G. Laumon: Transformation de Fourier et majoration de sommes exponentielles , Publ. Math. IH ´ES 62 (1985); 145–202; Corrigendum 69 (1989), 233

    work page 1985

  21. [21]

    Laumon: Transformation de Fourier, constantes d’´ equations fonctionnelles et conjecture de Weil , Publ

    G. Laumon: Transformation de Fourier, constantes d’´ equations fonctionnelles et conjecture de Weil , Publ. Math. IH ´ES 65 (1987), 131–210

    work page 1987

  22. [22]

    Pierce, J

    L.B. Pierce, J. Xu: Burgess bounds for short character sums evaluated at forms , Algebra Number Theory 14 (2020), 1911–1951

    work page 2020

  23. [23]

    Sawin; A

    W. Sawin; A. Forey, J. Fres´ an and E. Kowalski: Quantitative sheaf theory , Journal of the AMS 36 (2023), 653–726

    work page 2023

  24. [24]

    Serre: Lectures on the Mordell-Weil theorem, Aspects of Mathematics, Vieweg, third edition, 1997

    J-P. Serre: Lectures on the Mordell-Weil theorem, Aspects of Mathematics, Vieweg, third edition, 1997

    work page 1997

  25. [25]

    Xu: Stratification for multiplicative character sums , Int

    J. Xu: Stratification for multiplicative character sums , Int. Math. Res. Not. 10 (2020), 2881–2917

    work page 2020

  26. [26]

    Zhang: Bounded gaps between primes , Ann

    Y. Zhang: Bounded gaps between primes , Ann. of Maths 179 (2014), 1121–1174. Duke University, 120 Science Drive, Durham NC 27708 Email address : dante.bonolis@duke.edu ETH Z¨urich – D-MATH, R¨amistrasse 101, CH-8092 Z ¨urich, Switzerland Email address : kowalski@math.ethz.ch Department of Mathematics, Stanford University, Stanford, CA 94305 Email address ...

    work page 2014