[论文解读] The Hecke Algebra T_k has Large Index

Frank Calegari, Matthew Emerton|ArXiv.org|Nov 21, 2003

Advanced Algebra and Geometry参考文献 6被引用 4

一句话总结

本文证明了对于固定水平 $N$，新形式 Hecke 代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ 的 $p$-进赋值随权 $k$ 至少线性增长，从而证实了 Serre 的一个猜想。该结果通过研究判别式与 Hecke 代数的正规化建立，对晶体伽罗瓦表示的结构具有影响，并为 Buzzard 与 Mazur 关于形变空间和潜在半稳定表示的猜想提供了支持证据。

ABSTRACT

Let T_k denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the index of T_k inside its normalisation grows at least linearly with k (for fixed N), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.

研究动机与目标

• 解决 Serre 提出的问题：当 $k$ 增大时，Hecke 代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ 的 $p$-进赋值的指数增长行为如何？
• 为 Buzzard 的猜想提供理论证据，即对于晶体伽罗瓦表示 $\rho$ 属于 $\overline{\Omega}$，有 $[\mathbf{Q}_p(\rho) : \mathbf{Q}_p]$ 有界。
• 支持 Mazur 关于在 $\overline{\Omega}$ 中经典模点处 $p$-进表示潜在半稳定时为驯服的猜想。
• 分析伽罗瓦表示形变空间的结构及其与 Hecke 代数和特征曲线的关系。

提出的方法

• 将 Hecke 代数的指数定义为该代数在其在 $\mathbf{Z}_p$ 上的正规化中的指数。
• 利用 $\mathbf{T}_k(N)^{\mathrm{new}}$ 上的迹配对的判别式，从下方界定指数。
• 对由 $N$ 外的 Hecke 算子生成的子代数 $\mathbf{T}_k(N)'$ 应用约化论证，表明其指数也随 $k$ 线性增长。
• 利用映射 $\mathbf{T}_k(N)' \to \prod_{M|N} \mathbf{T}_k(M)^{\mathrm{new}}$ 的单射性，以及正规化在基变换到 $\mathbf{Q}_p$ 后保持同构的事实。
• 利用 $p$-进霍奇理论与 $B_{\mathrm{st}}$-模理论，分析潜在半稳定伽罗瓦表示的分歧与表示论结构。
• 应用引理 4.2：当 $p > n+1$ 时，$\mathrm{GL}_n(\mathcal{O})$ 中不存在 $p$-阶元素，从而排除 $p \geq 5$ 时的强烈分歧半稳定提升。

实验结果

研究问题

• RQ1 对于固定 $N$，$\mathbf{T}_k(N)^{\mathrm{new}}$ 的指数的 $p$-进赋值是否至少随 $k$ 线性增长？
• RQ2 能否约束 $\overline{\Omega}$ 中晶体表示的形变空间结构，以支持 Buzzard 关于有界度数域的猜想？
• RQ3 根据 Mazur 的猜想，$\overline{\Omega}$ 中所有经典模点在 $p$-进处是否均为驯服的潜在半稳定表示？
• RQ4 在 $\mathrm{GL}_n(\mathcal{O})$ 中不存在 $p$-挠元这一事实，对强烈分歧潜在半稳定表示的存在性施加了何种限制？

主要发现

• Hecke 代数 $\mathbf{T}_k(N)^{\mathrm{new}}$ 的指数 $I_k(N)^{\mathrm{new}}$ 的 $p$-进赋值至少随 $k$ 线性增长，即 $\liminf_{k\to\infty} \frac{1}{k} \cdot \mathrm{ord}_p(I_k(N)^{\mathrm{new}}) > 0$。
• 同一结果也适用于由 $N$ 外的 Hecke 算子生成的子代数 $\mathbf{T}_k(N)'$，从而确认了 Serre 关于指数增长的问题。
• 当 $p \geq 5$ 时，若 $F$ 为绝对无分歧域，则 $\mathrm{GL}_2(F)$ 中不存在强烈潜在半稳定表示，原因在于 $\mathrm{GL}_d(\mathcal{O})$ 中不存在 $p$-挠元，当 $p > de+1$ 时成立。
• 该结果意味着：任何系数在 $\mathbf{Q}_p$ 中且水平为 $p$-幂的新开形式，其导子必有界，因此对固定权，仅有有限多个此类形式。
• 该分析通过排除 $\overline{\Omega}$ 作为正维数形变环参数化的刚性空间，为 Buzzard 的猜想提供了理论支持。
• 本文确立了：除非受水平与权的约束，否则具有有界霍奇–泰滕权重的晶体表示集合在完整形变空间中并非闭集，凸显了这些猜想的微妙性。