Un problème de convolution décalée de rang supérieur avec applications aux fonctions L

Informations de base

• ID de l'article: 2511.03294
• Titre: A higher rank shifted convolution problem with applications to L-functions
• Auteurs: Valentin Blomer, Junxian Li
• Classification: math.NT (Théorie des nombres)
• Date de publication: 5 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.03294v1

Résumé

Cet article résout un cas longtemps en suspens du problème de convolution décalée GL(3) × GL(2) : un facteur est la fonction diviseur classique, l'autre est un coefficient de Fourier GL(3). La méthode de preuve implique l'application entrecroisée de deux types distincts de méthodes de symboles delta. En application, on établit une formule asymptotique pour les valeurs centrales des fonctions L des formes automorphes GL(3) tordues par des caractères de Dirichlet (modulo q ≤ Q).

Contexte et motivation de la recherche

Problème étudié

Le problème de convolution décalée (shifted convolution problem) étudie les formules asymptotiques du produit de deux fonctions arithmétiques (généralement multiplicatives) lorsque les paramètres diffèrent par un décalage additif, constituant un outil important pour mesurer la corrélation entre deux fonctions.

Importance du problème

1. Contexte classique: Le cas classique de la fonction diviseur $\sum_{n≤x} τ(n)τ(n+1)$ a été étudié pendant un siècle
2. Signification théorique: Le problème de convolution décalée est étroitement lié aux moments des fonctions L, à la théorie des cribles, au problème des diviseurs de Titchmarsh et à d'autres problèmes fondamentaux de la théorie des nombres
3. Défi technique: Le problème de convolution décalée pour les formes automorphes de rang supérieur est extrêmement difficile, et les résultats non triviaux pour la plupart des cas restent inconnus

Limitations des méthodes existantes

Pour le cas GL(3) × GL(2), les progrès suivants ont été réalisés:

• Cas (1.1): $\sum_{n≤x} τ_3(n)τ(n+1)$ - Hooley a obtenu le terme principal, Deshouillers a donné une économie de puissance dans le terme d'erreur, Topacogullari atteint le meilleur résultat actuel $O(x^{5/6+θ/3+ε})$
• Cas (1.2): $\sum_{n≤x} τ_3(n)λ(n+1)$ - Pitt établit une borne avec économie de puissance, Tang atteint $O(x^{5/6+θ/3+ε})$
• Cas (1.3): $\sum_{n≤x} A(n,1)λ(n+1)$ - Munshi obtient une borne avec économie de puissance, Xi atteint $O(x^{21/22+ε})$

Cependant, le cas (1.4): $\sum_{n≤x} A(n,1)τ(n+1)$ est resté longtemps non résolu, ne pouvant être attaqué par aucune des méthodes utilisées pour les cas précédents.

Motivation de la recherche

1. Combler une lacune théorique: Le cas (1.4) est le dernier cas non résolu du problème de convolution décalée GL(3) × GL(2)
2. Percée méthodologique: La somme exponentielle de la fonction diviseur se comporte mal sur l'arc principal (au sens L²), ne permettant pas l'application directe de la méthode du cercle de Jutila ou de la méthode de Kloosterman
3. Valeur applicative: Résoudre ce problème permet d'établir une formule asymptotique pour les moments des fonctions L GL(3) tordues, une première percée en plus de 20 ans

Contributions principales

1. Résoudre un problème longtemps en suspens: Établir pour la première fois une borne avec économie de puissance pour le problème de convolution décalée entre les coefficients de Fourier GL(3) et la fonction diviseur
2. Méthodologie innovante: Application entrecroisée pour la première fois de la méthode de Jutila et de la méthode du cercle raffinée de Kloosterman, dépassant les limitations de chacune
3. Uniformité complète: Atteindre l'uniformité complète pour tous les paramètres h, λ₁, λ₂ dans l'équation de convolution bilinéaire
4. Formule asymptotique pour les moments des fonctions L: Établir une formule asymptotique pour les valeurs centrales des fonctions L des formes automorphes GL(3) tordues par des caractères de Dirichlet, contenant environ Q² termes mais avec conducteur environ Q³

Explication détaillée de la méthode

Théorème principal

