[论文解读] Irrationality of certain p-adic periods for small p

Frank Calegari|ArXiv.org|Aug 16, 2004

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

一句话总结

本文利用 Beukers 证明 Apéry 定理的 p-adic 类比方法，证明了某些 p-adic L-值的无理性——特别是 2-adic zeta 值 ζ₂(3) 和 2-adic Catalan 常数 L₂(2,χ)。通过构造过收敛模形式并分析其相关生成函数的 p-adic 收敛半径，作者得到了有效的 p-adic 近似，进而依据基于 p-adic 近似速率的准则，推导出无理性结果。

ABSTRACT

Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain functional equations arising from Eichler integrals are replaced by the notion of overconvergent p-adic modular forms, and the periods themselves arise not as coefficients of period polynomials but as constant terms of p-adic Eisenstein series. We prove that the analogue of zeta(3) is irrational for p = 2 and 3, as well as the 2-adic analogue of Catalan's constant.

研究动机与目标

• 将 Apéry 的无理性方法推广至小素数 p 的 p-adic 设置中。
• 在 p=2 和 p=3 的情况下，建立 p-adic zeta 值与 L-函数的无理性，特别是 ζₚ(3) 和 Lₚ(2,χ) 的无理性。
• 将 Beukers 的模形式方法适配至 p-adic 模形式，以过收敛 Eisenstein 级数作为关键工具。
• 基于 p-adic 近似值的增长速率，发展一种 p-adic 无理性准则。

提出的方法

• 通过 q-展开式与权空间插值，将过收敛 p-adic 模形式构造为经典模形式的 p-adic 极限。
• 将 p-adic L-值定义为负整数权过收敛 Eisenstein 级数的特殊值。
• 应用基于 p-adic 距离对有理近似衰减速率的 p-adic 无理性准则。
• 通过分析与模形式相关的生成函数的 p-adic 收敛半径，检测过收敛性，从而推导出无理性。
• 利用 Fricke 对合与 X₁(4) 上的单位根参数化模曲线，以控制 p-adic 收敛行为。
• 为生成函数系数推导出类似 Apéry 的递推关系，以计算有理近似。

实验结果

研究问题

• RQ1 2-adic zeta 值 ζ₂(3) 是否无理？能否通过 p-adic 模形式证明？
• RQ2 2-adic Catalan 常数 L₂(2,χ) 的 p-adic 类比是否满足无理性准则？
• RQ3 能否通过过收敛模形式的 p-adic 近似方法，建立 p-adic L-值的无理性？
• RQ4 与过收敛模形式相关的生成函数的精确 p-adic 收敛半径是多少？
• RQ5 这些生成函数的系数在 p-adic 赋值下的行为如何？这对其有理近似意味着什么？

主要发现

• 2-adic zeta 值 ζ₂(3) 是无理数，通过构造一个 p-adic 收敛半径大于 1 的生成函数，并应用无理性准则得以证明。
• 2-adic Catalan 常数 L₂(2,χ) 是无理数，其无理性通过使用权为 -1 的过收敛模形式，以类似方法确立。
• 对于 η = L₂(2,χ)/2，生成函数 H 的 p-adic 收敛半径至少为 2⁸ = 256，表明其具有过收敛性。
• 对于 η ≠ L₂(2,χ)/2，收敛半径至多为 1，因此 H 不是过收敛的，这将唯一正确的值隔离为唯一产生过收敛性的候选。
• 近似指数 θ = 8 log 2 / (4 log 2 + 2) ≈ 1.16188 满足 θ > 1，依据 p-adic 准则，这蕴含无理性。
• 对 L₂(2,χ) 的前几组有理近似值与真实值在 2-adic 序数上高度一致——例如，2a₆/b₆ 与 L₂(2,χ) 的 2-adic 误差阶高达 2³⁴。