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

アフィン力学系における円分整数点

基本情報

論文ID: 2511.13443
タイトル: Cyclotomic integral points for affine dynamics
著者: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
分類: math.DS（力学系）、math.AG（代数幾何）、math.NT（数論）
提出日時: 2025年11月17日
論文リンク: https://arxiv.org/abs/2511.13443

要約

本論文は、数体上で定義されたアフィン空間 $\mathbb{A}^N$ の正則自己同型 $f:\mathbb{A}^N\to\mathbb{A}^N$ （代数次数 $d\geq2$ ）を研究する。主要な結果は、 $f$ -前周期円分点の集合が $\mathbb{A}^N$ 内でザリスキ稠密である場合、ある反復 $f^{\circ l}$ が代数群自己同型 $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ の商であることを証明している。これはDvornicich-Zannier による単変数多項式の円分前周期点定理の高次元への一般化である。より一般的には、本論文は数体上で定義されたアフィン多様体の支配的自己同型に対して、「ほぼ不変な」ザリスキ稠密円分整数点部分集合に関する剛性結果を証明している。応用として、結果は正則自己同型の後方軌道とヘノン型自己同型の周期点に適用される。

研究背景と動機

1. 研究問題

本論文は代数力学系における特殊点（円分点）の分布問題を研究し、特に以下に焦点を当てている：

前周期点がザリスキ稠密な円分点を含む場合、力学系は特殊な代数構造を持つか？
この現象はシステムの「単項式型」（monomial type）性質を特徴付けることができるか？

2. 問題の重要性

この問題は複数の数学分野を結びつけている：

算術力学系：特殊点（円分点、ねじれ点など）の力学系における分布の理解
不可能な交差問題（Unlikely Intersection）：Zannier等による哲学の継続——特殊点は非特殊多様体で稠密であるべきではない
ディオファントス幾何：円分整数点の算術的性質

3. 既存研究の限界

Dvornicich-Zannier定理（2007） は1次元の場合のみを扱う：

次数 $d\geq2$ の多項式 $f\in K[z]$ に対して、前周期円分点が無限個存在すれば、 $f$ はアフィン共役で $z^d$ または $\pm T_d(z)$ （チェビシェフ多項式）に等しい

限界：

$\mathbb{A}^1$ の多項式写像のみに限定
高次元アフィン空間の場合を扱わない
より一般的な力学系（ヘノン写像など）に適用不可

4. 研究動機

本論文の核心的動機は：

高次元への一般化：Dvornicich-Zannier の結果を $\mathbb{A}^N$ に拡張
統一的枠組み：一般的な支配的自己同型に適用可能な剛性理論の確立
応用の拡張：後方軌道とヘノン型自己同型などの具体的問題の解決

核心的貢献

主要剛性定理（定理1.2）：アフィン多様体 $X$ 上の支配的自己同型 $f$ に対して、3つの条件（DCI、BH、AI）を満たす円分整数点の集合のザリスキ稠密性が $(X,f)$ が単項式型であることを蕴含することを証明した。
等価性定理（定理1.3）：上同調双曲系に対して、単項式型は強単項式型と等価である。
正則自己同型への応用（定理1.4）： $\mathbb{A}^N$ 上の代数次数 $d\geq2$ の正則自己同型に対して、前周期円分点がザリスキ稠密であれば、システムは強単項式型であることを証明した——これはDvornicich-Zannier定理の直接的な高次元への一般化である。
後方軌道の特徴付け（定理1.5）：後方軌道における円分点が条件（DCI、BH、AI）を満たすための必要十分条件を与えた。
ヘノン型自己同型（定理1.7）：ヘノン型自己同型の周期円分点はザリスキ稠密ではあり得ないことを証明し、「不可能な交差」哲学に新たな証拠を提供した。

方法の詳細説明

タスク定義

入力：

アフィン多様体 $X\subseteq \mathbb{A}^N_K$ （ $K$ は数体）
支配的自己同型 $f:X\to X$
点集合 $P\subseteq X(K)$

タスク： $(X,f)$ が単項式型であるかを判定する。すなわち、以下が存在するかを判定する：

整数 $l\geq1, n\geq\dim(X)$
群自己同型 $g:\mathbb{G}_m^n\to\mathbb{G}_m^n$
支配的射 $\phi:\mathbb{G}_m^n\to X$

ただし $f^{\circ l}\circ\phi = \phi\circ g$

条件： $P$ が以下を満たす

(DCI) 稠密円分整数点： $P$ はザリスキ稠密で座標が $\frac{1}{M}\mathcal{O}_{K^c}$ に属する
(BH) 有界高さ：すべての $y\in P$ に対して $\mathcal{C}(y)\leq c$
(AI) ほぼ不変： $P\setminus f^{-1}(P)$ はザリスキ稠密ではない

証明の構造

証明は4つの重要なステップに分かれている：

ステップ1：Loxton定理の応用

核心的ツール：Dvornicich-Zannier による推広されたLoxton定理（定理2.1）

