Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

技術的概要：超コリヴァギン系とイワサワ・セルマー群の高次フィッティングイデアル

問題提起
オイラー系の手法と、それに続くコリヴァギン系による公理化は、解析的ランクが 1 以下の楕円曲線に対するバーチ・スウィンナートン＝ダイアー予想の証明と、イワサワ主予想の一方の整除性の確立において決定的な役割を果たしてきた。しかし、古典的なコリヴァギン系の理論は、特にイワサワ代数 $\Lambda = \mathbb{Z}_p[[X]]$ といった無限係数環に適用される際に、構造的な限界に直面する。従来のアプローチは、しばしば有限商のコホモロジーを経由することを必要とし、無限拡大上のセルマー群の完全な構造を不明瞭にしてしまう。さらに、高次コアランクや非主係数環への既存の一般化（例えば [MR16]、[BSS25]）は、主にフィッティングイデアルの境界の確立に留まり、擬同型までのセルマー群の完全な構造を計算するものではなく、あるいは $\mu$-不変量の消滅といった強い仮定を必要とするものに限られていた。

方法論
本論文は、[Swe22] で最初に導入された「パッチングコホモロジー」の枠組み内でセルマー群を構成することにより、等変な超コリヴァギン系の理論を展開する。核心的な方法論的革新は以下の通りである：

1. 超積と超素数：著者は、非自明な超フィルター $\mathcal{U}$ を用いて、古典的なガロアコホモロジー群の超積を構成する。これにより、古典的な素数を一般化する超素数（$\mathcal{U}(\mathcal{M}_K)$ の要素）の定義が可能となる。この設定は、古典的な素数の分布の制約を緩和し、古典的な素数の中には存在しない可能性のある、特定のフロベニウス性質を持つ「コリヴァギン超素数」の存在を可能にする。
2. パッチングセルマー群：セルマー群は、古典的なセルマー群の超積として構成される、大域的パッチングコホモロジーの部分群として定義される。これにより、理論をイワサワ代数上のプロ有限セルマー群に対して直接展開することが可能となり、有限商を逐次的に解析する必要性を回避する。
3. 外積とランク縮小：非自由加群に対して外双対を用いた先行研究とは異なり、著者は特定の「大きな像」の仮定の下では、プロ有限セルマー群が自由 $\Lambda$-加群であるという事実を利用する。これにより、コリヴァギン系をパッチングセルマー群の外積における類の集合として構成することが可能となる。この理論は、これらの外積間のランク縮小写像を用いて、タワーの異なるレベルにおける類を関連付ける。
4. スターク系：本論文は、セルマー群の外積の逆極限の要素として超スターク系を導入する。これらの系は、「弱いコア頂点」（双対セルマー群を零化する超素数の積）によって制御されることが示される。
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）は、双対セルマー群がねじれイワサワ加群である場合、それは有限部分加群を含まないということである。これは、$\mu$-不変量の自明性の要求を排除して、グリーンバーグと栗原による先行結果を一般化するものである。
• 制御定理：超コリヴァギン系の加群は、コア頂点によって制御されるランク 1 の自由 $\Lambda$-加群であることが示される（定理 8.7）。これはスターク系に対する制御定理を反映するものであるが、完全なイワサワ加群構造に適用される。
• 古典的理論との比較：本論文は、新たに構成された超コリヴァギン系と、有限係数を持つ古典的コリヴァギン系（[BSS25] のようなもの）との間の厳密な比較（第 9 節）を提供する。それは、超系が古典的系の逆極限と見なすことができることを示し、新しい枠組みを自然な一般化として正当化する。

応用
この理論的枠組みは、オイラー系が既知である 2 つの具体的な場合に適用される：

1. 楕円曲線：この理論は、カトのオイラー系を利用し、楕円曲線 $E/\mathbb{Q}$ の細いセルマー群を円分 $\mathbb{Z}_p$-拡大上で適用する。その結果、双対細いセルマー群の高次フィッティングイデアルが計算される（定理 10.1）。
2. ランキン・セルバーグ畳み込み：この手法は、2 つの通常のモジュラー形式のランキン・セルバーグ畳み込みに関連するブロッチ・カト・セルマー群に適用され、レイ＝ロイフェラー＝ゼルベスのオイラー系が用いられる。これは、コアランク 2 の表現に対するセルマー群の構造をもたらす（定理 10.9）。

重要性
本論文は、特性イデアルの決定を超えて、擬同型までのイワサワ・セルマー群の構造の完全な記述を提供すると主張する。パッチングコホモロジーを用いてイワサワ代数上で直接理論を展開することにより、著者は無限環上のオイラー系機構の構造的限界を克服する。$\mu$-不変量の消滅を仮定せずにイワサワ・セルマー群における有限部分加群の不在を証明する能力は、イワサワ主予想の構造的帰結の重要な洗練を表す。この仕事は、[Kur14] や [Ohs21] の結果を、残像自己双対でないものを含むより広範なガロア表現のクラスに一般化し、等変な設定における高次フィッティングイデアルの計算に対する統一的なアプローチを提供する。