[論文レビュー] Order 6 non-symplectic automorphisms of K3 surfaces

Jimmy Dillies|arXiv (Cornell University)|Dec 28, 2009

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

ひとこと要約

本稿では、固定局所の局所的解析と、3次非シンプレクティック自己同型への還元を通じて、K3多様体上の原始的で非シンプレクティックな自己同型（位数6）を分類する。主な貢献は、固定局所の完全な記述—タイプ $\frac{1}{6}(2,5)$ の3つの孤立固定点をもつ genus 1 曲線、または特定の位相的制約を満たす有理曲線と孤立点の非交差和—ならびに、固定ピカール格子を持つK3多様体が、この自己同型構造において鏡像対をなすことを発見したことである。

ABSTRACT

We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we determine the possible fixed loci and show that when the Picard lattice is fixed, K3 surfaces come in mirror pairs.

研究の動機と目的

• K3多様体上の原始的で非シンプレクティックな自己同型（位数6）を分類すること。
• 固定局所の局所的解析と3次非シンプレクティック自己同型の研究への分類問題の還元。
• このような自己同型の可能な固定局所の完全な集合を特定すること。
• これらの自己同型のモジュライ空間およびその幾何的構造を調査すること。
• ピカール格子が保存される場合の双対性の性質を検討し、この文脈で鏡像対称性を確立すること。

提案手法

• 固定点周辺の線形化された局所作用を用い、孤立固定点のタイプを $\frac{1}{6}(k,k')$ 表記で分類する。
• $\zeta^2$ を用いて、位数6自己同型の問題を3次非シンプレクティック自己同型の分類に還元する。
• リーマン・ホッジの固定点公式と位相的制約を適用し、固定点と曲線の数の関係を導出する。
• ホッジ指数定理と偶標数の単位的格子の分類を用いて、自己同型不変下でのピカール格子を分析する。
• $\zeta$-楕円的および対合の場合のモジュライ空間 $\mathcal{M}_{n,k}^{\mathrm{id}}$ と $\mathcal{M}_{n,k}^{\mathbb{Z}/2\mathbb{Z}}$ を構成する。
• ドォルガチェフの鏡像対の定義を用いて、補完的ピカール格子を持つK3多様体の間の双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 K3多様体上の原始的で非シンプレクティックな自己同型（位数6）の可能な固定局所は何か？
• RQ2 このような自己同型の分類問題は、どのように3次非シンプレクティック自己同型の研究に還元できるか？
• RQ3 固定ピカール格子を持つK3多様体がこのような自己同型をもつための条件は何か？ また、そのモジュライ空間の幾何的構造はどのようなものか？
• RQ4 これらの自己同型のモジュライ空間は、互いにどのように関係し、3次自己同型の基本ケースとどう関係するか？
• RQ5 ピカール格子が保存される場合、ドォルガチェフの定義に従って、このような自己同型をもつK3多様体は鏡像対をなすか？

主な発見

• 原始的で非シンプレクティックな自己同型（位数6）の固定局所は、タイプ $\frac{1}{6}(2,5)$ の3つの孤立固定点をもつ genus 1 曲線、または $p_{\frac{1}{6}(3,4)} + 2p_{\frac{1}{6}(2,5)} - 6l^{[1]} = 6$ を満たす有理曲線と孤立点の非交差和のいずれかである。
• K3多様体上の任意の非シンプレクティック自己同型（位数3）に対して、その平方が元の3次自己同型に一致するような、原始的で非シンプレクティックな自己同型（位数6）をもつK3多様体が存在する。
• ピカール格子が保存される場合、ピカール格子は単位的であり、$U$、$U \oplus E_8$、または $U \oplus E_8^2$ に同型でなければならない。
• 固定ピカール格子を持つK3多様体は鏡像対をなす：$U^i \oplus E_8^j$ と $U^{2-i} \oplus E_8^{2-j}$ であり、この文脈での鏡像対称性が確認される。
• $\mathcal{M}_{n,k}^{\mathrm{id}}$ と $\mathcal{M}_{n,k}^{\mathbb{Z}/2\mathbb{Z}}$ はともに既約であり、それぞれ $\mathcal{M}_{0,2}^{\mathrm{id}}$ と $\mathcal{M}_{0,2}^{\mathbb{Z}/2\mathbb{Z}}$ の閉包に含まれる。
• $\zeta$-楕円的ケースでは、固定局所は $\zeta^2$ の固定局所によって一意に決定され、モジュライ空間は対応する未マークされたモジュライ空間の部分多様体に同型である。