[論文レビュー] Cohomology of Congruence Subgroups of SL_4(Z). III

Avner Ash, Paul E. Gunnells+1 more|ArXiv.org|Mar 18, 2009

Advanced Algebra and Geometry参考文献 32被引用数 13

ひとこと要約

本稿は、$ \mathrm{SL}_4(\mathbb{Z}) $ の合同部分群に対する $ H^5(\Gamma_0(N);\mathbb{C}) $ の計算を、$ N = 211 $ まで拡張し、最大2000万非ゼロ要素を有する行列を処理するための新規なスパース行列削減技術を用いる。主な貢献は、変換行列の完全なリフトを回避するモジュラー還元と中国剰余定理を用いた $ \mathbb{Z} $ 上でのスミス標準形計算の新アルゴリズムであり、これによりコhomologyおよびヘッケ作用素の計算が効率化される。得られた結果は、イーゼンスタイン形式およびシーゲルモジュラー形式の寄与に関する2つの予想を支持する。

ABSTRACT

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(Γ_0 (N); \C) for a range of levels N, where Γ_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*) mod N. In this note we update this earlier work by carrying it out for prime levels up to N = 211. This requires new methods in sparse matrix reduction, which are the main focus of the paper. Our computations involve matrices with up to 20 million non-zero entries. We also make two conjectures concerning the contributions to H^5(Γ_0 (N); \C) for N prime coming from Eisenstein series and Siegel modular forms.

研究の動機と目的

• 以前の $ \mathrm{SL}_4(\mathbb{Z}) $ の $ H^5(\Gamma_0(N);\mathbb{C}) $ のコhomology計算を、$ N = 83 $ の既存上限を超えて、$ N = 211 $ までの素数レベルまで拡張すること。
• $ \mathbb{Z} $ 上でのスミス標準形および基底変換行列の計算を効率的に行う新規なスパース行列削減アルゴリズムの開発と実装を行い、明示的なコサイクルおよびヘッケ固有値を追跡するために不可欠である。
• 2つの予想の検証：1つは境界（イーゼンスタイン）コhomologyの構造が、重み2および4の古典的尖型形式および $ \mathrm{GL}(3) $ コhomologyからの持ち上げであるという予想、もう1つは、$ \mathrm{GSp}_4 $ 上の重み3の非ギルツェンコ・シーゲルモジュラー形式からの関手的持ち上げとして生じる尖型コhomologyに関する予想。
• ラングランズの関手性から予想される非自己双対的尖型コhomology類が存在するにもかかわらず、素数レベルにおいて非自明な非自己双対的尖型コhomology類が見つからないことの計算的証拠を提供すること。

提案手法

• 著者らは、小さな素数 $ p $ におけるモジュラー還元を用いて、スミス標準形および基底変換行列を効率的に計算し、整数行列の完全なリフトの非現実的なコストを回避する。
• 彼らは、$ p $ を法とするスパース線形系を解くための反復的アルゴリズム（例：ワイデマンのアルゴリズム）を用い、コhomology類およびヘッケ作用素の高速計算を可能にする。
• 変換行列の完全なリフトを避けることで、行列の逆行列を完全に計算するのを避け、コサイクルおよびヘッケ固有値の構造を保つ基底変換行列に焦点を当てる。これは固有クラスを特定する上で不可欠である。
• 中国剰余定理を用いて、モジュラー結果から整数コhomologyデータを再構成するが、変換行列の完全なリフトは回避することで計算コストを削減する。
• 本手法は、特に $ l=2 $ において、イーゼンスタインおよびシーゲルモジュラー形式からの持ち上げによる予測と一致するベッチ数およびヘッケ固有値の確認によって妥当性が裏付けられる。
• 本手法は、最大2000万非ゼロ要素を有する行列に適用され、以前は不可能とされたレベルでの計算が可能になった。

実験結果

リサーチクエスチョン

• RQ1 新規なスパース行列削減技術により、$ \mathrm{SL}_4(\mathbb{Z}) $ の $ H^5(\Gamma_0(N);\mathbb{C}) $ を、$ N = 83 $ の既存上限を超えて $ N = 211 $ までの素数レベルで計算可能になるか。
• RQ2 素数レベル $ N $ におけるコhomologyが、予想通りイーゼンスタイン形式およびシーゲルモジュラー形式の持ち上げからの寄与に分解される程度はいかほどか。
• RQ3 ラングランズの関手性から予想される非自己双対的尖型コhomology類が存在するにもかかわらず、計算範囲内でそのような類が見つからないのはなぜか。
• RQ4 モジュラー還元と中国剰余定理を用いて、完全なリフトなしに $ \mathbb{Z} $ 上でスミス標準形および基底変換行列を効率的に計算できるか。

主な発見

• 著者らは、すべての素数レベル $ N \leq 211 $ に対して $ H^5(\Gamma_0(N);\mathbb{C}) $ を成功裏に計算した。ベッチ数は $ N=83 $ で21から $ N=211 $ で77まで変動した。
• $ N=127 $ において、ベッチ数は正確に40であり、そのうち34次元は重み2および4の尖型形式で、中心 $ L $-関数が消えるものであり、残りの6次元は重み3の非ギルツェンコ・シーゲルモジュラー形式からの寄与であった。
• ラングランズ理論から予想される非自己双対的アトム的表現を有する $ \mathrm{GL}(4)/\mathbb{Q} $ の尖型コhomology類は、計算範囲内で一切発見されなかった。
• 計算されたコhomologyは、すべての寄与が予想1（イーゼンスタイン寄与）および予想2（パラモジュラー持ち上げ）によって完全に説明され、$ 2d_h $ 次元の固有空間がパラモジュラー形式のヘッケ多項式と一致した。
• 本手法により、最大2000万非ゼロ要素を有する行列の計算が可能となり、従来の限界を超えたスケーラビリティを示した。
• $ N > 100 $ のレベルでは、$ l $ に伴う計算コストの指数的増加のため、ヘッケ作用素は $ l=2 $ のみで計算された。