[论文解读] 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全模形式的Hecke代数同构于形式幂级数环 $\mathbb{F}_2[[x,y]]$，其中 $x = T_3$，$y = T_5$。通过在有限维Hecke模上的投射极限构造及对偶性论证，作者证明了Hecke算子在cusp形式 $\Delta$ 的奇次幂空间上的作用生成一个自由模，从而揭示了该代数结构为二维正则局部环。

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全模形式的Hecke代数的代数结构。
• 理解特征为2时Hecke代数的幂零性与局部性质。
• 在Hecke代数与形式幂级数环之间建立一个典范同构。
• 刻画Hecke算子在cusp形式 $\Delta$ 的奇次幂空间上的作用。
• 完整描述Hecke代数作为 $\mathbb{F}_2$ 上的二维正则局部环的结构。

提出的方法

• 定义 $\mathcal{F}(n)$ 为 $\Delta^{2i-1}$（$1 \leq i \leq n$）在 $\mathbb{F}_2$ 上的张成空间，$A(n)$ 为 $\mathcal{F}(n)$ 上由Hecke算子 $T_p$ 生成的 $\mathbb{F}_2$-代数。
• 利用对偶性，将 $\mathcal{F}(n)^*$ 识别为由在 $q^1$ 系数上取值的泛函 $e_n$ 生成的自由 $A(n)$-模。
• 通过反证法，利用Nakayama引理及某些形式上 $T_p$ 的非零性，证明 $A(n)$ 由 $T_3$ 和 $T_5$ 生成。
• 构造投射极限 $A = \varprojlim A(n)$，其自然作用于 $\mathcal{F}$，并定义同态 $\psi: \mathbb{F}_2[[x,y]] \to A$，满足 $x \mapsto T_3$，$y \mapsto T_5$。
• 通过分析 $\theta$-级数及其 $T_p$-作用，证明 $\psi$ 的单射性：对任意非零 $u \in \mathbb{F}_2[[x,y]]$，存在 $f \in \mathcal{F}$ 使得 $\psi(u)f = \Delta$。
• 利用 $\theta_{t,n}$ 和 $\theta'_{t,n}$ 级数分析Hecke算子的作用，并通过显式计算 $T_p$-轨道验证同构。

实验结果

研究问题

• RQ1 作用于权为1的模2全模形式的Hecke代数的结构是什么？
• RQ2 Hecke代数能否被实现为幂级数环？若能，哪些生成元已足够？
• RQ3 Hecke算子 $T_p$ 如何作用于cusp形式 $\Delta$ 的奇次幂空间？
• RQ4 对偶性和投射极限在从有限维商构造完整Hecke代数的过程中起什么作用？
• RQ5 在此设定下是否存在典范基或特征形式的参数化？它们与二次型有何关联？

主要发现

• 权为1的模2全模形式的Hecke代数同构于幂级数环 $\mathbb{F}_2[[x,y]]$，其中 $x = T_3$，$y = T_5$。
• $\mathcal{F}(n)$ 上的Hecke算子代数 $A(n)$ 是 $\mathbb{F}_2$ 上的维数为 $n$ 的局部环，具有唯一的极大理想。
• $\mathcal{F}(n)^*$ 的对偶空间是秩为1的自由 $A(n)$-模，由在 $q^1$ 系数上取值的泛函 $e_n$ 生成。
• 由 $x \mapsto T_3$，$y \mapsto T_5$ 定义的同态 $\psi: \mathbb{F}_2[[x,y]] \to A$ 是同构，从而确立了Hecke代数的完整结构。
• $\theta_{t,n}$ 和 $\theta'_{t,n}$ 级数分别构成 $T_5$ 和 $T_3$ 的核的基，其 $T_p$-作用通过 $\mathbb{Z}/2^n\mathbb{Z}$ 上的非标准群律显式描述。
• $A$ 是二维正则局部环，因此是整环，且作为拓扑 $\mathbb{F}_2$-代数，同构于 $\mathbb{F}_2[[x,y]]$。