pith. sign in

arxiv: 1907.07097 · v1 · pith:KCDYL27Pnew · submitted 2019-07-16 · 🧮 math.NT

Rational points on complete intersections over mathbb{F}_q(t)

Pankaj Vishe This is my paper

Pith reviewed 2026-05-24 20:41 UTC · model grok-4.3

classification 🧮 math.NT
keywords rational pointscomplete intersectionsfunction fieldsKloosterman sumsquadricsarithmetic geometryDiophantine equations
0
0 comments X

The pith

A Kloosterman refinement over function fields gives quantitative counts of rational points on smooth complete intersections of two quadrics when n is at least 9.

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

The paper develops a Kloosterman refinement adapted to function fields K = F_q(t). This refinement is applied to obtain quantitative arithmetic statements about the set of K-rational points on a smooth complete intersection X of two quadrics inside projective space of dimension n-1. The statements hold when q is odd and n is at least 9. A sympathetic reader cares because the work transfers analytic counting techniques from number fields to the function field setting and produces concrete information on the distribution of solutions.

Core claim

By developing a Kloosterman refinement for function fields K=F_q(t), the author establishes the quantitative arithmetic of the set of rational points on a smooth complete intersection of two quadrics X subset P^{n-1}_K whenever q is odd and n >= 9.

What carries the argument

The Kloosterman refinement for function fields, which supplies improved estimates on exponential sums that control the count of rational points.

Load-bearing premise

The complete intersection must be smooth, q must be odd, and n must be at least 9 so that the analytic estimates from the Kloosterman refinement remain valid.

What would settle it

A smooth complete intersection of two quadrics in P^8 over some F_q with q odd whose number of rational points deviates from the asymptotic predicted by the Kloosterman refinement.

read the original abstract

A Kloosterman refinement for function fields $K=\mathbb{F}_q(t)$ is developed and used to establish the quantitative arithmetic of the set of rational points on a smooth complete intersection of two quadrics $X\subset \mathbb{P}^{n-1}_{K}$ , under the assumption that $q$ is odd and $n\geq 9$.

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

0 major / 2 minor

Summary. The manuscript develops a Kloosterman refinement for the function field K = F_q(t) and applies it to obtain quantitative arithmetic results on the distribution or density of K-rational points on a smooth complete intersection X of two quadrics in P^{n-1}_K, under the hypotheses that q is odd and n >= 9.

Significance. If the central claims hold, the work supplies a function-field analogue of analytic methods for counting rational points on varieties, extending techniques from the number-field setting to positive characteristic. The Kloosterman refinement itself constitutes a reusable technical tool for exponential sums over F_q(t).

minor comments (2)
  1. [Abstract] The abstract states the main result but omits any indication of the error term or the precise form of the quantitative arithmetic (e.g., asymptotic with main term plus error). Adding one sentence would improve readability.
  2. [Introduction] Notation for the projective space and the complete intersection is introduced without an explicit reference to the ambient dimension n-1 in the first paragraph of the introduction; a single clarifying sentence would prevent momentary confusion for readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The work develops a Kloosterman refinement over function fields and applies it to obtain quantitative results on rational points on smooth complete intersections of two quadrics in projective space over F_q(t), for q odd and n >= 9. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper develops a Kloosterman refinement over K=F_q(t) as an independent analytic tool and applies it to count rational points on smooth complete intersections of two quadrics (n>=9, q odd). No derivation step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the quantitative arithmetic follows from the new estimates without internal equivalence to the hypotheses. The argument remains self-contained and externally falsifiable via the stated analytic bounds.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities can be identified from the given text.

