The anticyclotomic main conjectures for elliptic curves

技術的要約：楕円曲線に対する反循環的メイン・コンジェクチャー

問題設定
本論文は、虚二次体 $K$ の反循環的 $\mathbb{Z}_p$ 拡大 $K_\infty$ 上のモジュラー楕円曲線 $E/\mathbb{Q}$ に対するイワサ理論のメイン・コンジェクチャー（主予想）を扱う。著者らは、代数的側面（ポンテリャギン双対の $p$ 進セルマー群の特性イデアル）と解析的側面（反循環的 $p$ 進 $L$-関数）の間の等号を、以下の2つの異なる設定において証明することを目的としている：

1. 定符号の場合 (The Definite Case): 複素 $L$-関数の関数等式における符号が $-1$ である場合。
2. 不定符号の場合 (The Indefinite Case): 関数等式における符号が $+1$ である場合。

本研究は、**通常の（ordinary）**ケース（$p$ が $E$ に対して良な ordinary 素数である場合）と、**超特異（supersingular）**ケース（$p$ が超特異素数である場合）の両方を対象としている。超特異の設定において、著者らは「非例外的な（non-exceptional）」ケースと「例外的な（exceptional）」ケースを区別している（後者は $p$ が $K$ で不活性であり、かつ符号 $\varepsilon = +$ である場合に発生する）。例外的なケースでは、局所的な性質を持つ余分なゼロが存在し、それが完全な予想の証明を困難にしていることが指摘されている。

手法
証明は、Bertolini–Darmon [BD05] および Howard [How04, How06] によって確立された枠組みを拡張した、**二部グラフ・オイラー・システム（bipartite Euler systems）**の理論に基づく統一的な帰納的手法に基づいている。手法は、以下の主要な技術的ステップを通じて進行する：

1. レベル・レイジングと許容素数: 著者らは、「許容素数」（モジュラー形式 $f$ および体 $K$ に関して特定の合同条件および分解条件を満たす素数 $\ell$）におけるレベル・レイジングの手法を利用する。これらの素数においてモジュラー形式のレベルを上げることで、定符号の設定と不定符号の設定間の遷移を可能にする合同な固有形式を構成する。
2. 特殊点とヘーグナー類:
   • 不定符号の場合: 著者らは、シムラ曲線上のヘーグナー点を用いて、ノルム適合なコホモロジー類の列を定義する。
   • 定符号の場合: 著者らは、定符号のクォータニオン環に関連する Gross 曲線上の Gross 点を利用する。
   • これらの点は、セルマー群における大域的コホモロジー類（コリヴァギン・システム）を構成するために用いられる。
3. 明示的相反律: 特殊点から構成されたコホモロジー類と $p$ 進 $L$-関数とを結びつける、2つの明示的相反律が議論の中核となる：
   • 第1相反律は、許容素数におけるコホモロジー類の留数と $p$ 進 $L$-関数の値とを結びつける。
   • 第2相反律は、コホモロジー類の有限部分とレベルを上げた形式の $L$-関数とを結びつける。
4. コントロール定理と局所解析: 著者らは、反循環的タワー上のセルマー群に関する厳密なコントロール定理を確立する。論文の大部分（第5節）は、超特異ケースにおける $\varepsilon$-セルマー群の構造の分析に充てられており、これは $p$ 進タワーにおける局所点に関する最新の結果（特に不活性ケースにおける Burungale–Kobayashi–Ota [BKO21] の研究）に依拠している。
5. 帰納的議論: 著者らは、セルマー群の長さに関する帰納的議論を用いる。元の形式 $f$ のセルマー群と、レベルを上げた形式のセルマー群を比較することで、特性イデアルと $p$ 進 $L$-関数の間の包含関係（divisibility relations）を確立する。

主要な貢献と結果

1. メイン・コンジェクチャーの証明 (Theorem A):
   著者らは、反循環的 $p$ 進 $L$-関数 $L_p^\varepsilon(f)$ によって生成されるイデアルが、セルマー群の特性イデアルに含まれることを証明し、非例外的なケースにおいて等号が成立することを示す。

   • 定符号の場合 (DAMC): Ordinary および supersingular 素数の両方について証明済み（非例外的な場合）。
   • 不定符号の場合 (IAMC): Ordinary および supersingular 素数の両方について証明済み（非例外的な場合）。
   • 例外的なケース: $p$ が $K$ で不活性であり、かつ $\varepsilon = +$ である場合、著者らは一方の包含関係を確立しているが、現在の手法では「例外的なゼロ」の存在により、完全な等号の証明は困難であると述べている。

2. $\varepsilon$-BSD 公式 (Theorems B and C):
   メイン・コンジェクチャーの結果として、著者らは反循環的拡大の有限層におけるセルマー群に対する明示的なバーチ・スウィンナートン＝ダイヤー（BSD）公式を導出する。

   • 定符号の場合 (Theorem B): セルマー群の長さと、複素 $L$-関数 $L(E/K, \chi, 1)$ の消滅次数を結びつける。
   • 不定符号の場合 (Theorem C): シャファレヴィッチ・テイト群の長さと、微分 $L'(E/K, \chi, 1)$ およびレギュレータ項を結びつける。
     これらの公式は、非例外的なケースにおいて等号で成立する。

3. 帰納的手順の洗練:
   本論文は、超特異ケースを統一的に扱うために、Bertolini–Darmorn [BD05] の帰納的議論を洗練させている。これには、$\varepsilon$-局所点および不活性 supersingular 設定におけるセルマー群の構造に関する詳細な分析が含まれ、Burungale–Kobayashi–Ota [BKO21] による Rubin の予想の証明を取り入れている。

意義と主張
本論文は、標準的な仮定（例：$p \geq 5$、mod $p$ 表現の全射性、および導手に関する特定の条件）の下で、楕円曲線に対する反循環的メイン・コンジェクチャー（ordinary および supersingular 素数の両方、および定符号・不定符号の両方の設定をカバー）の統一的な証明を提供すると主張している。

• 統一化: 著者らは、DAMC と IAMC が、これらを別個の問題として扱うのではなく、二部グラフ・オイラー・システムに基づく同一の帰納的プロセスから導かれるものであることを強調している。
• Supersingular への拡張: 本研究は、反循環的メイン・コンジェクチャーの理論を、以前は部分的にしか扱われていなかった（例：split $p$ の場合の Darmon–Iovita [DI08] や異なる手法を必要とした）supersingular ケースへと拡張するものである。
• 例外的なケースに対する謙抑性: 著者らは、「例外的な」supersingular ケース（不活性 $p$, $\varepsilon = +$）において、局所的なゼロの存在により、結果が一方の包含関係に限定されることを明示している。彼らはこの特定のサブケースにおいて完全な予想を解決したとは主張しておらず、さらなる調査と潜在的な新しいアイデアが必要であると述べている。
• 深い定理への依存: 定符号の場合の帰納ステップにおいて極めて重要な、$p$ を法とする $L$ 値の非消滅性の証明は、Skinner–Urban [SU14] の $p$-converse theorem および Fouquet–Wan による関連する結果に依拠している。

本論文は、数学的なコンジェクチャーの解決および BSD 公式の導出を超えた、新しい実験的な応用や将来の方向性を提案するものではない。その主要な貢献は、反循環的設定における解析的な $p$ 進 $L$-関数と代数的なセルマー群との間の結びつきを厳密に確立したことにある。