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

1. Il Problema e il Contesto

Il lavoro si concentra sulla determinazione asintotica del numero di classi di equivalenza $SL_2(\mathbb{Z})$ di forme quadratiche binarie intere, definite positive, il cui discriminante è della forma $\Delta = 1 - 4p$, dove $p$ è un numero primo.

• Motivazione Topologica: La ricerca nasce da una connessione tra le forme quadratiche binarie e i nodi semplici di genere 1 (in dimensioni superiori, specificamente nodi $(4a+1)$). In particolare, esiste una mappa suriettiva dalle forme quadratiche di discriminante $1-4m$ ai nodi con polinomio di Alexander $\Delta_m(t) = mt^2 - (2m-1)t + m$. Quando $m = \pm p$ è primo, questa mappa è iniettiva. Gli autori vogliono quantificare la densità di tali nodi "dominanti" rispetto al conteggio totale.
• La Domanda Chiave: Quanti sono i classi $SL_2(\mathbb{Z})$ di forme quadratiche intere definite positive con discriminante $1-4p$ e valore assoluto del discriminante limitato da $X$?
• Distinzione Cruciale: A differenza di lavori precedenti (come quelli di Friedlander-Iwaniec o Nagoshi) che consideravano discriminanti primi o forme primitive, questo studio include forme non primitive e si restringe specificamente a discriminanti della forma $1-4p$.

2. Metodologia

La dimostrazione si basa su una combinazione di teoria analitica dei numeri, formule di classe e modelli probabilistici.

A. Formula Analitica del Numero di Classi

Gli autori utilizzano la formula analitica del numero di classe per discriminanti negativi $D$:
$$h(D) = \frac{1}{\pi} L(1, \chi_D) |D|^{1/2}$$
dove $h(D)$ è il numero di classi di forme primitive e $\chi_D$ è il carattere di Dirichlet primitivo associato.
Poiché il problema richiede di contare tutte le forme (incluse quelle imprimitive), la somma totale $Q(X)$ viene decomposta in base al contenuto $d$ della forma:
$$Q(X) = \sum_{d \ge 1} Q_d(X)$$
dove $Q_d(X)$ conta le forme con contenuto $d$. Questo riduce il problema alla stima di somme pesate di valori $L(1, \chi_{(1-4p)/d^2})$.

B. Stima delle Somme Caratteristiche

Il cuore tecnico della dimostrazione risiede nella stima della somma:
$$T_d(X) = \sum_{p \le X, d^2 | 1-4p} L(1, \chi_{(1-4p)/d^2})$$
Questa viene espressa come una somma bilineare di simboli di Kronecker:
$$T_d(X) = \sum_{p \le X, d^2 | 1-4p} \sum_{n \ge 1} \frac{1}{n} \left( \frac{(1-4p)/d^2}{n} \right)$$
Per stimare questa somma, gli autori adottano una strategia di "taglio" (cut-off):

1. Piccoli $n$ (Regione $n \le (\log X)^B$): Vengono applicati il Teorema di Siegel-Walfisz per stimare la somma sui primi $p$. Questo permette di isolare il termine principale.
2. Grandi $n$ (Regione $(\log X)^B < n < X^{1/2+\epsilon}$): Vengono utilizzate stime per somme bilineari caratteristiche (Lemma 4.1 e 4.2, basati sulla disuguaglianza di Polya-Vinogradov e setacci quadrati) per dimostrare che questa parte contribuisce solo a un termine di errore.
3. Coda della serie: La parte $n > X^{1/2+\epsilon}$ è trascurabile.

C. Il Modello del Prodotto di Eulero Random

Per spiegare la costante che appare nel risultato asintotico, gli autori costruiscono un modello di prodotto di Eulero random per i numeri di classe di Hurwitz $H(D)$.

• Considerano la funzione $L$-di Zagier $L_D(s)$ associata alle forme quadratiche.
• Analizzano i fattori locali $L_{D,p}(s)$ per discriminanti $D = 1-4p'$.
• Dimostrano che la restrizione $D = 1-4p'$ altera la distribuzione dei residui quadratici modulo $p$ rispetto al caso generale, introducendo un fattore di correzione specifico.

