論文「MODULAR CURVES AND BAD REDUCTION」の技術的サマリー

著者: Adam Logan, David McKinnon
概要: 本論文は、数体上の楕円曲線において、そのねじれ部分群（torsion subgroup）の構造に関する情報が、特定の素数における「悪縮退（bad reduction）」の存在を強制する現象を証明するものである。特に、モジュラー曲線 $X_0(N)$ が種数 1 である場合に焦点を当て、ねじれ構造から縮退の存在を導出する一般的な手法を確立し、具体的な例（$N=20, 24, 32, 36, 49$ など）に対して適用している。

---

1. 問題設定と背景

1.1 従来の知見との対比

通常、楕円曲線の有理点のねじれ部分群の構造と、その曲線が持つ悪縮退の場所（bad reduction）の間には直接的な関係がないように見える。既存の結果の多くは、「特定の縮退の性質（例えば加法性縮退）から、ねじれ部分群の制限（$p$-群であることなど）を導く」という方向性であった（例：Silverman の定理）。

1.2 本論文の目的

本論文は、その逆方向の論理、すなわち**「ねじれ部分群の構造（特定の位数のねじれ点の存在）から、特定の素数における悪縮退の存在を導出する」**ことを目指している。
具体的には、数体 $k$ 上で定義された楕円曲線 $E$ が、あるモジュラー曲線 $X_0(N)$ 上の $k$-有理点に対応している場合、そのねじれ構造が $E$ の $k$ 上の特定の素数 $\ell$ において「潜在的に良い縮退（potentially good reduction）を持たない（＝悪縮退である）」ことを示す。

---

2. 手法と理論的枠組み

2.1 種数 1 のモジュラー曲線の利用

手法の核心は、対応するモジュラー曲線 $C = X_0(N)$ が種数 1（楕円曲線）であることにある。

• $C$ のモーデル・ウェイル群（Mordell-Weil group）$C(k)$ を考える。
• $C$ の尖点（cusps）は、$C$ 上のねじれ点として振る舞う（ある尖点を単位元と選べば、他の尖点はねじれ点となる）。
• 楕円曲線 $E$ が $C$ 上の点 $P$ に対応する場合、$P$ が尖点に合同である（modulo $\ell$）ならば、$E$ の $j$-不変量は $\ell$ において非整数（極を持つ）となり、すなわち悪縮退となる。

2.2 主要な論証ロジック

1. 尖点への合同性の証明:
   数体 $k$ 上の任意の点 $P \in C(k)$ が、ある素数 $\ell$ において尖点（cusp）に合同であることを示す。
   • $C(k)$ の自由部分の生成元 $P_i$ とねじれ部分群が、すべて $\ell$ において尖点に合同であることを確認する。
   • 尖点への合同性を満たす点の集合は部分群をなすため、生成元とねじれ点がすべてその集合に含まれれば、$C(k)$ のすべての点がその集合に含まれる。
2. 縮退の導出:
   点 $P$ が尖点に合同 $\implies$ 対応する楕円曲線の $j$-不変量が $\ell$ において極を持つ $\implies$ $\ell$ において悪縮退（かつ潜在的に良い縮退ではない）。

2.3 高次種数への拡張の限界

種数 $\ge 2$ の場合、ファルティングスの定理により有理点は有限個しか存在しないため、結果は有限個の楕円曲線クラスに限定される。本論文は主に種数 1 の無限族を扱うことに焦点を当てている。

---

3. 主要な結果

3.1 一般定理（Theorem 2.3, 2.4）

• Theorem 2.3: 種数 1 のモジュラー曲線 $E$ において、有限体 $\mathbb{F}_q$ 上のすべての点が尖点に合同である場合、その素数 $p$ 上の任意の楕円曲線は $p$ において悪縮退する。
• Theorem 2.4: 二次体 $K$ において、$p$ が $K$ で不分岐（inert）な場合、$E(\mathbb{Q}) \oplus E^\sigma(\mathbb{Q}) \to E(K)$ が全射であり、かつ $\mathbb{F}_p$ 上の点がすべて尖点で代表されるならば、$K$ 上の楕円曲線は $p$ で悪縮退する。

