[論文レビュー] Formes modulaires modulo 2 : l'ordre de nilpotence des opérateurs de Hecke

Jean-Louis Nicolas, Jean-Pierre Serre|arXiv (Cornell University)|Apr 4, 2012

Analytic Number Theory Research参考文献 3被引用数 16

ひとこと要約

本稿は、モジュラー形式の2を法とするヘッケ作用素の冪零位数について、cusp形式 Δ の多項式に制限して明確な公式を確立する。再帰的関係と、先頭項を追跡するための新規な「コード」システムを用いて、形式 f の冪零位数 g(f) が、f の展開における指数から導かれる組み合わせ的不変量 h(f) に対して g(f) = h(f) + 1 であることを証明する。主な結果として、Δ に関する次数 d の形式に対して g(f) < < d^{1/2} が成り立つ。

ABSTRACT

The nilpotence order of the mod 2 Hecke operators. Let $Δ=\sum_{m=0}^\infty q^{(2m+1)^2} \in F_2[[q]]$ be the reduction mod 2 of the $Δ$ series. A modular form f modulo 2 of level 1 is a polynomial in $Δ$. If p is an odd prime, then the Hecke operator Tp transforms f in a modular form Tp(f) which is a polynomial in $Δ$ whose degree is smaller than the degree of f, so that Tp is nilpotent. The order of nilpotence of f is defined as the smallest integer g = g(f) such that, for every family of g odd primes p1, p2, ..., pg, the relation Tp1Tp2... Tpg (f) = 0 holds. We show how one can compute explicitly g(f); if f is a polynomial of degree d in $Δ$, one finds that g(f) &lt;&lt; d^(1/2).

研究の動機と目的

• 2を法とするモジュラー形式上でのヘッケ作用素 T_p の冪零位数を特定すること。特に、cusp 形式 Δ の多項式に制限して。
• 与えられた形式 f に対する冪零位数 g(f) の上限を特定すること。これは、2を法とするモジュラー形式の構造とそのヘッケ作用の理解に不可欠である。
• 2成分のコードシステム (n3, n5) を用いた再帰的メソッドを考案し、反復的ヘッケ作用の先頭項を追跡することで、g(f) の明示的計算を可能にする。
• 形式 f の冪零位数 g(f) が、f の最高次項の指数から導かれる組み合わせ的不変量 h(f) よりも1つ大きい、すなわち g(f) = h(f) + 1 であることを証明する。
• g(f) が d の任意の正のべきよりも遅く成長することを示す鋭い漸近的境界を確立する。特に、Δ に関する次数 d の形式に対して g(f) < < d^{1/2} が成り立つ。

提案手法

• T_3 および T_5 演算子の反復的適用後のモジュラー形式の先頭項を追跡するための2成分コード [n3, n5] を導入する。
• 定理3.1に従い、T_p(Δ^k) を F_2 上の係数をもつ T_p(Δ^{k-r}) の線形結合として表す再帰的公式を用いる。これは、次数 p+1 の対称多項式 F_p(X,Y) に基づく。
• 再帰的関係を適用して、特に p=3 および p=5 に対して、反復的 T_p 行動下での f の先頭項の分析に問題を還元する。
• m1 を f の最高次項としたとき、h(f) を n3(m1) + n5(m1) として定義し、T_3^{n3(m1)}T_5^{n5(m1)}(f) = Δ であることを証明する。
• f の次数 d に関する帰納法を用い、g(f) = h(f) + 1 という重要な恒等式と、p ≥ 3 に対して g(T_p|f) ≤ g(f) - 1 である事実を利用する。
• T_p が Δ における次数を少なくとも2つ低下させること、および 8 を法とする合同条件を用いて、T_p(Δ^k) における非ゼロ係数の可能性を制限することを活用する。

実験結果

リサーチクエスチョン

• RQ1 2を法とするモジュラー形式 f 上でのヘッケ作用素 T_p の正確な冪零位数 g(f) は何か？
• RQ2 与えられた Δ 上の F_2 上の多項式 f に対して、g(f) を明示的に計算する方法は何か？
• RQ3 f の Δ における次数 d の関数として、g(f) の漸近的成長率は何か？
• RQ4 先頭項の情報のみから、組み合わせ的不変量を用いて g(f) を決定できるか？
• RQ5 T_3 および T_5 の作用が、反復的に行われた際の f の構造にどのように影響を与え、g(f) を決定づけるか？

主な発見

• F_2[Δ] 内の非ゼロモジュラー形式 f の冪零位数 g(f) は、その先頭項のコード [n3(m1), n5(m1)] の指数の和 h(f) に対して、g(f) = h(f) + 1 に正確に等しい。
• Δ に関する次数 d の任意の形式 f に対して、g(f) < < d^{1/2} が成り立つ。これは、冪零位数が多項式的成長より遅いことを示している。
• T_3 および T_5 の作用は、コードシステムを用いて、f の先頭項を正確に追跡可能であり、T_3 を n3(m1) 回、T_5 を n5(m1) 回作用させると、結果として Δ が得られる。
• f が Δ に関する次数 d の多項式であれば、g(f) ≤ (d+1)/2 であるが、再帰的構造のおかげで実際の境界ははるかにタイトである。
• T_3|f = T_5|f = 0 であるような形式では、f = Δ のみが可能であり、このとき g(f) = 1 である。
• 冪零位数は再帰的関係 g(f) = h(f) + 1 を満たし、任意の p ≡ ±1 mod 8 に対して g(T_p|f) ≤ g(f) - 2 が成り立つ。これは、このような作用素が冪零位数を少なくとも2つ減少させることを示している。