A Modular Form Proof of the Irrationality of $\zeta\left(3\right)$

技术摘要：利用模形式证明 $\zeta(3)$ 的无理性

问题陈述
本文探讨了黎曼 Zeta 函数在奇正整数处的无理性问题，特别是 $\zeta(3)$（阿佩里常数）。虽然欧拉已经证明了对于所有 $n \in \mathbb{N}$，$\zeta(2n)$ 均为无理数，但 $\zeta(2n+1)$ 的无理性在很大程度上仍是一个开放问题，目前仅有 $\zeta(3)$ 由阿佩里在 1978 年证明为无理数。本文旨在利用复分析中关于特定阶数（level 6）模形式空间的框架，重新推导阿佩里的结果，而非依赖于阿佩里原始的组合递推关系。

方法论
证明策略依赖于布克斯（Beukers）的无理性判别准则，该准则要求构造一个具有受控分母且具有足够大收敛半径的特定幂级数。方法论通过以下步骤进行：

1. 模形式与狄利克雷级数： 作者利用了 6 阶模形式，特别是 $\Gamma_1(6)$ 陪道子群。他们定义了一个由 eta 商导出的模函数 $t(\tau)$，以及一个属于尖点形式空间 $S_4(\Gamma_1(6))$ 的权重为 4 的模形式 $F(\tau)$。
2. 艾希勒积分（Eichler Integrals）： 从 $F(\tau)$ 构造了一个艾希勒积分 $f(\tau)$，其定义为级数 $\sum a_n n^{-3} q^n$。该积分与狄利克雷级数 $L(F, s)$ 相关，文中证明了 $L(F, 3) = \zeta(3)$。
3. 泛函方程： 利用 Fricke 对合 $\tau \mapsto -1/(6\tau)$，作者建立了艾希勒积分的泛函方程。他们构造了一个辅助函数 $H(\tau) = E(\tau)(f(\tau) - \zeta(3))$，其中 $E(\tau)$ 是一个特定的 2 阶模形式。至关重要的是，$H(\tau)$ 被证明在 Fricke 对合下是不变的。
4. 变量代换： 模函数 $t(\tau)$ 作为坐标变换，将扩展群 $\Gamma_1(6)^+$ 的基本域单价地映射到上半复平面。函数 $H$ 被重新表示为 $t$ 的幂级数，记作 $H(t)$。
5. 收敛半径分析： $H(t)$ 的收敛半径由逆映射 $\tau(t)$ 的分支值决定。第一个分支值对应于对合的固定点 $\tau = i/\sqrt{6}$，得到 $t_1 = (\sqrt{2}-1)^4$。然而，由于 $H(\tau)$ 在 $\tau(t)$ 附近的两个局部分支上取相同的值，该表观奇异点是可去的。实际的收敛半径由下一个分支值决定，$t_2 = (\sqrt{2}+1)^4 = 17 + 12\sqrt{2}$。
6. 分母控制： 对 $H(t)$ 的幂级数系数进行了分析。$f(t)$ 的系数的分母被 $D_n^3$ 整除（其中 $D_n = \text{lcm}(1, \dots, n)$），且 $E(t)$ 的系数为整数。这确保了该级数满足布克斯判别准则所要求的有理性和分母条件。

主要贡献与结果

• 构造 $t(\tau)$： 本文明确构造了一个用于 $\Gamma_1(6)$ 的模函数 $t(\tau)$，该函数将特定的基本域映射到上半复平面，并具有已知的尖点及内部点的值。
• 可去奇异点： 一个关键的技术贡献是证明了由艾希勒积分和模形式 $E$ 构造的函数 $H(t)$ 可以解析地延拓过第一个分支值 $t_1$。这种将收敛半径从 $|t_1|$ 扩大到 $|t_2|$ 的机制，是使无理性证明成功的核心机制。
• 无理性证明： 通过将构造的级数 $H(t)$ 应用于布克斯判别准则，作者表明 $H(t)$ 的收敛半径 $\rho = 17 + 12\sqrt{2}$ 满足 $\rho > e^3$（此处 $d=1, r=3$）。这一不等式强制得出结论：$\zeta(3)$ 是无理数。

意义与主张
本文声称呈现了一种阐释性证明，将阿佩里的结果构架为“特定模形式空间复分析的一个优美推论”。作者强调，虽然这种模形式方法成功恢复了 $\zeta(3)$ 的无理性，但目前尚未能为其他奇数阶 Zeta 值（如 $\zeta(5)$）提供结果。这项工作旨在说明阿佩里的组合证明与模形式理论之间的深层联系，特别是突出了模曲线的几何性质和艾希勒积分的性质如何被用来建立无理性。本文并未提出超出此特定推导之外的新应用或未来扩展。