Irrationality of finite logarithms in a congruence-class adèle ring

技术摘要：同余类阿代尔环中有限对数的无理性

问题陈述
本文研究了在“简陋版阿代尔环”（poor man's adèle ring）$\mathcal{A}$ 中，“有限对数”（finite logarithms）的算术性质。该环 $\mathcal{A}$ 被定义为所有素数 $p$ 的 $\mathbb{Z}/p\mathbb{Z}$ 的限制积。该环中的元素是序列 $(t_p)_{p \in \mathbb{P}}$，其中 $t_p \in \mathbb{Q}$，且对于足够大的素数在模 $p$ 意义下是确定的。有限对数函数 $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ 通过费马商（Fermat quotients）定义为：
$$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{其中 } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$$
Matsusaka 和 Seki 的前人工作已经确立了，对于 $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$，$\log_{\mathcal{A}}(\alpha)$ 在 $\mathcal{A}$ 中永远不是一个非零的有理元素。此外，Silverman 表明（在 $abc$猜想成立的条件下）$\log_{\mathcal{A}}(\alpha) \neq 0$。

本文解决的核心问题是将这些无理性和非零结果扩展到受限素数集。具体而言，作者考虑了限制在形式为 $p \equiv 1 \pmod m$ 的算术级数中的素数，其中 $m \ge 1$ 为固定整数。目标是确定 $\log_{\mathcal{A}}(\alpha)$ 是否可以在受限环 $\mathcal{A}(m)$ 内取有理值或消失，并分析这些对数的“递推次数”（recurrence degree），特别是它们是否可以成为二次无理元素。

方法论
本文结合了分圆多项式理论和适用于阿代尔设置的经典无理性证明技术。

1. 分圆构造： 作者将费马商与分圆多项式 $\Phi_n(u, v)$ 及其偏导数的值联系起来。利用的一个关键恒等式是齐次形式 $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$。
2. 同余分析： 通过分析 $\Phi_n(u, v)$ 的素因子，本文确立了如果素数 $p$ 整除 $\Phi_n(u, v)$（且 $p \nmid n$），则 $p \equiv 1 \pmod n$。这一性质对于将分析限制在同余类 $p \equiv 1 \pmod m$ 中至关重要。
3. 通过消失序列进行矛盾证明： 为了证明无理性（定理 1.2(i)），作者假设 $\log_{\mathcal{A}(m)}(\alpha)$ 是有理的。这一假设允许构造出一系列由 $\Phi_{m\ell}(u, v)$ 及其导数值导出的非零整数。证明表明，当辅助素数 $\ell \to \infty$ 时，该序列在归一化后趋于零，从而产生矛盾。
4. $abc$ 猜想的应用： 为了证明非零性（定理 1.2(ii)），本文改编了 Silverman 的方法。它利用 $abc$猜想来限制$u^n - v^n$ 的“强部分”（powerful part）。通过证明在假设对数消失的情况下，分圆值增长过快，以至于无法成为“强”的（即平方满的/square-full），从而得出矛盾。
5. 递推次数分类： 本文定义了递推次数 $\deg_{\mathcal{A}}(t)$ 为表示 $t \in \mathcal{A}$ 的序列所满足的具有有理系数的线性递推的最小阶数。它使用二次狄利克雷特征类化了次数 $\le 2$ 的元素。

主要贡献与结果

• 向同余类的扩展（定理 1.2）： 本文证明了对于任何 $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ 且 $m \ge 1$：

  • (i) 在受限环 $\mathcal{A}(m)$ 中，$\log_{\mathcal{A}(m)}(\alpha)$ 不是一个非零的有理数。
  • (ii) 假设 $abc$猜想成立，则$\log_{\mathcal{A}(m)}(\alpha) \neq 0$在$\mathcal{A}(m)$ 中。
  • 注： 限制 $p \equiv 1 \pmod m$ 是所使用的分圆方法的内在属性；作者指出，强制其他剩余类 $p \equiv b \pmod m$（其中 $b \not\equiv 1$）并不适用于这种特定的方法。

• 二次无理性（定理 1.3）： 本文研究了有限对数是否可以是“二次”的，即在递推次数 $\le 2$ 的意义下。

  • 研究表明，如果 $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$，则 $\log_{\mathcal{A}}(\alpha)$ 必须具有特定形式 $r(1 - (\frac{D}{p}))_p$，其中 $r \in \mathbb{Q}$ 且 $D$ 为无平方因子整数。
  • 至关重要的是，在假设 $abc$猜想成立的情况下，本文证明了$\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$。这意味着有限对数在$\mathcal{A}$ 中不能是二次无理元素。

• 向阿贝尔扩张的推广（注 4.2）： 该论证被扩展以暗示，如果一个递推式的特征多项式的分裂域是阿贝尔的，那么该对数不能落在该递推式的像中（同样，假设 $abc$ 猜想成立）。

意义与主张
本文声称将 Matsusaka、Seki 和 Silverman 已知的从全阿代尔环到受限环的无理性结果进行了扩展。这具有重要意义，因为它证明了即使在底层素数集被稀疏化到密度 $1/\phi(m)$ 时，有限对数的无理性仍然具有鲁棒性。

此外，这项工作将费马商的算术与有限代数数（在 Rosen 的意义上）的理论联系起来。通过证明 $\log_{\mathcal{A}}(\alpha)$ 不能是二次元素（更广泛地说，不能落在具有阿贝尔分裂域的递推式的像中），本文为支持以下更广泛的猜想提供了证据，即有限对数是“朴素超越的”（即在满足线性递推的意义上不是代数的）。作者谦虚地指出，由于缺乏针对非单位剩余类素数的直接分圆方法，非阿贝尔情形仍是一个开放问题。