A two-dimensional delta symbol method and its application to pairs of quadratic forms

1. Enunciato del Problema

Il lavoro affronta il problema di contare le soluzioni intere di un sistema di due equazioni quadratiche omogenee in $s$ variabili:
$$F_1(\mathbf{x}) = 0, \quad F_2(\mathbf{x}) = 0$$
dove $F_1, F_2 \in \mathbb{Z}[x_1, \dots, x_s]$ definiscono un'intersezione completa non singolare di codimensione 2 nello spazio proiettivo. L'obiettivo è derivare una formula asintotica per il numero di punti interi $\mathbf{x}$ con $|\mathbf{x}| \le P$ al tendere di $P \to \infty$.

In particolare, gli autori mirano a determinare il numero minimo di variabili $s$ richiesto per stabilire tale formula asintotica utilizzando il metodo del cerchio di Hardy-Littlewood. Risultati precedenti richiedevano $s \ge 11$ (Munshi) o trattavano solo casi "separati" (Heath-Brown–Pierce). Gli autori mirano ad abbassare questa soglia a $s \ge 10$ in modo incondizionato e a $s \ge 9$ sotto l'Ipotesi Generalizzata di Lindelöf (GLH).

2. Metodologia: Il Simbolo Delta Bidimensionale

L'innovazione centrale del lavoro è lo sviluppo di un metodo del simbolo delta bidimensionale. Si tratta di un affinamento del classico metodo del cerchio progettato per gestire sistemi di equazioni ($R \ge 2$) in cui la standard decomposizione in "archi maggiori/archi minori" è insufficiente per ottenere stime precise.

2.1. Limiti dei Metodi Precedenti

• Metodo del Cerchio Classico: Divide il quadrato unitario $[0,1]^2$ in archi maggiori (vicini ai razionali $\mathbf{a}/q$) e archi minori. Per $R=2$, la geometria delle approssimazioni razionali è complessa; la distanza tra vicini dipende dalle altezze delle rette affini, rendendo impossibile una dissezione di Farey letterale.
• Simboli Delta Annidati (Munshi): Ha utilizzato un approccio annidato ma ha portato a moduli $q$ più grandi del necessario, conducendo a passaggi di sommazione di Poisson meno efficienti.
• Analoghi nei Campi Funzionali: Vishe aveva precedentemente risolto questo problema su $\mathbb{F}_q(t)$ utilizzando una dissezione di Farey 2D, ma la natura non archimedea di tale contesto ha impedito una traduzione diretta ai campi numerici.

2.2. La Nuova Identità del Simbolo Delta

Gli autori dimostrano il Teorema 1.2, che fornisce una partizione dell'unità regolare per la funzione delta $\delta_{\mathbf{n}}$ (dove $\delta_{\mathbf{n}} = 1$ se $\mathbf{n}=\mathbf{0}$ e $0$ altrimenti) in due dimensioni:
$$\delta_{\mathbf{n}} = \sum_{1 \le q \le Q} \sum_{\mathbf{a} \pmod q}^* \int_{\mathbb{R}^2} p_{\Lambda(\mathbf{a}, q)}(\mathbf{w}) e\left( \left(\frac{\mathbf{a}}{q} + \mathbf{w}\right) \cdot \mathbf{n} \right) d\mathbf{w} + O(Q^{-N})$$
Caratteristiche chiave di questa identità:

• Dipendenza dal Reticolo: La funzione kernel $p_{\Lambda(\mathbf{a}, q)}$ dipende dal reticolo $\Lambda(\mathbf{a}, q) = \{ k\mathbf{a} + q\mathbf{y} : k \in \mathbb{Z}, \mathbf{y} \in \mathbb{Z}^2 \}$.
• Supporto Ottimale: La funzione è supportata su $\mathbf{w}$ di dimensione circa $q^{-1}Q^{-1/2}$. Questa è la dimensione ottimale per un'approssimazione di Dirichlet 2D, permettendo di scegliere il parametro $Q$ come $Q \asymp P^{4/3}$ (dove $P$ è la dimensione delle variabili), che è più piccolo rispetto ai metodi precedenti ($Q \asymp P^{3/2}$).
• Affinamento Doppio di Kloosterman: La struttura del reticolo permette agli autori di raggruppare i termini in base al reticolo piuttosto che solo al denominatore $q$. Ciò consente di mediare su $\mathbf{a}$ (affinamento di Kloosterman) e, crucialmente, di mediare su $q$ (affinamento doppio di Kloosterman) per sfruttare le cancellazioni nelle somme esponenziali.

3. Contributi Chiave e Risultati Tecnici

3.1. La Formula Asintotica Principale (Teorema 1.1)

