Dynamical Canonical Heights and Finite Trees

Technische Zusammenfassung: Dynamische kanonische Höhen und endliche Bäume

Problemstellung
Diese Arbeit befasst sich mit der Dynamischen Lehmer-Vermutung, die eine asymptotisch optimale untere Schranke für die kanonische Höhe $\hat{h}_f(\alpha)$ eines wandernden algebraischen Punktes $\alpha$ in Abhängigkeit vom Grad $[F(\alpha):F]$ vorhersagt. Konkret suchen die Autoren nach einer unteren Schranke der Form $\hat{h}_f(\alpha) \geq c / [F(\alpha):F]^2$ für spezifische Klassen von Polynomen. Dieses Problem ist das dynamische Analogon zur klassischen Lehmer-Problematik bezüglich des Mahler-Maßes ganzzahliger Polynome. Die Autoren konzentrieren sich auf univariate Polynome $f$, die monisch, von Primpotenzgrad $d=p^e$, postkritisch endlich (alle kritischen Punkte sind präperiodisch) und hyperbolisch (kritische Punkte liegen in der Fatou-Menge) sind.

Methodik
Der Ansatz der Autoren ist inspiriert von Dimitrovs Beweis der Schinzel–Zassenhaus-Vermutung, der einen endlichen topologischen Baum (einen „Hedgehog“) in der komplexen Ebene nutzte, um die transfinite Durchmesser einer Menge zu begrenzen, die die Konjugierten einer algebraischen Ganzzahl enthält. Die Autoren passen diese Strategie an den dynamischen Kontext an, führen jedoch signifikante Innovationen ein, um die Einschränkungen ihrer vorangegangenen Arbeit [HS21] zu überwinden.

1. Dynamische Bäume und Hubbard-Bäume: Anstatt statische Hedgehogs zu verwenden, konstruieren die Autoren einen „dynamischen Hedgehog“ basierend auf dem Hubbard-Baum $H_f$ des postkritisch endlichen Polynoms $f$. Sie betrachten die Folge der Präbilder $H_f^{(s)} = (f^{(s)})^{-1}(H_f)$, die verschachtelte endliche topologische Bäume bilden.
2. Kern-Entropie und konvexe Hüllen: Ein zentrales kombinatorisches Werkzeug ist die Thurstonsche Kern-Entropie $\rho(f)$. Die Autoren beweisen, dass für hyperbolische Polynome, die nicht linear zu Chebyshev-Polynomen konjugiert sind, die Kern-Entropie strikt kleiner als der Grad ist ($\rho(f) < d$). Diese Eigenschaft der „nicht-maximalen Kern-Entropie“ stellt sicher, dass die konvexe Hülle einer spärlichen Menge von Knoten im Präbildbaum $H_f^{(s)}$ ebenfalls spärlich bleibt (d. h. ihre Größe wächst langsamer als die Gesamtgröße des Baumes). Dies ermöglicht die Konstruktion eines Baumes $T$, der die Galois-Konjugierten eines Punktes mit kleiner Höhe enthält, mit einer kontrollierten Anzahl von Kanten.
3. Abschätzungen des transfiniten Durchmessers: Die Autoren entwickeln neue Werkzeuge, einschließlich differenzierter Differenzen und Abschätzungen, wie sie in der Transzendenztheorie üblich sind, um den transfiniten Durchmesser dieser konstruierten Bäume nach oben zu begrenzen. Sie vermeiden die Abhängigkeit von Dubinins Theorem (verwendet in [HS21]) durch die direkte Ableitung einer oberen Schranke mittels Vandermonde-Determinanten und der kombinatorischen Eigenschaften des Hubbard-Baums.
4. Integrität und Kongruenzen: Um zu etablieren, dass der konstruierte Baum einen transfiniten Durchmesser von strikt weniger als 1 besitzt (was impliziert, dass die assoziierte algebraische Funktion rational ist), nutzen die Autoren Epsteins Arbeit über postkritisch beschränkte Abbildungen. Sie beweisen, dass für Polynome mit Primpotenzgrad mit ganzzahligen Baryzentren und postkritisch beschränkten Orbits spezifische Kongruenzrelationen modulo Potenzen von $p$ gelten. Diese Relationen stellen sicher, dass die Potenzreihenentwicklung einer konstruierten algebraischen Funktion ganzzahlige Koeffizienten besitzt.
5. Pólya–Bertrandias-Theorem: Durch die Kombination der oberen Schranke des transfiniten Durchmessers mit der Integrität der Potenzreihenkoeffizienten wenden die Autoren das Pólya–Bertrandias-Theorem an. Dies erzwingt, dass die algebraische Funktion eine rationale Funktion ist, was starke Einschränkungen für den ursprünglichen Punkt $\alpha$ auferlegt, was wiederum zu den gewünschten Höhenschranken oder zur Präperiodizität führt.

