A lower bound for classical Kloosterman sums and an application

Sintesi Tecnica: Un Limite Inferiore per le Somme di Kloosterman Classiche e una sua Applicazione

Enunciato del Problema
Il saggio affronta due problemi interconnessi nella teoria analitica dei numeri. In primo luogo, mira a stabilire un limite inferiore non banale per la classica somma di Kloosterman $S(a, b; c)$, definita come $\sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$, sotto le condizioni che $(ab, c) = 1$e$c$ sia un intero dispari. Sebbene il non-annullamento di queste somme sia stato utilizzato nella letteratura recente per studiare le distribuzioni degli autovalori, non era stato precedentemente stabilito nella letteratura un limite inferiore esplicito per $|S(a, b; c)|$. In secondo luogo, gli autori mirano ad applicare questo nuovo limite per derivare un limite inferiore esplicito per il termine di discrepanza della formula della traccia di Petersson, specificamente per lo spazio delle forme di cuspide $S_k(N)$ dove il peso $k$ e il livello $N$ possono variare indipendentemente.

Metodologia
La metodologia procede attraverso due fasi primarie:

1. Derivazione del Limite Inferiore per le Somme di Kloosterman:
   Gli autori decompongono il modulo $c$ in $c = du$, dove $u$ è privo di quadrati (squarefree) e $d$ è un numero potente (con $(d, u)=1$). Trattano le componenti separatamente:

   • Caso Privo di Quadrati: Per la parte priva di quadrati $u$, utilizzano le proprietà algebriche delle somme di Kloosterman all'interno dei campi ciclotomici. Considerando la norma della somma sul gruppo di Galois e applicando il limite di Weil, derivano un limite inferiore che coinvolge il numero di divisori $\tau(u)$ e la funzione totiente di Eulero $\phi(u)$.
   • Caso di Potenza di Primo Dispari: Per la parte potente $d$ (composta da potenze di primi $p^\beta$), impiegano formule di valutazione esplicita per $S(a, b; p^\beta)$ trovate in testi standard (ad es. Iwaniec e Kowalski). Analizzando la parte reale dell'espressione risultante e utilizzando disuguaglianze trigonometriche, stabiliscono un limite inferiore di ordine $2/\sqrt{q}$ per le potenze di primi, a condizione che $ab$ sia un residuo quadratico modulo il primo.
   • Caso Generale: Utilizzando la moltiplicatività delle somme di Kloosterman, combinano i limiti per le componenti prive di quadrati e quelle potenti per ottenere un limite inferiore globale per $|S(a, b; c)|$.

2. Applicazione alla Formula della Traccia di Petersson:
   Gli autori applicano il limite inferiore derivato al termine di errore nella formula della traccia di Petersson, denotato con $\Delta_{k,N}(m, n) - \delta(m, n)$. La formula esprime questa differenza come una somma che coinvolge somme di Kloosterman e funzioni di Bessel del primo tipo, $J_{k-1}$.

   • Dividono la sommatoria sul livello $c$ nel termine dove $c=N$ e nella coda dove $c > N$.
   • La coda è limitata superiormente utilizzando test integrali e stime di decadimento esponenziale per la funzione di Bessel.
   • Il termine principale ($c=N$) è limitato inferiormente utilizzando il nuovo limite inferiore per le somme di Kloosterman e stime esplicite per la funzione di Bessel $J_{k-1}$ nel range di transizione (specificamente quando l'argomento è vicino all'ordine della funzione).
   • Gli autori utilizzano lemmi specifici riguardanti il comportamento di $J_\nu(\nu)$ e $J_\nu(\nu + t\nu^{1/3})$ derivati dal lavoro di Kraus per gestire il comportamento asintotico delle funzioni di Bessel.

Contributi Chiave e Risultati

• Teorema 1: Il saggio stabilisce il primo limite inferiore esplicito per $|S(a, b; c)|$ dove $c$ è dispari e $(ab, c)=1$. Il limite dipende dalla decomposizione di $c$ nelle parti prive di quadrati e potenti, coinvolgendo specificamente $\omega(d)$, $\tau(u)$ e $\phi(u)$. Il risultato chiarisce inoltre che la somma si annulla se $ab$ è un non-residuo quadratico modulo qualsiasi primo che divide la parte potente di $c$.
• Teorema 2: Gli autori derivano un limite inferiore esplicito per $|\Delta_{k,N}(m, n) - \delta(m, n)|$ per peso pari $k$ e livello dispari $N$. A differenza dei precedenti risultati asintotici (ad es. [JS20, Teorema 1.7]) che fissano il livello $N$ e lasciano $k \to \infty$, questo teorema permette a $k$ e $N$ di variare indipendentemente, a condizione che soddisfino specifiche disuguaglianze che coinvolgono una costante $D_0 \in (e^{H_0}, 1)$. Il limite inferiore è dell'ordine $J_{k-1}(k-1)e^{H_0(k-1)}$.
• Teorema 3: Per un intervallo più breve dell'argomento $4\pi\sqrt{mn}/N$ (specificamente $[(k-1), (k-1) + (k-1)^{1/3}]$), gli autori recuperano un limite inferiore di ordine $(k-1)^{-1/3}$, che è più forte del decadimento esponenziale trovato nel range più ampio del Teorema 2.
• Corollari: Il saggio fornisce corollari specifici (Corollario 1 e Corollario 3) che quantificano questi limiti per intervalli specifici di parametri, offrendo costanti esplicite per i limiti inferiori della traccia pesata degli operatori di Hecke.

Significatività e Rivendicazioni
Gli autori affermano che il loro lavoro colma una lacuna nella letteratura fornendo il primo limite inferiore esplicito per le somme di Kloosterman classiche. Questo risultato è significativo perché consente un'analisi più precisa del non-annullamento dei termini della formula della traccia di Petersson.

L'applicazione primaria evidenziata è una "versione modificata" di [JS20, Teorema 1.7]. La modifica permette al peso $k$ e al livello $N$ di variare indipendentemente, mentre i risultati precedenti richiedevano che $N$ fosse fisso. Gli autori osservano che, sebbene il loro intervallo per la variabile $4\pi\sqrt{mn}/N$ sia più grande (di dimensione proporzionale a $k$) rispetto all'intervallo $k^{1/3}$ di [JS20], ciò avviene al costo di un limite inferiore più debole (decadimento esponenziale rispetto a decadimento polinomiale). Tuttavia, per un intervallo più breve, riescono con successo a recuperare l'ordine polinomiale del limite inferiore.

Il saggio si conclude fornendo una tabella di valori per le costanti derivate $H(N)$, $k_0(N)$ e $k_1(N)$ per livelli specifici $N$, dimostrando l'applicabilità pratica dei loro limiti espliciti per pesi e livelli variabili. Il lavoro è presentato come un passo fondamentale per ottenere risultati di discrepanza per la distribuzione degli autovalori degli operatori di Hecke, costruendosi sul concetto di non-annullamento delle somme di Kloosterman.