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

Dit artikel classificeert kwadratische rationale afbeeldingen over $\mathbb{Q}$ met een niet-abeliaanse automorfe groep die rationale periodieke punten hebben, bewijst dat er geen rationale periodieke punten met periode 4 of 5 bestaan, en toont aan dat het aantal rationale preperiodieke punten in dergelijke gevallen maximaal 6 is.

De kern

Wiskundige Danspartijen: Een Simpele Uitleg van het Onderzoek

Stel je voor dat je een dansvloer hebt met oneindig veel plekken. Op deze vloer staat een magische danseres (we noemen haar f). Elke keer als ze een danser (z) aanraakt, verandert die danser in een nieuwe persoon volgens een vast stramien. Als je een danser blijft aanraken, gebeurt er iets interessants: soms komt hij terug op zijn startplek (een cyclus), en soms blijft hij ronddraaien in een patroon dat hij nooit eerder heeft gezien (een pre-periodieke beweging).

De auteurs van dit artikel, Hasan Bilgili en Mohammad Sadek, hebben zich verdiept in een heel specifiek type van deze magische danseres. Ze kijken alleen naar die dansers die een heel bijzondere, complexe symmetrie hebben: hun bewegingen kunnen worden omgezet in een niet-abelse groep (in het kort: een groep met 6 mogelijke draaiingen die niet allemaal op elkaar lijken, zoals de hoekpunten van een driehoek). In de wiskundetaal noemen ze dit een S3-symmetrie.

Hier is wat ze hebben ontdekt, vertaald naar alledaags taal:

1. De "Regel" van de Dans

De onderzoekers wilden weten: Hoe vaak kan een rationaal getal (een breuk zoals 1/2 of 3/4) terugkeren naar zijn startplek voordat het patroon zich herhaalt?

Ze hebben de dansers ingedeeld op basis van hoe lang hun cyclus duurt:

• Cyclus van 1: De danser blijft op dezelfde plek staan (een vast punt).
• Cyclus van 2: De danser wisselt tussen twee plekken.
• Cyclus van 3: De danser doet drie stappen voordat hij terug is.

Het Grote Ontdekking:
Ze hebben bewezen dat voor dit specifieke type magische danseres:

• Je kunt een cyclus van 1, 2 of 3 hebben.
• Maar een cyclus van 4 of 5 is onmogelijk. Het is alsof de danseres een wet van de natuurkunde heeft die zegt: "Je mag nooit precies 4 of 5 stappen doen voordat je terug bent."
• Ze vermoeden zelfs dat een cyclus van 6 of langer ook onmogelijk is (dit is een hypothese die ze Conjecture 1.2 noemen).

2. De "Maximale Menigte"

Stel je nu voor dat je niet alleen kijkt naar de mensen die in een cyclus dansen, maar ook naar de mensen die eerst een beetje slingeren voordat ze in een cyclus terechtkomen. Dit noemen we pre-periodieke punten.

De onderzoekers hebben berekend: als je aannemen dat er geen cyclus van 6 of langer bestaat, dan is er een harde limiet aan het aantal mensen dat je op je dansvloer kunt hebben die ooit in een patroon terechtkomen.

• Het antwoord: Er kunnen maximaal 6 mensen zijn.
• Als je meer dan 6 mensen zou hebben, zou de danseres haar symmetrie moeten verliezen of zou ze een cyclus van 4 of 5 moeten kunnen doen (wat we weten dat niet kan).

3. Hoe hebben ze dit bewezen? (De Wiskundige Detectives)

Hoe kun je zoiets bewijzen zonder elke mogelijke breuk in de wereld uit te proberen? Ze gebruikten een slimme truc:

1. De Landkaarten (Curves): Ze vertaalden het probleem van de dansers naar "landkaarten" (wiskundige krommen). Als er een danser met een cyclus van 4 zou bestaan, zou er een punt op een specifieke landkaart moeten liggen.
2. De Puzzelstukjes: Ze ontdekten dat deze landkaarten niet één groot stuk waren, maar uit losse puzzelstukjes bestonden die door elkaar heen lagen.
3. De Snijpunten: Ze keken waar deze stukjes elkaar raakten. Ze vonden dat de enige punten waar ze elkaar raakten, "gebroken" of "raar" waren (wiskundig: singuliere punten). Op deze plekken bestaat de danseres niet echt.
4. Conclusie: Omdat er geen "gezonde" punten op de kaart zijn, betekent dit dat er geen dansers met een cyclus van 4 of 5 bestaan.

4. Waarom is dit belangrijk?

