On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

Diese Arbeit widerlegt die Vermutung über die beschränkte Höhe isolierter periodischer Punkte von Automorphismen auf affinen Räumen durch ein Gegenbeispiel, beweist jedoch, dass für kohomologisch hyperbolische dominante rationale Selbstabbildungen auf projektiven Varietäten die periodischen Punkte auf einer nicht-leeren Zariski-offenen Menge höhenbeschränkt sind, während dies für präperiodische Punkte möglicherweise nicht gilt.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Matsuzawa und Sano, verpackt in eine Geschichte mit Alltagsanalogien.

Die große Reise der Zahlen: Wann bleiben sie klein und wann explodieren sie?

Stellen Sie sich vor, Sie haben einen riesigen, unsichtbaren Spielplatz – nennen wir ihn den Zahlenraum. Auf diesem Spielplatz gibt es eine Maschine (ein mathematischer Algorithmus), die Punkte (Zahlen) nimmt, sie umwandelt und wieder zurückwirft.

Die Autoren dieses Papers untersuchen eine sehr spezielle Frage: Wenn wir diese Maschine immer wieder laufen lassen, bleiben die Punkte in der Nähe (haben eine „kleine Höhe") oder fliegen sie ins Unendliche (haben eine „große Höhe")?

In der Mathematik nennt man das „Höhenbeschränktheit". Ein Punkt mit „kleiner Höhe" ist wie ein Wanderer, der im Dorf bleibt. Ein Punkt mit „großer Höhe" ist wie ein Astronaut, der ins All fliegt.

Hier sind die drei Hauptakteure der Geschichte:

1. Der falsche Verdächtige (Das Gegenbeispiel)

Zuerst gab es eine Vermutung (ein Gerücht unter Mathematikern):

„Wenn die Maschine kompliziert genug ist (Grad mindestens 2), dann bleiben alle Punkte, die jemals wieder zu sich selbst zurückkehren (periodische Punkte), im Dorf."

Die Autoren sagen: „Nein, das stimmt nicht immer!"

• Die Analogie: Stellen Sie sich eine Maschine vor, die drei Zahlen gleichzeitig verwandelt (x, y, z). Die ersten beiden Zahlen (x und y) tanzen einen bekannten, wilden Tanz (ein sogenannter Hénon-Map). Der dritte Tanzpartner (z) schaut nur zu und passt sich an.
• Der Trick: Die Autoren haben die Maschine so gebaut, dass der Tanz der ersten beiden Zahlen sehr stabil ist, aber der dritte Partner (z) bei jedem Umlauf immer mehr „Schuhe" (Zahlenwerte) anlegt.
• Das Ergebnis: Es gibt unendlich viele Punkte, die nach einer Weile wieder anfangen, wo sie waren (periodisch). Aber je öfter man sie zählt, desto höher fliegen ihre Zahlenwerte in den Himmel. Sie sind zwar im Dorf angekommen, aber sie tragen riesige Rucksäcke. Damit haben die Autoren gezeigt: Nicht alle periodischen Punkte bleiben klein.

2. Der Held mit dem Spezial-Schild (Kohomologische Hyperbolizität)

Aber nicht alle Maschinen sind böse. Es gibt eine spezielle Sorte von Maschinen, die man „kohomologisch hyperbolisch" nennt. Das ist ein komplizierter Begriff, den wir uns so vorstellen können:

• Die Analogie: Stellen Sie sich vor, die Maschine ist ein riesiger Staubsauger, der in eine Richtung saugt (komprimiert) und in eine andere Richtung streckt. Wenn das Strengen viel stärker ist als das Saugen (und zwar in genau einer Richtung), nennen wir sie „kohomologisch hyperbolisch".
• Die Entdeckung: Die Autoren beweisen, dass bei diesen speziellen Staubsauger-Maschinen die Regel wieder gilt: Wenn man einen Bereich auf dem Spielplatz markiert (eine offene Menge), dann bleiben alle Punkte, die in diesem Bereich hin und her hüpfen, klein.
• Warum ist das wichtig? Es gibt uns eine Garantie. Wenn wir wissen, dass unsere Maschine diesen „Staubsauger-Effekt" hat, können wir beruhigt sein: Solange die Punkte nicht aus dem markierten Bereich fliegen, werden sie nicht ins Unendliche explodieren.