結論：有限集合 $E\subset K$ と整数 $b$ が存在して $P\subseteq \left(\sum_{i=1}^b E\cdot U(\mathbb{C})\right)^N$

構成：各 $a=(a_{ij})\in E^{bN}$ に対して、以下を定義する：

射 $\phi_a:\mathbb{G}_m^{bN}\to\mathbb{A}^N$ 、 $(z_{ij})\mapsto\left(\sum_j a_{ij}z_{ij}\right)_i$
ねじれ点集合 $\Lambda_a = \phi_a^{-1}(P)\cap\mathbb{G}_m^{bN}(K)_{tors}$
閉部分集合 $Z_a = \overline{\Lambda_a}^{Zar}\subseteq \mathbb{G}_m^{bN}$

重要な性質：例外集合を除去することで、すべての $a\in M$ に対して $\phi_a(\Lambda_a)^{Zar}=X$ と仮定できる。

ステップ2：対応関係の構成

対応関係を定義する $\Gamma = \bigsqcup_{(a_1,a_2)\in M^2}\Gamma_{a_1,a_2}\subseteq Z\times Z$ ここで $\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}$

重要な性質：

$\pi_1(\Gamma) = Z$ （全射性）
$(\phi\times\phi)(\Gamma)^{Zar} = \Gamma_f$ （ $f$ のグラフに関連）
ねじれ点定理（定理2.3）により、各 $\Gamma_{a_1,a_2}$ はねじれ陪集の有限和

ステップ3：既約性と全射性

一連の約化を通じて：

$Z$ を既約成分 $Z=\bigsqcup_{\alpha\in I}Y_\alpha$ に分解し、各 $Y_\alpha\cong\mathbb{G}_m^{\gamma_\alpha}$
周期点 $\alpha_0\in J$ を選択（ここで $J=\{\alpha:\phi(Y_\alpha)^{Zar}=X\}$ ）
反復 $f^{\circ n}$ $f^{\circ n}$ と対応する $\psi$ $ψ$ の合成で置き換え、以下を得る：
- $Y$ は既約
- $\psi\subseteq Y\times Y$ は既約
- $\psi(Y)=Y$ （全射性）

ステップ4：群自己同型の誘導

安定化子技巧：

各 $y\in Y$ に対して、ファイバー $F_y=\phi^{-1}(\phi(y))$ の安定化子 $T_y=\text{Stab}_Y(F_y)$ を定義
$T=\bigcap_{y\in Y}T_y$ とする
$T$ で商をとることで $T=1$ と仮定できる

重要な観察：

任意の $y\in Y$ と $z\in\psi(y)$ に対して、 $\psi(y)=z\cdot V$ ただし $V$ は代数部分群
不変性論証により、 $V=1$ を証明
したがって $\psi$ は射 $g:Y\to Y$ のグラフ

群構造の調整：

$\psi$ はねじれ陪集なので、 $g(y)=\tau_0\cdot g_0(y)$ （ $g_0$ は群自己同型、 $\tau_0$ はねじれ点）
反復により $g(1)=1$ となるようにし、 $g$ が群自己同型となる

技術的革新点

対応関係の方法： $\Gamma$ を用いて力学情報を符号化する。これは高次元問題を扱うための重要な技術的革新
ねじれ点定理の体系的応用：Laurent のねじれ点定理（乗法的Manin-Mumford）を核心的ツールとして使用
上同調双曲性理論：定理1.3は動力度数の対数凹性と上同調Lyapunov乗数を利用
統一的枠組み：3つの条件（DCI、BH、AI）は異なる問題を統一的に扱うための枠組みを提供

設定： $f:\mathbb{A}^N\to\mathbb{A}^N$ は代数次数 $d\geq2$ の正則自己同型
検証： $P=\text{PrePer}(f,\mathbb{A}^N(K^c))$ が（DCI）、（BH）、（AI）を満たすことを確認
重要：Green関数 $G(z)=\lim_{n\to\infty}\frac{1}{d^n}\log\max\{1,\|f^{\circ n}(z)\|\}$ の性質を利用

応用2：後方軌道（定理1.5）

設定： $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
必要十分条件： $P$ が（DCI）、（BH）、（AI）を満たす $\Leftrightarrow$ $P$ はザリスキ稠密

応用3：ヘノン型自己同型（定理1.7）

設定： $f:\mathbb{A}^N\to\mathbb{A}^N$ はヘノン型（ $\deg_1(f)\geq2$ 、 $I(f)\cap I(f^{-1})=\emptyset$ ）
結論： $\text{Per}(f,\mathbb{A}^N(K^c))$ はザリスキ稠密ではない（背理法）
重要なツール：川口の Green 関数理論

正則自己同型に対して、Green関数のコンパクト性論証により（BH）を検証
$f^{-1}_h(0)=\{0\}$ 条件を利用して整数 $M$ を構成し（DCI）を検証
（AI）は $P\subseteq f^{-1}(P)$ から自動的に満たされる

出力結果：以下を構成することに成功 $f^{\circ l}\circ\phi = \phi\circ g$ ここで $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ は全射群自己同型

