Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

Diese Arbeit klassifiziert vollständig quadratische rationale Abbildungen über $\mathbb{Q}$ mit nichtabelscher Automorphismengruppe nach ihren rationalen periodischen Punkten, zeigt das Nichtvorhandensein solcher Punkte mit der Periode 4 oder 5 und beweist, dass die Gesamtzahl der rationalen präperiodischen Punkte bei Abwesenheit von Perioden größer als 3 höchstens 6 beträgt.

Das Wesentliche

Stellen Sie sich vor, Sie haben einen magischen Spiegel, der Zahlen verändert. Wenn Sie eine Zahl in diesen Spiegel werfen, kommt eine neue Zahl heraus. Wenn Sie diese neue Zahl wieder in denselben Spiegel werfen, passiert etwas Neues. Dies nennen Mathematiker eine Iteration oder eine Schleife.

Das Papier von Hasan Bilgili und Mohammad Sadek untersucht eine ganz spezielle Art von solchen magischen Spiegeln, die man „quadratische rationale Abbildungen" nennt. Aber sie schauen sich nicht alle Spiegel an, sondern nur eine sehr spezielle Gruppe: Spiegel mit einer „nicht-abelschen" Symmetriegruppe.

Klingt kompliziert? Hier ist die einfache Erklärung mit ein paar Bildern:

1. Der Spiegel und seine Symmetrie (Die Gruppe $S_3$)

Stellen Sie sich einen Spiegel vor, der nicht nur eine Zahl verändert, sondern auch eine Art „innere Ordnung" hat.

• Die meisten Spiegel haben nur eine einfache Symmetrie: Sie sehen von links und rechts gleich aus (wie ein Kreis).
• Die Spiegel in diesem Papier sind wie ein Dreieck, das man drehen und spiegeln kann. Es gibt 6 verschiedene Wege, dieses Dreieck zu bewegen, ohne dass es sich verändert. In der Mathematik nennt man diese Gruppe $S_3$.
• Die Autoren fragen: „Was passiert, wenn wir mit solchen speziellen, dreieckigen Spiegeln spielen?"

2. Die Reise der Zahlen (Periodische Punkte)

Wenn Sie eine Zahl in den Spiegel werfen, kann es passieren, dass sie nach ein paar Schritten wieder zu sich selbst zurückkehrt.

• Beispiel: Zahl A $\rightarrow$ Zahl B $\rightarrow$ Zahl A. Das ist eine Schleife der Länge 2.
• Die Autoren haben untersucht, wie lange diese Schleifen sein können, wenn die Zahl eine rationale Zahl ist (also ein Bruch wie 1/2 oder 3/4, keine unendlichen Dezimalzahlen wie $\pi$).

Was sie herausfanden:

• Kurze Schleifen sind möglich: Es gibt Spiegel, bei denen Zahlen nach 1, 2 oder 3 Schritten wieder anfangen. Das ist wie ein kleiner, gemütlicher Kreislauf.
• Lange Schleifen sind unmöglich: Das ist die große Überraschung! Die Autoren haben bewiesen, dass es keinen solchen Spiegel gibt, bei dem eine rationale Zahl erst nach 4 oder 5 Schritten wieder zu sich selbst zurückkehrt.
• Und noch länger? Es ist extrem unwahrscheinlich, dass es Schleifen der Länge 6 oder mehr gibt. Die Autoren vermuten, dass es gar keine gibt.

3. Die „Vorfahren" (Preperiodic Points)

Manchmal landet eine Zahl nicht sofort in einer Schleife, sondern läuft erst ein paar Schritte durch den Spiegel, bevor sie in eine Schleife eintritt.

• Analogie: Stellen Sie sich einen Wasserfall vor. Ein Stein fällt erst ein paar Meter (das ist der „Vorfahr"), bevor er in einen kreisenden Whirlpool fällt (die „Schleife").
• Die Autoren haben gezählt: Wie viele solche Steine (rationale Zahlen) können maximal in einem solchen System existieren?
• Das Ergebnis: Wenn wir annehmen, dass es keine langen Schleifen (Länge > 3) gibt, dann kann es in diesem ganzen System maximal 6 solche Steine geben. Mehr ist nicht möglich.

4. Wie haben sie das bewiesen? (Die Landkarte)

Wie kann man so etwas beweisen? Man kann nicht jeden Spiegel einzeln testen, es gibt unendlich viele.

• Die Autoren haben eine Landkarte gezeichnet. Auf dieser Landkarte repräsentiert jeder Punkt einen möglichen Spiegel und eine mögliche Zahl.
• Sie haben festgestellt, dass die Punkte, die eine Schleife der Länge 4 oder 5 haben würden, auf einer sehr seltsamen Landkarte liegen, die aus mehreren überlappenden Pfaden besteht.
• Mit Hilfe von Computern (Magma und Mathematica) haben sie geprüft: Gibt es auf diesen Pfaden überhaupt einen Punkt, der eine „gute" rationale Zahl ist?
• Die Antwort: Nein! Die einzigen Punkte auf diesen Pfaden sind „Löcher" oder „Ecken", die keine echten Spiegel ergeben. Daher gibt es keine solchen Schleifen.

