Hasse-Weil Zeta Functions Modulo a Prime

Résumé technique : Fonctions zêta de Hasse-Weil modulo un nombre premier

Énoncé du problème
L'article traite de la relation entre les fonctions zêta de Hasse-Weil de deux schémas de type $F_q$ séparés, $X$ et $Y$, reliés par un morphisme fini $\pi: Y \to X$. Plus précisément, l'auteur étudie la réduction de la fonction zêta $\zeta(Y, T)$ modulo un nombre premier $r$ (où $r \neq p$, la caractéristique du corps) en termes de $\zeta(X, T)$ et du lieu de ramification $Z \subset X$. La motivation principale découle d'une question posée par Richard Griffon concernant les conditions sous lesquelles le numérateur de la fonction zêta d'une courbe sur un corps fini est un trinôme. Une condition nécessaire pour cela est que le numérateur soit congru à un trinôme modulo un entier $N > 1$.

Méthodologie
L'article emploie deux approches distinctes pour établir le résultat principal : une preuve « naïve » basée sur les développements en produits d'Euler, et une preuve cohomologique utilisant la cohomologie étale.

1. Preuve naïve (Section 2) : Cette approche analyse le développement en produit d'Euler de la fonction zêta. En examinant les fibres du morphisme $\pi$ sur les points fermés $x \in |X|$, l'auteur distingue les points dans le lieu non ramifié ($X \setminus Z$) et le lieu de ramification ($Z$). En utilisant les propriétés du groupe de Galois $G$ (d'ordre premier $r$), des groupes d'inertie et des groupes de décomposition, l'auteur dérive des congruences pour les facteurs locaux $L(Y_x, T)$. La preuve repose sur l'observation que $(1 - T^{\deg(x)})^r \equiv (1 - T^{r \deg(x)}) \pmod r$.

2. Preuve cohomologique (Sections 3 & 4) : Cette section établit une formule générale pour la réduction d'une fonction zêta modulo un nombre premier $\ell \neq p$.

   • Théorème 3.1 : L'auteur prouve que $\zeta(X, T) \equiv \prod_i \det(1 - \phi T \mid H^i_c(\bar{X}, \mathbb{F}_\ell))^{(-1)^{i+1}} \pmod \ell$. Cela nécessite d'analyser la relation entre la cohomologie avec des coefficients dans $\mathbb{Q}_\ell$, $\mathbb{Z}_\ell$ et $\mathbb{F}_\ell$, en traitant spécifiquement les sous-modules de torsion via une proposition d'algèbre linéaire (Proposition 3.2) concernant les déterminants de modules sur des anneaux finis.
   • Application à $\pi$ : Dans la section 4, l'auteur applique cette formule cohomologique à l'ouvert $U = X \setminus Z$. En considérant le faisceau image directe $\pi_* \mathbb{F}_r$ et sa semi-simplification, l'auteur démontre que la cohomologie de $Y$ sur $U$ est liée à la cohomologie de $X$ sur $U$ via une puissance de $r$. Cela conduit à la congruence $\zeta(V, T) \equiv \zeta(U, T)^r \pmod r$, où $V = \pi^{-1}(U)$.

Résultats clés
Le résultat central est le Théorème 1.1, qui stipule :
Soit $F_q$ un corps fini de caractéristique $p$, et $\pi: Y \to X$ un morphisme $F_q$-fini de schémas $F_q$-séparés de type fini. Soit $Z \subset X$ le lieu de ramification de $\pi$. Si $\pi$ est génériquement galoisien avec un groupe $G$ d'ordre premier $r \neq p$, alors :
$$\zeta(Y, T) \equiv \zeta(X, T)^r \zeta(Z, T)^{1-r} \pmod r$$

L'article note une caractéristique frappante de cette identité : alors que l'identité analogue sur $\mathbb{Z}$ échoue généralement en raison de déséquilibres de poids, la congruence modulo $r$ est vérifiée.

Applications aux courbes
Dans la section 5, les résultats sont spécialisés aux courbes propres, lisses et géométriquement connexes. L'auteur déduit une congruence pour les numérateurs $L(C, T)$ des fonctions zêta :
$$L(Y, T) \equiv L(X, T)^r (1-T)^{1-r} (1-qT)^{1-r} \prod_{z \in |Z|} (1 - T^{\deg(z)})^{r-1} \pmod r$$
Cette section récupère également la formule de Riemann-Hurwitz en comparant les degrés des deux côtés de la congruence.

Dans la section 6, l'article applique ces résultats aux courbes hyperelliptiques ($r=2$) et superelliptiques ($r>2$) définies par des équations de la forme $y^r = f(x)$. Les résultats fournissent une méthode pour déterminer la réduction modulo $r$ du numérateur de la fonction zêta pour de telles courbes en fonction du lieu de ramification et de la courbe de base.

Signification et affirmations
L'article prétend fournir une formule définitive pour la réduction modulo $r$ de la fonction zêta d'un revêtement galoisien en termes de la base et du lieu de ramification. La signification réside dans :

1. La résolution d'une question structurelle spécifique : Il offre une condition nécessaire (congruence à un trinôme) pour que le numérateur d'une fonction zêta soit un trinôme, répondant directement à la motivation fournie par Richard Griffon.
2. Une contribution méthodologique : Il fournit à la fois une preuve élémentaire et une preuve cohomologique, cette dernière établissant une formule de réduction générale (Théorème 3.1) pour les fonctions zêta modulo des nombres premiers distincts de la caractéristique.
3. La clarification des limites : L'auteur note explicitement que l'identité ne tient pas sur $\mathbb{Z}$ en raison des considérations de poids, soulignant la nature spécifique du contexte d'arithmétique modulaire.

L'article ne propose pas d'applications expérimentales ou d'implications futures au-delà de l'application immédiate aux courbes hyperelliptiques et superelliptiques telle que décrite.