Furstenberg--Sárközy theorem and partition regularity of polynomial equations over finite fields

1. Problématique et Contexte

L'objectif principal de cet article est de développer une approche systématique pour résoudre des problèmes combinatoires liés aux configurations polynomiales dans les grands sous-ensembles de corps finis $\mathbb{F}_q$.

Le point de départ est le théorème de Furstenberg–Sárközy, qui stipule que tout sous-ensemble d'entiers de densité positive contient une différence de la forme $P(x)$ (où $P(0)=0$). Une version analogue a été établie pour les corps finis par Bloom, Maynard et Tao ([BLM05]), montrant que si un sous-ensemble $A \subseteq \mathbb{F}_q$ ne contient aucune paire distincte $(a,b)$ telle que $b-a = P(x)$, alors $|A| = o(q)$.

Cependant, deux limitations majeures existaient dans la littérature précédente :

1. Caractéristique faible : Les bornes quantitatives obtenues via le théorème de Weil (de type $O(q^{1/2})$) ne s'appliquaient que lorsque la caractéristique $p$ du corps était supérieure au degré du polynôme $P$. Le cas où le degré de $P$ est supérieur à $p$ (caractéristique faible) était beaucoup plus délicat et ne bénéficiait pas de bornes aussi fortes.
2. Caractérisation algébrique : Il manquait une caractérisation complète et algorithmique des polynômes pour lesquels le théorème de Furstenberg–Sárközy (et ses variantes asymétriques ou de régularité de partition) est valable dans un corps de caractéristique $p$ fixée.

2. Méthodologie

Les auteurs combinent des outils d'analyse harmonique, d'algèbre et de théorie ergodique pour surmonter ces obstacles.

A. Estimations de sommes exponentielles (Le cœur technique)

La pierre angulaire de leur approche est une extension du théorème de Weil aux polynômes de degré arbitraire en caractéristique faible.

• Ils établissent une dichotomie pour les sommes exponentielles $\sum_{x \in \mathbb{F}_{q}} \chi(P(x))$ : soit la somme est maximale (égale à $q$), soit elle est bornée par $O(q^{1/2})$.
• La condition pour que la somme soit maximale dépend de la structure algébrique du polynôme, spécifiquement de son cœur additif (voir ci-dessous).

B. Outils Algébriques : Le "Cœur Additif"

Pour manipuler les polynômes en caractéristique $p$, les auteurs introduisent une décomposition unique : tout polynôme $P(x) \in \mathbb{F}_p[x]$ peut s'écrire comme $P(x) = a_0 + \sum \eta_i(x^{r_i})$, où les $x^{r_i}$ sont des monômes séparables et les $\eta_i$ sont des polynômes additifs.

• Ils définissent le cœur additif $\eta$ de $P$ comme un polynôme additif unique qui engendre le sous-groupe additif formé par les images des $\eta_i$.
• Ce concept permet de réduire l'étude de polynômes complexes à celle de polynômes additifs, dont la structure est bien comprise (de la forme $\sum a_j x^{p^j}$).

C. Équidistribution Irrationnelle

L'article caractérise les polynômes qui sont "bons pour l'équidistribution irrationnelle" (c'est-à-dire dont les valeurs s'équidistribuent modulo les sous-groupes additifs). Cette propriété est liée à la forme du cœur additif $\eta$.

D. Méthodes Ergodiques et Mesures de Loeb

Pour les résultats de régularité de partition (théorème de Schur polynomial), les auteurs utilisent la théorie des ultraproduits et les mesures de Loeb. Cette méthode permet de passer d'un problème finitaire (corps finis de taille croissante) à un problème infinitaire (corps pseudo-finis), facilitant l'application de théorèmes de récurrence ergodique pour prouver l'existence de solutions monochromatiques.

3. Résultats Clés et Contributions

1. Amélioration de la borne de Furstenberg–Sárközy (Théorème 1.3)