In de wiskunde bestaat er een groot raadsel: Is er een limiet aan het aantal punten dat terugkeert, ongeacht hoe complex de danseres is? Dit heet de "Uniform Boundedness Conjecture".

Dit artikel is een belangrijke stap in het oplossen van dat raadsel. Het zegt: "Kijk, voor deze specifieke, complexe dansers (met S3-symmetrie) weten we nu precies wat er kan en wat niet." Het is alsof ze een stukje van de grote puzzel van het universum hebben gelegd.

Samenvatting in één zin

Voor een heel speciaal type wiskundige functie met een complexe symmetrie, hebben de auteurs bewezen dat je nooit een cyclus van 4 of 5 kunt krijgen, en dat er nooit meer dan 6 punten zijn die ooit in een herhalend patroon terechtkomen.

Het is een mooi voorbeeld van hoe wiskundigen, net als detectives, de onzichtbare regels van het universum proberen te kraken door te kijken naar de patronen in getallen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Rational Preperiodic Points of Quadratic Rational Maps over Q with Nonabelian Automorphism Groups" van Hasan Bilgili en Mohammad Sadek, in het Nederlands.

Probleemstelling

Het artikel adresseert een specifiek geval van de Uniforme Beperktheidsvermoeden (Uniform Boundedness Conjecture) in de arithmetische dynamica, geformuleerd door Morton en Silverman. Dit vermoeden stelt dat er een constante $C$ bestaat die het aantal $K$-rationele preperiodieke punten van een morfisme $f: \mathbb{P}^n \to \mathbb{P}^n$ van graad $d$ over een getallichaam $K$ begrenst.

Hoewel er veel onderzoek is gedaan naar kwadratische polynomen en kwadratische rationale afbeeldingen met een abelse automorfiemgroep (specifiek de cyclische groep $C_2$), is de situatie voor afbeeldingen met een niet-abelse automorfiemgroep minder onderzocht. Voor kwadratische rationale afbeeldingen over $\mathbb{Q}$ is de automorfiemgroep niet-triviaal dan en slechts dan als de afbeelding geconjugeerd is aan de vorm $k(z + 1/z)$.

• Als $k \neq -1/2$, is de groep $C_2$.
• Als $k = -1/2$, is de groep de symmetrische groep $S_3$ (niet-abels, orde 6).

Het doel van dit artikel is een volledige classificatie van de $\mathbb{Q}$-rationele periodieke en preperiodieke punten voor kwadratische rationale afbeeldingen over $\mathbb{Q}$ met een automorfiemgroep isomorf aan $S_3$.

Methodologie

De auteurs gebruiken een combinatie van algebraïsche meetkunde, getaltheorie en computeralgebra (Magma en Mathematica) om het probleem aan te pakken.

1. Normalisatie: Elke kwadratische rationale afbeelding $f$ over een veld $K$ (karakteristiek $\neq 2, 3$) met $Aut(f) \cong S_3$ is $K$-geconjugeerd aan een unieke vorm:
   $$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
   waarbij $k, d \in K$, $d \neq 0$ en $k^2 \neq d$.

2. Dynatomische Polynomen: Om periodieke punten van exacte periode $n$ te vinden, gebruiken de auteurs de $n$-de dynatomische polynoom $\Phi^*_{f,n}(z)$. De wortels van deze polynoom corresponderen met punten van exacte periode $n$.

3. Parametrisatie en Krommen:

   • Het zoeken naar afbeeldingen met een rationaal periodiek punt van periode $N$ wordt omgezet in het zoeken naar rationale punten op algebraïsche krommen gedefinieerd door de vergelijkingen $\Phi^*_{\theta_{d,k}, N}(z) = 0$.
   • De auteurs tonen aan dat deze krommen vaak niet geometrisch irreducibel zijn. Ze ontleden de krommen in irreducibele componenten gedefinieerd over uitbreidingen van $\mathbb{Q}$.
   • Omdat de coëfficiënten rationaal moeten zijn, moeten de rationale punten op de totale kromme voldoen aan de snijpunten van de componenten (of de componenten zelf moeten rationale punten hebben).

4. Analyse van Rationale Punten:

   • Voor periodes 4 en 5 tonen ze aan dat de bijbehorende krommen alleen singuliere punten hebben die geen geldige kwadratische rationale afbeeldingen genereren.
   • Voor periode 6 gebruiken ze de stelling van Faltings (Mordell-conjectuur) op de genormaliseerde krommen om te concluderen dat er slechts eindig veel rationale punten zijn.

5. Preperiodieke Punten: Ze gebruiken gegeneraliseerde dynatomische polynomen $\Phi^*_{\phi, m, n}$ om punten van type $n^m$ (preperiodiek met pre-periode $m$ en periode $n$) te analyseren.

