Dynamical Canonical Heights and Finite Trees

Résumé technique : Hauteurs canoniques dynamiques et arbres finis

Énoncé du problème
Cet article traite de la conjecture de Lehmer dynamique, qui prédit une borne inférieure asymptotiquement optimale pour la hauteur canonique $\hat{h}_f(\alpha)$ d'un point algébrique errant $\alpha$ en fonction de son degré $[F(\alpha):F]$. Plus précisément, les auteurs cherchent à établir une borne inférieure de la forme $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ pour des classes spécifiques de polynômes. Ce problème est l'analogue dynamique du problème classique de Lehmer concernant la mesure de Mahler des polynômes entiers. Les auteurs se concentrent sur des polynômes univariés $f$ qui sont monogènes, de degré puissance de nombre premier $d=p^e$, postcritiquement finis (tous les points critiques sont prépériodiques) et hyperboliques (les points critiques appartiennent à l'ensemble de Fatou).

Méthodologie
L'approche des auteurs est inspirée par la preuve de Dimitrov de la conjecture de Schinzel–Zassenhaus, qui utilisait un arbre topologique fini (un « hedgehog » ou hérisson) dans le plan complexe pour borner le diamètre transfini d'un ensemble contenant les conjugués d'un entier algébrique. Les auteurs adaptent cette stratégie au cadre dynamique mais introduisent des innovations significatives pour surmonter les limitations de leur travail précédent [HS21].

1. Arbres dynamiques et arbres de Hubbard : Au lieu d'utiliser des hérissons statiques, les auteurs construisent un « hérisson dynamique » basé sur l'arbre de Hubbard $H_f$ du polynôme postcritiquement fini $f$. Ils considèrent la suite des préimages $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$, qui forment des arbres topologiques finis emboîtés.
2. Entropie du cœur et enveloppes convexes : Un outil combinatoire central est l'entropie du cœur de Thurston $\rho(f)$. Les auteurs prouvent que pour les polynômes hyperboliques non linéairement conjugués aux polynômes de Chebyshev, l'entropie du cœur est strictement inférieure au degré ($\rho(f) < d$). Cette propriété de « non-maximalité de l'entropie du cœur » garantit que l'enveloppe convexe d'un ensemble creux de sommets dans l'arbre des préimages $H_f^{(s)}$ reste creuse (c'est-à-dire que sa taille croît plus lentement que la taille totale de l'arbre). Cela permet la construction d'un arbre $T$ contenant les conjugués de Galois d'un point de petite hauteur, avec un nombre contrôlé d'arêtes.
3. Bornes du diamètre transfini : Les auteurs développent de nouveaux outils, incluant les différences divisées et des estimations communes en théorie de la transcendance, pour borner le diamètre transfini de ces arbres par le haut. Ils évitent de s'appuyer sur le théorème de Dubinin (utilisé dans [HS21]) en dérivant une borne supérieure directement à l'aide de déterminants de Vandermonde et des propriétés combinatoires de l'arbre de Hubbard.
4. Intégrité et congruences : Pour établir que l'arbre construit possède un diamètre transfini strictement inférieur à 1 (impliquant que la fonction algébrique associée est rationnelle), les auteurs utilisent les travaux d'Epstein sur les applications postcritiquement bornées. Ils prouvent que pour les polynômes de degré puissance de nombre premier avec des barycentres intégres et des orbites postcritiquement bornées, des relations de congruence spécifiques tiennent modulo des puissances de $p$. Ces relations garantissent que la série entière d'une fonction algébrique construite possède des coefficients entiers.
5. Théorème de Polya–Bertrandias : En combinant la borne supérieure du diamètre transfini avec l'intégralité des coefficients de la série entière, les auteurs invoquent le théorème de Pólya–Bertrandias. Cela force la fonction algébrique à être une fonction rationnelle, ce qui impose des contraintes fortes sur le point $\alpha$ d'origine, menant ainsi aux bornes de hauteur souhaitées ou à la prépériodicité.

Contributions clés et résultats

• Bornes inférieures pour les hauteurs canoniques : L'article établit que pour un polynôme monogène, postcritiquement fini, hyperbolique $f \in \mathcal{O}_F[T]$ de degré puissance de nombre premier avec un barycentre algébrique entier, il existe une constante $c > 0$ telle que pour tout entier algébrique $f$-errant $\alpha$ :
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  Ce résultat élimine l'« Hypothèse de Quill » requise dans le travail précédent des auteurs [HS21], s'appliquant à une classe plus large de polynômes.
• Bornes de hauteur locale : Les auteurs prouvent une borne inférieure de type Schinzel–Zassenhaus pour la hauteur canonique locale aux places archimédiennes. Si $\alpha$ est un entier algébrique $f$-errant dans une extension finie $L$, alors :
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• Bornes sur les longueurs de prépériode et de période : Pour les points $f$-prépériodiques, les auteurs dérivent des bornes supérieures explicites sur la longueur de la prépériode $\text{preper}(\alpha)$ et la longueur de la période $\text{per}(\alpha)$ en fonction du degré du corps. Spécifiquement, pour les polynômes non linéairement conjugués aux polynômes de Chebyshev :
  $$\text{preper}(\alpha) \leq \left(1 + \left\lceil \frac{\log e}{\log d} \right\rceil \right) \left(1 + \frac{\log [F(\alpha):F]}{\log d}\right)$$
  $$\text{per}(\alpha) \leq p^f [F(\alpha):F]$$
  où $e$ et $f$ se rapportent aux degrés de ramification et de résidu des nombres premiers au-dessus de $p$.
• Analyse combinatoire des arbres de Hubbard : L'article fournit une analyse détaillée de la croissance de l'arbre de Hubbard sous itération, liant le rayon spectral de l'application induite sur les arêtes (entropie du cœur) à la rareté des enveloppes convexes dans les arbres de préimages. Cette intuition combinatoire est cruciale pour borner le diamètre transfini sans dépendre de théorèmes profonds externes comme celui de Dubinin.
• Exemples et limites : Les auteurs fournissent des exemples de polynômes auxquels leurs résultats s'appliquent, notamment $(T^2-1)^2$. Ils discutent également des limites de l'analogie entre les polynômes postcritiquement finis et les courbes elliptiques à multiplication complexe (CM), notant que si les points prépériodiques dans les deux contextes partagent des propriétés de théorie de Galois, les polynômes postcritiquement finis ne possèdent pas nécessairement une bonne réduction partout, contrairement aux courbes elliptiques CM.

Signification et revendications
Les auteurs affirment que ce travail apporte de nouvelles preuves vers la conjecture de Lehmer dynamique pour les polynômes univariés. En remplaçant la construction statique du hedgehog par un arbre dynamique dérivé de l'arbre de Hubbard, et en développant des outils à la fois élémentaires et puissants pour borner les diamètres transfinis, ils étendent la portée de la méthode de Schinzel–Zassenhaus à une classe plus large de systèmes dynamiques. Le retrait de l'Hypothèse de Quill constitue un avancement technique significatif. L'article se positionne comme un pont entre la dynamique arithmétique, la dynamique complexe (via les arbres de Hubbard et l'entropie du cœur) et la théorie de la transcendance (via l'intégralité et le diamètre transfini). Les auteurs notent avec modestie que leurs résultats s'appliquent à des classes spécifiques de polynômes (degré puissance de nombre premier, hyperboliques, postcritiquement finis) et que des travaux futurs viseront à traiter les cas subhyperboliques et les polynômes plus généraux.