Points entiers cyclotomiques pour la dynamique affine

Informations de base

• ID de l'article: 2511.13443
• Titre: Cyclotomic integral points for affine dynamics
• Auteurs: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
• Classification: math.DS (Systèmes dynamiques), math.AG (Géométrie algébrique), math.NT (Théorie des nombres)
• Date de soumission: 17 novembre 2025
• Lien de l'article: https://arxiv.org/abs/2511.13443

Résumé

Cet article étudie les endomorphismes réguliers $f:\mathbb{A}^N\to\mathbb{A}^N$ (de degré algébrique $d\geq2$) de l'espace affine $\mathbb{A}^N$ définis sur un corps de nombres. Le résultat principal établit que si l'ensemble des points cyclotomiques $f$-préperiodiques est Zariski-dense dans $\mathbb{A}^N$, alors une itérée $f^{\circ l}$ est un quotient d'un endomorphisme de groupe algébrique $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$. Il s'agit d'une généralisation en dimension supérieure du théorème de Dvornicich-Zannier sur les points cyclotomiques préperiodiques des polynômes univariés. Plus généralement, pour les endomorphismes dominants de variétés affines définies sur un corps de nombres, l'article établit des résultats de rigidité concernant les sous-ensembles Zariski-denses de points entiers cyclotomiques « presque invariants ». Comme applications, les résultats sont appliqués aux orbites rétrogrades des endomorphismes réguliers et aux points périodiques des automorphismes de type Hénon.

Contexte et motivation de la recherche

1. Problèmes de recherche

Cet article étudie la distribution des points spéciaux (points cyclotomiques) dans les systèmes dynamiques algébriques, en particulier:

• Lorsque les points préperiodiques contiennent des points cyclotomiques Zariski-denses, le système dynamique possède-t-il une structure algébrique particulière?
• Ce phénomène peut-il caractériser la propriété de « type monomial » (monomial type) du système?

2. Importance du problème

Ce problème relie plusieurs domaines mathématiques:

• Dynamique arithmétique: comprendre la distribution des points spéciaux (comme les points cyclotomiques, les points de torsion) dans les systèmes dynamiques
• Problème d'intersection improbable (Unlikely Intersection): poursuivre la philosophie de Zannier et autres — les points spéciaux ne devraient pas être denses dans les variétés non spéciales
• Géométrie diophantienne: propriétés arithmétiques des points entiers cyclotomiques

3. Limitations des travaux existants

Le théorème de Dvornicich-Zannier (2007) ne traite que le cas unidimensionnel:

• Pour un polynôme $f\in K[z]$ de degré $d\geq2$, s'il existe une infinité de points cyclotomiques préperiodiques, alors $f$ est affinement conjugué à $z^d$ ou $\pm T_d(z)$ (polynôme de Chebyshev)

Limitations:

• Limité aux applications polynomiales de $\mathbb{A}^1$
• N'a pas traité le cas de l'espace affine de dimension supérieure
• Ne peut pas s'appliquer aux systèmes dynamiques plus généraux (comme les applications de Hénon)

4. Motivation de la recherche

La motivation centrale de cet article est:

• Généralisation en dimension supérieure: étendre le résultat de Dvornicich-Zannier à $\mathbb{A}^N$
• Cadre unifié: établir une théorie de rigidité applicable aux endomorphismes dominants généraux
• Extension des applications: résoudre des problèmes concrets tels que les orbites rétrogrades et les automorphismes de type Hénon

Contributions principales

1. Théorème de rigidité principal (Théorème 1.2): Pour un endomorphisme dominant $f$ sur une variété affine $X$, on établit que la Zariski-densité d'un ensemble de points entiers cyclotomiques satisfaisant trois conditions (DCI, BH, AI) implique que $(X,f)$ est de type monomial.
2. Théorème d'équivalence (Théorème 1.3): Pour les systèmes cohomologiquement hyperboliques, le type monomial est équivalent au type monomial fort.
3. Application aux endomorphismes réguliers (Théorème 1.4): On établit que pour un endomorphisme régulier de $\mathbb{A}^N$ de degré algébrique $d\geq2$, si les points cyclotomiques préperiodiques sont Zariski-denses, alors le système est de type monomial fort — c'est une généralisation directe en dimension supérieure du théorème de Dvornicich-Zannier.
4. Caractérisation des orbites rétrogrades (Théorème 1.5): On donne des conditions nécessaires et suffisantes pour que les points cyclotomiques dans les orbites rétrogrades satisfassent les conditions (DCI, BH, AI).
5. Automorphismes de type Hénon (Théorème 1.7): On établit que les points cyclotomiques périodiques d'un automorphisme de type Hénon ne peuvent pas être Zariski-denses, fournissant une nouvelle preuve de la philosophie de l'« intersection improbable ».

