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

Dit artikel weerlegt een conjectuur over de hoogtebegrenzing van geïsoleerde periodieke punten voor automorfismen op affiene ruimtes, bewijst echter dat cohomologisch hyperbolische dominante rationale zelfafbeeldingen op projectieve variëteiten een Zariski-open deelverzameling toelaten waarop de periodieke punten wel hoogtebegrensd zijn, terwijl voor preperiodieke punten een tegenvoorbeeld suggereert dat deze eigenschap niet altijd geldt.

De kern

Hier is een uitleg van het onderzoek van Matsuzawa en Sano, vertaald naar begrijpelijk Nederlands met behulp van alledaagse metaforen.

De Kern: Een Speurtocht naar "Te Grote" Getallen

Stel je voor dat je een wiskundig spel speelt met een machine (een functie) die punten op een kaart verplaatst. Je begint met een punt, duwt de knop, en de machine verplaatst het punt naar een nieuwe locatie. Als je dit vaak genoeg doet, kan het punt terugkeren naar zijn startplek. Dit noemen we een periodiek punt.

De onderzoekers stellen zich een specifieke vraag: Zijn er grenzen aan hoe "groot" of "complex" deze punten kunnen worden?

In de wiskunde wordt de "grootte" van een getal gemeten met iets dat hoogte (height) heet. Denk aan de hoogte als het aantal cijfers in een getal of hoe ingewikkeld de breuk is.

• Beperkte hoogte: Alle punten blijven binnen een redelijke, beheersbare grootte (zoals een verzameling steentjes in een doosje).
• Onbeperkte hoogte: De punten worden steeds groter en ingewikkelder, tot ze oneindig groot lijken (zoals een ballon die blijft opblazen tot hij onzichtbaar wordt).

De Verwachting vs. De Realiteit

De oude droom (Het vermoeden):
Vroeger dachten wiskundigen dat als je een machine hebt die niet te simpel is (minstens graad 2), alle punten die ooit terugkeren naar hun startplek, een "beperkte hoogte" zouden hebben. Oftewel: er zou een natuurlijke muur zijn die voorkomt dat de getallen oneindig groot worden.

Het verrassende nieuws (Het tegenvoorbeeld):
De auteurs van dit paper zeggen: "Nee, dat klopt niet altijd."
Ze hebben een specifieke machine (een automorfisme op een 3-dimensionale ruimte) ontworpen die dit vermoeden breken.

• De Metafoor: Stel je een 3D-ruimte voor met een machine die punten verplaatst. Ze hebben bewezen dat je een oneindige stroom van punten kunt vinden die allemaal terugkeren naar hun startplek, maar die steeds "zwaarder" en "groter" worden. Het is alsof je een trap hebt die oneindig omhoog gaat, maar elke stap brengt je weer terug naar de grond, alleen dan op een steeds hogere verdieping.

De "Goede" Nieuws: Wanneer werkt het wel?

Hoewel ze een uitzondering vonden, ontdekten ze ook een regel die vaak wel werkt. Dit heeft te maken met een concept dat cohomologische hyperbolische heet.

• De Metafoor: Stel je voor dat de machine een soort "wervelwind" is. Als de wind sterk genoeg is en in één richting trekt (hyperbolisch), dan worden de punten die terugkeren, altijd "teruggeblazen" naar een veilige zone. Ze kunnen niet oneindig groot worden.
• De conclusie: Als de machine voldoet aan deze strenge "wervelwind"-regels, dan zijn er wel grenzen aan de grootte van de terugkerende punten. De onderzoekers hebben bewezen dat dit altijd geldt voor een groot deel van de ruimte, tenzij je precies op de rand van de chaos staat.

Het Raadsel van de "Voorlopers" (Pre-periodieke punten)

Er is nog een tweede soort punt: punten die niet direct terugkeren, maar die op een gegeven moment in een cyclus terechtkomen. Dit noemen we pre-periodieke punten.

• Het probleem: De onderzoekers hebben een voorbeeld gevonden waarbij deze punten ook oneindig groot kunnen worden, zelfs als de machine voldoet aan de "wervelwind"-regels.
• De betekenis: Dit suggereert dat de regels voor punten die altijd terugkeren (periodiek) anders zijn dan voor punten die eerst rondzwerven en dan terugkeren (pre-periodiek). Het is alsof de muur die de grootte beperkt, voor de "rondzwervers" een gat heeft.

