Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

Cet article classe complètement les applications rationnelles quadratiques définies sur $\mathbb{Q}$ et possédant un groupe d'automorphismes non abélien ayant des points périodiques rationnels de période 1, 2 ou 3, démontre l'absence de tels points de période exacte 4 ou 5, et établit que le nombre de points pré-périodiques rationnels est alors borné par 6.

L'essentiel

Imaginez que vous lancez une balle sur un terrain de jeu très spécial, où les règles du rebond sont définies par une formule mathématique précise. À chaque rebond, la balle change de position selon cette règle. Si vous continuez à lancer la balle indéfiniment, deux choses peuvent arriver : soit elle finit par tourner en rond dans un cycle infini (elle revient toujours au même endroit), soit elle finit par se stabiliser dans une zone spécifique avant de tourner en rond.

En mathématiques, on appelle ces points de retour des points périodiques et ces zones de stabilisation des points pré-périodiques.

Ce papier de recherche, écrit par Hasan Bilgili et Mohammad Sadek, est comme une enquête policière menée sur un terrain de jeu très particulier : celui des fonctions rationnelles quadratiques (des formules mathématiques complexes) définies sur les nombres rationnels (les fractions). Mais il y a une règle très stricte pour ce terrain : la fonction doit avoir une symétrie très particulière, appelée un "groupe d'automorphismes non abélien".

Pour faire simple, imaginez que la plupart des terrains de jeu ont une symétrie simple (comme un miroir). Ici, le terrain a une symétrie beaucoup plus complexe, comme un dé à six faces qui peut tourner dans tous les sens sans jamais se ressembler exactement de la même façon (c'est ce qu'on appelle le groupe $S_3$).

Voici ce que les auteurs ont découvert, expliqué avec des images simples :

1. La chasse aux cycles (Les rebonds en rond)

Les mathématiciens voulaient savoir : "Si je lance ma balle sur ce terrain spécial, peut-elle faire des tours de 1, 2, 3, 4, 5 ou 6 rebonds avant de revenir à son point de départ ?"

• Les petits tours (1, 2 et 3) : C'est possible ! Ils ont réussi à dresser une liste complète de toutes les formules qui permettent à la balle de faire 1, 2 ou 3 tours. C'est comme avoir un catalogue de tous les terrains où la balle peut faire un petit tour de piste.
• Les grands tours (4 et 5) : C'est impossible ! Ils ont prouvé que sur ce terrain spécifique, il est impossible de faire un tour de 4 ou de 5 rebonds. C'est comme si les lois de la physique de ce terrain interdisaient ces distances précises.
• Le tour de 6 : C'est extrêmement rare. Ils ont montré qu'il n'y a qu'un nombre fini de terrains où cela pourrait arriver, et en pratique, ils n'en ont trouvé aucun avec des nombres "simples" (rationnels).

2. Le mystère des points "avant" (Les points pré-périodiques)

Avant de se mettre à tourner en rond, la balle peut faire quelques pas avant d'entrer dans le cycle. Combien de pas peut-elle faire ?

Les auteurs ont prouvé une limite très importante : La balle ne peut jamais faire plus de 6 pas "préliminaires" avant de se mettre à tourner en rond.

Imaginez un couloir d'entrée dans un manège. Ce papier dit : "Ce couloir ne peut jamais faire plus de 6 mètres de long." C'est une limite stricte.