3. Die Falle für die Rückwärts-Reisenden (Preperiodische Punkte)

Jetzt kommt der Twist. Bisher sprachen wir über Punkte, die vorwärts laufen und wieder zurückkommen. Was ist mit Punkten, die man rückwärts verfolgt?

• Die Analogie: Stellen Sie sich vor, Sie laufen rückwärts durch einen Labyrinth. Wenn Sie einen bestimmten Punkt erreichen, von dem aus Sie rückwärts gehen, landen Sie immer weiter draußen im Nirgendwo.
• Das Problem: Die Autoren bauen eine Maschine, die zwar den „Staubsauger-Effekt" hat (also eigentlich sicher sein sollte), aber wenn man rückwärts läuft, explodieren die Zahlen.
• Die Bedeutung: Das zeigt, dass die Regel „alle Punkte bleiben klein" für rückwärts laufende Punkte (preperiodische Punkte) vielleicht gar nicht gilt, selbst wenn die Maschine „gut" aussieht. Es ist, als würde ein Sicherheitsnetz nach vorne halten, aber nach hinten ein Loch haben.

Zusammenfassung für den Alltag

1. Die alte Regel war falsch: Man dachte, komplizierte Maschinen halten alle wiederkehrenden Punkte klein. Die Autoren haben eine Maschine gebaut, die das Gegenteil beweist (die Punkte werden riesig).
2. Die neue Regel ist sicherer: Wenn die Maschine einen bestimmten mathematischen „Staubsauger-Effekt" hat, dann bleiben die Punkte in einem bestimmten Bereich klein. Das ist ein großer Fortschritt für das Verständnis von Chaos und Ordnung.
3. Die offene Frage: Bei Punkten, die man rückwärts verfolgt, ist es noch unklar, ob sie sicher sind. Die Autoren haben ein Beispiel gefunden, das darauf hindeutet, dass sie dort vielleicht doch ins Unendliche fliegen könnten.

Fazit: Die Mathematik ist wie ein riesiges Universum voller Maschinen. Manchmal funktionieren die Regeln, die wir uns ausgedacht haben, perfekt. Manchmal bauen die Forscher eine Maschine, die die Regeln bricht, und müssen dann neue, bessere Regeln finden, um das Chaos zu verstehen. Diese Arbeit ist ein wichtiger Schritt, um zu wissen, wann wir uns auf die Stabilität unserer Zahlen verlassen können und wann wir aufpassen müssen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „On the Height Boundedness of Periodic and Preperiodic Points of Dominant Rational Self-Maps on Projective Varieties" von Yohsuke Matsuzawa und Kaoru Sano, verfasst auf Deutsch.

1. Problemstellung und Kontext

Das zentrale Thema der Arbeit liegt im Bereich der arithmetischen Dynamik. Es geht um die Untersuchung der Höhenbeschränktheit (height boundedness) von periodischen und präperiodischen Punkten rationaler Selbstabbildungen auf algebraischen Varietäten.

• Hintergrund: Für surjektive Morphismen $f: \mathbb{P}^N_{\mathbb{Q}} \to \mathbb{P}^N_{\mathbb{Q}}$ ist bekannt, dass die Menge der präperiodischen Punkte eine beschränkte Höhe hat. Dies folgt aus der Eigenschaft der kanonischen Höhe $\hat{h}_f$, die für präperiodische Punkte verschwindet und sich bis auf eine beschränkte Funktion von der naiven Höhe unterscheidet.
• Die Vermutung (Conjecture 1.1): Es wurde vermutet, dass diese Beschränktheit auch für Automorphismen des affinen Raums $\mathbb{A}^N_{\mathbb{Q}}$ gilt, sofern der maximale Grad der Koordinatenfunktionen mindestens 2 ist. Genauer: Die Menge der isolierten periodischen Punkte sollte eine beschränkte Höhe haben.
• Das Ziel der Arbeit: Die Autoren untersuchen die Gültigkeit dieser Vermutung in höheren Dimensionen und klären, unter welchen dynamischen Bedingungen (insbesondere im Hinblick auf kohomologische Hyperbolizität) eine Höhenbeschränktheit für periodische und präperiodische Punkte garantiert werden kann.

