Geometric construction of modular polynomials with level structures

技術要約：レベル構造を持つモジュラー多項式の幾何学的構成

問題設定
古典的なモジュラー多項式 $\Phi_m(X, Y)$ は、巡回的 $m$ 次イソジェニーによって結ばれた2つの楕円曲線の $j$ 不変量間の代数的な関係を記述するものである。これらの多項式を計算するためのアルゴリズム（フーリエ展開、超特異イソジェニー、または変形理論によるものなど）は存在するが、本論文では、特定のモデル（例えば、レベル構造 $\Gamma_0(4)$ および $\Gamma(3)$ に対応するモンゴメリー曲線やヘッセ曲線）に関連する不変量へとこの枠組みを拡張する必要がある。本研究以前には、これらの特定の形式に対するこのようなモジュラー多項式の存在は、文献において厳密に証明されておらず、また、モジュラー形式の理論に依存しない純粋に代数的な構成手法も確立されていなかった。

手法
著者らは、高レベルの不変量のモジュラー多項式を構成するための、純粋に代数的なアプローチを提案している。その手法は、以下のコア概念に基づいている。

1. 不変量と「良質なモデル（Good Model）」: 著者らは、「レベル $\Gamma$ の不変量」を、強化された楕楽曲線の同型類からの $\mathbb{C}$ への単射であり、かつ不変量と $j$ 不変量を関連付ける有理関数を伴うものとして定義する。極めて重要な点として、彼らは「良質なモデル」という概念を導入しており、これは以下のための明示的な公式の存在を要求する：

   • スカラー倍 ($[m]P$)。
   • 分割多項式（$m$ 次の点の特定）。
   • イソジェニー公式（ソース曲線とカーネル生成器からターゲット曲線の不変量を計算すること）。
     これらの公式は、完全性を保証するために、特定の環（例：$\mathbb{Z}[X]$ または $\mathbb{Z}[1/m][X]$）の係数を持つ必要がある。

2. 変形理論による存在証明: 不変量 $\alpha$ に対するモジュラー多項式 $\Phi^\alpha_m(X, Y)$ の存在を証明するために、著者らは変形理論（具体的には Kunzweiler–Robert フレームワーク）を利用する。彼らは、有理関数体上の分割多項式の最小分解体を考える。分割多項式の根（巡回部分群に対応する）に対するガロア群の作用を分析することにより、イソジェニーによって結ばれたターゲット曲線の不変量を根とする多項式を構成する。

3. アルゴリズム的構成: 著者らは、古典的なモジュラー多項式を計算するための Kunzweiler–Robert アルゴリズムを適応させている。このアルゴリズムは有限体 $\mathbb{F}_{p^2}$ 上で動作し、中国剰余定理 (CRT) を用いて結果を $\mathbb{Z}[X, Y]$ へと持ち上げる（リフトする）。

   • イソジェニー計算を効率的に行うことが可能な複素乗法特性を持つ素数 $p$ を選択する。
   • 曲線および不変量をアルティン環 $R = \mathbb{F}_{p^2}[\epsilon]/(\epsilon^{\ell+2})$ 上で変形させる。
   • イソジェニーを計算し、ニュートン反復（ヘンゼルの持ち上げ）を用いてターゲットの不変量 $\alpha(E', P')$ を持ち上げる。これにより、持ち上げられた不変量がモデルの定義される有理関数を満たすことを保証する。

主な貢献

• 存在性と性質: 著者らは、「良質なモデル」（特定の完全性と公式の条件を満たすもの）を持つ任意の不変量 $\alpha$ に対して、モジュラー多項式 $\Phi^\alpha_m(X, Y)$ が存在し、整数係数を持ち、$Y$ に関して次数 $\psi(m)$ の単項多項式であることを証明した。
• 対称性と既約性:
  • $m > 1$ かつレベルが $\Gamma_0(N)$ であるか、あるいは $m \equiv \pm 1 \pmod N$ である場合、多項式は対称的 ($\Phi^\alpha_m(X, Y) = \Phi^\alpha_m(Y, X)$) であることが示される。
  • 不変量が「計算可能」（$j$ 不変量とレベル構造の座標の有理関数として表現可能であり、特定の曲線に依存しないもの）であれば、その多項式は $\mathbb{C}(X)$ 上で既約である。
• 具体的な例: 著者らは、モンゴメリー曲線（レベル $\Gamma_0(4)$）の係数 $A$ およびヘッセ曲線（レベル $\Gamma(3)$）の係数 $d$ が「良質なモデル」の条件を満たすことを示している。その結果、これらの係数のモジュラー多項式が存在し、述べられた性質を持つことが示された。
• 合同特性: 論文は、これらの多項式の係数に関する合同条件を確立している。モンゴメリー曲線の場合は、$i+j \equiv 0 \pmod 2$ でない限り $X^i Y^j$ の係数はゼロとなる。ヘッセ曲線の場合は、$m \pmod 3$ に基づいて同様のモジュラー制約が適用される。
• アルゴリズムの実装: 著者らは、古典的なモジュラー多項式の最善のアルゴリズムと同等の効率を持つ、$\tilde{O}(\ell^3 \log^3 \ell \log \log \ell)$ ビット演算の複雑さを持つアルゴリズムを提供している。

結果

• 著者らは、SageMath でアルゴリズムを実装し、すべての素数 $\ell < 150$ に対してモンゴメリー曲線およびヘッセ曲線のモジュラー多項式を計算した。
• 実験結果により、計算された多項式が有限体上でイソジェニー条件を満たすことが確認された。
• 実験により、係数の対称性および特定の合同特性が検証された。
• 計算された多項式の対数高さは、一般に古典的なケースに関連する予想された境界に従ったが、ヘッセ曲線の小さな素数において軽微な例外が見られた。
• 不変量の像の外側における点の評価に関連する置換 $\sigma$ の研究により、モンゴメリー曲線の場合は $\sigma$ は恒等写像であるが、ヘッセ曲線の場合は非自明な置換であることが示された。

意義と主張
著者らは、自らの主要な貢献は、モジュラー形式の理論に依存しない、純粋に代数的な、高レベルのモジュラー多項式を構成するためのもう一つのアプローチを提供することであると明言している。彼らは、例として挙げたもの（モンゴメリー／ヘッセの係数）がモジュラー関数ではないと主張しているのではない。むしろ、彼らの代数的な手法は、モジュラー形式の理論の適用が困難であったり、スカラー倍やイソジェニーの明示的な公式は既知であるもののそのモジュラー性が即座には明らかでないような、他の形式の楕円曲線のモジュラー多項式を構成するための、明確で有用な経路を提供することを主張している。

本論文は、これらの特定の曲線形式に対するモジュラー多項式の存在が、これまで文献において証明されていなかったことを強調している。「良質なモデル」の基準を確立することにより、著者らは、より広範なクラスの楕円曲線モデルに対して、モジュラー多項式の存在と整列性を検証するための一般的な枠組みを提供している。