On refined nonvanishing conjectures by Kurihara and Kolyvagin

技術的要約：久理原およびコリヴァギニンの精緻化された非消滅予想について

問題設定
本論文は、奇素数 $p$ における楕円曲線 $E/\mathbb{Q}$ の精緻化された非消滅予想（nonvanishing conjectures）を扱う。具体的には、以下の2つの主要な予想に関する[BCGS26]の結果を拡張するものである。

1. 久理原の予想： $p$ 基本的部分のセレマー群の構造と、モジュラー記号から導かれる解析的な量 $\delta_n$ とを結びつけるもの。その精緻化（予想B）は、タマガワ数および $\{\delta_n\}$ の「消滅の次数」を用いて、テイト・シャファレヴィッチ群（またはそのブロック・カトー変種）の位数の $p$ 進付値に関する厳密な公式を予測している。
2. コリヴァギニンの予想： ヘーグナー点から導かれるコリヴァギニン・システムと、セレマー群の構造を結びつけるもの。精緻化されたバージョン（W. Zhangによる予想C）は、タマガワ数およびコリヴァギニン・システムの「消滅の次数」を用いて、テイト・シャファレヴィッチ群の位数の $p$ 進付値に関する厳密な公式を予測している。

先行研究（特に[BCGS26]）の主な制限は、$E$ の $p$ における還元型（良則的・平凡または特定の超特異条件を要求）および基礎となる虚二次体 $K$ における $p$ の分解挙動（$p$ が分解することを要求）であった。本論文は、これらの制限を取り除き、久理原の予想については $E$ が $p$ でいかなつかな還元型を持つことを許容し、コリヴァギニンの予想については $p$ が $K$ で不活性であることを許容することを目指している。

手法
主要な定理（定理Aおよび定理C）の証明は、オイラー・システムとセレマー群の関係を利用した、[BCGS26]と同様の降下戦略に従う。しかし、本論文は、特殊化されたコホモロジー類の $p$ 分割指数（$p$-divisibility index）の計算において、重要な手法上の革新を導入している。

• 行列式による再定式化： [Gre99]のような $p$ 進 $L$ 関数やコントロール定理に依存する代わりに、著者らは[KS24]で導入された、セレマー複体の行列式によるイワサ理論的主題（Iwasawa Main Conjecture）の再定式化を利用する。
• $\Lambda$-adic コリヴァギニン・システム： 著者らは、カタオのオイラー・システム（久理原の場合）およびヘーグナー点（コリヴァギニンの場合）から導かれる $\Lambda$-adic コリヴァギニン・システムを研究する。ここで $\Lambda$ は、（循環的または反循環的）$\mathbb{Z}_p$ 拡大のイワサ代数である。
• 特殊化と降下： 著者らは、自明な文字に近い非自明な文字 $\alpha$ における、これらのシステムの特殊化を検討する。以下の組み合わせにより、
  1. 主題から導かれる特殊化された類の分割指数に関する厳密な公式（カルティエ双対のタマガワ因子を含む）
  2. マズール–ルービンの構造定理から導かれる厳密なセレマー群の長さ
     著者らは、解析的な不変量（タマガワ数）と代数的な不変量（コリヴァギニン・システムの分割性）の間の連結を確立する。
• 剛性（Rigidity）： 鍵となる技術的要素は、システムの消滅の次数が素数の部分集合への制限に対して安定していることを示す「剛性」の議論（命題2.1.5およびその類似）であり、これにより $\Lambda$-adic システムと古典的なシステムの比較を可能にする。

主な貢献

1. 還元型の一般化： 本論文は、mod $p$ ガロア表現の全射性とマニン定数の $p$ による非可除性を仮定すれば、任意の還元型（良則的、良則的超特異、または悪い還元）を持つ楕円曲線に対して精緻化された久理原予想を証明する。
2. コリヴァギニンの文脈における不活性素数： 著者らは、$p$ が虚二次体 $K$ で不活性である場合における精緻化されたコリヴァギニン予想を証明する。これは、[BCGS26]で使用された $p$ 進 $L$ 関数を用いた手法では到達不可能であったケースである。
3. 新しい降下フレームワーク： 著者らは、行列式を用いた降下ステップを通じて、分割指数を計算するためのフレームワークを確立し、イワサ理論的主題の明示的な $p$ 進 $L$ 関数を回避する。これにより、記述方法が十分に発達していない場合や、標準的なコントロール定理の適用が困難な場合でも、降下法を適用することが可能になる。

主要な結果

• 定理A（久理原）： 全射性とマニン定数の条件を満たす楕円曲線 $E/\mathbb{Q}$ および素数 $p > 3$ に対して、以下は同値である：
  (i) 精緻化された久理原予想が成立する（すなわち、$M_\infty(\delta) = \text{ord}_p(\text{Tam}_E)$）。
  (ii) （算術的複体の行列式として定式化された）循環的 $\mathbb{Z}_p$ 拡大に関するイワサ理論的主題が成立する。
  系： もし $p \nmid \text{Tam}_E$ ならば、ある $\bar{\delta}_n$ の非消滅はイワサ理論的主題と同値である。
  定理B： したがって、精緻化された久理原予想は、$p$ が良則的平凡、および判別式が平方フリーな $N$ を持つ $p$ が良則的超特異である場合に証明される。

• 定理C（コリヴァギニン）： 楕円曲線 $E/\mathbb{Q}$ および素数 $p > 3$ に対し、全射性とマニン定数の条件を満たし、$E$ が $p$ で良則的平凡な還元を持ち、$p$ が $K$ で不分岐であると仮定する。このとき、以下は同値である：
  (i) 精緻化されたコリヴァギニン予想が成立する（すなわち、$M_\infty(\kappa^{\text{Heeg}}) = \text{ord}_p(\text{Tam}_E)$）。
  (ii) （行列式を用いて定式化された）ヘーグナー点に関する反循環的イワサ理論的主題が成立する。
  系： $p$ が $K$ で分解する場合、予想Cは成立する。この結果は、主題の仮定の下で不活性なケースにも拡張される。

意義と主張
著者らは、自らの結果が、以前の定理の範囲を制限していた「非アノマラス（non-anomalous）」および「良還元」の仮定を取り除くことで、多くの新しいケースにおいて久理原の予想とその精緻化の証明を提供すると主張している。コリヴァギニンの予想については、本論文は $p$ が $K$ で不活性であるケースにおける精緻化された予想の最初の証明を提供しており、これはベルティーニ・ダーモン・プラサナの $p$ 進 $L$ 関数に依拠していた従来のアプローチでは適用できなかったシナリオである。

本論文は、核心的な革新は「行列式による定式化に基づく降下計算への新しいアプローチ」であると強調している。このアプローチにより、著者らは $p$ 進 $L$ 関数の具体的な解析的性質に依存することなく、ガロア・コホモロジーにおける特殊な元の $p$ 分割性を制御することができ、それによって不活性素数や様々な還元型への降下法の適用範囲を広げることが可能となった。結果は、それぞれのイワサ理論的主題の妥当性に条件付けられて提示されているが、これらはWan、BCS、CLW、BSTWらによる先行研究により、良則的および特定の超特異なケースにおいて成立していることが知られている。