🔢 mathematics

Number of $K$ -rational points with given $j$ -invariant on modular curves

この論文では、任意のモジュラー曲線上における与えられた $j$ -不変量を持つ $K$ -有理点の個数を計算する方法を研究し、楕円曲線が持ちうる $n$ -等分写像の個数やカルタンモジュラー曲線上の点の個数の可能性を決定するとともに、CM 楕円曲線のガロア表現に関する既知の結果と組み合わせることで、任意のモジュラー曲線上の有理 CM 点の個数を決定する簡素なアルゴリズムを提案しています。

原著者： Ivan Novak

公開日 2026-03-04

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Ivan Novak

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学の中でも特に「数論」と呼ばれる分野の、少し難解な問題を扱ったものです。専門用語を並べると難しく聞こえますが、実は**「魔法の地図（モジュラー曲線）と、その地図上に現れる『特別な場所（点）』の数」**を数え上げるという、とてもロマンチックな探検物語のようなものです。

著者のイヴァン・ノヴァクさんは、この探検で**「ある特定の『座標（j-不変量）』に、何人の『旅行者（有理点）』が滞在できるか」**を、あらゆる可能性について解明しました。

以下に、難しい数学を日常の言葉と面白い例え話で解説します。

1. 物語の舞台：魔法の地図と旅行者

まず、舞台をイメージしてください。

モジュラー曲線（Modular Curve）: これは、数学的な「魔法の地図」です。この地図には、無限に多くの「町」や「道」がありますが、その中には**「楕円曲線（Elliptic Curve）」**という、とても不思議な形の輪っか（ドーナツのような形）が住んでいる場所があります。
j-不変量（j-invariant）: これは、その「輪っか（楕円曲線）」の**「顔の形」**を表す番号です。同じ顔の形（同じ j-値）を持つ輪っかは、見た目は似ていますが、微妙に違う「分身」を持っています。
K-有理点（K-rational points）: これらは、その地図上の「旅行者」です。彼らは特定の国（数体 K）から来た人々で、その国のルール（方程式）に従ってしか動けません。
同型写像（Isogeny）: 輪っか同士をつなぐ「橋」のようなものです。ある輪っかから別の輪っかへ、特定のルールで渡ることを「同型写像」と呼びます。

論文の目的：
「ある特定の顔の形（j-値）を持った輪っかが、ある国の旅行者（K-有理点）によって、この魔法の地図上に何個の分身（点）として現れることができるか？」をすべてリストアップすることです。

2. 核心となる発見：橋の数（同型写像）の法則

この論文で最も面白い発見は、**「橋（同型写像）の数」**に関するルールです。

昔の常識（素数の場合）

昔の数学では、橋の数が「素数（2, 3, 5, 7...）」の場合、ルールはシンプルでした。

例：ある国で「3 つの橋」が見つかったら、実は**「すべての橋（全部で 4 つ）」**がその国に存在していることになります。
例え話: 3 つの道が交差点で止まっていたら、実はその交差点は完全な円になっていて、すべての道が繋がっているのと同じです。「3 つ見つけたら、全部見つけた」という魔法の法則がありました。

新しい発見（合成数の場合）

しかし、著者さんは**「素数ではない数（例えば 4, 6, 8, 9...）」の場合、この単純なルールが崩れる**ことを発見しました。

発見: 「3 つの橋」が見つかったからといって、必ずしも「すべての橋」があるとは限りません。
結果: 橋の数としてあり得るパターンは、もっと複雑で多様です。
- 「0 個」
- 「特定の数の倍数」
- 「ある数 + その前の数」
- など、いくつかの「許されたリスト」に収まることがわかりました。

例え話:
素数の場合は「3 つ見つけたら、その街は完全な円形なので、残りの道も全部見えている」という感じでした。
しかし、合成数の場合は「街の形が複雑な迷路」になっているため、「3 つの道が見つかったからといって、残りの道も全部あるとは限らない。でも、見つかる道の数は『0, 2, 4, 6...』や『10, 12』のような決まったパターンしかないよ」というルールが見つかったのです。

3. 具体的な成果：どんな数字が現れるか？

著者さんは、このルールを具体的な数式で証明し、以下のことを明らかにしました。

素数の冪（ $p^k$ ）の場合:
- 橋の数は、$0 $、$ p $の倍数、あるいは「$ p^k + p^{k-1}$」のような特定の形しか取れない。
- これらはすべて、適切な国（数体）と輪っか（楕円曲線）を選べば、実際に実現できることが証明されました。
カルタン曲線（Cartan Curves）の場合:
- 地図の形が少し違う（カルタン部分群と呼ばれる特別なルール）場合でも、同様に「あり得る旅行者の数のリスト」を計算しました。
- ここでは、数字が「2」や「3」のような小さな値になる場合や、素数 $p$ の性質（4 で割った余りなど）によって答えが変わる面白い現象も発見しました。

