A Heuristic approach to the Iwasawa theory of elliptic curves

問題提起

本論文は、楕円曲線のイワサワ理論におけるグリーンバーグの $\mu = 0$ 予想を取り扱っている。$E/\mathbb{Q}$ を楕円曲線、$p$ を $E$ が良い通常減少を持つ奇素数とする。この予想は、円分 $\mathbb{Z}_p$ 拡大上の $p$ 主要セラー群 $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ が $\mathbb{Z}_p$ 加群として有限生成の双対（cofinitely generated）であることを主張する。この条件は、セラー群の $\mu$ 不変量の消滅と同等である。フェラーロとワシントンによって $\mathbb{Q}$ のアーベル拡大については証明されたが、楕円曲線についてはこの予想は未解決のままである。

著者らは統計的観点からこの予想を検証し、特に固定された奇素数 $p$ に対して、「ほとんどすべての」$p$ における良い通常減少を持つ楕円曲線が $\mu_p(E) = 0$ を満たすとする予想 1.2 を検証する。中心的な課題は、クラス群に対するコーエン・レンストラおよびセラー群に対するプーン・レインズによって確立された確率論的枠組みを拡張し、この平均的な消滅に対する帰納的証拠を提供することである。

手法

著者らは、内積空間における極大等方部分空間の交わりを通じて $p$-セラー群の分布をモデル化したプーンとレインズ [PR12] の帰納法を拡張する。手法は以下の手順で進められる。

1. 残留加群への還元: 完全なセラー群に対する $\mu$ 不変量の消滅は、残留グリーンバーグ・セラー群 $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$ の有限性と関連付けられる。この群は、$R$ を精密セラー群（fine Selmer group）とする商 $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$ を通じて解析される。
2. 幾何学的解釈: 著者らは、環 $\Omega = \mathbb{F}_p[[T]]$ 上の非退化な対称双線形積を備えた空間 $V(E)$ を定義する。彼らは $\Pi_E$ を $V(E)$ 内の 2 つの特定の $\Omega$ 部分加群 $V_1(E)$ と $V_2(E)$ の交わりとして同定する。
   • $V_1(E)$ は大域コホモロジーからの制限写像の像であり、極大等方部分加群であることが示される。
   • $V_2(E)$ は $p$ における局所条件（形式群に関連する）によって定義され、$\Omega^\vee$（$\Omega$ のポントリャギン双対）と有限ねじれ部分の和に同型であることが示される。
3. 循環部分加群への射影: $V_1(E) \cap V_2(E)$ の有限性の問題は、$M_1, M_2 \cong \Omega^\vee$ である $(\Omega^\vee)^2$ の 2 つの部分加群 $M_1$ と $M_2$ の交わりを研究することに還元される。これはさらに、$\Omega^2$ の 2 つの極大循環部分加群 $N_1, N_2$ の交わりを研究することに双対化される。
4. 確率モデル: 著者らは、$\Omega^2$ における極大循環部分加群の対 $(N_1, N_2)$ の確率空間 $\mathcal{M}$ を構成する。この空間は、一様確率測度 $P_n$ を備えた $\Omega_n^2 = (\Omega/(T^n))^2$ における極大部分加群の対の空間 $\mathcal{M}_n$ の逆極限として定義される。
5. 帰納的仮定: 核心的な帰納法（帰納法 1.3）は、楕円曲線が $p$ における良い通常減少を持つもの全体を動くとき、関連する対 $(M_1, M_2)$ が $\mathcal{M}$ 上の自然な確率測度 $P$ に関して等分布すると仮定する。

主要な貢献と結果

• 理論的枠組み: 本論文は、$\mu$ 不変量の算術と、$p$ 法イワサワ代数上の特定の内積空間における部分加群の幾何学的交わりとの間の精密なリンクを確立する。
• 確率論的計算: 著者らは定理 4.8 を証明する。これは、空間 $\mathcal{M}$ から一様にランダムに選ばれた極大循環部分加群の対 $(N_1, N_2)$ について、その交わりが自明（すなわち $N_1 \cap N_2 = 0$）である確率が 1 であることを述べる。
  • 証明は、$N_1 \cap N_2 \neq 0$ が $N_1 = N_2$ を意味することを示す（補題 4.6）ことに依存する。
  • 有限商 $\Omega_n^2$ においてランダムに選ばれた 2 つの極大部分加群が同一である確率は $1/((p+1)p^{n-1})$ として計算され、$n \to \infty$ とともに 0 に収束する。
• 主要定理: 帰納法 1.3 とコーテスおよびスジャタの予想 A（これは精密セラー群に対する $\mu$ 不変量の消滅を予測する）を仮定して、著者らは定理 A を証明する。
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  ここで $C(x)$ は高さ $\le x$ の最小ワイエルシュトラスモデルの集合であり、$S_p(x)$ は $p$ において良い通常減少を持ち、かつセラー群の $\mu$ 不変量が非ゼロである曲線の部分集合である。

意義と主張

本論文は、グリーンバーグの予想について「平均的」な意味でさらなる帰納的証拠を提供すると主張する。構成されたランダムモデルにおいて、$\mu$ 不変量が非ゼロである事象が確率 0 の事象に対応することを示すことで、著者らは $p$ における良い通常減少を持つほとんどすべての楕円曲線に対して $\mu_p(E) = 0$ であるという予想を支持する。

著者らは明示的に、彼らの結果が「$\mu$ 不変量の平均的消滅に関する予想のより広範な妥当性」を示唆していると述べている。彼らはこの仕事を、算術統計とイワサワ理論の相互作用を豊かにするものとして位置づけ、そのような調査が「将来の研究のための肥沃な土壌」であると指摘している。本論文は、特定の曲線に対して予想を証明したり、帰納的仮定なしに一般の場合を解決したりするものではなく、むしろプーンとレインズの手法と一貫して、平均的に予想が真であることに対する統計的正当化を提供するものである。