3. La grande conjecture (L'hypothèse de travail)

Les auteurs font une hypothèse (une conjecture) basée sur leurs découvertes : "Il est probable qu'aucune balle sur ce terrain ne puisse jamais faire un tour de plus de 3 rebonds."

Si cette hypothèse est vraie (ce qui semble très probable), alors le nombre total de points où la balle peut se trouver (qu'elle soit en train de tourner ou en train d'arriver) est limité à 6.

En résumé, avec une analogie culinaire

Imaginez que vous êtes un chef cuisinier (le mathématicien) qui essaie de créer une recette (la fonction mathématique) avec des ingrédients précis (les nombres rationnels).

• Vous voulez savoir combien de fois le plat peut tourner dans la mijoteuse avant de revenir à son goût initial.
• Vous découvrez que pour ce type de recette très spécifique (avec la symétrie complexe), le plat peut tourner 1, 2 ou 3 fois.
• Mais si vous essayez de le faire tourner 4 ou 5 fois, la recette échoue (le plat brûle ou ne se forme pas).
• De plus, avant de commencer à tourner, le plat ne peut pas rester sur le feu plus de 6 minutes.

Pourquoi est-ce important ?
Cela aide à comprendre les limites fondamentales de la nature des nombres. C'est comme essayer de comprendre s'il existe une limite à la complexité des motifs que l'on peut créer avec des règles simples. Les auteurs ont utilisé des ordinateurs puissants (comme des super-calculatrices) pour vérifier des millions de combinaisons et prouver que certaines portes sont fermées à jamais.

En conclusion, ce papier nous dit que même dans l'univers infini des nombres, il existe des barrières invisibles qui empêchent certaines configurations de se produire, et pour ce type de fonction très symétrique, le nombre de points "intéressants" est très petit et bien contrôlé.

Résumé technique

Voici un résumé technique détaillé de l'article « Rational Preperiodic Points of Quadratic Rational Maps over Q with Nonabelian Automorphism Groups » par Hasan Bilgili et Mohammad Sadek.

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la dynamique arithmétique, plus précisément dans l'étude de la conjecture d'uniforme bornitude (Uniform Boundedness Conjecture) formulée par Morton et Silverman. Cette conjecture postule qu'il existe une constante $C$ dépendant uniquement du degré $d$, de la dimension $n$ et du degré de l'extension du corps de base $[K:\mathbb{Q}]$, telle que le nombre de points prépériodiques rationnels pour tout morphisme $f: \mathbb{P}^n \to \mathbb{P}^n$ défini sur un corps de nombres $K$ est borné par $C$.

Bien que cette conjecture reste ouverte dans le cas général, des progrès significatifs ont été réalisés pour les polynômes quadratiques définis sur $\mathbb{Q}$. Cependant, l'étude des applications rationnelles quadratiques ($f: \mathbb{P}^1 \to \mathbb{P}^1$ de degré 2) avec un groupe d'automorphismes non abélien est moins explorée.

Le problème central de cet article est de classifier complètement les points rationnels périodiques et prépériodiques pour les applications rationnelles quadratiques définies sur $\mathbb{Q}$ dont le groupe d'automorphismes est isomorphe au groupe symétrique $S_3$ (d'ordre 6, non abélien).

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des nombres, la géométrie algébrique et le calcul formel.

• Forme Normale : Ils s'appuient sur le fait que toute application rationnelle quadratique sur un corps $K$ (caractéristique $\neq 2, 3$) avec un groupe d'automorphismes $S_3$ est $K$-conjuguée à une forme normale unique :
  $$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
  où $k \in K$, $d \in K \setminus \{0\}$ et $k^2 \neq d$.

• Polynômes Dynatomiques : Pour déterminer les points de période exacte $n$, les auteurs utilisent les polynômes dynatomiques $\Phi^*_{f,n}(z)$. Les points de période exacte $n$ sont les racines de ces polynômes. Pour les points prépériodiques de type $(m, n)$ (où $f^m(P)$ est de période $n$), ils utilisent des polynômes dynatomiques généralisés.

• Analyse des Courbes Algébriques : La stratégie principale consiste à paramétrer les couples $(f, P)$ où $P$ est un point rationnel de période exacte $N$ par des points rationnels sur des courbes algébriques définies par les équations $\Phi^*_{f,N}(z) = 0$.

  • Pour les périodes $N=4$ et $N=5$, les auteurs montrent que les courbes associées ne sont pas géométriquement irréductibles. Elles se décomposent en plusieurs composantes irréductibles définies sur des extensions de corps.
  • L'existence de points rationnels sur la courbe globale implique l'existence de points rationnels sur l'intersection de ces composantes.
  • Les auteurs utilisent le logiciel Magma pour calculer les intersections de ces courbes et vérifier qu'elles ne contiennent que des points singuliers qui ne correspondent pas à des applications rationnelles quadratiques valides.