4. 応用：「CM 点」という特別な旅行者

論文の最後には、**「複素乗法（CM）を持つ楕円曲線」**という、非常に特別な旅行者について触れています。

CM 点: これらは、数学的に「特別に整った形」をした輪っかです。
アルゴリズムの提案: 著者さんは、この特別な旅行者が、任意の魔法の地図上に何人現れるかを**「計算する手順（アルゴリズム）」**を考案しました。
実用性: このアルゴリズムは、すでに GitHub というサイトで公開されており、他の研究者がすぐに使えるようになっています。これにより、これまでに手作業では難しかった「点の数え上げ」が、コンピュータで瞬時に行えるようになりました。

まとめ：この論文がなぜ重要なのか？

この論文は、**「数学的な迷路（モジュラー曲線）において、特定の場所にいる人の数が、実は『無限に自由』ではなく、『決まったルール』に従っている」**ことを示しました。

昔のイメージ: 「どんな数でも、条件さえ整えば、どんな人数の旅行者が現れても不思議ではない」
この論文の結論: 「いやいや、実は**『0, 2, 4, 6...』や『10, 12』など、現れる人数には『許可されたリスト』が決まっているんだ！**」

これは、数学者たちが「楕円曲線」という不思議な世界をより深く理解するための、新しい「地図の法則」を記したものです。また、この法則を使うことで、将来の暗号技術や数論の研究において、より効率的に計算ができるようになる期待も持たせています。

一言で言えば：
「魔法の地図上の『顔の形』ごとに、何人の『旅行者』が滞在できるか？その答えは、一見バラバラに見えるが、実は**『決まったパターンのリスト』**に収まっているよ！」という、数学的な探検の成果です。

イワン・ノヴァク（Ivan Novak）による論文「MODULAR CURVES 上の与えられた $j$ 不変量を持つ $K$ -有理点の数（NUMBER OF K-RATIONAL POINTS WITH GIVEN j-INVARIANT ON MODULAR CURVES）」の技術的概要を以下にまとめます。

1. 問題設定 (Problem)

本論文の中心的な問題は、任意のモジュラー曲線 $X_H$ において、与えられた $j$ 不変量 $j_0$ を持つ $K$ -有理点の個数を決定することです。ここで、 $K$ は任意の代数体、 $H$ は $GL_2(\mathbb{Z}/N\mathbb{Z})$ の部分群、 $X_H$ は $H$ に対応するモジュラー曲線です。

具体的には、以下の集合の濃度を調べます：
$\{x \in X_H(K) \mid j(x) = j_0\}$

この問題は、楕円曲線 $E/K$ 上の $n$ -等分写像（ $n$ -isogeny）の個数を決定する問題と密接に関連しています。特に、 $X_0(n)$ の場合、 $K$ 上で定義された $n$ -等分写像の個数は、 $j(E)$ を持つ $X_0(n)$ の $K$ -有理点の個数（ $j=0, 1728$ の場合の補正を除く）に一致します。

従来の研究では、 $K=\mathbb{Q}$ における有理点の分類（Mazur や Kenku の結果）や、次数 $d$ の点の分類がなされてきましたが、 $d > 1$ の場合や、特定の $j$ 不変量に焦点を当てた場合の完全な分類は困難でした。特に、複素乗法（CM）を持つ楕円曲線に関連する点は、その存在証明が容易である一方で、リストの完全性を証明するのが難しいという課題がありました。

2. 手法 (Methodology)

著者は、この問題を純粋に群論的な枠組みで解決するアプローチを採用しています。

