Distribution of Selmer ranks in prime cyclic extensions

技術要約：素数巡回拡大におけるセルマー階数の分布

問題設定
本論文は、数体上のガロア加群のツイスト・ファミリーにおけるセルマー階数の統計的分布を調査するものである。具体的には、Klagsun, Mazur, および Rubin (KMR) による先行研究で用いられた「ファン構造（fan structure）」による順序ではなく、分岐素数の積（相対判別式の根基）によって順序付けられた、$p$次巡回拡大における素数 $p$ の $p$ 次セルマー階数の分布を扱う。著者らは、これらの巡回拡大への基底拡大に伴い、固定された楕円曲線、超楕円曲線、または双曲型曲線が階数を増加させる確率を決定することを目的としている。中心的な課題は、ヘイリスティックなモデルや、以前の成果を制限していた特定の順序制約に依存することなく、拡張リーマン予想 (ERH) の下でこれらの分布を確立することである。

手法
著者らは、数論的統計学、解析的数論、および確率論を統合し、Klagsun, Mazur, および Rubin [KMR13, KMR14] や Yu [Yu19] によって確立された枠組みを適応・修正している。

1. セルマー構造とツイスト： 本論文は、特定の技術的条件（既約性、非退化なペアリングなど）を満たすガロア加群 $T$ のツイストに関連するセルマー構造を定義する。これらの構造は、曲線（例：楕円曲線における $A_{\chi}$ や超楕円曲線における $Jac(C_d)[1-\zeta_p]$）に関連する $p$ 次セルマー群をモデル化している。
2. ファン構造と順序付け： 手法の核心となる技術的革新は、平方フリーなイデアルの新しい「ファン構造」を構築することである。KMRの元のファン構造は、複雑な誤差項を持つ有効なチェボタレフ密度定理に依存していたが、著者らはイデアルの根基（異なる素因数の積）に基づく新しい順序付けを定義した。
   • 著者らは、拡張リーマン予想 (ERH) を用いて、有効な形式のチェボタレフ密度定理（定理 3.5）を援用している。これにより、フロベニウス元（Frobenius elements）の分布を精密に制御することが可能となり、素イデアル・ツイストの列を再順序付けることが可能となった。
   • この新しいファン構造が、すべての平方フリーなイデアルの密度 1 の部分集合を構成することを証明することで（命題 4.1）、分岐素数の積によって順序付けられた拡大の一般的な集合に対して、この部分集合から導かれる統計量が適用可能であることを正当化している。
3. マルコフ過程と幾何学的エルゴード性： セルマー階数の分布は、非負整数を状態空間とする既約かつ非周期的（aperiodic）なマルコフ過程の定常分布としてモデル化される。
   • 著者らは、マルコフ作用素に関する幾何学的エルゴード性定理（定理 4.12）を利用して、ツイストの数（素因数の数）が十分に大きければ、初期条件に関わらず分布が定常状態に収束することを示す。
   • 重要な技術的ステップは、セルマー構造をツイストするために適用される素イデアルの順序が、漸近的な分布を変更しないことを示すことであり、これは構築されたファン構造における素イデアルのノルムの独立性と ERH によって可能となっている。
4. 双曲型曲線と UDRL 条件： 双曲型曲線については、2次セルマー群の分布を扱う。先行研究（例：Yu [Yu19]）では、しばしば「UDRL」（局所クンマー写像の非分岐分布）というヘイリスティックな仮定を必要とした。著者らは、ERH を仮定することで、このヘイリスティックな仮定を回避し、チェボタレフ密度定理から直接 Poonen-Rains 分布を導出できることを示している。

主要な貢献

• 新しい順序付けスキーム： 本論文は、セルマー階数の分布結果を、「ファン構造」による順序から、より自然な数論的統計学における順序である「分岐素数の積（判別式の根基）」による順序へと転送することに成功した。
• ヘイリスティックな仮定の除去： 双曲型曲線については、ERH を利用して局所クンマー写像を制御することにより、UDRL というヘイリスティックな仮定を排除した。
• 様々な曲線への一般化： この枠組みは、以下の3つの異なるケースに適用されている：
  1. $p$ 次巡回拡大における楕円曲線の階数増加。
  2. $p$ 次巡回拡大における超楕円曲線の有理点の平均サイズ。
  3. 2次拡大における双曲型曲線のヤコビアンの階数増加。

主な結果

• 定理 1.1 (楕円曲線)： ERH を仮定すると、本論文は、分岐素数の積によって順序付けられた $p$ 次巡回拡大において、楕円曲線 $E/K$（$Gal(K(E[p])/K) \supseteq SL_2(\mathbb{F}_p)$ を満たすもの）が特定の階数増加を持つ確率について、明示的な下界および上界を与える。分布は、初期のセルマー構造のパリティによって決定される2つの定常分布（$E_+$ および $E_-$）の線形結合として示される。
• 定理 1.2 (超楕円曲線)： 特定のガロア分裂体を持つ超楕円曲線 $C: y^p = F(x)$ について、本論文は有効なモルデル・ラング予想を確立する。ツイスト・ファミリー上の $K$ 有理点の集合の平均サイズが、明示的な定数 $B(p, K)$ によって抑えられることを証明している。
• 定理 1.3 (双曲型曲線)： ERH を仮定すると、本論文は双曲型曲線の2次ツイストにおける 2 次セルマー階数の分布を決定する。この結果は、分布が Poonen-Rains 分布に収束すること（具体的には、テイト・シャファレヴィッチ群の成分 $X^1$ の大きさに応じて、平均サイズが 3 または 6 に収束すること）を、UDRL ヘイリスティックなしに導出することで確認している。

意義と主張
本論文は、分岐素数の積によって順序付けられた素数巡回拡大におけるセルマー階数の分布を理解するための、厳密かつ（ERH に条件付けられた）枠組みを提供すると主張している。KMR のメカニズムをこの順序付けに合わせて修正することで、著者らは抽象的なマルコフ過程モデルと具体的な数論的統計学との間の溝を埋めている。

著者らは、自らの研究が以下を行うことを明示している：

• ERH を仮定することで、UDRL 条件を仮定することなく、双曲型曲線に対する Poonen-Rains 予想を検証する。
• Alex Smith による 2 次セルマー群の分布に関する結果を、より広いクラスの双曲型曲線（「奇（odd）」ではないものを含む）へと一般化する。
• 超楕円曲線の有理点の平均サイズに対する境界を提供し、これらのファミリーに対するモルデル・ラング予想の有効なバージョンを提示する。
• ERH の下で、定常分布への収束率が $O(1/(\log X)^c)$ まで改善できることを示しており、これは従来の指数的な誤差項と比較して大幅な改善である。

最後に、本論文は、これらの手法が大域関数体にも適応可能であること、および今後の研究では、大域体上の巡回素数拡大における主極化アーベル多様体の階数増加を探求することを述べている。