Strong Weil Degree Divisibility at Higher Levels

技術要約：高レベルにおける強いワイル次数除合性

問題提起
本論文は、強ワイル曲線 $E$（導手 $M$）の有理同種類に属する楕円曲線 $E'$ へのモジュラー曲線 $X_0(N)$（および $X_1(N)$ のような中間曲線）からの射の算術的性質を調査している。具体的には、強いワイル・パラメトリゼーション $\pi_E: X_0(M) \to E$ の次数と、$N$ が $M$ の倍数である場合の射 $g: X_0(N) \to E'$ の次数の関係に関する以下の2つの主要な問いに取り組んでいる：

1. 除合性： $\deg \pi_E$ は $\deg g$ を割り切るか？ もし割り切れない場合、除合性の失敗を制御する明示的な因子は何か？
2. 整数構造： 退化写像によって誘導される「オールド（old）」な準同型は、準同型群 $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$ の整数基底を形成するか？ もしそうでない場合、整数準同型の係数の分母を明示的にバウンドできるか？

$N=M$ の場合は、最適商の普遍性を通じてよく理解されているが、$N > M$ の高レベルにおける挙動には、退化写像、マニン定数、およびモジュラー・ヤコビアンの構造の間の複雑な相互作用が関わっている。

手法
著者らは、代数幾何学、モジュラー形式の理論、および格子理論を組み合わせた手法を用いている。核心となる手法は以下の通りである：

• オールド形式分解： アティン・レーナー・リー（Atkin–Lehner–Li）分解を利用して、有理ベクトル空間 $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ を、退化写像 $\iota_r: X_0(N) \to X_0(M)$ によって誘導される「オールド」な準同型のスパンと同一視する。
• 次数のペアリング： 準同型に対する正定値な次数ペアリングを定義する。これにより、射の次数を、オールド基底における準同型の座標と「次数行列」 $A_{E,N}$ を用いた二次形式として表現することができる。
• カスプ展開による分母のバウンド： 準同型の係数の分母を制御するために、著者らは不変微分（ネロン微分）の射によるプルバックを分析する。彼らは、特定の2つのカスプ、すなわち標準的なカスプ $\infty$ とそのフリッケ（Fricke）対合 $w_N$ による像における $q$ 展開を調べることで、整格条件を確立する。
• 降下引数： $\ell^2 \mid (N/M)$ となる素数 $\ell$ に対して、著者らは降下引数を用いる。彼らは、退化写像 $\delta_\ell: X_0(N) \to X_0(N/\ell)$ が $\infty$ で全分岐である（$X_0$ の場合）、あるいは基本群上で全射である（中間曲線の場合）ことを示し、これがヤコビアンの誘導写像が幾何学的に連結な核を持つことを保証することを導く。この性質により、整数性がレベル $N$ から $N/\ell$ へと降下することが保証される。
• タワー基準： 著者らはこれらの性質を「タワー基準（条件 T1–T3）」へと抽象化し、$X_0$ から $X_1$ やダイアモンド・タワーを含む互換的な中間モジュラー曲線のタワーへと結果を拡張する。

主要な貢献と結果

1. 除合定理 (Theorem 1.1):
   本論文は、任意の非定数射 $g: X_0(N) \to E'$ に対して、強いワイル・パラメトリゼーションの次数が、マニン定数 $c_E$ と $N/M$ の素因数の数によって制御される因子を除いて、$\deg g$ を割り切れることを証明している。具体的には：
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   ここで $\Omega(n)$ は、重複を込めた $n$ の素因数の数である。

• 精緻化： 任意の素数 $\ell \mid c_E$ の指数は、$\text{ord}_\ell(c_E)\Omega(N/M)$ から $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$ へと精緻化できる。
• 無条件の場合： $c_E = 1$ の場合（これは $M$ が平方フリーである場合に成立することが知られており、$M < 500,000$ において検証されている）、$\deg \pi_E \mid \deg g$ は無条件に成立する。

2. 整数基底および分母定理 (Theorem 1.2):
   著者らは、複合写像 $u \circ \pi_E$ のマニン定数が 1 である場合（ここで $u$ は $\text{Hom}_{\mathbb{Q}}(E, E')$ を生成する）、集合 $\{ \Phi_{r,u} : r \mid (N/M) \}$ が $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$ の $\mathbb{Z}$-基底を形成することを確立している。

• 一般のバウンド： 一般の場合、整数準同型の係数の分母は、$N/M$ の素因数分解とマニン定数に依存する明示的な整数 $D_{u \circ \pi_E}(N/M)$ によって抑えられる。
• 次数のスペクトル： マニン定数が 1 のとき、任意の射の次数は、準同型の整数係数ベクトル $b$ を用いた二次形式 $b^T A_{E,N} b$ によって正確に決定される。

3. 中間曲線への拡張 (Theorems 5.12–5.19):
   これらの結果は、$X_1$-タワーを含む、互換的な中間モジュラー曲線のタワーへと拡張される。

• $X_1(N)$ については、マニン・スティーブンス（Manin–Stevens）定数 $c_1$ によって制御される、類似の除合および基底の結果が成り立つ。
• 本論文は、$X_0$ で用いられた全分岐の議論が、中間曲線の場合は基本群上の全射性に関する位相的な議論に置き換えられなければならないことを示しているが、最終的な除合および基底の結論は構造的に同様である。

意義と主張
本論文は、高レベルのモジュラー曲線から楕円曲線への射の次数を、最小レベルのパラメトリゼーションを用いて完全に記述したものであると主張している。

• 無条件の除合性： $c_E = 1$ のとき、除合 $\deg \pi_E \mid \deg g$ が無条件に成立することを確認している（これは平方フリーの導手に対して成立し、広範な導手に対して計算機的に検証されている）。
• 構造的洞察： 整数 $\text{Hom}$ 群の構造を明らかにし、「オールド」な写像が制御された分母を除いて完全な格子を生成することを示している。これは、「オールド」な格子が飽和しているかという問題を解決するものである。
• 明示的なバウンド： 整数性の失敗および除合の失敗に関する明示的で計算可能なバウンドを提供し、レベル比の素因数の多重度に基づいてマニン定数の因子の指数を減少させることで、従来の推定を精緻化している。
• 汎用性： 「タワー基準」を定式化することで、著者らはこれらの現象が $X_0$ に特有のものではなく、$X_1$ を含む互換的なモジュラー曲線の族に固有のものであることを示している。

本研究は、平方フリーの場合の（チェスナヴィチュスによって証明された）マニン定数予想の半安定なケースに依拠しており、特定の導手については（クレメナによる）既存の計算的検証を利用している。本論文は新しい応用を提案するものではなく、高レベルにおけるモジュラー・パラメトリゼーションを理解するための理論的基礎を固めるものである。