Le nombre de préimages itérées rationnelles de l'origine sous les applications polynomiales unicritiques

Informations de base

• ID de l'article: 2510.14397
• Titre: Le nombre de préimages itérées rationnelles de l'origine sous les applications polynomiales unicritiques
• Auteur: Kaoru Sano (Institut NTT pour les Mathématiques Fondamentales)
• Classification: math.NT (Théorie des nombres), math.AG (Géométrie algébrique), math.DS (Systèmes dynamiques)
• Date de publication: 17 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.14397v1

Résumé

Cet article étudie les préimages itérées rationnelles de l'origine sous l'application unicritique $f_{d,c}(x) = x^d + c$. En s'appuyant sur les travaux antérieurs de Faber-Hutz-Stoll et Hutz-Hyde-Krause établissant la finitude et les bornes conditionnelles dans le cas quadratique, nous démontrons que pour $d=2$ et $c \in \mathbb{Q}\setminus\{0,-1\}$, l'origine n'admet pas de préimages rationnelles de degré quatre ; pour tous $d \geq 3$, il n'existe pas de préimages rationnelles de degré deux en dehors des cas triviaux. La preuve repose sur l'analyse géométrique des courbes de préimages, la méthode elliptique de Chabauty et la réduction diophantienne. Par conséquent, nous déterminons le nombre de préimages itérées rationnelles de l'origine pour $f_{d,c}$ dans tous les cas $d \geq 2$.

Contexte et motivation de la recherche

Description du problème

Le problème central étudié dans cet article consiste à déterminer le nombre de préimages itérées rationnelles de l'origine sous l'application polynomiale unicritique $f_{d,c}: x \mapsto x^d + c$. Plus précisément, pour un corps de nombres donné $L$, nous nous intéressons à la taille de l'ensemble $\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ pour un certain } N \geq 1\}$ où $f_{d,c}^{\circ N}$ désigne la $N$-ième itérée de $f_{d,c}$.

Importance de la recherche

1. Théorie des systèmes dynamiques: Ce problème est étroitement lié à la distribution des points rationnels dans les systèmes dynamiques polynomiaux, constituant une question fondamentale de la dynamique algébrique
2. Géométrie arithmétique: Implique la distribution des points rationnels sur les courbes algébriques de haut degré, reliant la théorie des nombres et la géométrie algébrique
3. Théorie des représentations de Galois: Du point de vue des représentations arborescentes, cela est lié à l'action du groupe de Galois absolu

Limitations des travaux existants

• Les travaux de Faber-Hutz-Stoll et al. se concentrent principalement sur le cas quadratique ($d=2$)
• Pour la non-existence des préimages de degré quatre, les résultats antérieurs dépendaient de la conjecture de Birch-Swinnerton-Dyer
• Absence d'étude systématique pour le cas $d \geq 3$

Contributions principales

1. Preuve inconditionnelle: Démonstration que pour $d=2$ et $c \in \mathbb{Q}\setminus\{0,-1\}$, $f_{2,c}$ n'admet pas de préimages rationnelles de degré quatre de l'origine, éliminant la dépendance antérieure à la conjecture BSD
2. Résolution complète du cas de haut degré: Démonstration que pour $d \geq 3$, en dehors des cas triviaux, il n'existe pas de préimages rationnelles de degré deux de l'origine
3. Résultat de classification complet: Fourniture d'une formule exacte pour le nombre de préimages itérées rationnelles dans tous les cas $d \geq 2$
4. Innovation méthodologique: Combinaison de techniques synthétiques incluant la méthode elliptique de Chabauty, l'analyse géométrique et la réduction diophantienne

Explication détaillée des méthodes

Résultats principaux

Théorème 1.3:

• (i) Pour un nombre rationnel $c \in \mathbb{Q}\setminus\{0,-1\}$, l'application $f_{2,c}$ n'admet pas de préimages rationnelles de degré quatre de l'origine
• (ii) Pour un entier $d \geq 3$ et un nombre rationnel $c \in \mathbb{Q}$, sous des conditions appropriées, l'application $f_{d,c}$ n'admet pas de préimages rationnelles de degré deux de l'origine

