2025-11-10T02:51:47.431303

On the Number of Small Points for Rational Maps

Yap
Let $K$ be a number field and $f: \mathbb{P}^1 \to \mathbb{P}^1$ a rational map of degree $d \geq 2$ with at most $s$ places of bad reduction, where we include all archimedean places. We prove that there exists constants $c_1,c_2 > 0$, depending only on $d$ and not on $f$ or $K$, such that $$ \# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s). $$ Here, $\operatorname{rat}_d$ is the moduli space of rational maps up to conjugacy, $h_{\operatorname{rat}_d}$ is an ample height and $\langle f \rangle$ is the equivalence class associated to $f$. This gives a uniform version of a theorem of Baker as well as generalizing the results of Benedetto and Looper from polynomials to rational maps. The main tool used is the degeneration of sequences of rational maps by Luo which has been recently formalized by Favre-Gong via Berkovich spaces.
academic

Über die Anzahl der kleinen Punkte für rationale Abbildungen

Grundinformationen

  • Papier-ID: 2510.12039
  • Titel: On the Number of Small Points for Rational Maps
  • Autor: Jit Wu Yap
  • Klassifizierung: math.NT (Zahlentheorie), math.DS (Dynamische Systeme)
  • Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
  • Papier-Link: https://arxiv.org/abs/2510.12039

Zusammenfassung

Sei KK ein Zahlkörper und f:P1→P1f: \mathbb{P}^1 \to \mathbb{P}^1 eine rationale Abbildung vom Grad d≥2d \geq 2 mit höchstens ss schlechten Reduktionsstellen (einschließlich aller archimedischen Stellen). In diesem Papier wird bewiesen, dass es Konstanten c1,c2>0c_1, c_2 > 0 gibt, die nur von dd abhängen und nicht von ff oder KK, so dass #{x∈P1(K)∣h^f(x)≤c1shrat⁡d(⟨f⟩)}≤c2slog⁡(s)\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s) wobei rat⁡d\operatorname{rat}_d der Modulraum rationaler Abbildungen unter Konjugation ist, hrat⁡dh_{\operatorname{rat}_d} die ample Höhe ist und ⟨f⟩\langle f \rangle die zu ff gehörige Äquivalenzklasse ist.

Forschungshintergrund und Motivation

Problemhintergrund

Diese Forschung gehört zum Gebiet der arithmetischen Dynamik und konzentriert sich auf das Problem der kleinen Punkte für rationale Abbildungen. Konkret:

  1. Kernproblem: Für eine gegebene rationale Abbildung ff, wie viele Punkte xx haben eine kleine kanonische Höhe h^f(x)\widehat{h}_f(x)? Dieses Problem ist eng mit der Verteilung präperiodischer Punkte verbunden, da präperiodische Punkte genau diejenigen mit kanonischer Höhe Null sind.
  2. Bedeutung:
    • Dies ist ein grundlegendes Problem in der arithmetischen Geometrie, verwandt mit wichtigen Vermutungen wie der Silverman-Vermutung
    • Es ist von wesentlicher Bedeutung für das Verständnis der arithmetischen Eigenschaften rationaler Abbildungen
    • Es nimmt eine zentrale Position in der Schnittmenge von algebraischer Zahlentheorie und dynamischen Systemen ein
  3. Bestehende Einschränkungen:
    • Bakers Ergebnis (2006) hängt von der spezifischen Abbildung ff ab, die Konstanten sind nicht einheitlich
    • Die Ergebnisse von Benedetto (2007) und Looper (2019) gelten nur für Polynome
    • Es fehlt eine einheitliche Schranke für allgemeine rationale Abbildungen

Forschungsmotivation

Dieses Papier zielt darauf ab, die bestehenden Polynomergebnisse auf allgemeine rationale Abbildungen zu verallgemeinern und einheitliche Schranken bereitzustellen, die nur vom Grad dd und der Anzahl der schlechten Reduktionsstellen ss abhängen.

