[论文解读] Solutions of diophantine equations as periodic points of $p$-adic algebraic functions, I

Patrick Morton|arXiv (Cornell University)|Oct 17, 2014

Advanced Mathematical Identities参考文献 11被引用 4

一句话总结

本文建立了特定 2-进代数函数 $ T(z) $ 的周期点与虚二次域 $ K = \mathbb{Q}(\sqrt{-d}) $ 的类数域中四次费马方程解之间的动力对应关系，其中 $ -d \equiv 1 \pmod{8} $。证明表明，$ \overline{\mathbb{Q}}_2 $ 中 $ T(z) $ 的所有周期点（除两个外）在 $ p $-可接受的虚二次域上生成类数域，从而为德鲁尔最初通过 2-进代数函数方法证明的类数关系提供了动力系统证明。

ABSTRACT

Solutions of the quartic Fermat equation in ring class fields of odd conductor over quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ with $-d \equiv 1$ (mod $8$) are shown to be periodic points of a fixed algebraic function $T(z)$ defined on the punctured disk $0< |z|_2 \le \frac{1}{2}$ of the maximal unramified, algebraic extension $ extsf{K}_2$ of the $2$-adic field $\mathbb{Q}_2$. All ring class fields of odd conductor over imaginary quadratic fields in which the prime $p=2$ splits are shown to be generated by complex periodic points of the algebraic function $T$, and conversely, all but two of the periodic points of $T$ generate ring class fields over suitable imaginary quadratic fields. This gives a dynamical proof of a class number relation originally proved by Deuring. It is conjectured that a similar situation holds for an arbitrary prime $p$ in place of $p=2$, where the case $p=3$ has been previously proved by the author, and the case $p=5$ will be handled in Part II.

研究动机与目标

• 建立 $ p $-进代数函数的周期点与虚二次域上类数域之间的动力对应关系。
• 通过 $ \overline{\mathbb{Q}}_2 $ 中 $ T(z) $ 的周期点，在 2-进设置下为德鲁尔最初使用代数函数方法证明的类数关系提供动力系统证明。
• 通过将类数域嵌入由 $ T(z) $ 定义的 $ p $-进动力系统中，拓展复乘法与类域论的框架。
• 支持一个更广泛的猜想：对所有素数 $ p $，均存在类似的动力结构，而 $ p=2 $ 是基础情形。

提出的方法

• 在 $ \mathbb{Q}_2 $ 的最大无分支扩张 $ \mathsf{K}_2 $ 中的穿孔圆盘 $ 0 < |z|_2 \leq \frac{1}{2} $ 上定义 $ 2 $-进代数函数 $ T(z) $，使用二项式展开。
• 证明在 $ K = \mathbb{Q}(\sqrt{-d}) $ 的类数域中，四次费马方程的解是 $ T(z) $ 的周期点，其中 $ -d \equiv 1 \pmod{8} $。
• 使用迭代结式计算周期点的最小多项式 $ b_d(x) $，将其与类域生成联系起来。
• 证明 $ \overline{\mathbb{Q}}_2 $ 中 $ T(z) $ 的所有周期点（除两个外）在某些 $ p $-可接受的虚二次域上生成类数域。
• 通过计数最小周期为 $ n $ 的周期点，推导类数关系，证明当 $ n > 1 $ 时有 $ \sum_{-d \in \mathfrak{D}_n} h(-d) = n N_4(n) = \sum_{k|n} \mu(n/k) 2^{2k} $。
• 通过验证结果式多项式 $ R_n(x) $ 的因式分解为 $ b_d(x) $ 的乘积，确认周期点对应于类数域的生成元。

实验结果

研究问题

• RQ1 如何利用 $ p $-进代数函数的周期点来生成虚二次域上的类数域？
• RQ2 对于 $ p=2 $，实现类数域类域论的精确动力系统（代数函数）是什么？
• RQ3 能否证明该函数的周期点可参数化如四次费马方程等丢番图方程的解？
• RQ4 $ T(z) $ 的周期点在多大程度上能生成所有 $ p $-可接受虚二次域上的类数域？存在多少例外？
• RQ5 对给定最小周期的周期点进行计数是否能导出类数关系？若能，能否通过此动力系统方法加以证明？

主要发现

• 所有在 $ p $-可接受虚二次域 $ K = \mathbb{Q}(\sqrt{-d}) $ 上、奇导子的类数域（其中 $ -d \equiv 1 \pmod{8} $）均由 $ 2 $-进函数 $ T(z) $ 的周期点生成。
• 在 $ \overline{\mathbb{Q}}_2 $ 中，$ T(z) $ 的所有周期点（除两个外）在某些 $ p $-可接受虚二次域上生成类数域。
• 在定义域 $ \textsf{D}_2 = \{ y : 0 < |y|_2 \leq \frac{1}{2} \} $ 中，最小周期为 $ n $ 的周期点数量为 $ n N_4(n) = \sum_{k|n} \mu(n/k) 2^{2k} $，其值等于所有判别式 $ -d \in \mathfrak{D}_n $ 的类数 $ h(-d) $ 之和。
• 周期点的最小多项式 $ b_d(x) $ 通过迭代结果式 $ R_n(x) $ 的因式分解得到验证，对多个 $ d $（如 $ b_{23}(x), b_{31}(x), \dots, b_{255}(x) $）进行了显式因式分解，确认其在类域生成中的作用。
• 该动力系统为德鲁尔最初证明的类数关系提供了新证明，现可从 $ T(z) $ 的周期轨道结构推导得出。
• 所有最小周期 $ n > 1 $ 的 $ T(z) $ 周期点在局部域 $ \mathsf{K}_2 $ 中均为素元，表明其在 2-进设置下的算术重要性。