Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

Technische Samenvatting: Hoogteargumenten richting het Dynamisch Mordell–Lang-probleem in willekeurige karakteristiek

Probleemstelling
Het artikel behandelt de Dynamisch Mordell–Lang (DML) conjectuur, een centraal probleem in de rekenkundige dynamica. De conjectuur stelt dat voor een rationele zelfafbeelding $f$ van een variëteit $X$ en een punt $x$ met een goed gedefinieerde orbit, de terugkeerverzameling $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ (waarbij $V$ een gesloten deelvariëteit is) een eindige unie van rekenkundige progressies is. Hoewel deze "0-DML" conjectuur in karakteristiek 0 geldt voor specifieke gevallen (bijvoorbeeld étale endomorfismen, endomorfismen van $\mathbb{A}^2$), faalt deze in positieve karakteristiek $p > 0$. In positieve karakteristiek kunnen terugkeerverzamelingen complexe structuren vertonen, wat leidt tot het "pDML"-probleem, dat streeft naar het karakteriseren van de vorm van deze verzamelingen. Eerder werk van Corvaja, Ghioca, Scanlon en Zannier [6] en de auteurs [37] vestigde dat terugkeerverzamelingen voor bepaalde systemen "p-normaal" of "breed p-normaal" zijn. De algemene structuur van terugkeerverzamelingen voor willekeurige endomorfismen in positieve karakteristiek blijft echter grotendeels onbekend en potentieel complexer dan eerder werd verondersteld.

Methodologie
De auteurs maken gebruik van hoogteargumenten om het DML-probleem in willekeurige karakteristiek te onderzoeken. De kernstrategie bestaat uit het identificeren van twee verschillende "snelheden" van hoogtetoename voor de orbit van een punt onder verschillende lijnbundels. Als de orbit een deelvariëteit oneindig vaak snijdt, moeten de via deze verschillende bundels berekende hoogtetoenamesnelheden compatibel zijn. De auteurs tonen aan dat onder specifieke dynamische voorwaarden deze toenamesnelheden incompatibel zijn, waardoor de doorsnede eindig wordt.

Belangrijke technische hulpmiddelen zijn:

1. Cohomologische Lyapunov-multiplicatoren ($\mu_i(f)$): Geïntroduceerd door de eerste auteur [29, 35], zijn deze gedefinieerd als verhoudingen van dynamische graden ($\lambda_i(f)/\lambda_{i-1}(f)$). Ze fungeren als eigenwaarden van de pullback-afbeelding op de numerieke klassengroep. De auteurs maken gebruik van de voorwaarde dat deze multiplicatoren geen eenheidswortels zijn (specifiek, niet in de verzameling $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$) om verschillende toenamesnelheden te genereren.
2. Galois-geconjugeerden: Om de benodigde tweede lijnbundel voor het hoogteargument te construeren, maken de auteurs gebruik van Galois-geconjugeerden van de cohomologische Lyapunov-multiplicatoren. De aanname dat $\mu_i(f) \notin \text{Root}$ garandeert dat een geconjugeerde $\mu'$ bestaat met $|\mu| \neq |\mu'|$, waardoor de vereiste dispariteit in toenamesnelheden ontstaat.
3. Albanese-afbeeldingen: Voor algemene projectieve variëteiten reduceren de auteurs het probleem tot extremale gevallen (waar het Picard-getal triviaal is of de variëteit een abelse variëteit is) met behulp van Albanese-afbeeldingen.
4. Moriwaki-hoogten: Hoewel de primaire bewijzen in positieve karakteristiek worden uitgevoerd met Weil-hoogten, merken de auteurs op dat de argumenten uitbreiden naar karakteristiek 0 door de Weil-hoogtemechanica te vervangen door Moriwaki's hoogte-mechanica [22], die voldoet aan de Northcott-eigenschap voor rekenkundige functielichamen.

Belangrijkste bijdragen en resultaten

1. Eindigheid van terugkeerverzamelingen voor dichte orbits (Stelling 1.1):
   De auteurs bewijzen dat voor een surjectief endomorfisme $f$ van een projectieve variëteit $X$, als de cohomologische Lyapunov-multiplicatoren $\mu_i(f)$ voor alle $i$ niet in $\text{Root}$ zitten, de terugkeerverzameling van een dichte orbit in elke gesloten deelkromme $C$ eindig is. Dit resultaat generaliseert eerdere bevindingen over cohomologisch hyperbolische automorfismen van oppervlakken [34] naar willekeurige dimensies en variëteiten.

   • Corollarium 1.3: Dit breidt zich uit tot gevallen waar de verzameling multiplicatoren een lege doorsnede heeft met het interval $[1, \deg(f)]$, inclusief cohomologisch hyperbolische automorfismen en versterkte automorfismen.

