Beyond the square-root barrier: cubic forms of Perazzo type

1. Il Problema

Il lavoro si concentra sullo studio quantitativo dei punti razionali su una specifica quadrifoglio cubico (una varietà algebrica di dimensione 4 immersa in $\mathbb{P}^5$) definita dalla forma cubica:
$$F(x, y) = x_1y_1^2 + x_2y_2^2 + x_3y_3^2 = 0$$
dove $(x, y) \in \mathbb{Z}^6$.

La varietà $X$ presenta una singolarità significativa: contiene un piano doppio definito da $y_1 = y_2 = y_3 = 0$. L'obiettivo principale è determinare il comportamento asintotico della funzione di conteggio $N(B)$, che conta il numero di punti razionali di altezza $\le B$ su $X$, superando le limitazioni teoriche che tipicamente ostacolano l'uso del metodo del cerchio per varietà cubiche in spazi proiettivi di dimensione inferiore a 6 (o 7).

In particolare, gli autori mirano a verificare la congettura di Manin per una risoluzione crepante $\tilde{X} \to X$ di questa varietà singolare, prevedendo che il numero di punti cresca come $B^3 \log B$.

2. Metodologia

L'approccio principale è l'applicazione avanzata del metodo del cerchio, specificamente nella sua variante "liscia" ($\delta$-method) sviluppata da Heath-Brown, basata sulla tecnologia della funzione $\delta$ liscia di Duke, Friedlander e Iwaniec.

Le sfide tecniche affrontate e le strategie adottate includono:

• Superamento della barriera della radice quadrata: Tradizionalmente, il metodo del cerchio fallisce per ipersuperfici cubiche in $\mathbb{P}^{n-1}$ se $n \le 6$ a causa della mancanza di cancellazione sufficiente nelle somme esponenziali (il "square-root barrier"). Gli autori dimostrano che per la forma cubica di Perazzo (1.2), le somme esponenziali finite soddisfano una cancellazione migliore della radice quadrata (proprietà $(\diamond)$), permettendo di procedere.
• Analisi delle somme esponenziali: Viene condotta un'analisi dettagliata delle somme complete $S_q(m, n)$ modulo $q$. Gli autori dimostrano che per questa specifica forma, le somme soddisfano stime superiori ($O(p^3)$ invece di $O(p^{7/2})$) per moduli primi, sfruttando la struttura algebrica della forma e la sua relazione con la varietà duale.
• La varietà duale e la funzione $\Delta$ di Hooley: Un aspetto cruciale è il contributo dei vettori $(m, n)$ che si annullano sulla varietà duale $X^*$. La forma duale è un polinomio sesto grado $D(m, n)$.
  • La maggior parte del termine principale proviene dai vettori nulli $(0,0)$.
  • Tuttavia, una frazione significativa (1/4) del termine principale proviene dai vettori non nulli che giacciono sulla varietà duale $D(m, n) = 0$.
  • Per gestire i contributi di questi vettori, gli autori utilizzano la funzione $\Delta$ di Hooley (che misura la massima concentrazione dei divisori di un numero in un intervallo logaritmico) e risultati recenti sulla media di funzioni aritmetiche su sequenze polinomiali (lavori di la Bretèche-Tenenbaum e Chan-Koymans-Pagano-Sofos).
• Decomposizione in reticoli: L'analisi dei punti sulla varietà duale è collegata alla geometria dei numeri, identificando reticoli primitivi $\Lambda(t)$ associati a punti razionali su $\mathbb{P}^2$, permettendo di trasformare il problema di conteggio in uno studio di densità reali su questi reticoli.

3. Risultati Chiave

Il risultato principale è il Teorema 1.1, che stabilisce la seguente formula asintotica per la funzione di conteggio pesata $N(B)$:

$$N(B) = \frac{\sigma_\infty}{\zeta(3)} B^3 \log B + O(B^3 (\log B)^\varepsilon)$$

dove:

• $\sigma_\infty$ è la densità reale pesata associata alla varietà.
• $\zeta(3)$ è il valore della funzione zeta di Riemann a 3.
• Il termine di errore è $O(B^3 (\log B)^\varepsilon)$ per ogni $\varepsilon > 0$.

Verifica della Congettura di Manin:
Gli autori dimostrano che questo risultato conferma la congettura di Manin per la risoluzione crepante $\tilde{X}$ della varietà singolare.

• Il grado del termine principale è $B^3$, coerente con la dimensione di $\tilde{X}$ (che è 4) e il suo rango del gruppo di Picard (che è 2, portando a un fattore $\log B$).
• La costante principale calcolata $\frac{\sigma_\infty}{6\zeta(3)^2}$ (dopo aver corretto per la normalizzazione dell'altezza anticanonica) coincide esattamente con la previsione di Peyre, che combina il volume del cono efficace, l'ordine del gruppo di Brauer e le misure di Tamagawa (finite e archimedee).

4. Contributi Tecnici Specifici

1. Proprietà $(\diamond)$: Dimostrazione che la forma cubica di Perazzo ammette una cancellazione eccezionale nelle somme esponenziali su campi finiti, una proprietà legata all'annullamento del numero $A$ definito da Katz. Questo è il motore che permette di superare la barriera della radice quadrata.
2. Ruolo della varietà duale: Identificazione e calcolo preciso del contributo della varietà duale al termine principale. A differenza dei casi classici dove solo il termine nullo conta, qui i vettori sulla varietà duale contribuiscono per un quarto del termine principale, un fenomeno che riflette la presenza di piani razionali singolari sulla varietà.
3. Uso della funzione $\Delta$ di Hooley: Applicazione innovativa dei limiti superiori per la media della funzione $\Delta$ lungo sequenze polinomiali per controllare i termini di errore legati ai divisori della forma duale, evitando perdite logaritmiche eccessive.
4. Unconditional Treatment: Questo è il primo trattamento incondizionato (senza ipotesi non dimostrate come l'ipotesi di Riemann generalizzata) di una quadrifoglio cubico ridotto e irriducibile tramite il metodo del cerchio.

5. Significato e Impatto

• Avanzamento del Metodo del Cerchio: Il lavoro dimostra che il metodo del cerchio può essere applicato con successo a varietà cubiche singolari in $\mathbb{P}^5$, un regime dimensionale che era considerato al di là delle capacità attuali del metodo a causa della barriera della radice quadrata.
• Classificazione di Perazzo: Fornisce un esempio concreto e risolto per la classe di ipersuperfici cubiche con Hessiano nullo (o quasi) studiate da Perazzo e successivamente da Gondim e Russo, collegando la geometria algebrica classica alla teoria dei numeri analitica moderna.
• Conferma della Congettura di Manin: Risolve un caso specifico e complesso della congettura di Manin per una varietà con singolarità non banali, validando le previsioni di Peyre in un contesto geometrico non banale.
• Generalizzabilità: Gli autori suggeriscono che la proprietà $(\diamond)$ potrebbe essere condivisa da altre famiglie di forme cubiche (es. intersezioni di coni, equazioni trilineari), aprendo la strada a futuri studi su altre varietà di Perazzo o strutture simili.

In sintesi, il paper rappresenta un risultato fondamentale nella teoria dei numeri analitica, combinando tecniche profonde di analisi esponenziale, geometria algebrica e teoria dei reticoli per risolvere un problema di conteggio che era rimasto aperto a causa di ostacoli teorici apparentemente insormontabili.