• Théorème de Faltings : Pour la période 6, l'une des courbes associées a un genre élevé (genre 433 après normalisation). Les auteurs invoquent le théorème de Faltings (Mordell) pour affirmer que cette courbe ne possède qu'un nombre fini de points rationnels.

• Outils : Tous les calculs symboliques et les vérifications de réductibilité des polynômes ont été effectués avec Magma et Mathematica.

3. Résultats Principaux

Les résultats sont synthétisés dans les théorèmes 1.1, 1.3 et les propositions subséquentes :

A. Classification des Points Périodiques

• Périodes 1, 2 et 3 : Les auteurs fournissent une paramétrisation complète des applications $\theta_{d,k}$ possédant des points rationnels de période exacte 1, 2 ou 3.
  • Période 1 (Points fixes) : Conditions explicites sur $d$ et $k$ pour l'existence de 1 ou 3 points fixes rationnels.
  • Période 2 : Existe si et seulement si $d$ est un carré rationnel.
  • Période 3 : Existe si et seulement si $-3d$ est un carré rationnel (pour $k \neq 0$).
• Périodes 4 et 5 (Non-existence) :
  • Théorème 1.1 (i) : Aucune application de cette classe ne possède de point rationnel de période exacte 4 ou 5. La preuve repose sur le fait que les courbes dynatomiques correspondantes n'ont pas de points rationnels non singuliers.
• Période 6 :
  • Théorème 1.1 (ii) : Il n'existe qu'un nombre fini d'applications de cette classe possédant un point rationnel de période exacte 6.

B. Conjecture et Bornes sur les Points Prépériodiques

• Conjecture 1.2 : Les auteurs conjecturent qu'aucune application de cette classe ne possède de point rationnel de période exacte $N > 3$.
• Théorème 1.3 : En supposant la Conjecture 1.2 vraie (ou plus faiblement, en supposant l'absence de points de période $\ge 6$), le nombre total de points prépériodiques rationnels $|PrePer(f, \mathbb{Q})|$ est borné par 6.
  • Cette borne est atteinte (sharp) dans certains cas explicites.

C. Structure des Graphes Prépériodiques

L'article analyse les graphes dirigés associés aux ensembles de points prépériodiques. Les auteurs montrent que :

• Il est impossible d'avoir simultanément un point fixe rationnel et un cycle de période 2 ou 3.
• Il est impossible d'avoir simultanément un cycle de période 2 et un cycle de période 3.
• Ils listent exhaustivement tous les graphes possibles (sous l'hypothèse de la conjecture) et fournissent des exemples explicites de couples $(d, k)$ réalisant chaque configuration (voir Exemple 6.7).

4. Contributions Clés

1. Classification Complète : Première classification complète des points rationnels de petite période pour les applications quadratiques rationnelles avec groupe d'automorphismes $S_3$.
2. Preuve de Non-Existence : Démonstration rigoureuse de l'absence de points rationnels de période 4 et 5, comblant un vide dans la littérature par rapport aux polynômes quadratiques et aux applications avec groupe $C_2$.
3. Méthodologie Géométrique : Utilisation efficace de la décomposition en composantes irréductibles de courbes dynatomiques de haut degré pour prouver l'absence de points rationnels, une technique applicable à d'autres problèmes de dynamique arithmétique.
4. Borne Conjecturale : Établissement d'une borne de 6 pour le nombre de points prépériodiques, analogue aux résultats connus pour les polynômes quadratiques (borne de 9) et les applications avec groupe $C_2$ (borne de 12).

5. Signification et Impact

Ce travail est significatif car il étend la compréhension de la conjecture d'uniforme bornitude au-delà des polynômes et des applications à symétrie abélienne. En traitant le cas non abélien ($S_3$), les auteurs montrent que la structure algébrique du groupe d'automorphismes impose des contraintes fortes sur la dynamique arithmétique.

Les résultats suggèrent que la complexité de la dynamique rationnelle pour les applications quadratiques est universellement bornée, indépendamment de la nature du groupe d'automorphismes, bien que la borne spécifique dépende de la symétrie. La preuve de l'absence de points de période 4 et 5 renforce la validité de la conjecture de Poonen (étendue ici aux applications rationnelles) et fournit un cadre solide pour les recherches futures sur les périodes plus élevées et les corps de nombres plus généraux.