Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

技术摘要：超科利瓦金系统与伊瓦萨瓦塞尔默群的高阶弗廷理想

问题陈述
欧拉系方法及其随后由科利瓦金系统进行的公理化，在证明解析秩至多为 1 的椭圆曲线的 Birch 和 Swinnerton-Dyer 猜想以及确立伊瓦萨瓦主猜想的一个整除性方面发挥了关键作用。然而，当将经典的科利瓦金系统理论应用于无限系数环（特别是伊瓦萨瓦代数 $\Lambda = \mathbb{Z}_p[[X]]$）时，面临着结构上的局限性。传统方法通常需要经过有限商的上同调，这掩盖了无限扩张上塞尔默群的完整结构。此外，现有针对更高核心秩和非主系数环（例如 [MR16], [BSS25]）的推广，大多局限于建立弗廷理想的界限，而非计算塞尔默群在拟同构意义下的完整结构，或者它们需要诸如 $\mu$-不变量消失等强假设。

方法论
本文通过在 [Swe22] 中最初引入的修补上同调框架内构造塞尔默群，发展了一套等变超科利瓦金系统理论。核心方法论创新包括：

1. 超积与超素数：作者利用非主超滤子 $\mathcal{U}$ 构造经典伽罗瓦上同调群的超积。这使得定义超素数（$\mathcal{U}(\mathcal{M}_K)$ 中的元素）成为可能，它们推广了经典素数。这一设定放宽了经典素数分布的限制，使得具有特定弗罗贝尼乌斯性质的“科利瓦金超素数”得以存在，而这些素数在经典素数中可能并不存在。
2. 修补塞尔默群：塞尔默群被定义为全局修补上同调的子群，该上同调构造为经典塞尔默群的超积。这使得理论能够直接在伊瓦萨瓦代数上的 profinite 塞尔默群上发展，无需依次分析有限商。
3. 外积与秩约化：与以往利用非自由模的外对偶双对偶不同，作者利用在特定“大像”假设下 profinite 塞尔默群是自由 $\Lambda$-模这一事实。这允许将科利瓦金系统构造为修补塞尔默群外积中类的集合。该理论利用这些外积之间的秩约化映射，来关联塔中不同层级的类。
4. 斯塔克系统：本文引入了超斯塔克系统，作为塞尔默群外积逆极限中的元素。这些系统被证明由“弱核心顶点”（ annihilate 对偶塞尔默群的超素数乘积）所控制。
5. 调节映射：构造了一个从斯塔克系统模到科利瓦金系统模的调节映射。本文证明，在核心秩为正且素数 $p \geq 5$ 的假设下，该映射是一个同构。

主要贡献与结果

• 伊瓦萨瓦塞尔默群的结构：主要结果（定理 1.1，定理 8.25）确立了，对偶伊瓦萨瓦塞尔默群 $H^1_{\mathcal{F}^*}(K, T^*)^\vee$ 的高阶弗廷理想，在有限指数的意义下，与由原始科利瓦金系统 $\kappa$ 导出的一系列理想 $\Theta_i(\kappa)$ 重合。该序列由科利瓦金系统中类的整除性定义。
• 有限子模的缺失：在细化假设（假设 (Prop)）下，本文证明（定理 1.2，定理 9.15）等式 $\Theta_i(\kappa) = \text{Fitt}^i_\Lambda(H^1_{\mathcal{F}^*}(K, T^*)^\vee)$ 精确成立，而不仅仅是在有限指数意义下成立。一个重要的推论（推论 1.3，定理 9.16）是，如果对偶塞尔默群是一个挠伊瓦萨瓦模，则它不包含任何有限子模。这推广了 Greenberg 和 Kurihara 的先前结果，去除了对 $\mu$-不变量平凡性的要求。
• 控制定理：超科利瓦金系统模被证明是由核心顶点控制的秩为 1 的自由 $\Lambda$-模（定理 8.7）。这反映了斯塔克系统的控制定理，但适用于完整的伊瓦萨瓦模结构。
• 与经典理论的比较：本文（第 9 节）对新构造的超科利瓦金系统与具有有限系数的经典科利瓦金系统（如 [BSS25]）进行了严格的比较。它表明，超系统可以被视为经典系统的逆极限，从而验证了新框架作为自然推广的有效性。

应用
该理论框架被应用于欧拉系已知的两个具体情形：

1. 椭圆曲线：该理论被应用于椭圆曲线 $E/\mathbb{Q}$ 在圆 $\mathbb{Z}_p$-扩张上的精细塞尔默群，利用了 Kato 的欧拉系。该结果计算了对偶精细塞尔默群的高阶弗廷理想（定理 10.1）。
2. Rankin-Selberg 卷积：该方法被应用于与两个普通模形式的 Rankin-Selberg 卷积相关的 Bloch-Kato 塞尔默群，利用了 Lei-Loeffler-Zerbes 的欧拉系。这得出了核心秩为 2 的表示的塞尔默群结构（定理 10.9）。

意义
本文声称提供了伊瓦萨瓦塞尔默群在拟同构意义下的完整结构描述，超越了仅确定特征理想的范畴。通过在伊瓦萨瓦代数上直接利用修补上同调发展理论，作者克服了以往欧拉系机器在无限环上存在的结构局限性。能够在不假设 $\mu$-不变量消失的情况下证明伊瓦萨瓦塞尔默群中不存在有限子模，代表了伊瓦萨瓦主猜想结构后果的重要细化。这项工作将 [Kur14] 和 [Ohs21] 的结果推广到更广泛的伽罗瓦表示类，包括那些非剩余自对偶的表示，并为等变情形下计算高阶弗廷理想提供了一种统一的方法。