3. Risultati Principali

Teorema Asintotico (Teorema 1.1 e 5.3)

Il risultato principale è una formula asintotica precisa per la somma dei numeri di classe di Hurwitz (che differiscono dai numeri di classe standard solo per un termine di errore trascurabile):

$$\sum_{p \le 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)$$

Dove:

• $C_{Art}$ è la Costante di Artin:
  $$C_{Art} = \prod_{\ell \ge 2} \left( 1 - \frac{1}{\ell(\ell-1)} \right)$$
• Il termine di errore può essere migliorato a $O(X^{3/2}(\log X)^{-A})$ per qualsiasi $A > 1$ (Teorema 5.3).

Corollario Topologico (Corollario 1.2 e 2.2)

Il risultato viene tradotto in termini di teoria dei nodi:

• Il numero di classi di equivalenza $S$ di matrici di Seifert $2 \times 2$ con polinomio di Alexander $pt^2 + (1-2p)t + p$ (con $p \le X$ primo) è asintoticamente:
  $$\sim C_{Art} \frac{4\pi}{9} \frac{X^{3/2}}{\log X}$$
• Questo conferma l'ipotesi euristica che i nodi con polinomio di Alexander associato a un primo siano dominanti nel conteggio totale dei nodi semplici di genere 1.

4. Contributi Chiave e Innovazioni

1. Correzione dell'Ipotesi Euristica: Un contributo fondamentale è la dimostrazione che l'ipotesi ingenua (che i numeri di classe per $1-4p$ si comportino statisticamente come quelli per $1-4m$ con $m$ intero) è falsa. La restrizione ai primi introduce un fattore $C_{Art}$ che riduce la media rispetto al caso generale. Questo è dovuto al fatto che i numeri della forma $1-4p$ sono leggermente più propensi a essere non-residui quadratici modulo un primo $\ell$ rispetto ai numeri interi generici.
2. Gestione delle Forme Non Primitive: A differenza di lavori precedenti che si limitavano a forme primitive, questo studio gestisce sistematicamente la somma su tutte le forme (primitive e imprimitive), richiedendo la somma di infiniti termini principali (uno per ogni $d$) che devono essere combinati in un'unica costante.
3. Modellizzazione delle $L$-funzioni di Zagier: Gli autori forniscono un modello probabilistico (prodotto di Eulero random) specifico per le $L$-funzioni di Zagier, che governano i numeri di classe di Hurwitz, estendendo l'uso di tali modelli oltre le classiche $L$-funzioni quadratiche.
4. Precisione Asintotica: Forniscono una formula con un errore di ordine superiore rispetto alle stime precedenti, determinando esplicitamente la costante moltiplicativa.

5. Significato

Questo lavoro risolve un problema aperto nella teoria dei numeri e nella topologia algebrica.

• In Teoria dei Numeri: Fornisce una comprensione profonda della distribuzione dei numeri di classe per una famiglia specifica di discriminanti, rivelando come la struttura aritmetica dei primi influenzi le proprietà statistiche delle forme quadratiche in modi sottili (fattore $C_{Art}$).
• In Topologia: Quantifica la densità di una classe specifica di nodi di alta dimensione, fornendo un fondamento rigoroso alle congetture precedenti sulla loro predominanza.
• Metodologico: Dimostra l'efficacia di combinare tecniche analitiche classiche (Siegel-Walfisz, somme bilineari) con modelli probabilistici per affrontare problemi di conteggio su insiemi sparsi (numeri primi).

In sintesi, il paper stabilisce che la crescita del numero di tali forme quadratiche (e dei corrispondenti nodi) è proporzionale a $X^{3/2}/\log X$, ma con una costante di proporzionalità ridotta dalla costante di Artin, un risultato che unisce profondamente la teoria dei numeri, la teoria delle forme quadratiche e la topologia dei nodi.