Selmer stability in families of congruent Galois representations

本論文は、固定された素数 $p \geq 5$ において合同なモジュラー形式の族における Selmer 群の $p$-ランクの安定性を研究し、ある条件下でレベルが $X$ 以下となるそのような形式の数が $X (\log X)^{\alpha-1}$ のオーダーで増加することを証明し、Ono と Skinner の二次ねじれに関する定理をモジュラー形式と Selmer 群の文脈に部分的に一般化しています。

要約

🌟 タイトル：「兄弟の性格は変わらない？～数学者が見つけた『運命の安定性』～」

1. 物語の舞台：「数」の家族

まず、この研究の舞台は**「楕円曲線」や「モジュラー形式」**と呼ばれる、数学的な「数」の家族です。
これらは、ある特定の「親（基本となる数）」から派生して、無数の「兄弟（変形した数）」が生まれます。

• 親（基本となる数）： 特定の条件を満たす、ある「数」の形（モジュラー形式 $f$）。
• 兄弟たち： 親と似ているけれど、少しだけレベル（複雑さ）が異なる兄弟たち（モジュラー形式 $g$）。

2. 登場人物：「残像（レシデュアル表現）」と「選抜テスト（セルマー群）」

この物語には、2 つの重要な概念が登場します。

• 「残像（Residual Representation）」：
  兄弟たちが生まれたとき、全員が**「同じ DNA（ルーツ）」**を持っています。これを数学的には「$p$ 進数という特殊な鏡で見たとき、同じ姿に見える」という状態（合同）と呼びます。

  • 比喩: 兄弟全員が、同じ顔立ち（DNA）を持っているけれど、身長や体重（レベル）はそれぞれ違う、という状態です。

• 「選抜テスト（Selmer Group）」：
  各兄弟が、ある「グローバルなルール（国全体の法則）」に従って、どれだけ「優秀か（ランクが高いか）」を測るテストです。

  • 比喩: 兄弟たちがそれぞれ別の学校（レベル）に通っていても、**「国全体の試験（Selmer 群）」**で何点取れるか（ランク）を測ります。

3. 研究者の問い：「兄弟が変わっても、テストの点数は変わらない？」

著者の Anwes Ray さんは、こんな疑問を持ちました。

「もし兄弟たちが、**『同じ DNA（残像）』を持っていて、『ある特定のルール（$p$ 以上の素数）』でつながっているなら、彼らがどんなに複雑な学校（レベル）に進んでも、『国全体の試験の点数（Selmer 群のランク）』**は、親と同じまま保たれる（安定する）のだろうか？」

過去の研究（ゴールドフェルド予想など）では、楕円曲線の「二次のねじれ（Twist）」という現象で、似たようなことが起こることが知られていました。Ray さんは、これをより広い「モジュラー形式」の世界に拡張しようとしたのです。

4. 発見された「魔法のルール」

Ray さんは、以下の条件を満たす兄弟たちを見つけました。

1. 同じ DNA: 親と兄弟は、$p$ 進数の鏡で見ると同じ姿（合同）。
2. 特別な学校: 兄弟たちが通う学校（レベル）は、親の学校に「特定の素数」を足しただけのもの（レベル上げ）。
3. 避けるべき場所: その「特定の素数」は、$p$ の倍数や、$p$ に近い数（$\pm 1$）であってはならない。

この条件を満たす兄弟たちを集めると、**「驚くべき事実」**が明らかになりました。

「彼らの『国全体の試験の点数（Selmer 群のランク）』は、親の点数と完全に一致する！」

つまり、兄弟がどれだけ複雑な学校（レベル）に行っても、「本質的な性格（ランク）」は変わらないのです。これを数学用語で**「安定性（Stability）」**と呼びます。

5. 結果：「無限に広がる兄弟たち」

さらに、Ray さんはこの「点数が同じ兄弟」が、どれだけたくさんいるかも計算しました。

• 発見: 条件を満たす兄弟たちは、**「無限に」**存在します。
• 成長率: 彼らの数は、$X$（ある大きな数）が大きくなるにつれて、$X$ に比例して増えます。しかも、少しだけ「対数（$\log$）」という要素が加わって、**「$X \times (\log X)^{\text{定数}}$"**というペースで増えることが証明されました。

これは、**「同じ DNA を持つ兄弟たちの中で、点数が変わらない『優秀なグループ』は、無限に存在し、しかも非常に多く存在する」**ことを意味しています。

---

💡 まとめ：この論文がなぜすごいのか？

この研究は、**「数という世界における『運命の安定性』」**を証明したものです。

