[論文レビュー] Explicit computations of Siegel modular forms of degree two

Martin Raum, Nathan C. Ryan+2 more|arXiv (Cornell University)|May 29, 2012

Advanced Algebra and Geometry参考文献 35被引用数 5

ひとこと要約

この論文は、2次スiegelモジュラー形式のための統一的なSage実装を提示し、スカラー値およびベクトル値形式の両方をモデル化するための形式的スギェルモジュラー形式の概念を導入する。形式的スギェルモジュラー形式を用いて、theta定数、イーゼンスタイン級数、制限技法を活用し、環および空間の計算のための効率的アルゴリズムを提供する。主な貢献として、高ランクの自動形式の一般枠組みの構築と、フーリエ係数およびヘッケ固有値の有効な計算が挙げられる。

ABSTRACT

Unlike classical modular forms, there is currently no general way to implement the computation of Siegel modular forms of arbitrary weight, level and character, even in degree two. There is however, a way to do it in a unified way. After providing a survey of known computations we describe the implementation of a class modeling Siegel modular forms of degree two in Sage. In particular, we describe algorithms to compute a variety of rings of Siegel modular forms, many of which are implemented in our class. A wide variety of Siegel modular forms (e.g., both vector- and scalar-valued) can be modeled via this class and we unify these via a construct we call a formal Siegel modular form. We define this notion and discuss it in detail.

研究の動機と目的

• 2次スギェルモジュラー形式のための統一的計算フレームワークの開発、特にスカラー値およびベクトル値形式を含む。
• Sageにおけるスギェルモジュラー形式の環および空間を、特に高レベルおよび高重みの場合に効率的に計算するためのアルゴリズムの実装。
• 形式的スギェルモジュラー形式の概念を導入することで、他の自動形式へのアプローチの一般化。
• モジュラー形式のフーリエ係数およびヘッケ固有値の計算を可能にし、数論的考察を深める支援。

提案手法

• 論文は、形式的スギェルモジュラー形式を、べき級数環におけるG不変部分環の元として定義し、さまざまな自動形式の統一的取り扱いを可能にする。
• イグザの定理（スギェルモジュラー形式の環はtheta定数によって生成される）を用い、レベル1およびそれ以上のレベルに対して生成子の明示的構成が可能になる。
• フーリエ展開の計算のためのアルゴリズムが開発され、theta級数、イケダ上り、イーゼンスタイン級数を用い、単純な実装より最適化されている。
• プアとユエンの制限技法が、1次形式への還元によって2次形式の空間の次元および基底を計算するために適応され、2次ではモジュラー記号が存在しないという問題を克服する。
• Sageにおける辞書ベースのデータ構造が用いられ、群作用による軌道をキーとして用いることで、係数の効率的計算および保存が可能になる。
• フーリエ係数環の共通する代数的構造を特定することで、ヒルベルト形式、ヘルミート形式、ヤコビ形式など、他の自動形式への一般化が可能になる。

実験結果

リサーチクエスチョン

• RQ1 2次スギェルモジュラー形式（スカラー値およびベクトル値形式を含む）のための統一的計算フレームワークをどのように設計できるか？
• RQ2 古典的レベル1のケースを超えて、Sageでスギェルモジュラー形式の環および空間を効率的に計算するためのアルゴリズムをどのように実装できるか？
• RQ3 形式的スギェルモジュラー形式の概念を用いて、異なるタイプおよびランクの自動形式の取り扱いをどのように一般化できるか？
• RQ4 スギェルモジュラー形式のフーリエ係数からヘッケ固有値を抽出する計算の可能性はどの程度か？

主な発見

• 論文は、形式的スギェルモジュラー形式フレームワークを用いて、2次スギェルモジュラー形式のSageクラスを成功裏に実装し、スカラー値およびベクトル値形式の両方をサポートする。
• theta定数と多項式関係を用いて、レベル4までのスギェルモジュラー形式の環の明示的生成子が計算された。
• 制限技法が効果的に応用され、高レベルにおけるスギェルモジュラー形式空間の次元および基底の計算が可能になり、2次ではモジュラー記号が利用できないという欠如を補った。
• フレームワークにより、イケダ上りやイーゼンスタイン級数から生じる広範なスギェルモジュラー形式のフーリエ係数の計算が可能になった。
• ベクトル値およびスカラー値形式の代数的組み合わせをサポートするため、計算実験における柔軟性が向上した。
• ヒルベルト形式、ヘルミート形式、ヤコビ形式など、他の自動形式への一般化が提案され、G不変べき級数環に基づく統一的代数的構造が確立された。