The cubic moment of $L$-functions for specified local component families

1. Problématique et Contexte

L'article s'inscrit dans le programme central de la théorie analytique des fonctions L : le problème de la sous-convexité. L'objectif est de démontrer que pour une famille de fonctions L $L(1/2, f)$ associées à des formes automorphes, il existe un exposant $\delta > 0$ tel que :
$$L(1/2, f) \ll C(f)^{1/4 - \delta}$$
où $C(f)$ est le conducteur analytique. L'hypothèse de Lindelöf (conséquence de l'Hypothèse de Riemann Généralisée) prédit que tout $\delta < 1/4$ est admissible. Une estimation dite de « force de Weyl » correspond à $\delta < 1/12$, représentant un tiers du chemin entre la borne convexe ($1/4$) et Lindelöf.

La méthode classique pour aborder ce problème consiste à estimer les moments des valeurs centrales. Si l'on peut prouver une borne de type « Lindelöf en moyenne » pour le moment d'ordre $k$ (généralement $k=3$) sur une famille $F$ de taille $|F|$ et de conducteur $C(F)$, cela permet de déduire des bornes sous-convexes pour les termes individuels, à condition que le rapport $\frac{\log |F|}{\log C(F)}$ soit suffisamment petit.

Le problème spécifique traité ici :
Les travaux antérieurs (notamment Conrey-Iwaniec, Petrow-Young) ont établi des bornes de Weyl pour des familles où les composantes locales $\pi_p$ aux primes divisant le conducteur appartiennent à la série principale ou sont des twists quadratiques de la représentation de Steinberg. Cependant, le cas où les composantes locales sont supercuspidales restait ouvert. Cet article vise à combler cette lacune en traitant les familles définies par des composantes locales supercuspidales spécifiées.

2. Méthodologie

La preuve repose sur une combinaison sophistiquée d'outils analytiques, algébriques et géométriques :

A. Formules de Petersson/Bruggeman-Kuznetsov (PBK) Généralisées

L'outil technique central est l'utilisation de nouvelles versions des formules de trace PBK développées récemment par les auteurs ([Hu24, HPY26]). Ces formules permettent de relier les sommes de valeurs propres de Hecke sur des familles de formes automorphes à des sommes de Kloosterman généralisées.

• Famille locale : Les auteurs définissent des familles « minces » (thin families) $F$ en spécifiant la représentation locale $\pi_p$ pour un ensemble fini de primes $S$.
• Sommes de Kloosterman : Pour les composantes supercuspidales, les sommes de Kloosterman $H(m, n; c)$ sont exprimées via la correspondance de Langlands locale (LLC) en termes de caractères sur des extensions quadratiques $L/\mathbb{Q}_p$.

B. Transformation de Motohashi et Dualité

En développant le moment cubique $M_3(F)$ via une équation fonctionnelle approchée et en appliquant la formule PBK suivie d'une sommation de Poisson, les auteurs obtiennent une formule de type Motohashi.

• Le moment cubique initial est transformé en un terme principal plus un moment dual impliquant des fonctions L de Dirichlet $L(1/2, \psi)$ élevées à la puissance 4, pondérées par des sommes de caractères complexes notées $pH(\psi)$.
• La structure clé est : $M_3(F) \approx \sum_{\psi} |L(1/2, \psi)|^4 g(\xi, \psi)$, où $g(\xi, \psi)$ est une somme de caractères multivariables.

C. Analyse des Sommes de Caractères (Cas Supercuspidal)

Le cœur de la difficulté réside dans l'estimation de la somme $pH(\psi)$ (ou $g(\xi, \psi)$) dans le cas supercuspidal.

• Formule de Postnikov : Pour les conducteurs élevés, les auteurs utilisent la formule de Postnikov pour linéariser les caractères multiplicatifs et les réduire à des sommes exponentielles sur des corps finis ou des anneaux locaux.
• Cas non ramifié vs ramifié : L'analyse distingue soigneusement les cas où l'extension $L/\mathbb{Q}_p$ est ramifiée ou non. Le cas non ramifié s'avère plus délicat car il peut donner lieu à des « caractères singuliers » pour lesquels la somme ne présente pas d'annulation de type racine carrée.
• Géométrie Algébrique ($\ell$-adiques) : Pour les petits conducteurs (notamment $k=c_0=1$), les auteurs utilisent la théorie des faisceaux constructibles $\ell$-adiques (Deligne, Katz, Laumon).
  • Ils identifient la somme comme la trace d'un opérateur de Fourier géométrique appliqué à un faisceau de Kloosterman.
  • En prouvant l'irréductibilité géométrique et en utilisant l'orthogonalité des traces (Hypothèse de Riemann pour les variétés sur les corps finis), ils obtiennent des bornes de type « annulation de racine carrée » ($\ll q^{1/2}$) pour les sommes de caractères non triviales.

