Class numbers and integer points on some Pellian surfaces

Résumé Technique : Nombres de classes et points entiers sur certaines surfaces de Pell

Énoncé du Problème
Cet article étudie la distribution des points entiers non triviaux sur des surfaces de Pell, plus précisément la surface définie par $t^2 - du^2 = 1$ dans une région bornée. L'objet central de l'étude est la fonction de comptage $N(B)$, qui énumère les triplets d'entiers $(t, d, u)$ satisfaisant l'équation avec $\max(|t|, |d|, |u|) \le B$ et $u \neq 0$. Le taux de croissance de $N(B)$ est intrinsèquement lié à la taille des solutions fondamentales $\varepsilon_d$ de l'équation de Pell.

L'article répond à deux questions principales :

1. Quel est le comportement asymptotique de $N(B)$ ?
2. Que peut-on déduire de la taille typique des solutions fondamentales $\varepsilon_d$ et de la moyenne des nombres de classes $h(d)$ pour des familles spécifiques de $d$, en supposant des conjectures concernant les points entiers sur les surfaces K3 logarithmiques ?

Méthodologie
L'auteur emploie une combinaison de théorie analytique des nombres, de géométrie des nombres et de géométrie arithmétique.

• Décomposition et Comptage : Pour la borne supérieure inconditionnelle de $N(B)$, l'article utilise la « décomposition initiale » de l'équation de Pell $(t+1)(t-1) = du^2$. Cela divise le problème en cas basés sur la parité de $t$ et la divisibilité de $d$. L'auteur applique les résultats de Fouvry et Jouve ainsi que de Reuss, en utilisant la méthode du déterminant approximatif pour borner le nombre de solutions des équations auxiliaires résultantes $d_1 u_1^2 - d_2 u_2^2 = \theta$.
• Surfaces K3 log et courbes A1 : L'article déplace l'attention vers la surface $U$ définie par $t^2 - (z^2+3)u^2 = 1$ (ou équivalemment $2uyz = y^2 - 3u^2 - 1$). L'auteur identifie que les points entiers sur la surface de Pell originale se trouvent souvent sur des « courbes A1 » (courbes rationnelles définies sur $\mathbb{Z}$). En retirant ces points, on étudie le sous-ensemble $U^\circ$.
• Cadre Conjectural : L'analyse repose largement sur la Conjecture 1.2 de Browning et Wilsch, qui prédit que pour une surface K3 log lisse $U$, le nombre de points entiers en dehors des courbes A1 croît de manière logarithmique : $N^\circ_U(B) \ll (\log B)^{\rho_U + b}$, où $\rho_U$ est le nombre de Picard et $b$ le nombre de composantes réelles du diviseur de bord.
• Calcul Géométrique : Pour appliquer la conjecture de Browning-Wilsch, l'auteur calcule explicitement les invariants de la surface $U$ définie par $k=3$. Cela implique la résolution des singularités (spécifiquement une singularité $A_2$) pour déterminer le nombre de Picard $\rho_U = 2$ et le compte des composantes de bord $b=2$, produisant un exposant de 4.
• Formules du Nombre de Classes : L'article relie la taille des unités fondamentales aux nombres de classes via la formule de la classe de Dirichlet : $h(d) \log \varepsilon_d = \sqrt{d} L_d(1)$.

Contributions Clés et Résultats

1. Bornes sur les Points Entiers $N(B)$ :

   • Théorème 1.1 : L'auteur établit la borne inférieure $N(B) \gg B^{1/2}(\log B)^2$, dérivée du théorème de Hooley sur la densité des solutions fondamentales.
   • Borne Supérieure Inconditionnelle : Sans supposer de conjectures non prouvées, l'article prouve $N(B) \ll_\epsilon B^{7/12 + \epsilon}$. Cela améliore les estimations inconditionnelles précédentes en combinant la décomposition initiale avec la méthode du déterminant approximatif.
   • Borne Supérieure Conditionnelle : En supposant la Conjecture de Hooley (1.7) pour $\alpha = 3/2$, l'auteur montre que $N(B) \ll B^{1/2}(\log B)^2$, ce qui correspond à la borne inférieure.

2. Bornes Inférieures pour les Solutions Fondamentales :

   • Théorème 1.3 : En supposant la Conjecture de Browning-Wilsch pour la surface K3 log spécifique $U$, l'article prouve que pour presque tous les $z$ (où $3 \nmid z$ et $z^2+3$ est sans carré), la solution fondamentale satisfait $\log \varepsilon_{d(z)} \gg d(z)^{1/8 - \epsilon}$.
   • Ce résultat est dérivé en montrant que si les solutions fondamentales étaient plus petites, le nombre de points entiers sur la surface dépasserait la borne logarithmique prédite par la conjecture.
   • Corollaire 1.5 : Cela implique l'existence d'une infinité de corps quadratiques réels $K$ tels que $\log \varepsilon_K \gg \Delta_K^{1/8 - \epsilon}$, où $\Delta_K$ est le discriminant.

3. Moyenne des Nombres de Classes :

   • Théorème 1.6 : En supposant la Conjecture de Browning-Wilsch, l'article fournit une borne supérieure améliorée pour la moyenne des nombres de classes $h(z^2+3)$ sur les valeurs sans carré où $3 \nmid z$. Spécifiquement :
     $$\sum_{\substack{z \le Z \\ 3 \nmid z \\ \mu^2(z^2+3)=1}} h(z^2+3) \ll Z^{9/5} (\log Z)^{3/5}$$
   • Ceci améliore la borne triviale dérivée du théorème de Yamamoto, qui donne une borne d'ordre $Z^2 (\log Z)^{-2}$ pour la même somme.

Signification et Revendications
L'article prétend jeter un pont entre l'arithmétique des équations de Pell et la géométrie des surfaces K3 log.

• Ingénierie Inverse : Une contribution primaire est le « processus inverse » consistant à utiliser les conjectures sur la rareté des points entiers sur les surfaces K3 log (spécifiquement ceux ne se trouvant pas sur les courbes A1) pour déduire des bornes inférieures sur la taille des unités fondamentales.
• Affinement des Bornes : Le travail fournit la première borne supérieure inconditionnelle de $B^{7/12+\epsilon}$ pour la fonction de comptage $N(B)$, affinant la compréhension de la distribution des points entiers sur ces surfaces.
• Améliorations Conditionnelles : En supposant la conjecture de Browning-Wilsch, l'auteur démontre que les solutions fondamentales pour la famille $d=z^2+3$ sont nettement plus grandes que ce qui était connu précédemment pour $d$ sans carré, et que la moyenne des nombres de classes pour cette famille croît plus lentement que le taux standard de $Z^2$.

L'auteur note que bien que les résultats pour les solutions fondamentales soient conditionnels à la conjecture de Browning-Wilsch, les bornes inconditionnelles sur $N(B)$ sont rigoureuses. L'article ne prétend pas prouver la conjecture de Browning-Wilsch elle-même, mais plutôt l'utiliser comme un outil pour extraire des informations arithmétiques qui sont actuellement hors de portée des méthodes analytiques standards seules.