2. Gesplitste endomorfismen en productsystemen (Stelling 1.8):
   Het artikel vestigt een resultaat voor gesplitste endomorfismen van productruimten $X \times C$. Als $f: X \to X$ en $g: C \to C$ surjectieve endomorfismen zijn zodanig dat de graad van $g$ de eerste dynamische graad van $f$ overtreft ($\deg(g) > \lambda_1(f)$), en als $(X, f)$ voldoet aan de DML-eigenschap van type $\epsilon$ (waarbij $\epsilon \in \{0, 1, 2\}$), dan voldoet het productsysteem $(X \times C, f \times g)$ ook aan de DML-eigenschap van type $\epsilon$.

   • Mechanisme: De voorwaarde $\deg(g) > \lambda_1(f)$ creëert een "snelle" factor ($C$) en een "trage" factor ($X$). Het hoogteargument forceert dat de orbitcomponent in de snelle factor preperiodiek is, waardoor het probleem wordt gereduceerd tot de tragere factor.
   • Corollarium 1.9: Toegepast op producten van krommen met verschillende graden, impliceert dit dat als de graden van de factoren strikt toenemen (met de eerste gelijk aan 1), het systeem voldoet aan de DML2-eigenschap (breed p-normale verzamelingen).

3. Tegenvoorbeelden en complexiteit van terugkeerverzamelingen (Sectie 5):
   De auteurs tonen aan dat het hoogteargument niet op alle systemen kan worden toegepast, specifiek die met nul-entropie of int-versterkte endomorfismen (die "isotroop" zijn qua groei).

   • Propositie 1.12: Ze construeren een automorfisme van een lineaire torus met nul-entropie dat niet voldoet aan de DML1-eigenschap. Dit weerlegt een conjectuur van Ghioca [9] betreffende affiene variëteiten.
   • Voorbeelden 5.5 en 5.6: De auteurs geven heuristische en rigoureuze voorbeelden die tonen dat terugkeerverzamelingen aanzienlijk complexer kunnen zijn dan "breed p-normale verzamelingen". Specifiek construeren ze systemen waarbij de terugkeerverzameling oplossingen omvat voor systemen van polynoom-exponentiële vergelijkingen, wat verzamelingen oplevert van de vorm $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$, die buiten het bereik van eerder gedefinieerde p-normale verzamelingen vallen.

Betekenis en claims
Het artikel claimt de kennis van het DML-probleem in positieve karakteristiek te bevorderen door:

• Een verenigde op hoogte gebaseerde aanpak te bieden die werkt in willekeurige karakteristiek (met de juiste hoogte-mechanica).
• Een brede klasse van dynamische systemen te identificeren (die met niet-wortel Lyapunov-multiplicatoren) waar de terugkeerverzamelingen eindig zijn, waardoor bekende resultaten van oppervlakken naar hogere dimensies worden uitgebreid.
• De structurele relatie tussen gesplitste dynamische systemen en hun factoren te verduidelijken, en te laten zien hoe graadverschillen de complexiteit van terugkeerverzamelingen beheersen.
• De heersende intuïtie uit te dagen dat terugkeerverzamelingen in positieve karakteristiek begrensd zijn door "breed p-normale" structuren. De auteurs stellen expliciet dat hun voorbeelden tonen dat terugkeerverzamelingen "zeer ingewikkeld kunnen zijn — ingewikkelder dan experts ooit hebben verondersteld", zelfs voor nul-entropie endomorfismen van tori.

De auteurs blijven bescheiden wat betreft de volledige omvang van het pDML-probleem, en merken op dat het geval van endomorfismen van tori equivalent is aan het oplossen van moeilijke Diophantische vergelijkingen [6] en dat hun tegenvoorbeelden de noodzaak suggereren van een verfijnde conjectuur (Vraag 5.9) die semilineaire verzamelingen en systemen van vergelijkingen omvat. Ze claimen niet het algemene pDML-probleem opgelost te hebben, maar schetsen eerder de grenzen waar hoogteargumenten slagen en waar het probleem een ongekende complexiteit vertoont.