Dans la rivière infinie des nombres entiers, où tourbillonnent les nombres premiers, les mathématiciens tamisent le sable depuis des siècles à la recherche de pépites d'or : les zéros des fonctions L. Ces objets mystérieux, découverts par Bernhard Riemann en 1859, semblent diriger d'une main invisible la répartition des nombres premiers. La célèbre hypothèse de Riemann affirme que tous les zéros non triviaux se trouvent sur une seule droite verticale : la droite critique. Mais pour des familles entières de fonctions L, on peut saisir la statistique : quelle proportion de zéros tombe exactement sur ce filon doré ? C'est à cette question que répond le nouveau travail, en appliquant une technique sophistiquée de spectroscopie : l'analyse de la distribution des zéros à travers leur comportement moyen.

L'outil de pêche est la méthode de Levinson, une astuce pour « peser » les zéros en ajoutant à la fonction L un lisseur spécial (un facteur qui atténue les oscillations indésirables près de la droite critique). Mais la véritable percée réside dans la construction d'un crible colossal. Les scientifiques ne moyennent pas les fonctions L individuellement, mais sur une famille de caractères de Dirichlet, tordant la fonction comme un décalage Doppler. On obtient un grand crible asymptotique : l'application répétée de l'interférométrie des caractères, semblable à la combinaison d'ondes radio provenant de nombreuses antennes, permet d'isoler le faible signal de la droite critique. La difficulté réside dans le fait que les coefficients arithmétiques des fonctions L sont extrêmement irréguliers, et sans hypothèses non vérifiées, l'approche classique s'effondre. Les auteurs ont surmonté cela en analysant manuellement la structure la plus fine des coefficients à l'aide de simulation numérique dans Mathematica — un véritable télescope Hubble dans le monde des représentations automorphes.

Le résultat est stupéfiant : pour les représentations autoduales du groupe PGL(3), au moins 1/9 de tous les zéros se trouvent sur la droite critique. Même si les mathématiciens n'ont pas attrapé tout le filon d'or, une neuvième partie est déjà une énorme prise ! Pour PGL(2), la proportion est plus élevée : 1/3, ce qui reproduit exactement le résultat classique de Levinson pour la fonction zêta. De plus, une formule asymptotique pour la moyenne quadratique tordue des fonctions L est démontrée avec une erreur sans précédent de l'ordre O($Q^{7/4+ε}$). Elle fonctionne dans la plage Q^ε ≤ T ≤ $Q^{1/3–ε}$ et pour des polynômes lisseurs de longueur allant jusqu'à 1/2. C'est comme si, dans une rivière de profondeur variable, nous apprenions à tamiser le sable avec différentes tailles de maille sans perdre les pépites.

Ce travail est la première preuve inconditionnelle que, même pour les fonctions L de degré trois, l'hypothèse de Riemann est « presque vraie » au sens statistique. Il insuffle du sang au vaste programme de recherche sur les familles de fonctions L automorphes, les reliant aux moments, à la sous-convexité et à la distribution des nombres premiers. La technique du grand crible asymptotique devient un outil universel : on peut désormais l'appliquer à d'autres problèmes où l'on avait besoin d'hypothèses sur les coefficients de Fourier. Et la masse cachée des zéros non critiques — la matière noire du monde des nombres — devient un peu moins mystérieuse.

La proportion de 1/9 peut être améliorée en optimisant le lisseur et en tenant compte plus précisément de l'arithmétique. L'objectif suivant est de supprimer complètement l'hypothèse technique sur les moments des coefficients, en la prouvant inconditionnellement. Dépasser la limite T=$Q^{1/3}$ nécessitera de surmonter d'énormes difficultés avec les sommes de convolution, mais ouvrira la voie à la preuve de l'hypothèse de Lindelöf en moyenne. Les algorithmes de calcul formel, perfectionnés dans ce travail, serviront de base à l'analyse automatique des facteurs arithmétiques dans de futurs projets. Ainsi, en perfectionnant progressivement le crible, les mathématiciens se rapprochent du moment où la ligne d'or brillera dans son intégralité et où la rivière des nombres premiers révélera sa symétrie profonde.