Intrinsic Subgroups and the $\ell$-adic Galois image

技術要約：内在部分群と $\ell$ 進ガロア像

問題提起
本論文は、体 $k$ 上の楕円曲線 $E$ のねじれ点の「内在部分群（intrinsic subgroup）」の分類および計算を扱う。滑らかな射影曲線 $X$ のねじれ部分群 $\text{Pic}(X)_{\text{tors}}$ から $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ への双加法的対称ペアリング $\langle -, - \rangle$ を定義した山崎ら [5] の研究に基づき、内在部分群は、このペアリングの核として定義される。楕円曲線 $E$ において、$E(k) \cong \text{Pic}^0(E)$ であるため、この内在部分群 $E(k)_{\text{is}}^{\text{tors}}$ は、このペアリングの下ですべての他のねじれ点に対して直交するねじれ点からなる。

山崎らは解析的手法を用いて有理数体 $\mathbb{Q}$ 上の楕円曲線の分類を行ったが、本論文はこれらの結果を任意の体 $k$（具体的には $\mathbb{C}$ の部分体）へと一般化し、この部分群の構造を決定するための明示的な代数的基準とアルゴリズムを提供することを目的とする。

手法
本論文は、代数幾何学、ガロア理論、およびモジュラー曲線論の組み合わせを用いている：

1. イソジェニーによる代数的特徴付け： 第2節において、著者はペアリングの関手性を利用して、内在部分群のサイズに関する十分条件を導出している。具体的には、補題2.1は、もしイソジェニー $\psi: E_1 \to E_2$ の核が全ねじれ部分群 $E_1(k)_{\text{tors}}$ と一致する場合、双対イソジェニー $\hat{\psi}$ を $E_2(k)_{\text{tors}}$ に適用した像が $E_1(k)_{\text{is}}^{\text{tors}}$ 内に存在することを示す。これは、特定の巡回イソジェニーの存在と内在部分群の位数との関係を与える定理2.2へとつながる。
2. モジュラー曲線とツイスト： 第3節では、解析を部分体 $k \subset \mathbb{C}$ へと拡張する。著者は、モジュラー曲線 $X_1(N)$ およびそのツイストの明示的な平面モデルを構成する。ペアリングの値 $\langle P, P \rangle$ をヤコビのテータ関数およびモジュラー曲線上の有理関数を用いて表現することにより、本論文は、特定のねじれ構造と内在部分群を持つ楕円曲線が、モジュラー曲線 $X_{1,0}(N, MN)$ の特定のツイスト $X_1(N)^\zeta_M$ 上の有理点に対応することを証明している。
3. 計算アルゴリズム： 第4節では、$k=\mathbb{Q}$ の場合の計算アルゴリズムを詳述する。この手順は、楕円曲線をテイト標準形（Tate normal form）へと変換し、テータ関数の関係式から導出された事前計算済みの有理関数 $f_N(t)$ を利用し、ペアリング公式における結果となる有理数の指数を分析することで、内在部分群の位数を決定する。

主要な貢献および結果

• 山崎らの研究の一般化： 本論文は、内在部分群の分類を $\mathbb{Q}$ から任意の体 $k \subset \mathbb{C}$ へと一般化している。ねじれ部分群が巡回群 $\mathbb{Z}/N\mathbb{Z}$ で内在部分群が $\mathbb{Z}/M\mathbb{Z}$ である楕円曲線は、モジュラー曲線 $X_{1,0}(N, MN)$ の特定のツイスト上の有理点に対応することを証明している。
• 代数的条件： 定理2.2は、純粋に代数的な十分条件を提供している。すなわち、$E$ が位数 $N$ の点 $P$ を含む位数 $MN$の$k$有理巡回部分群を認めるならば、$[N/M]P$ によって生成される部分群は内在部分群に含まれる。
• ガロア像の特徴付け： 定理3.2は、内在部分群とアデール的ガロア像との間の関係を確立している。もし $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ かつ $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$ ならば、$E$ のガロア像は $\Gamma_{1,0}(N, MN)$ の共役な部分群となる。
• 明示的なアルゴルズム： ヴェイエルシュトラス係数とねじれ部分群の生成子が与えられたとき、$E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ の位数と生成子を計算するアルゴリズム（アルゴリズム4.2）が提供されている。このアルゴリズムは実装され、LMFDBにおけるすべての楕円曲線の内在部分群の位数の計算に使用された。
• モジュリ問題： 本論文は、指定されたねじれ構造および内在部分群の構造を持つ楕円曲数を分類するというモジュリ問題の解として、モジュラー曲線 $X_{1,0}(N, MN)$ およびそのツイストを特定している（少なくとも $\mathbb{C}$ の部分体において）。

意義および限界
本論文は、内在部分群の研究を、$\mathbb{Q}$ に限定された解析的手法から、一般的な体にも適用可能な代数学的手法へと転換させた点に意義があると主張している。また、内在部分群、イソジェニー、およびガロア表現の関係を理解するための具体的な枠組みを提供している。

しかし、著者はこれらの結果の範囲について謙虚な姿勢を示している：

• 第2節の代数的条件は十分条件であり、必要条件ではない。望ましい内在部分群を持つすべての曲線が、特定のモジュラー曲線 $X_{1,0}(N, MN)$ の有理点として現れるわけではなく、ツイストを考慮する必要がある。
• 任意の体 $k$（$\mathbb{C}$ の部分体以外）への一般化は依然として予想（Conjecture 5.1）の段階である。本論文は、モジュリ問題が $k \subset \mathbb{C}$ に対しては解決されているものの、これらの手法が一般的な体に対してこれを証明するには至っていないことを指摘している。
• 現在の結果は、主にねじれ部分群が巡回群である場合に焦点を当てている。解析的手法は非巡回的なねじれの場合に直ちに一般化できないことを著者は認めており、非巡回的な場合における内在部分群とガロア像の関係は未解決の問題として残されている。
• 一般的な体に対するアルゴリズムは、$k^\times \otimes \mathbb{Q}/\mathbb{Z}$ 内での恒等式判定や、次数が線形に増大する大きな $N$ に対する関数 $f_N$ の事前計算において課題を抱えている。