Explication détaillée des méthodes

Définition de la tâche

Entrée:

• Une variété affine $X\subseteq \mathbb{A}^N_K$ ($K$ étant un corps de nombres)
• Un endomorphisme dominant $f:X\to X$
• Un ensemble de points $P\subseteq X(K)$

Tâche: Déterminer si $(X,f)$ est de type monomial, c'est-à-dire s'il existe:

• Des entiers $l\geq1, n\geq\dim(X)$
• Un endomorphisme de groupe $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
• Un morphisme dominant $\phi:\mathbb{G}_m^n\to X$

tels que $f^{\circ l}\circ\phi = \phi\circ g$

Conditions: $P$ satisfait

• (DCI) Points entiers cyclotomiques denses: $P$ est Zariski-dense et les coordonnées sont dans $\frac{1}{M}\mathcal{O}_{K^c}$
• (BH) Hauteur bornée: $\mathcal{C}(y)\leq c$ pour tous $y\in P$
• (AI) Presque invariant: $P\setminus f^{-1}(P)$ n'est pas Zariski-dense

Architecture de la preuve

La preuve se divise en quatre étapes clés:

Étape 1: Application du théorème de Loxton

Outil central: Théorème de Loxton généralisé par Dvornicich-Zannier (Théorème 2.1)

Conclusion: Il existe un ensemble fini $E\subset K$ et un entier $b$ tels que $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

Construction: Pour chaque $a=(a_{ij})\in E^{bN}$, on définit

• Le morphisme $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$, $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
• L'ensemble de points de torsion $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
• Le fermé $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

Propriété clé: En supprimant un ensemble exceptionnel, on peut supposer que $\phi_a(\Lambda_a)^{Zar}=X$ pour tous $a\in M$.

Étape 2: Construction d'une correspondance

On définit la correspondance $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ où $\Gamma_{a_1,a_2} = \overline{\{(\xi_1,\xi_2)\in\Lambda_{a_1}\times\Lambda_{a_2}: f(\phi_{a_1}(\xi_1))=\phi_{a_2}(\xi_2)\}}^{Zar}$

Propriétés clés:

• $\pi_1(\Gamma) = Z$ (surjectivité)
• $(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ (relation avec le graphe de $f$)
• Par le théorème de torsion (Théorème 2.3), chaque $\Gamma_{a_1,a_2}$ est une union finie de cosets de torsion

Étape 3: Irréductibilité et surjectivité

Par une série de réductions:

1. On décompose $Z$ en composantes irréductibles $Z=\bigsqcup_{\alpha\in I}Y_\alpha$, chaque $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
2. On choisit un point périodique $\alpha_0\in J$ (où $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$)
3. En remplaçant par la composition itérée $f^{\circ n}$ et la correspondance $\psi$ associée, on obtient:
   • $Y$ irréductible
   • $\psi\subseteq Y\times Y$ irréductible
   • $\psi(Y)=Y$ (surjectivité)

Étape 4: Induction d'un endomorphisme de groupe

Technique de stabilisateur:

• Pour chaque $y\in Y$, on définit le stabilisateur $T_y=\text{Stab}_Y(F_y)$ de la fibre $F_y=\phi^{-1}(\phi(y))$
• On pose $T=\bigcap_{y\in Y}T_y$
• En quotientant par $T$, on peut supposer $T=1$

Observation clé:

• Pour tout $y\in Y$ et $z\in\psi(y)$, on a $\psi(y)=z\cdot V$, où $V$ est un sous-groupe algébrique
• Par un argument d'invariance, on prouve que $V=1$
• Par conséquent, $\psi$ est le graphe d'un morphisme $g:Y\to Y$

Ajustement de la structure de groupe:

• Puisque $\psi$ est un coset de torsion, $g(y)=\tau_0\cdot g_0(y)$ ($g_0$ est un endomorphisme de groupe, $\tau_0$ est un point de torsion)
• En itérant pour que $g(1)=1$, on obtient que $g$ est un endomorphisme de groupe

Points d'innovation technique

1. Méthode des correspondances: L'utilisation de $\Gamma$ pour encoder l'information dynamique est l'innovation technique clé pour traiter les problèmes en dimension supérieure
2. Application systématique du théorème de torsion: Le théorème de torsion de Laurent (Manin-Mumford multiplicatif) est utilisé comme outil central
3. Théorie de l'hyperbolicité cohomologique: Le Théorème 1.3 utilise la concavité logarithmique du degré dynamique et les multiplicateurs de Lyapunov cohomologiques
4. Cadre unifié: Les trois conditions (DCI, BH, AI) fournissent un cadre unifié pour traiter différents problèmes

Configuration expérimentale

Remarque: Cet article est un article de mathématiques pures théoriques et ne contient pas d'expériences numériques. Tous les résultats sont des théorèmes mathématiques rigoureux.

Vérification des applications

L'article valide l'applicabilité de la théorie en établissant les théorèmes suivants:

Application 1: Endomorphismes réguliers (Théorème 1.4)

• Configuration: $f:\mathbb{A}^N\to\mathbb{A}^N$ endomorphisme régulier de degré algébrique $d\geq2$
• Vérification: On vérifie que $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ satisfait (DCI), (BH), (AI)
• Clé: Utilisation des propriétés de la fonction de Green $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$

Application 2: Orbites rétrogrades (Théorème 1.5)

• Configuration: $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
• Condition nécessaire et suffisante: $P$ satisfait (DCI), (BH), (AI) $\Leftrightarrow$ $P$ est Zariski-dense

Application 3: Automorphismes de type Hénon (Théorème 1.7)

• Configuration: $f:\mathbb{A}^N\to\mathbb{A}^N$ de type Hénon ($\deg_1(f)\geq2$, $I(f)\cap I(f^{-1})=\emptyset$)
• Conclusion: $\text{Per}(f,\mathbb{A}^N(K^c))$ n'est pas Zariski-dense (par l'absurde)
• Outil clé: Théorie de la fonction de Green de Kawaguchi

