[论文解读] Triangulordinary Selmer Groups

Jonathan Pottharst|ArXiv.org|May 16, 2008

Advanced Algebra and Geometry参考文献 7被引用 4

一句话总结

本文引入了‘三角平凡’（triangulordinary）伽罗华表示——这是普通表示的推广，允许在罗巴环上的 $(\varphi,\Gamma_K)$-模中出现非-étale 的行为——为布洛克–卡托与格林伯格的 Selmer 条件提供了一个统一的框架。本文证明了对于这些表示，布洛克–卡托局部条件与格林伯格的条件一致，并提出了一套变分程序，通过插值 $(\varphi,\Gamma_K)$-模与三角平凡滤子，定义科尔曼–梅祖尔特征曲线及其非平凡局部上的 Selmer 群。

ABSTRACT

Let $p$ be a prime number, and let $K$ be a $p$-adic local field. We study a class of semistable $p$-adic Galois representations of $K$, which we call {\it triangulordinary} because it includes the ordinary ones yet allows non-étale behavior in the associated $(ϕ,Γ_K)$-modules over the Robba ring. Our main result provides a description of the Bloch--Kato local condition of such representations. We also propose a program, using variational techniques, that would give a definition of the Selmer group along the eigencurve of Coleman--Mazur, including notably its nonordinary locus.

研究动机与目标

• 通过引入一类 $p$-进伽罗华表示，将格林伯格的普通 Iwasawa 理论推广至非普通情形，这些表示保留了普通表示的关键结构特征，同时允许在 $(\varphi,\Gamma_K)$-模中出现非-étale 行为。
• 为这些表示提供布洛克–卡托局部条件的统一描述，证明其与格林伯格的 Selmer 条件一致，且无需假设残基域为完美域。
• 提出一个变分框架，用于在科尔曼–梅祖尔特征曲线及其循环扭转（特征曲面）上定义 Selmer 群，将已知结果推广至非平凡局部。
• 通过使用插值于特征曲线的三角平凡滤子，解决在过密收敛特征形式族上缺乏自然滤子的问题。

提出的方法

• 将三角平凡表示定义为：其在罗巴环上的 $(\varphi,\Gamma_K)$-模与普通表示的模同构，除非在 $\varphi$-斜率结构上可能不同。
• 利用 $(\varphi,\Gamma_K)$-模理论分析 $p$-进霍奇理论与伽罗华上同调，利用 $\varphi$-斜率对关键不变量影响甚微的事实。
• 通过证明三角平凡表示下布洛克–卡托与格林伯格局部条件一致，建立二者之间的比较，将弗拉奇的结果推广至任意完美残基域。
• 提出一个变分程序：通过特征形式族与循环扭转，插值 $(\varphi,\Gamma_K)$-模与三角平凡滤子，实现其在特征曲线与特征曲面上的推广。
• 通过由三角平凡旗 $F^1$ 导出的局部条件 $H^1_{\nabla\text{ord}}$ 定义 Selmer 群，利用伽罗华理论在族上诱导的自然滤子。
• 利用权空间 $\mathscr{W}$ 上的普遍特征 $\mathscr{T}$ 构造特征曲线的循环形变，并论证通过形变平凡特征的滤子，可对旗进行自然索引。

实验结果

研究问题

• RQ1 格林伯格 Iwasawa 理论中的 Selmer 条件能否超越普通局部，扩展至包含非平凡 $p$-进伽罗华表示？
• RQ2 是否存在普通条件的自然推广，既能保持布洛克–卡托局部条件的简洁性，又能允许非-étale 的 $(\varphi,\Gamma_K)$-模？
• RQ3 能否通过形变理论或变分方法，在整个科尔曼–梅祖尔特征曲线上（包括其非平凡点）给出 Selmer 群的一致且自然的定义？
• RQ4 在表示族上，尤其当 Hodge–Tate 权在特征曲面上独立变化时，三角平凡滤子应如何索引？
• RQ5 如何正确地在特征曲线上插值局部条件 $H^1_{\nabla\text{ord}}$？它与 $p$-进 $L$-函数有何关系？

主要发现

• 三角平凡表示的布洛克–卡托局部条件与格林伯格的 Selmer 条件一致，将弗拉奇的结果推广至任意完美残基域。
• 证明了三角平凡表示的 $(\varphi,\Gamma_K)$-模的 $\varphi$-斜率对 $p$-进霍奇理论不变量影响甚微。
• 所提出的变分程序为特征曲线上 Selmer 群 $H^1_{\nabla\text{ord}}(\mathbb{Q}, \mathscr{E}^0)$ 提供了一个候选定义，将已知结果推广至非平凡局部。
• 对于特征曲线的循环形变 $\widetilde{\mathscr{V}}^0$，可通过拉回普通滤子与普遍特征 $\mathscr{T}$ 构造三角平凡旗，从而得到一个良定义的局部条件。
• 在特征曲面上，三角平凡旗的索引通常并非自然的，但自然选择是取 $F^1$ 为秩 1 分量，其动机来自对平凡特征滤子的形变。
• 预期 Selmer 群 $H^1_{\nabla\text{ord}}(\mathbb{Q}, \widetilde{\mathscr{E}}^0)$ 与沿特征曲面变化的解析 $p$-进 $L$-函数相关，但由于非整性与无界性，其精确关系尚不明确。