[论文解读] Reduction modulo p of two-dimensional crystalline representations of G_{Q_p} of slope less than three

Bodan Arsovski|arXiv (Cornell University)|Mar 28, 2015

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

该论文利用 $p$-进局部兰兰兹对应，计算了 $G_{\mathbb{Q}_p}$ 上斜率小于三的二维晶体伽罗瓦表示的模 $p$ 约化。它解决了布里尔、巴扎尔与埃默顿在斜率严格介于一和三之间的猜想，并使用表示论技巧与二项式和、$p$-进模形式的显式计算，对斜率为一的情况提供了部分分类。

ABSTRACT

We use the p-adic local Langlands correspondence for GL_2(Q_p) to find the reduction modulo p of certain two-dimensional crystalline Galois representations. In particular, we resolve a conjecture of Breuil, Buzzard, and Emerton in the case when the slope is strictly between one and three, and prove partial results towards this conjecture for arbitrary slopes. Moreover, we partially classify the reduction modulo p of these representations when the slope is equal to one.

研究动机与目标

• 确定 $G_{\mathbb{Q}_p}$ 上斜率小于三的二维晶体伽罗瓦表示的模 $p$ 约化。
• 解决布里尔、巴扎尔与埃默顿关于斜率在 $ (1,3) $ 区间内此类约化结构的猜想。
• 对斜率恰好为一的情况部分分类约化结果。
• 扩展在晶体表示背景下对 $p$-进局部兰兰兹对应的理解。
• 提供使用 Sage 的显式计算工具，以验证某些模 $p$ 表示不可约性的猜想。

提出的方法

• 应用 $\mathrm{GL}_2(\mathbb{Q}_p)$ 的 $p$-进局部兰兰兹对应，将伽罗瓦表示与模 $p$ 表示联系起来。
• 使用 $I(V) = \mathrm{ind}_{KZ}^G(V)$ 的构造，其中 $V = \mathrm{Symm}^r(\overline{\mathbb{F}}_p^2)$，并让 Hecke 算子 $T$ 通过特定矩阵公式作用。
• 利用 $\pi(\nu, \lambda, \chi) = (\chi \circ \det) \otimes (I(\sigma_\nu)/(T - \lambda))$ 的分类，判断其是否不可约或具有已知的 Jordan–Hölder 因子。
• 分析约化核 $X(r+2,a)$，并利用二项式和的恒等式研究模 $p$ 表示的结构。
• 使用 Sage 进行显式计算，以验证关于行列式消失与不可约性条件的猜想。
• 应用扭理论 $\sigma_m(n) = \det^n \otimes \sigma_m$ 以及 $\omega$、$\omega_2$ 和 $\mu_t$ 的作用，对可能的约化类型进行分类。

实验结果

研究问题

• RQ1 对于 $G_{\mathbb{Q}_p}$ 上斜率在 $ (1,3) $ 区间内的二维晶体伽罗瓦表示，其模 $p$ 约化是什么？
• RQ2 布里尔、巴扎尔与埃默顿关于此类约化结构的猜想是否在斜率严格介于一和三之间时成立？
• RQ3 当斜率恰好为一，模 $p$ 约化应如何分类？
• RQ4 哪些关于 Hodge–Tate 权重与斜率的条件决定了模 $p$ 约化的不可约性？
• RQ5 哪些 $r$ 模 $p$ 的同余类会导致 $\overline{\Theta}_{r+2,a}$ 可约？

主要发现

• 该论文解决了布里尔、巴扎尔与埃默顿在斜率严格介于一和三之间的猜想，证明在适当条件下，模 $p$ 约化同构于 $\pi(\nu, \lambda, \chi)$，其中 $\nu \in \{0, p-1\}$ 且 $\lambda \neq 0$。
• 对于斜率为一的情况，论文提供了模 $p$ 约化的部分分类，识别出可能的 Jordan–Hölder 因子及其结构。
• 使用 Sage 的显式计算证实，除非 $r$ 满足由二项式和导出的多项式根决定的特定同余条件，否则 $\overline{\Theta}_{r+2,a}$ 是不可约的。
• 论文证明，当 $\lambda \neq 0$ 时，表示 $\pi(\nu, \lambda, \chi)$ 不可约，除非 $\nu \in \{0, p-1\}$ 且 $\lambda = \pm 1$，此时可能可约。
• 约化核 $X(r+2,a)$ 被证明非零且有限长度，其结构通过 $T$ 的作用与 $\pi(\nu, \lambda, \chi)$ 模块进行分析。
• 使用 Sage 的程序化验证确认，猜想 8 的前两部分在 $m \leq 6$ 时成立，并为测试 $\overline{\Theta}_{r+2,a}$ 的不可约性提供了计算框架。