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

Technische Zusammenfassung: Höhenargumente zum dynamischen Mordell–Lang-Problem in beliebiger Charakteristik

Problemstellung
Der Artikel behandelt die Dynamische Mordell–Lang-Vermutung (DML), ein zentrales Problem der arithmetischen Dynamik. Die Vermutung besagt, dass für eine rationale Selbstabbildung $f$ einer Varietät $X$ und einen Punkt $x$ mit wohldefinierter Bahn die Rückkehrmenge $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ (wobei $V$ eine abgeschlossene Untervarietät ist) eine endliche Vereinigung arithmetischer Progressionen ist. Während diese „0-DML"-Vermutung in Charakteristik 0 für spezifische Fälle gilt (z. B. étale Endomorphismen, Endomorphismen von $\mathbb{A}^2$), versagt sie in positiver Charakteristik $p > 0$. In positiver Charakteristik können Rückkehrmengen komplexe Strukturen aufweisen, was zum „pDML"-Problem führt, das danach sucht, die Form dieser Mengen zu charakterisieren. Vorherige Arbeiten von Corvaja, Ghioca, Scanlon und Zannier [6] sowie von den Autoren [37] zeigten, dass Rückkehrmengen für bestimmte Systeme „p-normal" oder „weitgehend p-normal" sind. Die allgemeine Struktur von Rückkehrmengen für beliebige Endomorphismen in positiver Charakteristik bleibt jedoch weitgehend unbekannt und könnte komplexer sein als zuvor vermutet.

Methodik
Die Autoren wenden Höhenargumente an, um das DML-Problem in beliebiger Charakteristik zu untersuchen. Die Kernstrategie besteht darin, zwei unterschiedliche „Geschwindigkeiten" des Höhenwachstums für die Bahn eines Punktes unter verschiedenen Geradenbündeln zu identifizieren. Wenn die Bahn eine Untervarietät unendlich oft schneidet, müssen die über diese verschiedenen Bündel berechneten Wachstumsraten der Höhen kompatibel sein. Die Autoren zeigen, dass unter spezifischen dynamischen Bedingungen diese Wachstumsraten inkompatibel sind, was die Schnittmenge endlich zwingt.

Zu den wichtigsten technischen Werkzeugen gehören:

1. Kohomologische Lyapunov-Multiplikatoren ($\mu_i(f)$): Vom ersten Autor [29, 35] eingeführt, sind diese als Quotienten dynamischer Grade ($\lambda_i(f)/\lambda_{i-1}(f)$) definiert. Sie dienen als Eigenwerte des Pullback-Abbilds auf der Gruppe der numerischen Klassen. Die Autoren nutzen die Bedingung, dass diese Multiplikatoren keine Einheitswurzeln sind (speziell nicht in der Menge $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$ enthalten sind), um unterschiedliche Wachstumsraten zu erzeugen.
2. Galois-Konjugierte: Um das notwendige zweite Geradenbündel für das Höhenargument zu konstruieren, verwenden die Autoren Galois-Konjugierte der kohomologischen Lyapunov-Multiplikatoren. Die Annahme, dass $\mu_i(f) \notin \text{Root}$, stellt sicher, dass ein konjugiertes $\mu'$ existiert mit $|\mu| \neq |\mu'|$, wodurch die erforderliche Diskrepanz in den Wachstumsgeschwindigkeiten entsteht.
3. Albanese-Abbildungen: Für allgemeine projektive Varietäten reduzieren die Autoren das Problem mittels Albanese-Abbildungen auf Extremalfälle (wo die Picard-Zahl trivial ist oder die Varietät eine abelsche Varietät ist).
4. Moriwaki-Höhen: Während die Hauptbeweise in positiver Charakteristik unter Verwendung von Weil-Höhen geführt werden, stellen die Autoren fest, dass sich die Argumente auf Charakteristik 0 übertragen lassen, indem die Weil-Höhen-Mechanik durch Moriwakis Höhenmechanik [22] ersetzt wird, welche die Northcott-Eigenschaft für arithmetische Funktionenkörper erfüllt.

Hauptbeiträge und Ergebnisse

1. Endlichkeit von Rückkehrmengen für dichte Bahnen (Satz 1.1):
   Die Autoren beweisen, dass für einen surjektiven Endomorphismus $f$ einer projektiven Varietät $X$, wenn die kohomologischen Lyapunov-Multiplikatoren $\mu_i(f)$ für alle $i$ nicht in $\text{Root}$ liegen, die Rückkehrmenge einer dichten Bahn in jede abgeschlossene Kurve $C$ endlich ist. Dieses Ergebnis verallgemeinert frühere Befunde zu kohomologisch hyperbolischen Automorphismen von Flächen [34] auf beliebige Dimensionen und Varietäten.

   • Korollar 1.3: Dies erstreckt sich auf Fälle, in denen die Menge der Multiplikatoren einen leeren Schnitt mit dem Intervall $[1, \deg(f)]$ hat, einschließlich kohomologisch hyperbolischer Automorphismen und verstärkter Automorphismen.

