[论文解读] Hasse invariant and group cohomology

Bas Edixhoven, Chandrashekhar Khare|ArXiv.org|Oct 25, 2002

Algebraic Geometry and Number Theory参考文献 9被引用 10

一句话总结

本文建立了一个群上同调框架，用以模拟 Hasse 不变量在模 $p$ 下将权为 2 与权为 $p+1$ 的模形式产生同余关系中的作用，借助退化映射和 Hecke 特征值提升。关键贡献在于提出了一种上同调机制，通过证明权为 2 的 Hecke 特征形式可通过对称幂提升至更高权形式，从而解决了 Eichler-Shimura 同构中的一个谜题。该方法可推广至几何 Hasse 不变量不可用的虚二次域与全实域上的 Hilbert 模形式情形。

ABSTRACT

Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in terms of group cohomology. We also show how our method works in the contexts of quadratic imaginary fields (where there is no Hasse invariant available) and Hilbert modular forms over totally real fields of even degree.

研究动机与目标

• 解决一个上同调谜题：尽管对称幂表示不可约，为何 $H^1(\Gamma_1(N), \mathbb{F}_p)$ 中的 Hecke 特征值也会出现在 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$ 中？
• 在几何 Hasse 不变量不存在的背景下（如虚二次域上），构建群上同调的 Hasse 不变量替代物。
• 将权提升同余的方法从经典模形式推广至更高秩情形，包括非平行权的 Hilbert 模形式。
• 为不同权 $k$ 下的 $p$-新形式提供上同调解释，特别是针对 $2 < k \leq p+1$ 与 $k > p+1$ 的情形。

提出的方法

• 使用退化映射 $\alpha: H^1(\Gamma_1(N), \mathbb{F}_p)^2 \to H^1(\Gamma_1(N) \cap \Gamma_0(p), \mathbb{F}_p)$，其定义为通过 $\begin{pmatrix} p & 0 \\ 0 & 1 \end{pmatrix}$ 共轭作用下的限制与扭曲限制之和，以关联不同水平的上同调群。
• 应用 Eichler-Shimura 同构，将模形式与 $H^1(\Gamma_1(N), \mathbb{F}_p)$ 及 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$ 中的上同调类对应，从而比较 Hecke 特征值。
• 利用退化映射的单射性（引理 1）以及全实情形下的强逼近性质，控制核并确保特征值的提升。
• 在 Hilbert 模形式设定中，应用 Jacquet-Langlands 对应，将自守表示与四元数代数上的形式之间的上同调数据相互转移。
• 构造一个表示 $\mathrm{Sym}^{p-1}(\mathbb{F}_\wp^2) \otimes \mathrm{Sym}^{p-1}(\mathbb{F}_\wp^2)^\sigma \otimes \cdots$，其作为 Borel 子群诱导表示的直和项出现，从而实现特征值的转移。
• 应用 [K] 中的结果推导 $p$-新形式的水平提升准则，根据权 $k$ 相对于 $p+1$ 的不同情况区分讨论。

实验结果

研究问题

• RQ1 为何尽管对称幂表示不可约，$H^1(\Gamma_1(N), \mathbb{F}_p)$ 中的 Hecke 特征值仍会出现在 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$ 中？
• RQ2 在几何 Hasse 不变量不存在的背景下（如虚二次域上），能否构造出群上同调的 Hasse 不变量替代物？
• RQ3 如何利用群上同调系统地描述权为 2 与 $p+1$ 的模形式之间的权提升同余？
• RQ4 在不同权范围内，$p$-新形式从水平 $N$ 到水平 $Np$ 的提升背后的上同调机制是什么？
• RQ5 退化映射如何与 Hecke 算子相互作用，以在不同上同调群之间保持特征值系统的一致性？

主要发现

• 退化映射 $\alpha: H^1(\Gamma_1(N), \mathbb{F}_p)^2 \to H^1(\Gamma_1(N) \cap \Gamma_0(p), \mathbb{F}_p)$ 是单射的，为上同调类与特征值的提升提供了关键技术工具。
• 权为 2 的模 $p$ Hecke 特征形式，其特征值属于 $\overline{\mathbb{F}_p}$，也来自 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$ 中的模形式，从而解决了上同调谜题。
• 当 $k=2$ 时，一个新形式 $f$ 模 $\wp$ 同余于一个 $p$-新形式，当且仅当 $a_p(f)^2 \equiv \varepsilon_f(p) \pmod{\wp}$，其中 $\varepsilon_f$ 是 nebentypus 特征。
• 当 $2 < k \leq p+1$ 时，$f$ 模 $\wp$ 同余于一个 $p$-新形式，当且仅当 $a_p(f) \equiv 0 \pmod{\wp}$。
• 当 $k > p+1$ 时，$S_k(\Gamma_1(N))$ 中的每个新形式 $f$ 都模 $\wp$ 同余于 $S_k(\Gamma_1(N) \cap \Gamma_0(p))$ 中的一个 $p$-新形式，表明在更高权情形下水平提升总是可能的。
• 在全实域 $F$（偶数次）上的 Hilbert 模形式设定中，一个由权 $(2,\dots,2)$ 诱导的不可约 Galois 表示 $\rho: G_F \to \mathrm{GL}_2(\overline{\mathbb{F}_p})$，也通过 Jacquet-Langlands 对应与上同调提升，来自权 $(p+1,\dots,p+1)$。