[論文レビュー] Automorphisms of numerical Godeaux surfaces with torsion of order 3, 4, or 5

Stefano Maggiolo|arXiv (Cornell University)|Feb 18, 2010

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

ひとこと要約

本稿は、3、4、または5次のねじれを持つ数値Godeaux表面の自己同型群を、そのモジュライ空間の明示的層化に基づいて計算する。5次ねじれを持つ場合のモジュライスタックが商スタックであることを証明し、3つの商スタックのインertiaスタックを完全に記述することで、これらの表面のすべての層について自己同型群の完全分類を提供する。

ABSTRACT

We compute the automorphisms groups of all numerical Godeaux surfaces, i.e. minimal smooth surfaces of general type with K^2 = 1 and p_g = 0, with torsion of the Picard group of order νequals 3, 4, or 5. We present explicit stratifications of the moduli spaces whose strata correspond to different automorphisms groups. Using the automorphisms computation, for each value of νwe define a quotient stack, and prove that for ν= 5 this is indeed the moduli stack of numerical Godeaux surfaces with torsion of order 5. Finally, we describe the inertia stacks of the three quotient stacks.

研究の動機と目的

• 3、4、または5次のねじれを持つ数値Godeaux表面の自己同型群を分類すること。
• そのような表面のモジュライ空間を、自己同型群の型に応じて層化すること。
• 5次ねじれを持つ数値Godeaux表面のモジュライスタックが、自己同型データから構成された商スタックであることを証明すること。
• 自己同型計算から生じる3つの商スタックのインertiaスタックを計算すること。

提案手法

• 大規模なねじれ群を持つ数値Godeaux表面のモジュライ空間をリードが構成した方法を用いる。
• ねじれ群に付随する普遍的ガロア被覆を用いて、表面の正則環とその被覆の正則環を関連付ける。
• 特に $\operatorname{PGL}(8)$ における射影線形群の作用に基づく計算戦略を用い、自己同型群を特定する。
• GAPを介して実装されたカスタムコンピュータプログラムを用い、すべての層にわたる自己同型群を計算する。
• 群パラメータで添字付けられた置換行列と対角行列を用いて、自己同型の明示的行列表現を提示する。
• 自己同型データから商スタックを構成し、固定点解析を用いてそのインertiaスタックを計算する。

実験結果

リサーチクエスチョン

• RQ1 3、4、または5次のねじれを持つ数値Godeaux表面の自己同型群は何か？
• RQ2 このような表面のモジュライ空間は、自己同型群の型に応じてどのように層化できるか？
• RQ3 5次ねじれを持つ数値Godeaux表面のモジュライスタックは、商スタックと同型であるか？
• RQ4 自己同型計算から生じる3つの商スタックのそれぞれについて、インertiaスタックの構造は何か？
• RQ5 自己同型群は、特に剛性と非自明な対称性の関係において、異なる層でどのように変化するか？

主な発見

• 5次ねじれの場合、数値Godeaux表面のモジュライスタックが、自己同型データから明示的に構成された商スタックであることが証明された。
• 成分 $(P, (0,0,0,h))$ の特別点 $O$ の自己同型群は $D_{10}$ に同型であり、一般点 $P$ と一致する。
• 4次ねじれの場合、自己同型群は自明群から $D_8$ まで変動し、$S_7$ の自己同型群は $\mathbb{Z}_4$ である。
• 5次ねじれのモジュライスタックのインertiaスタックには、自己同型群 $D_{10}$、$\mathbb{Z}_5$、$\mathbb{Z}_5^2$ を持つ成分が含まれており、これが完全なオーロラ構造を反映している。
• 4次ねじれの場合、インertiaスタックには自己同型群 $D_8$、$\mathbb{Z}_2^2$、$\mathbb{Z}_4$ を持つ成分が含まれており、$S_7$ のみが非アーベル自己同型群を持つ。
• 3次ねじれを持つ表面は剛性を示し、非自明な自己同型をもたない。これは、低次のねじれが剛性をもたらす一般的パターンと整合する。