Stratégie technique

Stratégie de preuve pour le cas quadratique ($d=2$)

1. Réduction géométrique: Utilisation de l'application de revêtement de degré 2 $\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E$ où $E: v^2 = u^3 - u + 1$ est une courbe elliptique
2. Analyse de ramification: Étude de la ramification sur $E[2]$, construction d'un changement de base approprié pour obtenir un revêtement double fini et plat
3. Réduction de courbe: Réduction du problème à des courbes de genre inférieur $C_D$, où $D$ est classifié par les classes $[D] \in R^\times/(R^\times)^2$, $R = \mathbb{Z}[1/2, 1/23]$

Application de la méthode elliptique de Chabauty

Théorème 1.5: Pour $D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2}$ ($\varepsilon_i \in \{0,1\}$), considérant la courbe affine du plan $C_D: D^2 y^4 = x^3 - x + 1$

Nous démontrons que $C_D(\mathbb{Q})$ est non-vide si et seulement si $D = \pm 1$, et $C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}$

Preuve pour le cas de haut degré ($d \geq 3$)

Utilisation du théorème de Darmon-Merel, qui repose sur la modularité des courbes elliptiques: Théorème 4.1: Lorsque $n \geq 4$, l'équation $x^n + y^n = z^2$ n'admet pas de solutions primitives non-triviales.

Par des transformations algébriques ingénieuses, le problème d'existence de préimages rationnelles de degré deux est converti en équations diophantiennes de ce type.

Points d'innovation technique

1. Éviter la conjecture BSD: La méthode elliptique de Chabauty permet d'éviter la dépendance à la conjecture de Birch-Swinnerton-Dyer
2. Combinaison géométrie-arithmétique: Combinaison ingénieuse de la théorie des revêtements en géométrie algébrique et des problèmes de points rationnels en théorie des nombres
3. Faisabilité computationnelle: Comparée à la $n$-descente généralisée, cette méthode a un coût computationnel réduit et ne nécessite pas de conjectures supplémentaires

Configuration expérimentale

Outils de calcul

Utilisation du système d'algèbre computationnelle Magma pour:

1. Calcul du groupe de Mordell-Weil des courbes elliptiques
2. Détermination des points rationnels
3. Implémentation de la méthode de Chabauty

Calculs clés

1. Courbe elliptique $E: v^2 = u^3 - u + 1$:
   • Groupe de Mordell-Weil: $E(\mathbb{Q}) \cong \mathbb{Z}$, engendré par $Q_0 = (1,-1)$
   • Dix points rationnels connus dans $X^{\text{pre}}(2,4,0)$
2. Corps de nombres $K = \mathbb{Q}(\theta)$ (où $\theta^3 - \theta + 1 = 0$):
   • Discriminant: $-23$
   • Nombre de classes: 1
   • Groupe des unités: engendré par $\pm 1$ et $\theta$

Résultats expérimentaux

Résultats principaux

Corollaire 1.4:

• Pour $d$ pair, $d \geq 3$: $\kappa(d,0,\mathbb{Q}) = 3$
• Pour $d$ impair, $d \geq 3$: $\kappa(d,0,\mathbb{Q}) = 1$
• Pour $d = 2$: $\kappa(2,0,\mathbb{Q}) = 6$

Nombre exact de préimages itérées rationnelles

Pour différents paramètres $c$, le nombre exact de préimages itérées rationnelles est donné par:

Pour $d$ pair, $d \geq 3$: $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 3 & \text{si } c = -1 \\ 1 & \text{si } c = 0 \\ 2 & \text{si } c = -r^d \text{ pour } r \in \mathbb{Q}\setminus\{0,\pm 1\} \\ 0 & \text{sinon} \end{cases}$

Pour $d$ impair, $d \geq 3$: $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 1 & \text{si } c = -r^d \text{ pour un certain } r \in \mathbb{Q} \\ 0 & \text{sinon} \end{cases}$

Vérification computationnelle

