[论文解读] On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p

Chandrashekhar Khare|ArXiv.org|Apr 5, 2005

Advanced Algebra and Geometry参考文献 36被引用 7

一句话总结

本文证明了 Serre 模形式猜想在 level 1 情况下对 2 维模 $p$ 伽罗瓦表示（在 $p$ 外无分歧）的成立，确立了此类奇、不可约表示均来自权 $k(\bar{\rho})$ 且水平为 1 的尖形式。证明引入了一种新颖的“权降低”技术，结合模形式提升定理（尤其是 Kisin 和 Skinner–Wiles 的结果）、变形理论与相容表示系，无需依赖于在小素数之外的阿贝尔簇分类结果，从而完成了该猜想的证明。

ABSTRACT

We prove the level 1 case of Serre's conjecture.

研究动机与目标

• 证明 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ 上 2 维模 $p$ 伽罗瓦表示的 Serre 模形式猜想在 level 1 情况下的成立。
• 确立每个在 $p$ 外无分歧的连续、奇、不可约模 $p$ 表示均来自 $S_{k(\bar{\rho}})(SL_2(\mathbb{Z}))$ 中的尖形式。
• 发展并应用一种新的“权降低”技术，以避免依赖于在 $\mathbb{Q}$ 上具有在小素数外良好减少性的半稳定阿贝尔簇的分类结果。
• 仅使用已知的模形式提升定理完成 level 1 情况的证明，从而最终解决算术几何与模形式理论中一个长期存在的猜想。

提出的方法

• 引入一种新颖的“权降低”技术，以归纳法证明高权情形的模性，而无需依赖于阿贝尔簇的分类结果。
• 应用 Wiles、Taylor、Breuil、Conrad、Diamond、Fujiwara、Kisin 以及 Skinner–Wiles 的模形式提升定理，将模 $p$ 表示提升为具有受控 Hodge–Tate 权的 $p$-进提升。
• 利用变形理论与 Taylor 的潜在模性结果，构造伽罗瓦表示的相容系统。
• 采用先前工作中“消除分歧”的方法，将一般情形约化至 level 1 情形。
• 利用关于 $p$ 处 Barsotti–Tate 与晶体提升的结果，特别是 Kisin 在 $\mathbb{Q}_p(\mu_p)$ 上对潜在 Barsotti–Tate 提升的定理，处理非典型情形。
• 结合对素数的 Chebyshev 型估计与 Carayol 引理的伽罗瓦理论类比，控制变形环的结构与提升障碍。

实验结果

研究问题

• RQ1 每个奇、不可约、2 维模 $p$ 伽罗瓦表示（在 $p$ 外无分歧）是否都来自水平为 1、权为 $k(\bar{\rho})$ 的尖形式？
• RQ2 是否可以在不依赖于在 $\mathbb{Q}$ 上具有在小素数外良好减少性的半稳定阿贝尔簇分类结果的前提下，证明 Serre 模形式猜想的 level 1 情况？
• RQ3 是否可以发展一种新的归纳方法——“权降低”——以绕过高权情形模形式提升策略中的技术障碍？
• RQ4 在不基于阿贝尔簇分类的逐个情况分析下，模形式提升定理在所有权 $k(\bar{\rho})$ 上的统一应用程度如何？
• RQ5 是否可能仅使用已知的模形式提升定理与变形理论工具完成 Serre 猜想的 level 1 情况的证明？

主要发现

• Serre 模形式猜想的 level 1 情况已被完全证明：每个奇、不可约、连续的模 $p$ 表示 $\bar{\rho}: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$（在 $p$ 外无分歧）均来自 $S_{k(\bar{\rho}})(SL_2(\mathbb{Z}))$ 中的尖形式。
• 证明表明，对固定的素数 $p$，在 $p$ 外无分歧的连续半单奇模 $p$ 表示的同构类数 $N(2,p)$ 满足 $Cp^3$ 的上界（$C$ 为绝对常数），并猜想其渐近等价于 $\frac{1}{48}p^3$。
• 该方法消除了对在 $\mathbb{Q}$ 上具有在小素数外良好减少性的半稳定阿贝尔簇分类结果的依赖，仅在 $p=5$ 时例外，该情形通过 Fontaine–Brumer–Kramer–Schoof 的结果处理。
• 本文确认，任何此类 $\bar{\rho}$ 均可定义在有限域 $\mathbb{F}_{p^e}$ 上，其中 $e \leq \sup(1, \frac{p+1}{12})$，如 Serre 所指出。
• 权降低技术使得归纳步骤得以推进，而无需残余表示为非退化或依赖于 $J_0(p)$ 的模性（对大 $p$ 失效，$p > 19$ 时失败）。
• 证明表明，模形式提升定理（尤其是 Kisin 与 Skinner–Wiles 的结果）在结合相容系统与变形理论后，可统一应用于所有权，从而完成 level 1 情况的证明。