Centered Moments of Weighted One-Level Densities of $GL(2)$ $L$-Functions

1. Contexte et Problématique

Contexte :
La conjecture de Katz et Sarnak postule que le comportement des zéros près du point central d'une famille de fonctions $L$ est modélisé par la distribution des valeurs propres près de 1 d'un groupe compact classique (orthogonal, symplectique ou unitaire). Historiquement, les études sur la « densité à un niveau » (one-level density) ont montré que les poids utilisés dans les moyennes (comme les poids harmoniques de Petersson) n'affectaient pas le type de symétrie asymptotique.

Problème spécifique :
En 2018, Knightly et Reno ont démontré que, pour des familles de nouvelles formes cuspidales (newforms) de GL(2), le choix des poids peut modifier la symétrie observée. Plus précisément, en utilisant des poids dépendant de la valeur centrale d'une fonction $L$ tordue $\Lambda(1/2, f \times \chi)$, ils ont observé une transition entre une symétrie orthogonale et une symétrie symplectique selon que le caractère de torsion $\chi$ est trivial ou non.

Objectif de l'article :
Les auteurs visent à généraliser cette découverte au-delà de la densité à un niveau. Ils étudient les moments centrés d'ordre $n$ ($n$-th centered moments) de la densité à un niveau pondérée. L'objectif est de déterminer si la dépendance entre les poids et le type de symétrie persiste pour ces statistiques d'ordre supérieur, et d'analyser les termes croisés (cross terms) complexes qui émergent lorsque $n > 1$.

2. Méthodologie

L'approche suit la méthode standard de calcul des statistiques de densité, adaptée aux défis des moments d'ordre supérieur :

1. Formule Explicite : Utilisation de la formule explicite pour convertir la somme sur les zéros de la fonction $L$ en une somme sur les nombres premiers impliquant les valeurs propres de Hecke.
2. Généralisation de la Formule des Traces Pondérée :
   • Les calculs précédents (Knightly et Reno) se limitaient aux puissances de nombres premiers. Pour les moments d'ordre $n$, les produits de $n$ nombres premiers génèrent des termes croisés impliquant des entiers arbitraires.
   • Les auteurs généralisent la formule des traces pondérée de Knightly et Reno pour traiter les valeurs propres de Hecke $\lambda_f(m)$ pour tout entier positif $m$, et pas seulement les puissances de nombres premiers. Cela repose sur une analyse fine des coefficients de Fourier et des propriétés multiplicatives des valeurs propres.
3. Analyse Combinatoire :
   • Une fois les termes principaux et les erreurs identifiés via la formule des traces, il faut analyser la somme sur les produits de nombres premiers.
   • Contrairement aux calculs précédents qui utilisaient des astuces génératrices complexes (comme la formule de Hunt-Dyson via Soshnikov), les auteurs développent une astuce combinatoire élémentaire. Ils réécrivent les termes arithmétiques pour les mettre sous une forme permettant l'application directe du théorème binomial et des propriétés des moments d'une variable aléatoire gaussienne.
4. Distinction des Cas : L'analyse est menée séparément pour deux cas de poids :
   • $\chi$ non trivial (symétrie orthogonale attendue).
   • $\chi$ trivial (symétrie symplectique attendue).

3. Contributions Clés

• Extension aux Moments Centrés d'Ordre $n$ : C'est la première étude des moments centrés d'ordre $n$ pour les densités à un niveau pondérées de familles de formes modulaires, confirmant que la dépendance poids/symétrie observée par Knightly et Reno se maintient à tous les ordres.
• Généralisation de la Formule des Traces : Développement d'une formule de trace pondérée asymptotique pour les valeurs propres de Hecke à des entiers arbitraires, nécessaire pour traiter les termes croisés ($n$-fold products).
• Nouvelle Astuce Combinatoire : Introduction d'une méthode élémentaire pour simplifier les expressions combinatoires complexes issues des moments, évitant l'usage de séries génératrices sophistiquées. Cette méthode permet de montrer directement la convergence vers les moments gaussiens.
• Analyse des Termes Croisés : Une analyse détaillée des termes d'erreur et des contributions des produits de nombres premiers distincts, prouvant qu'ils deviennent négligeables sous certaines conditions de support de la fonction test.

4. Résultats Principaux

Le résultat central est énoncé dans le Théorème 1.1. Soit $\chi$ un caractère de Dirichlet réel primitif et $r$ un entier premier à $D$. Pour une fonction test $\phi$ dont la transformée de Fourier est supportée dans $(-\frac{1}{2n}, \frac{1}{2n})$, le moment centré d'ordre $n$ de la densité à un niveau pondérée converge vers le moment centré d'une distribution gaussienne de variance $\sigma_\phi^2$, où :
$$\sigma_\phi := \left( \int_{-\infty}^{\infty} \hat{\phi}(y)^2 |y| dy \right)^{1/2}$$

Plus précisément, pour les familles $F_1$ et $F_2$ définies dans l'article :
$$\lim \mathbb{E} \left[ (D(\cdot, \phi) - \mathbb{E}[D(\cdot, \phi)])^n \right] = \begin{cases} (n-1)!! \, \sigma_\phi^n & \text{si } n \text{ est pair}, \\ 0 & \text{si } n \text{ est impair}. \end{cases}$$

Points importants :

• Ce résultat est identique pour les deux types de poids (trivial et non trivial de $\chi$).
• Cela signifie que, bien que les distributions limites des densités à un niveau diffèrent (Orthogonale vs Symplectique), leurs moments centrés (pour un support de fonction test restreint) sont les mêmes et correspondent à ceux d'une loi normale.
• Les auteurs notent que cette indifférence est due à la restriction du support de la fonction test à $(-\frac{1}{2n}, \frac{1}{2n})$. Au-delà de ce support, les distributions orthogonales et symplectiques divergent, mais les calculs actuels ne peuvent pas les distinguer sans une analyse plus poussée des termes d'erreur dans la formule des traces.

5. Signification et Implications

• Validation de la Conjecture de Katz-Sarnak : Les résultats renforcent la connexion entre la théorie des nombres et la théorie des matrices aléatoires. Le fait que les moments centrés convergent vers ceux d'une gaussienne est cohérent avec les prédictions de la théorie des matrices aléatoires pour les ensembles orthogonaux et symplectiques (dans la limite de rang infini et pour un support restreint).
• Robustesse des Poids : L'article démontre que l'influence des poids sur le type de symétrie est une propriété subtile qui se manifeste dans la forme de la distribution limite, mais qui s'efface dans les moments centrés d'ordre fini pour des supports de test restreints.
• Outils Méthodologiques : La nouvelle approche combinatoire élémentaire proposée pour traiter les termes d'ordre $n$ offre une alternative potentiellement plus accessible aux méthodes de séries génératrices complexes utilisées précédemment, ouvrant la voie à des généralisations futures.
• Limites et Perspectives : L'article souligne que pour distinguer réellement les symétries orthogonales et symplectiques via les moments, il faudrait étendre le support des fonctions test au-delà de $(-\frac{1}{n}, \frac{1}{n})$. Cela nécessiterait de calculer des termes d'ordre inférieur supplémentaires dans la formule des traces, ce qui constitue un défi technique majeur pour les travaux futurs.

En résumé, cet article fournit une preuve rigoureuse que les moments centrés des densités à un niveau pondérées de fonctions $L$ de GL(2) suivent une loi gaussienne universelle, indépendamment du type de symétrie sous-jacent (orthogonale ou symplectique) induit par les poids, tant que la fonction test reste dans un support restreint.