2. Methodik und Konstruktion

Die Arbeit kombiniert Techniken aus der algebraischen Geometrie, der Theorie der dynamischen Grade (dynamical degrees) und der p-adischen Analysis.

• Gegenbeispiel-Konstruktion (Dimension 3):

  • Die Autoren konstruieren einen spezifischen Automorphismus $f$ auf dem affinen Raum $\mathbb{A}^3_{\mathbb{Q}}$.
  • Die Konstruktion nutzt eine Faserung, bei der die ersten beiden Koordinaten einen Hénon-Automorphismus $g$ auf $\mathbb{A}^2$ bilden.
  • Die dritte Koordinate wird so definiert, dass sie eine explizite Summe über die Orbit-Koordinaten von $g$ darstellt.
  • Ein entscheidender Schritt ist die Reduktion modulo einer Primzahl (hier $p=3$). Durch die Wahl der Parameter wird erreicht, dass $g$ nach Reduktion linear wird. Dies ermöglicht die Analyse der $z$-Koordinate über die Spurabbildung in endlichen Körpern.
  • Es wird gezeigt, dass für eine spezifische Folge von Perioden $n$ die Nenner der $z$-Koordinaten durch hohe Potenzen von 3 teilbar sind, was zu einer unbeschränkten Höhe führt.

• Beweis der Beschränktheit (Kohomologische Hyperbolizität):

  • Für den positiven Teil nutzen die Autoren das Konzept der kohomologischen Hyperbolizität. Eine dominante rationale Abbildung $f$ heißt $p$-kohomologisch hyperbolisch, wenn der $p$-te dynamische Grad $d_p(f)$ strikt größer ist als alle anderen dynamischen Grade.
  • Der Beweis stützt sich auf eine rekursive Ungleichung für Höhen entlang von Orbits, die in früheren Arbeiten (Matsuzawa, Wang) etabliert wurde.
  • Es wird gezeigt, dass für kohomologisch hyperbolische Abbildungen eine große rationale Divisor-Klasse existiert, die eine „Big"-Eigenschaft erfüllt. Dies führt zu einer linearen Ungleichung für die Höhenfunktion $h_L$, die eine obere Schranke für periodische Punkte in einer offenen Zariski-Menge impliziert.

• Gegenbeispiel für präperiodische Punkte:

  • Um die Notwendigkeit der Bedingung „$\dim X$-kohomologisch hyperbolisch" für präperiodische Punkte zu testen, konstruieren die Autoren eine rationale Abbildung auf $\mathbb{P}^2$, die nur $1$-kohomologisch hyperbolisch ist ($d_1 > d_2$).
  • Durch Analyse der Rückwärtsorbiten (backward orbits) eines Fixpunkts wird gezeigt, dass die Höhen der Punkte in der Rückwärtskette gegen Unendlich gehen, obwohl die Abbildung kohomologisch hyperbolisch ist.

3. Wichtige Ergebnisse

Die Arbeit liefert folgende Hauptergebnisse:

1. Widerlegung der Vermutung in Dimension 3 (Theorem 1.3 & 2.1):

   • Der Automorphismus $f: \mathbb{A}^3_{\mathbb{Q}} \to \mathbb{A}^3_{\mathbb{Q}}$ definiert durch $(x, y, z) \mapsto (y, x+y-y^3, 2z-y)$ ist ein Gegenbeispiel zu Conjecture 1.1.
   • Zwar ist die Menge der $n$-periodischen Punkte für jedes feste $n$ endlich (alle periodischen Punkte sind isoliert), aber die Gesamtmenge der periodischen Punkte ist höhenunbeschränkt.
   • Es existiert eine Folge periodischer Punkte, die Zariski-dicht in $\mathbb{A}^3$ ist und deren Höhen gegen unendlich divergieren.
   • Die dynamischen Grade dieses Systems sind $d_1(f) = d_2(f) = 3$, was bedeutet, dass die Abbildung nicht kohomologisch hyperbolisch ist.

