2025-11-21T17:40:15.253983

A higher rank shifted convolution problem with applications to L-functions

Blomer, Li
While several instances of shifted convolution problems for GL(3) x GL(2) have been solved, the case where one factor is the classical divisor function and one factor is a GL(3) Fourier coefficient has remained open. We solve this case in the present paper. The proof involves two intertwined applications of different types of delta symbol methods. As an application we establish an asymptotic formula for central values of L-functions for a GL(3) automorphic form twisted by Dirichlet characters to moduli q < Q.
academic

Un problema di convoluzione traslata di rango superiore con applicazioni alle funzioni L

Informazioni Fondamentali

  • ID Articolo: 2511.03294
  • Titolo: A higher rank shifted convolution problem with applications to L-functions
  • Autori: Valentin Blomer, Junxian Li
  • Classificazione: math.NT (Teoria dei Numeri)
  • Data di Pubblicazione: 5 novembre 2025
  • Link Articolo: https://arxiv.org/abs/2511.03294v1

Riassunto

Questo articolo risolve un caso a lungo irrisolto nel problema della convoluzione traslata GL(3) × GL(2): un fattore è la classica funzione dei divisori, mentre l'altro è il coefficiente di Fourier GL(3). Il metodo di prova comporta l'applicazione intrecciata di due diversi tipi di metodi delta simbolici. Come applicazione, si stabilisce una formula asintotica per i valori centrali delle funzioni L di forme automorfe GL(3) torte da caratteri di Dirichlet (modulo q ≤ Q).

Contesto di Ricerca e Motivazione

Problema di Ricerca

Il problema della convoluzione traslata (shifted convolution problem) studia le formule asintotiche per i prodotti di due funzioni aritmetiche (tipicamente moltiplicative) quando i parametri differiscono per uno scostamento additivo, ed è uno strumento importante per misurare la correlazione tra due funzioni.

Importanza del Problema

  1. Contesto Classico: Il caso più classico della funzione dei divisori ∑n≤xτ(n)τ(n+1)\sum_{n≤x} τ(n)τ(n+1) è stato studiato per un secolo
  2. Significato Teorico: Il problema della convoluzione traslata è strettamente correlato ai momenti delle funzioni L, alla teoria dei crivelli, al problema dei divisori di Titchmarsh e ad altri problemi fondamentali della teoria dei numeri
  3. Sfida Tecnica: Il problema della convoluzione traslata per forme automorfe di rango superiore è estremamente impegnativo, e risultati non banali per la maggior parte dei casi rimangono sconosciuti

Limitazioni dei Metodi Esistenti

Per il caso GL(3) × GL(2), sono stati ottenuti i seguenti progressi:

  • Caso (1.1): ∑n≤xτ3(n)τ(n+1)\sum_{n≤x} τ_3(n)τ(n+1) - Hooley ha ottenuto il termine principale, Deshouillers ha fornito un termine di errore con risparmio di potenza, Topacogullari ha raggiunto il miglior risultato attuale O(x5/6+θ/3+ε)O(x^{5/6+θ/3+ε})
  • Caso (1.2): ∑n≤xτ3(n)λ(n+1)\sum_{n≤x} τ_3(n)λ(n+1) - Pitt ha stabilito un limite con risparmio di potenza, Tang ha raggiunto O(x5/6+θ/3+ε)O(x^{5/6+θ/3+ε})
  • Caso (1.3): ∑n≤xA(n,1)λ(n+1)\sum_{n≤x} A(n,1)λ(n+1) - Munshi ha ottenuto un limite con risparmio di potenza, Xi ha raggiunto O(x21/22+ε)O(x^{21/22+ε})

Tuttavia, il Caso (1.4): ∑n≤xA(n,1)τ(n+1)\sum_{n≤x} A(n,1)τ(n+1) è rimasto irrisolto, e nessuno dei metodi utilizzati per i casi precedenti poteva affrontarlo.

Motivazione della Ricerca

  1. Colmare il Vuoto Teorico: Il caso (1.4) è l'ultimo caso irrisolto del problema della convoluzione traslata GL(3) × GL(2)
  2. Svolta Metodologica: La somma esponenziale della funzione dei divisori si comporta male sull'arco principale (nel senso L²), quindi non può essere applicato direttamente il metodo del cerchio di Jutila o il metodo di Kloosterman
  3. Valore Applicativo: La risoluzione di questo problema consente di stabilire una formula asintotica per i momenti della funzione L GL(3), una svolta dopo più di 20 anni

