[論文レビュー] An explicit version of Shimura's reciprocity law for Siegel modular functions

Marco Streng|arXiv (Cornell University)|Dec 29, 2011

Advanced Algebra and Geometry参考文献 31被引用数 7

ひとこと要約

本稿は、シーゲルモジュラー関数に対する志村の再帰法則の明示的表現を提示し、4次CM体の類不変量の体系的計算を可能にする。ガロア作用をレベルNのシーゲルモジュラー関数における整数イデアル作用とモジュラー変換で表現することで、既存のイグザの不変量よりも著しく小さい、これまでに知られていなかった4次CM体の類不変量を構成した。特に、主要な多項式の係数サイズを40%削減した。

ABSTRACT

We give an explicit version of Shimura's reciprocity law for singular values of Siegel modular functions. We use this to construct the first examples of class invariants of quartic CM fields that are smaller than Igusa invariants. Our statement also enables a new proof of Shimura's reciprocity law by Tonghai Yang.

研究の動機と目的

• 高次元クラス体論のための、志村の再帰法則の明示的かつ計算的に有効な表現の開発。
• イグザの不変量よりも高さが小さい、4次CM体の類不変量の構成により、明示的クラス体論および暗号理論における効率性の向上。
• イデアル作用およびリーマン類群作用を用いた、シーゲルモジュラー関数の特異値におけるガロア作用の実用的フレームワークの提供。
• CM法におけるより小さな不変量を用いることで、アーベル多様体および超楕円曲線のヤコビアンの計算を高速化すること。
• 志村の再帰法則の新しい証明を提示し、シュエルツの類不変量をより高い genus に一般化すること。

提案手法

• 本稿は、アデール群の代わりにイデアルおよびリーマン類群を用いて志村の再帰法則を定式化し、明示的計算を可能にした。
• 群 $ U \in \mathrm{GSp}_{2g}(\mathbb{Z}/N\mathbb{Z}) $ が、$ f \in \mathcal{F}_N $ であるシーゲルモジュラー関数に作用するように定義し、$ f(\tau)^{[\mathfrak{a}]} $ を $ f^U(\tau') $ に変換可能とした。
• 変換後の点 $ \tau' $ は基本領域内に位置するように構成され、$ f^U(\tau') $ の数値評価が効率的に行えるようにした。
• theta定数を用いてモジュラー関数を明示的に表現することで、SageMathにおける実装（PARI統合を含む）を容易にした。
• 類不変量が実数であるための十分条件（命題2.13）を導入し、計算効率を向上させた。
• 補間法およびグレブナー基底技術を用いて、類不変量の最小多項式およびイグザ不変量との関係を計算可能とした。

実験結果

リサーチクエスチョン

• RQ1 志村の再帰法則を、高次元CM体の計算に有効な明示的表現にできるか？
• RQ2 明示的再帰法則を用いて、4次CM体のイグザ不変量よりも小さい類不変量を構成できるか？
• RQ3 類不変量が実数であるための条件は何か？これにより計算複雑性がどのように軽減されるか？
• RQ4 明示的再帰法則をどのように活用して、有限体上でのアーベル多様体のCM法による構成を高速化できるか？
• RQ5 明示的再帰法則を用いて、シュエルツの類不変量をより高い genus に一般化できるか？

主な発見

• 本稿は、4次CM体の類不変量として、イグザ不変量よりも小さい、これまでに知られていなかった初の例を構成した。特に、主要な多項式における最大係数のサイズが40%削減された。
• 明示的再帰法則により、アデール近似に代わってイデアル作用とモジュラー変換を用いて $ f(\tau)^\sigma $ の計算が効率的に行えるようになった。
• 類不変量が実数であるための十分条件（命題2.13）が提供され、数値評価が簡素化され、精度要件も低減された。
• CM法においてイグザ不変量の代わりにより小さな不変量を用いることで、有限体上での超楕円曲線のヤコビアンの計算が高速化された。
• 著者らはアルゴリズムをSageMathに実装し、公開した。これにより再現可能かつスケーラブルな計算が可能になった。
• 明示的再帰法則は、トンハイ・ヤンによる志村の再帰法則の新しい証明を可能にし、理論的堅牢性を示した。