Dynamical Mordell-Lang conjecture for split self-maps of affine curve times projective curve

1. Probleemstelling: De Dynamische Mordell-Lang Vermoeden (DML)

Het artikel richt zich op een van de kernproblemen in de rekenkundige dynamica: het Dynamical Mordell–Lang (DML) vermoeden.

• Definitie: Laat $f: X \to X$ een endomorfisme zijn van een quasi-projectieve variëteit over een veld $K$ met karakteristiek 0, en laat $V$ een gesloten deelvariëteit van $X$ zijn. Het vermoeden stelt dat voor elk punt $x \in X(K)$ de "terugkeer-set" (return set)
  $$\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$$
  een eindige unie van rekenkundige progressies is.
• Context: Hoewel het vermoeden bewezen is voor specifieke gevallen (zoals etale endomorfismen op quasi-projectieve variëteiten over $\mathbb{C}$, of voor het vlak $\mathbb{A}^2$), blijft het een open probleem voor bredere klassen van dynamische systemen, met name voor producten van variëteiten met verschillende dynamische eigenschappen.

2. Hoofdbijdrage en Hoofdstelling

De auteurs bewijzen het DML-vermoeden voor een specifieke klasse van gesplitste zelfafbeeldingen (split self-maps).

• Stelling 1.1: Laat $X$ een affiene kromme en $Y$ een projectieve kromme zijn over $\mathbb{Q}$. Laat $f: X \to X$ en $g: Y \to Y$ endomorfismen zijn. Dan geldt het DML-vermoeden voor het product $X \times Y$ onder de afbeelding $f \times g$.
• Kerngeval (Propositie 1.2): Het bewijs concentreert zich op het fundamentele geval $X = \mathbb{A}^1$ en $Y = \mathbb{P}^1$. De auteurs tonen aan dat het DML-vermoeden geldt voor $(\mathbb{A}^1 \times \mathbb{P}^1, f \times g)$.
• Generalisatie (Corollary 1.3): Als $(X, f)$ en $(Y, g)$ beide voldoen aan de DML(1)-eigenschap (waarbij de terugkeer-set voor elke kromme een eindige unie van rekenkundige progressies is), dan voldoet het product $(X \times Y, f \times g)$ ook aan de DML(1)-eigenschap, mits $X$ affien en $Y$ projectief is.

3. Methodologie en Bewijsstrategie

De bewijsvoering combineert technieken uit de diophantische meetkunde, de theorie van hoogten (height functions) en lokale analyse.

A. Reductie en Normalisatie

De auteurs reduceren het probleem tot het geval waar $\deg(f) = \deg(g) = d > 1$. Ze nemen aan dat geen enkele iteratie van $g$ geconjugeerd kan worden tot een polynoom (een geval dat al bekend is via eerdere werken van Xie). Ze nemen ook aan dat het startpunt $(x_0, y_0)$ geen pre-periodieke punten zijn en dat de kromme $C$ geen vezel is.

B. Lokale Hoogte-analyse en Lemma 2.2

Een cruciaal onderdeel is het analyseren van de groei van coördinaten onder iteratie.

• Lemma 2.2: Voor een niet-pre-periodiek punt $x_0$ onder een polynoom $f$ op $\mathbb{A}^1$, bestaat er een plaats $v$ (een absolute waarde) en constanten $c_1, c_2$ zodat de grootte van de iteraten exponentieel groeit:
  $$c_1 d^n < \log |f^n(x_0)|_v < c_2 d^n$$
  Dit betekent dat de $x$-coördinaat van een niet-pre-periodieke baan naar oneindig "stort" met de maximale snelheid $d^n$.

C. Contradictie via Asymptotisch Gedrag

Het centrale idee van het bewijs voor Propositie 1.2 is het aantonen dat een oneindige doorsnede van een baan met een kromme $C$ leidt tot een contradictie:

