Dynamical Canonical Heights and Finite Trees

Resumen Técnico: Alturas Canónicas Dinámicas y Árboles Finitos

Planteamiento del Problema
Este artículo aborda la Conjetura de Lehmer Dinámica, la cual predice un límite inferior asintóticamente óptimo para la altura canónica $\hat{h}_f(\alpha)$ de un punto algebraico errante $\alpha$ en términos de su grado $[F(\alpha):F]$. Específicamente, los autores buscan establecer un límite inferior de la forma $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ para clases específicas de polinomios. Este problema es el análogo dinámico del clásico problema de Lehmer relativo a la medida de Mahler de polinomios integrales. Los autores se centran en polinomios univariados $f$ que son monicos, de grado de potencia de primo $d=p^e$, postcríticamente finitos (todos los puntos críticos son preperiódicos) e hiperbólicos (los puntos críticos residen en el conjunto de Fatou).

Metodología
El enfoque de los autores está inspirado en la demostración de Dimitrov de la Conjetura de Schinzel–Zassenhaus, la cual utilizó un árbol topológico finito (un "hedgehog" o erizo) en el plano complejo para acotar el diámetro transfinito de un conjunto que contiene los conjugados de un entero algebraico. Los autores adaptan esta estrategia al entorno dinámico, pero introducen innovaciones significativas para superar las limitaciones de su trabajo anterior [HS21].

1. Árboles Dinámicos y Árboles de Hubbard: En lugar de utilizar erizos estáticos, los autores construyen un "erizo dinámico" basado en el árbol de Hubbard $H_f$ del polinomio postcríticamente finito $f$. Consideran la secuencia de preimágenes $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$, que forman árboles topológicos finitos anidados.
2. Entropía del Núcleo y Envolventes Convexas: Una herramienta combinatoria central es la entropía del núcleo de Thurston $\rho(f)$. Los autores demuestran que, para polinomios hiperbólicos no conjugados linealmente con polinomios de Chebyshev, la entropía del núcleo es estrictamente menor que el grado ($\rho(f) < d$). Esta propiedad de "entropía de núcleo no máxima" asegura que la envolvente convexa de un conjunto disperso de vértices en el árbol de preimagen $H_f^{(s)}$ permanezca dispersa (es decir, su tamaño crece más lentamente que el tamaño total del árbol). Esto permite la construcción de un árbol $T$ que contenga los conjugados de Galois de un punto con altura pequeña, con un número controlado de aristas.
3. Acotaciones del Diámetro Transfinito: Los autores desarrollan nuevas herramientas, incluyendo diferencias divididas y estimaciones comunes en la teoría de la trascendencia, para acotar el diámetro transfinito de estos árboles desde arriba. Evitan depender del Teorema de Dubinin (utilizado en [HS21]) derivando una cota superior directamente mediante determinantes de Vandermonde y las propiedades combinatorias del árbol de Hubbard.
4. Integralidad y Congruencias: Para establecer que el árbol construido tiene un diámetro transfinito estrictamente menor que 1 (lo que implica que la función algebraica asociada es racional), los autores utilizan el trabajo de Epstein sobre mapas postcríticamente acotados. Demuestran que para polinomios de grado potencia de primo con baricentros integrales y órbitas postcríticamente acotadas, se cumplen ciertas relaciones de congruencia módulo potencias de $p$. Estas relaciones aseguran que la expansión en serie de potencias de una función algebraica construida tenga coeficientes integrales.
5. Teorema de Pólya–Bertrandias: Al combinar la cota superior del diámetro transfinito con la integralidad de los coeficientes de la serie de potencias, los autores invocan el Teorema de Pólya–Bertrandias. Esto fuerza a la función algebraica a ser una función racional, lo que impone fuertes restricciones sobre el punto $\alpha$ original, conduciendo a los límites de altura deseados o a la preperiodicidad.

Contribuciones Clave y Resultados

• Límites Inferiores para Alturas Canónicas: El artículo establece que para un polinomio hiperbólico, postcríticamente finito y monico $f \in \mathcal{O}_F[T]$ de grado potencia de primo con un baricentro entero algebraico, existe una constante $c > 0$ tal que para cualquier entero algebraico $f$-errante $\alpha$:
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  Este resultado elimina la "Hipótesis de Quill" requerida en el trabajo previo de los autores [HS21], aplicándose a una clase más amplia de polinomios.
• Límites de Altura Local: Los autores demuestran un límite inferior de tipo Schinzel–Zassenhaus para la altura canónica local en lugares arquimédicos. Si $\alpha$ es un entero algebraico $f$-errante en una extensión finita $L$, entonces:
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• Límites sobre la Longitud de Preperiodo y Periodo: Para puntos $f$-preperiódicos, los autores derivan límites superiores explícitos para la longitud del preperiodo $\text{preper}(\alpha)$ y la longitud del periodo $\text{per}(\alpha)$ en términos del grado del campo. Específicamente, para polinomios no conjugados linealmente con polinomios 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]$$
  donde $e$ y $f$ se relacionan con los grados de ramificación y de residuo de los primos sobre $p$.
• Análisis Combinatorio de los Árboles de Hubbard: El artículo proporciona un análisis detallado del crecimiento del árbol de Hubbard bajo iteración, vinculando el radio espectral del mapa inducido en las aristas (entropía del núcleo) con la dispersión de las envolventes convexas en los árboles de preimagen. Esta visión combinatoria es crucial para acotar el diámetro transfinito sin depender de teoremas profundos externos como el de Dubinin.
• Ejemplos y Límites: Los autores proporcionan ejemplos de polinomios a los que se aplican sus resultados, incluyendo $(T^2-1)^2$. También discuten los límites de la analogía entre polinomios postcríticamente finitos y curvas elípticas con multiplicación compleja (CM), observando que, si bien los puntos preperiódicos en ambos entornos comparten propiedades de Galois, los polinomios postcríticamente finitos no poseen necesariamente buena reducción en todas partes, a diferencia de las curvas elípticas con CM.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona nueva evidencia hacia la Conjetura de Lehmer Dinámica para polinomios univariados. Al reemplazar la construcción estática del erizo por un árbol dinámico derivado del árbol de Hubbard, y al desarrollar herramientas elementales pero poderosas para acotar diámetros transfinitos, extienden el alcance del método de Schinzel–Zassenhaus a una clase más amplia de sistemas dinámicos. La eliminación de la Hipótesis de Quill es un avance técnico significativo. El artículo posiciona este trabajo como un puente entre la dinámica aritmética, la dinámica compleja (vía árboles de Hubbard y entropía del núcleo) y la teoría de la trascendencia (vía integralidad y cotas de diámetro transfinito). Los autores señalan modestamente que sus resultados se aplican a clases específicas de polinomios (grado potencia de primo, hiperbólicos, postcríticamente finitos) y que trabajos futuros buscarán abordar casos subhiperbólicos y polinomios más generales.