Résultats expérimentaux

Résultats de preuve des théorèmes principaux

Vérification du Théorème 1.2

Vérification des conditions d'entrée:

• Pour les endomorphismes réguliers, on vérifie (BH) par un argument de compacité de la fonction de Green
• On utilise la condition $f^{-1}_h(0)=\{0\}$ pour construire l'entier $M$ et vérifier (DCI)
• (AI) est automatiquement satisfait par $P\subseteq f^{-1}(P)$

Résultat de sortie: Construction réussie de $f^{\circ l}\circ\phi = \phi\circ g$ où $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ est un endomorphisme de groupe surjectif

Stratégie de preuve du Théorème 1.3

Pour les systèmes cohomologiquement hyperboliques:

• Utilisation de l'estimation du taux de croissance du Lemme 2.7
• Décomposition par le Lemme 2.6 en partie à valeurs propres racines de l'unité et partie positive
• Utilisation de la formule de projection pour dériver une contradiction, prouvant que nécessairement $n=\dim(X)$

Analyse de cas clés

Cas 1: Récupération du théorème de Dvornicich-Zannier en dimension 1

Pour $f\in K[z]$ de degré $d\geq2$:

• Par le Théorème 1.4, si les points cyclotomiques préperiodiques sont infinis, alors $f$ est de type monomial fort
• Il existe $n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ tels que $z^n\circ h=f^{\circ l}\circ h$
• Par $n=\pm d^l$ et les résultats classiques, $f$ est conjugué à $z^d$ ou $\pm T_d(z)$

Cas 2: Points périodiques de l'application de Hénon

Pour $f(x,y)=(p(x)-ay,x)$ ($a\neq0, \deg p\geq2$):

• Calcul du degré dynamique: $\lambda_1(f)=d, \lambda_2(f)=1$ (où $d=\deg p$)
• Si les points cyclotomiques périodiques sont denses, par la preuve par l'absurde du Théorème 1.7:
  • Il doit exister $A\in\text{GL}_2(\mathbb{Z})$ tel que $\lambda_i(\phi_A)=\lambda_i(f)$
  • Mais $|\det(A)|=1$ contredit $\lambda_2(f)=d^2\geq4$
• Conclusion: Les points cyclotomiques périodiques ne sont pas denses

Découvertes théoriques

1. Phénomène de rigidité: La Zariski-densité des points cyclotomiques force le système à posséder une structure de groupe algébrique
2. Obstacle de dimension: Pour les systèmes cohomologiquement hyperboliques, il n'existe pas de « dimension redondante » ($n=\dim X$)
3. Vérification de l'intersection improbable: Le résultat pour les automorphismes de type Hénon est conforme à la philosophie de Zannier

Travaux connexes

Développement historique

1. Théorème de Loxton (1972)

• Contenu: Les entiers cyclotomiques peuvent s'exprimer comme sommes bornées de racines de l'unité
• Généralisation: Dvornicich-Zannier (2007) généralise à un corps de nombres arbitraire

