Gaps between quadratic forms

Technische Samenvatting van "Gaps Between Quadratic Forms" van Siddharth Iyer

Probleemstelling
Dit artikel onderzoekt de verdeling van gehele getallen die worden voorgesteld door specifieke kwadratische vormen binnen korte intervallen. Specifiek behandelt het het probleem van het begrenzen van de gaten tussen opeenvolgende gehele getallen $n$ zodanig dat $n$ wordt voorgesteld door de kwadratische vorm $x^2 + xy + y^2$ (aangeduid als de verzameling $\triangle$) en $n+a$ wordt voorgesteld als een som van twee kwadraten (aangeduid als de verzameling $\mathbb{O}^2$), voor een vast niet-nul geheel getal $a$. De verzameling van belang wordt gedefinieerd als $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$.

Het werk bouwt voort op klassieke resultaten betreffende de correlatie van representaties van kwadratische vormen. Het verwijst naar Estermann's (1932) asymptotische formule voor de som van producten van representatiefuncties $r_2(n)r_2(n+a)$, en daaropvolgende verbeteringen door Hooley, Chamizo en Müller met betrekking tot de fouttermen en de dichtheid van dergelijke gehele getallen in intervallen. Hoewel Lemma 1.2 vaststelt dat gaten tussen elementen van $S(\mathbb{O}^2, \mathbb{O}^2, a)$ begrensd zijn door $O(x^{1/2})$, streeft het artikel ernaar analoge, zij het zwakkere, grenzen vast te stellen voor het gemengde geval $S(\triangle, \mathbb{O}^2, a)$.

Methodologie
De auteur maakt gebruik van technieken uit de analytische getaltheorie, met de nadruk op de asymptotische evaluatie van sommen die multiplicatieve functies en karakter-sommen bevatten.

1. Representatiefuncties en Karakters:
   Het artikel maakt gebruik van het feit dat het aantal representaties $R_2(n)$ voor $x^2+xy+y^2$ en $r_2(n)$ voor sommen van twee kwadraten kan worden uitgedrukt via Dirichlet-karakters. Specifiek geldt $R_2(n) = 6 \sum_{d|n} \chi_3(d)$ en $r_2(n) = 4 \sum_{d|n} \chi_4(d)$, waarbij $\chi_3$ en $\chi_4$ niet-triviale karakters modulo 3 respectievelijk 4 zijn.

2. Aanpassing van Tolev's Stelling:
   Een centraal hulpmiddel is een stelling van Tolev (2012) betreffende sommen van twee kwadraten in rekenkundige progressies. De auteur past dit aan om de correlatie tussen $F_{\chi_3}(n)$ en $F_{\chi_4}(n+a)$ te behandelen. Een directe toepassing van Müller's (1989) stelling over sommen van multiplicatieve functies is echter onvoldoende, omdat $\chi_3$ en $\chi_4$ niet gelijktijdig kunnen worden opgeheven tot een primitief karakter modulo een gemeenschappelijke $k$ (specifiek waar $12|k$) zonder de primaliteit te verliezen.

3. Analyse van Multiplicatieve Functies:
   Om de beperking van niet-primitieve karakters te overwinnen, introduceert het artikel een nieuwe aanpak die de functie $\eta_a(q)$ omvat, die het aantal oplossingen telt voor $\alpha^2 + \beta^2 \equiv a \pmod q$. De kern van het bewijs (Stelling 1.6) houdt in het analyseren van de som:
   $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$$
   waarbij $\psi$ een reëel niet-triviaal karakter is modulo een even geheel getal $b \ge 4$. De auteur ontbindt de som met behulp van de eigenschappen van de convolutie van $\psi$ met de constante functie 1, aangeduid als $F_\psi$.

4. Gedrag van $\eta_a(d)$:
   Een aanzienlijk deel van het technische werk (Sectie 3.1) is gewijd aan het analyseren van het gedrag van de functie $\lambda_a(d) = \eta_a(d)/d$. De auteur stelt grenzen en asymptotische eigenschappen vast voor $\lambda_a(d)$ op basis van de priemfactorisatie van $d$ en zijn relatie tot $a$, gebruikmakend van lemma's betreffende priemgetallen $p \equiv 1, 3 \pmod 4$. Deze analyse is cruciaal voor het bewijzen dat de hoofdtermcoëfficiënt $\beta(\psi, a)$ strikt positief is.

