[论文解读] Moduli stacks of two-dimensional Galois representations

Ana Caraiani, Matthew Emerton+2 more|arXiv (Cornell University)|Aug 19, 2019

Algebraic Geometry and Number Theory参考文献 21被引用 5

一句话总结

本文通过使用 Breuil–Kisin 模和 étale φ-模来参数化这些表示，构建了 $p$-adic 局部域上二维模 $p$ Galois 表示的模堆栈。关键结果是模堆栈的不可约分支自然地由 Serre 权标记，从而几何地实现了 $\mathrm{GL}_2$ 的 Serre 猜想的权部分。堆栈的几何结构反映了模 $p$ Galois 表示的表示论结构，其中一般点对应于由 Serre 权决定的特征的扩张。

ABSTRACT

We construct moduli stacks of two-dimensional mod p representations of the absolute Galois group of a p-adic local field, and relate their geometry to the weight part of Serre's conjecture for GL(2).

研究动机与目标

• 在 $p$-adic 局部域上构造二维模 $p$ Galois 表示的模堆栈，允许残基表示变化。
• 将此模堆栈的几何结构与 $\mathrm{GL}_2$ 的 Serre 猜想的权部分联系起来。
• 为理解 Serre 权及其在模 $p$ Galois 表示中的作用提供几何框架。
• 证明模堆栈是等维的，维数为 $[K:\mathbf{Q}_p]$，且在一般点处是约化的，使用受 Kisin 工作启发的解析方法。
• 建立变形环的特殊纤维与模堆栈几何之间的联系，特别是针对潜在 Barsotti–Tate 表示。

提出的方法

• 使用 Breuil–Kisin 模和 étale $\varphi$-模作为半线性代数数据，以参数化模 $p$ Galois 表示。
• 构造了在 $\overline{\mathbf{F}}_p$ 上的二维模 $p$ Galois 表示的模堆栈 $\mathcal{Z}$，并证明其为有限型代数堆栈。
• 引入一个部分解析，受 Kisin 在形式变形设定中的构造启发。
• 通过 Serre 权 $\overline{\sigma}$ 标记堆栈的不可约分支，证明 $\overline{\mathbf{F}}_p$-点在分支 $\mathcal{Z}(\overline{\sigma})$ 上恰好对应于以 $\overline{\sigma}$ 为 Serre 权的表示。
• 应用修补模理论和上同调类 $Z^\prime_{\otimes_{v|p}\overline{\sigma}_v}(\overline{\rho})$，将堆栈的几何时空与几何 Breuil–Mézard 猜想联系起来。
• 利用该解析证明模堆栈在一般点处是约化的，并将此结果应用于推导出对有理化潜在 Barsotti–Tate 变形环的特殊纤维也具有相同性质。

实验结果

研究问题

• RQ1 如何构造一个允许残基表示变化的二维模 $p$ Galois 表示的模堆栈？
• RQ2 此类模堆栈的几何结构在何种方式下反映了 $\mathrm{GL}_2$ 的 Serre 猜想的权部分？
• RQ3 Serre 权在标记模 $p$ Galois 表示的模堆栈的不可约分支中起什么作用？
• RQ4 能否证明模堆栈在一般点处是约化的？这对其变形环的几何结构有何含义？
• RQ5 不可约分支的一般点如何与具有指定惰性群限制的特征扩张相关？

主要发现

• 模堆栈 $\mathcal{Z}$ 是 $\overline{\mathbf{F}}_p$ 上的有限型代数堆栈，等维，维数为 $[K:\mathbf{Q}_p]$。
• 堆栈 $\mathcal{Z}$ 的不可约分支自然地由 Serre 权 $\overline{\sigma}$ 标记，且 $\mathcal{Z}(\overline{\sigma})$ 上的 $\overline{\mathbf{F}}_p$-点恰好是满足 $\overline{\sigma}$ 为 Serre 权的表示 $\overline{r}: G_K \to \mathrm{GL}_2(\overline{\mathbf{F}}_p)$。
• 不可约分支的一般点对应于其在惰性群上的限制由相应 Serre 权决定的特征扩张。
• 模堆栈在一般点处是约化的，这是通过受 Kisin 构造启发的部分解析证明的。
• 该结果意味着有理化潜在 Barsotti–Tate 变形环的特殊纤维也是在一般点处约化的。
• 与 Serre 权相关的上同调类 $\mathcal{C}_{\overline{\sigma}}$ 是有效的，且几何 Breuil–Mézard 猜想成立：当且仅当 $\overline{\sigma}_v \in W(\overline{r})$ 时，上同调类 $Z^\prime_{\otimes_{v|p}\overline{\sigma}_v}(\overline{\rho})$ 非零。