[論文レビュー] Irrationality of certain p-adic periods for small p

Frank Calegari|ArXiv.org|Aug 16, 2004

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

ひとこと要約

本稿では、p進アペリーの定理のp進版を用いて、特定のp進L値の無理数性を確立する。具体的には、2進ゼータ値 ζ₂(3) および2進カタラン定数 L₂(2,χ) の無理数性を示す。過収束モジュラー形式を構成し、関連する母関数のp進収束半径を分析することで、有効なp進近似を得る。これらの近似は、p進近似速度に基づく基準によって無理数性を示す。

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.

研究の動機と目的

• 小さな素数 p に対して、アペリーの無理数性証明法をp進的設定に拡張すること。
• 特に p=2 および p=3 の場合に、p進ゼータ値およびL関数の無理数性、すなわち ζₚ(3) および Lₚ(2,χ) の無理数性を確立すること。
• 過収束イーゼンスタイン級数を主要な道具として用い、ベーカースのモジュラー形式的手法をp進モジュラー形式に適応すること。
• 数のp進近似の成長率に基づくp進無理数性基準を開発すること。

提案手法

• q展開と重み空間の補間を用いて、古典的モジュラー形式のp進極限として過収束p進モジュラー形式を構成する。
• 負の整数重みの過収束イーゼンスタイン級数の特殊値としてp進L値を定義する。
• p進近似への距離の減衰率に基づくp進無理数性基準を適用する。
• モジュラー形式に関連する母関数のp進収束半径を分析し、過収束性を検出し、したがって無理数性を特定する。
• Fricke対合およびX₁(4) 上のユニフォーマル化を用いてモジュラー曲線をパラメトライズし、p進収束挙動を制御する。
• 母関数の係数に対するアペリーに類似した漸化式を導出し、有理数近似を計算する。

実験結果

リサーチクエスチョン

• RQ1 2進ゼータ値 ζ₂(3) は無理数であるか？ また、p進モジュラー形式を用いてその無理数性を証明できるか？
• RQ2 カタラン定数の2進類似 L₂(2,χ) は無理数性基準を満たすか？
• RQ3 過収束モジュラー形式によるp進近似法を用いて、p進L値の無理数性を確立できるか？
• RQ4 過収束モジュラー形式に関連する母関数の正確なp進収束半径は何か？
• RQ5 これらの母関数の係数はp進付値に関してどのように振る舞い、有理数近似にどのような含意をもたらすか？

主な発見

• 2進ゼータ値 ζ₂(3) は無理数である。これは、収束半径が1より大きいp進母関数を構成し、無理数性基準を適用することで示された。
• 2進カタラン定数 L₂(2,χ) は無理数である。同様の方法で、重み -1 の過収束モジュラー形式を用いて無理数性が確立された。
• η = L₂(2,χ)/2 に対して、母関数 H のp進収束半径は少なくとも 2⁸ = 256 である。これは過収束性を示している。
• η ≠ L₂(2,χ)/2 の場合、収束半径は1以下であるため、H は過収束でない。これにより、唯一過収束を示すのは正しい値 L₂(2,χ)/2 のみであることが特定された。
• 近似指数 θ = 8 log 2 / (4 log 2 + 2) ≈ 1.16188 は θ > 1 を満たし、p進基準により無理数性が示される。
• L₂(2,χ) への最初のいくつかの有理数近似は、2進数としての高次の精度で真の値と一致する。例えば、2a₆/b₆ は L₂(2,χ) と2³⁴次の2進精度で一致する。