[论文解读] On the automorphy of 2-dimensional potentially semi-stable deformation rings of $G_{\mathbb{Q}_p}$

Shen-Ning Tung|arXiv (Cornell University)|Mar 19, 2018

Finite Group Theory Research参考文献 27被引用 3

一句话总结

本文通过利用 $\mathrm{GL}_2(\mathbb{Q}_p)$ 的 $p$-进局部 Langlands 对应，并分析修补模 $M_\infty(\sigma)[1/p]$，证明了 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ 的二维潜在半稳定变形环的每个不可约分支都是自守的。该工作为 $p > 2$ 的 Breuil-Mézard 猜想提供了新证明，包括 $p = 3$ 时 $\bar{r}$ 是模 $p$ 余维特征的平凡表示的扭这一新颖情形，并消除了证明 Fontaine-Mazur 猜想时的一个局部限制。

ABSTRACT

Using $p$-adic local Langlands correspondence for $\operatorname{GL}_2(\mathbb{Q}_p)$, we prove that the support of patched modules constructed by Caraiani, Emerton, Gee, Geraghty, Paskunas, and Shin meet every irreducible component of the potentially semistable deformation ring. This gives a new proof of the Breuil-Mézard conjecture for 2-dimensional representations of the absolute Galois group of $\mathbb{Q}_p$ when $p > 2$, which is new in the case $p = 3$ and $\bar{r}$ a twist of an extension of the trivial character by the mod p cyclotomic character. As a consequence, a local restriction in the proof of Fontaine-Mazur conjecture by Kisin is removed.

研究动机与目标

• 证明 $\mathbb{Q}_p$ 的二维 Galois 表示的潜在半稳定变形环的每个不可约分支均为自守。
• 为 $p > 2$ 的 Breuil-Mézard 猜想提供新证明，尤其针对 $p = 3$ 且 $\bar{r}$ 为模 $p$ 余维特征扭的平凡特征的情形。
• 通过证明分支的自守性蕴含在标准条件下模性，从而消除 Fontaine-Mazur 猜想证明中的一个局部限制。
• 证明修补模 $M_\infty(\sigma)[1/p]$ 通过 $p$-进局部 Langlands 对应与 $R_{\bar{r}}^\Box(\sigma)[1/p]$ 的每个不可约分支相交。

提出的方法

• 利用 $\mathrm{GL}_2(\mathbb{Q}_p)$ 的 $p$-进局部 Langlands 对应，本文通过 Montreal 赋值 $\check{\mathbf{V}}$ 将修补模 $M_\infty(\sigma)[1/p]$ 与赋值表示 $\Pi_y$ 关联。
• 对固定行列式商 $M_\infty^\psi$ 应用 Colmez 的 Montreal 赋值 $\check{\mathbf{V}}$，证明 $\check{\mathbf{V}}(M_\infty^\psi)$ 是 $R_\infty^\psi$ 上的有限生成模，从而克服 $M_\infty$ 在 $R_\infty$ 上非有限生成的问题。
• 利用 Emerton 与 Paškūnas 的结果，证明 $R_\infty^\psi$ 在 $\check{\mathbf{V}}(M_\infty^\psi)$ 上的作用是忠实的，从而推出在任意 $y \in \operatorname{m-Spec} R_\infty^\psi[1/p]$ 处的特殊化非零。
• 通过在 $R_\infty^\psi\llbracket G_{\mathbb{Q}_p} \rrbracket$ 中对 Cayley-Hamilton 关系生成的理想 $J$ 进行约化，证明 $\check{\mathbf{V}}(M_\infty^\psi)$ 是 $R_\infty^\psi$ 上的有限生成模，从而实现对模结构的控制。
• 利用 [Kis09, GK14, EG14, Paš15] 的形式化方法，从 $\Pi_y$ 的非零性推导出分支的自守性，并通过 Hilbert-Samuel 范数计算直接验证了例外情形（可约、非晶体、半稳定），从而完整证明了 $p > 2$ 时的 Breuil-Mézard 猜想。
• 结合 [BLGG13] 中关于普通分支的结果与 [EG14] 中关于循环分解的结果，证明所有分支均为自守，包括此前未被证明的 $p=3$ 情形。

实验结果

研究问题

• RQ1 对于 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ 的潜在半稳定变形环 $R_{\bar{r}}^\Box(\sigma)[1/p]$，其每个不可约分支是否均来自自守形式？
• RQ2 在 $p=3$ 且 $\bar{r}$ 为模 $p$ 余维特征扭平凡表示的情形下，能否独立于先前结果证明 Breuil-Mézard 猜想？
• RQ3 修补模 $M_\infty(\sigma)[1/p]$ 在变形空间中每一点的非零性是否意味着所有分支均为自守？
• RQ4 能否利用此自守性结果消除 Fontaine-Mazur 猜想证明中的局部限制？
• RQ5 变形环 $R_{\bar{r}}^\Box(\sigma)/\varpi$ 的循环分解是否与 Breuil-Mézard 猜想所预测的自守循环结构相容？

主要发现

• 修补模 $M_\infty(\sigma)[1/p]$ 的支集与潜在半稳定变形环 $R_{\bar{r}}^\Box(\sigma)[1/p]$ 的每个不可约分支相交，从而证明所有此类分支均为自守。
• 为 $\mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$ 的二维表示在 $p > 2$ 时的 Breuil-Mézard 猜想提供了新证明，包括 $p = 3$ 且 $\bar{r}$ 为模 $p$ 余维特征扭平凡表示的情形。
• $R_\infty^\psi$ 在 $\check{\mathbf{V}}(M_\infty^\psi)$ 上的作用是忠实的，且 $\check{\mathbf{V}}(M_\infty^\psi)$ 是 $R_\infty^\psi$ 上的有限生成模，从而保证对所有 $y \in \operatorname{m-Spec} R_\infty^\psi[1/p]$ 有 $\Pi_y \neq 0$。
• 通过计算 Hilbert-Samuel 范数，直接验证了可约、非晶体、半稳定分支的例外情形，完整证明了 $p > 2$ 时 Breuil-Mézard 猜想。
• Fontaine-Mazur 猜想现无需 [Kis09] 中的局部限制，因为所有分支的自守性蕴含了奇、不可约、潜在半稳定表示（具有不同 Hodge-Tate 权重）的模性。
• 循环分解 $\mathcal{Z}(R_{\bar{r}}^\Box(\sigma)/\varpi) = \sum m_{\bar{\sigma}}(\lambda,\tau) \mathfrak{C}_{\bar{\sigma}}(\bar{r}) \times \mathcal{Z}(k\llbracket x_1,\dots,x_d\rrbracket)$ 成立，证实其与预测的自守循环结构相容。