[論文レビュー] Formes modulaires modulo 2 : structure de l'algèbre de Hecke

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

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

ひとこと要約

本稿では、レベル1のモジュラー形式の2進数におけるヘッケ代数が、$x = T_3$ および $y = T_5$ を用いて、$ℝ_2[[x,y]]$ と同型であることを確立する。有限次元ヘッケ加群上の射影極限構成と双対性の議論を用いて、尖型形式 $Δ$ の奇数乗の空間におけるヘッケ作用素の作用が自由加群を生成することを証明し、代数的構造が2次元の正則局所環として明らかになる。

ABSTRACT

Modular forms mod 2 : structure of the Hecke ring We show that the Hecke algebra for modular forms mod 2 of level 1 is isomorphic to the power series ring F2[[x, y]], where x = T3 and y = T5.

研究の動機と目的

• レベル1の2進モジュラー形式に作用するヘッケ代数の代数的構造を特定すること。
• 特異的2次元におけるヘッケ代数の冪零的および局所的性質を理解すること。
• ヘッケ代数と形式的べき級数環との間の標準的同型を確立すること。
• 尖型形式 $Δ$ の奇数乗の空間におけるヘッケ作用素の作用を特徴づけること。
• ヘッケ代数を $ℝ_2$ 上の2次元正則局所環として完全に記述すること。

提案手法

• $ℝ_2$ 上の $Δ^{2i-1}$（$1 \leq i \leq n$）の線形包を $ℝ(n)$ と定義し、$ℝ(n)$ 上のヘッケ作用素 $T_p$ が生成する $ℝ_2$-代数を $A(n)$ と定義する。
• 双対性を用いて、$ℝ(n)^*$ が、$q^1$ の係数を評価する関数 $e_n$ によって生成される自由 $A(n)$-加群であることを同定する。
• 背理法を用い、中谷の補題と特定の形式における $T_p$ の非消滅性を組み合わせて、$A(n)$ が $T_3$ と $T_5$ によって生成されることを証明する。
• 射影極限 $A = \varprojlim A(n)$ を構成し、$ℝ$ 上に自然な作用を誘導する。さらに、$x \mapsto T_3$、$y \mapsto T_5$ を定める $ℝ_2[[x,y]] \to A$ のホモモーフィズム $ψ$ を定義する。
• $ψ$ の単射性を示すために、任意の $0 \neq u \in \u211d_2[[x,y]]$ に対して、$ψ(u)f = \u0394$ を満たす $f \in \u211d$ が存在することを示し、$θ$-級数の構造とそれらの $T_p$-作用を用いる。
• $θ_{t,n}$ および $θ'_{t,n}$ 級数を用いてヘッケ作用素の作用を分析し、$θ$-級数の $T_p$-軌道の明示的計算を通じて同型性を検証する。

実験結果

リサーチクエスチョン

• RQ1 レベル1の2進モジュラー形式に作用するヘッケ代数の構造は何か？
• RQ2 ヘッケ代数はべき級数環として実現可能か？ もしそうなら、どの生成子で十分か？
• RQ3 ヘッケ作用素 $T_p$ は尖型形式 $Δ$ の奇数乗の空間にどのように作用するか？
• RQ4 双対性と射影極限は、有限次元商から完全なヘッケ代数を再構成するために果たす役割は何か？
• RQ5 この文脈において、固有形式の標準的基底やパラメトライゼーションは存在するか？ それらは二次形式とどのように関係するか？

主な発見

• レベル1の2進モジュラー形式におけるヘッケ代数は、$x = T_3$ および $y = T_5$ を用いて、べき級数環 $ℝ_2[[x,y]]$ と同型である。
• $ℝ(n)$ 上のヘッケ作用素の代数 $A(n)$ は、$ℝ_2$ 上の次元 $n$ の局所環であり、唯一の極大イデアルを持つ。
• $ℝ(n)^*$ の双対空間は、$q^1$ の係数を抽出する関数 $e_n$ によって生成される自由 $A(n)$-加群（ランク1）である。
• $x \mapsto T_3$、$y \mapsto T_5$ を定める $ψ: \u211d_2[[x,y]] \to A$ は同型であり、ヘッケ代数の完全な構造を確立する。
• $θ_{t,n}$ および $θ'_{t,n}$ 級数は、それぞれ $T_5$ および $T_3$ の核の基底をなしており、$ℝ/2^n\u211d$ 上の非標準的群法則を用いて、それらの $T_p$-作用が明示的に記述される。
• $A$ は2次元の正則局所環であるため、整域であり、位相的 $ℝ_2$-代数として $ℝ_2[[x,y]]$ と同型である。