[論文レビュー] Explicit CM-theory in dimension 2

Reinier Bröker, David Gruenewald+1 more|arXiv (Cornell University)|Oct 9, 2009

Algebraic Geometry and Number Theory参考文献 23被引用数 4

ひとこと要約

本稿は、四次体でCMをもつ複素アーベル曲面のイグザ不変量j1, j2, j3に対する反射体の類群のガロア作用を明示的に記述する。シーゲルモジュラー多様体間の幾何的写像を用いて、小ノルムのイデアルに対してこの作用の明示的計算を可能とし、イグザ類多項式を計算するCRT法の改善と、同種曲線ボルケーノアルゴリズムをアーベル曲面へ一般化する際の構造的制限を明らかにする。

ABSTRACT

Abstract. For a complex abelian surface A with endomorphism ring isomorphic to the maximal order in a quartic CM-field K, the Igusa invariants j1(A), j2(A), j3(A) generate an abelian extension of the reflex field of K. In this paper we give an explicit description of the Galois action of the class group of this reflex field on j1(A), j2(A), j3(A). We give a geometric description which can be expressed by maps between various Siegel modular varieties. We can explicitly compute this action for ideals of small norm, and this allows us to improve the CRT method for computing Igusa class polynomials. Furthermore, we find cycles in isogeny graphs for abelian surfaces, thereby implying that the ‘isogeny volcano ’ algorithm to compute endomorphism rings of ordinary elliptic curves over finite fields does not have a straightforward generalization to computing endomorphism rings of abelian surfaces over finite fields. 1.

研究の動機と目的

• 四次体でCMをもつアーベル曲面のイグザ不変量j1, j2, j3に対する反射体の類群のガロア作用を明示的に記述すること。
• シーゲルモジュラー多様体間の写像を用いた幾何的枠組みを構築し、このガロア作用をモデル化すること。
• 小ノルムのイデアルに対してガロア作用の明示的計算を可能とすること。
• この明示的作用を用いて、イグザ類多項式を計算するCRT法を改善すること。
• 有限体上のアーベル曲面の自己準同型環計算への同種曲線ボルケーノアルゴリズムの一般化における構造的障害を調査すること。

提案手法

• 本稿は、シーゲルモジュラー多様体間の幾何的写像を用いて、イグザ不変量j1, j2, j3へのガロア作用を記述する。
• モジュラーパラメトライゼーションを介して、反射体の類群のイグザ不変量への明示的作用を構成する。
• この手法は、CMアーベル曲面、その関連する反射体および類群の理論に依拠する。
• 小ノルムのイデアルに対して明示的計算を実施し、ガロア作用の具体化を達成する。
• 類体論とシーゲルモジュラー多様体の幾何を統合することで、アルゴリズムの改善を導出する。
• この枠組みを応用し、イグザ類多項式を計算するCRT法の改善を実現する。

実験結果

リサーチクエスチョン

• RQ1 次元2のCMアーベル曲面に対して、反射体の類群がイグザ不変量j1, j2, j3に作用するガロア作用をどのように明示的に記述できるか。
• RQ2 シーゲルモジュラー多様体間の写像の幾何的構造を用いて、このガロア作用をモデル化・計算可能か。
• RQ3 明示的ガロア作用は、イグザ類多項式を計算するCRT法をどの程度改善できるか。
• RQ4 アーベル曲面の同種グラフに現れる構造的特徴は、同種曲線ボルケーノアルゴリズムを一般化するのを妨げるか。
• RQ5 アーベル曲面の同種グラフに現れる巡回構造は、自己準同型環をボルケーノ型アルゴリズムで計算する際に根本的な障害を示唆するか。

主な発見

• 反射体の類群がイグザ不変量j1, j2, j3に作用するガロア作用は、シーゲルモジュラー多様体間の幾何的写像を用いて明示的に記述された。
• 本手法により、小ノルムのイデアルに対してガロア作用の明示的計算が可能となり、具体的なアルゴリズム的ツールが得られた。
• ガロア作用の理解が深まったことで、イグザ類多項式を計算するCRT法の実装がより効率的になった。
• 本稿は、アーベル曲面の同種グラフに巡回構造が存在することを特定し、同種曲線ボルケーノアルゴリズムの直接的一般化を妨げる要因を明らかにした。
• これらの巡回構造は、通常の楕円曲線に適用可能な同種曲線ボルケーノアプローチが、有限体上のアーベル曲面の自己準同型環計算に直接拡張できないことを示唆する。
• 本研究は、次元2における明示的類体論の基盤を確立し、暗号理論およびアルゴリズム的数論への応用を示した。