[论文解读] Equations differentielles p-adiques et (phi,N)-modules filtres

Laurent Berger|arXiv (Cornell University)|Jun 29, 2004

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文建立了过滤的 $(\varphi,N,G_K)$-模与罗巴环上满足 $\Gamma_K$ 的李代数作用局部平凡的 $(\varphi,\Gamma_K)$-模之间的等价性。证明了可接受的过滤 $(\varphi,N,G_K)$-模恰好对应于埃泰勒 $(\varphi,\Gamma_K)$-模，从而给出了科勒兹-福纳汀定理的新证明，并通过罗巴环与单值性结构，统一了 $p$-进表示、微分方程与伽罗瓦模。

ABSTRACT

The goal of this article is to show that the following two categories are equivalent (1) the category of filtered (phi,N,G_K)-modules (2) the category of (phi,Gamma_K)-modules over the Robba ring such that the Lie algebra of Gamma_K acts locally trivially. Furthermore, we show that under this equivalence, the admissible filtered (phi,N,G_K)-modules correspond to the etale (phi,Gamma_K)-modules, which gives a new proof of Colmez-Fontaine's theorem.

研究动机与目标

• 在 $\Gamma_K$ 的李代数作用局部平凡的条件下，建立过滤的 $(\varphi,N,G_K)$-模与罗巴环上 $(\varphi,\Gamma_K)$-模之间的范畴等价。
• 在该等价下，证明可接受的过滤 $(\varphi,N,G_K)$-模恰好对应于埃泰勒 $(\varphi,\Gamma_K)$-模。
• 通过 $p$-进微分方程与罗巴环的框架，为科勒兹-福纳汀定理提供一个新的证明，该定理对潜在半稳定 $p$-进表示进行分类。
• 阐明 $p$-进表示的 de Rham、$(\varphi,\Gamma_K)$-模与微分方程不变量之间的相互作用。
• 通过 $p$-进微分方程的可解性，从 $(\varphi,\Gamma_K)$-模结构重构 $(\varphi,N,G_L/K)$-模上的滤子。

提出的方法

• 从过滤的 $(\varphi,N,G_K)$-模构造一个函子 $D \mapsto \mathcal{M}(D)$，映射到罗巴环 $\mathbf{B}^{\dagger}_{\mathrm{rig},K}$ 上的 $(\varphi,\Gamma_K)$-模。
• 利用过收敛 $p$-进微分方程的理论与凯德莱亚的单值性定理，定义并分析 $\mathcal{M}(D)$。
• 通过弗罗贝尼乌斯的斜率，利用 $D$ 的不变量 $t_H$ 与 $t_N$ 显式计算 $\mathcal{M}(D)$ 上的典范滤子。
• 利用 $\Gamma_K$ 的李代数作用的局部平凡性，确保与 de Rham 结构的相容性，并保证微分方程的可解性。
• 从 $(\varphi,\Gamma_K)$-模 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 构造 $p$-进微分方程 $\mathbf{N}_{\mathrm{dR}}(V)$，并将其 $G_L$-不变解与 $\mathbf{D}_{\mathrm{st},L}(V)$ 关联。
• 利用罗巴环的结构，通过伽罗瓦固定点构造，将 $(\varphi,\Gamma_K)$-模 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 与 de Rham 模 $\mathbf{D}_{\mathrm{st},L}(V)$ 关联。

实验结果

研究问题

• RQ1 是否存在一个在 $\Gamma_K$ 的李代数作用局部平凡条件下的过滤 $(\varphi,N,G_K)$-模与罗巴环上 $(\varphi,\Gamma_K)$-模之间的典范等价？
• RQ2 过滤 $(\varphi,N,G_K)$-模的可接受性是否精确对应于其关联的 $(\varphi,\Gamma_K)$-模的埃泰勒性？
• RQ3 能否利用 $p$-进微分方程与罗巴环的框架，重新证明科勒兹-福纳汀定理？
• RQ4 de Rham 模 $\mathbf{D}_{\mathrm{st},L}(V)$、微分方程 $\mathbf{N}_{\mathrm{dR}}(V)$ 与 $(\varphi,\Gamma_K)$-模 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 之间有何关系？
• RQ5 能否从 $(\varphi,\Gamma_K)$-模 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 重构 $\mathbf{D}_{\mathrm{st},L}(V)$ 上的滤子？

主要发现

• 函子 $D \mapsto \mathcal{M}(D)$ 是在 $\Gamma_K$ 的李代数作用局部平凡的条件下，过滤 $(\varphi,N,G_K)$-模与罗巴环 $\mathbf{B}^{\dagger}_{\mathrm{rig},K}$ 上 $(\varphi,\Gamma_K)$-模之间的范畴等价。
• 在该等价下，可接受的过滤 $(\varphi,N,G_K)$-模恰好对应于埃泰勒 $(\varphi,\Gamma_K)$-模。
• $\mathcal{M}(D)$ 上弗罗贝尼乌斯的斜率可显式用 $D$ 及其子对象的不变量 $t_H$ 与 $t_N$ 表示。
• $p$-进微分方程 $\mathbf{N}_{\mathrm{dR}}(V)$ 的 $G_L$-不变解构成一个与 $\mathbf{D}_{\mathrm{st},L}(V)$ 同构的 $(\varphi,N,G_{L/K})$-模。
• $(\varphi,\Gamma_K)$-模 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 在 $\operatorname{Sol}_L(\mathbf{N}_{\mathrm{dR}}(V))$ 上诱导出一个典范滤子，使其成为过滤的 $(\varphi,N,G_{L/K})$-模。
• $\mathbf{D}_{\mathrm{st},L}(V)$、$\mathbf{N}_{\mathrm{dR}}(V)$ 与 $\mathbf{D}^\dagger_{\mathrm{rig}}(V)$ 在所述构造下是典范同构的，且所有结构之间保持相容性。