[論文レビュー] Classification of order sixteen non-symplectic automorphisms on K3 surfaces

Dima Al Tabbaa, A. Sarti+1 more|arXiv (Cornell University)|Sep 19, 2014

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

ひとこと要約

本稿は、16次非シンプレクティック自己同型を持つK3表面を分類し、固定集合が有理曲線と点のみからなることを示している。7つの構成形態を完全に分類しており、ピカール数が6のとき2通り、14のとき5通りである。ピカール数14のとき、ネロン＝セベリ群に自明に作用するようなK3表面は存在しないことを証明しており、先行研究の誤りを是正している。

ABSTRACT

We classify K3 surfaces with non-symplectic automorphism of order 16 in full generality. We show that the fixed locus contains only rational curves and points and we completely classify the seven possible configurations. If the Néron-Severi group has rank 6, there are two possibilities and if its rank is 14, there are five possibilities. In particular if the action of the automorphism is trivial on the Néron-Severi group, then we show that its rank is six.

研究の動機と目的

• 16次非シンプレクティック自己同型を持つK3表面の分類を完成させること。これは、以前に一般性を欠いていた未解決のケースである。
• このような自己同型の下での固定集合の構造を特定し、それが有理曲線と孤立点のみからなることを証明すること。
• 先行研究における不一致を解消し、ピカール数14のK3表面が、ネロン＝セベリ群に自明に作用する16次非シンプレクティック自己同型をもたないことを示すこと。
• ピカール群が $U(2)\oplus D_4\oplus E_8$ で $(N,k)=(10,1)$ の場合を除き、すべてのケースにおいて明示的な例を構成すること。この構成形態の存在は未解決のままである。

提案手法

• Lefschetz固定点公式を用いて、孤立固定点および固定有理曲線の数を計算する。
• 自己同型作用がコホロジー上に与える影響の固有空間分解、特に $\sigma^i$（$i=1,2,4,8$）の固有空間に依存する分析を行う。
• 4次、8次、16次非シンプレクティック自己同型の先行分類結果、特に対合および4次自己同型に関する結果を応用する。
• ネロン＝セベリ格子の構造を $\sigma^4$ の作用によって分析し、楕円曲線を固定する場合と、 genus >1 の曲線を固定する場合を区別する。
• 固定格子の直交補空間を用いてモジュライ空間次元を計算し、$\operatorname{rk} S(\sigma^8)=14$ のとき次元が0になることを示す。
• 特異点を解消することでK3表面を構成する、楕円曲線ファイブレーションおよび$\mathbb{P}^2$の特別な6次曲線を分岐曲線とする2重被覆による明示的幾何的構成を提供する。

実験結果

リサーチクエスチョン

• RQ1 K3表面に16次非シンプレクティック自己同型が作用するとき、固定集合の可能な構成形態は何か？
• RQ2 ピカール数14のK3表面が、ネロン＝セベリ群に自明に作用する16次非シンプレクティック自己同型をもてるか？
• RQ3 異なるピカール格子型において、孤立固定点数 $N$ と固定有理曲線数 $k$ はどのように変化するか？
• RQ4 ピカール数に応じて、このような自己同型をもつK3表面のモジュライ空間次元はどのようになるか？
• RQ5 予測されたすべての構成形態、特に $(\operatorname{Pic}(X),N,k)=(U(2)\oplus D_4\oplus E_8,10,1)$ の形態が実際に幾何的K3表面として実現可能か？

主な発見

• ピカール群のランクが6のとき、2つの構成形態がある：$(U\oplus D_4, 6, 1)$（ピカール群に自明に作用）と $(U(2)\oplus D_4, 4, 0)$（非自明に作用）。
• ピカール群のランクが14で $\sigma^4$ が楕円曲線を固定するとき、2つの構成形態がある：$(N,k)=(8,1)$ では $\sigma$ が $IV^*$ ファイバーのすべての成分を保存し、$(6,0)$ では $\sigma$ がファイバー上で反射的に作用する。
• ピカール群のランクが14で $\operatorname{Fix}(\sigma^4)$ に genus >1 の曲線が含まれるとき、3つの構成形態がある：$(U\oplus D_4\oplus E_8,12,1)$、$(U(2)\oplus D_4\oplus E_8,4,0)$、$(U(2)\oplus D_4\oplus E_8,10,1)$。
• $(U(2)\oplus D_4\oplus E_8,10,1)$ の形態は構成において実現されておらず、その存在は未解決のままである。
• ピカール数14のK3表面は、ネロン＝セベリ群に自明に作用する16次非シンプレクティック自己同型をもたない。これは先行論文の誤りを是正する。
• $\operatorname{rk} S(\sigma^8)=14$ のときモジュライ空間は0次元であり、$\operatorname{rk} S(\sigma^8)=6$ のとき1次元である。これは、有限個または1パラメータ族のこのようなK3表面が存在することを示している。