1. Gedrag van de $\mathbb{A}^1$-coördinaat: Volgens Lemma 2.2 gaat de $x$-coördinaat ($x_n$) naar oneindig met snelheid $d^n$ in een bepaalde plaats $v$.
2. Gedrag van de $\mathbb{P}^1$-coördinaat: Als de baan oneindig vaak de kromme $C$ snijdt, moet de $y$-coördinaat ($y_n$) zich asymptotisch gedragen op een manier die compatibel is met de vergelijking van $C$. De auteurs tonen aan dat dit vereist dat $y_n$ zich moet naderen tot een specifieke verzameling punten (wortels van de vergelijking op oneindig) met een snelheid die evenredig is met $d^n$.
3. Lemma 2.1 (Silberstein): Dit lemma stelt dat voor een niet-uitzonderlijk punt $p$ op $\mathbb{P}^1$, een niet-pre-periodieke baan $g^n(y_0)$ niet naar $p$ kan convergeren met de maximale snelheid $d^n$. De limiet van de genormaliseerde logaritmische afstand is 0.
4. De Contradictie: De vereiste convergentiesnelheid van de $y$-coördinaat (om op de kromme te blijven terwijl $x$ naar oneindig gaat) is strijdig met Lemma 2.1, tenzij $g$ een uitzonderlijk punt heeft. De auteurs tonen echter aan dat onder hun aannamen (geen iteratie van $g$ is een polynoom), $g$ geen uitzonderlijke punten heeft. Dit leidt tot een contradictie, wat impliceert dat de doorsnede eindig moet zijn.

D. Behandeling van Genus

Voor het algemene bewijs van Stelling 1.1 worden de krommen geanalyseerd op basis van hun genus:

• Genus > 1: De iteratie is de identiteit (triviale geval).
• Genus = 1: De afbeeldingen zijn etale; het resultaat volgt uit eerdere werken (Bell, Ghioca, Tucker).
• Genus = 0: Dit reduceert tot het geval $\mathbb{P}^1 \times \mathbb{P}^1$ of $\mathbb{A}^1 \times \mathbb{P}^1$, wat via de eerder bewezen propositie wordt opgelost.

4. Belangrijkste Resultaten

1. Bewijs voor Producten: Het DML-vermoeden is bewezen voor producten van een affiene kromme en een projectieve kromme over $\mathbb{Q}$. Dit is een significant uitbreiding van eerdere resultaten die zich beperkten tot $\mathbb{A}^2$ of etale afbeeldingen.
2. Technische Innovatie: Het artikel introduceert een krachtige methode om de interactie tussen dynamica op een affiene ruimte (waar punten naar oneindig kunnen gaan) en een projectieve ruimte (waar punten kunnen convergeren) te analyseren via lokale hoogten.
3. Generalisatie: Het resultaat leidt tot een breed toepasbare stelling (Corollary 1.3) die de DML(1)-eigenschap behoudt onder producten van dominante endomorfismen, mits de componentvariëteiten de eigenschap al bezitten.

5. Wetenschappelijke Betekenis

• Vooruitgang in Rekenkundige Dynamica: Dit werk vult een belangrijke lacune in de literatuur op door het DML-vermoeden te bevestigen voor een niet-triviale klasse van niet-etale, gesplitste systemen.
• Methodologische Impact: De combinatie van globale meetkundige argumenten (genus, normalisatie) met lokale p-adische of archimedische analyse (Lemma 2.1 en 2.2) biedt een blauwdruk voor het aanpakken van soortgelijke problemen op hogere dimensies of voor andere soorten producten.
• Toepassingsgebied: De resultaten zijn relevant voor het begrijpen van de verdeling van rationale punten onder dynamische systemen, wat fundamenteel is voor de interactie tussen getaltheorie en dynamische systemen.

Samenvattend biedt dit artikel een rigoureus en technisch onderbouwd bewijs voor een langdurig open probleem in een specifieke maar fundamentele context, en levert het nieuwe instrumenten aan voor de analyse van dynamische systemen op productvariëteiten.