Les résultats de calcul de la méthode elliptique de Chabauty ont été vérifiés par code Magma, confirmant la distribution des points rationnels sur les courbes $C_D$.

Travaux connexes

Développement historique

1. Faber-Hutz-Stoll et al. (2009): Établissement de la finitude dans le cas quadratique
2. Hutz-Hyde-Krause (2011): Fourniture de bornes conditionnelles
3. Faber-Hutz-Stoll (2011): Résultats partiels sous la conjecture BSD

Théories connexes

1. Théorie des représentations arborescentes: Compréhension des préimages itérées du point de vue des représentations de Galois
2. Méthode de Chabauty pour courbes elliptiques: Détermination des points rationnels sur les courbes algébriques
3. Théorie des formes modulaires: Le théorème de Darmon-Merel repose sur la modularité des courbes elliptiques

Conclusions et discussion

Conclusions principales

Cet article résout complètement le problème du nombre de préimages itérées rationnelles de l'origine sous les applications polynomiales unicritiques, fournissant des résultats exacts pour tous les cas $d \geq 2$.

Signification théorique

1. Perfectionnement de la théorie arithmétique des systèmes dynamiques: Fourniture d'une image complète de la distribution des points rationnels dans les systèmes dynamiques polynomiaux
2. Démonstration de l'efficacité de la méthode: Application réussie de la méthode elliptique de Chabauty à cette classe de problèmes
3. Connexion de différentes branches mathématiques: Illustration des liens profonds entre la géométrie algébrique, la théorie des nombres et les systèmes dynamiques

Limitations

1. Portée de la méthode: Principalement applicable aux applications unicritiques; de nouvelles techniques sont nécessaires pour les applications polynomiales plus générales
2. Complexité computationnelle: Bien que plus simple que la $n$-descente généralisée, des défis computationnels subsistent pour les cas de degré plus élevé

Directions futures

1. Généralisation à des applications plus générales: Considération du cas de points critiques multiples
2. Étude sur d'autres corps de nombres: Extension à des corps de nombres généraux
3. Suites de division elliptique: Application aux études des puissances complètes dans les suites de division elliptique

Évaluation approfondie

Avantages

1. Contribution théorique majeure: Résolution complète d'un problème ouvert important
2. Innovation méthodologique: Combinaison ingénieuse de plusieurs outils mathématiques, évitant la dépendance à des conjectures non résolues
3. Résultats complets: Fourniture de réponses exactes pour tous les cas
4. Faisabilité computationnelle: Fourniture d'algorithmes et de codes pratiquement réalisables

Points forts techniques

1. Élégance de la réduction géométrique: Réduction ingénieuse des problèmes de courbes de genre élevé à des courbes elliptiques
2. Application efficace de la méthode de Chabauty: Démonstration de la puissance de cette méthode dans les problèmes concrets
3. Utilisation astucieuse du théorème de modularité: Exploitation de résultats profonds de la théorie des nombres moderne

Impact

1. Contribution au domaine: Apport important à la théorie arithmétique de la dynamique algébrique
2. Valeur méthodologique: Démonstration du potentiel de la méthode elliptique de Chabauty dans les problèmes diophantiens
3. Valeur pratique: Fourniture d'outils efficaces pour les problèmes computationnels connexes

Domaines d'application

1. Recherche en systèmes dynamiques: Distribution des points rationnels dans les applications polynomiales
2. Équations diophantiennes: Problèmes de points rationnels sur les courbes algébriques de haut degré
3. Géométrie arithmétique: Étude des propriétés arithmétiques des courbes elliptiques et de haut genre

Références

L'article cite plusieurs références mathématiques importantes, notamment:

• Les travaux de Darmon-Merel sur les équations de Fermat généralisées
• Les recherches de Bruin sur la méthode elliptique de Chabauty
• Les travaux fondateurs de Wiles et al. sur la modularité des courbes elliptiques
• Les littératures connexes en dynamique algébrique

Cet article représente un excellent exemple de combinaison de théorie et de calcul dans la théorie des nombres moderne, résolvant un problème difficile par des techniques mathématiques ingénieuses et apportant une contribution importante au développement des domaines connexes.