[論文レビュー] 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$ に対するオイラー系の構造に関する洗練された予想——「希少性予想」——を提示する。この予想は、すべてのオイラー系が Rubin–Stark 系に $Γ_k$-加群作用を施すことによって得られるとするものである。著者らは、逆極限、オイラー系、Perrin-Riou 機能を統合する「オイラー極限」の新理論を用いて、$k = \mathbb{Q}$ または虚二次体の場合に $μ$-消滅仮説のもとでこの予想を証明し、全実体における Kato の予想の「マイナス部」を確立する。

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$ における Kato の等不変タマガワ数予想を精緻化すること。
• 非ネーター的状況における代数的障害を克服するため、逆極限、オイラー系、$p$-進関数論を統合する一般理論「オイラー極限」を構築すること。
• 標準的な $μ$-消滅仮説のもとで、$k = \mathbb{Q}$ または虚二次体という重要なケースにおいて、希少性予想を証明すること。
• 高ランクオイラー系が、主予想が予言する形で Iwasawa 理論的セレマー群を制御することを示すこと。
• コールマングローバル分布論的アイデア（コールマンに由来）を概念的枠組みとして統合し、オイラー系の分類に結びつけること。

提案手法

• 逆極限を一般化し、$Γ_k = \varprojlim_E \mathbb{Z}[\mathrm{Gal}(E/k)]$ 上にガロア-equivariant 構造を組み込んだ抽象的「オイラー極限」理論を構築すること。
• オイラー極限枠組み内において、自然な $p$-進「制限」およびグローバル「局所化」完全列を構成すること。
• 完成化ファンクターと擬同型を用いて、分類問題を $p$-主成分に還元すること。
• ワイエルシュトラス補題と付値論を応用し、Iwasawa 環および $Γ_n$-環上の加群構造を分析すること。
• 円分単数および楕円単数の構造を活用して、Iwasawa 主予想の設定における可除性条件を検証すること。
• オイラー極限形式を介して整数的オイラー系と Kolyvagin 系を結ぶ均一化定理を確立すること。

実験結果

リサーチクエスチョン

• RQ1 数体上の $Γ_m$ に対するオイラー系の希少性は、$s=0$ における Kato のタマガワ数予想を精緻化する、単一で初等的な予想として捉えられるか？
• RQ2 古典的および水平的 Iwasawa 理論を統合し、$Γ_k$ がネーター的でもコンパクトでもない状況において、$Γ_k$ 上の整数的オイラー系を研究するにはどうすればよいか？
• RQ3 高ランクオイラー系は、主予想が予言する形で、Iwasawa セレマー群の構造をどの程度まで制御するのか？
• RQ4 自然な補助条件のもとで、$k = \mathbb{Q}$ または虚二次体上では「Rubin–Stark 系」がすべてのオイラー系を生成するのか？
• RQ5 コールマンに由来するグローバル分布論的アイデアを形式化し、オイラー系に関する強力な構造的結果を証明するために利用できるか？

主な発見

• $k = \mathbb{Q}$ または虚二次体の場合に、2 およびすべての分岐素数を逆数化した後、$μ$-消滅仮説のもとで希少性予想が証明された。
• 全実体において、オイラー極限枠組みを用いて Kato の予想の「マイナス部」が確立された。
• オイラー極限理論により、自然な $p$-進「制限」とグローバル「局所化」完全列の構成が可能になった。
• 高ランクオイラー系が、主予想が予言する形で Iwasawa セレマー群を制御することが示された。
• 定理 A の証明は、特別値の $\mathcal{R}_n$-付値および Iwasawa 加群における擬同型の詳細な解析に依拠している。
• 著者らは、オイラー極限形式を介して整数的オイラー系と Kolyvagin 系を結ぶ均一化定理を確立し、構造的分類を可能にした。