Une technique d'étude des sommes de produits de coefficients arithmétiques ou automorphes à arguments décalés, typiquement des sommes de la forme Sum_n a(n) b(n+h), en les transformant via des décompositions spectrales, la sommation de Poisson ou des formules de trace pour accéder à des bornes analytiques ou spectrales.

Principe

Exprimer la convolution décalée comme une transformation spectrale ou harmonique (par exemple via la formule de Kuznetsov ou Petersson, ou via Poisson/Voronoi) de sorte que les sommes hors-diagonales deviennent des sommes sur données spectrales ou des sommes de type Kloosterman qui peuvent être bornées par des estimées analytiques.

Démonstration

Analyser les corrélations des coefficients de Fourier de deux formes modulaires a(n) et b(n) en évaluant Sum_{n} a(n) b(n+h) w(n/X) et en appliquant une transformation spectrale ; le contrôle des sommes de Bessel/Kloosterman résultantes et de l'expansion spectrale fournit de l'annulation et des bornes sur les sommes décalées d'origine.

Mauvaise application

Négliger les termes hors-diagonaux délicats, utiliser des transformations hors de leurs plages de validité paramétrique, ou appliquer la méthode lorsque les objets manquent de structure automorphe ou harmonique ; dans ces cas les sommes transformées peuvent être incontrôlables ou les termes principaux mal identifiés.

Conséquence

Produit des bornes non triviales pour des sommes décalées, détecte des corrélations entre suites (par exemple entre coefficients de formes modulaires à indices décalés), et intervient dans la sous-convexité, l'équidistribution et le calcul de moments où apparaissent des corrélations décalées.

Inversion

Au lieu de transformer les décalages en sommes spectrales, on peut développer directement par des méthodes combinatoires ou de crible quand la structure additive domine ; l'inversion privilégie le contrôle combinatoire direct plutôt que l'analyse spectrale.

Limite

Nécessite soit une structure automorphe/harmonique soit un bon contrôle analytique des transformées ; elle est moins efficace pour des suites totalement générales sans interprétation spectrale ou lorsque les sommes de type Kloosterman sont trop grandes pour être bornées de manière non triviale.

Tension sémantique

Se situe entre la méthode du cercle, les méthodes de formes bilinéaires et les techniques de formule des traces : toutes traitent des corrélations décalées/additives mais diffèrent selon qu'elles exploitent la décomposition spectrale, des estimées de sommes exponentielles ou des transformées arithmétiques.

Synthèse

La méthode de convolution décalée réécrit des sommes de produits à indices translatés en objets spectraux ou transformés, permettant le contrôle analytique des corrélations en bornant les sommes exponentielles, de Bessel ou spectrales résultantes chaque fois que la structure automorphe ou harmonique le permet.