2. Gespaltene Endomorphismen und Produktsysteme (Satz 1.8):
   Der Artikel etabliert ein Ergebnis für gesplittete Endomorphismen von Produkträumen $X \times C$. Wenn $f: X \to X$ und $g: C \to C$ surjektive Endomorphismen sind, sodass der Grad von $g$ den ersten dynamischen Grad von $f$ übersteigt ($\deg(g) > \lambda_1(f)$), und wenn $(X, f)$ die DML-Eigenschaft vom Typ $\epsilon$ erfüllt (wobei $\epsilon \in \{0, 1, 2\}$), dann erfüllt auch das Produktsystem $(X \times C, f \times g)$ die DML-Eigenschaft vom Typ $\epsilon$.

   • Mechanismus: Die Bedingung $\deg(g) > \lambda_1(f)$ erzeugt einen „schnellen" Faktor ($C$) und einen „langsamen" Faktor ($X$). Das Höhenargument zwingt die Bahnkomponente im schnellen Faktor, präperiodisch zu sein, und reduziert das Problem auf den langsameren Faktor.
   • Korollar 1.9: Angewendet auf Produkte von Kurven mit unterschiedlichen Graden, impliziert dies, dass wenn die Grade der Faktoren streng ansteigen (wobei der erste 1 ist), das System die DML2-Eigenschaft erfüllt (weitgehend p-normale Mengen).

3. Gegenbeispiele und Komplexität von Rückkehrmengen (Abschnitt 5):
   Die Autoren zeigen, dass das Höhenargument nicht auf alle Systeme angewendet werden kann, speziell auf solche mit Null-Entropie oder int-amplifizierten Endomorphismen (die in Bezug auf das Wachstum „isotrop" sind).

   • Proposition 1.12: Sie konstruieren einen Automorphismus eines linearen Torus mit Null-Entropie, der die DML1-Eigenschaft nicht erfüllt. Dies widerlegt eine Vermutung von Ghioca [9] bezüglich affiner Varietäten.
   • Beispiele 5.5 und 5.6: Die Autoren liefern heuristische und strenge Beispiele, die zeigen, dass Rückkehrmengen erheblich komplexer sein können als „weitgehend p-normale Mengen". Speziell konstruieren sie Systeme, bei denen die Rückkehrmenge Lösungen von Systemen polynomial-exponentieller Gleichungen beinhaltet und Mengen der Form $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$ ergibt, die außerhalb des Geltungsbereichs zuvor definierter p-normaler Mengen liegen.

Bedeutung und Behauptungen
Der Artikel beansprucht, das Verständnis des DML-Problems in positiver Charakteristik voranzutreiben durch:

• Bereitstellung eines einheitlichen höhenbasierten Ansatzes, der in beliebiger Charakteristik funktioniert (mit entsprechender Höhenmechanik).
• Identifizierung einer breiten Klasse dynamischer Systeme (jene mit nicht-wurzelhaften Lyapunov-Multiplikatoren), bei denen die Rückkehrmengen endlich sind, und Erweiterung bekannter Ergebnisse von Flächen auf höhere Dimensionen.
• Klärung der strukturellen Beziehung zwischen gesplitteten dynamischen Systemen und ihren Faktoren, indem gezeigt wird, wie Gradunterschiede die Komplexität von Rückkehrmengen steuern.
• Infragestellung der vorherrschenden Intuition, dass Rückkehrmengen in positiver Charakteristik durch „weitgehend p-normale" Strukturen beschränkt sind. Die Autoren stellen ausdrücklich fest, dass ihre Beispiele zeigen, dass Rückkehrmengen „sehr kompliziert sein können – komplizierter, als Experten sich je vorgestellt haben", selbst für Endomorphismen von Tori mit Null-Entropie.

Die Autoren bleiben bescheiden hinsichtlich des vollen Umfangs des pDML-Problems und stellen fest, dass der Fall von Endomorphismen von Tori äquivalent zur Lösung schwerer diophantischer Gleichungen ist [6] und dass ihre Gegenbeispiele die Notwendigkeit einer verfeinerten Vermutung (Frage 5.9) nahelegen, die semilineare Mengen und Gleichungssysteme umfasst. Sie beanspruchen nicht, das allgemeine pDML-Problem gelöst zu haben, sondern grenzen vielmehr die Bereiche ab, in denen Höhenargumente erfolgreich sind, und wo das Problem eine beispiellose Komplexität aufweist.