Contributi Fondamentali

  1. Risoluzione di un Problema a Lungo Irrisolto: Primo stabilimento di un limite con risparmio di potenza per il problema della convoluzione traslata tra i coefficienti di Fourier GL(3) e la funzione dei divisori
  2. Metodologia Innovativa: Prima applicazione intrecciata del metodo di Jutila e del metodo del cerchio raffinato di Kloosterman, superando le limitazioni di ciascuno
  3. Uniformità Completa: Raggiungimento della uniformità completa per tutti i parametri h, λ₁, λ₂ nell'equazione di convoluzione bilineare traslata
  4. Formula Asintotica per i Momenti della Funzione L: Stabilimento della formula asintotica per i valori centrali delle funzioni L di forme automorfe GL(3) torte da caratteri di Dirichlet, contenente circa Q² termini ma con conduttore circa Q³

Spiegazione Dettagliata del Metodo

Teoremi Fondamentali

Teorema 1: Siano h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1. Siano W, W₀ funzioni lisce a supporto compatto in 1,2. Sia A(n,1) l'autovalore di Hecke del coefficiente di Fourier della forma cuspide F su SL₃(ℤ). Allora ∑λ1m−λ2n=hA(n,1)τ(m)W0(∣λ1∣mx)W(∣λ2∣nx)≪F,W,W0,εx41/42+ε\sum_{λ₁m-λ₂n=h} A(n,1)τ(m)W_0\left(\frac{|λ₁|m}{x}\right)W\left(\frac{|λ₂|n}{x}\right) \ll_{F,W,W_0,ε} x^{41/42+ε} vale uniformemente per ogni ε > 0, uniformemente in h, λ₁, λ₂.

Teorema 2: Una variante più flessibile che sostituisce τ(m) con τA,B(m):=∑ab=mv1(a/A)v2(b/B)τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B), ottenendo lo stesso limite sotto la condizione AB ≍ x/|λ₁|.

Architettura Tecnica

1. Doppia Applicazione del Metodo Delta Simbolico

L'articolo combina innovativamente due metodi delta simbolici:

Metodo di Jutila (Lemma 1):

  • Fornisce una scelta di modulo flessibile, creando una struttura bilineare
  • Approssima la funzione delta solo nel senso L²
  • Definisce la funzione periodica: χ(α)=1δL∑qω(q)∑a mod q,(a,q)=1∑k∈Zψ(1δ(α−aq+k))χ(α) = \frac{1}{δL}\sum_q ω(q)\sum_{a\bmod q, (a,q)=1}\sum_{k∈ℤ} ψ\left(\frac{1}{δ}\left(α-\frac{a}{q}+k\right)\right)
  • Proprietà chiave: ∫01(1−χ(α))2dα≪ψQ2∥ω∥∞∣log⁡δ∣3L2δ\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}

Metodo Raffinato di Kloosterman (Lemma 2):

  • Sensibile alle somme esponenziali della funzione dei divisori sull'arco principale
  • Utilizza la decomposizione di Farey dell'intervallo 0,1
  • Fornisce una stima con risparmio di radice quadrata per b/c (per b modulo c)

2. Applicazione Intrecciata del Metodo

Passo 1: Decomposizione Preliminare La somma è scritta come S₁ + S₂, dove:

  • S₁: contributo di χ(α)
  • S₂: contributo di (1-χ(α))

Passo 2: Stima di S₂ (Arco Secondario)

  • Scelta dei parametri C₀ < C, logC ≍ log x
  • Decomposizione della somma con c ≤ C in arco principale (c ≤ C₀) e arco secondario (C₀ < c ≤ C)
  • Arco secondario: utilizzo di stime L² e somma di Voronoi (Lemmi 3, 4)
  • Arco principale: applicazione del metodo raffinato di Kloosterman (Lemma 2), con l'osservazione chiave che si può ottenere una stima non banale (risparmio di radice quadrata) su b/c

Passo 3: Scelta Speciale del Modulo Adozione dell'idea di Munshi, scelta di moduli fattorizzabili: ω(q)=∑12Q1≤p≤Q1,p primo,p∤hλ1λ2∑t∈N,pt=qρ(tQ2)ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ primo}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right) dove Q = Q₁Q₂. Ciò crea una struttura bilineare.

Passo 4: Stima di S₁

  • Applicazione della somma di Voronoi (Lemmi 3, 5) per dualizzare τ(m) e A(n,1)
  • Punto chiave: mantenimento di entrambe le somme m e p in valore assoluto (diversamente da Mu, Xi)
  • Applicazione della disuguaglianza di Cauchy-Schwarz
  • Utilizzo della somma di Poisson e stime di somme di caratteri (Lemmi 7, 8)