ガロア表現とモジュラー曲線の対応:
- 楕円曲線 $E/K$ の $N$ 次ねじれ点 $E[N]$ に対するガロア表現 $\rho_{E,N}: G_K \to GL_2(\mathbb{Z}/N\mathbb{Z})$ の像 $R$ を考えます。
- $X_H$ 上の $K$ -有理点は、 $E$ の $H$ -レベル構造 $(E, \alpha)$ がガロア作用で不変であることと同値です。
- 著者は、 $E$ の $j$ 不変量が $j_0$ に固定されている場合、 $K$ -有理点の個数を、 $GL_2(\mathbb{Z}/N\mathbb{Z})$ 内の部分群 $R$ と $H$ 、および $E$ の自己同型群の像 $A$ を用いた**二重剰余類（double coset）**の計算として定式化しました。
有理点の個数の公式:
- 基底 $(P, Q)$ を固定し、 $R$ をガロア像、 $A$ を自己同型群の像とすると、 $j(x)=j_0$ となる $K$ -有理点の個数は以下の式で与えられます（Proposition 2.2）：
  $\sum_{g \in GL_2(\mathbb{Z}/N\mathbb{Z})} \frac{\mathbf{1}_{\{gRg^{-1} \subseteq H \cdot gAg^{-1}\}}}{\#(HgA)}$
- $j_0 \notin \{0, 1728\}$ の場合、 $A = \{\pm I\}$ となるため、この式はより簡略化されます（Corollary 2.4）。
群の構造解析:
- 具体的なモジュラー曲線（ $X_0(p^k)$ 、カルタン部分群 $C_s(p^k), C_{ns}(p^k)$ 、およびそれらの正規化群）に対して、 $GL_2(\mathbb{Z}/p^k\mathbb{Z})$ の部分群 $R$ が上記の条件を満たす場合の個数を、 $p$ 進評価（ $p$ -adic valuation）を用いた系統的なケース分けによって計算しました。

3. 主要な貢献と結果 (Key Contributions and Results)

A. $n$ -等分写像の個数の完全なリストの決定

任意の整数 $n$ に対して、ある代数体 $K$ 上の楕円曲線が持つ $K$ -有理な $n$ -等分写像の個数として取りうる値のリストを決定しました。

素数べき $p^k$ の場合（ $p$ は奇素数）:
可能な個数は以下の集合に含まれます（Proposition 1.1）：
$\{0\} \cup \{p^j \mid 0 \le j < k\} \cup \{2p^j \mid 0 \le j < k\} \cup \{p^k + p^{k-1}\}$
- 従来の結果（ $k=1$ の場合、 $0, 1, 2, p+1$ のみ）を一般化し、合成数 $n$ の場合でも同様の構造が成り立つことを示しました。
- 特に、 $p$ -等分写像が 3 つ存在すればすべて存在する（ $p+1$ 個）という古典的な事実が、 $k>1$ では必ずしも成り立たないことを示しました。
2 のべき $2^k$ の場合:
可能な個数は $\{0\} \cup \{2^m \mid m=1, \dots, k\} \cup \{2^k + 2^{k-1}\}$ です（Proposition 1.2）。
一般の $n$ の場合:
$n = \prod p_i^{e_i}$ の場合、各素数べきの個数の積として得られる値の集合が $S(B_0(n))$ となります（Corollary 3.7）。

B. 階層構造と遷移

ある $p^k$ -等分写像の個数が $m$ であるとき、 $p^{k+1}$ -等分写像の個数として取りうる値を決定するアルゴリズムを提案しました（Proposition 3.8）。これにより、等分写像の個数の「階層構造」が明らかになりました。

C. カルタン曲線およびその正規化群

カルタン部分群 $C_s(p^k)$ （分裂型）、 $C_{ns}(p^k)$ （非分裂型）およびそれらの正規化群 $N_s(p^k), N_{ns}(p^k)$ に対応するモジュラー曲線について、 $j$ 不変量に固定された点の個数の可能な値を決定しました（Proposition 4.4 - 4.8）。

これらの結果は、CM 楕円曲線のガロア表現の像がカルタン群やその正規化群に含まれるという事実と密接に関連しており、Serre の一様性予想（Serre's uniformity conjecture）の文脈でも重要です。

D. CM 点の個数を決定するアルゴリズム

Lozano-Robledo のガロア表現に関する既知の結果と組み合わせることで、任意のモジュラー曲線上の有理 CM 点の個数を決定する単純なアルゴリズムを提案しました（Section 5）。

入力： $j$ 不変量、レベル $N$ 、部分群 $H$ 。
出力： $K$ -有理 CM 点の個数。
このアルゴリズムは、従来の計算手法（ $j$ -写像の計算など）よりも効率的であり、GitHub で実装が公開されています。

4. 意義と応用 (Significance)

理論的進展:
- 楕円曲線の等分写像の次数に関する分類問題において、 $K=\mathbb{Q}$ だけでなく、任意の代数体 $K$ における「可能な個数」の完全なリストを提供しました。
- $k>1$ の場合、 $p$ -等分写像の個数が $p+1$ になるための条件（3 つの点が固定されればすべて固定されるという性質）が一般化しないことを明確にしました。
計算可能性:
- 従来の手法では計算が困難だった CM 点の個数計算を、群論的なアルゴリズムによって効率的に行えるようにしました。
- 具体的な例として、 $X_0(88)$ 上の特定の $j$ 不変量に対する二次点の個数を、Magma を用いて高速に計算するデモンストレーションを行っています。
将来の応用:
- この結果は、モジュラー曲線上の有理点の分類（特に次数 $d > 1$ の点）における障害を克服するための基礎データとなります。
- Serre の一様性予想や、CM 楕円曲線のガロア表現の像の研究において、重要な制約条件を提供します。

結論

本論文は、モジュラー曲線上の有理点の存在問題を、ガロア表現の像と群論的な構造（二重剰余類）に帰着させることで解決しました。その結果、任意の代数体上の楕円曲線が持つ等分写像の個数の可能性を完全に記述し、CM 点の個数を計算する実用的なアルゴリズムを確立しました。これは数論幾何、特に楕円曲線の等分写像とガロア表現の分野における重要な進展です。