[論文レビュー] Automorphisms of K3 surfaces

D. Q. Zhang|arXiv (Cornell University)|Jun 30, 2005

Algebraic Geometry and Number Theory参考文献 33被引用数 11

ひとこと要約

本稿では、ベクトルバンドルに対するLefschetz固定点公式を用いた、${\mathbb{Z}}/(60)$が任意の$K3$表面に純粋非シンプレクティックに作用できないことの新しい短い証明を提示する。これは、純粋非シンプレクティックの場合における長年の障害を解消し、正規被覆と対応する対数Enriques表面を介してこれらの作用を結びつけることで、$K3$表面の自己同型群の分類を進める。また、最大シンプレクティック群に関する結果を拡張する。

ABSTRACT

In this note, we report some progress we made recently on the automorphisms groups of K3 surfaces. A short and straightforward proof of the impossibility of Z/(60) acting purely non-symplectically on a K3 surface, is also given, by using Lefschetz fixed point formula for vector bundles.

研究の動機と目的

• 自己同型群の拡張問題を、シンプレクティック作用と非シンプレクティック作用の相互作用を分析することで解消すること。
• 任意の$K3$表面に純粋非シンプレクティックな$\mathbb{Z}/(60)$作用が存在しないことの短く、自己完結的な証明を提供すること。
• 正規被覆と特異点型を介して、純粋非シンプレクティック作用と対数Enriques表面との関係を強化すること。
• $K3$自己同型群に関する最近の進展（特にシンプレクティックおよび混合型作用）を要約し、未解決問題を強調すること。

提案手法

• 60位の群の元が$K3$表面のコホロロジーに作用するのを分析するために、ベクトルバンドルに対するLefschetz固定点公式を適用する。
• ホッジ分解$H^2(X,\mathbb{C}) = \mathbb{C}\omega_X \oplus H^{1,1}(X) \oplus \mathbb{C}\overline{\omega_X}$を用いて、正則2形式への作用を研究する。
• 写像$\alpha: G \to \mathbb{C}^*$を$g^*\omega_X = \alpha(g)\omega_X$で定義し、正確な列$1 \to G_N \to G \to \mu_I \to 1$を得る。ここで$G_N$はシンプレクティックで、$\mu_I$は位数$I$の巡回群である。
• NikulinおよびSterkの結果を用いて、$\operatorname{Im}(\alpha)$が有限巡回群$\mu_I$であることを示す。
• 対数Enriques表面$Y$に対して、正規被覆$X \to Y$の構成を用いる。ここで$X$は純粋非シンプレクティックな$\mu_I$作用を持つ$K3$表面であり、$Y$の指数は$I$である。
• 既知の最大シンプレクティック$K3$群（例：Mukai、Kondo）の分類結果とその部分群を用いて、存在しないことの結果を文脈づける。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{Z}/(60)$は$K3$表面に純粋非シンプレクティックに作用可能か？もし不可能ならば、その理由は何か？
• RQ2 有限群$G$が与えられたシンプレクティック部分群$H$と巡回商$\mu_I$を持つ$K3$表面に作用するための必要十分条件は何か？
• RQ3 対数Enriques表面$Y$の正規被覆$X$の特異点は、純粋非シンプレクティック作用の固定点集合のDynkin型とどのように関係するか？
• RQ4 対数Enriques表面$Y$の最大可能インデックス$I(Y)$は何か？また、$I=19,17,13$のとき、どのDynkin型が現れるか？

主な発見

• $\mathbb{Z}/(60)$は、ベクトルバンドルに対するLefschetz固定点公式を用いた新しい証明により、任意の$K3$表面に純粋非シンプレクティックに作用できないことが示された。
• $I=19,17,13$のとき、最大性条件を満たすインデックス$I$の有理対数Enriques表面$Y$は（同型を除いて）一意に存在し、$Y \cong X_I / \langle g_I \rangle$または$\overline{X}_{13}/\langle g_{13}\rangle$と同型である。
• 対数Enriques表面$Y$の正規被覆$X$は、至るところDu Val特異点を持つ$K3$表面であり、$K_X \sim 0$なので、$X$はアーベルまたは$K3$である。
• 正規被覆$X$が$K3$表面であるとき、ピカール数は$\rho(\widetilde{X}) \geq r(Y) + 1$を満たし、$r(Y) \leq 19$である。等号は特定のDynkin型$D_{19}, D_{16}+A_3, \dots, A_{19}$でのみ成立する。
• $I=19,17,13$のとき、インデックス$I$の有理対数Enriques表面$Y$は、$K3$表面$X_I$（または$\overline{X}_{13}$）を純粋非シンプレクティックな$\mu_I$作用で割った商として一意に得られる。
• 最大シンプレクティック$K3$群の分類は完全に完了している：正確に11個のこのような群があり、$\operatorname{PSL}_2(7)$、$A_6$、$S_5$、$M_{20}$、および他の群が含まれる。これらはすべてマチュー群$M_{24}$に埋め込まれている。