On the Finiteness of Isolated $j$-invariants for $X_1(N)$

技術要約：$X_1(N)$ における孤立した $j$-不変量の有限性について

問題設定
モジュラー曲線 $X_1(N)$ 上の有理点の分類は、算術幾何学における中心的な問題である。無限に続くパラメータ化された族（$\mathbb{P}^1$ やアーベル多様体への写像から生じるものなど）に属する点は十分に理解されているが、「孤立した」点——そのような族に属さない点——は、固定された次数の点の完全な分類に対する重要な障害となっている。本論文は、特に孤立した $j$-不変量の集合、すなわち $X_1(N)$ 上の孤立した点の $j$ 線（$X_1(1) \cong \mathbb{P}^1$）への値に焦点を当てる。

本論文が取り組む主要な問いは、問い 1（Bourdonら [10] による）である。「各固定された次数に対して、孤立した $j$-不変量は有限個しか存在しないか？」という問いである。Merel の一様有界定理は、特定の $X_1(N)$ 上の固定された次数の孤立した点の有限性を保証しているが、これは $N$ が変化する場合の孤立した $j$-不変量の有限性を直ちに意味するものではない。本論文は、この問いと、この分野における他の一様性予想との関係を調査し、新たな有限性の結果、特に有理的な $j$-不変量を持つ楕円曲線に関する結果を確立する。

手法
本論文は、モジュリ理論、ガロア表現解析、およびモジュラー曲線の幾何学的境界の組み合わせを採用している。

1. 仮説間の相互作用： 著者は、固定された次数 $d$ の数体上の楕円曲線の一様性に関する4つの主要な仮説間の論理的含意を確立する。

   • 仮説 1： 一般化されたセル（Serre）の一様性（大きな $p$ に対する $p$ 進ガロア表現の全射性）。
   • 仮説 2： 次数 $d$ の孤立した $j$-不変量の有限性。
   • 仮説 3： 非CMイソジェニー境界（大きな $N$ に対する $X_0(N)$ の次数 $d$ の非カスプ的、非CM点に関する有限性）。
   • 仮説 4： トーション成長に関する精緻な多項式境界。
     本論文は、仮説 1 が仮説 2 を含意すること、そして決定的なことに、仮説 2 が仮説 3 と仮説 4 の両方を含意することを証明する。これにより、問い 1 は、一般化されたセルの一様性の全強度を欠きつつも、イソジェニーやトーション境界の精緻化として位置付けられる。

2. ガロア表現と絡み合い（Entanglement）： 有理数の場合（$d=1$）に対処するため、本論文は mod $p$ および $p$ 進ガロア表現 $\rho_{E,p}$ および $\rho_{E,p^\infty}$ の像を分析する。その際、これらの像の分類結果（Mazur, Serre, Bilu, Parent, Rebolledo, Lemos など）を利用して、$X_1(N)$ の点の次数を決定する。主要な技術的ツールは、異なる素数のトーション体間の「絡み合い（entanglement）」の分析である。著者は、像が全射ではない（具体的には非スプリット・カルタン部分群である）素数の寄与と分岐を制御することにより、 $X_1(N)$ の点の次数に関する新たな下界を導出する。

3. 種数（Gonality）と孤立： 本論文は、モジュラー曲線の種数（Abramovich による下界）および点の次数と曲線の種数の関係を利用する。点の次数が種数（または特定の種数境界）を超える場合、その点は孤立していない。

主要な貢献と結果

• 仮説間の含意（定理 9）： 本論文は、孤立した $j$-不変量の有限性（仮説 2）が、大きなレベルに対する $X_0(N)$ の非CM点の有限性（仮説 3）およびトーション成長の多項式境界（仮説 4）の両方を確立するための十分条件であることを正式に証明する。
• 有理的な $j$-不変量の有限性（定理 3）： 主要な無条件の結果は、$p$ と $q$ が素数であるモジュラー曲線 $X_1(p^a q^b)$ の形式を持つ曲線に関連する、有理的な孤立した $j$-不変量は有限個しかないことを確立する。これは以下の組み合わせによって達成される：
  • 非全射な素数のガロア像の構造に関する Lemos [39, 40] の研究。
  • 像が非スプリット・カルタン部分群である場合の点の次数を抑えるための Smith [58] (Lemma 3) の分岐結果。
  • 著者および Genao [11] の先行研究を改善する、点の次数に関する新しい下界 (Corollary 1)。
    この証明は、十分大きな素数に対して、$j$-不変量が有理的な $X_1(p^a q^b)$ 上の点の次数が曲線の種数を超え、それゆえにその点が孤立していないことを示している。
• 精緻化されたトーション境界（定理 4）： $j(E) \in \mathbb{Q}$ である非CM楕円曲線 $E/F$ に対して、任意の $\epsilon > 0$ について、以下の定数 $C_\epsilon$ が存在する：
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  これは、先行研究 [11, 18] と比較して、次数の境界の指数を平方根の因子分だけ改善している。トーション群の指数の $1/2$ という値は、ほぼ最適であることが示されている。
• 実験的データと分類： 本論文は、ヤコビアンのランク計算と種数境界を用いて、その孤立性を正当化した、次数 $\leq 10$ の既知の非CM孤立 $j$-不変量の包括的な表を提供している。

意義と主張
本論文は、問い 1 がこの分野におけるより広範な一様性問題の決定的な「精緻化」として機能すると主張している。孤立した $j$-不変量の有限性がイソジェニーやトーションに関する強い境界を導くことを確立することで、本研究は、これらの特定の点を対象とした有限性の追求が、より広範な予想を解決するための実行可能な経路であることを示唆している。

有理的な $j$-不変量に関する結果は、完全な分類への重要な一歩であり、レベルが $p^a q^b$ の形の曲線において、孤立した $j$-不変量の無限族の可能性を排除している。著者は、「絡み合い（entanglement）」に対する現在の制御（異なる素数のトーション体間の相互作用）は、すべての有理的な $j$-不変性について仮説 2 を無条件に証明するには不十分であるが、実験的データは、関連する「絡み合いモジュラー曲線」が、標準的なモジュラー曲線のファイバー積とは異なり、しばしば非自明なランク 0 の商を持つことから、形式的埋め込み（formal immersion）の議論を通じて問題が接近可能であることを示唆している、と述べている。

本論文は、完全な孤立した $j$-不変量の有限性は依然として未解決であるが、ここで開発された手法は、有理的な $j$-不変量に関する既知のトーション境界をうまく精緻化し、これらの一様性問題を結びつける論理的景観を明確にしたと結論付けている。