Zusammenfassung für den Alltag

Stellen Sie sich vor, Sie bauen ein Spiel mit einem magischen Würfel.

1. Der Würfel hat eine spezielle, dreieckige Symmetrie.
2. Die Autoren haben herausgefunden: Wenn Sie mit Brüchen (Zahlen wie 1/2) spielen, können Sie höchstens eine 3er-Schleife bauen (A $\rightarrow$ B $\rightarrow$ C $\rightarrow$ A).
3. Es ist unmöglich, eine 4er- oder 5er-Schleife zu bauen.
4. Wenn Sie alle möglichen Startzahlen und Wege in diesem Spiel zählen, kommen Sie nie auf mehr als 6 verschiedene Zahlen, die jemals in diesem System vorkommen.

Warum ist das wichtig?
In der Mathematik gibt es eine große Vermutung (die „Uniform Boundedness Conjecture"), die besagt, dass solche Schleifen und Wege in jedem System eine Obergrenze haben. Dieses Papier ist ein wichtiger Baustein, der zeigt, dass diese Grenze für diese spezielle Art von Spiegeln tatsächlich existiert und sehr niedrig ist (nur 6). Es ist wie der Beweis, dass in einem bestimmten Labyrinth nur eine begrenzte Anzahl von Gängen existiert, egal wie tief man hineingeht.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Artikels auf Deutsch.

Titel

Rationale präperiodische Punkte quadratischer rationaler Abbildungen über $\mathbb{Q}$ mit nichtabelschen Automorphismengruppen

1. Problemstellung und Hintergrund

Die Arbeit befasst sich mit dem Uniform Boundedness Conjecture (Vermutung der gleichmäßigen Beschränktheit) von Morton und Silverman im Kontext der arithmetischen Dynamik. Diese Vermutung besagt, dass die Anzahl der $K$-rationalen präperiodischen Punkte einer rationalen Abbildung $f: \mathbb{P}^1 \to \mathbb{P}^1$ vom Grad $d$, definiert über einem Zahlkörper $K$, durch eine Konstante $C(n, d, [K:\mathbb{Q}])$ beschränkt ist.

Der Fokus liegt hier speziell auf quadratischen rationalen Abbildungen (Grad 2), die über den rationalen Zahlen $\mathbb{Q}$ definiert sind und eine nichtabelsche Automorphismengruppe besitzen.

• Eine quadratische rationale Abbildung besitzt eine nicht-triviale Automorphismengruppe genau dann, wenn sie konjugiert zu einer Normalform $k(z + 1/z)$ ist.
• Die Automorphismengruppe ist zyklisch ($C_2$) für $k \neq -1/2$ und nichtabelsch ($S_3$, die symmetrische Gruppe der Ordnung 6) für $k = -1/2$.
• Während die Dynamik von quadratischen Polynomen und Abbildungen mit $C_2$-Symmetrie bereits teilweise untersucht wurde (z. B. Poonens Vermutung), fehlt eine vollständige Analyse für den Fall der $S_3$-Symmetrie.

2. Methodik

Die Autoren nutzen eine explizite Normalform für quadratische rationale Abbildungen mit $S_3$-Automorphismengruppe. Jede solche Abbildung $f$ ist über $\mathbb{Q}$ konjugiert zu:
$$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
mit Parametern $k \in \mathbb{Q}$, $d \in \mathbb{Q} \setminus \{0\}$ und $k^2 \neq d$.

Die Untersuchung der periodischen und präperiodischen Punkte erfolgt durch folgende Schritte:

1. Dynatomische Polynome: Die Existenz von Punkten mit exakter Periode $n$ wird durch das Verschwinden des $n$-ten dynatomischen Polynoms $\Phi^*_{f,n}(z)$ charakterisiert.
2. Algebraische Kurven: Die Bedingung, dass $\theta_{d,k}$ einen rationalen Punkt einer bestimmten Periode besitzt, führt zu algebraischen Kurven $C_n$ im Parameterraum $(d, k)$ (bzw. nach Skalierung in $(d, z)$).
3. Geometrische Analyse: Die Autoren untersuchen die geometrische Irreduzibilität dieser Kurven. Da die Kurven oft nicht geometrisch irreduzibel sind, zerfallen sie in Komponenten über Erweiterungskörpern.
4. Schnittmengen und rationale Punkte: Um rationale Punkte auf diesen Kurven zu finden, müssen diese als Schnittpunkte endlich vieler über $\mathbb{Q}$ definierter algebraischer Kurven betrachtet werden.
5. Computeralgebra: Die Berechnungen der Polynome, die Faktorisierung, die Bestimmung der Singularitäten und die Analyse der Kurven wurden mit den Softwarepaketen Magma und Mathematica durchgeführt.

3. Wichtige Beiträge und Ergebnisse

Klassifikation rationaler periodischer Punkte (Periode 1, 2, 3)

Die Autoren geben eine vollständige Parametrisierung für Abbildungen mit rationalen Fixpunkten (Periode 1), 2-Zyklen (Periode 2) und 3-Zyklen (Periode 3):

• Periode 1: Bedingungen für die Existenz von 1, 2 oder 3 rationalen Fixpunkten werden hergeleitet.
• Periode 2: Ein 2-Zyklus existiert genau dann, wenn $d$ ein Quadrat in $\mathbb{Q}$ ist ($d=c^2$).
• Periode 3: Ein 3-Zyklus existiert genau dann, wenn $-3d$ ein Quadrat in $\mathbb{Q}$ ist.

Nichtexistenz für Perioden 4 und 5

Satz 1.1 (i): Es gibt keine quadratischen rationalen Abbildungen über $\mathbb{Q}$ mit $S_3$-Symmetrie, die einen rationalen Punkt der exakten Periode 4 oder 5 besitzen.

• Beweisidee: Die entsprechenden dynatomischen Polynome definieren Kurven, die in irreduzible Komponenten zerfallen. Die Analyse der rationalen Punkte auf diesen Komponenten (insbesondere die Untersuchung von Schnittpunkten über Erweiterungskörpern) zeigt, dass die einzigen rationalen Punkte Singularitäten sind, die keine gültigen quadratischen Abbildungen liefern.

Endlichkeit für Periode 6

Satz 1.1 (ii): Es gibt höchstens endlich viele solche Abbildungen mit einem rationalen Punkt der exakten Periode 6.

• Beweisidee: Für Periode 6 führt die Analyse auf eine Kurve, deren Normalisierung ein Geschlecht (Genus) von 433 hat. Nach dem Satz von Faltings (Mordell-Vermutung) besitzt eine solche Kurve nur endlich viele rationale Punkte.

Vermutung und Schranke für präperiodische Punkte

Basierend auf den Ergebnissen für Perioden 4 und 5 schlagen die Autoren eine Analogie zu Poonens Vermutung vor:
Vermutung 1.2: Eine solche Abbildung besitzt keinen rationalen periodischen Punkt mit Periode $N > 3$.

Unter der Annahme dieser Vermutung wird die maximale Anzahl der rationalen präperiodischen Punkte bestimmt:
Satz 1.3: Wenn $f$ keinen rationalen periodischen Punkt der Periode $\ge 6$ besitzt, dann gilt:
$$|PrePer(f, \mathbb{Q})| \le 6$$
Die Schranke 6 ist scharf, d. h., es gibt Beispiele, die genau 6 präperiodische Punkte erreichen.

Analyse der Graphenstruktur

Die Autoren klassifizieren alle möglichen gerichteten Graphen, die die Struktur der Menge der rationalen präperiodischen Punkte beschreiben. Sie zeigen, dass bestimmte Kombinationen von Zyklen (z. B. ein Fixpunkt und ein 2-Zyklus gleichzeitig) nicht möglich sind, und listen explizite Beispiele für $(d, k)$ auf, die alle erlaubten Graphen realisieren.

4. Signifikanz der Arbeit

• Vollständigkeit: Dies ist die erste vollständige Klassifikation der rationalen präperiodischen Punkte für quadratische rationale Abbildungen mit nichtabelscher Automorphismengruppe ($S_3$).
• Erweiterung bestehender Vermutungen: Die Ergebnisse stützen die Vermutung, dass die Periodenlänge rationaler Punkte für diese Klasse von Abbildungen durch 3 beschränkt ist (analog zu Poonens Vermutung für Polynome).
• Methodischer Fortschritt: Der Artikel demonstriert effektiv, wie die Kombination aus theoretischer algebraischer Geometrie (Dynatomische Polynome, Kurvenzerlegung, Genus-Berechnung) und rechnergestützter Algebra (Magma/Mathematica) verwendet werden kann, um Probleme der arithmetischen Dynamik zu lösen, die für manuelle Berechnungen zu komplex sind.
• Konkrete Schranken: Die Arbeit liefert eine konkrete, scharfe Obergrenze (6 Punkte) für die Größe der präperiodischen Menge unter einer plausiblen Vermutung, was einen wichtigen Schritt in Richtung der allgemeinen Uniform Boundedness Conjecture darstellt.

Zusammenfassend liefert der Artikel einen tiefgehenden Einblick in die arithmetische Dynamik symmetrischer quadratischer Abbildungen und schließt eine wichtige Lücke im Verständnis rationaler periodischer Strukturen über $\mathbb{Q}$.