[論文レビュー] Evaluating Whittaker functions and Maass forms for SL(3,Z)

Borislav Mezhericher|ArXiv.org|Oct 18, 2009

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

ひとこと要約

本稿では、SL(3,Z)に対するJacquetのWhittaker関数の数値的評価のためのアルゴリズムを提示・ベンチマークし、Fourier展開を用いたMaass形式の計算に最も効率の良い手法を同定する。著者らはこの手法を、Langlandsパラメータが既知の一般なMaass形式に適用し、SL(3,Z)-同値な点における値が高精度で一致することを確認した。これは、その形式の自動型性に対する強い数値的証拠を提供する。

ABSTRACT

We present and compare several algorithms for evaluating Jacquet's Whittaker functions for SL(3, Z). The most suitable algorithm is then applied to the problem of evaluating a Maass form for SL(3, Z) with known eigenvalues and Fourier coefficients.

研究の動機と目的

• SL(3,Z)に対するJacquetのWhittaker関数の数値的評価のための計算アルゴリズムを開発・比較すること。これは、高ランク自動形式の分野における主要な課題である。
• Goldfeldが形式化したFourier展開を用いて、SL(3,Z)のMaass形式の数値的実験を可能にすること。
• L関数や自動形式に関する仮説の検証のための計算ツールを提供すること。特に、最近発見された3次L関数の文脈において。
• BianとBookerが発見した一般なMaass形式の自動型性を支持する数値的証拠を提供すること。
• 高ランクWhittaker関数の計算結果がこれまで著しく不足していたことに対処し、数値的探索の限界を克服すること。

提案手法

• 本稿では、Barnes型積分とMellin-Barnes表現を用いて、Whittaker関数をガンマ関数の比の線積分として表現する。
• これらの積分は、積分路をシフトし、Pochhammer記号および既知のガンマ関数の留数公式を用いて数値的に評価する。
• 性能ベンチマークに基づき、一連のアルゴリズムの中から最適な手法を選定する。この手法は、$ D = (m_1 y_1)^2 m_2 y_2 $ を固定することで、1回の評価における計算コストを低減し、Whittaker関数の評価を効率的に行う。
• Maass形式のFourier展開は、$ m_1, m_2 $ および $ c,d $ についての和をとり、$ \text{gcd}(c,d)=1 $、$ c \geq 1 $ を満たすようにし、指数関数的減衰および $ |cz_2 + d| $ の有界性に基づく切り捨て条件を適用する。
• 最適化されたWhittaker関数評価手法を用いて、一般化された上半平面 $ \mathfrak{h}^3 $ 内の特定の点、特に恒等行列および $ SL(3,\mathbb{Z}) $ による変換を施した点におけるMaass形式の値を計算する。
• 数値的精度は、寄与量が $ 10^{-12} $ 未満に下がった時点で和を切り捨てるように制御し、群作用による同値点における値の比較により収束を検証する。

実験結果

リサーチクエスチョン

• RQ1 SL(3,Z)に対するJacquetのWhittaker関数の数値的評価のための最も効率の良いアルゴリズムは何か？
• RQ2 Fourier展開とWhittaker関数の評価を用いて、SL(3,Z)のMaass形式を正確に計算できるか？
• RQ3 SL(3,Z)同値な点におけるMaass形式の値どうしがどのように比較できるか。また、これにより自動型性に何が示唆されるか？
• RQ4 L関数検出に約20係数で十分であるのに対し、高精度評価に必要なFourier係数の数は予想をはるかに上回る程度か？
• RQ5 同値な点における値の一致が、候補となるMaass形式の自動型性を示す証拠として機能するか？

主な発見

• 固定された $ D = (m_1 y_1)^2 m_2 y_2 $ に基づく選定されたWhittaker関数評価アルゴリズムが、Maass形式計算において最も効率的であることが判明した。
• 上昇Maass形式を恒等行列で評価するには、最大1806個のFourier係数と、Pentium D 2.80GHzで最大972秒を要し、精度は $ 10^{-12} $ 以内であった。
• Langlandsパラメータ $ (-14.141638, -2.380388, 16.522027) $ を持つ一般なMaass形式について、$ z_0 $ および $ \gamma z_0 $（$ \gamma \in SL(3,\mathbb{Z}) $）における値は、虚部で $ 10^{-4} $、実部で $ 10^{-3} $ の精度で一致した。
• 複数のテスト点における $ f(z_0) $ と $ f(\gamma z_0) $ の一致は、Bianの例の自動型性を強く支持する数値的証拠を提供する。
• たとえば $ r = 26.056918 $ の場合、861個の係数が必要であったが、それでも高精度評価が達成された。これは、対称的展開における最適化の可能性を示唆する。
• 結果として、高ランクMaass形式の数値的評価が可能であり、自動形式L関数に関する有意義な知見を得られることが示された。