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

1. Probleemstelling

Het artikel behandelt het probleem van het tellen van integrale oplossingen voor een stelsel van twee homogene kwadratische vergelijkingen in $s$ variabelen:
$$F_1(\mathbf{x}) = 0, \quad F_2(\mathbf{x}) = 0$$
waarbij $F_1, F_2 \in \mathbb{Z}[x_1, \dots, x_s]$ een niet-singuliere volledige doorsnede van codimensie 2 in de projectieve ruimte definiëren. Het doel is om een asymptotische formule af te leiden voor het aantal integrale punten $\mathbf{x}$ met $|\mathbf{x}| \le P$ wanneer $P \to \infty$.

Specifiek streven de auteurs ernaar het minimale aantal variabelen $s$ te bepalen dat nodig is om deze asymptotische formule te vestigen met behulp van de Hardy-Littlewood-cirkelmethode. Eerdere resultaten vereisten $s \ge 11$ (Munshi) of behandelden alleen "gesplitste" gevallen (Heath-Brown–Pierce). De auteurs beogen deze drempel onvoorwaardelijk te verlagen tot $s \ge 10$ en tot $s \ge 9$ onder de gegeneraliseerde Lindelöf-hypothese (GLH).

2. Methodologie: Het Tweedimensionale Delta-Symbool

De kerninnovatie van het artikel is de ontwikkeling van een tweedimensionale delta-symboolmethode. Dit is een verfijning van de klassieke cirkelmethode, ontworpen om stelsels van vergelijkingen ($R \ge 2$) te behandelen waarbij de standaard "major/minor arc"-decompositie ontoereikend is voor het verkrijgen van scherpe grenzen.

2.1. Beperkingen van Eerdere Methoden

• Klassieke Cirkelmethode: Verdeelt het eenheidsvierkant $[0,1]^2$ in major arcs (nabij rationale getallen $\mathbf{a}/q$) en minor arcs. Voor $R=2$ is de geometrie van rationale benaderingen complex; de afstand tussen buren hangt af van de hoogtes van affiene lijnen, waardoor een letterlijke Farey-dissectie onmogelijk is.
• Geneste Delta-symbolen (Munshi): Gebruikte een geneste aanpak, maar resulteerde in grotere moduli $q$ dan optimaal, wat leidde tot minder efficiënte Poisson-sommatiestappen.
• Analogieën met Functievelden: Vishe loste dit eerder op over $\mathbb{F}_q(t)$ met behulp van een 2D Farey-dissectie, maar het niet-Archimedische karakter van die setting verhinderde een directe vertaling naar getallenlichamen.

2.2. De Nieuwe Delta-Symbool-Identiteit

De auteurs bewijzen Stelling 1.2, die een gladde eenheidspartitie biedt voor de delta-functie $\delta_{\mathbf{n}}$ (waarbij $\delta_{\mathbf{n}} = 1$ als $\mathbf{n}=\mathbf{0}$ en $0$ anders) in twee dimensies:
$$\delta_{\mathbf{n}} = \sum_{1 \le q \le Q} \sum_{\mathbf{a} \pmod q}^* \int_{\mathbb{R}^2} p_{\Lambda(\mathbf{a}, q)}(\mathbf{w}) e\left( \left(\frac{\mathbf{a}}{q} + \mathbf{w}\right) \cdot \mathbf{n} \right) d\mathbf{w} + O(Q^{-N})$$
Belangrijke kenmerken van deze identiteit:

• Rooster-afhankelijkheid: De kernfunctie $p_{\Lambda(\mathbf{a}, q)}$ hangt af van het rooster $\Lambda(\mathbf{a}, q) = \{ k\mathbf{a} + q\mathbf{y} : k \in \mathbb{Z}, \mathbf{y} \in \mathbb{Z}^2 \}$.
• Optimale Drager: De functie wordt gedragen door $\mathbf{w}$ met een grootte van ongeveer $q^{-1}Q^{-1/2}$. Dit is de optimale grootte voor een 2D Dirichlet-benadering, waardoor de parameter $Q$ kan worden gekozen als $Q \asymp P^{4/3}$ (waarbij $P$ de grootte van de variabelen is), wat kleiner is dan bij eerdere methoden ($Q \asymp P^{3/2}$).
• Dubbele Kloosterman-verfijning: De structuur van het rooster stelt de auteurs in staat termen te groeperen op basis van het rooster in plaats van alleen op basis van de noemer $q$. Dit maakt middeling over $\mathbf{a}$ mogelijk (Kloosterman-verfijning) en, cruciaal, middeling over $q$ (dubbele Kloosterman-verfijning) om cancelaties in exponentiële sommen te benutten.

3. Belangrijkste Bijdragen en Technische Resultaten

3.1. De Hoofdasymptotische Formule (Stelling 1.1)

De auteurs vestigen de asymptotische formule voor het aantal oplossingen $N(P)$:
$$N(P) = S I P^{s-4} + O(P^{s-4-\Delta})$$
waarbij:

