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

Cyclotomic integral points for affine dynamics

基本信息

论文ID: 2511.13443
标题: Cyclotomic integral points for affine dynamics
作者: Zhuchao Ji, Junyi Xie, Geng-Rui Zhang
分类: math.DS (Dynamical Systems), math.AG (Algebraic Geometry), math.NT (Number Theory)
提交时间: 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$ 中Zariski稠密，则某个迭代 $f^{\circ l}$ 是代数群自同态 $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$ 的商。这是Dvornicich-Zannier关于单变量多项式分圆预周期点定理的高维推广。更一般地，本文对定义在数域上的仿射簇的支配自同态，证明了关于"几乎不变"的Zariski稠密分圆整点子集的刚性结果。作为应用，结果被应用于正则自同态的后向轨道和Hénon型自同构的周期点。

研究背景与动机

1. 研究问题

本文研究代数动力系统中特殊点（分圆点）的分布问题，特别关注：

当预周期点中包含Zariski稠密的分圆点时，动力系统是否具有特殊的代数结构？
这种现象能否刻画系统的"单项式型"（monomial type）性质？

2. 问题重要性

这个问题连接了多个数学领域：

算术动力系统：理解特殊点（如分圆点、扭点）在动力系统中的分布
不太可能交集问题（Unlikely Intersection）：延续Zannier等人的哲学——特殊点不应该在非特殊簇中稠密
Diophantine几何：分圆整点的算术性质

3. 现有工作的局限性

**Dvornicich-Zannier定理（2007）**仅处理一维情况：

对于度数 $d\geq2$ 的多项式 $f\in K[z]$ ，如果预周期分圆点无穷多，则 $f$ 仿射共轭于 $z^d$ 或 $\pm T_d(z)$ （Chebyshev多项式）

局限：

仅限于 $\mathbb{A}^1$ 的多项式映射
没有处理高维仿射空间的情况
对更一般的动力系统（如Hénon映射）无法应用

4. 研究动机

本文的核心动机是：

高维推广：将Dvornicich-Zannier的结果推广到 $\mathbb{A}^N$
统一框架：建立适用于一般支配自同态的刚性理论
应用拓展：解决后向轨道和Hénon型自同构等具体问题

核心贡献

主要刚性定理（Theorem 1.2）：对于仿射簇 $X$ 上的支配自同态 $f$ ，证明了满足三个条件（DCI、BH、AI）的分圆整点集合的Zariski稠密性蕴含 $(X,f)$ 是单项式型的。
等价性定理（Theorem 1.3）：对于上同调双曲系统，单项式型等价于强单项式型。
正则自同态应用（Theorem 1.4）：证明了 $\mathbb{A}^N$ 上代数度 $d\geq2$ 的正则自同态，若预周期分圆点Zariski稠密，则系统是强单项式型——这是Dvornicich-Zannier定理的直接高维推广。
后向轨道刻画（Theorem 1.5）：给出了后向轨道中分圆点满足条件（DCI、BH、AI）的充要条件。
Hénon型自同构（Theorem 1.7）：证明了Hénon型自同构的周期分圆点不能Zariski稠密，为"不太可能交集"哲学提供新证据。

方法详解

任务定义

输入：

仿射簇 $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$ Zariski稠密且坐标在 $\frac{1}{M}\mathcal{O}_{K^c}$ 中
(BH) 有界房子： $\mathcal{C}(y)\leq c$ 对所有 $y\in P$
(AI) 几乎不变： $P\setminus f^{-1}(P)$ 不Zariski稠密

证明架构

证明分为四个关键步骤：

Step 1: 应用Loxton定理

核心工具：Dvornicich-Zannier推广的Loxton定理（Theorem 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}$

关键性质：通过移除例外集，可假设 $\phi_a(\Lambda_a)^{Zar}=X$ 对所有 $a\in M$ 。

Step 2: 构造对应关系

定义对应关系（correspondence） $\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$ 的图相关）
由扭点定理（Theorem 2.3），每个 $\Gamma_{a_1,a_2}$ 是扭陪集的有限并

Step 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$ （满射性）

Step 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）作为核心工具
上同调双曲性理论：Theorem 1.3利用动力度数的对数凹性和上同调Lyapunov乘子
统一框架：三个条件（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：后向轨道（Theorem 1.5）

设置： $P=\{z\in\mathbb{A}^N(K^c):\exists n\geq1, f^{\circ n}(z)=x\}$
充要条件： $P$ 满足（DCI）、（BH）、（AI） $\Leftrightarrow$ $P$ Zariski稠密

应用3：Hénon型自同构（Theorem 1.7）

