Serre 100 — carnet 01b (ex-26) : Chevalley-Warning, divisibilité p | N et exposant d'Ax-Katz #22589

Part of #16334

Cible

Nouveau carnet de la série Serre 100 : carnet 01b (accrétion à suffixe lettre, ex-26) — le théorème de Chevalley–Warning et la divisibilité du nombre de solutions d'un système de polynômes sur un corps fini.

Pourquoi ce thème

• Carnet 01 (corps finis, borne de Hasse) en fait la promesse en prose : « sur corps fini, Chevalley–Warning (1935) garantit le zéro non trivial d'un polynôme homogène dès que les variables dépassent le carré du degré — le monde dans lequel on calcule ici ». Ce carnet la livre, en rendant le théorème mesurable plutôt que cité.
• Territoire Cours d'arithmétique (ch. I, corps finis) : le même monde arithmétique que les carnets 01/16/17.
• Distinct des carnets en vol (19 arbres, 21 Hecke, 22 Witt, 24 Hasse–Minkowski, 25 Galois, 27 Pell, 28 Möbius, 29 Legendre) : aucun ne traite le comptage de solutions d'équations polynomiales mod $q$.

Attributions (corrigées après la review du 2026-10-25)

Trois résultats distincts, qu'il ne faut pas confondre :

• Chevalley (1935) / Warning (1936) — la divisibilité par la caractéristique : $p \mid N$ dès que $\sum_i \deg f_i < n$.
• Ax (1964) — le renforcement par le cardinal : $q \mid N$, strictement plus fort sur $\mathbb{F}_q$ avec $q = p^s$, $s \ge 2$ ; sur un corps premier les deux énoncés coïncident.
• Ax–Katz (Ax 1964 ; Katz 1971) — l'exposant exact : $q^{\lceil (n-\sum_i d_i)/\max_i d_i \rceil} \mid N$.

Contenu (forme carnet 15/20 : mesures empiriques + 3 exercices)

1. Comptage des zéros communs $N$ d'un système $(f_1,\dots,f_k)$ sur $\mathbb{F}_q^n$ par énumération ; mesure de $p \mid N$ (Chevalley–Warning) et de la version $q \mid N$ d'Ax.
2. Tranchance de la borne : un système avec $\sum_i \deg f_i = n$ où $N \not\equiv 0 \pmod q$ — la borne est atteinte, pas franchissable.
3. Corollaire de Chevalley : polynôme homogène de degré $d < n$ $\Rightarrow$ zéro non trivial ; vérifié sur des formes quadratiques en $\ge 3$ variables.
4. Second théorème de Warning (minoration $N \ge q^{,n-\sum\deg}$ quand $N>0$), puis section 6 : l'exposant d'Ax–Katz mesuré sur la famille (tenu partout, atteint quand $n$ est pair, dépassé quand $n$ est impair), et l'exercice 3 qui fait écrire cet exposant à l'étudiant — énoncé complet (formule, comparaison à la borne $q^{,n-d}$, vérification de $q^{,e} \mid N$ sur l'effectif compté, piège de l'arrondi, indice) et stubs conformes C.1.

Acceptance

• notebook python3 exécuté de bout en bout (papermill, 0 erreur, outputs commités) — C.2
• $\ge 3$ exercices C.1 (stubs conformes : return None / print("Exercice a completer") ; le carnet s'exécute exercices non complétés)
• les deux identités (divisibilité + tranchance) vérifiées sur un éventail de $(q, n, \text{degrés})$
• python scripts/notebook_tools/validate_pr_notebooks.py origin/main <carnet> PASS
• verdict SOTA-OK au body de PR (Python stdlib : énumération de $\mathbb{F}_q^n$)

Slot

Le numéro 26 était revendiqué au claim mais déjà occupé par la PR #22459 (26-trois-carres-legendre), ouverte plus tôt le 25/10. L'arbitrage du coordinateur du 2026-10-26 13:49Z tranche : le slot 26 reste à #22459, et ce carnet se replie en accrétion à suffixe lettre → 01b, sur la branche des carnets 01. Fichier, H1, ligne README et titre de cette issue suivent.

Gouvernance : le gel « aucun nouveau carnet » du coordinateur (commentaire 6397509703 du 25/10) reste en vigueur ; cette PR n'ouvre pas de nouveau numéro, elle accole une lettre à un carnet existant, conformément à l'arbitrage ci-dessus. La confirmation du coordinateur reste requise avant merge.