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

技術的要約：合同類アデール環における有限対数の無理数性

問題設定
本論文は、「貧者のアデール環」$\mathcal{A}$（すべての素数 $p$ に対する $\mathbb{Z}/p\mathbb{Z}$ の制限付き直積として定義される）における「有限対数」の算術的性質を調査している。要素 $\mathcal{A}$ は、十分大きな素数に対して $p$ を法として識別される $\mathbb{Q}$ の数列 $(t_p)_{p \in \mathbb{P}}$ である。有限対数関数 $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ は、フェルマー商を用いて次のように定義される：
$$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{ただし } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}$$
松坂および関による先行研究では、$\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ に対して $\log_{\mathcal{A}}(\alpha)$ は $\mathcal{A}$ 内の非ゼロの有理要素には決してならないことが確立されている。さらに、シルバーマンは、$abc$予想を仮定することで$\log_{\mathcal{A}}(\alpha) \neq 0$ であることを示した。

本論文が取り組む中心的な問題は、これらの無理数性と非消滅の結果を、制限された素数の集合へと拡張することである。具体的には、固定された整数 $m \ge 1$ に対して、算術級数 $p \equiv 1 \pmod m$ の形に制限された素数を考える。目的は、制限された環 $\mathcal{A}(m)$ において $\log_{\mathcal{A}}(\alpha)$ が有理値を取り得るか、あるいは消滅するかを判定し、またこれらの対数の「漸化式次数（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)）、シルバーマンの手法を適応させている。これは、$u^n - v^n$ の「強力な部分（powerful part）」を抑え込むために $abc$ 予想を利用するものである。対数が消滅するという仮定の下で、円分値が「強力（square-full）」であるにはあまりに急速に増大することを示すことで、矛盾に到達する。
5. 漸化式次数の分類: 本論文は、数列 $t \in \mathcal{A}$ が満たす有理係数の線形漸化式の最小次数として、漸化式次数 $\deg_{\mathcal{A}}(t)$ を定義する。また、二次ディリクレ指標を用いて、次数 $\le 2$ の要素を分類している。

主要な貢献と結果

• 合同類への拡張 (定理 1.2): 本論文は、任意の $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ および $m \ge 1$ に対して以下を証明している：

  • (i) $\log_{\mathcal{A}(m)}(\alpha)$ は、制限された環 $\mathcal{A}(m)$ における非ゼロの有理数ではない。
  • (ii) $abc$予想を仮定すると、$\mathcal{A}(m)$において$\log_{\mathcal{A}(m)}(\alpha) \neq 0$ である。
  • 注記: $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 \in \mathbb{Q}$ と平方フリー整数 $D$ を用いて、特定の形式 $r(1 - (\frac{D}{p}))_p$ を取らなければならないことが示されている。
  • 決定的なことに、$abc$予想を仮定することで、本論文は$\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2$であることを証明している。これは、有限対数が$\mathcal{A}$ における二次無理数要素にはなり得ないことを意味する。

• アーベル拡大への一般化 (注意 4.2): 漸化式の特性多項式の分解体がアーベル群である場合、対数はその漸化式の像に含まれないこと（これも $abc$ 予想を仮定している）を示唆するように、議論を拡張している。

意義と主張
本論文は、既知の松坂、関、シルバーマンによる無理数性の結果を、全アデール環から、特定の算術級数に制限された環へと拡張したことを主張している。これは、基礎となる素数集合が密度 $1/\phi(m)$ まで希薄化されたとしても、有限対数の無理数性が堅牢であることを示すものであり、重要である。

さらに、本研究はフェルマー商の算術を、ローゼンの意味での有限代数的数の理論へと結びつけている。$\log_{\mathcal{A}}(\alpha)$ が二次的要素にはなり得ないこと（さらに言えば、アーベル的な分裂体を持つ漸化式の像には含まれないこと）を証明することで、本論文は、有限対数が「素朴に超越的（naively transcendental）」（すなわち、線形漸化式を満たすという意味での代数的数ではない）であるという広範な予想を支持する証拠を提供している。著者は、非アーベルの場合については、非単位剰余類に対する直接的な円分的アプローチが欠けているため、未解決のままであると控えめに述べている。