• 昔の常識: 「レベル（複雑さ）が変われば、性質（ランク）も大きく変わるはずだ」と思われていた。
• この論文の発見: 「実は、**『ルーツ（残像）』さえ同じなら、どんなにレベルを上げても、『本質的な性質（ランク）』**は守られ続ける！」

日常への例え：
あなたが、同じ家族（DNA）から生まれた兄弟たちだとして、それぞれが全く異なる職業（レベル）に就いたとします。

• 兄は「大企業の社長」
• 弟は「小さなカフェの店主」
• あなたは「フリーランスの作家」

通常、職業が変われば「社会的な評価（ランク）」も変わるはずです。しかし、この論文は**「もし兄弟全員が『ある特定の魔法の絆（合同条件）』で結ばれていれば、どんな職業に就いても、彼らが『家族として持つ本質的な価値（Selmer 群のランク）』は、誰一人として変わらない！」**と宣言しているのです。

これは、数学的な「数」の世界における、**「変化のなかの不変性」**を見つけた素晴らしい成果です。

技術概要

Anwesh Ray による論文「SELMER STABILITY IN FAMILIES OF CONGRUENT GALOIS REPRESENTATIONS（合同ガロア表現の族における Selmer 群の安定性）」の技術的な要約を以下に示します。

1. 研究の背景と問題設定

背景:
この研究は、Goldfeld の予想（固定された楕円曲線の二次ひねり族における Mordell-Weil 次数の分布に関する予想）に着想を得ています。Goldfeld は、二次ひねり族において、次数が 0 であるものと 1 であるものがそれぞれ漸近的に 50% ずつ存在し、2 以上は存在しないことを予想しました。この予想は、ランダム行列理論や Selmer 群の確率的モデル、および楕円曲線の mod-2 ガロア表現がひねりによって不変であるという事実（$E_d[2] \simeq E[2]$）に基づいています。

問題:
楕円曲線の二次ひねりにおける「mod-2 合同性」の概念を、より一般的なモジュラー形式と $p$ 進ガロア表現（$p \ge 5$）の文脈に拡張することが本研究の目的です。具体的には、固定された剰余ガロア表現 $\bar{\rho}$ に対して、それと合同（$\bar{\rho}_g \simeq \bar{\rho}_f$）なモジュラー形式 $g$ の族の中で、Selmer 群の $p$-ランクが元の形式 $f$ のそれと一致するものがどの程度存在するかを調べます。

核心的な問い:
レベルを上げ（level-raising）、$p$ 進合同なモジュラー形式 $g$ を構成したとき、Greenberg 局所条件で定義された Selmer 群 $\text{Sel}^{\text{Gr}}(A_g/\mathbb{Q})$ の $p$-ランク（$\text{Sel}^{\text{Gr}}(A_g/\mathbb{Q})[\varpi]$ の次元）は、元の形式 $f$ の Selmer 群の $p$-ランクと安定して一致するか？また、そのような形式 $g$ はどの程度の密度で存在するか？

2. 手法と主要な構成要素

設定:

• $p \ge 5$ を素数とする。
• $\bar{\rho}: G_{\mathbb{Q}} \to \text{GL}_2(\kappa)$ を、奇数で全射な剰余ガロア表現とする（$\kappa$ は $p$ 進体の剰余体）。
• $f$ を、$\bar{\rho}_f \simeq \bar{\rho}$ を満たす重み 2 のモジュラー形式（最適レベル $N_f = N_{\bar{\rho}}$）とする。
• $g$ を、$\bar{\rho}_g \simeq \bar{\rho}$ を満たす重み 2 のモジュラー形式（レベル $N_g$）とする。
• Selmer 群は Greenberg の局所条件（$p$ における条件と $p$ 以外における非分岐条件）に基づいて定義される。

主要な手法:

1. レベル上げ定理（Level Raising）の活用:
   Diamond-Taylor の定理（Theorem 2.4）を用いて、与えられた剰余表現 $\bar{\rho}$ から、特定の素数条件を満たすレベル $N_g$ を持つモジュラー形式 $g$ の存在を保証します。これにより、$\bar{\rho}_g \simeq \bar{\rho}_f$ となる $g$ の族を構成します。