Kernbeiträge

  1. Vereinheitlichung des Baker-Theorems: Beweis einer einheitlichen Version des Baker-Theorems, bei der die Konstanten nur vom Grad dd abhängen und nicht von der spezifischen Abbildung oder dem Zahlkörper
  2. Verallgemeinerung der Benedetto-Looper-Ergebnisse: Verallgemeinerung der Ergebnisse von Benedetto und Looper über Polynome auf allgemeine rationale Abbildungen
  3. Optimale Abhängigkeit: Erreichung einer O(slog⁡s)O(s \log s)-Abhängigkeit von der Anzahl der schlechten Reduktionsstellen, was deutlich besser ist als die exponentielle Abhängigkeit von Troncoso
  4. Technische Innovationen: Erstmalige systematische Anwendung von Luos Degenerationstheorie für rationale Abbildungsfolgen und Favre-Gongs Formalisierung von Berkovich-Räumen auf das Problem der kleinen Punkte
  5. Untere Schranken: Als Korollar werden einheitliche untere Schranken für die kanonische Höhe nicht-präperiodischer Punkte erhalten

Methodische Details

Aufgabendefinition

Gegeben eine rationale Abbildung f:P1→P1f: \mathbb{P}^1 \to \mathbb{P}^1 vom Grad dd über einem Zahlkörper KK mit höchstens ss schlechten Reduktionsstellen besteht das Ziel darin, die Größe der Menge {x∈P1(K)∣h^f(x)≤c1shrat⁡d(⟨f⟩)}\left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} zu schätzen.

Grundlegende technische Struktur

1. Arakelov-Green-Funktionsmethode

Für jede Stelle v∈MKv \in M_K wird die dynamische Arakelov-Green-Funktion definiert: gf,v(x,y)=−log⁡∣x~∧y~∣+H^F(x~)+H^F(y~)−1d(d−1)log⁡∣Res(F)∣g_{f,v}(x,y) = -\log |x̃ \wedge ỹ| + \widehat{H}_F(x̃) + \widehat{H}_F(ỹ) - \frac{1}{d(d-1)}\log|\text{Res}(F)|

wobei FF die homogene Hebung von ff ist, x~,y~x̃, ỹ sind Hebungen von x,yx, y nach A2\mathbb{A}^2.

2. Schlüsselungleichung

Baker bewies, dass für z1,…,zN∈P1(K)z_1, \ldots, z_N \in \mathbb{P}^1(K) gilt: ∑i≠jgf,v(zi,zj)≥−Of(Nlog⁡N)\sum_{i \neq j} g_{f,v}(z_i, z_j) \geq -O_f(N \log N)

3. Realisierung der Einheitlichkeit

Die zentrale technische Herausforderung besteht darin, die Ungleichung gf,w(x,y)>δg_{f,w}(x,y) > \delta für x,yx,y in derselben offenen Menge zu vereinheitlichen, so dass δ\delta proportional zu hrat⁡d(⟨f⟩)h_{\operatorname{rat}_d}(\langle f \rangle) ist.

Anwendung der Degenerationstheorie

1. Berkovich-Raumkonstruktion

Für eine Folge rationaler Abbildungen (fn)(f_n) wird der Banach-Ring konstruiert: Aε={(xn)∈∏n=1∞Kn∣∣xn∣εn ist beschra¨nkt}A^ε = \left\{(x_n) \in \prod_{n=1}^∞ K_n \mid |x_n|^{ε_n} \text{ ist beschränkt}\right\}

wobei εn=(−log⁡∣Res(fn)∣)−1ε_n = (-\log|\text{Res}(f_n)|)^{-1}.

2. Eigenschaften der Grenzabbildung

Durch einen Ultrafilter ωω wird eine Grenzabbildung fωf_ω auf dem Körper H(ω)H(ω) erhalten, die erfüllt:

  • Wenn lim⁡ω∣xn∣εn=0\lim_ω |x_n|^{ε_n} = 0, dann ist H(ω)H(ω) ein nicht-archimedischer Körper
  • fωf_ω hat schlechte Reduktionseigenschaften

3. Stetigkeitsargument

Unter Verwendung der Dichtheit von Modellfunktionen und Kompaktheitargumenten werden die Ergebnisse aus dem nicht-archimedischen Fall auf den archimedischen Fall übertragen.