3.2 具体的な適用例（$X_0(20)$ のケース）

• 定理 2.2: $k$ において 3 が完全に分解（split）する場合、$k$ 上で位数 20 のねじれ部分群を持つ楕円曲線は、3 上のすべての素数で悪縮退する。
  • 例：$k = \mathbb{Q}(\sqrt{-11})$。ここで 3 は分解するため、位数 20 のねじれを持つすべての楕円曲線は 3 上で悪縮退する。
• 定理 2.1: $X_0(20)$ のモーデル・ウェイル群のランク $n$ とねじれ部分群の構造を用いて、ランク $n$ の生成元がすべて $\ell$ において尖点に合同であれば、対応するすべての楕円曲線が $\ell$ で悪縮退することを示す。
  • 例：$k = \mathbb{Q}(\sqrt{17})$（3 は不分岐）や $k = \mathbb{Q}(\sqrt{142})$ などの高ランク例でも同様の結論が得られる。

3.3 表 1 と他のモジュラー曲線

$X_0(N)$ において種数 1 となる $N$（20, 24, 32, 36, 49）について、どの素数 $p$ に対して上記の条件が満たされるかを表 1 にまとめた。

• 例：$N=24$ の場合、$K=\mathbb{Q}(\sqrt{10})$ 上の位数 24 のねじれを持つ楕円曲線は、5 上で悪縮退する（5 は $K$ で分岐するため Theorem 2.3 が適用可能）。

3.4 $X_1(N)$ への適用（Example 2.6）

$X_1(11), X_1(14), X_1(15)$ などの曲線についても同様の手法が適用可能であることを示している。

• $X_1(11)$: 素数 2, 3, 5 において、位数 11 のねじれを持つ楕円曲線は悪縮退する。
• $X_1(13)$: 種数 2 であるが、変形版の定理を適用することで部分な結果が得られる可能性を示唆している。

3.5 2-降下法による全射性の証明（Theorem 3.1）

Theorem 2.4 の仮定である「写像 $E(\mathbb{Q}) \oplus E^\sigma(\mathbb{Q}) \to E(K)$ の全射性」が満たされる条件を、2-降下法（2-descent）を用いて証明した。

• $K = \mathbb{Q}(\sqrt{q})$ において、$q \equiv 13, 17 \pmod{20}$ の場合、この写像は全射であり、$E(K)$ は正のランクを持つ。
• これにより、Corollary 3.2 として、$\mathbb{Q}(\sqrt{q})$ 上の位数 20 のねじれを持つ楕円曲線は、特定の条件（$q \equiv 11, 13, 17, 19 \pmod{20}$ など）の下で 3 上で悪縮退することが保証される。

---

4. 意義と貢献

1. 双方向的な関係の確立:
   従来の「縮退 $\to$ ねじれ」の論理に対し、「ねじれ $\to$ 縮退」という逆方向の強力な制約を確立した。これは、楕円曲線の分類や存在可能性の研究において新しい制約条件を提供する。
2. 無限族への適用:
   種数 1 のモジュラー曲線を用いることで、特定のねじれ構造を持つ楕円曲線の無限族に対して、共通の素数での悪縮退を証明している。これは、有限個の例外を除く一般的な性質を示す点で重要である。
3. 具体的な数値的結論:
   具体的な数体（$\mathbb{Q}(\sqrt{-11}), \mathbb{Q}(\sqrt{17})$ など）と素数（3, 5, 7 など）の組み合わせに対して、明確な「悪縮退の存在」を断言できる結果を提供している。
4. 手法の一般化:
   種数 1 のモジュラー曲線のモーデル・ウェイル群の構造（生成元とねじれ点）と、有限体上の点の分布（尖点への合同性）を結びつける一般的な枠組みを提示した。

5. 結論

本論文は、モジュラー曲線の幾何学的性質（特に種数 1 であることと尖点の分布）を巧みに利用し、楕円曲線のねじれ部分群の存在が、その曲線の縮退の性質に直接的かつ強制的な影響を与えることを示した。これは、数論幾何におけるねじれ点と縮退の間の深いつながりを浮き彫りにする重要な成果である。