[論文レビュー] The automorphism group of the singular K3 surface of discriminant 7

Ujikawa Masashi|arXiv (Cornell University)|Jul 16, 2013

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

ひとこと要約

本稿では、判別式 7 の特異 K3 表面の自己同型群の完全な生成系を、$A_7$、$D_7$、$E_7$ 型の楕円曲線ファイブレーションに関連する反転対合と ${\rm PGL}_2(7)$ を用いて構成する。主な結果は、これらの生成系が分裂拡大をなしており、Néron–Severi 格子を $II_{1,25}$ 格子に埋め込んだ幾何的構造と Conway の基本領域を用いて、自己同型群を完全に記述できることである。

ABSTRACT

We give a system of generators of the automorphism group of the singular $K3$ surface of discriminant 7. This system of generators consists of the inversion involutions of some elliptic fibrations with a section together with ${ m PGL}_2(7)$.

研究の動機と目的

• 判別式 7 の特異 K3 表面の自己同型群の完全な生成系を特定すること。これは 3 と 4 の次に小さいものである。
• 判別式 3 と 4 の場合に用いられた手法を、格子埋め込みと反射群を用いて、より高い判別式のケースに拡張すること。
• 自己同型群を、具体的に幾何的に意味のある変換の有限集合を用いて記述すること。特に、楕円曲線ファイブレーションの反転対合と有限群作用を含む。
• 自己同型群が、反転対合によって生成される正規部分群を法として ${\rm PGL}_2(7)$ に分裂拡大することを確立すること。

提案手法

• 判別式 7 の特異 K3 表面の Néron–Severi 格子 $S_X$ を、$A_6$ ルート格子の直交補空間として、偶標数の単型格子 $II_{1,25}$ に埋め込む。
• II_{1,25} の反射群の Conway の基本領域 $D$ を用いる。$D$ の面は、Leech 格子のベクトルに対応する。
• $D$ を $S_X \otimes \mathbb{R}$ に制限し、有限個の面を持つ多面体錐 $D'$ を得る。この $D'$ は、正則錐 $D(S_X)$ の内部にある。
• $D'$ の面を、ルート系 $A_6 \oplus A_1$、$A_7$、$D_7$、$E_7$ に同定する。それぞれが K3 表面の幾何的構造に対応する。
• 各面のタイプ（$R = A_7, D_7, E_7$）に対して、反転対合 $\iota_R$ を構成する。これらは正則錐を保存する対称性として作用する。
• これらの対合と ${\rm PGL}_2(7)$ によって生成される群が、正則錐の自己同型群として、したがって K3 表面の自己同型群として全群をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 判別式 7 の特異 K3 表面の自己同型群の完全な生成系は何か？
• RQ2 自己同型群は、楕円曲線ファイブレーションやルート系といった幾何的構造を用いてどのように記述できるか？
• RQ3 自己同型群は、${\rm PGL}_2(7)$ と反転対合を含む分裂拡大として実現可能か？
• RQ4 制限された Conway の基本領域 $D'$ の面は、K3 表面の幾何的特徴とどの程度対応するか？
• RQ5 反転対合と ${\rm PGL}_2(7)$ によって生成される群は、表面の自己同型群を完全に生成できるか？

主な発見

• 判別式 7 の特異 K3 表面の自己同型群は、$A_7$、$D_7$、$E_7$ 型の楕円曲線ファイブレーションに関連する反転対合と ${\rm PGL}_2(7)$ によって生成される。
• Conway の基本領域 $D$ を $S_X \otimes \mathbb{R}$ に制限すると、有限個の面を持つ多面体錐 $D'$ が得られ、これにより自己同型群の明示的計算が可能になる。
• $D'$ の面は、ルート系 $A_6 \oplus A_1$、$A_7$、$D_7$、$E_7$ に対応し、それぞれが K3 表面の幾何的構造に対応する。
• 反転対合 $\iota_R$（$R = A_7, D_7, E_7$）は正則錐上で対称性をなし、格子構造を保存する。
• 自己同型群は、反転対合によって生成される正規部分群を法として ${\rm PGL}_2(7)$ に分裂拡大する。
• 証明により、任意の表面の自己同型は、生成群の元と合成することで、正則錐 $D(S_X)$ の自己同型群に属することを示し、完全性が確認される。