[论文解读] Weight elimination in two dimensions when $p=2$

Xiyuan Wang|arXiv (Cornell University)|Nov 22, 2017

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

一句话总结

本文在秩二酉群的背景下，通过将 [GLS14, GLS15] 的先前结果扩展到 $ p = 2 $ 的情形，完成了对 Serre 猜想中模 2 伽罗瓦表示的权消除方向的证明。它证明了若一个模 2 伽罗瓦表示是某 Serre 权 $ a $ 的模形式表示，则 $ a $ 属于显式定义的集合 $ W^{\text{explicit}}(\overline{r}) $，并利用一个新局部引理避开了早期证明中对 $ p > 2 $ 的依赖。

ABSTRACT

We prove the `weight elimination' part of the weight part of Serre's conjecture for mod 2 Galois representations for rank two unitary groups, by modifying the results in arXiv:1203.2552 and arXiv:1309.0527.

研究动机与目标

• 将 [GLS14, GLS15] 的权消除结果扩展到 $ p = 2 $ 的情形，其中早期方法依赖于 $ p > 2 $。
• 在先前证明 Serre 猜想权部分所用的域扩张引理中，去除对 $ p > 2 $ 的限制。
• 在特定数域条件下，验证集合 $ W^{\text{explicit}}(\overline{r}) $ 在 $ p = 2 $ 时捕获了所有模形式权。
• 在 $ p = 2 $ 时建立 $ W^{\text{cris}}(\overline{\rho}) \subseteq W^{\text{explicit}}(\overline{\rho}) $，完成全局结果所需的局部比较。

提出的方法

• 证明了一个新局部引理（引理 2.1），用一个适用于 $ p = 2 $ 的版本替代了 [Liu08] 中依赖于 $ p > 2 $ 的域扩张论证。
• 通过推广 Kisin 模和结晶提升的框架，定义了 $ W^{\text{cris}}(\overline{\rho}) $，即由结晶提升的霍奇-泰特权构成的 Serre 权集合。
• 利用 $ B_{\text{dR}}^{+} $、$ A_{\text{cris}} $ 和德雷姆周期环的理论，分析 $ p $-进伽罗瓦表示在 $ p = 2 $ 时的霍奇-泰特结构。
• 应用 $ p $-进霍奇理论工具，包括选择一组相容的 $ p^n $-次单位根系统，以及定义元素 $ t = -\log([\uline{\epsilon}]) $，以控制 $ W(R) $ 上的滤子结构。
• 通过验证 [BLGG13] 中引理 2.1.11 的证明在 $ p = 2 $ 时依然成立（利用 [Tho17] 的结果），对全局模形式性论证进行了修订。
• 通过 [GLS15, 命题 6.3.1] 的修改版本，证明 $ W^{\text{explicit}}(\overline{\rho}) $ 仅依赖于在 $ p = 2 $ 时的惯性表示 $ \overline{\rho}|_{I_K} $。

实验结果

研究问题

• RQ1 Serre 猜想中模 2 伽罗瓦表示的权消除方向是否可以扩展到 $ p = 2 $ 的情形？
• RQ2 当 $ p = 2 $ 时，包含关系 $ W^\text{cris}(\overline{\rho}) \subseteq W^\text{explicit}(\overline{\rho}) $ 是否成立？
• RQ3 在 [GLS14, GLS15] 中使用的域扩张引理在 $ p = 2 $ 时是否仍然有效？
• RQ4 在缺乏 $ 2 $-进自守提升定理的情况下，能否在 $ p = 2 $ 时建立秩二酉群的全局模形式性结果？
• RQ5 当 $ p = 2 $ 时，$ W^\text{explicit}(\overline{r}) $ 是否仅依赖于惯性表示 $ \overline{r}|_{I_K} $？

主要发现

• 本文证明了在 $ p = 2 $ 时 $ W^{\text{cris}}(\overline{\rho}) \subseteq W^{\text{explicit}}(\overline{\rho}) $，完成了 Serre 猜想权部分所需的局部比较。
• 主要全局结果，定理 6.2，确认了若 $ \overline{r} $ 是权 $ a $ 的模形式表示，则 $ a \in W^{\text{explicit}}(\overline{r}) $，前提是 $ F/F^+ $ 在有限素点上无分歧，$ F^+ $ 上方 2 的每个素点在 $ F $ 中分裂，且 $ [F^+ : \mathbb{Q}] $ 为偶数。
• 本文证明了在 $ p = 2 $ 时 $ W^{\text{explicit}}(\overline{\rho}) $ 仅依赖于 $ \overline{\rho}|_{I_K} $，如命题 5.5 所示。
• 验证了 [BLGG13, 引理 2.1.11] 的证明在 $ p = 2 $ 时依然成立，使得全局权消除结果可被推广至 $ p = 2 $。
• 新局部引理（引理 2.1）成功替代了依赖于 $ p > 2 $ 的域扩张论证，使权消除结果得以推广至 $ p = 2 $。
• 该结果填补了链式包含关系 $ W^{\text{explicit}}(\overline{r}) \subseteq W(\overline{r}) \subseteq W^{\text{cris}}(\overline{r}) \subseteq W^{\text{explicit}}(\overline{r}) $ 中的关键空白，使该链在 $ p = 2 $ 时基本完整，仅第一个包含关系仍因缺乏 $ 2 $-进自守提升定理而未解决。