Les auteurs prouvent que pour tout polynôme $P(x) \in \mathbb{F}_p[x]$ avec $P(0)=0$, si $A \subseteq \mathbb{F}_{p^k}$ ne contient aucune paire $(a,b)$ telle que $b-a=P(x)$, alors :
$$|A| \ll_d p^{k/2}$$
Cette borne $O(q^{1/2})$ est optimale (sharp) et est valable indépendamment de la relation entre le degré de $P$ et la caractéristique $p$. Cela améliore les résultats récents de Li et Sauermann qui obtenaient une puissance de $p^k$ inférieure à 1 mais dépendante de $p$ et $d$.

2. Caractérisation des polynômes "Intersectifs sur les corps finis" (Théorème 1.12)

Ils donnent une condition nécessaire et suffisante pour qu'un polynôme $P$ satisfasse le théorème de Furstenberg–Sárközy sur $\mathbb{F}_{p^k}$ pour $k$ grand.
Soit $\eta$ le cœur additif de $P$ et $a_0 = P(0)$. Le théorème s'applique si et seulement si :
$$a_0 = 0 \quad \text{ou} \quad \eta(1) \neq 0$$
Cette condition est algorithmique et permet de vérifier facilement si un polynôme donné possède la propriété de régularité de partition.

3. Théorème de Furstenberg–Sárközy Asymétrique (Théorème 1.17)

Les auteurs étudient le cas où les éléments $a$ et $b$ appartiennent à deux ensembles distincts $A$ et $B$. Ils caractérisent les polynômes pour lesquels, si $|A||B|$ est suffisamment grand, il existe $a \in A, b \in B$ tels que $b-a = P(x)$.
La condition nécessaire et suffisante est que $P(x)$ soit, à composition près avec une puissance de Frobenius ($x \mapsto x^{p^s}$), bon pour l'équidistribution irrationnelle. Cela équivaut à ce que son cœur additif soit de la forme $\eta(x) = ax$ avec $a \neq 0$.

4. Régularité de Partition des Équations Polynomiales (Théorème 1.19 et Corollaire 1.20)

Ils établissent de nouveaux résultats de type Ramsey pour les équations polynomiales.

• Théorème : Pour tout polynôme non constant $P$ et tout polynôme $Q$ "intersectif sur les corps finis", l'équation $P(x) - P(y) = Q(z)$ est régulier de partition.
• Application majeure : Pour tout polynôme $P \in \mathbb{Z}[x]$ avec $P(0)=0$, l'équation $P(x) + P(y) = P(z)$ admet au moins $c q^2$ solutions monochromatiques dans toute coloration de $\mathbb{F}_q$ (pour $q$ assez grand), où $c > 0$ est une constante.
• Cela généralise le théorème de Schur et le théorème de Fermat ($x^d + y^d = z^d$) aux corps finis sans restriction sur la caractéristique.

4. Signification et Impact

• Unification des régimes : Ce travail résout le problème de la caractéristique faible en obtenant la même borne quantitative ($O(q^{1/2})$) que dans le cas de haute caractéristique, comblant ainsi un fossé théorique important.
• Outils nouveaux : L'introduction du "cœur additif" comme outil de classification algébrique offre une méthode puissante pour analyser le comportement des polynômes en caractéristique $p$, au-delà des méthodes classiques de sommes exponentielles.
• Connexion Combinatoire-Dynamique : L'article illustre profondément le lien entre la quasi-aléatoire (quasi-randomness) des graphes de Paley généralisés et l'ergodicité totale asymptotique, reliant la combinatoire des corps finis à la théorie ergodique.
• Résultats de Ramsey : Les résultats sur la régularité de partition étendent considérablement la portée des théorèmes de Schur et de Fermat aux corps finis, fournissant des bornes quantitatives fortes ($O(q^2)$ solutions) qui étaient auparavant inaccessibles pour des polynômes généraux en caractéristique faible.

En résumé, ce papier fournit une théorie complète et algorithmique pour comprendre quand et comment les configurations polynomiales apparaissent dans les sous-ensembles denses de corps finis, en surmontant les obstacles liés à la caractéristique faible grâce à une ingénieuse combinaison d'algèbre et d'analyse.