Dynamical Canonical Heights and Finite Trees

Sintesi Tecnica: Altezze Canoniche Dinamiche e Alberi Finiti

Enunciato del Problema
Questo articolo affronta la Congettura di Lehmer Dinamica, che predice un limite inferiore asintoticamente ottimale per l'altezza canonica $\hat{h}_f(\alpha)$ di un punto algebrico errante $\alpha$ rispetto al suo grado $[F(\alpha):F]$. Nello specifico, gli autori cercano di stabilire un limite inferiore della forma $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ per classi specifiche di polinomi. Questo problema è l'analogo dinamico del classico problema di Lehmer riguardante la misura di Mahler di polinomi integrali. Gli autori si concentrano su polinomi univariati $f$ che sono monic, di grado potenza di un numero primo $d=p^e$, postcriticamente finiti (tutti i punti critici sono preperiodici) e iperbolici (i punti critici giacciono nell'insieme di Fatou).

Metodologia
L'approccio degli autori si ispira alla dimostrazione di Dimitrov della Congettura di Schinzel–Zassenhaus, che ha utilizzato un albero topologico finito (un "hedgehog") nel piano complesso per limitare il diametro transfinito di un insieme contenente i coniugati di un numero algebrico intero. Gli autori adattano questa strategia all'ambito dinamico, ma introducono innovazioni significative per superare le limitazioni del loro lavoro precedente [HS21].

1. Alberi Dinamici e Alberi di Hubbard: Invece di utilizzare hedgehog statici, gli autori costruiscono un "hedgehog dinamico" basato sull'albero di Hubbard $H_f$ del polinomio postcriticamente finito $f$. Considerano la sequenza di preimmagini $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$, che formano alberi topologici finiti nidificati.
2. Entropia del Nucleo e Involucri Convessi: Uno strumento combinatorio centrale è l'entropia del nucleo di Thurston $\rho(f)$. Gli autori dimostrano che per i polinomi iperbolici non linearmente coniugati ai polinomi di Chebyshev, l'entropia del nucleo è strettamente minore del grado ($\rho(f) < d$). Questa proprietà di "entropia del nucleo non massima" assicura che l'involucro convesso di un insieme rado di vertici nell'albero delle preimmagini $H_f^{(s)}$ rimanga rado (ovvero, la sua dimensione cresce più lentamente del dimensione totale dell'albero). Ciò consente la costruzione di un albero $T$ contenente i coniugati galoisiani di un punto con altezza piccola, con un numero controllato di archi.
3. Limiti del Diametro Transfinito: Gli autori sviluppano nuovi strumenti, tra cui differenze divise e stime comuni nella teoria della trascendenza, per limitare dall'alto il diametro trans finito di questi alberi. Essi evitano di fare affidamento sul Teorema di Dubinin (utilizzato in [HS21]), derivando un limite superiore direttamente tramite determinanti di Vandermonde e le proprietà combinatorie dell'albero di Hubbard.
4. Integralità e Congruenze: Per stabilire che l'albero costruito abbia un diametro trans finito strettamente minore di 1 (implicando che la funzione algebrica associata sia razionale), gli autori utilizzano il lavoro di Epstein sulle mappe postcriticamente limitate. Dimostrano che per i polinomi di grado potenza di un numero primo con baricentri integrali e orbite postcriticamente limitate, valgono specifiche relazioni di congruenza modulo potenze di $p$. Queste relazioni assicurano che la serie di potenze di una funzione algebrica costruita abbia coefficienti integrali.
5. Teorema di Pólya–Bertrandias: Combinando il limite superiore sul diametro trans finito con l'integralità dei coefficienti della serie di potenze, gli autori invocano il Teorema di Pólya–Bertrandias. Ciò costringe la funzione algebrica a essere una funzione razionale, il che impone forti vincoli sul punto $\alpha$ originale, portando ai desiderati limiti di altezza o alla preperiodicità.

Contributi Chiave e Risultati

• Limiti Inferiori per le Altezze Canoniche: L'articolo stabilisce che per un polinomio monic, postcriticamente finito, iperbolico $f \in \mathcal{O}_F[T]$ di grado potenza di un numero primo con baricentro algebrico intero, esiste una costante $c > 0$ tale che per ogni intero algebrico $f$-errante $\alpha$:
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  Questo risultato rimuove l'Ipotesi Quill richiesta nel precedente lavoro degli autori [HS21], applicandosi a una classe più ampia di polinomi.
• Limiti Locali dell'Altezza: Gli autori dimostrano un limite inferiore di tipo Schinzel–Zassenhaus per l'altezza canonica locale nei luoghi archimediani. Se $\alpha$ è un intero algebrico $f$-errante in un'estensione finita $L$, allora:
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• Limiti sulla Lunghezza di Preperiodo e Periodo: Per i punti $f$-preperiodici, gli autori derivano limiti superiori espliciti sulla lunghezza del preperiodo $\text{preper}(\alpha)$ e sulla lunghezza del periodo $\text{per}(\alpha)$ in termini del grado del campo. Specificamente, per i polinomi non linearmente coniugati ai polinomi di 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]$$
  dove $e$ ed $f$ si riferiscono ai gradi di ramificazione e di residuo dei primi sopra $p$.
• Analisi Combinatoria degli Alberi di Hubbard: L'articolo fornisce un'analisi dettagliata della crescita dell'albero di Hubbard sotto iterazione, collegando il raggio spettrale della mappa indotta sugli archi (entropia del nucleo) alla scarsità degli involucri convessi negli alberi di preimmagine. Questa intuizione combinatoria è cruciale per limitare il diametro trans finito senza dipendere da altri teoremi profondi come quello di Dubinin.
• Esempi e Limiti: Gli autori forniscono esempi di polinomi a cui si applicano i loro risultati, inclusi $(T^2-1)^2$. Discutono inoltre i limiti dell'analogia tra polinomi postcriticamente finiti e curve ellittiche con moltiplicazione complessa (CM), notando che, sebbene i punti preperiodici in entrambi i contesti condividano proprietà galoisiane, i polinomi postcriticamente finiti non possiedono necessariamente una buona riduzione ovunque, a differenza delle curve ellittiche CM.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro fornisce nuove prove a favore della Congettura di Lehmer Dinamica per i polinomi univariati. Sostituendo la costruzione statica dello hedgehog con un albero dinamico derivato dall'albero di Hubbard, e sviluppando strumenti elementari ma potenti per limitare i diametri trans fini, essi estendono l'ambito del metodo Schinzel–Zassenhaus a una classe più ampia di sistemi dinamici. La rimozione dell'Ipotesi Quill rappresenta un avanzamento tecnico significativo. Il lavoro si pone come un ponte tra dinamica aritmetica, dinamica complessa (tramite alberi di Hubbard ed entropia del nucleo) e teoria della trascendenza (tramite integralità e limiti del diametro trans finito). Gli autori osservano con modestia che i loro risultati si applicano a classi specifiche di polinomi (grado potenza di un numero primo, iperbolici, postcriticamente finiti) e che il lavoro futuro mirerà ad affrontare i casi subiperbolici e i polinomi più generali.