[论文解读] Moduli stacks of étale (phi,Gamma)-modules and the existence of crystalline lifts

Matthew Emerton, Toby Gee|arXiv (Cornell University)|Aug 20, 2019

Algebraic Geometry and Number Theory参考文献 29被引用 8

一句话总结

本文在 $p$-进完备环上构造了 étale $(\varphi,\Gamma)$-模的模堆栈，确立了其几何结构，并将其与伽罗瓦表示联系起来。关键贡献是通过这些堆栈的几何性质（特别是不可约分量和形变环的研究）证明了模 $p$ 伽罗瓦表示的晶体形变的存在性。

ABSTRACT

We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize étale (phi,Gamma)-modules; the formal completions of these stacks at points in their special fibres recover the universal deformation rings of local Galois representations. We use these stacks to show that all mod p representations of the absolute Galois group of a p-adic local field lift to characteristic zero, and indeed admit crystalline lifts. We also discuss the relationship between the geometry of our stacks and the Breuil-Mézard conjecture.

研究动机与目标

• 在 $p$-进完备的 $\mathbf{Z}_p$-代数 $A$ 上构造秩为 $d$ 的投影 étale $(\varphi,\Gamma)$-模的模堆栈 $\mathcal{X}_d$，为伽罗瓦形变理论提供一个全局几何框架。
• 确立这些堆栈不仅捕捉经典形变理论中的局部无穷小数据，还包含更丰富的全局几何特征。
• 通过研究模堆栈 $\mathcal{X}_{d,\mathrm{red}}$ 的几何性质，证明模 $p$ 伽罗瓦表示存在晶体形变。
• 将这些堆栈的几何结构与塞尔猜想的权重部分以及几何布吕依尔–梅扎德猜想联系起来。
• 证明模堆栈 $\mathcal{X}_d$ 是一个 Ind-代数堆栈，且其约化纤维存在按晶体型与半稳定型划分的分层结构。

提出的方法

• 将模堆栈 $\mathcal{X}_d$ 构造为 $\mathrm{Spf}\,\mathbf{Z}_p$ 上的纤维化于群胚的范畴，参数化系数在 $p$-进完备的 $\mathbf{Z}_p$-代数 $A$ 上的秩 $d$ 投影 étale $(\varphi,\Gamma)$-模。
• 利用布吕依尔–基辛–法尔格斯模理论及 $G_K$-作用的典范扩张，将 $(\varphi,\Gamma)$-模与潜在半稳定伽罗瓦表示联系起来。
• 应用赫尔复形与上同调工具研究扩张族，并计算形变空间的维数。
• 采用近乎伽罗瓦下降与弗罗贝尼乌斯下降技术，分析 $\varphi$-模及其系数的结构。
• 引入堆栈 $\mathcal{X}_{d}^{\mathrm{crys},\underline{\lambda}}$，参数化具有指定的 Hodge–Tate 权重 $\underline{\lambda}$ 的晶体 $(\varphi,\Gamma)$-模。
• 通过分析晶体形变环上 $H^2$ 的纤维维数，推导出晶体形变的存在性。

实验结果

研究问题

• RQ1 能否构造一个全局的 étale $(\varphi,\Gamma)$-模模堆栈，使其捕捉到比经典形变环更多的几何信息？
• RQ2 在模堆栈 $\mathcal{X}_{d,\mathrm{red}}$ 中，不可约伽罗瓦表示是否可作为可约表示的极限出现？
• RQ3 在何种条件下，模 $p$ 伽罗瓦表示存在晶体形变，这种存在性如何在模堆栈的几何结构中体现？
• RQ4 伽罗瓦表示的惰性类型与 Hodge 类型如何通过其关联的 $(\varphi,\Gamma)$-模及其模堆栈的结构体现？
• RQ5 在模堆栈的语境下，几何布吕依尔–梅扎德猜想与晶体形变的存在性之间存在何种关系？

主要发现

• 在 $\mathrm{Spf}\,\mathbf{Z}_p$ 上，étale $(\varphi,\Gamma)$-模的模堆栈 $\mathcal{X}_d$ 是一个 Ind-代数堆栈，为伽罗瓦表示提供了全局几何框架。
• 约化纤维 $\mathcal{X}_{d,\mathrm{red}}$ 的不可约分量对应于潜在半稳定类型，其几何结构反映了晶体形变的存在性。
• 对于任意模 $p$ 伽罗瓦表示 $\overline{\rho}$，在 Hodge–Tate 权重满足适当条件时，堆栈 $\mathcal{X}_{d,\mathrm{red}}$ 包含一个非空开子堆栈，参数化晶体形变。
• $H^2$ 在晶体形变环上的纤维维数有界，且该有界性蕴含了潜在对角化晶体形变的存在性。
• 伽罗瓦表示 $V(M)$ 的惰性类型由 $I_{L/K}$ 的作用决定，Hodge 类型由 $D_K$ 上的过滤决定，二者均通过关联的 $(\varphi,\Gamma)$-模 $M$ 确定。
• $\mathcal{X}_{d}^{\mathrm{crys},\underline{\lambda}}$ 堆栈为具有 Hodge–Tate 权重 $\underline{\lambda}$ 的晶体表示的预期模空间提供了几何实现，从而实现了基辛的猜想。