[論文レビュー] The locus of curves with prescribed automorphism group

Kay Magaard, Tony Shaska+2 more|arXiv (Cornell University)|May 30, 2002

Algebraic Geometry and Number Theory参考文献 14被引用数 81

ひとこと要約

この論文は、生成系とハリッツ空間に基づく群論的手法を用いて、$g \leq 10$ の曲線の自己同型群が指定された場合の分岐点の分類を実施し、特に「大きな」群に注目している。genus 3 について完全な分類を提供し、明示的な方程式を含む。次に、バーゲン群作用と GAP パッケージ BRAID を用いて、これらの分岐点の次元と成分数を計算している。

ABSTRACT

Let G be a finite group, and $g \geq 2$. We study the locus of genus g curves that admit a G-action of given type, and inclusions between such loci. We use this to study the locus of genus g curves with prescribed automorphism group G. We completely classify these loci for g=3 (including equations for the corresponding curves), and for $g \leq 10$ we classify those loci corresponding to "large" G.

研究の動機と目的

• genus $g$ の曲線の指定された自己同型群に対応する分岐点を分類すること、特に $g \leq 10$ において、自己同型構造が顕著な「大きな」群に注目すること。
• genus 3 の曲線の自己同型群について、完全かつ体系的な分類を提供し、すべての曲線に対して明示的な方程式を提示すること。
• 与えられた自己同型群に対応するモジュライ分岐点の次元と、既約成分の数を特定すること。
• シグネチャと次元の比較を用いて、有限群が genus $g$ の曲線の全自己同型群として現れる可能性があるかを同定する基準を構築すること。
• ブレーガーの $\leq 48$ の genus の曲線に作用する群の分類データを応用し、結果を genus 10 まで拡張すること。

提案手法

• 曲線に忠実な $G$-作用と、$G$ の genus $g$ 生成系との間の同値性を用い、問題を群論的データに還元する。
• 被覆空間論とリーマン・ハリッツの公式を適用し、群作用と分岐シグネチャ、モジュライ空間の次元を関連付ける。
• 与えられたシグネチャ $\mathbf{c}$ に対して、$G$-作用を持つ曲線をパラメトライズするハリッツ分岐点 $\mathcal{L}(g,G,\mathbf{c})$ の概念を用い、このような分岐点の包含関係を研究する。
• 次元が等しい分岐点のペアを特定することで、部分群作用がより大きな群作用に拡張されない条件を同定し、全自己同型群の基準を導く。
• GAP の BRAID パッケージを用いて、生成系上のバーゲン群作用の軌道を計算し、商が genus 0 の場合に分岐点の成分に対応させる。
• 自己同型群が大きな曲線は常に商が genus 0 であるため、バーゲン群作用を用いて成分数を計算可能であることを活用する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が $g \leq 10$ の曲線の全自己同型群として現れる可能性があるか？
• RQ2 与えられた自己同型群 $G$ に対応するモジュライ分岐点の次元と、既約成分の数は何か？
• RQ3 指定された自己同型群を持つ genus 3 の曲線に対して、体系的に方程式を計算する方法は何か？
• RQ4 群論的条件下で、曲線上の部分群作用が、与えられたシグネチャのより大きな群作用に拡張可能となる条件は何か？
• RQ5 genus $g \leq 10$ の曲線に作用する群の中で、「大きな」群とは、ハリッツの上限に対して相対的に多くの自己同型を持つ群を指すが、そのような群は何か？

主な発見

• この論文は、genus 3 の曲線の自己同型群について完全な分類を提供し、すべての曲線に対して明示的な方程式を提示しており、文献に散在し、しばしば誤りを含む結果を解消している。
• genus $g \leq 10$ において、すべての「大きな」自己同型群に対応する分岐点を分類しており、表 4 には、各分岐点のグループ ID、シグネチャ、次元、成分数を示している。
• 与えられた $G$-作用に対応するモジュライ分岐点の成分数は、バーゲン群作用による生成系上の軌道によって決定され、GAP の BRAID パッケージを用いて計算されている。
• 全自己同型群が $G$ である分岐点は、有限個の成分から成り、$G$ が大きな群である場合、それぞれのケースについて正確な成分数と次元が与えられている。
• 分岐点 $\mathcal{L} \subset \mathcal{L}'$ で $\dim \mathcal{L} = \dim \mathcal{L}'$ となる包含関係は、$\dim \mathcal{L} \leq 3$ の場合にのみ発生することが判明し、これは全群基準において重要である。
• 表 5 は、可約なハリッツ分岐点を特定しており、一部の群（例：genus 7 における (54,6)、genus 9 における (48,48)）は複数の成分をもたらし、具体的な成分ペアがリストアップされている。