Trilinear Kloosterman fractions I: partially fixed moduli and unbalanced convolutions

1. Enunciato del Problema

Il paper affronta un problema centrale nella teoria dei numeri analitica riguardante la distribuzione delle funzioni aritmetiche nelle progressioni aritmetiche, focalizzandosi specificamente sulle convoluzioni sbilanciate.

Date due successioni di numeri complessi, $\alpha_m$ (supportate su $m \sim M$) e $\beta_n$ (supportate su $n \sim N$), l'obiettivo è stimare il termine di errore nella distribuzione del loro prodotto $mn$ modulo $q$. Nello specifico, l'autore indaga la quantità:
$$\Delta(\alpha, \beta, M, N, Q, a) = \sum_{q \sim Q} \left| \sum_{\substack{mn \equiv a \pmod q \\ m \sim M, n \sim N}} \alpha_m \beta_n - \frac{1}{\phi(q)} \sum_{\substack{mn \equiv a \pmod q \\ (mn,q)=1}} \alpha_m \beta_n \right|$$
L'obiettivo è stabilire limiti della forma $\ll X (\log X)^{-A}$ per i moduli $Q$ fino a $X^{1/2 + \delta}$, dove $X \approx MN$.

La Sfida:
Mentre il teorema generalizzato di Bombieri-Vinogradov gestisce i casi in cui $\delta < 0$, dimostrare risultati per $\delta > 0$ (cioè estendere l'intervallo dei moduli oltre la radice quadrata del conduttore) è significativamente più difficile. Lavori precedenti di Fouvry e Radziwiłł (2018) hanno stabilito tali limiti per piccoli $\delta > 0$, ma solo sotto condizioni restrittive in cui $N$ (la lunghezza della successione più corta) era molto piccola rispetto a $X$ (specificamente $N \le X^{1/72}$). Il paper mira a rilassare questi vincoli su $N$ e $Q$.

2. Metodologia

L'innovazione centrale del paper risiede nel perfezionamento della stima delle forme trilineari che coinvolgono frazioni di Kloosterman.

2.1. Il Quadro di Bettin-Chandee

La metodologia si basa su un famoso risultato di Bettin e Chandee (2011) riguardante le forme trilineari con frazioni di Kloosterman. La forma standard analizzata è:
$$B(M, N, A) = \sum_{a \sim A, m \sim M, n \sim N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{n} \right)$$
Fouvry e Radziwiłł hanno applicato questo teorema al loro problema trattando efficacemente un fattore fisso al denominatore come parte della variabile $n$, il che ha portato a una perdita di efficienza (sostituendo $N$ con $NQ$ nei limiti).

2.2. Il Miglioramento dei "Moduli Parzialmente Fissi"

Wright introduce una variazione innovativa in cui il denominatore contiene un fattore fisso $R$. Egli definisce una forma trilineare modificata:
$$B(M, N, A; R) = \sum_{a \in A, m \in M, n \in N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{nR} \right)$$
dove $R$ è un parametro tale che $R \ll M A$.

Passaggi Tecnici Chiave:

1. Divisori Complementari: Wright adatta il meccanismo dei "divisori complementari" utilizzato da Bettin e Chandee. Invece di introdurre una variabile ausiliaria $b$ per gestire il denominatore, egli utilizza il fattore fisso esistente $R$ nel denominatore.
2. Limiti Raffinati: Analizzando la somma con il fattore fisso $R$ esplicitamente, egli deriva un nuovo limite per $B(M, N, A; R)$ che è superiore alla semplice sostituzione $N \to NR$ nel teorema originale di Bettin-Chandee.
3. Metodo di Dispersione: Il limite migliorato sulla forma trilineare viene quindi inserito nel metodo di dispersione (specificamente la tecnica di dispersione di Linnik utilizzata da Fouvry e Radziwiłł) per limitare il termine di errore $\Delta$. Questo comporta la decomposizione dell'errore in termini principali e termini di errore, dove il nuovo limite trilineare migliora specificamente la stima del termine di errore $\tilde{W}_{Err1}$.

3. Contributi Chiave

Il paper apporta due contributi tecnici principali:

1. Teorema 2.1 (Limite Trilineare Migliorato):
   Wright dimostra un nuovo limite per le forme trilineari con un fattore fisso $R$ nel denominatore.
   $$B(M, N, A; R) \ll M^\epsilon \|\alpha\| \|\nu\| \|\beta\| (AMN)^{1/2} R^{1/4} \left( 1 + \frac{|\vartheta|A}{MN} \right)^{1/4} \times (\text{termini polinomiali in } M, N, A, R)$$
   Crucialmente, quando $R$ è grande, questo limite è significativamente più stretto rispetto all'applicazione ingenua del teorema originale di Bettin-Chandee.

2. Teorema 2.3 (Limite di Dispersione Migliorato):
   Applicando il Teorema 2.1 al metodo di dispersione, Wright deriva un limite più preciso per la dispersione $\Delta$.

   • Risultato Precedente (Fouvry-Radziwiłł): Il termine di errore conteneva componenti come $Q^{15/8} N^{23/8}$.
   • Nuovo Risultato: Il termine di errore è ridotto a $Q^{15/8} N^{11/4}$.
   • Risparmio: Questo rappresenta un risparmio di un fattore $N^{1/8}$ nel primo termine e $N^{2/5}$ nel secondo termine della stima dell'errore.

4. Risultati Principali

I limiti di errore migliorati consentono intervalli di validità significativamente più ampi per le stime delle convoluzioni sbilanciate (Corollario 2.2).

Il Corollario 2.2 stabilisce che il limite desiderato $\ll X (\log X)^{-A}$ vale sotto le seguenti condizioni (dove $MN \approx X$):

• Caso (i) - Intervallo Migliorato per $N$:
  Se $Q \le X^{1/2 + 1/66 - \delta}$, l'intervallo ammissibile per $N$ è migliorato da $N \le X^{1/72}$ (precedente) a:
  $$N \le Q^{-33/28} X^{17/28 - \epsilon}$$
  Specificamente, se $Q = X^{1/2 + \epsilon}$, ciò permette $N \le X^{1/56 - \epsilon'}$, un miglioramento sostanziale rispetto a $X^{1/72}$.

• Caso (ii) & (iii) - Intervallo Migliorato per $Q$:
  Per $N$ fissato nell'intervallo $X^{1/89} \le N \le X^{7/90}$, il modulo ammissibile $Q$ è migliorato da $X^{53/105}$ a:
  $$Q \le X^{45/89 - \epsilon}$$
  (Nota: $45/89 \approx 0.5056$, mentre $53/105 \approx 0.5047$).

Inoltre, il Corollario 2.4 estende questi miglioramenti alla distribuzione delle somme dei divisori (relativa alla funzione divisore), migliorando l'intervallo dei moduli $Q$ per cui il teorema di Bombieri-Vinogradov vale in questo contesto.

5. Significato

• Superamento delle Barriere: Il paper spinge i confini del caso "sbilanciato" nel teorema di Bombieri-Vinogradov. Nella teoria dei numeri analitica, la capacità di gestire moduli $Q$ più grandi (più vicini a $X^{1/2}$) o successioni $N$ più lunghe è critica per problemi riguardanti i numeri primi, come la congettura di Elliott-Halberstam.
• Raffinamento Metodologico: Il lavoro dimostra che il "fattore fisso" nel denominatore delle somme di Kloosterman, spesso trattato come un fastidio o assorbito nelle variabili, può essere sfruttato strutturalmente per ottenere risparmi. Ciò suggerisce una nuova via per il perfezionamento delle stime delle somme esponenziali.
• Fondamento per Lavori Futuri: Come prima parte di una serie ("Parte I"), questo paper getta le basi per ulteriori miglioramenti. Le tecniche sviluppate qui saranno probabilmente applicate a problemi di convoluzione più complessi o per spingere l'esponente $\delta$ più vicino ai limiti congetturati.

In sintesi, Thomas Wright perfeziona con successo l'analisi delle frazioni trilineari di Kloosterman sfruttando moduli parzialmente fissi, ottenendo limiti di errore più stretti che espandono l'intervallo di validità noto per le stime delle convoluzioni sbilanciate nella teoria dei numeri analitica.