[論文レビュー] Extensions of maximal symplectic actions on K3 surfaces

Simon Brandhorst, Kenji Hashimoto|arXiv (Cornell University)|Oct 14, 2019

Advanced Algebra and Geometry参考文献 26被引用数 4

ひとこと要約

この論文は、Mukaiの11個の最大対称的群の1つである交換部分群 $G_s$ を持ち、$G_s \lneq G$ を満たす複素K3多様体上の有限群 $G$ を分類する。格子理論的分類とTorelli定理を用いて、42個のこのような対 $(X,G)$ の存在と一意性を証明し、それらはすべて剛性を持ち、ピカール数20の特異K3多様体に対応する。

ABSTRACT

We classify pairs $(X,G)$ consisting of a complex K3 surface $X$ and a finite group $G \leq Aut(X)$ such that the subgroup $G_s \lneq G$ consisting of symplectic automorphisms is among the $11$ maximal symplectic ones as classified by Mukai.

研究の動機と目的

• Mukaiの11個の最大対称的群の1つである交換部分群 $G_s$ を持ち、$G_s \lneq G$ を満たす複素K3多様体上の有限群 $G$ をすべて分類すること。
• $G_s \lneq G$ のときの $G$ の構造を特定すること、特に巡回群 $\mu_n$ による拡張に焦点を当てる。
• このようなK3多様体が特異的（ピカール数20）であり、剛性を持つこと、つまりモジュライを持たないことを確立すること。
• 42個の対のうち25個について明示的な射影的モデルを提供し、残りの17個を未解決問題として列挙すること。
• $G \cong M_{20} \rtimes \mu_4$ を満たすK3多様体について、完全な自己同型群の構造と射影的方程式を導出すること。

提案手法

• K3格子 $\Lambda \cong H^2(X,\mathbb{Z})$ の直交群 $O(\Lambda)$ の有限部分群を、交換作用を保存するように、同型類の意味で分類する。
• K3多様体の強いTorelli定理を用いて、格子極小化が同型類まで多様体を決定することを保証する。
• 周期写像の上への性質を適用して、与えられた格子と群作用を持つようなK3多様体の存在を保証する。
• K3多様体上の非常に線形系 $l$（次数40）の完全線形系を用いて、明示的な射影的モデルを構成する。
• Cremon変換と不変式理論を用いて、特異点の解消を通じて商多様体 $Y$ からの自己同型をK3多様体 $X$ に持ち上げる。
• 特に非正規モデル $\overline{X} \subset \mathbb{P}^5$ の定義イデアル上で、Singularを用いた計算代数により自己同型作用を検証する。

実験結果

リサーチクエスチョン

• RQ1 Mukaiの11個の最大対称的群のうちの1つである $G_s$ を部分群として持ち、$\operatorname{Aut}(X)$ 内で真に拡張される有限群 $G$ は、どのようになるか？
• RQ2 このような拡張を持つK3多様体の幾何学的・算術的性質は何か、特にピカール数とモジュライの観点から。
• RQ3 自己同型群の拡張作用を持つK3多様体について、明示的な射影的方程式を構成できるか？
• RQ4 非対称的部 $G/G_s \cong \mu_n$ の作用が、格子極小化と多様体の幾何にどのように影響するか？
• RQ5 これらの特異的K3多様体の完全な自己同型群 $\operatorname{Aut}(X)$ の構造は何か？

主な発見

• 交換部分群 $G_s$ がMukaiの11個の最大対称的群の1つであり、$G_s \lneq G$ を満たすような対 $(X,G)$ は、ちょうど42個の同型類が存在する。
• このようなすべてのK3多様体 $X$ は特異的（ピカール数20）であり、剛性を持つ。つまり、非自明な変形を許さない。
• 非対称的部 $G/G_s$ は常に偶数位数の巡回群であり、対 $(X,G)$ は $G_s$ と $G/G_s$ 内の任意の対合によって同型類まで一意に決定される。
• 42個の対のうち25個については、次数40の完全線形系を用いて $\mathbb{P}^{21}$ 内に明示的な射影的方程式が与えられる。
• 群 $G \cong M_{20} \rtimes \mu_4$ を持つK3多様体は、$\mathbb{P}^5$ 内の型 $(2,2,2)$ の完全交差の解消として実現され、明示的なCremon変換により自己同型が持ち上げられる。
• $M_{20} \rtimes \mu_4$-多様体の完全自己同型群は、交換群 $M_{20}$ と位数4の非対称的自己同型によって生成され、コホモロジー上の作用は格子の等長変換として実現される。