[论文解读] Dirichlet $L$-series at $s=0$ and the scarcity of Euler systems

Dominik Bullach, David Burns+2 more|arXiv (Cornell University)|Nov 29, 2021

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

一句话总结

本文提出了关于数域上 $Γ_m$ 的欧拉系结构的精炼猜想——'稀缺性猜想'，主张所有此类欧拉系均源于鲁宾–史塔克系通过 $Γ_k$-模作用。通过建立一种新颖的 '欧拉极限' 理论，该理论统一了逆极限、欧拉系与佩林-普瓦函数理论，作者在 $k = \mathbb{Q}$ 或虚二次域下，于 $μ$-消失假设模下证明了该猜想，并确立了完全实域情形下加藤猜想的 '负部'。

ABSTRACT

We study Euler systems for $\mathbb{G}_m$ over a number field $k$. Motivated by a distribution-theoretic idea of Coleman, we formulate a conjecture regarding the existence of such systems that is elementary to state and yet strictly finer than Kato's equivariant Tamagawa number conjecture for Dirichlet $L$-series at $s=0$. To investigate the conjecture, we develop an abstract theory of `Euler limits' and, in particular, prove the existence of canonical `restriction' and `localisation' sequences in this theory. By using this approach we obtain a variety of new results, ranging from a proof, modulo standard $μ$-vanishing hypotheses, of our central conjecture in the case $k$ is $\mathbb{Q}$ or imaginary quadratic to a proof of the `minus part' of Kato's conjecture in the case $k$ is totally real. In proving these results, we also show that higher-rank Euler systems for a wide class of $p$-adic representations control the structure of Iwasawa-theoretic Selmer groups in the manner predicted by `main conjectures'.

研究动机与目标

• 提出关于数域上 $Γ_m$ 的欧拉系稀缺性的精确、初等猜想，以精炼加藤在 $s=0$ 处的等变塔马瓜瓦数猜想。
• 发展一种 '欧拉极限' 的一般理论，将逆极限、欧拉系与 $p$-进函数理论整合，以克服非诺特环情形下的代数障碍。
• 在标准 $μ$-消失假设下，于关键情形——$k = \mathbb{Q}$ 或虚二次域——证明稀缺性猜想。
• 证明高阶欧拉系以主猜想所预测的方式控制 Iwasawa 型塞尔默群。
• 提供一个概念性框架，将全球分布理论思想（受科尔曼启发）与欧拉系的分类相联系。

提出的方法

• 发展一种新的抽象 '欧拉极限' 理论，其推广了逆极限，并在 $Γ_k = \varprojlim_E \mathbb{Z}[\mathrm{Gal}(E/k)]$ 上整合了伽罗瓦等变结构。
• 在欧拉极限框架内构造规范的 $p$-进 '限制' 与全局 '局部化'正合序列。
• 利用完备化函子与伪同构将分类问题约化为 $p$-主分量。
• 应用魏尔斯特拉斯因式分解定理与赋值理论，分析 Iwasawa 代数与 $Γ_n$-环上的模结构。
• 利用分圆单位与椭圆单位的结构，验证 Iwasawa 主猜想设定下的可除性条件。
• 建立一个统一化定理，通过欧拉极限形式化将整数欧拉系列与科利瓦金系列联系起来。

实验结果

研究问题

• RQ1 能否通过一个单一、初等的猜想来捕捉数域上 $Γ_m$ 的欧拉系稀缺性，以精炼加藤在 $s=0$ 处的塔马瓜瓦数猜想？
• RQ2 如何统一经典与水平 Iwasawa 理论，以研究当 $Γ_k$ 既非诺特环也非紧致时，$Γ_k$ 上的整数欧拉系？
• RQ3 高阶欧拉系在多大程度上以主猜想所预测的方式控制 Iwasawa 塞尔默群的结构？
• RQ4 在自然辅助条件下，'鲁宾–史塔克系' 是否能生成 $k = \mathbb{Q}$ 或虚二次域上的所有欧拉系？
• RQ5 科尔曼的全球分布理论思想能否被形式化并用于证明关于欧拉系的强结构结果？

主要发现

• 在 $k = \mathbb{Q}$ 或虚二次域下，于 $μ$-消失假设模下（且在 2 及所有分歧素数处局部化后），稀缺性猜想已得证。
• 利用欧拉极限框架，确立了完全实域情形下加藤猜想的 '负部'。
• 欧拉极限理论使得规范的 $p$-进限制与全局局部化正合序列的构造成为可能。
• 高阶欧拉系被证明以主猜想所预测的方式控制 Iwasawa 塞尔默群。
• 定理 A 的证明依赖于对特殊值的 $\mathcal{R}_n$-赋值及 Iwasawa 模中伪同构的详细分析。
• 作者通过欧拉极限形式化，建立了将整数欧拉系与科利瓦金系联系起来的统一化定理，从而实现结构分类。