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

技術要約：モジュラー形式による$\zeta(3)$の無理数性の証明

問題提起
本論文は、リーマン・ゼータ関数の奇数正整数における無理数性、特に$\zeta(3)$（アペリー定数）について扱っている。オイラーはすべての$n \in \mathbb{N}$に対して$\zeta(2n)$が無理数であることを確立したが、$\zeta(2n+1)$の無理数性は依然として未解決の課題が多く、$\zeta(3)$については1978年にアペリーによってのみ無理数性が証明されている。本論文は、アペリーによる独自の組合せ論的な漸化式に頼るのではなく、レベル6の特定のモジュラー形式の空間上の複素解析の枠組みを用いて、アペリーの結果を再導出することを目的としている。

手法
証明戦略は、制御された分母と十分な収束半径を持つ特定の冪級数の構成を必要とする、ベーカーズ（Beukers）の無理数判定法に基づいている。手法は以下のステップで進行する：

1. モジュラー形式とディリクレ級数： 著者らはレベル6のモジュラー形式、具体的には合同部分群$\Gamma_1(6)$を利用する。彼らはエータ商から導かれるモジュラー関数$t(\tau)$と、カスプ形式の空間$S_4(\Gamma_1(6))$における重さ4のモジュラー形式$F(\tau)$を定義する。
2. アイヒラー積分（Eichler Integrals）： $F(\tau)$から、級数$\sum a_n n^{-3} q^n$として定義されるアイヒラー積分$f(\tau)$を構成する。この積分はディリクレ級数$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)$はフリッケのイボリュートの下で不変であることが示される。
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)$ の近傍において2つの局所的な枝上で同じ値を取るため、この見かけ上の特異点は除去可能である。実際の収束半径は、次の分岐値 $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)$を用いてベーカーズの判定法を適用することにより、著者らは収束半径 $\rho = 17 + 12\sqrt{2}$ が $\rho > e^3$（$d=1, r=3$のため）を満たすことを示す。この不等式により、$\zeta(3)$が無理数であるという結論が強制される。

意義と主張
本論文は、アペリーの結果を「特定のモジュラー形式の空間上の複素解析の美しい帰結」として位置づける解説的証明を提示していると主張している。著者らは、このモジュラー形式によるアプローチが$\zeta(3)$の無理性を成功裏に回収している一方で、現在のところ他の奇数ゼータ値（例：$\zeta(5)$）の結果は得られていないことを強調している。本研究は、アペリーの組合せ論的な証明とモジュラー形式の理論との間の深い繋がりを示すものであり、特にモジュラー曲線の幾何学とアイヒラー積分の性質がいかにして無理数性の確立に活用され得るかを浮き彫りにしている。本論文は、この特定の導出を超えた新しい応用や将来の拡張を提案するものではない。