Galois representations are surjective for almost all Drinfeld modules

Résumé technique : Les représentations de Galois sont surjectives pour presque tous les modules de Drinfeld

Énoncé du problème
Cet article traite de la surjectivité des représentations de Galois associées aux modules de Drinfeld sur les corps de fonctions rationnels. Alors que le théorème de l'image ouverte de Serre établit que la représentation de Galois adélique pour les courbes elliptiques sur $\mathbb{Q}$ possède un indice fini dans le groupe linéaire général, et que Duke [Duk97] a prouvé que « la plupart » des courbes elliptiques n'ont pas de nombres premiers exceptionnels (c'est-à-dire que leurs représentations mod-$\ell$ sont surjectives pour tout $\ell$), la classification analogue pour les modules de Drinfeld sur les corps de fonctions est restée moins développée. Plus précisément, bien que Pink et Rütsche [PR09] aient prouvé un analogue du théorème de Serre pour des modules de Drinfeld individuels, et que Zywina [Zyw11] ait construit des exemples spécifiques de modules de rang 2 avec des images adéliques surjectives, un résultat statistique établissant la surjectivité pour « presque tous » les modules de Drinfeld de rang $r \ge 2$ était auparavant inconnu. L'article vise à prouver que la représentation de Galois $T$-adique est surjective pour un ensemble de modules de Drinfeld de densité 1.

Méthodologie
La preuve synthétise des techniques de théorie de Galois, de statistiques arithmétiques et de la théorie des modules de Drinfeld. L'approche repose sur un critère de Pink et Rütsche [PR09] (Proposition 4.2), qui réduit le problème de la surjectivité de la représentation $T$-adique $\hat{\rho}_{\phi,T}$ à la vérification de trois conditions sur son image $H$ :

1. La réduction mod-$T$, notée $H[0]$, est le groupe complet $GL_r(\mathbb{F}_q)$.
2. Le morphisme du déterminant est surjectif sur $\mathbb{F}_q\llbracket T \rrbracket^\times$.
3. La première partie graduée $H[1]$ contient une matrice non scalaire.

La méthodologie procède en deux étapes principales :

• Surjectivité mod-$T$ : L'auteur utilise un analogue du théorème d'irréductibilité de Hilbert sur les corps de fonctions (citant [BSE21]) pour montrer que la représentation mod-$T$ est surjective pour un ensemble de densité 1 de modules de Drinfeld. Cela établit que la condition (1) est satisfaite pour presque tous les modules. La surjectivité du déterminant (condition 2) est montrée comme découlant de la surjectivité mod-$T$ via les propriétés du appariement de Weil et les résultats de Gekeler sur les modules de rang 1.
• Condition non scalaire ($H[1]$) : Pour satisfaire la condition (3), l'article introduit des conditions locales aux nombres premiers $\mathfrak{l} \neq (T)$. En analysant l'uniformisation de Drinfeld–Tate (Théorème 3.2) pour les modules ayant une réduction stable, l'auteur construit des conditions de congruence spécifiques sur les coefficients du module de Drinfeld. Plus précisément, pour un ensemble $\Pi_r$ de modules où le coefficient $g_{r-1}$ a une valuation de 0 et où $g_r$ a une valuation non divisible par $p$ à un certain nombre premier $\mathfrak{l}$, l'action de l'inertie sur la torsion $T^2$ montre que l'image produit une matrice non scalaire dans la représentation mod-$T^2$.

Enfin, des méthodes de crible standards sont employées pour démontrer que l'ensemble $\Pi_r$ (et par conséquent l'ensemble des modules satisfaisant la condition 3) est de densité 1. Cela implique d'estimer la densité des tuples satisfaisant des contraintes de valuation spécifiques aux nombres premiers et de montrer que le produit des densités locales converge vers 1.

Contributions et résultats clés

• Théorème principal (Théorème 6.3) : Pour tout entier $r \ge 2$, l'ensemble des modules de Drinfeld $\phi$ de rang $r$ sur $A = \mathbb{F}_q[T]$ pour lesquels la représentation de Galois $T$-adique $\hat{\rho}_{\phi,T}: \text{Gal}(F^{\text{sep}}/F) \to GL_r(\mathbb{F}_q\llbracket T \rrbracket)$ est surjective a une densité de 1.
• Raffinement des travaux précédents : Ce résultat améliore le travail précédent de l'auteur [Ray24], qui avait établi une densité positive pour le rang 2, en étendant le résultat à tous les rangs $r \ge 2$ et en renforçant la conclusion à la densité 1 (presque tous).
• Synthèse technique : Le papier fournit une analyse détaillée de la structure locale des représentations de Galois aux nombres premiers de réduction stable en utilisant l'uniformisation de Drinfeld–Tate. Il lie explicitement les propriétés de valuation des coefficients du module au comportement de ramification des corps de division associés, prouvant que des conditions de congruence spécifiques forcent l'image à contenir des éléments non scalaires dans la première partie graduée de la filtration.

Signification et limites
L'article prétend établir la « surjectivité moyenne » des représentations de Galois pour les modules de Drinfeld, faisant écho au résultat de Duke pour les courbes elliptiques. Cela fournit une compréhension statistique fondamentale de l'arithmétique des modules de Drinfeld, suggérant que les images de Galois maximales sont le cas générique plutôt que l'exception.

Cependant, l'article reste modeste quant à la portée de ses méthodes et de ses directions futures :

• Surjectivité adélique : L'auteur note explicitement que le résultat s'applique à la représentation $T$-adique. Prouver la surjectivité pour la pleine représentation adélique (simultanément pour tous les nombres premiers) demeure un problème ouvert et complexe. Le papier souligne que même si les représentations sont surjectives modulo des nombres premiers distincts, des enchevêtrements arithmétiques entre les corps de division peuvent empêcher l'image globale d'être le groupe produit complet.
• Contraintes méthodologiques : L'argument repose sur un grand crible pour contrôler les nombres premiers exceptionnels. L'auteur note que les estimations analytiques utilisées par Jones [Jon10] pour les courbes elliptiques sur $\mathbb{Q}$ (impliquant les nombres de classes de Hurwitz et les formes modulaires de poids semi-entier) n'ont pas d'analogues connus sur les corps de fonctions globaux, empêchant une adaptation directe de ces preuves au cadre de Drinfeld.
• Constructions explicites : Bien que l'article prouve l'existence d'un ensemble de densité 1 de modules ayant des images surjectives, il ne fournit pas de construction explicite de tels modules pour un rang $r$ général, notant que la construction d'exemples de rang général avec une image de Galois maximale demeure un problème non résolu.