2. Höhenbeschränktheit für kohomologisch hyperbolische Abbildungen (Theorem 1.8):

   • Für jede kohomologisch hyperbolische dominante rationale Selbstabbildung $f$ auf einer projektiven Varietät $X$ über $\mathbb{Q}$ existiert eine nicht-leere Zariski-offene Menge $U \subset X$.
   • Die Menge der periodischen Punkte $P$, deren gesamter Orbit in $U$ liegt, ist höhenbeschränkt.
   • Dies verallgemeinert frühere Ergebnisse von Wang und Matsuzawa-Wang, indem die Voraussetzung der Birationalität entfernt wird.

3. Unbeschränktheit bei präperiodischen Punkten (Theorem 1.9):

   • Es wird eine rationale Abbildung $f: \mathbb{P}^2_{\mathbb{Q}} \dashrightarrow \mathbb{P}^2_{\mathbb{Q}}$ konstruiert, die $1$-kohomologisch hyperbolisch ist ($d_1 = d, d_2 = 2$für$d \ge 3$).
   • Für diese Abbildung existiert eine Folge von präperiodischen Punkten (Rückwärtsorbit eines Fixpunkts), die Zariski-dicht ist und deren Höhen gegen unendlich gehen.
   • Dies deutet stark darauf hin, dass die Bedingung „$\dim X$-kohomologisch hyperbolisch" (d.h. der maximale dynamische Grad ist der höchste) für die Höhenbeschränktheit von präperiodischen Punkten essentiell ist.

4. Uniforme Schranken in Familien (Theorem 3.1):

   • Die Autoren beweisen eine uniforme obere Schranke für die Höhen periodischer Punkte in einer Familie kohomologisch hyperbolischer Abbildungen, ausgedrückt durch die Höhe des Parameterraums.

4. Bedeutung und Implikationen

• Korrektur der Vermutung: Die Arbeit zeigt, dass die naive Verallgemeinerung der Höhenbeschränktheit auf Automorphismen höherer Dimensionen falsch ist. Die Isolation der periodischen Punkte reicht nicht aus, um eine globale Höhenbeschränktheit zu garantieren.
• Rolle der kohomologischen Hyperbolizität: Die Ergebnisse etablieren die kohomologische Hyperbolizität als den entscheidenden dynamischen Invarianten für die Kontrolle der Höhen von periodischen Punkten. Wenn die dynamischen Grade „überlappen" (wie im Gegenbeispiel $d_1=d_2$), kann die Beschränktheit verloren gehen.
• Unterschied zwischen periodisch und präperiodisch: Ein wesentlicher Beitrag ist die Unterscheidung zwischen periodischen und präperiodischen Punkten. Während für periodische Punkte die $p$-kohomologische Hyperbolizität ausreicht (für eine offene Menge), scheint für präperiodische Punkte die stärkere Bedingung ($\dim X$-kohomologische Hyperbolizität) notwendig zu sein.
• Offene Fragen: Die Autoren hinterfragen, ob die Bedingung, dass der gesamte Orbit in der offenen Menge $U$ liegen muss, technisch bedingt oder notwendig ist. Zudem bleibt offen, ob die Menge der präperiodischen Punkte über einem festen Zahlkörper endlich bleibt, auch wenn die Höhen unbeschränkt sind (die konstruierte Gegenbeispiel-Folge erfordert jedoch unbeschränkte Erweiterungsgrade).

Zusammenfassend leistet diese Arbeit einen fundamentalen Beitrag zum Verständnis der arithmetischen Dynamik, indem sie die Grenzen bestehender Vermutungen aufzeigt und präzise Kriterien (kohomologische Hyperbolizität) für die Gültigkeit von Höhenbeschränktheitsaussagen liefert.