[論文レビュー] Pullback of Klingen Eisenstein series and certain critical L-values identities

Alok Shukla|arXiv (Cornell University)|Jun 4, 2020

Advanced Algebra and Geometry参考文献 24被引用数 1

ひとこと要約

本稿では、任意のレベルNに対して、第二次元におけるKlingen Eisenstein級数の引き戻し公式を、Siegel合同部分群Γ₀(N)およびパラモジュラー部分群K(N)の両方について、表現論的手法を用いて確立する。これらの公式を水本のフーリエ展開と組み合わせることで、全レベルかつ偶数の重さk ≥ 6の正規化された楕円モジュラー形式に付随するL関数の臨界値を含む新しい恒等式を証明する。

ABSTRACT

We obtain pullback formulas for Klingen Eisenstein series with arbitrary levels, with respect to both Siegel congruence and paramodular subgroups, in degree two. Pullback results are used, along with the Fourier series expansion of Klingen Eisenstein series given by Mizumoto, to prove certain identities involving critical values of $ L$-functions attached to normalized elliptic modular forms of weight $ k $ and full level.

研究の動機と目的

• 任意のレベルNに対して、第二次元におけるΓ₀(N)およびK(N)に関するKlingen Eisenstein級数の引き戻し公式を導出すること。
• 従来の結果を、全レベルに限らない任意のレベルにまで拡張すること。
• 引き戻し公式を水本のフーリエ級数展開と併用し、臨界L値に関する恒等式を導出すること。
• GSp(4)上の自動形式と、楕円モジュラー形式のL関数との間の関係を、フーリエ係数を通じて確立すること。
• 古典的結果をより高いレベルおよび部分群に一般化する表現論的枠組みを提供すること。

提案手法

• GSp(4, A)上の誘導自動形式|·|s ⋊ |·|−s/2 π を用いた、Klingen Eisenstein級数の表現論的定式化を採用する。
• Klingen放物部分群からのグローバル誘導を用いて、E(g, s, Φ) を定義し、Φ を誘導表現内の特徴的なベクトルとする。
• 引き戻し公式を用いて、Klingen Eisenstein級数Ek₂,₁(Z, f, N) を、古典的Eisenstein級数とモジュラー形式の積の和に関連付ける。
• 水本のKlingen Eisenstein級数の明示的フーリエ展開を用いて、引き戻し恒等式の両辺のフーリエ係数を比較する。
• s = k − 2 と固定することで、Eisenstein級数を重さkの正則モジュラー形式に関連付ける。
• ユニモジュラー同値性と基本的判別式条件を活用し、特定のHeegner型行列Tに対するフーリエ係数A(T, f)を計算する。

実験結果

リサーチクエスチョン

• RQ1 Klingen Eisenstein級数の引き戻し公式は、全レベルに限らない任意のレベルNへどのように一般化できるか？
• RQ2 Klingen Eisenstein級数のフーリエ係数と、楕円モジュラー形式のL関数の臨界値との間の正確な関係は何か？
• RQ3 表現論的手法により、Γ₀(N)およびK(N)部分群の両方に対して第二次元で引き戻し恒等式を得られるか？
• RQ4 フーリエ展開から得られる恒等式に、対称平方およびねじれL関数の臨界L値はどのように現れるか？
• RQ5 Dirichlet指標χ−4およびχ−3は、臨界L値に関する恒等式において果たす役割は何か？

主な発見

• 任意のレベルNに対して、Γ₀(N)およびK(N)に関するKlingen Eisenstein級数の引き戻し公式が確立され、従来の結果が一般化された。
• N = 1の場合、引き戻し公式は[11]におけるHeimの結果の第二次元版に還元され、一貫性が確認された。
• Klingen Eisenstein級数Ek₂,₁(Z, f) のq₁q₂係数は、2 + (−1)ᵏ/²(k−1)!(2π)ᵏ⁻¹ / (2k−2)! × L(2k−2, Sym²f) × [2²ᵏ⁻³L(k−1, χ₋₄)L(k−1, f⊗ϑ₁) + 2·3ᵏ⁻³/²L(k−1, χ₋₃)L(k−1, f⊗ϑ₂)] に等しいことが示された。
• フーリエ係数の比較により、恒等式 4/ζ(1−k) + Af(1,1) = 2 + (−1)ᵏ/²(k−1)!(2π)ᵏ⁻¹ / (2k−2)! × L(2k−2, Sym²f) × [2²ᵏ⁻³L(k−1, χ₋₄)L(k−1, f⊗ϑ₁) + 2·3ᵏ⁻³/²L(k−1, χ₋₃)L(k−1, f⊗ϑ₂)] が証明された。
• この結果により、臨界L値の重み付き平均の新たな表現が得られ、[1]における公式が修正・精錬され、導出された恒等式に基づいてAk(f) が再定義された。