2. Selmer 群の $p$-ランクの安定性の証明:
   形式 $g$ の Selmer 群の $p$-ランクが $f$ のそれと一致するための十分条件を導出します。

   • 局所項の解析: Selmer 群の $p$-ランクと剰余 Selmer 群の次元の差は、素数 $\ell$ における局所的な核 $\ker h_\ell$ の次元 $\beta_\ell(A_f)$ の和で制御されます（Proposition 2.8）。
   • $\beta_\ell$ の消滅条件: 特定の素数 $\ell$ に対して $\beta_\ell(A_f) = 0$ かつ $\beta_\ell(A_g) = 0$ となることを示すことが鍵です。
     • $\ell \nmid N_{\bar{\rho}}$ かつ $\ell \not\equiv \pm 1 \pmod p$ かつ $\bar{\rho}(\sigma_\ell)$ が特定の対角行列となるような素数 $\ell$ の集合 $\Omega_{\bar{\rho}}$ を定義します。
     • Lemma 3.2 と Lemma 3.3 において、$N_g/N_{\bar{\rho}}$ の素因数がすべて $\Omega_{\bar{\rho}}$ に属し、かつ $N_{\bar{\rho}}$ の素因数が $\pm 1 \pmod p$ に合同でない場合、すべての $\ell$ に対して $\beta_\ell = 0$ となることが示されます。
   • この条件の下で、$\dim \text{Sel}^{\text{Gr}}(A_f/\mathbb{Q})[\varpi] = \dim \text{Sel}^{\text{Gr}}(A_g/\mathbb{Q})[\varpi]$ が成立します（Proposition 3.4）。

3. 密度結果の適用:
   条件を満たすレベル $N_g$ の数を数えるために、Chebotarev の密度定理を用いて集合 $\Omega_{\bar{\rho}}$ の密度を計算し、Serre の定理（Theorem 3.5）を適用して、そのようなレベルを持つ整数の個数の漸近挙動を評価します。

3. 主要な結果（Theorem A）

仮定:

• $p \ge 5$。
• 剰余表現 $\bar{\rho}$ に対して、$N_{\bar{\rho}}$ を割り切る素数 $\ell$ のいずれも $\ell \equiv \pm 1 \pmod p$ でないこと。

結論:
レベル $N_g \le X$ であり、$\bar{\rho}_g \simeq \bar{\rho}_f$ かつ $\text{Sel}^{\text{Gr}}(A_g/\mathbb{Q})$ の $p$-ランクが $\text{Sel}^{\text{Gr}}(A_f/\mathbb{Q})$ の $p$-ランクと等しいようなモジュラー形式 $g$ の個数を $N_f(X)$ とすると、以下の漸近評価が成り立ちます。

$$N_f(X) \gg X (\log X)^{\alpha - 1}$$

ここで、定数 $\alpha$ は以下のように与えられます。
$$\alpha = \frac{p-3}{(p-1)^2}$$

この結果は、$X \to \infty$ において、Selmer 群の $p$-ランクが保存されるような合同なモジュラー形式が、$X$ のオーダーで無限に多く存在することを示しています。

4. 貢献と意義

1. Goldfeld 予想のモジュラー形式への一般化:
   Ono と Skinner が楕円曲線の二次ひねり族（ランク 0 の場合）について証明した結果（$N^0_E(X) \gg X/(\log X)^{1-\alpha}$）を、モジュラー形式とガロア表現の Selmer 群の文脈に部分的に一般化しました。これは、合同性による Selmer 群の安定性が、楕円曲線の二次ひねりだけでなく、より広いモジュラー形式の族でも成り立つことを示唆しています。

2. Selmer 群の安定性の明確な条件:
   Greenberg 局所条件の下で、レベル上げによって構成されたモジュラー形式の Selmer 群の $p$-ランクが、元の形式のそれと一致するための具体的な数論的条件（素数 $\ell$ の合同条件や分岐条件）を明らかにしました。特に、$\beta_\ell$ が消滅する条件を精密に解析した点が重要です。

3. 密度結果の応用:
   数論的な密度定理（Chebotarev の定理と Serre の結果）を、Selmer 群の性質を維持するモジュラー形式の存在証明に効果的に適用しました。これにより、単なる存在論ではなく、その「多さ」を定量的に評価することに成功しています。

4. Iwasawa 理論との関連:
   楕円曲線の $p$ 合同性における Greenberg-Vatsal の結果（Iwasawa 不変量の関係）のモジュラー形式版としての側面を持ち、合同ガロア表現の族における Selmer 群の挙動に関する理解を深めるものです。

まとめ:
本論文は、固定された剰余ガロア表現を持つモジュラー形式の族において、レベルを上げることによって得られる形式の Selmer 群の $p$-ランクが、元の形式のそれと「安定」に一致するものが、$X$ のオーダーで多数存在することを証明しました。これは、数論的対象の族における Selmer 群の統計的挙動を理解するための重要な一歩であり、Goldfeld 予想の精神をモジュラー形式の文脈で実現した画期的な成果と言えます。