Théorème 1: Soient h, λ₁, λ₂ ∈ ℤ{0}, x ≥ 1. Soient W, W₀ des fonctions lisses à support compact dans 1,2. Soit A(n,1) la valeur propre de Hecke d'une forme cuspidale F sur SL₃(ℤ). Alors $\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+ε}$ pour tout ε > 0, uniformément en h, λ₁, λ₂.

Théorème 2: Une variante plus flexible, remplaçant τ(m) par $τ_{A,B}(m) := \sum_{ab=m} v_1(a/A)v_2(b/B)$, obtenant la même borne sous la condition AB ≍ x/|λ₁|.

Architecture technique

1. Application double de la méthode des symboles delta

Cet article combine innovativement deux méthodes de symboles delta:

Méthode de Jutila (Lemme 1):

• Fournit un choix flexible de modules, créant une structure bilinéaire
• Approxime la fonction delta uniquement au sens L²
• Définit la fonction périodique: $χ(α) = \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)$
• Propriété clé: $\int_0^1 (1-χ(α))^2 dα \ll ψ \frac{Q^2\|ω\|_∞|\log δ|^3}{L^2δ}$

Méthode raffinée de Kloosterman (Lemme 2):

• Sensible aux sommes exponentielles de la fonction diviseur sur l'arc principal
• Utilise la décomposition des fractions de Farey de l'intervalle 0,1
• Fournit une économie de racine carrée dans l'estimation b/c (pour b modulo c)

2. Application entrecroisée de la méthode

Étape 1: Décomposition préliminaire Écrire la somme comme S₁ + S₂, où:

• S₁: contribution de χ(α)
• S₂: contribution de (1-χ(α))

Étape 2: Estimation de S₂ (arc secondaire)

• Choisir les paramètres C₀ < C, logC ≍ log x
• Diviser la somme en c ≤ C en arc principal (c ≤ C₀) et arc secondaire (C₀ < c ≤ C)
• Arc secondaire: utiliser l'estimation L² et la sommation de Voronoi (Lemmes 3, 4)
• Arc principal: appliquer la méthode raffinée de Kloosterman (Lemme 2), l'observation clé étant qu'on peut obtenir une estimation non triviale (économie de racine carrée) sur b/c

Étape 3: Choix spécial de modules Adopter l'idée de Munshi, choisir des modules factorisables: $ω(q) = \sum_{\frac{1}{2}Q_1≤p≤Q_1, p\text{ premier}, p∤hλ_1λ_2} \sum_{t∈ℕ, pt=q} ρ\left(\frac{t}{Q_2}\right)$ où Q = Q₁Q₂. Ceci crée une structure bilinéaire.

Étape 4: Estimation de S₁

• Appliquer la sommation de Voronoi (Lemmes 3, 5) pour dualiser τ(m) et A(n,1)
• Point clé: maintenir les sommes en m et p à l'intérieur des valeurs absolues (différent de Mu, Xi)
• Appliquer l'inégalité de Cauchy-Schwarz
• Utiliser la sommation de Poisson et les estimations de sommes de caractères (Lemmes 7, 8)

3. Estimation fine des sommes de caractères

Lemme 7: Borne améliorée pour les sommes de Kloosterman super $Σ_{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}}$ où c = c₁c₂, c₁ est sans facteur carré, c₂ est une puissance complète, (c₁,c₂)=1.

Lemme 8: Estimation des sommes de caractères pour le cas de deux premiers $T(h,d_1,d_2,n_1,n_2,p_1,p_2,t) \ll_ε \begin{cases} 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}$

Optimisation des paramètres