Belangrijkste Bijdragen en Resultaten

1. Classificatie van Periodieke Punten

• Periode 1, 2 en 3: De auteurs geven een volledige parametrisatie van alle afbeeldingen $\theta_{d,k}$ die rationale periodieke punten van exacte periode 1, 2 of 3 hebben.
  • Periode 2: Bestaat dan en slechts dan als $d$ een kwadraat is in $\mathbb{Q}$.
  • Periode 3: Bestaat dan en slechts dan als $-3d$ een kwadraat is in $\mathbb{Q}$.
• Periode 4 en 5 (Niet-bestaansstelling):
  • Stelling 1.1: Er bestaan geen kwadratische rationale afbeeldingen over $\mathbb{Q}$ met automorfiemgroep $S_3$ die een rationaal periodiek punt van exacte periode 4 of 5 hebben.
  • Bewijs: De bijbehorende krommen $C_4$ en $C_5$ hebben geen rationale punten die corresponderen met geldige afbeeldingen; alle gevonden rationale punten zijn singulier en leiden tot constante afbeeldingen of degeneraties.
• Periode 6:
  • Er zijn slechts eindig veel dergelijke afbeeldingen met een rationaal periodiek punt van exacte periode 6. Dit volgt uit de stelling van Faltings, aangezien de bijbehorende krommen een hoog genus hebben (genus 433 voor een van de componenten).

2. Vermoeden over Maximale Periode

Gebaseerd op de resultaten voor periodes 4, 5 en 6, formuleren de auteurs het volgende vermoeden (analoog aan het vermoeden van Poonen voor polynomen):

• Vermoeden 1.2: Een kwadratische rationale afbeelding over $\mathbb{Q}$ met $Aut(f) \cong S_3$ heeft geen rationaal periodiek punt van exacte periode $N > 3$.

3. Classificatie van Preperiodieke Punten

Onder de aanname dat Vermoeden 1.2 waar is (dus geen periodieke punten met periode $>3$), analyseren de auteurs de totale verzameling van preperiodieke punten $PrePer(f, \mathbb{Q})$.

• Stelling 1.3: Als $f$ geen rationaal periodiek punt heeft van periode $\ge 6$, dan is het aantal rationele preperiodieke punten maximaal 6.
  • De auteurs tonen aan dat deze bovengrens scherp is; er bestaan voorbeelden waarbij precies 6 punten worden bereikt.
• Ze classificeren alle mogelijke gerichte grafen die de dynamica van deze preperiodieke punten beschrijven. Er zijn slechts een beperkt aantal mogelijke grafen (gepresenteerd in Voorbeeld 6.7), afhankelijk van de parameters $d$ en $k$.

4. Interactie tussen Cycli

De auteurs bewijzen dat bepaalde combinaties van cycli onmogelijk zijn:

• Een afbeelding kan niet tegelijkertijd een rationaal vast punt en een rationaal periodiek punt van exacte periode 3 hebben.
• Een afbeelding kan niet tegelijkertijd een rationaal periodiek punt van periode 2 en een van periode 3 hebben.
• Er zijn specifieke voorwaarden voor het bestaan van preperiodieke punten van type $1^1$ (pre-periode 1, periode 1) in combinatie met andere cycli.

Significantie

Dit artikel vult een belangrijke lacune in de literatuur over de Uniforme Beperktheidsvermoeden.

1. Compleetheid: Het biedt de eerste volledige analyse van kwadratische rationale afbeeldingen met een niet-abelse automorfiemgroep over $\mathbb{Q}$.
2. Technische Vooruitgang: Het demonstreert hoe complexe algebraïsche krommen, die niet geometrisch irreducibel zijn, kunnen worden ontbonden en geanalyseerd om het bestaan van rationale punten (en dus periodieke punten) uit te sluiten.
3. Beperkingen: Het bevestigt dat voor deze specifieke klasse van afbeeldingen de maximale periode van rationale periodieke punten waarschijnlijk 3 is, wat de dynamische complexiteit beperkt tot een klein aantal configuraties.
4. Bovengrens: Het stelt een scherpe bovengrens van 6 op het aantal preperiodieke punten, wat een belangrijke stap is in het begrijpen van de globale structuur van de dynamica van deze systemen.

Samenvattend leveren Bilgili en Sadek een rigoureuze classificatie van de rationele dynamica van een specifieke, maar fundamentele, klasse van kwadratische rationale afbeeldingen, waarbij ze bewijzen dat de dynamica beperkt is tot korte periodes en een klein aantal preperiodieke punten.