[論文レビュー] Reduction mod $\ell$ of Theta Series of Level $\ell^n$

Nils-Peter Skoruppa|ArXiv.org|Jul 29, 2008

Advanced Mathematical Identities参考文献 1被引用数 5

ひとこと要約

本稿では、モジュラー形式理論に依存せず、格子の算術的および代数的性質を用いて、素数 ℓ のべきであるレベルをもつ偶数の整数格子のシータ級数が、モジュラー形式のレベル 1 および重さ e(L)/2 に対して ℓ を法として合同であることを証明する。主な結果は、格子のシータ級数と古典的モジュラー形式との間の深い合同関係を確立しており、ユニモジュラー格子およびその自己同型への応用を含む。

ABSTRACT

It is proved that the theta series of an even lattice whose level is a power of a prime $\ell$ is congruent modulo $\ell$ to an elliptic modular form of level~1. The proof uses arithmetic and algebraic properties of lattices rather than methods from the theory of modular forms. The methods presented here may therefore be especially pleasing to those working in the theory of quadratic forms, and they admit generalizations to more general types of theta series as they occur e.g. in the theory of Siegel or Hilbert modular forms.

研究の動機と目的

• 偶数格子の ℓ^n レベルにおけるシータ級数とレベル 1 のモジュラー形式との間の ℓ を法とする合同関係を確立すること。
• 標準的なモジュラー形式の技法を避けて、格子論的証明を提供すること。
• この合同関係を、シーゲル形式やヒルベルト形式におけるより広いクラスのシータ級数へ一般化すること。
• このような合同関係とユニモジュラー格子における ℓ のべき乗位の自己同型の存在との関係を調査すること。
• 高重量の極値モジュラー形式が、大きな素数位の自己同型をもつ格子から生じる可能性があるという仮説を支援すること。

提案手法

• 偶数格子のグラム行列の基本的因子を用いて、目標となるモジュラー形式の重さ e(L) を定義する。
• 格子論的道具を適用する。特に、lG⁻¹ が整数的で、対角成分が偶数であるような最小の l を格子のレベルとして定義する。
• 形式的べき級数の単純な合同関係を用いる：θ_L ≡ f mod ℓ、ここで f は ℤ[[q]] 内の整数係数を持つ。
• 実二次体における理想類の構造を分析し、ある種のノルム集合が局所化された環の単元に含まれることを示す。
• ディリクレの算術級数内の素数に関する定理と二次相互法則を用いて、ノルムの ℓ を法とした挙動を制御する。
• ℓf を法とする任意の類の合同類に、そのノルムが局所化された環の単元に属するような理想が存在することを示し、適切な代表元の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 偶数格子の ℓ^n レベルにおけるシータ級数が、ℓ を法としてレベル 1 のモジュラー形式に合同であるか？
• RQ2 このようなシータ級数が合同であるレベル 1 のモジュラー形式の正確な重さは何か？
• RQ3 θ_L ≡ f mod ℓ が成立する場合、格子 L に ℓ のべき乗位の自己同型が存在するか？
• RQ4 この合同関係は二変数形式にとどまらず、より高いランクの格子や他の種類のシータ級数へ一般化可能か？
• RQ5 この合同関係と実二次体における類群の構造との間に、関係があるか？

主な発見

• 任意の ℓ^n レベルの偶数整数格子 L に対して、そのシータ級数は、整数フーリエ係数をもつレベル 1、重さ e(L)/2 のモジュラー形式 f に対して ℓ を法として合同である。
• 判別式 −ℓ をもつ二進形式 [a,b,c] に対して、そのシータ級数 θ_[a,b,c] は ℓ を法として重さ (ℓ+1)/2 の極値モジュラー形式に合同である。
• 合同関係 θ_[1,1,2] ≡ E₄ mod 7 が成り立ち、ここで E₄ は重さ 4 のイーゼンスタイン級数である。
• 合同関係 θ_[2,1,3] ≡ E₄³ − 720Δ mod 23 が成り立ち、ここで Δ はモジュラー判別式である。
• θ_[4,3,5] に対しては、E₄⁹ − 2160E₄⁶Δ + 965520E₄³Δ² − 27302400Δ³ mod 71 の合同関係が成り立ち、これは重さ 36 の極値形式と一致する。
• 証明から、極値モジュラー形式が重さ k をもつ場合、それは自己同型が ℓ = 2k−1 の位を持つ格子から生じうることを示唆しており、リーク格子のような既知の例と一致する。