2025-11-20T16:13:14.857864

Cyclotomic integral points for affine dynamics

Ji, Xie, Zhang

Let $f:\mathbb{A}^N\to\mathbb{A}^N$ be a regular endomorphism of algebraic degree $d\geq2$ (i.e., $f$ extends to an endomorphism on $\mathbb{P}^N$ of algebraic degree $d$) defined over a number field. We prove that if the set of $f$-preperiodic cyclotomic points is Zariski-dense in $\mathbb{A}^N$, then some iterate $f^{\circ l}$ ($l\geq1$) is a quotient of a surjective algebraic group endomorphism $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$, over $\overline{\mathbb{Q}}$. This is a higher-dimensional generalization of a theorem of Dvornicich and Zannier on cyclotomic preperiodic points of one-variable polynomials. In fact, we prove a much more general rigidity result for all dominant endomorphisms $f$ on an affine variety $X$ defined over a number field, regarding "almost $f$-invariant" Zariski-dense subsets of cyclotomic integral points. As applications, we also apply our results to backward orbits of regular endomorphisms on $\mathbb{A}^N$ of algebraic degree $d\geq2$, and to periodic points of automorphisms of HÃ©non type on $\mathbb{A}^N$.

academic

Zyklotomische Ganzpunkte für affine Dynamik

Grundinformationen

Papier-ID: 2511.13443
Titel: Cyclotomic integral points for affine dynamics
Autoren: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
Klassifizierung: math.DS (Dynamische Systeme), math.AG (Algebraische Geometrie), math.NT (Zahlentheorie)
Einreichungsdatum: 17. November 2025
Papierlink: https://arxiv.org/abs/2511.13443

Zusammenfassung

Das vorliegende Papier untersucht reguläre Endomorphismen $f:\mathbb{A}^N\to\mathbb{A}^N$ des affinen Raums $\mathbb{A}^N$ über Zahlkörpern (algebraischer Grad $d\geq2$ ). Das Hauptresultat zeigt: Falls die Menge der $f$ -präperiodischen zyklotomischen Punkte in $\mathbb{A}^N$ Zariski-dicht ist, dann ist eine Iteration $f^{\circ l}$ ein Quotient eines Gruppenhomomorphismus $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ . Dies ist eine hochdimensionale Verallgemeinerung des Theorems von Dvornicich-Zannier über zyklotomische präperiodische Punkte univariater Polynome. Allgemeiner wird für dominante Endomorphismen affiner Varietäten über Zahlkörpern ein Starrheitsergebnis bezüglich "fast invarianter" Zariski-dichter Teilmengen zyklotomischer Ganzpunkte bewiesen. Als Anwendungen werden die Ergebnisse auf Rückwärtsorbit regulärer Endomorphismen und periodische Punkte von Hénon-ähnlichen Automorphismen angewendet.

Forschungshintergrund und Motivation

1. Forschungsfragen

Das Papier untersucht die Verteilungsprobleme spezieller Punkte (zyklotomischer Punkte) in algebraischen dynamischen Systemen, insbesondere:

Besitzt das dynamische System eine spezielle algebraische Struktur, wenn präperiodische Punkte eine Zariski-dichte Menge zyklotomischer Punkte enthalten?
Kann dieses Phänomen die "monomiale Typ"-Eigenschaft (monomial type) des Systems charakterisieren?

2. Bedeutung des Problems

Dieses Problem verbindet mehrere mathematische Bereiche:

Arithmetische Dynamik: Verständnis der Verteilung spezieller Punkte (wie zyklotomische Punkte, Torsionspunkte) in dynamischen Systemen
Unlikely Intersection Problem: Fortsetzung der Philosophie von Zannier und anderen – spezielle Punkte sollten nicht in nicht-speziellen Varietäten dicht sein
Diophantische Geometrie: Arithmetische Eigenschaften zyklotomischer Ganzpunkte

3. Einschränkungen bestehender Arbeiten

Dvornicich-Zannier-Theorem (2007) behandelt nur den eindimensionalen Fall:

Für Polynome $f\in K[z]$ vom Grad $d\geq2$ : Falls es unendlich viele präperiodische zyklotomische Punkte gibt, dann ist $f$ affin konjugiert zu $z^d$ oder $\pm T_d(z)$ (Chebyshev-Polynome)

