Class numbers and integer points on some Pellian surfaces

Technische Samenvatting: Klassenaantallen en gehele punten op bepaalde Pelliaanse oppervlakken

Probleemstelling
Dit artikel onderzoekt de distributie van niet-triviale gehele punten op Pelliaanse oppervlakken, specifiek het oppervlak gedefinieerd door $t^2 - du^2 = 1$ binnen een begrensde regio. Het centrale object van studie is de telfunctie $N(B)$, die de gehele triples $(t, d, u)$ telt die aan de vergelijking voldoen met $\max(|t|, |d|, |u|) \le B$ en $u \neq 0$. De groeisnelheid van $N(B)$ is inherent verbonden met de grootte van de fundamentele oplossingen $\varepsilon_d$ van de Pell-vergelijking.

Het artikel behandelt twee primaire vragen:

1. Wat is het asymptotische gedrag van $N(B)$?
2. Wat kan worden afgeleid over de typische grootte van fundamentele oplossingen $\varepsilon_d$ en de gemiddelde klassenaantallen $h(d)$ voor specifieke families van $d$, uitgaande van vermoedens over gehele punten op log K3-oppervlakken?

Methodologie
De auteur maakt gebruik van een combinatie van analytische getaltheorie, de meetkunde van getallen en arithmetische meetkunde.

• Decompositie en telling: Voor de onvoorwaardelijke bovengrens van $N(B)$ gebruikt het artikel de "initiële decompositie" van de Pell-vergelijking $(t+1)(t-1) = du^2$. Dit splitst het probleem op in gevallen gebaseerd op de pariteit van $t$ en deelbaarheid van $d$. De auteur past resultaten van Fouvry en Jouve en Reuss toe, waarbij de benaderende determinantmethode wordt gebruikt om het aantal oplossingen te begrenzen van de resulterende hulpvergelijkingen $d_1 u_1^2 - d_2 u_2^2 = \theta$.
• Log K3-oppervlakken en A1-curven: Het artikel verschuift de focus naar het oppervlak $U$ gedefinieerd door $t^2 - (z^2+3)u^2 = 1$ (of equivalent: $2uyz = y^2 - 3u^2 - 1$). De auteur identificeert dat gehele punten op het oorspronkelijke Pelliaanse oppervlak vaak liggen op "A1-curven" (rationale curven gedefinieerd over $\mathbb{Z}$). Door deze punten te verwijderen, wordt het deelverzameling $U^\circ$ bestudeerd.
• Conjecturaal kader: De analyse leunt zwaar op de conjectuur 1.2 van Browning en Wilsch, die voorspelt dat voor een glad log K3-oppervlak $U$, het aantal gehele punten buiten A1-curven logaritmisch groeit: $N^\circ_U(B) \ll (\log B)^{\rho_U + b}$, waarbij $\rho_U$ de Picard-getal is en $b$ het aantal reële componenten van de randdivisor.
• Geometrische berekening: Om de Browning-Wilsch-conjectuur toe te passen, berekent de auteur expliciet de invarianten van het oppervlak $U$ gedefinieerd voor $k=3$. Dit omvat het resolveren van singulariteiten (specifiek een $A_2$-singulariteit) om het Picard-getal $\rho_U = 2$ en het aantal randcomponenten $b=2$ te bepalen, wat een exponent van 4 oplevert.
• Klassenaantalformules: Het artikel verbindt de grootte van fundamentele eenheden met klassenaantallen via de Dirichlet-klassenaantalformule: $h(d) \log \varepsilon_d = \sqrt{d} L_d(1)$.

Belangrijkste bijdragen en resultaten

1. Grenzen aan gehele punten $N(B)$:

   • Stelling 1.1: De auteur stelt de ondergrens $N(B) \gg B^{1/2}(\log B)^2$ vast, afgeleid van de stelling van Hooley over de dichtheid van fundamentele oplossingen.
   • Onvoorwaardelijke bovengrens: Zonder onbewezen conjecturen aan te nemen, bewijst het artikel $N(B) \ll_\epsilon B^{7/12 + \epsilon}$. Dit verbetert eerdere onvoorwaardelijke schattingen door de initiële decompositie te combineren met de benaderende determinantmethode.
   • Voorwaardelijke bovengrens: Uitgaande van Hooley's Conjectuur (1.7) voor $\alpha = 3/2$, toont de auteur aan dat $N(B) \ll B^{1/2}(\log B)^2$, wat overeenkomt met de ondergrens.

2. Ondergrenzen voor fundamentele oplossingen:

   • Stelling 1.3: Uitgaande van de Browning-Wilsch-conjectuur voor het specifieke log K3-oppervlak $U$, bewijst het artikel dat voor bijna alle $z$ (waarbij $3 \nmid z$ en $z^2+3$ vierkantvrij is), de fundamentele oplossing voldoet aan $\log \varepsilon_{d(z)} \gg d(z)^{1/8 - \epsilon}$.
   • Dit resultaat wordt afgeleid door aan te tonen dat als de fundamentele oplossingen kleiner zouden zijn, het aantal gehele punten op het oppervlak de logaritmische grens van de conjectuur zou overschrijden.
   • Corollary 1.5: Dit impliceert de existentie van oneindig veel reële kwadratische lichamen $K$ met discriminant $\Delta_K$ waarvoor $\log \varepsilon_K \gg \Delta_K^{1/8 - \epsilon}$.

3. Gemiddelde van klassenaantallen:

   • Stelling 1.6: Uitgaande van de Browning-Wilsch-conjectuur, biedt het artikel een verbeterde bovengrens voor het gemiddelde van klassenaantallen $h(z^2+3)$ over vierkantvrije waarden waar $3 \nmid z$. Specifiek:
     $$\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}$$
   • Dit verbetert de triviale grens afgeleid van Yamamoto's stelling, die een grens geeft van de orde $Z^2 (\log Z)^{-2}$ voor dezelfde som.

Betekenis en claims
Het artikel beweert een brug te slaan tussen de arithmetica van Pell-vergelijkingen en de meetkunde van log K3-oppervlakken.

• Reverse Engineering: Een primaire bijdrage is het "omgekeerde proces" van het gebruiken van conjecturen over de schaarste van gehele punten op log K3-oppervlakken (specifiek die niet op A1-curven liggen) om ondergrenzen af te leiden voor de grootte van fundamentele eenheden.
• Verfijning van grenzen: Het werk levert de eerste onvoorwaardelijke bovengrens van $B^{7/12+\epsilon}$ voor de telfunctie $N(B)$, wat het begrip van hoe gehele punten op deze oppervlakken verdeeld zijn verfijnt.
• Voorwaardelijke verbeteringen: Door de Browning-Wilsch-conjectuur aan te nemen, laat het artikel zien dat fundamentele oplossingen voor de familie $d=z^2+3$ aanzienlijk groter zijn dan voorheen bekend voor vierkantvrije $d$, en dat het gemiddelde klassenaantal voor deze familie trager groeit dan de standaard $Z^2$ snelheid.

De auteur merkt op dat hoewel de resultaten voor fundamentele eenheden voorwaardelijk zijn op de Browning-Wilsch-conjectuur, de onvoorwaardelijke grenzen voor $N(B)$ rigoureus zijn. Het artikel claimt niet de Browning-Wilsch-conjectuur zelf te bewijzen, maar gebruikt deze als een instrument om arithmetische informatie te extraheren die momenteel buiten het bereik ligt van standaard analytische methoden alleen.