Choix final (correspondant à l'exposant 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+ε}$

Application: Moments tordus des fonctions L

Énoncé du Théorème 3

Soit Q ≥ 1, F une forme cuspidale sur SL₃(ℤ). Soit W une fonction lisse à support compact dans 1,2, de transformée de Mellin W̃. Alors $\sum_q W\left(\frac{q}{Q}\right)\sum_{\substack{χ\bmod q\\ χ\text{ primitive, paire}}} L(1/2, F×χ) = \frac{W̃(2)}{2ζ(2)^2}Q^2 + O_{F,W,ε}(Q^{2-1/41+ε})$

Stratégie de preuve

1. Équation fonctionnelle approchée déséquilibrée:
   • Premier terme de longueur Q^{2+δ}
   • Terme de conducteur de longueur Q^{1-δ} (estimable trivialement)
2. Orthogonalité des caractères: Appliquer l'orthogonalité des caractères de Dirichlet, le problème se réduit à $\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. Technique de transformation diviseur: C'est exactement la forme du problème de convolution décalée (1.4)
4. Détails techniques:
   • Choisir X = Q^{45/82} pour équilibrer les termes
   • Traiter l'inversion de Möbius et les caractères induits
   • Les sommes de Gauß au cube produisent des sommes de Kloosterman super
   • Le terme principal provient de la contribution n=1

Résultats expérimentaux

Résultats principaux

Borne du Théorème 1: $O(x^{41/42+ε})$

• L'exposant 41/42 ≈ 0,9762
• Amélioration significative par rapport à la borne triviale x (économie de x^{1/42})
• Uniforme pour tous les paramètres h, λ₁, λ₂

Terme d'erreur du Théorème 3: $O(Q^{2-1/41+ε})$

• Contient environ Q² termes (caractères primitifs)
• Conducteur des fonctions L environ Q³
• C'est la première formule asymptotique pour ce problème en 20 ans (Luo 2005 n'a obtenu qu'une borne inférieure)

Comparaison avec les résultats existants

Percées techniques

1. Innovation méthodologique: Première combinaison réussie de deux méthodes du cercle
2. Uniformité: Uniformité complète par rapport aux paramètres de décalage
3. Étendue des applications: La variante flexible du Théorème 2 élargit le champ d'application

Travaux connexes

Historique du problème de convolution décalée

1. Cas classiques:
   • Hooley (1957): Terme principal de τ₃ × τ
   • Deshouillers (1982): Premier terme d'erreur avec économie de puissance
2. Théorie GL(2):
   • La fonction diviseur peut être vue comme coefficient de Fourier d'une série d'Eisenstein
   • La formule de sommation de Voronoi fournit une structure similaire
3. Progrès GL(3) × GL(2):
   • Pitt (1995, 2013): τ₃ × λ, application au problème des diviseurs de Titchmarsh
   • Munshi (2013): A × λ, introduction de l'idée de modules factorisables
   • Xi (2018): Amélioration de la borne de Munshi à x^{21/22+ε}
   • Tang (2020): Amélioration de τ₃ × λ

Avantages relatifs de cet article

1. Résoudre un problème résiduel: Seul cas non résolu de GL(3) × GL(2)
2. Généralité de la méthode: La méthode des symboles delta doubles peut s'appliquer à d'autres problèmes
3. Profondeur des applications: Établissement direct d'une formule asymptotique pour les moments des fonctions L

Recherche sur les moments des fonctions L

• Luo (2005): Utilisant l'idée de modules factorisables, preuve de la non-annulation par borne inférieure
• Cet article: Première formule asymptotique, percée après 20 ans
• Directions futures: Si on dispose de bornes non triviales moyennes des sommes de Kloosterman super par rapport aux modules, le problème devient relativement direct

Analyse des détails techniques

Formules de sommation de Voronoi

Fonction diviseur (Lemme 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ξ$

Coefficients de Fourier GL(3) (Lemme 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$

Bornes des transformations intégrales (Lemme 4)

Estimation clé: $\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}$

Ceci fournit une décroissance rapide pour Z grand, point clé du traitement des sommes exponentielles de la fonction diviseur.

Analyse fine des sommes de caractères

Points clés de la preuve du Lemme 8:

• Utiliser le théorème des restes chinois pour décomposer les modules
• Traiter séparément les cas de différents nombres premiers
• Borne améliorée pour n₂=0: $p_1^2(d_1-d_2,p_1)t^{3+ε}$
• Utiliser les bornes de Weil et de Deligne

Conclusion et discussion

Conclusions principales

1. Complétude théorique: Achèvement de tous les cas majeurs du problème de convolution décalée GL(3) × GL(2)
2. Contribution méthodologique: La méthode des symboles delta doubles fournit un nouvel outil pour traiter des problèmes similaires
3. Valeur applicative: Établissement de la première formule asymptotique pour les moments tordus des fonctions L GL(3)

Limitations

1. Restriction de l'exposant: 41/42 bien qu'amélioré peut ne pas être optimal
2. Complexité de la méthode: Nécessite un équilibre fin de multiples paramètres
3. Dépendance technique: Dépend d'une compréhension profonde des sommes de Kloosterman super
4. Facteurs de puissance complète: Le facteur c₂^{1/2} au Lemme 7 peut probablement être éliminé (note des auteurs)

Directions futures

1. Moyenne des sommes de Kloosterman super: Si on dispose de bornes moyennes non triviales par rapport aux modules, tout le problème se simplifiera considérablement
2. Généralisation de rang supérieur: La méthode peut-elle s'étendre à GL(n) × GL(m)?
3. Optimisation de l'exposant: Peut-on améliorer l'exposant 41/42?
4. Autres applications: Autres applications possibles de la méthode des symboles delta doubles

Problèmes ouverts

• Les auteurs mentionnent: Si on dispose de moyennes non triviales des sommes de Kloosterman super par rapport aux modules, les Théorèmes 1, 2, 3 deviendraient relativement directs
• Ceci pointe vers une direction de recherche importante

Évaluation approfondie

Points forts

1. Originalité:
   • Première résolution d'un problème longtemps en suspens
   • Combinaison innovante de deux méthodes apparemment incompatibles
   • Méthodologie d'application générale
2. Profondeur technique:
   • Compréhension profonde de la méthode des symboles delta
   • Analyse fine des estimations de sommes de caractères
   • Conception ingénieuse de l'optimisation des paramètres
3. Complétude:
   • Preuve rigoureuse, détails techniques complets
   • Chaîne complète du théorème principal aux applications
   • Revue complète des travaux existants
4. Qualité de rédaction:
   • Structure claire, logique rigoureuse
   • Explication suffisante des points techniques difficiles
   • Comparaisons claires avec les travaux existants

Insuffisances

1. Lisibilité:
   • Complexité technique élevée, difficile à comprendre pour les non-spécialistes
   • L'intuition de certaines étapes pourrait être mieux expliquée
2. Limitations des résultats:
   • L'exposant 41/42 peut ne pas être optimal
   • L'économie par rapport à λ₁, λ₂ n'a pas été pleinement explorée (reconnu par les auteurs)
3. Limitations de la méthode:
   • Dépend de multiples paramètres équilibrés finement
   • La généralisation à d'autres cas peut être difficile

Impact

1. Contribution théorique:
   • Comble une lacune importante de la théorie GL(3) × GL(2)
   • Fournit un nouvel outil technique à la théorie analytique des nombres
2. Signification méthodologique:
   • La méthode des symboles delta doubles peut ouvrir de nouvelles directions de recherche
   • Démontre la puissance de la combinaison de différentes techniques
3. Valeur pratique:
   • La formule asymptotique pour les moments des fonctions L a des applications importantes
   • Peut favoriser les progrès dans les domaines connexes (cribles, distribution des nombres premiers)
4. Reproductibilité:
   • Preuve détaillée, ligne technique claire
   • Mais la mise en œuvre nécessite une expertise hautement spécialisée

Domaines d'application

1. Applications directes:
   • Recherche sur les fonctions L GL(3)
   • Analyse des caractères de Dirichlet tordus
   • Autres cas du problème de convolution décalée
2. Emprunt de méthodes:
   • Recherche sur d'autres formes automorphes de rang supérieur
   • Problèmes nécessitant des estimations fines de la méthode du cercle
   • Recherche sur les moyennes des sommes de caractères
3. Extensions théoriques:
   • Généralisation à la théorie GL(n)
   • Amélioration de la théorie des cribles
   • Autres branches de la théorie analytique des nombres

Références (Références clés)

1. Munshi (2013): Shifted convolution sums for GL(3)×GL(2) - Introduction de l'idée de modules factorisables
2. Xi (2018): A shifted convolution sum for GL(3)×GL(2) - Amélioration de la borne de Munshi
3. Luo (2005): Nonvanishing of L-functions for GL(n,A_Q) - Borne inférieure pour les moments des fonctions L
4. Jutila (1997): A variant of the circle method - Version flexible de la méthode du cercle de Jutila
5. Heath-Brown (1983): Cubic forms in ten variables - Méthode raffinée de Kloosterman

Évaluation globale: Cet article est un travail de théorie des nombres de haut niveau résolvant un problème important longtemps en suspens. L'innovation technique est significative, la contribution méthodologique remarquable, et il a un impact important sur la théorie GL(3) × GL(2) et la recherche sur les fonctions L. Bien que la complexité technique soit élevée, la preuve est rigoureuse et complète, constituant un progrès important dans le domaine de la théorie analytique des nombres.