Einschränkungen:

Beschränkt auf polynomiale Abbildungen von $\mathbb{A}^1$
Behandelt nicht den Fall höherdimensionaler affiner Räume
Nicht anwendbar auf allgemeinere dynamische Systeme (wie Hénon-Abbildungen)

4. Forschungsmotivation

Die Kernmotivation dieses Papiers ist:

Hochdimensionale Verallgemeinerung: Verallgemeinerung des Dvornicich-Zannier-Resultats auf $\mathbb{A}^N$
Einheitlicher Rahmen: Etablierung einer Starrheitstheorie für allgemeine dominante Endomorphismen
Erweiterung der Anwendungen: Lösung konkreter Probleme wie Rückwärtsorbit und Hénon-ähnliche Automorphismen

Kernbeiträge

Hauptstarrheitssatz (Theorem 1.2): Für einen dominanten Endomorphismus $f$ auf einer affinen Varietät $X$ wird bewiesen, dass die Zariski-Dichtheit einer Menge zyklotomischer Ganzpunkte, die drei Bedingungen erfüllt (DCI, BH, AI), impliziert, dass $(X,f)$ vom monomialen Typ ist.
Äquivalenzsatz (Theorem 1.3): Für kohomologisch hyperbolische Systeme ist der monomiale Typ äquivalent zum starken monomialen Typ.
Anwendung auf reguläre Endomorphismen (Theorem 1.4): Es wird bewiesen, dass für reguläre Endomorphismen $\mathbb{A}^N$ mit algebraischem Grad $d\geq2$ , falls präperiodische zyklotomische Punkte Zariski-dicht sind, das System vom starken monomialen Typ ist – dies ist eine direkte hochdimensionale Verallgemeinerung des Dvornicich-Zannier-Theorems.
Charakterisierung von Rückwärtsorbits (Theorem 1.5): Es werden notwendige und hinreichende Bedingungen dafür gegeben, dass zyklotomische Punkte in Rückwärtsorbits die Bedingungen (DCI, BH, AI) erfüllen.
Hénon-ähnliche Automorphismen (Theorem 1.7): Es wird bewiesen, dass periodische zyklotomische Punkte von Hénon-ähnlichen Automorphismen nicht Zariski-dicht sein können, was neue Evidenz für die "Unlikely Intersection"-Philosophie liefert.

Methodische Details

Aufgabendefinition

Eingabe:

Affine Varietät $X\subseteq \mathbb{A}^N_K$ ( $K$ ein Zahlkörper)
Dominanter Endomorphismus $f:X\to X$
Punktmenge $P\subseteq X(K)$

Aufgabe: Bestimmen, ob $(X,f)$ vom monomialen Typ ist, d.h. ob es existieren:

Ganzzahlen $l\geq1, n\geq\dim(X)$
Gruppenhomomorphismus $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
Dominante Abbildung $\phi:\mathbb{G}_m^n\to X$

so dass $f^{\circ l}\circ\phi = \phi\circ g$

Bedingungen: $P$ erfüllt

(DCI) Dichte zyklotomische Ganzpunkte: $P$ ist Zariski-dicht und Koordinaten liegen in $\frac{1}{M}\mathcal{O}_{K^c}$
(BH) Beschränkte Höhe: $\mathcal{C}(y)\leq c$ für alle $y\in P$
(AI) Fast invariant: $P\setminus f^{-1}(P)$ ist nicht Zariski-dicht

Beweisarchitektur

Der Beweis gliedert sich in vier Schlüsselschritte:

Schritt 1: Anwendung des Loxton-Theorems

Kernwerkzeug: Loxton-Theorem in der Verallgemeinerung von Dvornicich-Zannier (Theorem 2.1)

Schlussfolgerung: Es existiert eine endliche Menge $E\subset K$ und eine Ganzzahl $b$ , so dass $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

Konstruktion: Für jedes $a=(a_{ij})\in E^{bN}$ definiere

Abbildung $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$ , $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
Torsionspunktmenge $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
Abgeschlossene Teilmenge $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

Schlüsseleigenschaft: Durch Entfernen einer Ausnahmemenge kann angenommen werden, dass $\phi_a(\Lambda_a)^{Zar}=X$ für alle $a\in M$ .

Schritt 2: Konstruktion einer Korrespondenz

