[论文解读] On the theory of higher rank Euler, Kolyvagin and Stark systems, II

David Burns, Ryotaro Sakamoto+1 more|arXiv (Cornell University)|May 22, 2018

Advanced Algebra and Geometry参考文献 16被引用 21

一句话总结

本文在 Gorenstein 环 R 上的 p-进表示背景下，构建了高阶欧拉系统与高阶科利瓦金系统模之间的典范高阶科利瓦金导出同态，证明了 Mazur 和 Rubin 长期以来的猜想。该构造表明，高阶欧拉系统控制了 Selmer 模的 R-模结构，其应用涵盖 Rubin-Stark 元素与理想类群。

ABSTRACT

We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler system of Rubin-Stark elements.

研究动机与目标

• 解决 Mazur 和 Rubin 关于高阶欧拉系统与科利瓦金系统之间存在典范联系的猜想。
• 将科利瓦金系统理论推广至一般的 Gorenstein 环 R，克服以往工作局限于局部环或离散赋值环的局限性。
• 确立高阶欧拉系统控制 Selmer 模的 R-模结构，特别是在 p-进表示自由于 R 上的情形。
• 将该理论应用于猜想的 Rubin-Stark 欧拉系统，推导出关于理想类群与高阶代数 K-群的结构信息。
• 在高阶情形下，提供欧拉系统与科利瓦金系统之间典范且函子性的桥梁，避免使用非典范的秩约化技术。

提出的方法

• 引入并运用外幂双对偶的概念，作为标准外幂的更强、更具函子性质的替代方案，从而在上同调构造中实现更优的控制。
• 在 Gorenstein 环 R 上，从高阶欧拉系统模到高阶科利瓦金系统模，构造一个典范的高阶科利瓦金导出同态。
• 利用修正 Selmer 结构理论与有限-奇异比较映射，将上同调数据与算术不变量联系起来。
• 应用 Chebotarev 稠密定理分析 Frobenius 元素的分布，验证科利瓦金系统存在的条件。
• 借助先前工作（如 [4]）中外幂双对偶的结果，推导出高阶欧拉系统决定了 R 上相关 Selmer 模的所有高阶 Fitting 理想。
• 验证 Rubin-Stark 元素生成的理想包含于 Tate–Shafarevich 群与类群的 Fitting 理想中的条件，特别是在 Galois 模 Z_p[Gal(L/K)] 的背景下。

实验结果

研究问题

• RQ1 Mazur 和 Rubin 所猜想的高阶欧拉系统与高阶科利瓦金系统模之间是否存在典范同态？
• RQ2 高阶欧拉系统是否能控制 Gorenstein 环 R 上 p-进表示的 Selmer 模的 R-模结构？
• RQ3 高阶科利瓦金系统理论能在多大程度上推广至主阿廷诺尔局部环或离散赋值环之外？
• RQ4 在 Galois 模理论背景下，Rubin-Stark 元素与理想类群及 Tate–Shafarevich 群的 Fitting 理想之间有何关系？
• RQ5 该典范导出映射能否用于通过广义 Stark 元素推导出高阶代数 K-群的结构结果？

主要发现

• 本文在 Gorenstein 环 R 上的高阶欧拉系统与高阶科利瓦金系统模之间，构建了典范的高阶科利瓦金导出同态，证实了 Mazur 和 Rubin 的猜想。
• 该导出映射表明，高阶欧拉系统决定了相关 Selmer 模在 R 上的所有高阶 Fitting 理想，从而提供了一套完整的结构控制机制。
• 对于猜想的 Rubin-Stark 欧拉系统，该理论表明 Rubin-Stark 元素的像生成的理想包含于第一上同调群（受限支持）对偶的 0 阶 Fitting 理想中。
• 在全实数域 K 及其适当阿贝尔扩张 L/K 的情形下，p-进 Tate–Shafarevich 群与类群的高阶 Fitting 理想由秩为 r 的 Rubin-Stark 欧拉系统所控制。
• 该方法适用于扭表示 T_χ(a) = T_χ ⊗ Z_p(a)，且在广义 Rubin-Stark 猜想成立的条件下，由广义 Stark 元素生成的理想包含于 K_{2a}(O_L)（a > 0）的高阶 K-群的 Fitting 理想中。
• 本研究通过消除对 Leopoldt 猜想的依赖与非典范秩约化技术，并在一般 Gorenstein 环上工作，扩展了 Rubin 与 Büyükboduk 的先前成果。