[论文解读] The Breuil-Mezard conjecture for non-scalar split residual representations

Yongquan Hu, Fucheng Tan|arXiv (Cornell University)|Sep 6, 2013

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

一句话总结

本论文通过局部变形环技巧与Colmez的函子，证明了当 $ p \geq 5 $ 时，$ \mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p) $ 的非标量分裂剩余表示的Breuil-Mézard猜想。关键结果完成了对 $ p \geq 5 $ 情况的猜想证明，消除了Fontaine-Mazur猜想证明中的局部限制，并建立了具有潜在半稳定伽罗瓦表示的希尔伯特模形式的模性提升定理。

ABSTRACT

We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a consequence, the local restriction in the proof of the Fontaine-Mazur conjecture in [18] is removed.

研究动机与目标

• 完成对所有满足 $ p \geq 5 $ 的剩余表示的Breuil-Mézard猜想的证明，特别是针对非标量分裂情形。
• 消除在证明Fontaine-Mazur猜想时，模性提升定理中对剩余表示的局部限制。
• 建立模 $ p $ 上不可约表示在Shimura曲线的模 $ p $ 上同调中重数与变形环结构之间的精确联系。
• 将伪变形环与普遍变形环的框架扩展至处理半稳定非晶体点，通过修改的变形条件。

提出的方法

• 为具有指定Hodge-Tate权重和剩余类型的伽罗瓦表示构造普遍变形环与伪变形环。
• 应用Colmez的函子，将 $ p $-进伽罗瓦表示与 $ \mathrm{GL}_2(\mathbb{Q}_p) $ 的模 $ p $ 表示联系起来。
• 将完备上同调 $ M_\infty $ 视为局部变形环的完备张量积上的模，以分析其支集与重数。
• 应用Hilbert-Samuel重数与周期类理论，计算变形环中不可约分支的重数。
• 运用基底变换与模性提升技术，将一般情形约化为无瑕或 peu ramifié 的惯性作用情形。
• 利用文献[18, 定理9.7]中关于半稳定非晶体点处变形环的不可约性与分支结构的结果。

实验结果

研究问题

• RQ1 给定一个伽罗瓦表示时，每个不可约模 $ p $ 表示 $ \sigma_{n,m} $ 在相应Shimura曲线的上同调的模 $ p $ 约化中，其精确重数是多少？
• RQ2 当剩余表示为非标量且分裂时，潜在半稳定伽罗瓦表示的变形环如何分解为不可约分支？
• RQ3 Breuil-Mézard猜想能否扩展至包含变形空间中的半稳定非晶体点，特别是 peu ramifié 情形？
• RQ4 完备上同调模 $ M_\infty $ 的结构在多大程度上反映了变形环 $ \bar{R}_\infty $ 的几何性质？
• RQ5 当 $ M_\infty $ 作为 $ \bar{R}_\infty $-模是忠实的时，是否意味着对应伽罗瓦表示是模性的？

主要发现

• 当 $ p \geq 5 $ 时，对 $ \mathrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p) $ 的所有剩余表示，Breuil-Mézard猜想已完全证明，包括此前未解决的非标量分裂情形。
• 证明了完备上同调模 $ M_\infty^{i}/M_\infty^{i-1} $ 的分次部分的支集为整个 $ \operatorname{Spec}\bar{R}_\infty^i $，从而确认了其不可约性与几何控制性。
• 证明了模 $ M_\infty $ 是 $ \bar{R}_\infty $-模的忠实模，这对将模性结果提升至全局情形至关重要。
• 在 peu ramifié 情形下，变形环 $ \bar{R}_{\rm cr}^\boxplus,\psi}(2, (\tilde{\omega}^m)^{\oplus 2}, \overline{\rho})/\varpi $ 的结构被证明分解为两个不可约分支，其中一个对应晶体点，另一个对应半稳定非晶体点。
• 由于 $ M \_\infty $ 的忠实性与支集结果，可消除在希尔伯特模形式的Fontaine-Mazur猜想证明中对剩余表示的局部限制。
• 现在，文献[17]与[18]中关于剩余表示模性的主要结果足以推出：任意奇的、绝对不可约的、潜在半稳定的伽罗瓦表示，若其Hodge-Tate权重互异，则必来自一个希尔伯特模形式。