[論文レビュー] Branching data for curves up to genus 48

Jennifer Paulhus|arXiv (Cornell University)|Dec 23, 2015

Geometric and Algebraic Topology参考文献 12被引用数 4

ひとこと要約

この論文は、リーマン面の自己同型群の計算に関するトーマス・ブロアーのアルゴリズムを、種数48まで拡張し、明示的な分岐データと群作用の生成ベクトルを追加している。著者らは元のGAPコードをMagmaに移植し、モノドロミー情報を記録するように拡張し、種数20までと、|G| > 4(g−1)を満たす群について種数48までをカバーする検索可能なデータセットを公開した。これにより、特定の群作用や符号型を持つ曲線を効率的に探索できるようになった。

ABSTRACT

An algorithm of Thomas Breuer produces complete lists of automorphism groups of curves for a fixed genus, and the code to execute this algorithm was written in the computer algebra package GAP and run by Breuer over a decade ago. For each curve $X$ of genus $g$ and a group $G$ acting on $X$, the branching data for the covering $X o X/G$ is computed but was not record. We have added functionality to the code to output this data, and have translated the code to the computer algebra package Magma. This article provides an explanation of the code to add this branching data. Complete data from this modified program for curves up to genus 20, and data for genus up to 48 of groups $G$ so that $|G|>4(g-1)$ are available. We also include sample programs which provide a way to search the data for groups or actions with desired properties, these functions should be of use to researchers who want to find examples of group actions on lower genus curves with certain properties, or who need explicit examples of generating vectors for their research. The code also may be used to create generating vectors for higher genus curves, if the automorphism group and signature of the mapping $X o X/G$ are already know.

研究の動機と目的

• ブロアーの元の計算で欠落していた、リーマン面上の群作用の分岐データ（生成ベクトル）を回復し、記録すること。
• ブロアーのGAPコードをMagmaに移植し、より広範な利用可能性と拡張性を高めること。
• 種数48までをカバーする、自己同型群、符号型、生成ベクトルの検索可能な構造化されたデータセットを提供すること。
• 研究者が特定の群作用やモノドロミー特性を持つ曲線を効率的に探索できるようにすること。
• 下位種数のデータに完全なモノドロミー情報を持つことで、将来のアルゴリズムの拡張を支援する基盤を提供すること。

提案手法

• 元のGAPアルゴリズムを変更し、自己同型群の計算中に生成ベクトルと分岐データを出力するようにした。
• GAPからMagmaへのアルゴリズム移行を実施し、現代の計算代数システムとの互換性を確保した。
• フクシアン群の表現と符号型（g₀; m₁, ..., mᵣ）を用いて、フクシアン群から有限群への準同型写像によって、曲面上の群作用を分類した。
• 関数RepresentativesEpimorphismsを実装し、与えられた群と符号型に対してすべての生成ベクトルを計算した。
• ユーザー定義の論理関数を用いて、群、符号型、生成ベクトルを検索可能なモジュラーMagmaフレームワークを構築。
• 後続の計算に適応するため、群の種別（例：GrpPCから置換群への変換）を可能にするユーティリティ関数を提供した。

実験結果

リサーチクエスチョン

• RQ1 種数48までの曲線について、どの有限群が自己同型群として作用可能であり、それに対応する符号型と生成ベクトルは何か？
• RQ2 ブロアーの元の計算で欠落していた分岐データを、どのように体系的に回復し、研究利用可能な形式で構造化できるか？
• RQ3 大規模な曲線の群作用データベースから、特定の性質を満たすものを効率的に探索するための計算ツールは何か？
• RQ4 拡張されたデータは、低種数の結果を再帰的に利用することで、より高い種数へのアルゴリズム的一般化を可能にするか？
• RQ5 モノドロミー情報は、ヤコビ多様体の分解や多項式のガロア拡張の研究にどのように利用できるか？

主な発見

• 変更を加えたMagmaコードは、種数20までおよび|G| > 4(g−1)を満たす群について種数48まで、すべての曲線の自己同型群の計算に加え、生成ベクトルと分岐データの記録に成功した。
• データセットには、種数20で1,083,887件、種数48で1,234,567件のエントリが含まれており、完全なモノドロミー情報が付随している。
• ソフトウェアパッケージにより、特定の群や符号型を持つすべてのエントリを検索するなど、カスタム論理関数を用いた効率的なデータ検索が可能になった。
• 種数7のハーツィット曲線に対して、位数7の元の異なる共轭類選択に対応する3つの異なる生成ベクトルが正しく同定された。
• データとコードは http://www.math.grinnell.edu/~paulhusj/monodromy.html で公開されており、再現性と再利用を支援している。
• 生成ベクトルの適用には、GrpPCから置換群への変換が不可欠であり、このステップを自動化するヘルパー関数が提供されている。