Local height arguments toward the dynamical Mordell-Lang conjecture

Technische Samenvatting: Lokale Hoogte-argumenten richting de Dynamische Mordell–Lang-vermoeden

Probleemstelling
Dit artikel onderzoekt het Dynamische Mordell–Lang (DML)-vermoeden voor reguliere endomorfismen van de complexe affiene ruimte $\mathbb{A}^N_{\mathbb{C}}$. Het DML-vermoeden stelt dat voor een endomorfisme $f$ van een quasi-projectieve variëteit $X$, de terugkeerverzameling $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ van een punt $x$ in een gesloten deelvariëteit $V$ een eindige vereniging van rekenkundige progressies is. Hoewel het vermoeden bekend is voor specifieke gevallen (bijvoorbeeld étale endomorfismen of $\mathbb{A}^2$), richt dit werk zich op het geval waarin $V$ een kromme is (de DML(1)-eigenschap) voor een specifieke klasse van reguliere endomorfismen met een "graadkloof".

De auteurs beschouwen reguliere endomorfismen $f: \mathbb{A}^N \to \mathbb{A}^N$ die uitbreiden tot $\mathbb{P}^N$. Dergelijke afbeeldingen zijn van de vorm $f(x) = (f_1+g_1, \dots, f_N+g_N)$, waarbij $f_i$ homogene polynomen van graad $d$ zijn zonder gemeenschappelijke nulpunten, en $g_i$ polynomen zijn van graad $\le d-k$. Het gehele getal $k$ is de "graadkloof". Het gedrag van de geïnduceerde afbeelding $f_\infty$ op het hypervlak op oneindig $H_\infty$ is cruciaal. Het centrale probleem is om te bepalen onder welke voorwaarden op $k$ en de ramificatie van $f_\infty$ de DML(1)-eigenschap geldt en om de periodieke krommen te karakteriseren.

Methodologie
De auteurs maken gebruik van een "lokaal hoogte-argument", een techniek die verschilt van de globale hoogte-argumenten die in eerdere werken zijn gebruikt (bijvoorbeeld door Ghioca, Tucker en Xie) en die vertrouwen op het systeem dat "gepolariseerd" is op een manier die twee verschillende groeisnelheden toelaat. Aangezien de hier bestudeerde systemen gepolariseerd zijn, faalt het globale hoogte-argument. In plaats daarvan maken de auteurs gebruik van:

1. Arakelov-theorie voor Arithmetische Functielichamen: Om te werken over $\mathbb{C}$, dalen de auteurs af naar een arithmetisch functielichaam $K$ (een eindig gegenereerde uitbreiding van $\mathbb{Q}$) waar alle data gedefinieerd zijn. Zij maken gebruik van de Arakelov-theorie ontwikkeld door Vojta en Moriwaki, die een productformule en een maatruimte van absolute waarden $M_K$ biedt.
2. Lokale Hoogten (Weil-functies): Zij definiëren Weil-functies $\lambda_P$ voor punten en $\lambda_{H_\infty}$ voor het hypervlak op oneindig over de verzameling plaatsen $S$. Deze functies meten de nabijheid van punten tot specifieke deelvariëteiten.
3. Stelling van Roth: Een centraal hulpmiddel is de stelling van Roth over arithmetische functielichamen (vastgesteld door Vojta). De auteurs gebruiken dit om de verdeling van punten op krommen te controleren. Specifiek bewijzen zij dat als een kromme "voldoende verticaal" is (wat betekent dat punten op de kromme het hypervlak op oneindig op een specifieke manier benaderen ten opzichte van hun projectie), de kromme een rechte lijn moet zijn.
4. Noordcot's Eindigheids-eigenschap: Dit wordt gebruikt om de eindigheid van periodieke punten met gebonden hoogte vast te stellen, waardoor wordt gegarandeerd dat de achterwaartse banen van punten op oneindig eindige verzamelingen van periodieke punten zijn.
5. Driehoeksongelijkheid en Iteratie: Het bewijs omvat het construeren van een rij van pre-afbeeldingen van de kromme $C$ (aangeduid als $C_{-n}$) en het aantonen dat onder de voorwaarde van de graadkloof, deze krommen op hun snijpunten met $H_\infty$ steeds "verticaal" worden.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Stelling 1.3): Laat $f$ een regulier endomorfisme van $\mathbb{A}^N$ zijn met graadkloof $k$. Als $C$ een irreducibele gesloten deelkromme is met een oneindige doorsnede met een baan van $f$, en als $k > 2 \max_{P \in I_0} e_{f_\infty}(P)$ (waarbij $I_0$ de voorwaartse baan is van de snijpunten $C \cap H_\infty$ en $e_{f_\infty}(P)$ de multipliciteit is van $f_\infty$ in $P$), dan:

  1. Bestaat de doorsnede $C \cap H_\infty$ uit 1 of 2 punten, die periodiek zijn onder $f_\infty$.
  2. Is $C$ een "verticale lijn" (een rechte lijn die door de oorsprong gaat).

