Dynamical Canonical Heights and Finite Trees

Technische Samenvatting: Dynamische Canonieke Hoogtes en Eindige Bomen

Probleemstelling
Dit artikel behandelt de Dynamische Lehmer-conjectuur, die een asymptotisch optimale ondergrens voorspelt voor de canonieke hoogte $\hat{h}_f(\alpha)$ van een wandelend algebraïsch punt $\alpha$ in termen van zijn graad $[F(\alpha):F]$. Specifiek zoeken de auteurs naar een ondergrens van de vorm $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ voor specifieke klassen van polynomen. Dit probleem is het dynamische analoog van de klassieke Lehmer-problematiek met betrekking tot de Mahler-maat van integrale polynomen. De auteurs richten zich op unitaire polynomen $f$ die monisch zijn, een priem macht graad $d=p^e$ hebben, postkritisch eindig zijn (alle kritieke punten zijn preperiodiek) en hyperbolisch zijn (kritieke punten liggen in de Fatou-verzameling).

Methodologie
De aanpak van de auteurs is geïnspireerd door Dimitrovs bewijs van de Schinzel–Zassenhaus-conjectuur, die gebruikmaakte van een eindige topologische boom (een "hedgehog") in het complexe vlak om de transfiniete diameter van een verzameling te begrenzen die de conjuncten van een algebraïsche geheel bevat. De auteurs passen deze strategie aan voor de dynamische setting, maar introduceren significante innovaties om beperkingen in hun vorige werk [HS21] te overwinnen.

1. Dynamische Bomen en Hubbard-bomen: In plaats van statische hedgehogs, construeren de auteurs een "dynamische hedgehog" gebaseerd op de Hubbard-boom $H_f$ van de postkritisch eindige polynoom $f$. Zij beschouwen de sequentie van preimages $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$, die geneste eindige topologische bomen vormen.
2. Kernentropie en Convexe Huls: Een centraal combinatorisch instrument is de Thurston-kernentropie $\rho(f)$. De auteurs bewijzen dat voor hyperbolische polynomen die niet lineair geconjugeerd zijn aan Chebyshev-polynomen, de kernentropie strikt kleiner is dan de graad ($\rho(f) < d$). Deze eigenschap van "niet-maximale kernentropie" zorgt ervoor dat de convexe huls van een ijle verzameling knopen in de preimage-boom $H_f^{(s)}$ ook ijl blijft (dat wil zeggen: de grootte groeit langzamer dan de totale grootte van de boom). Dit maakt de constructie mogelijk van een boom $T$ die de Galois-conjuncten van een punt met een kleine hoogte bevat, met een gecontroleerd aantal randen.
3. Transfiniete Diameter-grenzen: De auteurs ontwikkelen nieuwe instrumenten, waaronder verdeelde verschillen en schattingen die gebruikelijk zijn in de transcendentietheorie, om de transfiniete diameter van deze bomen van bovenaf te begrenzen. Zij vermijden het vertrouwen op Dubinin's Stelling (gebruikt in [HS21]) door een bovengrens direct af te leiden met behulp van Vandermonde-determinanten en de combinatorische eigenschappen van de Hubbard-boom.
4. Integraliteit en Congruenties: Om vast te stellen dat de geconstrueerde boom een transfiniete diameter strikt kleiner dan 1 heeft (wat een associatieve algebraïsche functie rationaal impliceert), maken de auteurs gebruik van het werk van Epstein over postkritisch begrensde afbeeldingen. Zij bewijzen dat voor polynomen van een priem macht graad met integrale barycentra en postkritisch begrensde banen, specifieke congruentierelaties gelden modulo machten van $p$. Deze relaties garanderen dat de machtsreeksontwikkeling van een geconstrueerde algebraïsche functie integrale coëfficiënten heeft.
5. Pólya–Bertrandias Stelling: Door de bovengrens op de transfiniete diameter te combineren met de integraliteit van de machtsreeks-coëfficiënten, roepen de auteurs de Pólya–Bertrandias Stelling aan. Dit dwingt de algebraïsche functie om een rationale functie te zijn, wat sterke beperkingen oplegt aan het oorspronkelijke punt $\alpha$, wat leidt tot de gewenste hoogte-grenzen of preperiodiciteit.