• $S$ de singuliere reeks is (aritmatische factor).
• $I$ het singuliere integraal is (geometrische factor).
• De exponent van de foutterm $\Delta$ afhangt van $s$:
  • Onvoorwaardelijk:
    • Als $s$ even is en $s \ge 10$, dan is $\Delta < 1/6$.
    • Als $s$ oneven is en $s \ge 11$, dan is $\Delta < 1/15$.
  • Conditioneel (onder GLH):
    • Als $s = 9$ (oneven), dan is $\Delta < 1/15$.

Dit resultaat verifieert de Manin–Peyre-vermoeden voor niet-singuliere doorsneden van twee kwadraten met dimensie $\ge 7$ (of 6 onder GLH).

3.2. Decompositie van de Tel functie

Het bewijs houdt in dat de tel functie wordt opgesplitst in drie delen op basis van de grootte van de modulus $q$ en de "gewicht"-functie in het delta-symbool:

1. Major Arcs ($N_0$): De hoofdt term afgeleid van kleine $q$ en $\mathbf{w}$ dicht bij 0.
2. Minor Arcs Type 1 ($N_1$): Bijdragen van kleine $q$ maar grotere $\mathbf{w}$, behandeld met standaard grenzen voor exponentiële sommen.
3. Minor Arcs Type 2 ($N_2$): Bijdragen van grote $q$ en de specifieke structuur van het rooster. Dit is het moeilijkste deel, waarbij een gedetailleerde analyse van exponentiële sommen $S_{q, d\mathbf{c}}(u)$ en exponentiële integralen vereist is.

3.3. Omgaan met Exponentiële Sommen en Geometrie

De auteurs voeren een diepgaande analyse uit van de exponentiële sommen $S_{q, d\mathbf{c}}(u)$:

• Ze classificeren priemgetallen en vectoren $\mathbf{c}$ in "goede" en "slechte" types op basis van de singulariteit van de kwadratische vorm $F_{\mathbf{c}} = c_1 F_1 + c_2 F_2$.
• Ze maken gebruik van Poisson-sommatie en meetkunde van getallen (specifiek de geometrie van het rooster $\Lambda(\mathbf{a}, q)$) om de bijdragen van de minor arcs te begrenzen.
• Voor het geval $s=9$ vertrouwen ze op de Gegeneraliseerde Lindelöf-hypothese om voldoende cancelatie te verkrijgen in het gemiddelde van exponentiële sommen over $q$.

4. Betekenis en Vergelijking

4.1. Verbetering ten opzichte van Bestaande Grenzen

• Munshi [29]: Vereiste $s \ge 11$. De nieuwe methode verlaagt dit onvoorwaardelijk tot $s \ge 10$.
• Heath-Brown–Pierce [16]: Behandelde het "gesplitste" geval ($F_i(x,y) = G_i(x) + H_i(y)$) voor $s \ge 10$. Dit artikel verwijdert de "gesplitste" beperking en behandelt algemene niet-singuliere doorsneden.
• Functievelden: Het resultaat komt overeen met de conditionele grens ($s=9$) die bekend is in de setting van functievelden (Vishe [37]), en overbrugt zo een significante kloof tussen getallenlichamen en functievelden.

4.2. Heuristische Superioriteit

In Sectie 14 geven de auteurs een heuristische vergelijking (Heuristiek 2) die aantoont dat hun methode superieur is voor grote $s$.

• De effectiviteit van een delta-symboolmethode wordt ruwweg vastgelegd door $Q^{s/2} A^{-1/2}$, waarbij $Q$ de moduli-parameter is en $A$ de grootte van het gemiddelde over $\mathbf{a}$.
• Hun methode bereikt $Q \asymp P^{4/3}$ en $A \asymp Q$, wat leidt tot een foutterm van grootte $P^{2(s-1)/3}$.
• Eerdere methoden (zoals die van Munshi) hadden $Q \asymp P^{3/2}$ en $A \asymp Q^{5/3}$, wat leidde tot een grotere foutterm $P^{(3s-5)/4}$.
• De nieuwe methode wordt strikt beter voor $s \ge 8$ en de kloof wordt groter naarmate $s$ toeneemt.

5. Conclusie

Het artikel presenteert een doorbraak in de analytische theorie van Diophantische vergelijkingen door de constructie van een robuust tweedimensionaal delta-symbool. Dit instrument faciliteert een dubbele Kloosterman-verfijning in de cirkelmethode, waardoor paren kwadratische vormen met minder variabelen dan voorheen mogelijk kunnen worden behandeld. De resultaten brengen het begrip van de verdeling van rationale punten op volledige doorsneden van kwadraten aanzienlijk vooruit en bieden een raamwerk dat, volgens de auteurs, bestaande methoden zal overtreffen voor systemen met meer variabelen of hogere graden.