3. Stime Raffinate di Somme di Caratteri

Lemma 7: Limite migliorato per somme di Kloosterman super Σh,d,n1,n2(c)≪εc1+εc21/2(n1,c1,d,h)n1Σ_{h,d,n_1,n_2}(c) \ll_ε c^{1+ε}c_2^{1/2}\frac{\sqrt{(n_1,c_1,d,h)}}{\sqrt{n_1}} dove c = c₁c₂, c₁ è libero da quadrati, c₂ è una potenza perfetta, (c₁,c₂)=1.

Lemma 8: Stima di somme di caratteri nel caso di due primi

p_1^{3/2}p_2^{3/2}t^{5/2+ε}(hn_2,t_1)^{1/2}t_2^{1/2}, & p_1≠p_2\\ p_1^3t^{5/2+ε}(hn_2p_1,t_1)^{1/2}t_2^{1/2}, & p_1=p_2 \end{cases}$$ ### Ottimizzazione dei Parametri Scelta finale (corrispondente all'esponente 41/42): $$C_0 = x^{19/42-η}, \quad C = x^{23/42+η}, \quad Q_1 = x^{4/21}, \quad Q_2 = x^{8/21}, \quad δ = x^{-1+ε}$$ ## Applicazione: Momenti Torti della Funzione L ### Enunciato del Teorema 3 Sia Q ≥ 1, F una forma cuspide su SL₃(ℤ). Sia W una funzione liscia a supporto compatto in [1,2], con trasformata di Mellin W̃. Allora $$\sum_q W\left(\frac{q}{Q}\right)\sum_{\substack{χ\bmod q\\ χ\text{ primitivo, pari}}} L(1/2, F×χ) = \frac{W̃(2)}{2ζ(2)^2}Q^2 + O_{F,W,ε}(Q^{2-1/41+ε})$$ ### Strategia di Prova 1. **Equazione Funzionale Approssimata Sbilanciata**: - Primo termine di lunghezza Q^{2+δ} - Termine di conduttore di lunghezza Q^{1-δ} (stimabile banalmente) 2. **Ortogonalità dei Caratteri**: Applicazione della relazione di ortogonalità dei caratteri di Dirichlet, il problema si riduce a $$\sum_{q≍Q}\sum_{\substack{n≍Q^{2+δ}\\ n≡1\bmod q}} A(n,1) ≈ \sum_{q≍Q}\sum_{r≍Q^{1+δ}} A(1+rq,1)$$ 3. **Tecnica di Trasformazione dei Divisori**: Questa è esattamente la forma del problema della convoluzione traslata (1.4) 4. **Dettagli Tecnici**: - Scelta di X = Q^{45/82} per bilanciare i termini - Gestione dell'inversione di Möbius e caratteri indotti - Il cubo delle somme di Gauss produce somme di Kloosterman super - Il termine principale proviene dal contributo di n=1 ## Risultati Sperimentali ### Risultati Principali **Limite del Teorema 1**: $O(x^{41/42+ε})$ - L'esponente 41/42 ≈ 0,9762 - Miglioramento significativo rispetto al limite banale x (risparmio di x^{1/42}) - Uniformità per tutti i parametri h, λ₁, λ₂ **Termine di Errore del Teorema 3**: $O(Q^{2-1/41+ε})$ - Contiene circa Q² termini (caratteri primitivi) - Conduttore della funzione L circa Q³ - Questa è la prima formula asintotica per questo problema dopo 20 anni (Luo 2005 ha ottenuto solo un limite inferiore) ### Confronto con Risultati Esistenti | Caso | Coppia di Funzioni Aritmetiche | Miglior Limite Noto | Metodo | Autore/Anno | |------|--------------------------------|-------------------|--------|-------------| | (1.1) | τ₃(n)τ(n+1) | x^{5/6+θ/3+ε} | Formula di Kuznetsov | Topacogullari 2016 | | (1.2) | τ₃(n)λ(n+1) | x^{5/6+θ/3+ε} | Stesso | Tang 2020 | | (1.3) | A(n,1)λ(n+1) | x^{21/22+ε} | Metodo del Cerchio di Jutila | Xi 2018 | | **(1.4)** | **A(n,1)τ(n+1)** | **x^{41/42+ε}** | **Delta Simbolico Doppio** | **Questo Articolo 2025** | ### Svolta Tecnica 1. **Innovazione Metodologica**: Prima combinazione riuscita di due metodi del cerchio 2. **Uniformità**: Uniformità completa rispetto ai parametri di traslazione 3. **Ampiezza di Applicazione**: La variante flessibile del Teorema 2 estende l'ambito di applicabilità ## Lavori Correlati ### Storia del Problema della Convoluzione Traslata 1. **Casi Classici**: - Hooley (1957): Termine principale di τ₃ × τ - Deshouillers (1982): Primo termine di errore con risparmio di potenza 2. **Teoria GL(2)**: - La funzione dei divisori può essere vista come coefficiente di Fourier della serie di Eisenstein - La formula di somma di Voronoi fornisce similarità strutturale 3. **Progressi GL(3) × GL(2)**: - Pitt (1995, 2013): τ₃ × λ, applicazione al problema dei divisori di Titchmarsh - Munshi (2013): A × λ, introduzione dell'idea di moduli fattorizzabili - Xi (2018): Miglioramento del limite di Munshi a x^{21/22+ε} - Tang (2020): Miglioramento del limite di τ₃ × λ ### Vantaggi Relativi di Questo Articolo 1. **Risoluzione del Problema Residuo**: Unico caso GL(3) × GL(2) irrisolto 2. **Universalità del Metodo**: Il metodo delta simbolico doppio potrebbe essere applicabile ad altri problemi 3. **Profondità di Applicazione**: Stabilimento diretto della formula asintotica per i momenti della funzione L ### Ricerca sui Momenti della Funzione L - **Luo (2005)**: Utilizzo dell'idea di moduli fattorizzabili per provare il limite inferiore di non annullamento - **Questo Articolo**: Prima formula asintotica, svolta dopo 20 anni - **Direzioni Future**: Se le somme di Kloosterman super hanno limiti non banali sulla media rispetto al modulo, il problema diventerà relativamente diretto ## Analisi dei Dettagli Tecnici ### Formula di Somma di Voronoi **Funzione dei Divisori (Lemma 3)**: $$\sum_n τ(n)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c}\int_0^∞ w(ξ)\left(\log\frac{ξ}{c^2}+2γ\right)dξ + \frac{1}{c}\sum_±\sum_n τ(n)e\left(±\frac{b̄n}{c}\right)\int_0^∞ w(ξ)J^±\left(\frac{\sqrt{nξ}}{c}\right)dξ$$ **Coefficienti di Fourier GL(3) (Lemma 5)**: $$\sum_n A(n,1)e\left(\frac{bn}{c}\right)w(n) = \frac{1}{c^2}\sum_±\sum_{n_2}\sum_{n_1|c} n_1A(n_1,n_2)S\left(b̄,±n_2,\frac{c}{n_1}\right)\int_0^∞ w(y)V^±\left(\frac{n_1^2n_2y}{c^3}\right)dy$$ ### Limiti delle Trasformazioni Integrali (Lemma 4) Stima chiave: $$\int_0^∞ w(ξ)J^-\left(\frac{\sqrt{nξ}}{c}\right)dξ \ll_{A,ε} \frac{X(Xnc)^ε}{1+X|Z|}\left(1+\frac{nX}{c^2(1+X|Z|)^2}\right)^{-A}$$ Questo fornisce un decadimento rapido quando Z è grande, ed è fondamentale per il trattamento della somma esponenziale della funzione dei divisori. ### Analisi Raffinata delle Somme di Caratteri **Punti Chiave della Prova del Lemma 8**: - Utilizzo del teorema cinese del resto per la decomposizione del modulo - Trattamento separato per diversi casi di primi - Limite migliorato quando n₂=0: $p_1^2(d_1-d_2,p_1)t^{3+ε}$ - Utilizzo dei limiti di Weil e Deligne ## Conclusioni e Discussione ### Conclusioni Principali 1. **Completezza Teorica**: Completamento di tutti i principali casi del problema della convoluzione traslata GL(3) × GL(2) 2. **Contributo Metodologico**: Il metodo delta simbolico doppio fornisce un nuovo strumento per affrontare problemi simili 3. **Valore Applicativo**: Stabilimento della prima formula asintotica per i momenti torti della funzione L GL(3) ### Limitazioni 1. **Restrizione dell'Esponente**: L'esponente 41/42, sebbene migliorato, potrebbe non essere ottimale 2. **Complessità del Metodo**: Richiede un bilanciamento preciso di molteplici parametri 3. **Dipendenza Tecnica**: Dipende dalla comprensione profonda delle somme di Kloosterman super 4. **Fattori di Potenza Perfetta**: Il fattore c₂^{1/2} nel Lemma 7 potrebbe essere eliminato (nota dell'autore) ### Direzioni Future 1. **Media di Somme di Kloosterman Super**: Se disponibile una media non banale rispetto al modulo, l'intero problema si semplificherebbe notevolmente 2. **Generalizzazione ad Alto Rango**: Il metodo può essere esteso a GL(n) × GL(m)? 3. **Ottimizzazione dell'Esponente**: È possibile migliorare l'esponente 41/42? 4. **Altre Applicazioni**: Quali altri scenari di applicazione ha il metodo delta simbolico doppio? ### Problemi Aperti - Gli autori notano che se fosse disponibile una media non banale delle somme di Kloosterman super rispetto al modulo, i Teoremi 1, 2, 3 diventerebbero relativamente diretti - Questo indica una direzione di ricerca importante ## Valutazione Approfondita ### Punti di Forza 1. **Originalità**: - Primo risolvimento di un problema a lungo irrisolto - Combinazione innovativa di due metodi apparentemente incompatibili - Metodologia con applicabilità generale 2. **Profondità Tecnica**: - Comprensione profonda del metodo delta simbolico - Analisi raffinata delle stime di somme di caratteri - Design elegante dell'ottimizzazione dei parametri 3. **Completezza**: - Prova rigorosa con dettagli tecnici completi - Catena completa dal teorema principale alle applicazioni - Revisione completa dei lavori precedenti 4. **Qualità della Presentazione**: - Struttura chiara, logica rigorosa - Spiegazione sufficiente dei punti tecnici difficili - Confronto esplicito con i lavori precedenti ### Insufficienze 1. **Leggibilità**: - Elevato grado di complessità tecnica, difficile per non specialisti - Potrebbe essere fornita una spiegazione intuitiva più completa di alcuni passaggi 2. **Limitazioni dei Risultati**: - L'esponente 41/42 potrebbe non essere ottimale - L'esplorazione del risparmio rispetto a λ₁, λ₂ non è stata sufficientemente approfondita (ammesso dagli autori) 3. **Limitazioni del Metodo**: - Dipendenza da molteplici parametri bilanciati in modo preciso - La generalizzazione ad altri casi potrebbe essere difficile ### Impatto 1. **Contributo Teorico**: - Colmamento di un importante vuoto nella teoria GL(3) × GL(2) - Fornitura di nuovi strumenti tecnici all'analisi numerica 2. **Significato Metodologico**: - Il metodo delta simbolico doppio potrebbe aprire nuove direzioni di ricerca - Dimostrazione della potenza della combinazione di diverse tecniche 3. **Valore Pratico**: - La formula asintotica per i momenti della funzione L ha importanti applicazioni - Potrebbe promuovere il progresso in campi correlati (come la teoria dei crivelli, la distribuzione dei primi) 4. **Riproducibilità**: - Prova dettagliata, percorso tecnico chiaro - Tuttavia, l'implementazione richiede conoscenze altamente specializzate ### Scenari di Applicazione 1. **Applicazione Diretta**: - Ricerca sulla funzione L GL(3) - Analisi dei caratteri di Dirichlet torti - Altri casi del problema della convoluzione traslata 2. **Prestito Metodologico**: - Ricerca su forme automorfe di rango superiore - Problemi che richiedono stime raffinate del metodo del cerchio - Ricerca sulla media di somme di caratteri 3. **Estensione Teorica**: - Generalizzazione della teoria GL(n) - Miglioramento della teoria dei crivelli - Altri rami dell'analisi numerica ## Riferimenti Bibliografici (Riferimenti Chiave) 1. **Munshi (2013)**: Shifted convolution sums for GL(3)×GL(2) - Introduzione dell'idea di moduli fattorizzabili 2. **Xi (2018)**: A shifted convolution sum for GL(3)×GL(2) - Miglioramento del limite di Munshi 3. **Luo (2005)**: Nonvanishing of L-functions for GL(n,A_Q) - Limite inferiore per i momenti della funzione L 4. **Jutila (1997)**: A variant of the circle method - Versione flessibile del metodo del cerchio di Jutila 5. **Heath-Brown (1983)**: Cubic forms in ten variables - Metodo raffinato di Kloosterman --- **Valutazione Complessiva**: Questo è un articolo di teoria dei numeri di alto livello che risolve un importante problema a lungo irrisolto. L'innovazione tecnica è significativa, il contributo metodologico è notevole, e ha un importante effetto promozionale sulla teoria GL(3) × GL(2) e sulla ricerca sulla funzione L. Sebbene il grado di complessità tecnica sia elevato, la prova è rigorosa e completa, rappresentando un importante progresso nel campo dell'analisi numerica.