Technische Innovationspunkte

  1. Charakteristik-übergreifende Degeneration: Erstmalige Realisierung einer systematischen Degeneration von archimedischen zu nicht-archimedischen Körpern, was die Grenzen traditioneller Methoden durchbricht
  2. Einheitliche Konstanten: Durch sorgfältige Analyse werden einheitliche Konstanten erhalten, die nur vom Grad dd abhängen
  3. Minimale Resultanten-Höhe: Einführung der minimalen Resultanten-"Höhe" hres(f)h_{\text{res}}(f) und Beweis ihrer Vergleichbarkeit mit der Moduli-Höhe hrat⁡d(⟨f⟩)h_{\operatorname{rat}_d}(\langle f \rangle)

Hauptsätze

Satz 1.1 (Hauptergebnis)

Sei KK ein Zahlkörper und f:PK1→PK1f: \mathbb{P}^1_K \to \mathbb{P}^1_K eine rationale Abbildung vom Grad d≥2d \geq 2 mit ss schlechten Reduktionsstellen. Es existieren Konstanten c1,c2>0c_1, c_2 > 0, die nur von dd abhängen, so dass #{x∈P1(K)∣h^f(x)≤c1shrat⁡d(⟨f⟩)}≤c2slog⁡(s)\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s)

Satz 1.2 (Höhenunterschranke)

Unter denselben Bedingungen existiert eine Konstante c3>0c_3 > 0, so dass für x∈P1(K)x \in \mathbb{P}^1(K) gilt: h^f(x)=0oderh^f(x)≥1dc3slog⁡shrat⁡d(⟨f⟩)\widehat{h}_f(x) = 0 \quad \text{oder} \quad \widehat{h}_f(x) \geq \frac{1}{dc_3 s \log s} h_{\operatorname{rat}_d}(\langle f \rangle)

Satz 1.3 (Einheitliche offene Überdeckung)

Es existieren eine Konstante δ>0\delta > 0 und eine positive ganze Zahl NN, die nur von dd abhängen, so dass für jede rationale Abbildung ff vom Grad dd über einem vollständigen algebraisch abgeschlossenen Körper (K,∣⋅∣)(K, |\cdot|) die Menge P1(K)\mathbb{P}^1(K) durch NN offene Mengen U1,…,UNU_1, \ldots, U_N überdeckt werden kann, die erfüllen gf(x,y)>δ(−log⁡∣res(f)∣)g_f(x,y) > \delta(-\log|\text{res}(f)|) für beliebige x,y∈Uix, y \in U_i.

Beweisstruktur

Erster Schritt: Reduktion auf einheitliche Überdeckung

Durch Widerspruchsbeweis wird angenommen, dass es zu viele Punkte mit kleiner Höhe gibt, und das Taubenschlagprinzip wird verwendet, um sie auf die offene Überdeckung zu verteilen.

Zweiter Schritt: Anwendung der Arakelov-Green-Funktionsungleichung

Für Punkte in derselben offenen Menge wird Satz 1.3 verwendet, um eine untere Schranke für die Green-Funktion zu erhalten.

Dritter Schritt: Globale Summation und Widerspruch

Die Beiträge aller Stellen werden summiert, wobei die globale Formel der kanonischen Höhe verwendet wird: ∑v∈MK∑i≠jNvgf,v(zi,zj)=2(M−1)∑i=1Mh^f(zi)\sum_{v \in M_K} \sum_{i \neq j} N_v g_{f,v}(z_i, z_j) = 2(M-1) \sum_{i=1}^M \widehat{h}_f(z_i)

Vierter Schritt: Degenerationsargument

Der Beweis von Satz 1.3 beruht auf der Degenerationstheorie:

  • Es wird angenommen, dass keine einheitliche Überdeckung existiert
  • Eine Folge rationaler Abbildungen (fn)(f_n) wird konstruiert
  • Favre-Gong-Degeneration wird angewendet, um eine Grenzabbildung zu erhalten
  • Bakers Ergebnis im nicht-archimedischen Fall wird verwendet
  • Durch ein Stetigkeitsargument wird das Ergebnis auf das ursprüngliche Problem übertragen

Verwandte Arbeiten

Historische Entwicklung

  1. Baker (2006): Beweis der ersten endlichen Schranke für kleine Punkte im Fall endlicher Erweiterungen, aber die Konstanten hängen von der Abbildung ab
  2. Benedetto (2007): Einheitliche Schranke für den Polynomfall
  3. Looper (2019): Verbesserung von Benedettos Ergebnis und Bereitstellung von Höhenunterschranken
  4. Troncoso (2017): Einheitliche Schranke für präperiodische Punkte, aber mit exponentieller Abhängigkeit

