Collision of orbits for families of polynomials defined over fields of positive characteristic

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la dynamique arithmétique, plus précisément dans l'étude des intersections improbables (unlikely intersections). Le problème central est le suivant :

Soit $L$ un corps de caractéristique positive $p$, et soit $f_\lambda(z) = z^d + \lambda$ une famille de polynômes paramétrée par $\lambda \in L$. Étant donnés trois points $\alpha_1, \alpha_2, \beta \in L$, on définit l'ensemble $C(\alpha_1, \alpha_2; \beta)$ comme l'ensemble des paramètres $\lambda$ pour lesquels les orbites strictes avant de $\alpha_1$ et $\alpha_2$ sous l'action de $f_\lambda$ entrent en collision précisément au point $\beta$. Autrement dit, il existe des entiers $m, n \ge 1$ tels que :
$$f_\lambda^m(\alpha_1) = f_\lambda^n(\alpha_2) = \beta$$

La question fondamentale est de déterminer sous quelles conditions l'ensemble $C(\alpha_1, \alpha_2; \beta)$ est infini.

Dans le contexte des corps de caractéristique nulle, de tels événements infinis sont généralement expliqués par des relations dynamiques globales fortes entre les points (principe des intersections improbables). Les auteurs étendent cette problématique à la caractéristique positive, où de nouvelles difficultés et subtilités apparaissent, notamment dues à l'existence de l'application de Frobenius et des polynômes additifs.

2. Méthodologie

Les auteurs adoptent une approche mixte combinant l'analyse de la hauteur canonique, la théorie des corps de fonctions et des arguments de théorie des nombres (équations $S$-unitaires).

A. Stratégie de preuve pour l'implication directe

Pour prouver que si $C(\alpha_1, \alpha_2; \beta)$ est infini, alors une relation dynamique spécifique doit exister, les auteurs utilisent la machine à hauteurs (height machine) :

1. Réduction de transcendance : Ils montrent que si l'ensemble est infini, les points $\alpha_1, \alpha_2, \beta$ doivent satisfaire des contraintes algébriques fortes. Si l'un d'eux est transcendant sur $\mathbb{F}_p$, les autres doivent lui être algébriquement liés.
2. Hauteurs canoniques : Ils établissent des bornes sur la variation de la hauteur canonique globale $\hat{h}_\lambda(\alpha)$ en fonction de la hauteur de Weil de $\lambda$ et de $\alpha$ (Proposition 5.2).
3. Limites de suites : En supposant l'infinité de $C$, ils construisent une suite de paramètres $\{\lambda_k\}$ telle que les hauteurs canoniques $\hat{h}_{\lambda_k}(\alpha_1)$ et $\hat{h}_{\lambda_k}(\alpha_2)$ tendent vers 0.
4. Égalité des hauteurs locales : En utilisant un théorème de Ghioca (Théorème 6.3), ils déduisent que pour tout $\lambda$, les hauteurs canoniques locales de $\alpha_1$ et $\alpha_2$ sont égales.
5. Analyse par cas :
   • Si $d$ n'est pas une puissance de $p$, cette égalité implique $\alpha_1^d = \alpha_2^d$.
   • Si $d = p^\ell$, l'analyse est plus subtile et fait intervenir la structure des itérés de polynômes de la forme $z^{p^\ell} + \lambda$, conduisant à des conditions sur les différences $\alpha_2 - \alpha_1$ et $\beta - \alpha_1$ dans des sous-corps finis.

B. Stratégie pour l'implication réciproque

Pour montrer que les conditions trouvées impliquent bien l'infinité de l'ensemble :

• Cas $d = p^\ell$ : Ils réduisent le problème à la résolution d'un système d'équations dans un sous-corps fini $\mathbb{F}_q$. Ils utilisent la propriété de commutation des itérés avec les translations par des éléments de $\mathbb{F}_p$ pour construire explicitement une infinité de solutions.
• Cas général : Ils utilisent des résultats sur les intersections de sous-variétés de tores avec des sous-groupes de type fini (théorème de Moosa-Scanlon) pour prouver que l'absence de relation dynamique mène à une contradiction (le nombre de solutions serait fini).

C. Données computationnelles

Pour le cas où tous les points sont dans un corps fini $\mathbb{F}_p$ et $d$ n'est pas une puissance de $p$, les auteurs ne peuvent pas prouver le résultat théoriquement. Ils développent un algorithme efficace basé sur la recherche de facteurs communs irréductibles de polynômes itérés dans des extensions finies, fournissant ainsi des preuves numériques massives.

3. Résultats Principaux

