On the number of binary quadratic forms having discriminant $1-4p$, $p$ prime

1. Probleemstelling en Context

Het artikel richt zich op een fundamenteel probleem in de getaltheorie: het tellen van het aantal $SL_2(\mathbb{Z})$-equivalentieklassen van positief-definiete binaire kwadratische vormen met gehele coëfficiënten, waarbij de discriminant $\Delta$ de vorm $1-4p$ heeft, met $p$ een priemgetal, en waarbij $|\Delta| \leq X$.

• Achtergrond: De motivatie komt voort uit de topologie, specifiek uit de studie van "simple $(4a+1)$-knots" (knooppunten) van genus 1. Er bestaat een connectie tussen deze knooppunten en binaire kwadratische vormen. Voor een priemgetal $p$ is er een injectieve afbeelding tussen de vormen met discriminant $1-4p$ en bepaalde knooppunten.
• De Vraag: Hoe groot is de som van de Hurwitz-klassentallen $H(1-4p)$ voor alle priemgetallen $p \leq X$?
  $$\sum_{p \leq X} H(1-4p)$$
• Eerdere Heuristiek: In eerdere werken (Miller [10]) werd geschat dat dit gedrag zou moeten lijken op de som over alle gehele getallen $m$, namelijk $O(X^{3/2}/\log X)$. De auteurs tonen echter aan dat deze heuristiek onnauwkeurig is en dat er een specifieke correctiefactor optreedt door de restrictie tot priemgetallen.

2. Methodologie

De auteurs gebruiken een analytische aanpak gebaseerd op de analytische klassentelformule en technieken uit de analytische getaltheorie. De kern van de bewijsvoering bestaat uit de volgende stappen:

1. Relatie met Klassentallen en L-functies:
   In plaats van direct $H(D)$ te tellen, gebruiken ze de relatie met het klassental $h(D)$ van het kwadratische veld $\mathbb{Q}(\sqrt{D})$. Voor een negatieve discriminant $D$ geldt:
   $$h(D) = \frac{1}{\pi} L(1, \chi_D) |D|^{1/2}$$
   Omdat de auteurs ook niet-primitieve vormen tellen, gebruiken ze de Hurwitz-klassentallen $Hur(D)$, die gerelateerd zijn aan $h(D)$ via een som over delers $d^2 | D$. Dit leidt tot een uitdrukking die een som bevat van Dirichlet $L$-functies $L(1, \chi_{(1-4p)/d^2})$.

2. Decompositie van de Som:
   De totale som $Q(X)$ wordt opgesplitst in termen $Q_d(X)$, afhankelijk van de "inhoud" $d$ van de kwadratische vorm. Dit reduceert het probleem tot het schatten van gewogen bilineaire karakter-sommen:
   $$T_d(X) = \sum_{p \leq X, d^2 | 1-4p} L(1, \chi_{(1-4p)/d^2})$$

3. Scheiding van Schalen (Cut-off Strategie):
   Om de sommen over de variabele $n$ (in de Dirichlet-reeks voor $L(1, \chi)$) te beheersen, splitsen de auteurs de som op in drie intervallen:

   • Kleine $n$ ($n \leq b$): Hier wordt de Siegel-Walfisz-stelling toegepast om de som over priemgetallen $p$ te schatten. Dit levert de hoofdterm op.
   • Grote $n$ ($n > B$): Dit deel wordt als foutterm afgeschat door de som te begrenzen.
   • Middelste $n$ ($b < n \leq B$): Voor dit interval gebruiken de auteurs een onbeperkte schatting voor bilineaire karakter-sommen (gebaseerd op Lemma 4.2, een variant van de Polya-Vinogradov ongelijkheid). Ze verdelen het interval in dyadische intervallen om de schatting te optimaliseren.

4. Random Euler Product Model:
   In Sectie 3 presenteren de auteurs een probabilistisch model gebaseerd op willekeurige Euler-producten. Ze modelleren de Hurwitz-klassentallen als waarden van "Zagier L-functies". Door de lokale factoren van deze L-functies te analyseren, kunnen ze voorspellen hoe de restrictie tot discriminanten van de vorm $1-4p$ (in plaats van willekeurige discriminanten) de gemiddelde waarde beïnvloedt.

3. Belangrijkste Resultaten

Het hoofdstukresultaat is een asymptotische formule voor de som van de klassentallen:

Stelling 1.1: Voor $X \geq 2$ geldt:
$$\sum_{p \leq X} H(1-4p) = C_{Art} \cdot \frac{2\pi}{9} \cdot \frac{X^{3/2}}{\log X} + O\left(\frac{X^{3/2}}{(\log X)^2}\right)$$

Hierbij is $C_{Art}$ de Constante van Artin:
$$C_{Art} = \prod_{\ell \geq 2} \left(1 - \frac{1}{\ell(\ell-1)}\right)$$

Belangrijke nuances en verbeteringen:

• De Correctiefactor: De constante $C_{Art}$ verschijnt als een correctiefactor ten opzichte van de som over alle gehele getallen $m$ (waar de constante $\frac{2\pi}{9}$ is). Dit betekent dat klassentallen voor discriminanten van de vorm $1-4p$ gemiddeld kleiner zijn dan die voor willekeurige discriminanten, met een factor $C_{Art} \approx 0.3739$.
• Topologische Toepassing (Corollarium 1.2): Het resultaat wordt vertaald naar de topologie van knooppunten. Het aantal $S$-equivalentieklassen van $2 \times 2$ Seifert-matrices met een specifieke Alexander-polynoom (geassocieerd met priemgetallen $p$) volgt dezelfde asymptotische wet.
• Verband met Som van Drie Kwarten: Via een stelling van Gauss kan het resultaat ook worden geïnterpreteerd als het tellen van roosterpunten $(a,b,c)$ in een bol waarvoor $(a^2+b^2+c^2-1)/4$ een priemgetal is.

4. Significatie en Innovatie

1. Overtreffen van Eerdere Schattingen: Eerdere werken (zoals die van Friedlander-Iwaniec en Nagoshi) behandelden discriminanten van de vorm $-4p$ of $-p$. In die gevallen had de restrictie tot priemgetallen geen invloed op de hoofdterm (de constante bleef gelijk). Dit artikel toont aan dat voor discriminanten van de vorm $1-4p$ de restrictie wel een significante invloed heeft, wat resulteert in de factor $C_{Art}$.
2. Innovatie in Modelleren: De auteurs introduceren een "Random Euler Product" model specifiek voor Zagier L-functies (die gerelateerd zijn aan Hurwitz-klassentallen), in plaats van de standaard kwadratische L-functies. Dit biedt een nieuwe manier om de verdeling van klassentallen te begrijpen en verklaart de aanwezigheid van de Constante van Artin via lokale dichtheidsargumenten.
3. Technische Diepgang: Het bewijs vereist het samenvoegen van oneindig veel hoofdtermen (vanwege de som over $d$) en het zorgvuldig beheersen van fouttermen met willekeurige machten van $\log X$ (via de Siegel-Walfisz stelling en bilineaire somschattingen).

Conclusie

Dit artikel levert een exacte asymptotische formule voor het aantal binaire kwadratische vormen met discriminant $1-4p$. Het onthult een subtiel maar cruciaal verschil in het statistisch gedrag van klassentallen wanneer de discriminant beperkt is tot een specifieke lineaire vorm van priemgetallen, gekenmerkt door de Constante van Artin. De resultaten hebben directe implicaties voor de classificatie van bepaalde hoge-dimensionale knooppunten en bieden een nieuw probabilistisch kader voor het bestuderen van Hurwitz-klassentallen.