Definiere die Korrespondenz $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ wobei $\Gamma_{a_1,a_2} = \overline{\{(\xi_1,\xi_2)\in\Lambda_{a_1}\times\Lambda_{a_2}: f(\phi_{a_1}(\xi_1))=\phi_{a_2}(\xi_2)\}}^{Zar}$

Schlüsseleigenschaften:

$\pi_1(\Gamma) = Z$ (Surjektivität)
$(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ (Zusammenhang mit dem Graph von $f$ )
Nach dem Torsionspunktsatz (Theorem 2.3) ist jedes $\Gamma_{a_1,a_2}$ eine endliche Vereinigung von Torsionsnebenklassen

Schritt 3: Irreduzibilität und Surjektivität

Durch eine Reihe von Reduktionen:

Zerlege $Z$ in irreduzible Komponenten $Z=\bigsqcup_{\alpha\in I}Y_\alpha$ , jede $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
Wähle einen periodischen Punkt $\alpha_0\in J$ (wobei $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$ )
Ersetze durch Iterationen $f^{\circ n}$ $f^{\circ n}$ und Kompositionen des entsprechenden $\psi$ $ψ$ , um zu erhalten:
- $Y$ ist irreduzibel
- $\psi\subseteq Y\times Y$ ist irreduzibel
- $\psi(Y)=Y$ (Surjektivität)

Schritt 4: Induktion eines Gruppenhomomorphismus

Stabilisator-Technik:

Für jedes $y\in Y$ definiere den Stabilisator $T_y=\text{Stab}_Y(F_y)$ der Faser $F_y=\phi^{-1}(\phi(y))$
Setze $T=\bigcap_{y\in Y}T_y$
Nach Quotientenbildung durch $T$ kann $T=1$ angenommen werden

Schlüsselbeobachtung:

Für beliebige $y\in Y$ und $z\in\psi(y)$ gilt $\psi(y)=z\cdot V$ , wobei $V$ eine algebraische Untergruppe ist
Durch Invarianzargumente wird bewiesen, dass $V=1$
Daher ist $\psi$ der Graph einer Abbildung $g:Y\to Y$

Gruppenstruktur-Anpassung:

Da $\psi$ eine Torsionsnebenklasse ist, $g(y)=\tau_0\cdot g_0(y)$ ( $g_0$ ist Gruppenhomomorphismus, $\tau_0$ ist Torsionspunkt)
Durch Iteration wird $g(1)=1$ erreicht, daher wird $g$ ein Gruppenhomomorphismus

Technische Innovationen

Korrespondenz-Methode: Die Verwendung von $\Gamma$ zur Kodierung dynamischer Informationen ist eine Schlüsselinnovation zur Behandlung hochdimensionaler Probleme
Systematische Anwendung des Torsionspunktsatzes: Laurents Torsionspunktsatz (multiplikatives Manin-Mumford) wird als Kernwerkzeug verwendet
Kohomologische Hyperbolizitätstheorie: Theorem 1.3 nutzt die logarithmische Konkavität der dynamischen Grade und kohomologische Lyapunov-Multiplikatoren
Einheitlicher Rahmen: Die drei Bedingungen (DCI, BH, AI) bieten einen einheitlichen Rahmen zur Behandlung verschiedener Probleme

Einrichtung: $f:\mathbb{A}^N\to\mathbb{A}^N$ ist ein regulärer Endomorphismus mit algebraischem Grad $d\geq2$
Verifikation: Überprüfung, dass $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ die Bedingungen (DCI), (BH), (AI) erfüllt
Schlüssel: Verwendung der Eigenschaften der Green-Funktion $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$

Anwendung 2: Rückwärtsorbit (Theorem 1.5)

Einrichtung: $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
Notwendige und hinreichende Bedingung: $P$ erfüllt (DCI), (BH), (AI) $\Leftrightarrow$ $P$ ist Zariski-dicht

Anwendung 3: Hénon-ähnliche Automorphismen (Theorem 1.7)

Einrichtung: $f:\mathbb{A}^N\to\mathbb{A}^N$ ist Hénon-ähnlich ( $\deg_1(f)\geq2$ , $I(f)\cap I(f^{-1})=\emptyset$ )
Schlussfolgerung: $\text{Per}(f,\mathbb{A}^N(K^c))$ ist nicht Zariski-dicht (Beweis durch Widerspruch)
Schlüsselwerkzeug: Kawaguchis Green-Funktionstheorie

Für reguläre Endomorphismen wird (BH) durch Kompaktitätsargumente der Green-Funktion verifiziert
Verwendung der Bedingung $f^{-1}_h(0)=\{0\}$ zur Konstruktion einer Ganzzahl $M$ zur Verifikation von (DCI)
(AI) wird automatisch durch $P\subseteq f^{-1}(P)$ erfüllt

Ausgabeergebnis: Erfolgreiche Konstruktion von $f^{\circ l}\circ\phi = \phi\circ g$ wobei $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ ein surjektiver Gruppenhomomorphismus ist

Beweisstrategien für Theorem 1.3

Für kohomologisch hyperbolische Systeme:

Verwendung der Wachstumsratenabschätzung von Lemma 2.7
Zerlegung durch Lemma 2.6 in Teile mit Wurzeln der Einheit als Eigenwerte und positive Teile
Verwendung der Projektionsformel zur Herleitung eines Widerspruchs, um zu beweisen, dass $n=\dim(X)$ sein muss

Analyse kritischer Fälle

Fall 1: Eindimensionaler Fall stellt Dvornicich-Zannier-Theorem wieder her

Für $f\in K[z]$ mit Grad $d\geq2$ :

Nach Theorem 1.4: Falls es unendlich viele präperiodische zyklotomische Punkte gibt, dann ist $f$ vom starken monomialen Typ
Es existieren $n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ so dass $z^n\circ h=f^{\circ l}\circ h$
Nach $n=\pm d^l$ und klassischen Ergebnissen ist $f$ konjugiert zu $z^d$ oder $\pm T_d(z)$

Fall 2: Periodische Punkte von Hénon-Abbildungen

Für $f(x,y)=(p(x)-ay,x)$ ( $a\neq0, \deg p\geq2$ ):

Berechnung der dynamischen Grade: $\lambda_1(f)=d, \lambda_2(f)=1$ (wobei $d=\deg p$ )
Falls periodische zyklotomische Punkte dicht sind, nach Theorem 1.7 durch Widerspruch:
- Es muss ein $A\in\text{GL}_2(\mathbb{Z})$ existieren so dass $\lambda_i(\phi_A)=\lambda_i(f)$
- Aber $|\det(A)|=1$ widerspricht $\lambda_2(f)=d^2\geq4$
Schlussfolgerung: Periodische zyklotomische Punkte sind nicht dicht

Theoretische Erkenntnisse

Starrheitsphänomen: Die Zariski-Dichtheit zyklotomischer Punkte erzwingt, dass das System eine Algebraische-Gruppen-Struktur besitzt
Dimensionshindernisse: Für kohomologisch hyperbolische Systeme existiert keine "redundante Dimension" ( $n=\dim X$ )
Verifikation der Unlikely Intersection: Das Ergebnis für Hénon-ähnliche Automorphismen stimmt mit Zanniers Philosophie überein

Zukünftige Forschungsrichtungen

Das Papier deutet auf folgende Forschungsrichtungen hin:

Funktionenkörper-Verallgemeinerung: Können die Ergebnisse auf Funktionenkörper positiver Charakteristik verallgemeinert werden?
Abelische Punkte: Für $K=\mathbb{Q}$ die Verteilungsprobleme abelischer Erweiterungspunkte (teilweise bereits bearbeitet)
Algorithmische Fragen: Kann man algorithmisch bestimmen, ob ein gegebenes $f$ vom monomialen Typ ist?
Quantitative Ergebnisse: Können Obergrenzen für die Anzahl präperiodischer zyklotomischer Punkte gegeben werden?
Andere dynamische Systeme: Kann die Verallgemeinerung auf rationale Abbildungen, birationale Abbildungen usw. ausgedehnt werden?

Theoretischer Durchbruch: Erstmals Etablierung eines Starrheitstheorems für zyklotomische Punkte in höheren Dimensionen
Technische Innovation: Die Korrespondenz-Methode kodiert dynamische Informationen elegant
Werkzeugintegration: Geschickte Kombination von Loxton-Theorem, Torsionspunktsatz und dynamischer Gradtheorie

2. Beweisstruktur

Klarheit: Vierschrittiger Beweis mit klarer Logik und expliziten Zielen in jedem Schritt
Vollständigkeit: Lückenlose Verbindung von allgemeinen Theoremen zu konkreten Anwendungen
Technische Raffinesse: Stabilisator-Techniken und Gruppenstruktur-Anpassungen zeigen hohe mathematische Kunstfertigkeit

3. Anwendungswert

Breite: Einheitliche Behandlung regulärer Endomorphismen, Rückwärtsorbit, Hénon-Abbildungen
Erweiterbarkeit: Der Rahmen könnte auf andere dynamische Systemprobleme angewendet werden
Theoretische Bedeutung: Liefert neue Evidenz für die "Unlikely Intersection"-Philosophie

4. Schreibqualität

Organisation: Detaillierte Einleitung, klare Motivation, schrittweise Beweisdarstellung
Lesbarkeit: Trotz technischer Komplexität ist die Logik leicht nachvollziehbar
Literaturübersicht: Umfassende Überprüfung verwandter Arbeiten mit klarer Positionierung der Beiträge

Schwächen

1. Technische Einschränkungen

Kohomologische Hyperbolizität: Die zusätzliche Annahme in Theorem 1.3 schränkt die Allgemeinheit ein
Zahlkörper-Annahme: Funktionenkörper-Fall völlig unbehandelt
Fehlende Konstruktivität: Keine effektiven Algorithmen

2. Anwendungsbereich

Spezielle Punkttypen: Nur zyklotomische Punkte, nicht CM-Punkte oder andere spezielle Punkte
Dynamische Systemtypen: Hauptsächlich polynomiale Endomorphismen, rationale Funktionen unklar

3. Quantitative Aspekte

Konstanten-Abhängigkeit: Konkrete Abhängigkeit der Konstanten $M,c$ nicht gegeben
Komplexität: Komplexität von Bestimmungsalgorithmen nicht diskutiert

4. Fehlende Beispiele

Konkrete Beispiele: Außer Chebyshev-Polynomen fehlen andere nicht-triviale Beispiele
Grenzfälle: Keine Diskussion von Fällen, in denen Bedingungen nicht erfüllt sind

Einflussbeurteilung

Beitrag zum Forschungsgebiet

Arithmetische Dynamik: Eröffnet neue Forschungsrichtung für hochdimensionale zyklotomische Punkte
Diophantische Geometrie: Bietet neue Techniken zur Behandlung zyklotomischer Ganzpunkte
Algebraische Geometrie: Korrespondenz-Methode könnte breitere Anwendungen haben

Praktischer Wert

Theoretische Orientierung: Bietet theoretischen Rahmen für Untersuchung spezieller Punktverteilungen
Problemlösung: Beantwortet langfristige Fragen zu periodischen Punkten von Hénon-Abbildungen

Reproduzierbarkeit

Beweiskompletheit: Alle Theoreme haben vollständige Beweise
Standard-Werkzeuge: Verwendung standardisierter mathematischer Werkzeuge
Logische Klarheit: Beweise können schrittweise verifiziert werden

Anwendungsszenarien

Theoretische Forschung

Untersuchung der Struktur hochdimensionaler algebraischer dynamischer Systeme
Erkundung der Verteilung spezieller Punkte (Torsionspunkte, CM-Punkte usw.)
Entwicklung der "Unlikely Intersection"-Theorie

Konkrete Probleme

Bestimmung, ob eine gegebene Abbildung vom monomialen Typ ist
Untersuchung arithmetischer Eigenschaften präperiodischer Punkte
Analyse der Struktur von Rückwärtsorbits

Methodische Anleihen

Korrespondenz-Techniken können auf andere geometrische Probleme angewendet werden
Stabilisator-Methoden können für andere Quotientenkonstruktionen verwendet werden
Green-Funktions-Techniken können auf andere Höhenprobleme angewendet werden

Ausgewählte Referenzen

Kernzitate

Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
- Originalergebnis für den eindimensionalen Fall
Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
- Beweis des Torsionspunktsatzes
Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
- Green-Funktionstheorie für Hénon-ähnliche Automorphismen
Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
- Logarithmische Konkavität dynamischer Grade
Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
- Systematische Darstellung der "Unlikely Intersection"-Philosophie