pith. sign in

arxiv: 2411.11355 · v2 · submitted 2024-11-18 · 🧮 math.NT

A two-dimensional delta symbol method and its application to pairs of quadratic forms

Junxian Li , Simon L. Rydin Myerson , Pankaj Vishe This is my paper

Pith reviewed 2026-05-23 17:31 UTC · model grok-4.3

classification 🧮 math.NT
keywords delta symbolcircle methodKloosterman refinementquadratic formsintegral pointsasymptotic formulaanalytic number theory
0
0 comments X

The pith

A two-dimensional delta symbol enables a Kloosterman refinement that yields an asymptotic formula for the number of integral points on non-singular intersections of two quadratic forms in at least ten variables.

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

The paper introduces a two-dimensional delta symbol to carry out a Kloosterman refinement of the circle method in a setting with two equations. This produces an asymptotic formula for the count of integer solutions to a pair of quadratic equations, provided the projective intersection is non-singular and there are at least ten variables. The same approach, combined with the generalized Lindelöf hypothesis, lowers the threshold to nine variables. A heuristic comparison indicates the new expression improves relative to earlier delta-symbol formulas as the number of variables grows.

Core claim

We present a two-dimensional delta symbol method that facilitates a version of the Kloosterman refinement of the circle method, addressing a question posed by Heath-Brown. As an application, we establish the asymptotic formula for the number of integral points on a non-singular intersection of two integral quadratic forms with at least 10 variables. Assuming the Generalized Lindelöf Hypothesis, we reduce the number of variables to 9 by performing a double Kloosterman refinement.

What carries the argument

The two-dimensional delta symbol, which produces the refined exponential sums needed for the Kloosterman refinement of the circle method when two equations are present.

If this is right

  • The asymptotic formula holds for any non-singular pair of integral quadratic forms in ten or more variables.
  • Under the generalized Lindelöf hypothesis the same formula holds in nine variables.
  • The two-dimensional expression for the delta symbol typically produces a smaller error term than one-dimensional versions once the number of variables is large.

Where Pith is reading between the lines

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

  • The same refinement technique may apply to systems of more than two quadratic equations or to other Diophantine problems that currently require one-dimensional delta symbols.
  • If the method extends to singular intersections, it would enlarge the range of varieties for which asymptotic counts are known.
  • The heuristic improvement with growing dimension suggests that further dimensional generalizations could be useful for higher-degree forms.

Load-bearing premise

The intersection of the two quadratic forms must be non-singular.

What would settle it

An explicit pair of non-singular quadratic forms in ten variables whose number of integral points deviates from the main term by more than the paper's claimed error term.

read the original abstract

We present a two-dimensional delta symbol method that facilitates a version of the Kloosterman refinement of the circle method, addressing a question posed by Heath-Brown. As an application, we establish the asymptotic formula for the number of integral points on a non-singular intersection of two integral quadratic forms with at least $10$ variables. Assuming the Generalized Lindel\"of Hypothesis, we reduce the number of variables to $9$ by performing a double Kloosterman refinement. A heuristic argument suggests our two-dimensional delta symbol will typically outperform known expressions of this type by an increasing margin as the number of variables grows.

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 / 3 minor

Summary. The paper introduces a two-dimensional delta symbol method enabling a Kloosterman refinement of the circle method, addressing a question of Heath-Brown. As an application, it proves an asymptotic formula for the number of integral points on the non-singular intersection of two integral quadratic forms in at least 10 variables; under the Generalized Lindelöf Hypothesis a double refinement reduces the threshold to 9 variables. A heuristic suggests the new delta symbol typically improves on prior expressions with growing margin as the number of variables increases.

Significance. If the central derivations and error-term estimates hold, the work supplies a new technical tool for the circle method on systems of quadratic forms and improves the unconditional range for such counting problems from what is currently known. The conditional result under GLH and the heuristic comparison are secondary but indicate potential for further applications. The manuscript ships a self-contained new identity whose utility is demonstrated on a standard problem in the field.