Belangrijkste Bijdragen en Resultaten

• Ondergrenzen voor Canonieke Hoogtes: Het artikel stelt vast dat voor een monische, postkritisch eindige, hyperbolische polynoom $f \in \mathcal{O}_F[T]$ van een priem macht graad met een algebraïsch integraal barycentrum, er een constante $c > 0$ bestaat zodanig dat voor elke $f$-wandelende algebraïsche geheel $\alpha$:
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  Dit resultaat verwijdert de "Quill Hypothese" die vereist was in het eerdere werk van de auteurs [HS21], en is toepasbaar op een bredere klasse van polynomen.
• Lokale Hoogte-grenzen: De auteurs bewijzen een Schinzel–Zassenhaus-type ondergrens voor de lokale canonieke hoogte bij archimedeische plaatsen. Als $\alpha$ een $f$-wandelende algebraïsche geheel is in een eindige uitbreiding $L$, dan:
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• Grenzen op Preperiode en Periode-lengtes: Voor $f$-preperiodieke punten leiden de auteurs expliciete bovengrenzen af voor de preperiode-lengte $\text{preper}(\alpha)$ en de periode-lengte $\text{per}(\alpha)$ in termen van de veldgraad. Specifiek voor polynomen die niet lineair geconjugeerd zijn aan Chebyshev-polynomen:
  $$\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]$$
  waarbij $e$ en $f$ gerelateerd zijn aan de ramificatie- en residu-graden van priemgetallen boven $p$.
• Combinatorische Analyse van Hubbard-bomen: Het artikel biedt een gedetailleerde analyse van de groei van de Hubbard-boom onder iteratie, waarbij de spectrale radius van de geïnduceerde afbeelding op randen (kernentropie) wordt gekoppeld aan de ijle aard van convexe hullen in preimage-bomen. Dit combinatorische inzicht is cruciaal voor het begrenzen van de transfiniete diameter zonder externe diepe stellingen zoals die van Dubinin te hoeven gebruiken.
• Voorbeelden en Limieten: De auteurs geven voorbeelden van polynomen waarop hun resultaten van toepassing zijn, waaronder $(T^2-1)^2$. Zij bespreken ook de limieten van de analogie tussen postkritisch eindige polynomen en elliptische krommen met complexe vermenigvuldiging (CM), waarbij zij opmerken dat hoewel preperiodieke punten in beide settings vergelijkbare Galois-theoretische eigenschappen delen, postkritisch eindige polynomen niet noodzakelijkerwijs overal goede reductie bezitten, in tegen tegenstelling tot CM elliptische krommen.

Betekenis en Claims
De auteurs beweren dat dit werk nieuw bewijs levert richting de Dynamische Lehmer-conjectuur voor unitaire polynomen. Door de statische hedgehog-constructie te vervangen door een dynamische boom afgeleid van de Hubbard-boom, en door het ontwikkelen van elementaire maar krachtige instrumenten om transfiniete diameters te begrenzen, breiden zij de reikwijdte van de Schinzel–Zassenhaus methode uit naar een bredere klasse van dynamische systemen. Het verwijderen van de Quill Hypothese is een significante technische vooruitgang. Het artikel positioneert zich als een brug tussen de arithmetische dynamica, complexe dynamica (via Hubbard-bomen en kernentropie) en de transcendentietheorie (via integraliteit en transfiniete diameter-grenzen). De auteurs merken bescheiden op dat hun resultaten van toepassing zijn op specifieke klassen van polynomen (priem macht graad, hyperbolisch, postkritisch eindig) en dat toekomstig werk zich zal richten op subhyperbolische gevallen en algemenere polynomen.