[論文レビュー] Moments of elliptic integrals and critical $L$-values

Mathew D. Rogers, J. G. Wan+1 more|arXiv (Cornell University)|Mar 9, 2013

Advanced Mathematical Identities参考文献 13被引用数 9

ひとこと要約

本稿では、完全楕円積分 K および K′ のモーメントに変換することで、奇数重 (重さ 3, 4, 5) モジュラー形式の臨界 L-値について閉形式評価を確立する。モジュラー性および超幾何恒等式を用いて、∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²) を証明し、重さ 5 のカスプ形式の L-値と関連づける。これにより、新たな格子和評価およびガンマ関数の恒等式が得られる。

ABSTRACT

We compute the critical $L$-values of some weight 3, 4, or 5 modular forms, by transforming them into integrals of the complete elliptic integral $K$. In doing so, we prove closed form formulas for some moments of $K'^3$. Many of our $L$-values can be expressed in terms of Gamma functions, and this also gives new lattice sum evaluations.

研究の動機と目的

• 楕円積分 K′³ のモーメントを、奇数重モジュラー形式の臨界 L-値と関連付ける。
• ∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²) とされる予想の閉形式評価を証明する。
• カスプ形式の臨界 L-値から新たな格子和評価を導出する。
• L-値評価における偶数重と奇数重モジュラー形式の違いを明らかにする。
• ガンマ関数で表現可能な L-値と超幾何関数で表現可能な L-値の間の一般的パターンを特定する。

提案手法

• モジュラー形式の性質を用いて、重さ 5 のカスプ形式の臨界 L-値を K′(k)³ の積分に変換する。
• デデキンドのエータ関数を用いて、フーリエ係数が既知の明示的カスプ形式 g(τ) および h(τ) を構成する。
• 高精度数値積分と Γ(1/4)、π、有理数定数の対数結合の間の線形依存関係を PSLQ アルゴリズムで検出する。
• K および K′ のモジュラー不変性と変換恒等式を活用し、異なる積分表現を関連付ける。
• 既知の超幾何関数の恒等式および先行研究（例：[16], [18]）の既知評価を用いて結果を検証する。
• フーリエ係数の乗法的性質と既知の和公式を用いて、L-値と格子和を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 奇数重モジュラー形式の臨界 L-値はガンマ関数で表現可能か？
• RQ2 K′³ のモーメントと重さ 5 カスプ形式の L-値の正確な関係は何か？
• RQ3 なぜ奇数重カスプ形式の臨界 L-値はしばしばガンマ関数で評価されるのに対し、偶数重形式では超幾何関数が得られるのか？
• RQ4 モジュラー L-値から新たな格子和恒等式を体系的に生成する方法はあるか？
• RQ5 その L-値が π の有理数倍で関連するような、偶数重モジュラー形式のペアを特定できるか？

主な発見

• 予想 ∫₀¹ K′(k)³ dk = Γ⁸(1/4)/(128π²) はモジュラー形式理論および超幾何恒等式を用いて証明された。
• 重さ 5 のカスプ形式 g(τ) = η⁴(τ)η²(2τ)η⁴(4τ) の臨界 L-値 L(g,4) は 1/30 × Γ⁸(1/4)/(128π²) に等しく、積分との関連が確認された。
• 第二の恒等式が確立された：∫₀¹ K′(k)³ / [√k (1−k²)^{3/4}] dk = 3Γ⁸(1/4)/(32√2 π²)、これは別の重さ 5 カスプ形式 h(τ) に関連する。
• 新たな格子和評価が得られ、特に ∑_{(m,n)≠(0,0)} (-1)^{m+n} m²n² / (m²+n²)³ = Γ⁸(1/4)/(2⁹·3·π³) − π log 2 / 8 が導出された。
• 偶数重カスプ形式 f₁ および f₂ に対して、臨界 L-値は特殊超幾何関数に還元され、例えば ₄F₃(1/2,1/2,1/2,1/2;1,1,1;1) および ₇F₆(5/4,1/2⁷;1/4,1⁶;1) のような形を取る。
• L(f₁,s)/L(f₂,s−1)/π が有理数であることが示され、偶数重モジュラー形式にはより深い算術的構造が潜んでいる可能性を示唆する。今後、分類の可能性が広がる。