pith-pipeline@v0.9.0 · 5567 in / 1093 out tokens · 23201 ms · 2026-05-24T20:41:09.876180+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · 4 internal anchors

  1. [1]

    On the Chern classes and the Euler characteristic for nonsingular complete intersections

    Vicente Navarro Aznar. On the Chern classes and the Euler characteristic for nonsingular complete intersections. Proc. Amer. Math. Soc. , 78(1):143–148, 1980

    work page 1980

  2. [2]

    B. J. Birch. Forms in many variables. Proc. Roy. Soc. Ser. A , 265:245–263, 1961/1962

    work page 1961

  3. [3]

    Rational points on finite covers of P1 and P2

    Niklas Broberg. Rational points on finite covers of P1 and P2. J. Number Theory , 101(1):195–207, 2003. 54 P. VISHE

    work page 2003

  4. [4]

    The d ensity of rational points on curves and surfaces

    Niklas Broberg. A note on a paper by R. Heath-Brown: “The d ensity of rational points on curves and surfaces”. J. Reine Angew. Math. , 571:159–178, 2004

    work page 2004

  5. [5]

    T. D. Browning and D. R. Heath-Brown. Rational points on q uartic hypersurfaces. J. Reine Angew. Math. , 629:37–88, 2009

    work page 2009

  6. [6]

    T. D. Browning and D. R. Heath-Brown. Forms in many variab les and differing degrees. To appear in J. Eur. Math. Soc. , arXiv:1403.5937, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  7. [7]

    T. D. Browning and R. Munshi. Rational points on singular intersections of quadrics. Compos. Math. , 149(9):1457–1494, 2013

    work page 2013

  8. [8]

    T. D. Browning and P. Vishe. Rational points on cubic hype rsurfaces over Fq(t). Geom. Funct. Anal. , 25(3):671–732, 2015

    work page 2015

  9. [9]

    Rational curves on smooth hypersurfaces of low degree

    Tim Browning and Pankaj Vishe. Rational curves on smooth hypersurfaces of low degree. Algebra Number Theory , 11(7):1657–1675, 2017

    work page 2017

  10. [10]

    Browning T

    Sawin W. Browning T. D. A geometric version of the circle method. Preprint, 2017. arXiv:1711.10451

    work page arXiv 2017

  11. [11]

    Browning T

    Sawin W. Browning T. D. Free rational curves on low degre e hypersurfaces and the circle method. Preprint, 2018. arXiv:1810.06882

    work page arXiv 2018

  12. [12]

    Intersections of two quadrics a nd Chˆ atelet surfaces

    Jean-Louis Colliot-Th´ el` ene, Jean-Jacques Sansuc,and Peter Swinnerton-Dyer. Intersections of two quadrics a nd Chˆ atelet surfaces. I. J. Reine Angew. Math. , 373:37–107, 1987

    work page 1987

  13. [13]

    Intersections of two quadrics a nd Chˆ atelet surfaces

    Jean-Louis Colliot-Th´ el` ene, Jean-Jacques Sansuc,and Peter Swinnerton-Dyer. Intersections of two quadrics a nd Chˆ atelet surfaces. II. J. Reine Angew. Math. , 374:72–168, 1987

    work page 1987

  14. [14]

    Ronald J. Evans. Pure gauss sums over finite fields. Mathematika, 28(2):239–248 (1982), 1981

    work page 1982

  15. [15]

    Common factors of resultant s modulo p

    Domingo Gomez, Jaime Gutierrez, ´Alvar Ibeas, and David Sevilla. Common factors of resultant s modulo p. Bull. Aust. Math. Soc. , 79(2):299–302, 2009

    work page 2009

  16. [16]

    D. R. Heath-Brown. A new form of the circle method, and it s application to quadratic forms. J. Reine Angew. Math. , 481:149–206, 1996

    work page 1996

  17. [17]

    D. R. Heath-Brown. The density of rational points on cur ves and surfaces. Ann. of Math. (2) , 155(2):553–595, 2002

    work page 2002

  18. [18]

    D. R. Heath-Brown. Zeros of pairs of quadratic forms. J. Reine Angew. Math. , 739:41–80, 2018

    work page 2018

  19. [19]

    D. R. Heath-Brown and L. B. Pierce. Simultaneous intege r values of pairs of quadratic forms. J. Reine Angew. Math. , 727:85–143, 2017

    work page 2017

  20. [20]

    Counting rational points on cubic s urfaces

    Roger Heath-Brown. Counting rational points on cubic s urfaces. Ast´ erisque, (251):13–30, 1998. Nombre et r´ epartition de points de hauteur born´ ee (Paris, 1996)

    work page 1998

  21. [21]

    singular

    Nicholas M. Katz. Estimates for “singular” exponentia l sums. Internat. Math. Res. Notices , (16):875–899, 1999

    work page 1999

  22. [22]

    S. A. Lee. Birch’s theorem in function fields. Preprint, 2011. arXiv:1109.4953

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  23. [23]

    S. A. Lee. On the applications of the circle method to function fields, a nd related topics . PhD thesis, University of Bristol, 2013

    work page 2013

  24. [24]

    Rational curves on cubic hypersurfaces over finite fields

    A. Manzateanu. Rational curves on cubic hypersurfaces over finite fields. Preprint, 2018. arXiv:1804.05643

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  25. [25]

    R. Munshi. Pairs of quadrics in 11 variables. Compos. Math. , 151(7):1189–1214, 2015

    work page 2015

  26. [26]

    S. L. R. Myerson. Systems of forms in many variables. arX iv:1709.08917

    work page internal anchor Pith review Pith/arXiv arXiv

  27. [27]

    S. L. R. Myerson. Quadratic forms and systems of forms in many variables. Invent. Math. , accepted

    work page

  28. [28]

    S. L. R. Myerson. Systems of cubic forms in many variable s. J. Reine Angew. Math. , Accepted

    work page

  29. [29]

    Pierce, Damaris Schindler, and Melanie Matc hett Wood

    Lillian B. Pierce, Damaris Schindler, and Melanie Matc hett Wood. Representations of integers by systems of three quadratic forms. Proc. Lond. Math. Soc. (3) , 113(3):289–344, 2016

    work page 2016

  30. [30]

    The complete intersection of two or more quadrics

    Miles Reid. The complete intersection of two or more quadrics . PhD thesis, Cambridge, 1972

    work page 1972

  31. [31]

    Number theory in function fields , volume 210 of Graduate Texts in Mathematics

    Michael Rosen. Number theory in function fields , volume 210 of Graduate Texts in Mathematics . Springer-Verlag, New York, 2002

    work page 2002

  32. [32]

    Hasse principle for three classes of variet ies over global function fields

    Zhiyu Tian. Hasse principle for three classes of variet ies over global function fields. Duke Math. J. , 166(17):3349–3424, 2017. Department of Mathematical Sciences, Durham University, D urham, DH1 3LE, United Kingdom E-mail address : pankaj.vishe@durham.ac.uk

    work page 2017