[论文解读] Selmer complexes and the $p$-adic Hodge theory

Denis Benois|arXiv (Cornell University)|Apr 29, 2014

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

一句话总结

本文为 Iwasawa 理论中的 Selmer 复形构建了一个 p-进 Hodge-理论框架，通过 $(\varphi,\Gamma)$-模与正规 $(\varphi,N)$-子模引入了 p-进高度配对。在弱 Leopoldt 猜想与配对非退化条件下，证明了 Iwasawa 上同调群 $H^{1}_{\mathrm{Iw}}(V,D)$ 为零，从而推出 $H^{2}_{\mathrm{Iw}}(V,D)$ 是 $\mathscr{H}$-挠模。

ABSTRACT

The first part of the paper is a survey of recent results about the cohomology of $(ϕ,Γ)$-modules and its applications to the theory of Selmer complexes. In the second part we formulate a version of the Main Conjecture for $p$-adic representations which are semistable at $p$ and discuss some related topics.

研究动机与目标

• 通过 $(\varphi,\Gamma)$-模将 Selmer 复形理论扩展至 p-进 Hodge-理论框架。
• 通过 $\mathbf{D}_{\mathrm{st}}(V)$ 的正规 $(\varphi,N)$-子模定义 p-进高度配对，推广经典构造。
• 建立 p-进高度配对的非退化性与 Iwasawa 上同调群消失之间的联系。
• 证明在弱 Leopoldt 猜想与配对非退化条件下，$H^{1}_{\mathrm{Iw}}(V,D) = 0$，从而推出 $H^{2}_{\mathrm{Iw}}(V,D)$ 是 $\mathscr{H}$- torsion。

提出的方法

• 利用 $(\varphi,\Gamma)$-模描述 p-进 Galois 表示及其上同调。
• 通过 $\mathbf{D}_{\mathrm{st}}(V)$ 的 $(\varphi,N)$-子模 $D$ 定义局部条件，构造 Selmer 复形 $\mathbf{R}\Gamma_{\mathrm{Iw}}(V,D)$。
• 在 $A = \mathscr{H}/(X^2)$ 上的典范三角形中，通过余上同调映射 $\beta$ 构造 p-进高度配对 $\left<\,,\right>_{V,D}$。
• 应用 Iwasawa 上同调中的对偶性，并利用 $\mathscr{H}$-模的结构分析 $H^{1}_{\mathrm{Iw}}(V,D)$。
• 施加条件 C1–C3：全局不变子模平凡，$p$-处为半稳定，且在裂化部分 $\varphi=1$。
• 利用弱 Leopoldt 猜想与配对的非退化性，推导出 Iwasawa 上同调的有限性与挠性性质。

实验结果

研究问题

• RQ1 如何通过 $(\varphi,\Gamma)$-模理论与正规 $(\varphi,N)$-子模系统地构造 p-进高度配对？
• RQ2 p-进高度配对的非退化性与 Iwasawa 上同调群消失之间存在何种关系？
• RQ3 在何种条件下 Iwasawa 上同调 $H^{1}_{\mathrm{Iw}}(V,D)$ 为零？这对其 $H^{2}_{\mathrm{Iw}}(V,D)$ 的结构有何含义？
• RQ4 p-进 Hodge-理论框架下的 Selmer 复形理论与 Iwasawa 理论中的主猜想有何关联？
• RQ5 p-进高度配对的构造能否与 Nekovář 的通用范数配对进行比较，并证明其相容性？

主要发现

• p-进高度配对 $\left<\,,\right>_{V,D}$ 定义为 $\beta(x) \cup y$，其中 $\beta$ 是 $A = \mathscr{H}/(X^2)$ 上典范三角形的余上同调映射，$\cup$ 表示对偶性。
• 在 $V^*(1)$ 的弱 Leopoldt 猜想与配对非退化条件下，$H^{1}_{\mathrm{Iw}}(V,D) = 0$。
• $H^{1}_{\mathrm{Iw}}(V,D)$ 的消失意味着 $H^{2}_{\mathrm{Iw}}(V,D)$ 是 $\mathscr{H}$-挠模。
• 该配对构造依赖于存在一个正规 $(\varphi,N)$-子模 $D$，使得在权重 $\leq -2$ 情况下，$D \cap \mathrm{Fil}^0 \mathbf{D}_{\mathrm{st}}(V) = \{0\}$。
• 在权重 $-1$ 情况下，若 $\mathbf{D}_{\mathrm{st}}(V) = D \oplus \mathrm{Fil}^0 \mathbf{D}_{\mathrm{st}}(V)$，则配对非退化，且与 syntomic 调节器相容。
• 该结果推广了 Iwasawa 理论中的经典结果，并通过 Selmer 复形为 Iwasawa 主猜想提供了 p-进 Hodge-理论表述。