Technischer Hintergrund

  1. Kiwi (2006, 2014): Erstmalige Verwendung nicht-archimedischer Körper zum Verständnis der Degeneration rationaler Abbildungsfamilien
  2. DeMarco-Faber (2014, 2016): Entwicklung der Degenerationstheorie für Gleichgewichtsmasse
  3. Luo (2021, 2022): Aufbau der Degenerationstheorie für rationale Abbildungsfolgen
  4. Favre-Gong (2024): Formalisierung von Luos Konstruktion durch Berkovich-Räume

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Dieses Papier verallgemeinert erfolgreich die Schranken für kleine Punkte vom Polynomfall auf allgemeine rationale Abbildungen, erreicht die optimale O(slog⁡s)O(s \log s)-Abhängigkeit und stellt einheitliche Konstanten bereit. Dies löst eine schwache Version der Silverman-Vermutung.

Einschränkungen

  1. Effektivität der Konstanten: Obwohl einheitliche Konstanten erhalten wurden, sind diese Konstanten nicht effektiv (nicht berechenbar)
  2. Technische Komplexität: Der Beweis beruht auf komplexer Degenerationstheorie und ist schwer zu expliziten Schätzungen zu führen
  3. Anwendungsbereich: Die Ergebnisse gelten nur für rationale Abbildungen auf P1\mathbb{P}^1

Zukünftige Richtungen

  1. Verallgemeinerung auf höhere Dimensionen: Verallgemeinerung der Ergebnisse auf injektive Abbildungen auf Pn\mathbb{P}^n
  2. Effektive Konstanten: Suche nach Methoden zur Bereitstellung effektiver Konstanten
  3. Funktionenkörperfall: Weitere Untersuchung analoger Probleme über Funktionenkörpern
  4. Kompaktifizierung von Modulräumen: Entwicklung zufriedenstellender Kompaktifizierungen von Modulräumen rationaler Abbildungen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Geschickte Kombination von arithmetischer Geometrie, dynamischen Systemen und Berkovich-Raumtheorie
  2. Technische Innovationen: Erstmalige systematische Anwendung der Degenerationstheorie auf das Problem der kleinen Punkte
  3. Optimale Ergebnisse: Erreichung optimaler Abhängigkeit, Verbesserung bestehender Ergebnisse
  4. Einheitlichkeit: Bereitstellung einer wirklich einheitlichen Behandlung, unabhängig von spezifischen Abbildungen

Schwächen

  1. Nicht-Effektivität der Konstanten: Schlüsselkonstanten sind nicht berechenbar, was praktische Anwendungen einschränkt
  2. Technische Hürden: Erfordert tiefe Kenntnisse in algebraischer Geometrie und Berkovich-Raumtheorie
  3. Schwierigkeiten bei der Verallgemeinerung: Methoden lassen sich nicht direkt auf allgemeinere Fälle übertragen

Einfluss

  1. Theoretischer Beitrag: Bereitstellung neuer technischer Werkzeuge für arithmetische Dynamik
  2. Methodologische Bedeutung: Demonstration der Kraft der Degenerationstheorie bei zahlentheoretischen Problemen
  3. Nachfolgeforschung: Bereitstellung neuer Ideen und Methoden für verwandte Probleme

Anwendungsszenarien

  1. Theoretische Forschung: Theoretische Entwicklung der arithmetischen Dynamik
  2. Verwandte Probleme: Andere Probleme mit kleinen Punkten und Höhenschranken
  3. Methodische Referenz: Anwendung von Degenerationsmethoden auf andere zahlentheoretische Probleme

Literaturverzeichnis

Das Papier zitiert die Hauptarbeiten des Feldes, einschließlich:

  • Bakers grundlegende Arbeiten
  • Ergebnisse von Benedetto und Looper über Polynome
  • Luos Degenerationstheorie
  • Favre-Gongs Formalisierung von Berkovich-Räumen
  • Arbeiten von DeMarco und anderen über Degeneration dynamischer Systeme

Dieses Papier stellt einen wichtigen Fortschritt im Gebiet der arithmetischen Dynamik dar, löst durch innovative technische Mittel ein lange bestehendes Problem und leistet einen wichtigen Beitrag zur Entwicklung des Feldes.