[論文レビュー] On special values of spinor L-functions of Siegel cusp eigenforms of genus 3

Francesco L. Chiera, Kirill Vankov|ArXiv.org|May 14, 2008

Advanced Algebra and Geometry参考文献 11被引用数 3

ひとこと要約

本稿は、3次元で重さ12の唯一のSiegel尖点形式 $ F_{12} $ に対するスピン L 関数 $ L(s, F_{12}, \text{spin}) $ の特別値を計算し、それらが有理数と $ \pi $ の累乗をスケーリング因子として含む、Petersson 内積 $ \langle \Delta, \Delta \rangle $ と $ \langle g_{20}, g_{20} \rangle $ の積に比例することを示している。この結果は、Dokchitser の ComputeL パッケージと SAGE を用いて数値的に検証されており、3次元スピン L 関数の特別値の最初の明示的計算である。

ABSTRACT

We compute the special values for the spinor L-function L(s,F12) in the critical strip s={12,...,19}, where F12 is the unique (up to a scalar) Siegel cusp form of degree 3 and weight 12, which was constructed by Miyawaki. These values are proportional to the product of Petersson inner products of Ramanujan's Delta by itself and the cusp form of weight 20 for SL(2,Z) by itself by a rational number and some power of Pi. We also verify this result numerically using Dokchitser's ComputeL PARI package. To our knowledge this is the first example of a spinor L-function of Siegel cusp forms of degree 3, when the special values can be computed explicitly.

研究の動機と目的

• 3次元で重さ12の唯一のSiegel尖点形式 $ F_{12} $ に対するスピン L 関数 $ L(s, F_{12}, \text{spin}) $ の臨界特別値を計算すること。
• これらの特別値を、Petersson 内積 $ \langle \Delta, \Delta \rangle $ と $ \langle g_{20}, g_{20} \rangle $、有理数、および $ \pi $ の累乗の積として表現すること。
• Dokchitser の ComputeL PARI パッケージと SAGE ソフトウェアを用いて、理論的計算を高精度で数値的に検証すること。
• 3次元のSiegel尖点形式のスピンL関数の特別値計算の基礎的例を確立すること。

提案手法

• Heim によるMiyawakiの予想の証明に基づき、恒等式 $ L(s, F_{12}, \text{spin}) = L(s-9, \Delta) L(s-10, \Delta) L(s, \Delta \otimes g_{20}) $ を用いて、$ L(s, F_{12}, \text{spin}) $ の関数等式を導出する。
• $ \Delta $ と $ g_{20} $ のホッジ構造から、関数等式の $ \Gamma $-因子と重みを決定し、$ \Gamma_{\mathbb{C}}(s) \Gamma_{\mathbb{C}}(s-11) $ と重み31が得られる。
• ガウスの二重乗公式を用いて、$ \Gamma $-因子を $ \Gamma_{\mathbb{R}}(s) \Gamma_{\mathbb{R}}(s+1) \Gamma_{\mathbb{R}}(s-11) \Gamma_{\mathbb{R}}(s-10) $ の形に表現する。
• SAGE を用いて、$ L(s, \Delta \otimes g_{20}) $ のフーリエ係数を $ n=15 $ まで計算し、表5に値を提示する。
• 150個の係数を用いて、ComputeLパッケージで $ s = 12, \dotsc, 19 $ に対して $ L(s, F_{12}, \text{spin}) $ を数値的に評価し、$ 10^{-27} $ の精度を達成する。
• 理論的結果と数値的結果を比較し、$ 10^{-10} $ から $ 10^{-16} $ の範囲で一致を確認し、公式の妥当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 臨界帯 $ s = 12, \dotsc, 19 $ におけるスピン L 関数 $ L(s, F_{12}, \text{spin}) $ の明示的特別値は何か？
• RQ2 $ L(s, F_{12}, \text{spin}) $ の特別値は、Petersson 内積や $ \pi $ の累乗といった既知の算術的不変量を用いてどのように表現できるか？
• RQ3 ComputeL と SAGE といった計算ツールを用いて、$ L(s, F_{12}, \text{spin}) $ の理論的公式を高精度で数値的に検証できるか？
• RQ4 これは、3次元スピン L 関数の特別値が明示的に計算された最初の事例であるか？

主な発見

• $ s = 12, \dotsc, 19 $ における特別値 $ L(s, F_{12}, \text{spin}) $ は明示的に計算され、$ R_s \pi^{\alpha_s} \langle \Delta, \Delta \rangle \langle g_{20}, g_{20} \rangle $ に比例することが判明した。ここで $ R_s $ は有理数、$ \alpha_s $ は $ \pi $ の整数乗である。
• 関数等式のパrameterは $ \Delta $ と $ g_{20} $ のホッジ構造から導出され、$ \Gamma $-因子 $ \Gamma_{\mathbb{C}}(s) \Gamma_{\mathbb{C}}(s-11) $ と重み31が得られた。
• ComputeL と SAGE を用いた数値計算により、理論的値と相対誤差 $ 1.98 \times 10^{-10} $ から $ 7.32 \times 10^{-10} $ の範囲で一致が確認され、高い精度が裏付けられた。
• $ L(s, \Delta \otimes g_{20}) $ のフーリエ係数は $ n = 15 $ まで計算され、$ A(1) = 1 $、$ A(2) = -10944 $、$ A(10) = 125668751443200 $ といった値が得られ、数値評価に使用された。
• 理論的および数値的に $ L(s, F_{12}, \text{spin}) = L(s-9, \Delta) L(s-10, \Delta) L(s, \Delta \otimes g_{20}) $ が成り立つことが確認され、Heim の定理が裏付けられた。
• 本研究は、3次元スピン L 関数の特別値を明示的に計算した最初の例を確立し、今後の研究の基準を定めた。