[論文レビュー] Computing special values of motivic L-functions

Tim Dokchitser|arXiv (Cornell University)|Jul 30, 2002

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、関数方程式とMeijer G関数のべき級数展開を活用して、任意の精度でモチーフ的L関数の特殊値およびその導関数を数値的に計算する一般化されたアルゴリズムを提示する。この手法は、形式 ∏Γ((s+λj)/2 の任意のΓ因子を有するL関数に適用可能であり、関数方程式の検証や、複素数sにおけるL(s)およびL^(k)(s)の計算が可能である。

ABSTRACT

We present an algorithm to compute values L(s) and derivatives of L-functions of motivic origin numerically to required accuracy. Specifically, the method applies to any L-series whose Gamma-factor is a product of any number of Gamma-functions Gamma((s+l(j))/2) with complex l(j), not necessarily distinct. The algorithm relies on the known (or conjectural) functional equation for L(s).

研究の動機と目的

• 任意の精度でモチーフ的L関数の特殊値を数値的に計算する汎用的アルゴリズムの開発。
• 従来の手法が低次元の場合（例：g > 1の曲線）に限られていたのを、それらを越えて計算を拡張すること。
• 追加の算術的制約を必要とせず、meromorphicな延長と既知の関数方程式を仮定する枠組みを提供すること。
• 関数方程式の数値的検証を可能とし、Birch–Swinnerton-Dyer や Bloch–Kato といった深い予想に対する支援的証拠を提供すること。

提案手法

• 関数方程式 L*(s) = εL*(w−s) を用いて、臨界帯内の値を収束する半平面上の値に関連付ける。
• Γ因子の逆ミンコフスキー変換に基づくMeijer G関数を含む積分変換としてL関数を表現する。
• 原点付近での数値評価のため、Meijer G関数のべき級数展開を導出する。
• 大|s|におけるMeijer G関数の漸近的展開および連分数近似を用いる。
• アルゴリズムはPARI/GPに実装されており、任意精度算術、複素数、Γ関数のローラン/テイラー級数をサポートする。
• 数値的検証は、関数方程式を高精度で検証することで行われ、不変量が推測されている場合でも信頼性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のΓ因子を有するモチーフ的L関数の特殊値を、高精度で数値的に計算できるか？
• RQ2 高次元のモチーフのL関数に対して、関数方程式をどのように数値的に検証できるか？
• RQ3 Meijer G関数は、一般のΓ因子を有するL関数の表現と計算において果たす役割は何か？
• RQ4 数値的計算は、高ジェノスの場合のBirch–Swinnerton-Dyer予想に対して信頼できる証拠を提供できるか？
• RQ5 標準的な級数が収束しない場合に、L(s)およびその導関数を正確に評価するための計算技法は何か？

主な発見

• このアルゴリズムは、形式 ∏Γ((s+λj)/2 の任意のΓ因子を有する任意の複素数sに対して、L(s)およびその導関数を正確に計算可能であり、次元d ≥ 1のモチーフに対しても適用可能である。
• この手法により、関数方程式を高精度で数値的に検証でき、計算された値の整合性チェックとして機能する。
• リーマンゼータ関数、ディリクレL関数、デデキンドゼータ関数、新谷のゼータ関数、モジュラー形式、およびジェノス1〜4の曲線のL関数についての実装が提供されている。
• 関数方程式が仮定されていれば、導関数や局所因子などの一部の不変量が不明または推測されていても、アルゴリズムは頑健に機能する。
• Meijer G関数の展開の使用により、ディリクレ級数の収束制限を超えて、複素平面全体で正確な評価が可能である。
• PARI/GPによる実装は公開されており、任意精度算術をサポートしており、研究レベルの応用に適した高精度計算を可能にしている。