minor comments (3)
  1. The abstract and introduction should explicitly state the precise form of the asymptotic (main term plus error) and the dependence of the implied constant on the forms and the dimension n.
  2. Notation for the two-dimensional delta symbol (presumably introduced in §2 or §3) should be fixed early and used consistently; cross-references to the one-dimensional case would help readers.
  3. The heuristic comparison in the final section would benefit from a short table or explicit numerical illustration for small n to make the claimed improvement concrete.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. The report correctly identifies the main contributions: the two-dimensional delta symbol identity, its use in a Kloosterman refinement of the circle method, the unconditional asymptotic for non-singular intersections of two quadratic forms in at least 10 variables, the conditional improvement to 9 variables under GLH, and the heuristic comparison. No specific major comments or technical objections were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper introduces a new two-dimensional delta symbol method to obtain a Kloosterman-type refinement and applies it to derive an asymptotic for the counting function on non-singular intersections of two quadratic forms in n≥10 variables. The non-singularity hypothesis is an explicit geometric input required for the variety to have the expected dimension and for the singular integral to be non-vanishing; it is not derived from the counting result itself. No equations reduce a claimed prediction to a fitted parameter by construction, no load-bearing uniqueness theorem is imported from self-citation, and the central asymptotic is obtained from the new identity rather than by renaming or re-deriving an input. The conditional reduction to n=9 under GLH is presented separately and does not affect the unconditional claim. The derivation chain is therefore independent of its target output.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Based solely on the abstract; the paper introduces a new method whose supporting assumptions are standard in the circle method but not detailed here. The main addition is the invented method itself.

axioms (1)
  • domain assumption Standard analytic estimates and decompositions from the circle method (major/minor arcs, exponential sum bounds)
    The new method builds directly on these established tools in analytic number theory.
invented entities (1)
  • two-dimensional delta symbol method no independent evidence
    purpose: To facilitate a Kloosterman refinement of the circle method in two dimensions
    Newly developed in the paper to address Heath-Brown's question; no independent evidence provided outside this work.