Samenvatting in een zin

De onderzoekers hebben bewezen dat je in de wiskundige wereld niet zomaar kunt aannemen dat terugkerende patronen altijd "klein" blijven; ze hebben een uitzondering gevonden waar ze oneindig groot worden, maar ze hebben ook een veilige zone ontdekt waar dit wel geldt, afhankelijk van hoe "chaotisch" de machine precies is.

Waarom is dit belangrijk?
Het helpt ons begrijpen hoe getallen zich gedragen in complexe systemen. Het is net als het ontdekken van nieuwe wetten in de natuur: soms denken we dat alles beperkt is, maar dan vinden we een uitzondering die ons dwingt onze theorieën bij te stellen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Height Boundedness of Periodic and Preperiodic Points of Dominant Rational Self-Maps on Projective Varieties" van Yohsuke Matsuzawa en Kaoru Sano, geschreven in het Nederlands.

Probleemstelling en Context

Het artikel onderzoekt een fundamenteel probleem in de aritmische dynamica: onder welke voorwaarden is de verzameling van periodieke en preperiodieke punten van een rationale zelfafbeelding op een algebraïsche variëteit hoogte-gebound (height bounded)?

• Achtergrond: Voor surjectieve morfismen $f: \mathbb{P}^N_{\mathbb{Q}} \to \mathbb{P}^N_{\mathbb{Q}}$ is bekend dat de verzameling van preperiodieke punten hoogte-gebound is. Dit volgt uit de eigenschappen van de canonieke hoogtefunctie $\hat{h}_f$.
• De Conjecture: Er bestond een conjecture (Conjecture 1.1, afkomstig uit [18]) voor automorfismen op de affiene ruimte $A^N_{\mathbb{Q}}$ met een graad van ten minste twee. Deze stelde dat de verzameling van geïsoleerde periodieke punten van zo'n automorfisme altijd hoogte-gebound zou zijn.
• Het Doel: De auteurs willen deze conjecture testen, de voorwaarden voor hoogte-gebondeheid verduidelijken (met name de rol van cohomologische hyperboliciteit), en de situatie voor preperiodieke punten onderzoeken.

Methodologie

De auteurs hanteren een combinatie van constructieve tegenvoorbeelden en bewijstechnieken gebaseerd op de theorie van dynamische graden en cohomologische eigenschappen:

1. Constructie van Tegenvoorbeelden:

   • Voor de automorfismen op $A^3$ construeren de auteurs een specifiek voorbeeld waarbij de $z$-coördinaten van periodieke punten een specifieke recursieve relatie volgen die leidt tot onbegrensde hoogte.
   • Ze gebruiken een projectie naar een $A^2$-Hénon-kaart en analyseren de dynamica modulo een priemgetal (in dit geval $p=3$) om de grootte van de coördinaten te controleren.
   • Ze maken gebruik van eigenschappen van étale morfismen en velduitbreidingen om te bewijzen dat er een oneindige verzameling van punten bestaat met toenemende hoogte.

2. Cohomologische Hyperboliciteit:

   • De auteurs introduceren het concept van cohomologisch hyperbolische kaarten. Een dominante rationale kaart $f$ is $p$-cohomologisch hyperbolisch als er een unieke index $p$ bestaat waarvoor de $p$-de dynamische graad $d_p(f)$ strikt groter is dan alle andere dynamische graden $d_i(f)$.
   • Ze gebruiken cohomologische Lyapunov-exponenten ($\mu_i$) en de theorie van grote (big) $\mathbb{R}$-divisoren op birationale modellen van de variëteit.
   • De kern van hun bewijzen voor de positieve resultaten ligt in het opstellen van een recursieve ongelijkheid voor de hoogtefunctie langs de banen van punten, gebaseerd op de pull-back van ample divisoren.

3. Analyse van Preperiodieke Punten:

   • Voor preperiodieke punten construeren ze een voorbeeld van een 1-cohomologisch hyperbolische kaart op $\mathbb{P}^2$ waarbij de achterwaartse baan (backward orbit) van een vast punt bestaat uit punten met onbegrensde hoogte.
   • Ze analyseren de velduitbreidingen en de $p$-adische waarderingen om te tonen dat de graad van de velden die door deze punten worden gegenereerd oneindig toeneemt.

Belangrijkste Bijdragen en Resultaten

Het artikel levert drie hoofdbijdragen:

1. Een Tegenvoorbeeld voor de Conjecture in Dimensie 3
De auteurs weerleggen Conjecture 1.1 voor dimensie $N=3$.

• Stelling 1.3: Ze definiëren een automorfisme $f: A^3_{\mathbb{Q}} \to A^3_{\mathbb{Q}}$ gegeven door $(x, y, z) \mapsto (y, x + y - y^3, 2z - y)$.
• Resultaat: Hoewel de verzameling van $n$-periodieke punten voor elke $n$ eindig is (en dus alle periodieke punten geïsoleerd zijn), is de totale verzameling van periodieke punten niet hoogte-gebound. Er bestaat een rij periodieke punten die Zariski-dicht is in $A^3$ en waarvan de hoogte naar oneindig gaat.
• Oorzaak: De kaart is niet cohomologisch hyperbolisch (de dynamische graden zijn $d_1 = d_2 = 3$).

2. Hoogte-gebondeheid voor Cohomologisch Hyperbolische Kaarten
Ze bewijzen een positief resultaat dat de rol van cohomologische hyperboliciteit bevestigt.

• Stelling 1.8: Voor elke cohomologisch hyperbolische dominante rationale zelfafbeelding $f$ op een projectieve variëteit $X$ over $\mathbb{Q}$, bestaat er een niet-lege Zariski-open verzameling $U \subset X$ zodanig dat de verzameling van periodieke punten $P$ met $O_f(P) \subset U$ hoogte-gebound is.
• Uniformiteit: In Stelling 3.1 wordt dit resultaat uitgebreid naar families van kaarten, waarbij de bovengrens van de hoogte lineair afhankelijk is van de hoogte van de parameter van de familie.
• Belangrijk nuance: De voorwaarde dat de volledige baan in de open verzameling $U$ ligt, is essentieel voor hun bewijsmethode.

3. Onbegrensde Hoogte voor Preperiodieke Punten
Ze tonen aan dat de situatie voor preperiodieke punten subtieler is dan voor periodieke punten.

• Stelling 1.9: Ze construeren een kaart $f: \mathbb{P}^2_{\mathbb{Q}} \to \mathbb{P}^2_{\mathbb{Q}}$ die 1-cohomologisch hyperbolisch is ($d_1 = d, d_2 = 2$ met $d \ge 3$).
• Resultaat: Voor deze kaart bestaat er een vast punt $P_0$ en een rij preperiodieke punten $\{P_n\}$ (waarbij $f(P_n) = P_{n-1}$) die Zariski-dicht is en waarvan de naive hoogte naar oneindig gaat.
• Implicatie: Dit suggereert dat de voorwaarde "dim X-cohomologisch hyperbolisch" (zoals in eerdere theorema's voor preperiodieke punten) essentieel is, en dat 1-cohomologische hyperboliciteit niet voldoende is om hoogte-gebondeheid te garanderen voor preperiodieke punten.

Significantie en Toekomstperspectief

• Verduidelijking van de Theorie: Het artikel scherp de voorwaarden voor de aritmische dynamica op. Het toont aan dat cohomologische hyperboliciteit een cruciale rol speelt bij het garanderen van hoogte-gebondeheid, maar dat de dimensie van de hyperboliciteit ($p$) en het type punt (periodiek vs. preperiodiek) van doorslaggevend belang zijn.
• Open Vragen: De auteurs formuleren belangrijke open vragen (Question 1.10 en 1.11):
  • Is er een cohomologisch hyperbolische kaart waarbij de verzameling van preperiodieke punten (binnen een open verzameling) niet hoogte-gebound is? (Ze vermoeden dat hun tegenvoorbeeld dit bevestigt, maar het bewijs is nog niet compleet voor alle velduitbreidingen).
  • Is de verzameling van preperiodieke punten over een vast getallenlichaam altijd eindig, zelfs als de hoogte onbegrensd is?
• Technische Vooruitgang: De methode om hoogte-ongelijkheden af te leiden via de grootte van $\mathbb{R}$-divisoren en de interactie tussen dynamische graden en cohomologie biedt een krachtig gereedschap voor toekomstig onderzoek in de aritmische dynamica.

Samenvattend weerlegt dit artikel een bestaande conjecture voor automorfismen in dimensie 3, bevestigt het de kracht van cohomologische hyperboliciteit voor periodieke punten, en biedt het een scherp inzicht in de complexiteit van preperiodieke punten, waarbij het de grenzen van huidige theorieën blootlegt.