Equidistribution for Tannakian monodromy groups

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres et de la géométrie arithmétique, plus précisément dans l'étude des sommes exponentielles et de la distribution des valeurs de Fourier associées aux faisceaux pervers sur des groupes algébriques commutatifs définis sur un corps fini $k$.

Le travail précédent de Fouvry, Kowalski et Michel ([FFK23]) a établi un formalisme reliant les sommes exponentielles aux groupes de monodromie de Tannakia (géométrique et arithmétique). Cependant, ce formalisme souffrait d'une limitation fondamentale : les catégories de Tannakia construites n'étaient pas équipées de foncteurs fibre (fiber functors) de manière générale. Pour obtenir des théorèmes d'équidistribution pour des fonctions de classe continues arbitraires (et pas seulement pour les traces de fonctions de test), il est nécessaire que les faisceaux pervers soient « génériquement non ramifiés », c'est-à-dire que leur catégorie de Tannakia admette suffisamment de foncteurs fibre.

Le problème central résolu par cet article est la preuve que tout faisceau pervers sur un groupe algébrique commutatif connexe est génériquement non ramifié. Cela permet de construire les foncteurs fibre nécessaires et d'étendre les théorèmes d'équidistribution à une généralité inédite.

2. Méthodologie

L'auteur développe une approche systématique basée sur la théorie des catégories de Tannakia introduite par Gabber et Loeser, en y intégrant des outils de cohomologie $\ell$-adique et de théorie des faisceaux pervers. La méthodologie repose sur plusieurs piliers techniques :

• Définition de la non-ramification : L'article introduit une nouvelle définition d'un caractère « non ramifié » pour un faisceau pervers, caractérisée par le fait que les coefficients de Fourier sont concentrés en degré zéro, sont lisses et ont la dimension « correcte » (dimension de Tannakia).
• Localisation $\Delta$ : L'auteur construit des catégories de Tannakia localisées en quotientant la catégorie dérivée des complexes par une sous-catégorie de complexes « négligeables » (ceux dont le support de Fourier est contenu dans un sous-ensemble fermé $\Delta$).
• Classification des faisceaux négligeables : Une étape cruciale est la classification des faisceaux pervers dont l'indice d'Euler-Poincaré s'annule (faisceaux négligeables). L'auteur généralise les résultats de [GL96] et [KW15] pour les variétés semi-abéliennes constantes sur un schéma de base.
• Théorèmes de propagation : Des théorèmes de propagation relative sont prouvés pour les tores, permettant de déduire la nullité de certains cohomologies à partir de conditions initiales, en utilisant des suites spectrales et le théorème de vanishing d'Artin.
• Stratification : L'utilisation de théorèmes de stratification pour les sommes exponentielles en familles, indexées par un schéma et les caractères du groupe.

3. Contributions Clés et Résultats Principaux

A. Théorème de non-ramification générique

Le résultat central est le suivant :

Théorème : Soit $M \in \text{Perv}(G)$ un faisceau pervers sur un groupe algébrique commutatif connexe $G$ sur un corps fini. Alors $M$ est génériquement non ramifié.
Plus précisément, le lieu de ramification est contenu dans un sous-ensemble propre « mince » (thin subset) de l'espace des caractères $\mathcal{C}(G)$.

B. Construction des foncteurs fibre

Grâce à la non-ramification générique, l'auteur construit des foncteurs fibre explicites pour les catégories de Tannakia générées par convolution. Pour un caractère $\chi$ non ramifié, le foncteur fibre est donné par la cohomologie à support compact (ou sans support) :
$$\omega_\chi(M) = H^0_c(G, M_\chi)$$
Cela permet de définir les groupes de monodromie de Tannakia (arithmétique et géométrique) associés à $M$.

C. Classification des faisceaux négligeables

L'article fournit une classification relative des faisceaux négligeables sur $S \times X$ (où $S$ est une variété semi-abélienne). Un faisceau pervers irréductible géométriquement est négligeable si et seulement s'il provient d'un quotient du groupe par un morphisme à fibres connexes, tensorisé par un caractère et un décalage. Cette classification est arithmétique, c'est-à-dire que les objets de descente (quotient et caractère) sont définis sur le corps de base $k$.

D. Théorèmes d'équidistribution

L'article établit des théorèmes d'équidistribution pour les classes de conjugaison associées aux sommes exponentielles.
Soit $M$ un faisceau pervers pur de poids zéro, et supposons que les groupes de monodromie géométrique et arithmétique coïncident. Il existe un groupe de Lie compact $K$ et des classes de conjugaison $\Theta_{M,\chi} \in K^\sharp$ telles que, pour toute fonction de classe continue $f : K^\sharp \to \mathbb{C}$ :
$$\lim_{n \to \infty} \frac{1}{|X(k_n)|} \sum_{\chi \in X(k_n)} f(\Theta_{M,\chi}) = \int_K f(g) dg$$
où $X$ est le complément d'un sous-ensemble propre mince dans l'espace des caractères. Ce résultat généralise les travaux de Katz (pour $\mathbb{G}_m$) et de [FFK23] à tous les groupes commutatifs connexes et pour des fonctions de classe arbitraires.

E. Théorèmes de stratification

L'auteur prouve des théorèmes de stratification pour les sommes exponentielles en familles. Il existe une stratification de l'espace des caractères et de l'espace de base telle que, en dehors de ces strates (qui ont une codimension croissante), les sommes exponentielles sont bornées par $|k_n|^{(i+j)/2}$, offrant ainsi un gain de puissance (power saving) significatif.

4. Signification et Impact

Ce travail est fondamental pour la théorie des sommes exponentielles et l'analyse des familles de courbes modulaires ou de variétés abéliennes sur les corps finis :

1. Unification et Généralisation : Il lève les hypothèses restrictives des travaux antérieurs ([FFK23]) en prouvant que la condition de « non-ramification générique » est toujours satisfaite. Cela rend la théorie de Tannakia applicable à une classe beaucoup plus large de problèmes.
2. Outils pour l'Analyse : La construction explicite des foncteurs fibre permet d'utiliser la théorie des groupes de Tannakia comme un outil flexible pour étudier les familles de sommes exponentielles, au-delà des simples fonctions de trace.
3. Nouveaux Résultats Structurels : La classification des faisceaux négligeables et les théorèmes de propagation relative constituent des avancées techniques majeures en géométrie algébrique arithmétique, indépendamment de leur application immédiate à l'équidistribution.
4. Applications Potentielles : Ces résultats ouvrent la voie à de nouvelles applications en théorie des nombres, notamment dans l'étude de la distribution des valeurs de fonctions L, des sommes de Kloosterman généralisées, et des problèmes de monodromie dans les familles de variétés algébriques.

En résumé, Beat Zurbuchen complète et consolide le cadre théorique initié par Gabber, Loeser, Fouvry, Kowalski et Michel, transformant les catégories de Tannakia en un outil robuste et universel pour l'analyse asymptotique des sommes exponentielles sur les groupes algébriques commutatifs.