Divisibility of the coefficients of modular polynomials

技術要約：モジュラー多項式の係数の可除性

問題設定
本論文は、巡回同種写像（cyclic isogeny）の次数 $N$ によって結ばれた楕円曲線の $j$ 不変量のペアにおいて消滅する、古典的なモジュラー多項式 $\Phi_N(X, Y) \in \mathbb{Z}[X, Y]$ の算術的性質を調査している。$\Phi_N(X, Y)$ の係数は極めて巨大であることが知られているが、それらは小さな素数による顕著な可除性を示している。取り組まれている中心的な問題は、これらの係数の $p$ 進付値に関する精密な下界を確立することである。特に、特異モジュラス（複素乗法（CM）を持つ楕円曲線に対応する代数的数 $J$）によってシフトされた場合についてである。具体的には、著者らは $\Phi_N(X+J, Y+J)$ の係数を、特に $J=0$ の場合、および基礎となる楕円曲線が素数 $p$ において超特異還元（supersingular reduction）を持つ場合を中心に研究している。

手法
著者は、変形理論、明示的な同種写像公式、および多項式補間技術を組み合わせて用いている：

1. 変形理論と超特異還元： 核となる戦略は、一様因子 $\pi$ の高次冪に対して固定された曲線 $E$ に $\text{mod } \pi$ で還元される、完全値体 $K$ 上の楕速曲線の族 $E_k$ を構成することである。命題 3.6 により、セールの・テイトの持ち上げ定理（Serre-Tate lifting theorem）を利用して、$\pi^{M+1}$ に対しては互いに非同型であるが $\pi^M$ に対しては同型であるような、無限個の曲線 $E_k$ を構成する。これにより、$j$ 不変量の差の付値 $v(j(E_k) - j(E_l))$ を制御することが可能となる。
2. 同種写像の付値解析： 減少した曲線が超特イクである場合の、巡回 $N$-同種写像の還元を分析する。還元された曲線が超特異であるとき、自己準同型環は四元数環の極大整環となる。自己準同型へと還元される巡回同種写像の数 $C_J(N, \pi)$ は、これらの四元数整環に関連するテータ級数を用いて明示的に計算される（命題 2.3）。
3. 多項式補間： 多項式の特定の評価値からその係数へと付値の下界を転送するために、一般化された補間補題（補題 3.3）を利用する。制御された付値を持つ点 $y_k = j(E_k) - J_2$ において $\Phi_N(X+J_1, Y+J_2)$ を評価し、根の対称性を適用することで、係数 $a_{i,j}$ の下界が導かれる（命題 3.4）。
4. 明示的な公式（ヴェルの公式）： 剰余標数が $p=2$ または $3$である特定のケースでは、ヴェルの明示的な公式を用いて、$j(E') - j(E)$の付値を直接計算する。これにより、$N \pmod 4$（$p=2$の場合）または$N \pmod 6$（$p=3$の場合）に依存する定数$n_v$ （定理 3.2）が定義される。

主要な貢献と結果

• 定理 1.1（$J=0$ の場合）： 本論文は、$N$ が $p$ で割り切れない場合の $\Phi_N(X, Y)$ の係数の $p$ 進付値 $v_p(a_{i,j})$ の下界を確立している。

  • $p=2$ の場合（$2 \nmid N$）：$v_2(a_{i,j}) \ge 15(\psi(N) - i - j)$。
  • $p=3$ の場合（$3 \nmid N$）：$v_3(a_{i,j}) \ge 3(\psi(N) - i - j)$。また、$N \equiv 1 \pmod 3$ の場合はより強い境界 $\lceil \frac{9}{2}(\psi(N) - i - j) \rceil$ を持つ。
  • $p=5$ の場合（$5 \nmid N$）：$v_5(a_{i,j}) \ge 3(\psi(N) - i - j)$。
  • $p \ge 11$ かつ $p \equiv 2 \pmod 3$ の場合：$v_p(a_{i,j}) \ge 3(C_0(N, p) - i - j)$。ここで $C_0(N, p)$ は $\Phi_N(X, 0) \pmod p$ の消滅次数である。
  • これらの結果は、Wang [26] による予想を確認し、一般化するものである。

• 定理 1.2（一般的な特異モジュラス）： 結果は、有理特異モジュラス（判別式 1 の整環による複素乗法を持つ楕円曲線に対応）に対する $\Phi_N(X+J, Y+J)$ に拡張される。

  • 境界は $v_p(a_{i,j}) \ge n_p(C_J(N, p) - i - j)$ の形式をとる。
  • 定数 $n_p$ は素数 $p$ および $p$ が $J$ または $J-1728$ を割り切めるかどうかに依存する。例えば、$p|J$ かつ $p=2$ ならば $n_p=15$、$p|J$ かつ $p=3$ ならば $n_p=6$ である。
  • 本論文は、特定の判別式（例：$D=-12, -27$）における「例外的な付値」の表を提供しており、そこでは $n_p$ の一般式が $N \pmod 3$ または $N \pmod 6$ に基づいて調整を必要とする。

• 最適性： 著者は、計算の結果、導出された $n_p$ の境界は、$D=-12$ および $D=-27$ の特定のケースを除いて最適であることを示唆している。これらのケースでは、真の値は特定の $N$ の合同類に対して、わずかに高いことが予想されている。

意義と応用
本論文は、以下の分野における重要性を主張している：

1. 計算数論： これらの結果は、モジュラー多項式の個々の係数のサイズに関するよりタイトな境界を提供する。これは、$\Phi_N(X, Y)$ を計算するための中国剰余定理（CRT）に基づくアルゴリズムに直接適用可能であり、再構成に必要な素数の数を減らす可能性がある。
2. データストレージ： これらの可除性定理によって予測されない係数の因子のみを保存することにより、大幅なスペース節約が可能になる。著者は、$N=5$ で 43%、$N=101$ で 12% の十進桁数の削減を挙げている。
3. 検証： 可除性の条件は、大きな $N$ に対するモジュラー多項式の計算のための「クイックな妥当性確認（sanity check）」として機能する。
4. 理論的背景： 本研究は、Gross と Zagier によって開拓された特異モジュラスの差というテーマの変奏として位置付けられており、超特異還元がモジュラー多項式の算術にどのように影響するかについての理解を広げるものである。

著者は、結果は楕速曲線の還元型の研究から導かれたものであり、前述の直接的な計算的および理論的応用を超えた、新しい実験的アルゴリズムや将来的な含意を提案するものではないことを明示している。