• DML(1)-eigenschap (Stelling 1.7): Onder dezelfde voorwaarde ($k > 2 \max_{P \in \text{Per}(f_\infty)} e_{f_\infty}(P)$) voldoet de afbeelding $f$ aan de DML(1)-eigenschap. Bovendien is elke irreducibele $f$-periodieke kromme een verticale lijn.

• Bestaan van Voorbeelden (Propositie 1.6): De auteurs bewijzen dat voor een algemeen endomorfisme $f_\infty$ van $H_\infty \cong \mathbb{P}^{N-1}$ van graad $d$, de maximale multipliciteit begrensd is door $(N-1)! \cdot 2^{N-1}. Als gevolg daarvan, als de graadkloof$k$ wordt gekozen als $(N-1)! \cdot 2^N + 1$, is de voorwaarde voor de hoofdstelling voldaan voor algemene $f_\infty$.

• Optimaliteit (Voorbeeld 1.8): Het artikel levert voorbeelden die aantonen dat de voorwaarde $k > 2 \max e_{f_\infty}(P)$ optimaal is. Specifiek, als de ongelijkheid wordt versoepeld tot $\ge$, bestaan er invariante krommen die geen verticale lijnen zijn.

• Karakterisering van Periodieke Krommen: Als bijproduct karakteriseren de auteurs de periodieke krommen voor dergelijke afbeeldingen volledig: het zijn strikt verticale lijnen. Als de vereniging van deze lijnen Zariski-dicht is, moeten de termen van lagere graad $g_i$ verdwijnen.

Betekenis en Claims
Het artikel claimt de kennis van het DML-vermoeden in hogere dimensies te vergroten door een "lokaal hoogte-argument" in te voeren dat is toegesneden op gepolariseerde systemen met een zichtbare graadkloof. De betekenis ligt in:

1. Breken van Isotropie: De voorwaarde op de graadkloof en ramificatie wordt geïnterpreteerd als een mechanisme om de "isotropie" van het systeem te doorbreken, waardoor de auteurs twee verschillende snelheden van lokale hoogte-groei kunnen vinden, wat noodzakelijk is voor het toepassen van de stelling van Roth.
2. Volledige Classificatie: In tegenstelling tot eerdere werken die mogelijk alleen de DML-eigenschap vaststellen, maakt deze benadering expliciete bepaling van alle periodieke krommen mogelijk (ze identificerend als verticale lijnen) als een direct gevolg van het bewijs.
3. Optimaliteit: De auteurs gaan expliciet in op de scherpte van hun voorwaarden, en tonen aan dat de strikte ongelijkheid noodzakelijk is om de geometrische rigiditeit van de periodieke krommen af te dwingen.
4. Beperkingen in Positieve Karakteristiek: Het artikel merkt op dat hun methode sterk afhankelijk is van de stelling van Siegel en de stelling van Roth, die niet in dezelfde vorm gelden in positieve karakteristiek. Zij leveren een tegenvoorbeeld in positieve karakteristiek waar invariante krommen geen verticale lijnen zijn, wat suggereert dat nieuwe methoden vereist zijn voor die setting.

Het werk wordt gepresenteerd als een opvolger van eerdere op hoogte gebaseerde argumenten (specifiek verwijzend naar [XYb]), maar aangepast aan de specifieke beperkingen van reguliere endomorfismen met graadkloven, met gebruikmaking van de setting van arithmetische functielichamen om het complexe geval te behandelen.