Proportion of periodic points in reduction of polynomials

这是一份关于 Santiago Radi 论文《多项式约化中周期点的比例》（Proportion of Periodic Points in Reduction of Polynomials）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
给定一个数域 $K$ 及其整数环 $\mathcal{O}_K$，以及一个系数在 $K$ 中的有理函数（本文主要关注多项式）$f$。对于 $\mathcal{O}_K$ 中的素理想 $\mathfrak{p}$，考虑 $f$ 模 $\mathfrak{p}$ 的约化映射 $f_{\mathfrak{p}}$，其作用在有限剩余域 $\mathbb{F}_{\mathfrak{p}}$ 上。
由于 $\mathbb{F}_{\mathfrak{p}}$ 是有限集，每个点要么是周期的，要么是严格预周期的。文章关注的问题是：当素理想 $\mathfrak{p}$ 的范数 $N(\mathfrak{p})$ 趋向于无穷大时，周期点比例的下极限是多少？

即计算：
$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\# \text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$

历史背景：

• 该问题由 Juul, Kurlberg, Madhu 和 Tucker 在 2014 年提出。
• 已知对于“算术例外”映射（如 Dickson 多项式），存在无限多个素数使得比例为 1，但对于其他素数，比例可能任意小。
• 对于随机映射，周期点比例渐近于 $\sqrt{\pi/2N}$，趋向于 0。
• 之前的研究（如 Juul 等人）已证明对于大多数多项式（如 $x^d+c$ 且 0 非预周期），该极限为 0。
• 已知唯一的例外情况是切比雪夫多项式（Chebyshev polynomials, $T_d$），其比例在某些情况下非零。

2. 方法论 (Methodology)

本文结合了算术动力学 (Arithmetic Dynamics)、代数数论和群论工具来解决这一分类问题。

1. 迭代伽罗瓦群与不动点比例 (Iterated Galois Groups & Fixed-Point Proportion):

   • 利用 Odoni 引入的迭代伽罗瓦群 $G_{\infty}(F, f, t)$（$f$ 在 $F$ 上关于超越元 $t$ 的迭代伽罗瓦群）。
   • 引用 Juul 等人的结果：$\text{Per}_{\inf}(f, K) \leq \text{FPP}(G_{\infty}(\mathbb{C}, f, t))$，其中 $\text{FPP}$ 是群中不动点比例为正的元素的测度。
   • 利用 Fariña-Asategui 和作者的最新成果：对于多项式，若 $f$ 在 $\mathbb{C}$ 上线性共轭于 $\pm T_d$，则 $\text{FPP} > 0$；否则 $\text{FPP} = 0$。这解决了非切比雪夫类多项式的极限为 0 的问题。

2. 切比雪夫多项式的结构分析:

   • 利用切比雪夫多项式的定义 $T_d(x + 1/x) = x^d + 1/x^d$ 及其与幂映射 $g(x)=x^d$ 的交换图关系。
   • 将 $T_d$ 在有限域 $\mathbb{F}_q$ 上的周期点计数问题转化为幂映射 $x \mapsto x^d$ 在二次扩域 $\mathbb{F}_{q^2}$ 上的周期点计数问题。
   • 引入函数 $r(a, b)$：表示 $a$ 中与 $b$ 互质的最大因子。