Le résultat central est le Théorème 1.1, qui donne des conditions nécessaires et suffisantes pour que $C(\alpha_1, \alpha_2; \beta)$ soit infini, sous l'hypothèse que les points ne sont pas tous contenus dans un sous-corps fini.

L'ensemble est infini si et seulement si l'une des deux conditions suivantes est remplie :

1. Condition (A) - Relation algébrique simple :
   $$\alpha_1^d = \alpha_2^d$$
   Cela signifie que les orbites de $\alpha_1$ et $\alpha_2$ fusionnent après une seule itération pour tout $\lambda$.

2. Condition (B) - Relation dynamique spécifique en caractéristique $p$ :

   • Le degré est une puissance de la caractéristique : $d = p^\ell$.
   • Il existe un sous-corps fini $\mathbb{F}_q \subset L$ tel que les différences $\delta_1 = \alpha_2 - \alpha_1$ et $\delta_2 = \beta - \alpha_1$ appartiennent à $\mathbb{F}_q$ (avec $\delta_1 \neq 0$).
   • Le système d'équations suivant admet une solution $(\gamma, k, s_1, s_2) \in \mathbb{F}_q^* \times \mathbb{N}^3$ :
     $$\delta_1 = \sum_{i=0}^{s_1-1} \gamma^{p^{ik\ell}} \quad \text{et} \quad \delta_2 = \sum_{i=0}^{s_2-1} \gamma^{p^{ik\ell}}$$
     Cette condition reflète la commutativité entre les itérés de $f_\lambda$ et les translations par des éléments de $\mathbb{F}_p$.

Cas des points dans un corps fini :
Lorsque $\alpha_1, \alpha_2, \beta \in \mathbb{F}_p$ et que $d$ n'est pas une puissance de $p$, le théorème ne s'applique pas directement (car les points sont dans un sous-corps fini). Les auteurs proposent la Conjecture 9.1, soutenue par des données computationnelles extensives :

Si $\alpha_1, \alpha_2, \beta \in \mathbb{F}_p$ et $d$ n'est pas une puissance de $p$, alors l'ensemble $C(\alpha_1, \alpha_2; \beta)$ est toujours infini, même en l'absence de relation dynamique globale apparente.

4. Contributions Clés

1. Résolution en caractéristique positive : C'est l'un des premiers résultats complets sur les intersections improbables pour les familles de polynômes en caractéristique positive, domaine où les outils classiques (comme la variation de hauteur sur les corps de nombres) échouent ou nécessitent des adaptations profondes.
2. Découverte de la condition (B) : Identification d'une nouvelle classe de relations dynamiques spécifiques à la caractéristique $p$, liées à la structure additive des corps finis et aux polynômes de type $z^{p^\ell} + \lambda$.
3. Algorithmes et données numériques : Développement d'algorithmes pour tester la collision d'orbites sur des corps finis et fourniture de preuves numériques solides pour une conjecture contre-intuitive (l'infinité des collisions même sans relation dynamique globale).
4. Généralisation : Formulation de la Conjecture 2.6 pour des familles de polynômes arbitraires, élargissant le cadre de recherche au-delà de la forme $z^d + \lambda$.

5. Signification et Impact

• Nuance entre caractéristique 0 et $p$ : L'article met en lumière que la dynamique en caractéristique positive est fondamentalement différente. Là où en caractéristique 0, l'infinité des collisions implique presque toujours une relation algébrique stricte (comme $\alpha_1^d = \alpha_2^d$), en caractéristique $p$, des phénomènes "additifs" (liés aux polynômes additifs et aux translations) permettent des collisions infinies dans des configurations plus larges.
• Paradoxe des corps finis : La conjecture 9.1 suggère que lorsque le système est défini sur un corps fini, la combinatoire finie rend les collisions "probables" (ou du moins infinies sur la famille paramétrée), contrairement à l'intuition des intersections improbables qui s'applique aux corps de transcendance positive. Cela remet en question l'application directe du principe des intersections improbables aux systèmes définis entièrement sur des corps finis.
• Outils pour la dynamique arithmétique : Les techniques développées, notamment l'utilisation des hauteurs sur les corps de fonctions de caractéristique $p$ et l'analyse des itérés de polynômes de Frobenius, ouvrent la voie à l'étude d'autres problèmes ouverts comme la conjecture de Mordell-Lang dynamique ou la conjecture de Zariski dense en caractéristique positive.

En résumé, cet article établit une théorie complète pour les collisions d'orbites dans la famille $z^d + \lambda$ en caractéristique positive, révélant une richesse structurelle inattendue due à la nature du corps de base, et propose de nouvelles directions de recherche basées sur des observations computationnelles surprenantes.