5. Gatanalyse via Parametrische Families:
   Voor het gatresultaat (Stelling 1.7) construeert het artikel een parametrische familie van oplossingen voor de vergelijking $c^2 + 3d^2 + a = u^2 + v^2$. Door de gaten tussen waarden van een kwartisch polynoom afgeleid van deze familie te analyseren, leidt de auteur grenzen af voor de onderlinge afstand van elementen in $S(\triangle, \mathbb{O}^2, a)$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.6 (Asymptotische Formule): Het artikel bewijst een asymptotische formule voor de som van producten van representatiefuncties beperkt tot onderling ondeelbare voorwaarden. Het stelt vast dat voor een reëel niet-triviaal karakter $\psi$ modulo even $b \ge 4$:
  $$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$$
  Cruciaal is dat de auteur bewijst dat de leidende coëfficiënt $\beta(\psi, a)$ strikt positief is, wat het bestaan van dergelijke gehele getallen in het gespecificeerde bereik garandeert.

• Corollarium 1.3 (Korte Interval Censustelling): Door Stelling 1.6 toe te passen met $\psi = \chi_6$, toont het artikel aan dat voor elke $\epsilon > 0$ een constante $H_a > 0$ bestaat zodanig dat voor voldoende grote $x$:
  $$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$$
  Dit bevestigt dat de verzameling $S(\triangle, \mathbb{O}^2, a)$ dicht genoeg is om elementen te garanderen in intervallen met een lengte die iets groter is dan $x^{5/6}$.

• Stelling 1.7 (Gatgrens): Het artikel biedt een grens voor de grootste gaten tussen elementen van $S(\triangle, \mathbb{O}^2, a)$. Het toont aan dat voor $x \ge 1$ er een element van de verzameling bestaat in het interval $[x, x + D_a x^{\Upsilon(a)}]$, waarbij de exponent $\Upsilon(a)$ is:

  • $1/2$ als $a$ kan worden voorgesteld als $n^2 - 3m^2$ voor gehele getallen $n, m$.
  • $5/8$ anders.
    Dit resultaat wordt beschreven als een "zwakker gatresultaat" in vergelijking met de $x^{1/2}$-grens die bekend is voor $S(\mathbb{O}^2, \mathbb{O}^2, a)$.

Betekenis en Aanspraken
Het artikel claimt het klassieke werk van Estermann (1932) en de daaropvolgende verfijningen door Müller (1989) uit te breiden naar de context van gemengde kwadratische vormen. Door Tolev's stelling te gebruiken en een gedetailleerde analyse uit te voeren van de multiplicatieve functie $\eta_a(d)$, leidt de auteur succesvol een asymptotische formule af waarbij eerdere methoden (die leunden op primitieve karakters) faalden.

De betekenis ligt in het vaststellen van het bestaan van gehele getallen die voldoen aan gemengde kwadratische representatievoorwaarden in korte intervallen, en specifiek het bewijzen dat de gaten niet willekeurig groot zijn. De auteur merkt bescheiden op dat hoewel een generalisatie van Stelling 1.7 mogelijk is, deze hier niet wordt nagestreefd. Bovendien erkent de auteur in de Dankbetuigingen dat als toekomstig werk dat gebruikmaakt van spectrale theorie het onderlinge spel tussen verschillende kwadratische vormen beter kan begrijpen, het hoofdresultaat van dit artikel verouderd zou kunnen worden, wat aangeeft dat het huidige resultaat een tussenstap is in plaats van een definitieve oplossing. Het werk verbindt ook met het bredere onderzoek naar ideaalnormen in kwadratische getallenlichamen, wat suggereert dat vergelijkbare resultaten kunnen worden verkregen voor verzamelingen $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ waarbij $\mathfrak{a}_K$ de normen van idealen in een kwadratisch lichaam $K$ voorstelt.