3. 代数数论与切博塔廖夫密度定理 (Cebotarev's Theorem):

   • 利用切比雪夫定理（Chebotarev Density Theorem）构造具有特定范数性质的素理想序列。
   • 分析数域 $K$ 中单位根的存在性。设 $m_K$ 为 $K$ 中包含的 $m_K$ 次本原单位根的最大整数。
   • 对于几乎所有素理想 $\mathfrak{p}$，有 $m_K \mid (N(\mathfrak{p}) - 1)$。
   • 通过构造同余方程组，控制 $N(\mathfrak{p}) \pm 1$ 与 $d$ 的因子关系，从而估算 $r(N(\mathfrak{p}) \pm 1, d)$ 的大小。

4. 线性共轭的处理:

   • 处理 $f$ 在 $\mathbb{C}$ 上共轭于 $\pm T_d$ 但共轭变换系数不在 $K$ 中的情况。
   • 证明若共轭变换涉及二次扩域 $K'/K$，则通过区分素理想在 $K'$ 中分裂或惯性（inert）的情况，证明 $\text{Per}_{\inf}(f, K)$ 仍等于 $\text{Per}_{\inf}(T_d, K)$。

3. 主要贡献与结果 (Key Contributions & Results)

文章给出了多项式情形下 $\text{Per}_{\inf}(f, K)$ 的完整分类（Theorem 1）。

分类结果总结：

设 $K$ 为数域，$m_K$ 为 $K$ 中最大单位根阶数，$d$ 为多项式次数，$\text{rad}(d)$ 为 $d$ 的根（素因子乘积）。

1. 平凡情况：

   • $d=0$: $\text{Per}_{\inf} = 0$.
   • $d=1$: $\text{Per}_{\inf} = 1$ (双射，所有点周期).

2. 非切比雪夫类 ($d \ge 2$ 且 $f$ 在 $\mathbb{C}$ 上不共轭于 $\pm T_d$):

   • $\text{Per}_{\inf}(f, K) = 0$.
   • 这是基于迭代伽罗瓦群不动点比例为 0 的结论。

3. 切比雪夫类 ($f$ 在 $\mathbb{C}$ 上共轭于 $\pm T_d$):
   此时 $\text{Per}_{\inf}(f, K) = \text{Per}_{\inf}(T_d, K)$。具体值取决于 $d$ 的素因子结构与 $m_K$ 的关系：

   • 情况 A：$d$ 至少有两个素因子

     • 若 $\text{rad}(d) \nmid \text{rad}(m_K)$（即 $d$ 有不在 $m_K$ 中的素因子）：$\text{Per}_{\inf} = 0$。
     • 若 $\text{rad}(d) \mid \text{rad}(m_K)$：
       • 若 $d$ 为奇数：$\text{Per}_{\inf} = 1/2$。
       • 若 $d$ 为偶数：
         • 若 $v_2(m_K) \ge 2$（$K$ 包含 $4$次单位根）：$\text{Per}_{\inf} = 1/4$。
         • 若 $v_2(m_K) = 1$（$K$ 仅包含 $2$次单位根）：$\text{Per}_{\inf} = 0$。

   • 情况 B：$d$ 是素数幂 ($p^k$)

     • 若 $d$ 为奇素数幂：$\text{Per}_{\inf} = 1/2$。
     • 若 $d$ 为偶素数幂：$\text{Per}_{\inf} = 1/4$。

特例：$K = \mathbb{Q}$
当 $K=\mathbb{Q}$ 时，$m_K=2$。上述分类简化为：

• $d=1$: 1
• $d$ 为奇素数幂且共轭于 $\pm T_d$: $1/2$
• $d$ 为偶素数幂且共轭于 $\pm T_d$: $1/4$
• 其他情况：0
  这与 Juul 等人之前对 $\mathbb{Q}$ 上二次多项式的结论一致，并推广到了任意次数。

4. 技术细节与证明逻辑

• 极限计算的核心公式：
  对于切比雪夫多项式，极限值由下式给出：
  $$\text{Per}_{\inf}(T_d, K) = \frac{1}{2} \liminf_{N(\mathfrak{p}) \to \infty} \frac{r(N(\mathfrak{p})-1, d) + r(N(\mathfrak{p})+1, d)}{N(\mathfrak{p})}$$
  其中 $r(a, b)$ 是 $a$ 中与 $b$ 互质的最大因子。

• 证明策略：

  • 为了证明极限为 0，作者利用切博塔廖夫定理构造素理想序列，使得 $N(\mathfrak{p}) \pm 1$ 包含 $d$ 的大素因子，从而使得 $r(N(\mathfrak{p}) \pm 1, d)$ 相对于 $N(\mathfrak{p})$ 很小。
  • 为了证明极限为正（如 $1/2$ 或 $1/4$），作者利用 $m_K \mid (N(\mathfrak{p})-1)$ 的性质，结合 $d$ 的素因子全部包含在 $m_K$ 中的假设，证明 $N(\mathfrak{p}) \pm 1$ 中与 $d$ 互质的部分占据了主导地位。
  • 对于偶数 $d$，关键在于 $2$的幂次在$m_K$中的表现（$v_2(m_K)$），这决定了$N(\mathfrak{p})+1$是否总是能被 4 整除，进而影响$r(N(\mathfrak{p})+1, d)$ 的值。

5. 意义与影响 (Significance)

1. 完全分类： 本文彻底解决了 Juul 等人提出的关于多项式约化中周期点比例下极限的分类问题。这是算术动力学领域的一个里程碑式成果。
2. 统一框架： 将之前零散的结果（如二次多项式、特定类型的多项式）统一在一个基于迭代伽罗瓦群和单位根理论的框架下。
3. 揭示结构： 结果表明，周期点比例的非零性严格依赖于多项式是否属于切比雪夫类，以及数域 $K$ 中单位根的结构与多项式次数 $d$ 的算术性质之间的精细匹配。
4. 理性函数的开放性： 文章最后指出，对于有理函数（Rational Functions），特别是 Lattès 映射，目前尚未有完整的分类，这为未来的研究指明了方向。

综上所述，该论文通过深刻的代数数论分析和动力学群论工具，精确刻画了多项式在数域素理想约化下的周期点分布规律，填补了该领域的重要空白。