D. Moment d'ordre 4 sur des Cosets

Pour gérer les cas où la somme de caractères est grande (les caractères singuliers), les auteurs restreignent la somme aux cosets de caractères où cela se produit. Ils appliquent ensuite une borne de moment d'ordre 4 pour les fonctions L de Dirichlet sur ces cosets, un résultat établi dans leurs travaux précédents ([PY23]).

3. Résultats Principaux

Théorème Principal (Théorème 1.1)

Les auteurs établissent une borne de type Lindelöf en moyenne pour le moment cubique $M_3(F)$ d'une famille de composantes locales spécifiées $F$ :
$$M_3(F) \ll_\varepsilon |\Pi_\infty|^B Q^\varepsilon \prod_{p} p^{\lceil \alpha_p/2 \rceil}$$
où $Q$ est le conducteur (un carré parfait ou une puissance de premier) et $\Pi_\infty$ est l'ensemble des paramètres spectraux archimédiens.
Si la taille de la famille est suffisamment petite par rapport au conducteur, cela implique une borne sous-convexe.

Corollaire : Borne de Weyl pour les formes de niveau $p^2$

Un résultat majeur est la démonstration d'une borne de Weyl ($\delta \approx 1/12$) pour les valeurs centrales $L(1/2, f)$ dans deux cas nouveaux :

1. Aspect carré parfait : Pour les formes de niveau $Q$ où $Q$ est un carré parfait impair.
2. Aspect profondeur (Depth aspect) : Pour les formes de niveau $Q = p^\alpha$ (puissance d'un nombre premier), y compris le cas $p=2$.

En particulier, pour les formes de niveau $p^2$, les auteurs obtiennent la borne :
$$L(1/2, f) \ll_\varepsilon (Q_\infty Q)^{1/6 + \varepsilon}$$
Ceci complète le travail antérieur de Conrey-Iwaniec et Petrow-Young, qui ne couvraient que les formes « twists » (non minimales par twist), représentant environ la moitié des formes de niveau $p^2$. Les résultats actuels couvrent toutes les formes de niveau $p^2$, y compris les formes supercuspidales minimales.

4. Contributions Clés et Innovations

1. Traitement des composantes supercuspidales : C'est la première fois que des bornes de Weyl sont obtenues pour des familles définies par des composantes locales supercuspidales, un cas qui échappait aux méthodes précédentes basées sur la série principale.
2. Nouvelles formules PBK : L'application des formules de trace développées dans [HPY26] pour des familles locales spécifiques, permettant de gérer la structure fine des représentations supercuspidales (y compris le cas $p=2$ via la théorie de l'induction compacte de Kutzko).
3. Analyse géométrique fine : L'utilisation de la transformée de Fourier géométrique de Deligne-Laumon et de la théorie des faisceaux de Katz pour borner les sommes de caractères dans le cas des petits conducteurs, démontrant que les méthodes arithmétiques profondes sont nécessaires même pour des problèmes de moments classiques.
4. Unification des aspects : La méthode traite uniformément les aspects de profondeur (conductor $p^\alpha$) et les aspects hybrides, offrant une vue d'ensemble cohérente sur la sous-convexité pour les groupes $PGL_2/\mathbb{Q}$.

5. Signification

Ce travail représente une avancée significative dans la théorie des fonctions L :

• Il résout un cas ouvert majeur dans le problème de la sous-convexité pour $GL_2$, en éliminant la restriction aux formes non minimales par twist.
• Il démontre la puissance de l'interaction entre la théorie des représentations locales (classification des représentations supercuspidales), l'analyse harmonique (formules de trace) et la géométrie algébrique (faisceaux $\ell$-adiques).
• Les résultats ouvrent la voie à l'étude de moments d'ordre supérieur pour d'autres familles de représentations automorphes et renforcent la compréhension de la distribution des valeurs centrales des fonctions L, avec des implications potentielles pour la théorie des nombres (ex: non-annulation de valeurs L, problèmes de rang de courbes elliptiques).

En résumé, Hu, Petrow et Young réussissent à étendre le champ d'application des bornes de Weyl aux familles les plus complexes de formes automorphes de niveau élevé, en surmontant les obstacles techniques liés aux composantes supercuspidales grâce à une synthèse innovante d'outils modernes.