[論文レビュー] The $p$-adic CM-method for genus 2

Pierrick Gaudry, Thomas Houtmann+3 more|ArXiv.org|Mar 8, 2005

advanced mathematical theories参考文献 20被引用数 8

ひとこと要約

本稿では、有限体上の genus 2 の超楕円曲線を構成するための $p$-進複素乗法（CM）手法を提示する。この手法は、算術幾何平均（AGM）の $2$-進一般化を用いて、類多項式を計算する。この方法により、四次 CM 領域による複素乗法を持つ曲線の不変量を効率的に計算可能となり、$p$-進精度とモジュラー整合性のチェックにより検証される。

ABSTRACT

We present a nonarchimedian method to construct hyperelliptic CM-curves of genus 2.

研究の動機と目的

• 有限体上での genus 2 超楕円曲線を複素乗法で構成する非アルキメデス的 $p$-進アルゴリズムの開発を目的とする。
• 浮動小数点手法の限界を克服し、$2$-進精度と正規化された持ち上げを用いることで、genus 2 曲線の類多項式を計算する。
• 楕円曲線の CM 手法を $2$-進 AGM と $p$-進 $LLL$ 減少を用いて、genus 2 アーベル多様体へ一般化する。
• 既知の CM 曲線との整合性チェックとモジュラー還元により、計算された類多項式の正しさを検証する。
• 四次 CM 領域における自己準同型環が最大となる曲線の不変量を効率的に計算可能にする。

提案手法

• 普通の genus 2 曲線を $\mathbb{F}_{2^d}$ 上で正規化された持ち上げを計算するために、$2$-進 AGM 迴帰を用い、$2$-同種写像と再帰的リッケルト公式を利用する。
• $p$-進精度を用いて、正規化された持ち上げの $j$-不変量を高精度に計算し、最小多項式の再構成を可能にする。
• $p$-進 $LLL$ アルゴリズムを用いて、高精度 $p$-進近似から整数係数の類多項式を回復する。
• CM 領域と反映体の理論を用いて、自己準同型環が与えられた整数環 $\mathcal{O}_K$ に同型となるような曲線のターゲット類多項式を定義する。
• 小さな素数で還元し、多項式が完全に分解し、期待される CM 型を持つ曲線を生成することを確認することで、結果を検証する。
• モジュラー還元から得たイグサ不変量を用いて、メスツのアルゴリズムを活用し、曲線の方程式を再構成する。

実験結果

リサーチクエスチョン

• RQ1 $2$-進算術と正規化された持ち上げを用いて、genus 1 から genus 2 曲線への $p$-進 CM 手法を拡張可能か？
• RQ2 どのように $2$-進 AGM を変更することで、複素乗法を持つ超楕円曲線の不変量を計算できるか？
• RQ3 $p$-進近似から整数類多項式を信頼性高く回復するための精度とアルゴリズム的技術は何か？
• RQ4 事前に係数の境界が分からない状況で、計算された類多項式の正しさをどのように検証できるか？
• RQ5 genus 2 の $p$-進 CM 手法における計算上のボトル neck は何か？また、効率性を高めるために、格子の次元をどのように低減できるか？

主な発見

• $p$-進 CM 手法は精度に比例する線形計算量を達成し、従来のテータ定数法の二次的計算量を上回る。
• 四次 CM 領域、例えば $\mathbb{Q}(i\sqrt{23+4\sqrt{5}})$ に対し、$\mathbb{F}_{2^7}$ 上で類数 6496 の類多項式を正常に計算できた。
• 計算された類多項式の先頭係数は非常に滑らかであり、これは正しさを示唆する。ランダムな整数ではこのような滑らかさはまれである。
• $p=47653$ でのモジュラー還元により、多項式が完全に分解し、期待される CM 型を持つ曲線が得られたことが確認された。
• $p$-進 $LLL$ ステップは格子の次元に依存するため、曲線の列挙（例：次数 2 にまで）により次元を低減することで、著しく効率が向上する。
• 小規模な $\mathbb{F}_2$ の拡張（例：$d \leq 10$）に対して、このアルゴリズムは効率的であり、類数が大きくなる（例：$d=7$ のとき 6496）ため、実用的な CM 曲線の構成が可能である。