Ties in function field prime race

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des nombres, plus précisément dans l'étude des biais de Chebyshev et des courses de nombres premiers (prime races).

• Contexte classique : En 1853, Chebyshev a observé que les nombres premiers de la forme $4n+3$ sont généralement plus nombreux que ceux de la forme $4n+1$. Rubinstein et Sarnak ont formalisé ce phénomène en montrant que, sous l'hypothèse d'indépendance linéaire (LI) des zéros des fonctions $L$ de Dirichlet, ce biais existe presque partout, bien que des changements de signe infinis se produisent.
• Contexte des corps de fonctions : Cha a étudié l'analogue de ce biais pour les polynômes sur les corps finis $\mathbb{F}_q[T]$. Il a démontré que, sous l'Hypothèse de Simplicité Générale (GSH), un biais similaire existe. Cependant, contrairement aux corps de nombres, la GSH peut être violée dans les corps de fonctions, conduisant parfois à des biais inattendus ou à des égalités (des « nœuds » ou ties) entre les comptes de polynômes irréductibles dans différentes classes de congruence.
• Objectif de l'article : L'étude se concentre sur les cas où, pour un module $m \in \mathbb{F}_q[T]$ et deux classes de congruence distinctes $a, b \in (\mathbb{F}_q[T]/m)^\times$, le nombre de polynômes irréductibles moniques de degré $N$ congrus à $a$ et $b$ modulo $m$ est exactement égal pour une infinité de degrés $N$. L'objectif est de caractériser et de prouver l'existence de ces égalités infinies.

2. Méthodologie

Les auteurs développent et comparent deux approches distinctes pour établir ces égalités :

A. Approche Analytique : Formules explicites et Inversion de Möbius matricielle

Cette méthode repose sur l'analyse fine des formules de comptage exactes dérivées des fonctions $L$.

1. Formules de comptage : En utilisant la formule explicite reliant les nombres de polynômes irréductibles $\pi(a, m, N)$ aux zéros des fonctions $L$ de Dirichlet, les auteurs dérivent une expression exacte sans terme d'erreur asymptotique.
2. Inversion de Möbius matricielle : Ils introduisent une version matricielle de l'inversion de Möbius. En définissant des matrices $Z(n)$ associées au groupe des unités $(\mathbb{F}_q[T]/m)^\times$ et à son groupe de caractères, ils inversent le système d'équations linéaires pour isoler $\pi(a, m, N)$.
3. Rôle des conjugués de Galois : La clé de cette méthode réside dans l'analyse des zéros des fonctions $L$. Les égalités surviennent lorsque les termes d'erreur (sommes de puissances de zéros) s'annulent ou deviennent égaux pour différentes classes de congruence. Cela se produit spécifiquement lorsque les zéros (ou leurs puissances) appartiennent à des paires exceptionnelles de conjugués de Galois dans les corps cyclotomiques associés. Si les traces des puissances de ces zéros sont identiques pour deux classes, les comptes de polynômes coïncident.

B. Approche Géométrique/Combinatoire : Bijection via l'action de $GL_2(\mathbb{F}_q)$

Cette méthode est constructive et repose sur la symétrie des polynômes.

1. Action de $GL_2$ : Les auteurs définissent une action de $GL_2(\mathbb{F}_q)$ sur l'ensemble des polynômes de degré $N$. Pour une matrice $B \in GL_2(\mathbb{F}_q)$ et un polynôme $f$, l'action est notée $f|_N B$.
2. Préservation de l'irréductibilité : Ils prouvent que cette action préserve l'irréductibilité des polynômes. Si $f$ est irréductible, alors $f|_N B$ l'est aussi.
3. Bijection entre classes : Si le module $m$ est invariant (à une constante multiplicative près) sous l'action de $B$, alors l'application induit une bijection entre l'ensemble des polynômes irréductibles congrus à $c$ modulo $m$ et ceux congrus à $c|_N B$ modulo $m$.
4. Condition de monicité : Pour que cette bijection s'applique aux polynômes moniques (le cas d'intérêt principal), les auteurs identifient des conditions spécifiques sur la matrice $B$ et le corps $\mathbb{F}_q$ (notamment pour $q=2$ ou pour des matrices diagonales spécifiques) garantissant que l'image d'un polynôme monique reste monique.

