[论文解读] Zariski density of crystalline representations for any p-adic field

Kentaro Nakamura|Kyushu University Institutional Repository (QIR) (Kyushu University)|Apr 10, 2011

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

一句话总结

本文证明了在任意 $p$-进域 $K$ 上，模 $p$ 伽罗瓦表示的形变空间的刚解析空间中，晶状表示的扎里斯基稠密性，推广了此前对 $d=2$ 和 $K=\mathbb{Q}_p$ 的结果。证明依赖于利用基辛的有限斜率子空间理论和贝拉伊什-舍内维耶的外积技术，构造一个 $p$-进族的三角化表示——作为特征簇的局部类比。

ABSTRACT

The aim of this article is to prove Zariski density of crystalline representations in the rigid analytic space associated to the universal deformation ring of a d-dimensional mod p representation of Gal(\bar{K}/K) for any d and for any p-adic field K. This is a generalization of the results of Colmez, Kisin (d=2, K=Q_p), of the author (d=2, any K), of Chenevier (any d, K=Q_p). A key ingredient for the proof is to construct a p-adic family of trianguline representations. In this article, we construct (an approximation of) this family by generalizing Kisin's theory of finite slope subspace X_{fs} for any d and for any K.

研究动机与目标

• 在任意 $p$-进域 $K$ 上，建立模 $p$ 伽罗瓦表示形变空间中晶状表示的扎里斯基稠密性。
• 将科勒兹、基辛、舍内维耶及作者此前对 $d=2$ 和 $K=\mathbb{Q}_p$ 的结果推广至任意 $d$ 和任意 $p$-进域 $K$。
• 构造一个普遍的 $p$-进族三角化表示，作为特征簇的局部类比，以研究形变空间中晶状点的性质。
• 利用 $B$-对和有限斜率子空间，将三角化表示的形变理论推广至高维表示和任意 $p$-进域。

提出的方法

• 通过将基辛的有限斜率子空间 $X_{fs}$ 推广至任意 $d$ 和任意 $p$-进域 $K$，构造一个 $p$-进族三角化表示。
• 利用贝拉伊什-舍内维耶的外积方法分析三角化形变，并控制形变空间的结构。
• 定义与模 $p$ 表示 $\overline{V}$ 的普遍形变环 $R_{\overline{V}}$ 相关的刚解析空间 $\mathcal{X}_{\overline{V}}$。
• 通过霍奇-泰特权刻画晶状点，并施加正则性条件：对所有嵌入 $\sigma: K \to \overline{\mathbb{Q}}_p$，有 $k_{i,\sigma} \neq k_{j,\sigma}$（当 $i \neq j$ 时）。
• 在局部 $p$-进霍奇理论框架下，将古瓦-马祖的无限蕨形论证应用于三角化表示。
• 通过卢宾-塔特特征的扭作用及 $\chi_{\mathrm{LT}}$ 的作用，生成形变空间中晶状点的稠密族。

实验结果

研究问题

• RQ1 对于任意 $p$-进域 $K$ 和任意 $d \geq 1$，正则晶状表示的集合是否在形变空间 $\mathcal{X}_{\overline{V}}$ 中扎里斯基稠密？
• RQ2 能否为任意 $p$-进域上的高维伽罗瓦表示构造一个特征簇的局部类比？
• RQ3 在何种条件下，正则晶状点的扎里斯基闭包等于整个形变空间 $\mathcal{X}_{\overline{V}}$？
• RQ4 如何将有限斜率子空间 $X_{fs}$ 推广至任意 $d$ 和 $K$，以支持普遍 $p$-进族三角化表示的构造？

主要发现

• 在以下条件下，正则晶状表示集合 $\mathcal{X}_{\overline{V},\mathrm{reg}-\mathrm{cris}}$ 的扎里斯基闭包等于整个形变空间 $\mathcal{X}_{\overline{V}}$：$\overline{V}$ 绝对不可约，$p \nmid d$，且 $\zeta_p \in K$，或 $\overline{V} \not\cong \overline{V}(\omega)$。
• 通过推广的有限斜率子空间构造的 $p$-进族三角化表示，提供了一个特征簇的局部类比，使得能够研究形变空间中的晶状点。
• 对卢宾-塔特特征 $\chi_{\mathrm{LT}}$ 的幂进行扭作用，可在形变空间的各分量之间诱导同构，从而实现在空间中转移晶状点。
• 对于任意绝对不可约 $\overline{V}$，晶状提升的存在性得到保证，从而确保 $\mathcal{X}_{\overline{V},\mathrm{reg}-\mathrm{cris}}$ 非空。
• 证明依赖于在给定条件下 $H^0(G_K, \mathrm{ad}(\overline{V})^0(\omega))$ 的消失，这确保了非平凡自扭的不存在。
• 该结果推广了科勒兹、基辛、舍内维耶及作者此前的定理，统一了所有 $d$ 和所有 $p$-进域 $K$ 上的稠密性结果。