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

1. Problématique et Contexte

L'article s'intéresse au problème de dénombrement des classes d'équivalence sous l'action de $SL_2(\mathbb{Z})$ de formes quadratiques binaires entières, définies positives, dont le discriminant est de la forme $\Delta = 1 - 4p$, où $p$ est un nombre premier.

• Contexte Topologique : Ce problème est motivé par la théorie des nœuds. Dans un travail antérieur ([10]), le premier auteur a établi une connexion entre les nœuds simples de genre 1 (de dimension $4a+1$) ayant un polynôme d'Alexander spécifique $\Delta_m(t) = mt^2 - (2m-1)t + m$ et les formes quadratiques de discriminant $1-4m$. Lorsque $m = \pm p$ (premier), cette correspondance est injective. L'objectif est de déterminer la taille asymptotique de l'ensemble de ces nœuds dominants.
• Question Arithmétique : Combien existe-t-il de classes $SL_2(\mathbb{Z})$ de formes quadratiques entières, définies positives, avec un discriminant $1-4p \le X$ (où $p$ est premier) ?
• Hypothèse Initiale : Une conjecture précédente suggérait que la somme $\sum_{p \le X} H(1-4p)$ (où $H(D)$ est le nombre de classes de Hurwitz) serait asymptotique à $X^{3/2}/\log X$, en supposant un comportement statistique similaire à celui des entiers composés. Les auteurs démontrent que cette hypothèse est incorrecte et nécessite un facteur correctif.

2. Méthodologie

La preuve repose sur une combinaison d'outils analytiques de la théorie des nombres et de modèles probabilistes.

A. Formule Analytique des Classes et Décomposition

Les auteurs utilisent la formule analytique des classes pour les discriminants négatifs. Ils décomposent la somme totale $Q(X)$ en fonction du contenu des formes quadratiques (primitives et imprimitives).
Soit $h(D)$ le nombre de classes de formes primitives. La relation entre le nombre de classes total $H(D)$ et $h(D)$ implique une somme sur les diviseurs carrés $d^2$ de $D$ :
$$H(D) = \sum_{d^2 | D} h(D/d^2)$$
En utilisant la formule de Dirichlet $h(D) = \frac{1}{\pi} L(1, \chi_D) |D|^{1/2}$, le problème se ramène à l'estimation de sommes pondérées de valeurs de fonctions $L$ de Dirichlet :
$$T_d(X) = \sum_{\substack{p \le X \\ d^2 | 1-4p}} L(1, \chi_{(1-4p)/d^2})$$

B. Sommes Bilinéaires et Théorème de Siegel-Walfisz

L'estimation de $T_d(X)$ est le cœur technique du papier. La somme est réécrite comme une somme bilinéaire impliquant des symboles de Kronecker :
$$\sum_{p \le X} \sum_{n \ge 1} \frac{1}{n} \left( \frac{(1-4p)/d^2}{n} \right)$$
Les auteurs divisent la somme en trois parties selon la taille de $n$ :

1. Petits $n$ ($n \le (\log X)^B$) : Utilisation du théorème de Siegel-Walfisz pour estimer la somme sur les nombres premiers $p$. Cela permet d'obtenir le terme principal en fonction de la fonction $\text{Li}(X)$.
2. Grands $n$ ($n > X^{1/2+\epsilon}$) : Ces termes sont négligeables et forment une erreur.
3. Intervalle intermédiaire : Pour la plage intermédiaire, les auteurs appliquent des bornes sur les sommes bilinéaires de caractères (inspirées de l'inégalité de Polya-Vinogradov et des travaux de Friedlander-Iwaniec). Ils utilisent une variante de la méthode de crible pour gérer les restrictions de primalité et de non-primalité.

C. Modèle de Produit Eulérien Aléatoire

Une contribution heuristique majeure est l'élaboration d'un modèle de produit eulérien aléatoire pour les nombres de classes de Hurwitz.

• Les auteurs modélisent les facteurs locaux des fonctions $L$ de Zagier (associées aux nombres de classes de Hurwitz) comme des variables aléatoires indépendantes.
• Ils montrent que la restriction $D = 1-4p$ (où $p$ est premier) modifie la distribution des résidus quadratiques modulo $\ell$ par rapport au cas général $D = 1-4m$.
• Cette modification introduit un facteur multiplicatif global égal à la constante d'Artin :
  $$C_{\text{Art}} = \prod_{\ell \ge 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right)$$
  Ce modèle explique pourquoi la moyenne des nombres de classes pour les discriminants premiers est plus faible que pour les discriminants composés.

3. Résultats Principaux

Théorème 1.1 (Formule Asymptotique)

Pour $X \ge 2$, le nombre total de classes $SL_2(\mathbb{Z})$ de formes quadratiques définies positives de discriminant $1-4p$ avec $p \le X$ premier est donné par :
$$\sum_{p \le X} H(1-4p) = C_{\text{Art}} \cdot \frac{2\pi}{9} \frac{X^{3/2}}{\log X} + O\left( \frac{X^{3/2}}{(\log X)^2} \right)$$
où $C_{\text{Art}}$ est la constante d'Artin.

Théorème 5.3 (Version Raffinée)

Une version plus précise du résultat est obtenue avec une économie arbitraire de puissances de logarithmes dans le terme d'erreur :
$$\sum_{p \le X} H(1-4p) = \frac{\pi}{3} C_{\text{Art}} \int_2^X \frac{t^{1/2}}{\log t} dt + O_A\left( \frac{X^{3/2}}{(\log X)^A} \right)$$
pour tout $A > 1$.

Corollaire Topologique (Corollaire 1.2)

En traduisant le résultat arithmétique en théorie des nœuds, le nombre de classes d'équivalence $S$ des matrices de Seifert $2 \times 2$ $P$ ayant un polynôme d'Alexander de la forme $pt^2 + (1-2p)t + p$ (avec $p$ premier) est asymptotique à :
$$\sim C_{\text{Art}} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$$

4. Contributions Clés et Signification

1. Correction de l'Hypothèse Heuristique : L'article réfute l'hypothèse naïve selon laquelle les nombres de classes pour les discriminants premiers se comportent statistiquement comme ceux des entiers arbitraires. Il démontre que la contrainte de primalité introduit un facteur $C_{\text{Art}}$ qui réduit la moyenne asymptotique.
2. Complexité des Termes Principaux : Contrairement aux travaux antérieurs de Friedlander-Iwaniec (sur $-4p$) ou Nagoshi (sur $-p \equiv 1 \pmod 4$) qui aboutissent à un seul terme principal, la présence de formes non primitives et la nature spécifique de $1-4p$ génèrent une infinité de termes principaux (sommes sur $d$) qui doivent être soigneusement sommés pour obtenir le résultat final.
3. Modélisation des Fonctions L de Zagier : L'article fournit un modèle probabiliste original pour les fonctions $L$ de Zagier (qui ne sont pas des fonctions $L$ de Dirichlet standards), permettant de prédire la distribution des nombres de classes de Hurwitz. Cela ouvre la voie à l'étude des moments supérieurs de ces distributions.
4. Lien Interdisciplinaire : Le résultat fournit une quantification précise d'un phénomène en théorie des nœuds de haute dimension, reliant la topologie des nœuds simples de genre 1 à la théorie analytique des nombres de manière rigoureuse.

En résumé, ce papier résout un problème de comptage arithmétique subtil en combinant des techniques analytiques avancées (sommes de caractères, théorème de Siegel-Walfisz) avec une intuition probabiliste profonde, révélant l'influence subtile de la primalité sur la distribution des classes de formes quadratiques.