[论文解读] Sur la réduction des représentations cristallines de dimension 2 en poids moyens

Laurent Berger, Christophe Breuil|ArXiv.org|Apr 19, 2005

Digital Image Processing Techniques参考文献 2被引用 4

一句话总结

该论文计算了在 Hodge-Tate 权重为 $0$ 和 $k-1$ 时，$k \in \{p+2, \dots, 2p-1\}$ 的二维结晶表示模 $p$ 的约化，给出了根据 $p$-进 Hecke 特征值 $a_p$ 的 $p$-进赋值确定约化类型的完整公式。证明了当 $0 < \mathrm{val}(a_p) < 1$ 时，约化为 Steinberg 型表示 $\mathrm{ind}(\omega_2^{k-p})$；当 $\mathrm{val}(a_p) = 1$ 时，为具有特定模 $p$ 特征标的一类不可约非分裂表示，从而完成了 [Bre03b] 中的猜想。

ABSTRACT

We compute the reduction modulo $p$ of 2-dimensional crystalline representations whose Hodge-Tate weights are 0 and $k-1$ with $k \in \{p+2,...,2p-1\}$.

研究动机与目标

• 完成对 Hodge-Tate 权重为 $0$ 和 $k-1$ 的二维结晶表示模 $p$ 约化的分类，特别关注 $0 < \mathrm{val}(a_p) \leq 1$ 的情形。
• 解决 [Bre03b] 中猜想的剩余情形，针对 $k \in \{p+2, \dots, 2p-1\}$ 且 $\mathrm{val}(a_p) \leq 1$，此前仅对 $\mathrm{val}(a_p) > 1$ 的情形已证明。
• 通过 $(\varphi,\Gamma)$-模与 Wach 模的理论，建立 $p$-进 Langlands 对应与模 $p$ 约化之间的相容性。
• 在 $k$ 和 $a_p$ 的表达下，为 $\overline{V}_{k,a_p}$ 提供一个统一公式，该公式推广了 Fontaine–Laffaille 与 [BLZ04] 的先前结果。

提出的方法

• 利用滤过 $\varphi$-模与 Wach 模的理论，从其关联的滤过 $\varphi$-模 $D_{k,a_p}$ 构造结晶表示 $V_{k,a_p}$。
• 在 $\varprojlim_{\psi} D^\sharp(V)$ 构造上应用 $\psi$-算子，通过 $p$-进 Langlands 对应分析模 $p$ 的约化。
• 使用 $\mathrm{GL}_2(\mathbf{Q}_p)$ 的 $p$-进 Langlands 对应，将 $V_{k,a_p}$ 与一个极小表示 $\Pi_{k,a_p}$ 关联，并利用其与模 $p$ 约化的相容性。
• 利用 $(\varphi,\Gamma)$-模理论与函子 $D^\sharp$，将 $V_{k,a_p}$ 的约化与 $\varprojlim_{\psi} D^\sharp(\overline{V}_{k,a_p})$ 的结构联系起来。
• 应用 [Col04] 与 [BB04] 中关于 $p$-进 Langlands 对应与模 $p$ 约化相容性的结果。
• 运用 Schur 引理与 $\Gamma$-等变性，从 $\varprojlim_{\psi} D^\sharp$ 模之间非零 $\mathrm{Gal}(\overline{\mathbf{Q}}_p/\mathbf{Q}_p)$-等变映射的存在性推导出表示的同构。

实验结果

研究问题

• RQ1 当 $k \in \{p+2, \dots, 2p-1\}$ 且 $0 < \mathrm{val}(a_p) \leq 1$ 时，Hodge-Tate 权重为 $0$ 和 $k-1$ 的二维结晶表示的模 $p$ 约化是什么？
• RQ2 这些表示的 $p$-进 Langlands 对应如何与模 $p$ 约化相互作用？
• RQ3 能否证明 [Bre03b] 中关于 $\overline{V}_{k,a_p}$ 的猜想在 $\mathrm{val}(a_p) = 1$ 且 $k \in \{p+2, \dots, 2p-1\}$ 时成立？
• RQ4 当 $\mathrm{val}(a_p) < 1$ 且 $k \in \{p+2, \dots, 2p-1\}$ 时，$\overline{V}_{k,a_p}$ 的结构是什么？
• RQ5 $\overline{V}_{k,a_p}$ 是否与 $V_{k,a_p}$ 中 $\mathcal{O}_L$-格的选取无关？其如何用模 $p$ 特征标表达？

主要发现

• 当 $k = p+2$ 且 $1 > \mathrm{val}(a_p) > 0$ 时，约化 $\overline{V}_{k,a_p}$ 同构于二次特征 $\omega_2^2$ 的诱导表示 $\mathrm{ind}(\omega_2^2)$。
• 当 $k = p+2$ 且 $\mathrm{val}(a_p) = 1$ 时，$\overline{V}_{k,a_p}$ 是一个非分裂扩张，其特征为 $\omega \mu_\lambda$ 与 $\omega \mu_{\lambda^{-1}}$，其中 $\lambda$ 是方程 $\lambda^2 - \overline{a_p/p}\lambda + 1 = 0$ 的根。
• 当 $k \in \{p+3, \dots, 2p-1\}$ 且 $1 > \mathrm{val}(a_p) > 0$ 时，$\overline{V}_{k,a_p} \simeq \mathrm{ind}(\omega_2^{k-p})$，即 Steinberg 型表示。
• 当 $k \in \{p+3, \dots, 2p-1\}$ 且 $\mathrm{val}(a_p) = 1$ 时，$\overline{V}_{k,a_p} \simeq \begin{pmatrix} \omega^{k-2}\mu_\lambda & 0 \\ 0 & \omega\mu_{\lambda^{-1}} \end{pmatrix}$，其中 $\lambda = \overline{a_p/p} \cdot (k-1)$。
• 约化与 $V_{k,a_p}$ 中 $\mathcal{O}_L$-格的选取无关，确认了 $\overline{V}_{k,a_p}$ 的良好定义性。
• 结果完成了对所有 $k \in \{p+2, \dots, 2p-1\}$ 的 [Bre03b] 猜想的证明，涵盖了 $\mathrm{val}(a_p)$ 的所有情形。