Wesentliche Beiträge und Ergebnisse

• Untere Schranken für kanonische Höhen: Die Arbeit etabliert, dass für ein monisches, postkritisch endliches, hyperbolisches Polynom $f \in \mathcal{O}_F[T]$ mit Primpotenzgrad und algebraischem ganzzahligem Baryzentrum eine Konstante $c > 0$ existiert, so dass für jede $f$-wandernde algebraische Ganzzahl $\alpha$ gilt:
  $$\hat{h}_f(\alpha) \geq \frac{c}{[F(\alpha):F]^2}$$
  Dieses Ergebnis entfernt die in ihrer vorangegangenen Arbeit [HS21] erforderliche „Quill-Hypothese“ und ist auf eine breitere Klasse von Polynomen anwendbar.
• Lokale Höhenschranken: Die Autoren beweisen eine Schinzel–Zassenhaus-Typus untere Schranke für die lokale kanonische Höhe an archimedischen Stellen. Wenn $\alpha$ eine $f$-wandernde algebraische Ganzzahl in einer endlichen Erweiterung $L$ ist, dann gilt:
  $$\max_{v \in M_\infty^L} \lambda_{f,v}(\alpha) \geq \frac{c(F,f)}{[L:F]}$$
• Grenzen für Präperioden- und Periodenlängen: Für $f$-präperiodische Punkte leiten die Autoren explizite obere Schranken für die Präperiodenlänge $\text{preper}(\alpha)$ und die Periodenlänge $\text{per}(\alpha)$ in Abhängigkeit vom Feldergrad ab. Speziell für Polynome, die nicht linear zu Chebyshev-Polynomen konjugiert sind:
  $$\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]$$
  wobei $e$ und $f$ die Ramifikations- und Residuengrade der Primzahlen über $p$ bezeichnen.
• Kombinatorische Analyse von Hubbard-Bäumen: Die Arbeit bietet eine detaillierte Analyse des Wachstums des Hubbard-Baums unter Iteration und verknüpft den Spektralradius der induzierten Abbildung auf die Kanten (Kern-Entropie) mit der Spärlichkeit konvexer Hüllen in Präbildbäumen. Diese kombinatorische Einsicht ist entscheidend, um den transfiniten Durchmesser zu begrenzen, ohne auf externe tiefe Theoreme wie das von Dubinin angewiesen zu sein.
• Beispiele und Grenzen: Die Autoren nennen Beispiele für Polynome, auf die ihre Ergebnisse anwendbar sind, einschließlich $(T^2-1)^2$. Sie diskutieren auch die Grenzen der Analogie zwischen postkritisch endlichen Polynomen und elliptischen Kurven mit komplexer Multiplikation (CM) und stellen fest, dass, obwohl präperiodische Punkte in beiden Settings ähnliche galois-theoretische Eigenschaften teilen, postkritisch endliche Polynome nicht notwendigerweise überall eine gute Reduktion besitzen, im Gegensatz zu CM-elliptischen Kurven.

Bedeutung und Ansprüche
Die Autoren behaupten, dass diese Arbeit neue Belege für die Dynamische Lehmer-Vermutung für univariate Polynome liefert. Durch den Ersatz der statischen Hedgehog-Konstruktion durch einen dynamischen Baum, der aus dem Hubbard-Baum abgeleitet ist, und durch die Entwicklung elementarer, aber leistungsstarker Werkzeuge zur Begrenzung transfiniter Durchmesser, erweitern sie den Geltungsbereich der Schinzel–Zassen-Methode auf eine breitere Klasse von dynamischen Systemen. Die Entfernung der Quill-Hypothese stellt einen signifikanten technischen Fortschritt dar. Die Arbeit positioniert sich als Brücke zwischen arithmetischer Dynamik, komplexer Dynamik (via Hubbard-Bäume und Kern-Entropie) und der Transzendenztheorie (via Integrität und transfiniter Durchmesser-Abschätzungen). Die Autoren merken bescheiden an, dass ihre Ergebnisse für spezifische Klassen von Polynomen gelten (Primpotenzgrad, hyperbolisch, postkritisch endlich) und dass zukünftige Arbeiten darauf abzielen werden, subhyperbolische Fälle und allgemeinere Polynome zu behandeln.