[論文レビュー] K3-surfaces with special symmetry

Kristina Frantzen|ArXiv.org|Feb 23, 2009

Finite Group Theory Research参考文献 25被引用数 6

ひとこと要約

この論文は、有限なシンプレクティック自己同型群を中央化する反シンプレクティック自己同型を持つK3曲面を分類し、特に96より大きな位数のMukai群に注目している。等長的モーリー理論と不変量理論を用いて、このようなK3曲面がデル・ペッツォ曲面の2重被覆であることを証明し、幾何的不変量と群作用に基づいて、$L_2(7)$、$A_6$、$S_5$、および他の群からの新しい例を含め、これら曲面の完全な分類を提示する。

ABSTRACT

In this dissertation classification problems for K3-surfaces with finite group actions are considered. Special emphasis is put on K3-surfaces with antisymplectic involutions and compatible actions of symplectic transformations. Given a finite group $G$ it is investigated if it can act in a compatible fashion on a K3-surfaces $X$ with antisymplectic involution and to what extend the action of $G$ determines the geometry of $X$. If $G$ has large order or rich structure a precise description of $X$ as a branched double cover of a Del Pezzo surface is obtained. In particular, this leads to classification results for the complete list of eleven maximal finite groups of symplectic automorphisms of K3-surfaces. The remaining part of the thesis deals with generalizations to non-maximal groups and K3-surfaces with non-symplectic automorphisms of higher order. The classification relies on an equivariant minimal model program for surfaces, the study of finite group actions on Del Pezzo surfaces, and the combinatorial intersection geometry of naturally associated exceptional and fixed point curves.

研究の動機と目的

• シンプレクティック作用をもつMukai群と、それと可換な反シンプレクティック自己同型を持つK3曲面を分類すること。
• 群の位数が96を超える場合に、そのようなK3曲面の幾何的構造を特定すること。
• 群論的および有理写像的技法を用いて、デル・ペッツォ曲面の等長的2重被覆として、K3曲面の新しい例を同定すること。
• 固定点集合、分岐曲線、モーリー層の構造を群作用の下で分析することで、分類を精緻化すること。
• 非空の固定点集合を持つ反シンプレクティック自己同型を中央化するMukai群$G$が、シンプレクティックに作用するK3曲面$X$のすべての可能な対$(X, G)$を完全に列挙すること。

提案手法

• 群作用を持つ曲面の$G$-極小モデルを構成するために、不変曲線の錐を分析するための等長的モーリー理論を適用する。
• 有限群作用の文脈における収縮定理を用いて、対称性を保ちつつ曲面を極小モデルに還元する。
• 特に有理曲線と楕円曲線の成分を区別するように、$Y = X / \sigma$の商曲面における分岐曲線とモーリー層を分析する。
• 特に$N_{72}$や$M_9$のような群に対して、射影空間内の$G$-不変な二次曲面と三次曲面を決定するために不変量理論を用いる。
• 表現論を用いて、行列表現を明示的に用いて、$\mathbb{P}^2$ や $\mathbb{P}^3$ からの群作用を2重被覆を通じてK3曲面に持ち上げる。
• 反シンプレクティック自己同型の中心化群の構造を分析することで、可能な商曲面とその不変量（種数、特異点など）を分類する。

実験結果

リサーチクエスチョン

• RQ1 どの有限なシンプレクティック群$G$が、非空の固定点集合を持つ反シンプレクティック自己同型$\sigma$と可換にK3曲面$X$に作用できるか？
• RQ2 |G| > 96のとき、商曲面$Y = X / \sigma$の構造は何か？また、デル・ペッツォ曲面とどのように関係しているか？
• RQ3 群作用を通じて、デル・ペッツォ曲面の2重被覆として、最大のシンプレクティック対称性を持つK3曲面の新しい例を構成できるか？
• RQ4 このようなK3曲面の不変量（例えば、ピカール格子、固定曲線の種数）は、群$G$に依存するか？その依存関係は何か？
• RQ5 どのMukai群に対して、反シンプレクティック自己同型が$G$を中央化し、非空の固定点集合を持つK3曲面が存在するか？

主な発見

• |G| > 96のとき、$X / \sigma$はデル・ペッツォ曲面であり、固定曲線$\mathrm{Fix}(\sigma)$は種数$g \geq 3$の滑らかで連結な曲線である。
• 表4.1に、シンプレクティックに作用するMukai群$G$と、非空の固定点集合を持つ反シンプレクティック自己同型を中央化する対$(X, G)$の完全な分類が提示されている。
• 新しいK3曲面の例は、特に$G = L_2(7)$、$A_6$、$S_5$、$M_{20}$、$F_{384}$、$A_{4,4}$、$T_{192}$、$H_{192}$、$N_{72}$、$M_9$、$T_{48}$に対して、3次および5次デル・ペッツォ曲面の等長的2重被覆として得られる。
• $N_{72} = C_3^2 \rtimes D_8$に対して、$\mathbb{P}^3$内に唯一の$N_{72}$-不変な二次曲面$x_1x_2 + x_3x_4 = 0$と、唯一の不変な三次曲面$x_1^3 + x_2^3 + x_3^3 + x_4^3 = 0$が存在する。
• $M_9 = (C_3 \times C_3) \rtimes Q_8$に対して、$\mathbb{P}^2$上での作用は明示的な行列表現によって実現され、$-1$は置換行列として作用し、$I$、$J$は単位根パラメータによって定まる。
• $L_2(7)$は反シンプレクティック自己同型によって中央化され、それに対応するK3曲面は3次デル・ペッツォ曲面の2重被覆であることが示され、クラインの四次曲線に関連している。