2025-11-23T17:22:17.255019

The number of rational iterated preimages of the origin under unicritical polynomial maps

Sano
We study rational iterated preimages of the origin under unicritical maps $f_{d,c}(x)=x^d+c$. Earlier works of Faber--Hutz--Stoll and Hutz--Hyde--Krause established finiteness and conditional bounds in the quadratic case. Building on this, we prove that for $d=2$ and $c \in \mathbb Q\setminus\{0,-1\}$ there are no rational fourth preimages of the origin, and for all $d \geq 3$ there are no rational second preimages outside trivial cases. The proof relies on geometric analysis of preimage curves, the elliptic Chabauty method, and Diophantine reduction. As a result, we determine the number of rational iterated preimages of $0$ under $f_{d,c}$ for all $d\geq 2$.
academic

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 fd,c(x)=xd+cf_{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=2d=2 et c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, l'origine n'admet pas de préimages rationnelles de degré quatre ; pour tous d≥3d \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 fd,cf_{d,c} dans tous les cas d≥2d \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 fd,c:x↦xd+cf_{d,c}: x \mapsto x^d + c. Plus précisément, pour un corps de nombres donné LL, nous nous intéressons à la taille de l'ensemble ⋃N≥1fd,c−N(a)(L)={x∈A1(L)∣fd,c∘N(x)=a pour un certain N≥1}\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ù fd,c∘Nf_{d,c}^{\circ N} désigne la NN-ième itérée de fd,cf_{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=2d=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≥3d \geq 3

Contributions principales

  1. Preuve inconditionnelle: Démonstration que pour d=2d=2 et c∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, f2,cf_{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≥3d \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≥2d \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∈Q∖{0,−1}c \in \mathbb{Q}\setminus\{0,-1\}, l'application f2,cf_{2,c} n'admet pas de préimages rationnelles de degré quatre de l'origine
  • (ii) Pour un entier d≥3d \geq 3 et un nombre rationnel c∈Qc \in \mathbb{Q}, sous des conditions appropriées, l'application fd,cf_{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=2d=2)

  1. Réduction géométrique: Utilisation de l'application de revêtement de degré 2 π:Xpre(2,4,0)→Xpre(2,3,0)≅E\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E où E:v2=u3−u+1E: v^2 = u^3 - u + 1 est une courbe elliptique
  2. Analyse de ramification: Étude de la ramification sur E[2]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 CDC_D, où DD est classifié par les classes [D]∈R×/(R×)2[D] \in R^\times/(R^\times)^2, R=Z[1/2,1/23]R = \mathbb{Z}[1/2, 1/23]

Application de la méthode elliptique de Chabauty

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

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

Preuve pour le cas de haut degré (d≥3d \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≥4n \geq 4, l'équation xn+yn=z2x^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 nn-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:v2=u3−u+1E: v^2 = u^3 - u + 1:
    • Groupe de Mordell-Weil: E(Q)≅ZE(\mathbb{Q}) \cong \mathbb{Z}, engendré par Q0=(1,−1)Q_0 = (1,-1)
    • Dix points rationnels connus dans Xpre(2,4,0)X^{\text{pre}}(2,4,0)
  2. Corps de nombres K=Q(θ)K = \mathbb{Q}(\theta) (où θ3−θ+1=0\theta^3 - \theta + 1 = 0):
    • Discriminant: −23-23
    • Nombre de classes: 1
    • Groupe des unités: engendré par ±1\pm 1 et θ\theta

Résultats expérimentaux

Résultats principaux

Corollaire 1.4:

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

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

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

Pour dd pair, d≥3d \geq 3:

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.