定理1.3の証明戦略

上同調双曲系に対して：

補題2.7の成長率推定を利用
補題2.6により根単位固有値部分と正部分に分解
投影公式を用いて矛盾を導き、 $n=\dim(X)$ であることを証明

重要な事例分析

事例1：1次元の場合でDvornicich-Zannier定理を復元

$f\in K[z]$ 次数 $d\geq2$ に対して：

定理1.4により、前周期円分点が無限個存在すれば、 $f$ は強単項式型
$n\in\mathbb{Z}, h\in\mathbb{Q}(z)\setminus\mathbb{Q}$ が存在して $z^n\circ h=f^{\circ l}\circ h$
$n=\pm d^l$ と古典的結果により、 $f$ は $z^d$ または $\pm T_d(z)$ に共役

事例2：ヘノン写像の周期点

$f(x,y)=(p(x)-ay,x)$ （ $a\neq0, \deg p\geq2$ ）に対して：

動力度数を計算： $\lambda_1(f)=d, \lambda_2(f)=1$ （ここで $d=\deg p$ ）
周期円分点が稠密であれば、定理1.7の背理法により：
- $A\in\text{GL}_2(\mathbb{Z})$ が存在して $\lambda_i(\phi_A)=\lambda_i(f)$
- しかし $|\det(A)|=1$ は $\lambda_2(f)=d^2\geq4$ と矛盾
結論：周期円分点は稠密ではない

理論的発見

剛性現象：円分点のザリスキ稠密性は系が代数群構造を持つことを強制する
次元障害：上同調双曲系に対して、「冗長次元」（ $n=\dim X$ ）は存在しない
不可能な交差の検証：ヘノン型自己同型の結果はZannier哲学と一致する

将来の方向

論文が示唆する研究方向：

関数体への推広：結果を正特性の関数体に推広できるか？
アーベル点： $K=\mathbb{Q}$ に対して、アーベル拡張点の分布問題（部分的な研究あり）
アルゴリズム問題：与えられた $f$ に対して、単項式型であるかを算法的に判定できるか？
量的結果：円分前周期点の個数に上界を与えられるか？
他の力学系：有理写像、双有理写像などに推広できるか？

理論的突破：高次元における円分点の剛性定理を初めて確立
技術的革新：対応関係の方法は力学情報を優雅に符号化
ツールの統合：Loxton定理、ねじれ点定理、動力度数理論を巧妙に結合

2. 証明の構造

明確性：4ステップの証明は論理が明確で各ステップの目標が明確
完全性：一般定理から具体的応用まで完全な連鎖を形成
技術性：安定化子技巧、群構造調整などは高度な技巧を示す

3. 応用価値

広さ：正則自己同型、後方軌道、ヘノン写像を統一的に扱う
拡張可能性：枠組みは他の力学系問題に応用される可能性
理論的意義：「不可能な交差」に新たな証拠を提供

4. 執筆品質

組織：序論は詳細で動機は明確、証明はステップバイステップで展開
可読性：技術的に難しいが論理は追いやすい
文献調査：関連研究を包括的に回顧し貢献を明確に位置付け

不足

1. 技術的限界

上同調双曲性：定理1.3の追加仮定は一般性を制限
数体仮説：関数体の場合は完全に未扱い
構成性の欠如：有効なアルゴリズムなし

2. 応用範囲

特殊点の種類：円分点のみ、CM点など他の特殊点は含まない
力学系の種類：主に多項式自己同型、有理関数の場合は不明

3. 量的問題

定数依存性：定数 $M,c$ の具体的な依存関係は未記載
複雑性：判定アルゴリズムの複雑性は未論議

4. 例の不足

具体例：チェビシェフ多項式以外の非自明な例が不足
境界情況：条件が満たされない場合の議論なし

影響力の評価

分野への貢献

算術力学系：高次元円分点研究の新方向を開拓
ディオファントス幾何：円分整数点を扱う新技術を提供
代数幾何：対応関係の方法はより広い応用の可能性

実用的価値

理論的指針：特殊点分布研究の理論的枠組みを提供
問題解決：ヘノン写像周期点の長年の問題に答える

再現可能性

証明の完全性：すべての定理に完全な証明あり
ツールの標準性：標準的な数学ツールを使用
論理の明確性：証明はステップバイステップで検証可能

適用場面

理論研究

高次元代数力学系の構造研究
特殊点（ねじれ点、CM点など）の分布探索
「不可能な交差」理論の発展

具体的問題

与えられた写像が単項式型であるかの判定
前周期点の算術的性質研究
後方軌道の構造分析

方法の応用

対応関係技巧は他の幾何問題に応用可能
安定化子の方法は他の商構成に利用可能
Green関数技術は他の高さ問題に応用可能

参考文献（精選）

核心的引用

Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
- 1次元の原始的結果
Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
- ねじれ点定理の証明
Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
- ヘノン型自己同型のGreen関数理論
Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
- 動力度数の対数凹性
Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
- 「不可能な交差」哲学の体系的説明