[论文解读] Cohomology of arithmetic families of (phi,Gamma)-modules

Kiran S. Kedlaya, Jonathan Pottharst+1 more|arXiv (Cornell University)|Mar 26, 2012

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

一句话总结

本文建立了在 $p$-进解析空间上算术族 $(\varphi,\Gamma)$-模的 $(\varphi,\Gamma)$-上同调与 Iwasawa 上同调的有限性及基变换相容性。证明了在点上为精化的一族伽罗瓦表示在一大子空间上为三角化，且完全描述了 Coleman-Mazur 特征曲线上的三角化行为，包括对应于经典模形式的点以及 $\theta^{k-1}$-映射像中的点。

ABSTRACT

We prove the finiteness and compatibility with base change of the (phi,Gamma)-cohomology and the Iwasawa cohomology of arithmetic families of (phi,Gamma)-modules. Using this finiteness theorem, we show that a family of Galois representations that is densely pointwise refined in the sense of Mazur is actually trianguline as a family over a large subspace. In the case of the Coleman-Mazur eigencurve, we determine the behavior at all points.

研究动机与目标

• 建立在 $p$-进解析空间上算术族 $(\varphi,\Gamma)$-模的 $(\varphi,\Gamma)$-上同调与 Iwasawa 上同调的有限性及基变换相容性。
• 将三角化理论扩展至伽罗瓦表示族，特别是在 Coleman-Mazur 特征曲线的背景下。
• 解决对应于过收敛模形式的点处三角化的精确行为，特别是 $\theta^{k-1}$-映射像中的点。
• 为族中的上同调提供导出范畴框架，使用相对 Robba 环与完美复形。
• 通过相对设置下的 $\psi$-算子，阐明 $(\varphi,\Gamma)$-模与 Iwasawa 理论之间的结构联系。

提出的方法

• 使用导出范畴与导出函子的形式化方法处理族中的上同调，特别是 $\mathbf{D}_{\mathrm{perf}}^\flat$-范畴。
• 应用 $\psi$-算子（即 Frobenius $\varphi$ 的左逆）来定义并计算族中的 Iwasawa 上同调。
• 采用分解技术与特殊情形的约化，证明在 $\mathbb{Q}_p$-仿射代数上的上同调的有限性定理。
• 利用斜率滤子与弱可适性的理论，分析族在特征簇上特定点处的三角化行为。
• 应用 Berger 与 Colmez 关于伽罗瓦表示到相对 $(\varphi,\Gamma)$-模的函子在族中的结果。
• 依赖于通过连续特征的模空间的全局三角化定理，以及特征型相对 $(\varphi,\Gamma)$-模的构造。

实验结果

研究问题

• RQ1 在何种条件下，一个在每一点上均为精化的伽罗瓦表示族实际上作为一族是三角化的？
• RQ2 在 $p$-进族 $(\varphi,\Gamma)$-模的背景下，$\psi$-上同调在基变换下如何表现？
• RQ3 在 Coleman-Mazur 特征曲线上，三角化行为的精确表现为何，特别是对应于经典模形式的点？
• RQ4 当全局三角化在某点不饱和时，其饱和度的指标为何？
• RQ5 映射 $\theta^{k-1}$ 如何影响整数权 $k \geq 2$ 处点的三角化存在性与结构？

主要发现

• 伽罗瓦上同调复形 $\mathrm{C}_{\varphi,\gamma_K}^\bullet(M)$ 与 Iwasawa 上同调复形 $\mathrm{C}_\psi^\bullet(M)$ 是拟同构的，分别属于 $\mathbf{D}_{\mathrm{perf}}^\flat(A)$ 与 $\mathbf{D}_{\mathrm{perf}}^\flat(\mathcal{R}_A^\infty(\Gamma_K))$。
• 基变换相容性成立：自然映射 $\mathrm{C}_{\varphi,\gamma_K}^\bullet(M) \otimes_A^\mathbf{L} B \to \mathrm{C}_{\varphi,\gamma_K}^\bullet(M \widehat{\otimes}_A B)$ 与 $\mathrm{C}_\psi^\bullet(M) \otimes_{\mathcal{R}_A^\infty}^\mathbf{L} \mathcal{R}_B^\infty \to \mathrm{C}_\psi^\bullet(M \widehat{\otimes}_A B)$ 在导出范畴中是同构。
• 若一族伽罗瓦表示在参数空间的稠密集上为点上精化，则其在一大子空间上为三角化。
• 在去奇异化的特征曲线 $X'$ 上，存在全局三角化，且在对应于非经典或非整数权形式的点处为饱和。
• 在对应于整数权 $k \geq 2$ 的过收敛模形式（位于 $\theta^{k-1}$-映射像中）的点 $z$ 处，三角化可延拓至一个子模，其在饱和中的纤维指标为 $t^{k-1}$。
• 若 $z$ 对应于 $\theta^{k-1}$ 的像，则 $k_{z,\mathrm{id}} = k-1$，且 $U_p$-特征值满足 $\operatorname{ord}_p \alpha_z = k-1$，除非 $k_{z,\mathrm{id}} = 0$，否则与非分裂性矛盾；矛盾表明 $k_{z,\mathrm{id}} = k-1$。