设置： $f:\mathbb{A}^N\to\mathbb{A}^N$ Hénon型（ $\deg_1(f)\geq2$ ， $I(f)\cap I(f^{-1})=\emptyset$ ）
结论： $\text{Per}(f,\mathbb{A}^N(K^c))$ 不Zariski稠密（反证法）
关键工具：Kawaguchi的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$ 是满射群自同态

Theorem 1.3的证明策略

对上同调双曲系统：

利用Lemma 2.7的增长率估计
通过Lemma 2.6分解为根单位特征值部分和正部分
用投影公式导出矛盾，证明必须 $n=\dim(X)$

关键案例分析

案例1：一维情形恢复Dvornicich-Zannier定理

对 $f\in K[z]$ 度数 $d\geq2$ ：

由Theorem 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：Hénon映射的周期点

对 $f(x,y)=(p(x)-ay,x)$ （ $a\neq0, \deg p\geq2$ ）：

计算动力度数： $\lambda_1(f)=d, \lambda_2(f)=1$ （其中 $d=\deg p$ ）
若周期分圆点稠密，由Theorem 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$ 矛盾
结论：周期分圆点不稠密

理论发现

刚性现象：分圊点的Zariski稠密性强制系统具有代数群结构
维数障碍：对上同调双曲系统，不存在"冗余维数"（ $n=\dim X$ ）
不太可能交集验证：Hénon型自同构的结果符合Zannier哲学

未来方向

论文暗示的研究方向：

函数域推广：能否将结果推广到正特征的函数域？
阿贝尔点：对 $K=\mathbb{Q}$ ，阿贝尔扩张点的分布问题（已有部分工作）
算法问题：给定 $f$ ，能否算法判定是否为单项式型？
量化结果：能否给出分圆预周期点个数的上界？
其他动力系统：能否推广到有理映射、双有理映射等？

理论突破：首次在高维建立分圆点的刚性定理
技术创新：对应关系方法优雅地编码了动力学信息
工具综合：巧妙结合Loxton定理、扭点定理、动力度数理论

2. 证明结构

清晰性：四步证明逻辑清晰，每步目标明确
完整性：从一般定理到具体应用形成完整链条
技术性：稳定化子技巧、群结构调整等体现高超技巧

3. 应用价值

广泛性：统一处理正则自同态、后向轨道、Hénon映射
可扩展性：框架可能应用于其他动力系统问题
理论意义：为"不太可能交集"提供新证据

4. 写作质量

组织：引言详细，动机清晰，证明分步骤展开
可读性：尽管技术性强，但逻辑易于跟随
文献综述：全面回顾相关工作，清晰定位贡献

不足

1. 技术限制

上同调双曲性：Theorem 1.3的额外假设限制了一般性
数域假设：函数域情况完全未涉及
构造性缺失：没有有效算法

2. 应用范围

特殊点类型：仅限分圆点，不包括CM点等其他特殊点
动力系统类型：主要针对多项式自同态，有理函数情况不明

3. 量化问题

常数依赖：常数 $M,c$ 的具体依赖关系未给出
复杂度：判定算法的复杂度未讨论

4. 例子缺失

具体例子：除了Chebyshev多项式，缺少其他非平凡例子
边界情况：没有讨论条件不满足时的情况

影响力评估

对领域的贡献

算术动力系统：开辟高维分圆点研究的新方向
Diophantine几何：提供处理分圆整点的新技术
代数几何：对应关系方法可能有更广泛应用

实用价值

理论指导：为研究特殊点分布提供理论框架
问题解决：回答了Hénon映射周期点的长期问题

可复现性

证明完整：所有定理都有完整证明
工具标准：使用的都是标准数学工具
逻辑清晰：证明可以逐步验证

适用场景

理论研究

研究高维代数动力系统的结构
探索特殊点（扭点、CM点等）的分布
发展"不太可能交集"理论

具体问题

判定给定映射是否为单项式型
研究预周期点的算术性质
分析后向轨道的结构

方法借鉴

对应关系技术可应用于其他几何问题
稳定化子方法可用于其他商构造
Green函数技术可用于其他高度问题

参考文献（精选）

核心引用

Dvornicich-Zannier (2007): Cyclotomic Diophantine problems, Duke Math. J.
- 一维情形的原始结果
Laurent (1984): Equations diophantiennes exponentielles, Invent. Math.
- 扭点定理的证明
Kawaguchi (2013): Local and global canonical height functions, Algebra Number Theory
- Hénon型自同构的Green函数理论
Truong (2020): Relative dynamical degrees of correspondences, J. Reine Angew. Math.
- 动力度数的对数凹性
Zannier (2012): Some problems of unlikely intersections in arithmetic and geometry
- "不太可能交集"哲学的系统阐述