2. Théorème de Dvornicich-Zannier (2007)

• Contenu: Rigidité des points cyclotomiques préperiodiques des polynômes univariés
• Méthode: Théorème de Loxton + classification des systèmes dynamiques
• Limitation: Traite uniquement $\mathbb{P}^1$

3. Travaux ultérieurs

• Ostafe (2017): Orbites rétrogrades des fonctions rationnelles avec points critiques périodiques
• Chen (2018): Orbites rétrogrades dans la fermeture du corps cyclotomique
• Ferraguti-Ostafe-Zannier (2024): Orbites rétrogrades des points abéliens

Théories connexes

Théorème de torsion (Laurent 1984)

• Conjecture de Manin-Mumford: La fermeture Zariski des points de torsion dans une variété abélienne est une union de cosets de sous-variétés abéliennes
• Version multiplicative: La fermeture Zariski des points de torsion dans $\mathbb{G}_m^n$ est une union finie de cosets de torsion
• Application dans cet article: Le Théorème 2.3 est l'outil central de la preuve

Théorie du degré dynamique

• Définition: $\lambda_i(f)=\lim_{n\to\infty}\deg_{i,L}(f^{\circ n})^{1/n}$
• Propriété: Concavité logarithmique (Truong 2020)
• Hyperbolicité cohomologique: $\mu_i(f)=\lambda_i(f)/\lambda_{i-1}(f)\neq1$ pour tous $i$

Contributions uniques de cet article

Par rapport aux travaux existants:

1. Dimension: Première fois que l'on traite des variétés affines de dimension arbitraire
2. Généralité: Applicable à tous les endomorphismes dominants (pas seulement les polynômes)
3. Unité: (DCI)+(BH)+(AI) fournit un cadre unifié
4. Largeur des applications: Couvre les endomorphismes réguliers, les orbites rétrogrades, les applications de Hénon

Conclusion et discussion

Conclusions principales

1. Théorème de rigidité en dimension supérieure: La Zariski-densité des points entiers cyclotomiques avec « presque invariance » implique une structure de type monomial
2. Généralisation en dimension supérieure du théorème de Dvornicich-Zannier: Pour un endomorphisme régulier de $\mathbb{A}^N$, si les points cyclotomiques préperiodiques sont denses, alors le système est de type monomial fort
3. Résultat négatif pour les automorphismes de type Hénon: Les points cyclotomiques périodiques ne peuvent pas être Zariski-denses, vérifiant la philosophie de l'« intersection improbable »
4. Caractérisation d'équivalence: Pour les systèmes cohomologiquement hyperboliques, type monomial $\Leftrightarrow$ type monomial fort

Limitations