Gli autori stabiliscono la formula asintotica per il numero di soluzioni $N(P)$:
$$N(P) = S I P^{s-4} + O(P^{s-4-\Delta})$$
dove:

• $S$ è la serie singolare (fattore aritmetico).
• $I$ è l'integrale singolare (fattore geometrico).
• L'esponente del termine di errore $\Delta$ dipende da $s$:
  • Incondizionato:
    • Se $s$ è pari e $s \ge 10$, $\Delta < 1/6$.
    • Se $s$ è dispari e $s \ge 11$, $\Delta < 1/15$.
  • Condizionato (sotto GLH):
    • Se $s = 9$ (dispari), $\Delta < 1/15$.

Questo risultato verifica la congettura di Manin–Peyre per intersezioni non singolari di due quadriche di dimensione $\ge 7$ (o 6 sotto GLH).

3.2. Decomposizione della Funzione di Conteggio

La dimostrazione comporta la decomposizione della funzione di conteggio in tre parti in base alla dimensione del modulo $q$ e alla funzione "peso" nel simbolo delta:

1. Archi Maggiori ($N_0$): Il termine principale derivato da $q$ piccolo e $\mathbf{w}$ vicino a 0.
2. Archi Minori Tipo 1 ($N_1$): Contributi da $q$ piccolo ma $\mathbf{w}$ più grande, gestiti utilizzando stime standard per somme esponenziali.
3. Archi Minori Tipo 2 ($N_2$): Contributi da $q$ grande e dalla struttura specifica del reticolo. Questa è la parte più difficile, che richiede un'analisi dettagliata delle somme esponenziali $S_{q, d\mathbf{c}}(u)$ e degli integrali esponenziali.

3.3. Gestione delle Somme Esponenziali e della Geometria

Gli autori eseguono un'analisi profonda delle somme esponenziali $S_{q, d\mathbf{c}}(u)$:

• Classificano i primi e i vettori $\mathbf{c}$ in tipi "buoni" e "cattivi" in base alla singolarità della forma quadratica $F_{\mathbf{c}} = c_1 F_1 + c_2 F_2$.
• Utilizzano la sommazione di Poisson e la geometria dei numeri (in particolare la geometria del reticolo $\Lambda(\mathbf{a}, q)$) per limitare i contributi degli archi minori.
• Per il caso $s=9$, fanno affidamento sull'Ipotesi Generalizzata di Lindelöf per ottenere sufficiente cancellazione nella media delle somme esponenziali su $q$.

4. Significato e Confronto

4.1. Miglioramento rispetto ai Limiti Esistenti

• Munshi [29]: Richiedeva $s \ge 11$. Il nuovo metodo riduce questo a $s \ge 10$ in modo incondizionato.
• Heath-Brown–Pierce [16]: Gestiva il caso "separato" ($F_i(x,y) = G_i(x) + H_i(y)$) per $s \ge 10$. Questo lavoro rimuove la restrizione "separata", gestendo intersezioni non singolari generali.
• Campi Funzionali: Il risultato corrisponde al limite condizionato ($s=9$) noto nell'impostazione dei campi funzionali (Vishe [37]), colmando un divario significativo tra campi numerici e campi funzionali.

4.2. Superiorità Euristiche

Nella Sezione 14, gli autori forniscono un confronto euristico (Euristica 2) che mostra come il loro metodo sia superiore per $s$ grandi.

• L'efficacia di un metodo del simbolo delta è approssimativamente catturata da $Q^{s/2} A^{-1/2}$, dove $Q$ è il parametro del modulo e $A$ è la dimensione della media su $\mathbf{a}$.
• Il loro metodo ottiene $Q \asymp P^{4/3}$ e $A \asymp Q$, portando a un termine di errore di dimensione $P^{2(s-1)/3}$.
• I metodi precedenti (come quello di Munshi) avevano $Q \asymp P^{3/2}$ e $A \asymp Q^{5/3}$, portando a un termine di errore più grande $P^{(3s-5)/4}$.
• Il nuovo metodo diventa strettamente migliore per $s \ge 8$ e il divario si allarga all'aumentare di $s$.

5. Conclusione

Il lavoro presenta una svolta nella teoria analitica delle equazioni diofantee costruendo un robusto simbolo delta bidimensionale. Questo strumento facilita un affinamento doppio di Kloosterman nel metodo del cerchio, permettendo il trattamento di coppie di forme quadratiche con meno variabili rispetto al possibile in precedenza. I risultati avanzano significativamente la comprensione della distribuzione dei punti razionali sulle intersezioni complete di quadriche e forniscono un quadro che gli autori sostengono supererà i metodi esistenti per sistemi con più variabili o gradi superiori.