[论文解读] The weight part of Serre's conjecture for GL(2)

Toby Gee, Tong Liu+1 more|arXiv (Cornell University)|Sep 2, 2013

Algebraic Geometry and Number Theory参考文献 13被引用 14

一句话总结

本文通过利用基灵模分析两维晶态表示的约化，聚焦于一类称为伪-巴尔萨蒂-Tate 的表示，首次在任意完全实数域上确立了 GL(2) 上塞尔猜想的权部分。关键结果是两个 p-进霍奇理论定义的塞尔权相等，从而在 p > 2 的泰勒-威尔斯假设下完成了该猜想的证明。

ABSTRACT

Let p > 2 be prime. We use purely local methods to determine the possible reductions of certain two-dimensional crystalline representations, which we call "pseudo-Barsotti-Tate representations", over arbitrary finite extensions of the p-adics. As a consequence, we establish (under the usual Taylor-Wiles hypothesis) the weight part of Serre's conjecture for GL(2) over arbitrary totally real fields.

研究动机与目标

• 解决任意完全实数域上 GL(2) 的塞尔猜想权部分，扩展此前需在 p 处无分支的限制结果。
• 确立与模 p 伽罗瓦表示相关的两个 p-进霍奇理论定义的塞尔权之间的相等性。
• 在存在任意 p-进分支的情况下，发展晶态表示约化的局部理论。
• 通过一类新表示——伪-巴尔萨蒂-Tate 表示，提供塞尔权的完整局部刻画，方法基于基灵模。
• 修正并推广 [GLS14] 中的早期结果，修正索引错误，并将结构定理推广至分支基域。

提出的方法

• 作者引入并研究了一类新的晶态表示，称为伪-巴尔萨蒂-Tate 表示，其推广了潜在巴尔萨蒂-Tate 表示。
• 他们利用基灵模分析这些表示的模 p 约化，特别关注其结构与扩张类。
• 该方法依赖于在任意有限扩张 Q_p 上显式构造基灵模，包括具有任意分支的情况。
• 关键技术工具是使用 $(\varphi, \hat{G})$-模来分类约化，并证明非分裂性与无分支扩张类。
• 通过基域变换至无分支扩张，简化基灵模的结构，表明某些约化在扩张后变为分裂。
• 他们应用上同调技术，特别是 $H^1(G_K, k_E)$ 上的限制映射，证明扩张类必为无分支，从而实现所需的分类。

实验结果

研究问题

• RQ1 在 p 处具有任意分支的完全实数域上，与希尔伯特模形式相关的模 p 伽罗瓦表示可能产生哪些塞尔权？
• RQ2 在分支基域存在的情况下，通过晶态类型与潜在巴尔萨蒂-Tate 类型定义的两个 p-进霍奇理论塞尔权之间有何关系？
• RQ3 能否仅用局部方法证明 GL(2) 在任意完全实数域上的塞尔猜想权部分？
• RQ4 在 Q_p 的分支扩张上，与伪-巴尔萨蒂-Tate 表示相关的基灵模具有何种结构？
• RQ5 晶态表示的约化在基域变换至无分支扩张后行为如何？这对塞尔权的分类有何含义？

主要发现

• 本文确立了两个塞尔权定义的相等性：一个通过晶态表示定义，另一个通过潜在巴尔萨蒂-Tate 类型定义，适用于任意完全实数域。
• 证明了伪-巴尔萨蒂-Tate 表示的约化非分裂当且仅当其对应的基灵模非分裂，且此类约化由无分支上同调类分类。
• 作者表明，在基域变换至度为 p 的无分支扩张后，非分裂约化的基灵模变为分裂，从而可推导出扩张类的无分支性。
• 在泰勒-威尔斯假设下，对任意完全实数域上的 GL(2)，塞尔权的分类得以完成，且权重完全由局部 p-进霍奇理论决定。
• 提供更正说明，修正 [GLS14] 中的索引错误，特别是定理 4.22 的陈述以及涉及基灵模基与弗罗贝尼乌斯作用的公式。