1. Restriction au corps de nombres: Les théorèmes exigent une définition sur un corps de nombres, ne peuvent pas s'appliquer directement aux corps de fonctions
2. Restriction aux points cyclotomiques: Traite uniquement les points cyclotomiques (racines de l'unité), n'inclut pas les points algébriques plus généraux
3. Invariance presque: La condition (AI) peut être difficile à vérifier dans certains cas
4. Absence de constructivité: Les théorèmes sont d'existence, sans algorithme pour construire explicitement $\phi$ et $g$
5. Hyperbolicité cohomologique: Le Théorème 1.3 nécessite une hypothèse supplémentaire, la relation entre type monomial et type monomial fort dans le cas général reste ouverte

Directions futures

Directions de recherche suggérées par l'article:

1. Généralisation aux corps de fonctions: Peut-on généraliser les résultats aux corps de fonctions en caractéristique positive?
2. Points abéliens: Pour $K=\mathbb{Q}$, problème de distribution des points d'extensions abéliennes (travaux partiels existants)
3. Problèmes algorithmiques: Étant donné $f$, peut-on algorithmiquement déterminer si c'est de type monomial?
4. Résultats quantitatifs: Peut-on donner une borne sur le nombre de points cyclotomiques préperiodiques?
5. Autres systèmes dynamiques: Peut-on généraliser aux applications rationnelles, applications birationnelles, etc.?

Évaluation approfondie

Avantages

1. Profondeur mathématique

• Percée théorique: Première établissement en dimension supérieure d'un théorème de rigidité pour les points cyclotomiques
• Innovation technique: La méthode des correspondances encode élégamment l'information dynamique
• Synthèse d'outils: Combinaison ingénieuse du théorème de Loxton, du théorème de torsion, et de la théorie du degré dynamique

2. Structure de la preuve

• Clarté: Les quatre étapes de la preuve sont logiquement claires, chaque étape a un objectif bien défini
• Complétude: Formation d'une chaîne complète allant des théorèmes généraux aux applications concrètes
• Technique: La technique du stabilisateur, l'ajustement de la structure de groupe reflètent une maîtrise technique supérieure

3. Valeur applicative

• Largeur: Traitement unifié des endomorphismes réguliers, des orbites rétrogrades, des applications de Hénon
• Extensibilité: Le cadre peut potentiellement s'appliquer à d'autres problèmes de systèmes dynamiques
• Signification théorique: Fournit une nouvelle preuve de l'« intersection improbable »

4. Qualité de rédaction

• Organisation: Introduction détaillée, motivation claire, preuve développée étape par étape
• Lisibilité: Malgré la forte technicité, la logique est facile à suivre
• Synthèse bibliographique: Revue complète des travaux connexes, positionnement clair de la contribution

Insuffisances

1. Limitations techniques

• Hyperbolicité cohomologique: L'hypothèse supplémentaire du Théorème 1.3 limite la généralité
• Hypothèse du corps de nombres: Le cas des corps de fonctions n'est complètement pas abordé
• Absence de constructivité: Pas d'algorithme efficace

2. Portée des applications

• Type de points spéciaux: Limité aux points cyclotomiques, n'inclut pas d'autres points spéciaux comme les points CM
• Type de systèmes dynamiques: Principalement orienté vers les endomorphismes polynomiaux, le cas des fonctions rationnelles n'est pas clair

3. Problèmes de quantification

• Dépendance des constantes: Les dépendances spécifiques des constantes $M,c$ ne sont pas données
• Complexité: La complexité de l'algorithme de détermination n'est pas discutée

4. Absence d'exemples

• Exemples concrets: À part les polynômes de Chebyshev, manque d'autres exemples non triviaux
• Cas limites: Pas de discussion sur les cas où les conditions ne sont pas satisfaites

Évaluation de l'impact

Contribution au domaine

• Systèmes dynamiques arithmétiques: Ouvre une nouvelle direction de recherche sur les points cyclotomiques en dimension supérieure
• Géométrie diophantienne: Fournit une nouvelle technique pour traiter les points entiers cyclotomiques
• Géométrie algébrique: La méthode des correspondances peut avoir des applications plus larges

Valeur pratique

• Orientation théorique: Fournit un cadre théorique pour étudier la distribution des points spéciaux
• Résolution de problèmes: Répond à des questions de longue date sur les points périodiques des applications de Hénon

Reproductibilité

• Complétude de la preuve: Tous les théorèmes ont des preuves complètes
• Outils standards: Utilisation d'outils mathématiques standards
• Clarté logique: Les preuves peuvent être vérifiées étape par étape

Scénarios d'application

Recherche théorique

• Étude de la structure des systèmes dynamiques algébriques de dimension supérieure
• Exploration de la distribution des points spéciaux (points de torsion, points CM, etc.)
• Développement de la théorie de l'« intersection improbable »

Problèmes concrets

• Détermination si une application donnée est de type monomial
• Étude des propriétés arithmétiques des points préperiodiques
• Analyse de la structure des orbites rétrogrades

Emprunt de méthodes

• La technique des correspondances peut s'appliquer à d'autres problèmes géométriques
• La méthode du stabilisateur peut être utilisée pour d'autres constructions de quotients
• La technique de la fonction de Green peut s'appliquer à d'autres problèmes de hauteur

Références (sélection)

Citations essentielles

1. Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
   • Résultat original en dimension 1
2. Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
   • Preuve du théorème de torsion
3. Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
   • Théorie de la fonction de Green pour les automorphismes de type Hénon
4. Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
   • Concavité logarithmique du degré dynamique
5. Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
   • Exposition systématique de la philosophie de l'« intersection improbable »

Travaux connexes

6. Ostafe (2017): On roots of unity in orbits of rational functions, Proc. AMS
7. Ferraguti-Ostafe-Zannier (2024): Cyclotomic and abelian points in backward orbits, Adv. Math.
8. Pink-Roessler (2004): On ψ-invariant subvarieties, J. Algebraic Geom.

Évaluation globale: Ceci est un article mathématique de haute qualité qui apporte une contribution importante au domaine des systèmes dynamiques arithmétiques. Par des techniques ingénieuses et des intuitions profondes, il généralise avec succès le résultat classique unidimensionnel à la dimension supérieure et établit un cadre théorique unifié. Bien qu'il y ait certaines limitations techniques, ses méthodes et résultats ont une importance significative pour les recherches futures dans ce domaine. La rigueur, la complétude et l'originalité de l'article atteignent les normes des meilleures revues mathématiques.