pith-pipeline@v0.9.0 · 5631 in / 1326 out tokens · 48303 ms · 2026-05-23T17:31:07.305921+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Arala, The analytic Hasse Principle for certain singu lar intersections of quadrics in P9

    N. Arala, The analytic Hasse Principle for certain singu lar intersections of quadrics in P9. Preprint arXiv:2310.15969

    work page arXiv

  2. [2]

    Arala, J

    N. Arala, J. R. Getz, J. Hou, C. H. Hsu, H. Li, V. Y. Wang, A no nabelian circle method, Preprint arXiv:2407.11804

    work page arXiv

  3. [3]

    V. N. Aznar, On the Chern classes and the Euler characteri stic for nonsingular complete intersections. Proc. Amer. Math. Soc. 78(1) (1980), 143–148

    work page 1980

  4. [4]

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

    work page 1961

  5. [5]

    Broberg, Rational points on finite covers of P1 and P2

    N. Broberg, Rational points on finite covers of P1 and P2. J. Number Theory 101(1) (2003), 195–207

    work page 2003

  6. [6]

    Browning, R

    T.D. Browning, R. Munshi, Rational points on singular in tersections of quadrics. Compos. Math. 149 (2013), no. 9, 1457–1494

    work page 2013

  7. [7]

    T. D. Browning, P. Vishe, Cubic hypersurfaces and a versi on of the circle method for number fields, Duke Math. J. 163 (2014), no. 10, 1825–1883

    work page 2014

  8. [8]

    T. D. Browning, L. B. Pierce, D. Schindler, Generalised q uadratic forms over totally real number fields, J. Inst. Math. Jussieu to appear

    work page

  9. [9]

    Colliot-Th´ el` ene, J

    J. Colliot-Th´ el` ene, J. Sansuc, and P. Swinnerton-Dye r. Intersections of two quadrics and Chˆ atelet surfaces. II . J. Reine Angew. Math. 374 (1987), 72–168

    work page 1987

  10. [10]

    Davenport, Cubic forms in 32 variables, Phil

    H. Davenport, Cubic forms in 32 variables, Phil. Trans. Roy. Soc. A , 251 (1959), 193–232

    work page 1959

  11. [11]

    W. Duke, J. Friedlander, and H. Iwaniec, Bounds for auto morphic L-functions. Invent. Math. 112 (1993), no. 1, 1–8

    work page 1993

  12. [12]

    Eisenbud and J

    D. Eisenbud and J. Harris, On varieties of minimal degre e (a centennial account). Algebraic geometry, Bowdoin, 1985 , Proc. Sympos. Pure Math., 46, Part 1 (1987)

    work page 1985

  13. [13]

    J. Glas. Complete intersections of cubic and quadric hy persurfaces over Fq(t). arXiv:2306.02718

    work page arXiv

  14. [14]

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

    work page 1996

  15. [15]

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

    work page 2002

  16. [16]

    D. R. Heath-Brown, L. B. Pierce, Simultaneous integer v alues of pairs of quadratic forms, J. Reine Angew. Math. 727 (2017), 85–143

    work page 2017

  17. [17]

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

    work page 2018

  18. [18]

    H. D. Kloosterman, On the representation of numbers in t he form ax2 + by2 + cz2 + dt2. Acta Arith. , 49(3) (1927), 407–464

    work page 1927

  19. [19]

    Javanpeykar, D

    A. Javanpeykar, D. Loughran, Complete intersections: moduli, Torelli, and good reduction. Math. Ann. 368 (2017), 1191–1225

    work page 2017

  20. [20]

    Marmon, P

    O. Marmon, P. Vishe, On the Hasse Principle for quartic h ypersurfaces, Duke Math. J. 168 (2019), no. 14, 2727–2799

    work page 2019

  21. [21]

    J. Maynard. Primes represented by incomplete norm form s. Forum Math. Pi , 8 (2020), e3

    work page 2020

  22. [22]

    Munshi, Shifted convolution sums for GL(3) × GL(2), Duke Math

    R. Munshi, Shifted convolution sums for GL(3) × GL(2), Duke Math. J. 162 (2013), no. 13, 2345–2362

    work page 2013

  23. [23]

    Molyakov, Le principe de Hasse pour les intersection s de deux quadriques dans P7

    A. Molyakov, Le principe de Hasse pour les intersection s de deux quadriques dans P7. Preprint arXiv:2305.00313

    work page arXiv

  24. [24]

    Munshi, The circle method and bounds for L-functions —I, Math

    R. Munshi, The circle method and bounds for L-functions —I, Math. Ann. 358 (2014), no.1-2, 389–401. TWO-DIMENSIONAL DELTA SYMBOL METHOD 53

    work page 2014

  25. [25]

    Munshi, The circle method and bounds for L-functions , II: Subconvexity for twists of GL(3) L-functions

    R. Munshi, The circle method and bounds for L-functions , II: Subconvexity for twists of GL(3) L-functions. Amer. J. Math. 137 (2015), no.3, 791–812

    work page 2015

  26. [26]

    Munshi, The circle method and bounds for L-functions –III: t-aspect subconvexity for GL(3) L-functions, J

    R. Munshi, The circle method and bounds for L-functions –III: t-aspect subconvexity for GL(3) L-functions, J. Amer. Math. Soc. 28 (2015), no.4, 913–938

    work page 2015

  27. [27]

    Munshi, Pairs of quadrics in 11 variables, Compos

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

    work page 2015

  28. [28]

    Northey, P

    M. Northey, P. Vishe, On the Hasse Principle for Complet e Intersections, Compos. Math. 160(4), 771–835

    work page

  29. [29]

    Rydin Myerson, Quadratic forms and systems of forms i n many variables, Invent

    S. Rydin Myerson, Quadratic forms and systems of forms i n many variables, Invent. math. 213 (2018), 205–235

    work page 2018

  30. [30]

    Peyre, Hauteurs et mesures de Tamagawa sur les vari´ e t´ es de Fano.Duke Math

    E. Peyre, Hauteurs et mesures de Tamagawa sur les vari´ e t´ es de Fano.Duke Math. J. 79 (1995), 101–218

    work page 1995

  31. [31]

    L. B. Pierce, D. Schindler, M. Wood, Representations of integers by systems of three quadratic forms Proc. Lond. Math. Soc. (3) 113 (2016), no. 3, 289–344

    work page 2016

  32. [32]

    Salberger, Counting rational points on projective v arieties, Proc

    P. Salberger, Counting rational points on projective v arieties, Proc. London Math. Soc. 126 (2023), no. 4, 1092-1133

    work page 2023

  33. [33]

    Serre, Lectures on the Mordell–Weil Theorem

    J.-P. Serre, Lectures on the Mordell–Weil Theorem . 3rd ed., Vieweg, 1997

    work page 1997

  34. [34]

    Sasha (https://mathoverflow.net/users/4428/sasha) , Degree three, codimension one subvarieties lying on a quad ratic hypersurface, URL (version: 2023-10-13): https://mathoverflow.net/q/456422

    work page 2023

  35. [35]

    P. Vishe. Rational points on complete intersections ov er Fq(t), Proc. London Math. Soc. 126 (2023), no. 2, 556-619. Department of Mathematics, University of California, Davi s, 1 Shields A venue, Davis, CA 95616, U.S.A Email address : junxian@math.ucdavis.edu Mathematics Institute, Zeeman Building, University of W ar wick, Coventry, CV4 7AL, UK URL, ORCI...

    work page 2023