[论文解读] A Hecke algebra attached to mod 2 modular forms of level 3

Paul Monsky|arXiv (Cornell University)|Aug 30, 2015

Advanced Mathematical Identities参考文献 4被引用 5

一句话总结

本文构建了作用在模 2 的三级权形式空间上的完整 Hecke 代数，证明其同构于 𝔽₂ 上两个变量的幂级数环，外加一个平方为零的幂零元。Hecke 算子 Tₚ（p > 3）在由 Dᵏ 张成的空间 W 上的作用（其中 k 为奇数且与 6 互素）被证明是局部幂零的，且该代数通过生成元 T₇ 和 T₁₃ 以及一个幂零元 T₅ + λ(T₇, T₁₃) 显式描述，其中 λ 是一个幂级数，其首项为 X + Y。

ABSTRACT

Let $D$ in $Z/2[[x]]$ be $\sum x^{n^{2}}$, $n>0$ and prime to $6$. Let $W$ be spanned by the $D^{k}$, $k>0$ and prime to $6$. Then the formal Hecke operators $T_{p}$, $p>3$, stabilize $W$, and it can be shown that they act locally nilpotently. We show that the completion of the Hecke algebra generated by these $T_{p}$ acting on $W$, with respect to the maximal ideal generated by the $T_{p}$, is a power series ring in $T_{7}$ and $T_{13}$ with an element of square $0$ adjoined. This may be viewed as a level 3 analog of the level 1 results of Nicolas and Serre -- the Hecke stable space they study is spanned by the odd powers of the mod $2$ reduction of $Δ$, and their resulting completed Hecke algebra is a power series ring in $T_{3}$ and $T_{5}$.

研究动机与目标

• 研究形式 Hecke 算子 Tₚ（p > 3）在模 2 的三级权形式空间 W 上的作用。
• 确定作用在 W 上的完整 Hecke 代数的结构，相对于由 Tₚ 生成的最大理想。
• 建立 Nicolas-Serre 在一级情形下的结果在三级情形下的类比。
• 证明完整 Hecke 代数同构于 𝔽₂[[X,Y]] 外加一个平方为零的幂零元。

提出的方法

• 定义 D ∈ 𝔽₂[[x]] 为所有满足 (n,6) = 1 的 n > 0 的 xⁿ² 之和，并令 W 为所有满足 (k,6) = 1 的 k > 0 的 Dᵏ 张成的空间。
• 利用模 2 的奇权三级形式空间的 Hecke 稳定滤过结构，证明 Tₚ 稳定 W 且作用局部幂零。
• 构造 W₅（即 k ≡ 5 mod 6 的部分）中的一个二面体子空间，其在 T₇ 作用下为零，从而实现对 T₁₃ 作用的显式描述。
• 应用文献 [2] 的推论 4.2，推导出一个关键的幂零性条件，类比 Nicolas 和 Serre 的命题 4.3。
• 利用 T₅ 的作用及关系式 T₅² = λ(T₇, T₁₃)²，识别出完整代数中一个平方为零的幂零元 ε = T₅ + λ(T₇, T₁₃)。
• 证明完整 Hecke 代数同构于 𝔽₂[[X,Y]] 外加 ε，其中 ε² = 0，且该作用是忠实的。

实验结果

研究问题

• RQ1 作用在模 2 的三级权形式空间上的完整 Hecke 代数的结构是什么？
• RQ2 Hecke 算子 Tₚ（p > 3）在由 Dᵏ 张成的空间 W 上（其中 k 与 6 互素）如何作用？
• RQ3 是否可将三级情形视为 Nicolas-Serre 在一级情形下结果的类比？
• RQ4 算子 T₅ 在完整 Hecke 代数中起什么作用？它是否引出一个幂零元？
• RQ5 完整 Hecke 代数是否为一个带有单个幂零生成元的幂级数环？

主要发现

• 作用在 W 上的完整 Hecke 代数同构于 𝔽₂[[X,Y]] 外加一个平方为零的元素 ε，其中 ε = T₅ + λ(T₇, T₁₃)，且 λ ∈ 𝔽₂[[X,Y]] 的首项为 X + Y。
• 每个满足 p ≡ 1 mod 6 的 Tₚ 作为 T₇ 和 T₁₃ 的幂级数作用，且常数项为零，即属于最大理想 (X,Y)。
• 每个满足 p ≡ 5 mod 6 的 Tₚ 作为 T₅ 与 T₇ 和 T₁₃ 的幂级数的复合作用。
• Hecke 代数在 W 上的作用是忠实的，且该代数作用局部幂零。
• 空间 W 是 𝔽₂[[X,Y]] 上的自由模，秩为 2，基为 {mₐ,₆, ε·mₐ,₆}，其中 mₐ,₆ 构成 W₅ 的基。
• 幂零元 ε 由关系式 T₅² = λ(T₇, T₁₃)² 导出，表明 (T₅ + λ(T₇, T₁₃))² = 0。