On the Fitting ideals of anticyclotomic Selmer groups of elliptic curves with good ordinary reduction

技術要約：良整則を持つ楕円曲線の反周期的セルマー群のフィッティングイデアルについて

問題設定
本論文は、久理原による「強い」主予想（楕円曲線のセルマー群のフィッティングイデアルに関するもの）のアンチサイクロトミック（反周期的）な類似性を扱っている。具体的には、虚二次体 $K$ の反周期的 $\mathbb{Z}_p$ 拡大 $K_\infty$ の有限部分拡大 $K_n$ における、楕円曲線 $E$ の双対セルマー群の初期フィッティングイデアルを決定することを目的とする。目標は、これらのイデアルをベルトリーニ–ダモン（Bertolini–Darmon）のシータ要素を用いて明示的に表現することであり、これによりマズールとテイト（Mazur and Tate）の「弱い」主予想を精緻化する。本研究は、$E$ が素数 $p \ge 5$ において良整則（good ordinary reduction）を持ち、かつ $\text{mod } p$ ガロア表現の全射性と、導手 $N$ を割る素数における分岐挙動に関する特定の条件を満たすという仮定の下で行われる。

手法
証明戦略は、精緻化されたイワサ理論、二部グラフ・オイラー・システムの理論、および $p$ 進 $L$ 関数の性質を統合したものである。手法は以下の主要なステップを通じて進行する：

1. シータ要素の構成： 著者らは、導手 $p^n$ のグロス点（Gross points）を利用して、ベルトリーニ–ダモンによるシータ要素 $\theta(E/K_n)$ を構成する。これらの要素は、ねじれたランキン–セルバーグ $L$ 値の平方根を補間する。本論文は、異なる拡大の層の間を接続する「三項関係」を確立し、$p$ 安定化されたモジュラー形式 $f_\alpha$ に関連する $p$ 安定化シータ要素 $\theta(f_\alpha/K_n)$ を定義する。
2. $p$-脱安定化によるイデアルの比較： $E$ のシータ要素によって生成されるイデアルと、$p$ 安定化された形式のイデアルを比較することが、極めて重要な技術的構成要素である。条件 (Na) である $a_p(E) \not\equiv 1 \pmod p$ を用いて、著者は $\theta(E/K_n)$ によって生成されるイデアルとその下方へのノルム像が、$\theta(f_\alpha/K_n)$ によって生成されるイデアルに等しいことを証明する。このステップは、補題 2.2 で議論されている「$p$-脱安定化（$p$-destabilization）」プロセスに依拠している。
3. セルマー群の比較： 本論文は、$N^-$-整則セルマー群、$N^-$-極小セルマー群、およびグリーングラス（Greenberg）セルマー群といった、様々な定義によるセルマー群を厳密に比較する。$\text{mod } p$ 表現が全射である（Im）こと、および $N$ を割るすべての素数で分岐している（Ram）という仮定の下で、これらの群が同型であることを著者らは示す（系 3.3）。この同型性は、オイラー・システムの文脈（$N^-$-整則群が使用される）から、古典的なセルマー群の文脈へと結果を転送するために不可欠である。
4. 主予想の適用： 証明は、双対セルマー群の特性イデアルと、反周期的 $p$ 進 $L$ 関数 $L_p(E/K_\infty)$ によって生成されるイデアルの等価性を主張する反周期的主予想（定理 4.1）を活用する。ここで、$p$ 進 $L$ 関数は、シータ要素とその随伴の積の逆極限として定義される。
5. コントロール定理と基底拡大： 最後に、無限拡大 $K_\infty$ 上のセルマー群を有限の層 $K_n$ 上のセルマー群に関連付けるために、コントロール定理を適用する。シータ要素の基底拡大に対する適合性と関数等式を利用することで、結果は無限のレベルから有限のレベルへと降下される。

主な貢献と結果
主要な結果は定理 1.1であり、有限層のイワサ環 $\Lambda_n = \mathbb{Z}_p[\text{Gal}(K_n/K)]$ における以下のイデアルの等式を確立している：

$$(\theta(E/K_n), \nu_{n-1,n}(\theta(E/K_{n-1})))^2 = \text{Fitt}_{\Lambda_n}(\text{Sel}(K_n, E[p^\infty])^\vee)$$

この結果を支える主要な技術的成果には以下が含まれる：

• 初期フィッティングイデアルの完全な決定： 本論文は、シータ要素によって完全に表現された、双対セルマー群の初期フィッティングイデアルの明示的な生成子を提供している。
• 単イデアル性： 定められた仮定の下では、シータ要素（およびそのノルム）によって生成されるイデアルが単イデアルであることが示されている。これはイワサ理論において非自明な事実である。
• 主予想の精緻化： 特性イデアルからフィッティングイデアルへと移行し、生成子の具体的な代数的記述を提供することで、マズールとテイトの「弱い」主予想を精緻化している。
• 補題 2.2 ($p$-脱安定化)： $E$ のシータ要素のイデアルと $p$ 安定化された形式のイデアルとの間の等価性の証明は、独立した技術的貢献として提示されており、$a_p \not\equiv 1 \pmod p$ という条件を通じた両者の関係を明確にしている。

意義と主張
本論文は、久理原の「強い」主予想の反周期的類似物の「短い証明」を提供すると主張している。その意義は以下の点にある：

• 統一： 無限の拡大における完全な主予想というより複雑な機構のみを唯一の中間ステップとして依存することなく、セルマー群の代数的構造（フィッティングイデアル経由）を解析的対象（シータ要素）に直接結びつけている。
• 明示性： 初期フィッティングイデアルを明示的に決定することで、特性イデアルのみを確立していた従来の結果よりも、セルマー群の構造についてより精密な理解を提供している。
• 方法論的明晰さ： 著者は「$p$-脱安定化」プロセスの有用性と、異なるセルマー群の定義の比較を強調しており、反周期的イワサ理論の問題に対する合理化されたアプローチを提示している。

本論文は、戦略が [KK21] で確立された枠組みに従っていることを明記しているが、セルマー群の比較および反周期的設定に必要な特定の代数的操作に関する詳細を追加している。また、ガロア表現の全射性や $N^-$ の平方フリー性といった特定の仮定なしに、一般の場合を解決すると主張したり、新しい実験的応用を提案したりするものではない。