3. Résultats Principaux et Exemples

Les auteurs fournissent de nombreuses familles d'exemples où ces égalités se produisent pour des progressions arithmétiques infinies de degrés $N$.

• Cas $q=2$ (Caractéristique 2) :

  • Pour $m = T^3 + T + 1$, ils démontrent que pour $N \equiv 1 \pmod 7$, on a l'égalité :
    $$\pi(1, m, N) = \pi(T, m, N) = \pi(T+1, m, N)$$
    et une autre égalité pour le groupe $\{T^2, T^2+T, T^2+T+1\}$.
  • Ces résultats sont confirmés par les deux méthodes : les zéros des fonctions $L$ sont des conjugués de Galois dont les traces coïncident, et l'action de matrices spécifiques de $GL_2(\mathbb{F}_2)$ permute les classes de congruence.
  • Des exemples similaires sont donnés pour $m = T^2 + T + 1$ (période modulo 3).

• Cas $q=3$ (Caractéristique 3) :

  • Pour $m = T^2 + 1$, des égalités sont prouvées pour $N$ impair et pair, reliant des classes comme $T+1$ et $2T+1$, ou $1$ et $2$.
  • Pour $m = T^2$, des biais systématiques et des égalités sont observés selon la parité de $N$.

• Polynômes d'Artin-Schreier :

  • Pour $m = T^p - T - 1$, l'action de translation $T \mapsto T+1$ (via une matrice de $GL_2$) induit des égalités entre classes de congruence liées par translation.

• Tableaux de données : L'article inclut des tableaux numériques (Table 1 à 6) calculés via SageMath, illustrant les comptes de polynômes pour divers degrés et confirmant les prédictions théoriques.

4. Contributions Clés

1. Double preuve des égalités : L'article établit un pont fort entre l'analyse spectrale (zéros des fonctions $L$) et la géométrie algébrique (actions de groupes sur les polynômes). La démonstration par bijection explicite est souvent plus directe et constructive que l'approche analytique.
2. Identification des mécanismes de "Ties" : Les auteurs montrent que les égalités ne sont pas accidentelles mais découlent de structures algébriques profondes : soit de la symétrie des zéros des fonctions $L$ (conjugués de Galois exceptionnels), soit de l'invariance du module sous des transformations linéaires.
3. Généralisation aux caractéristiques paires : L'article traite explicitement les cas où $q$ est une puissance de 2, un domaine où les comportements peuvent différer significativement des cas de caractéristique impaire (notamment concernant la monicité).
4. Outils computationnels : Le code SageMath utilisé pour générer les tables et vérifier les formules est rendu public, facilitant la reproduction et l'extension des résultats.

5. Signification et Perspectives

• Compréhension des biais : Ces résultats enrichissent la compréhension des biais de Chebyshev en montrant que, loin d'être toujours un déséquilibre, la course des nombres premiers sur les corps de fonctions peut présenter des symétries parfaites infinies.
• Limites de la méthode de bijection : Les auteurs notent que la méthode de bijection $GL_2$ ne couvre pas tous les cas trouvés par la méthode analytique (par exemple, certains biais systématiques où $\pi(1) < \pi(T)$). Cela suggère que la méthode analytique est plus puissante pour détecter des inégalités subtiles, tandis que la méthode géométrique est idéale pour prouver des égalités exactes.
• Conjecture sur les sommes cumulatives : L'article propose une conjecture forte (Conjecture 5.1) : alors que les égalités ponctuelles $\pi(a, m, N) = \pi(b, m, N)$ sont fréquentes pour des progressions arithmétiques, les égalités pour les sommes cumulatives (le nombre total de polynômes irréductibles jusqu'au degré $N$) sont probablement très rares, voire inexistantes pour $N$ suffisamment grand. Cela indique que les biais, même s'ils s'annulent ponctuellement, s'accumulent sur le long terme.

En résumé, cet article offre une analyse rigoureuse et complète des phénomènes d'égalité dans la distribution des polynômes irréductibles, combinant des outils d'analyse complexe, de théorie des nombres et de géométrie algébrique pour révéler des structures cachées dans les corps de fonctions.