[論文レビュー] On $μ_{n}$-actions on K3 surfaces in positive characteristic

Yuya Matsumoto|arXiv (Cornell University)|Oct 19, 2017

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

ひとこと要約

本稿は、正の特性 $p$ において $p$ が $n$ を割る場合を含め、有理型双因子点（RDP）特異点をもつ K3 表面における群スキーム $μ_n$ のシンプレクティック作用の概念を導入する。シンプレクティック $μ_n$-作用は、特性 0 におけるシンプレクティック自己同型と同様に振る舞うことが示される：シンプレクティックであれば商は RDP K3 表面となり、そうでなければ RDP エンリケス面または有理型面となる。RDP K3 表面におけるシンプレクティック $μ_n$-作用の最大位数は $n \leq 8$ であり、$n = p$ の場合、存在は $p \leq 19$ のときのみ可能である。これらの結果は、RDP および滑らか点における $μ_n$-作用の局所分類に基づき、特にシンプレクティック局所作用の完全分類が与えられる。

ABSTRACT

In characteristic $0$, symplectic automorphisms of K3 surfaces (i.e.\ automorphisms preserving the global $2$-form) and non-symplectic ones behave differently. In this paper we consider the actions of the group schemes $μ_{n}$ on K3 surfaces (possibly with rational double point singularities) in characteristic $p$, where $n$ may be divisible by $p$. We introduce the notion of symplecticness of such actions, and we show that symplectic $μ_{n}$-actions have similar properties, such as possible orders, fixed loci, and quotients, to symplectic automorphisms of order $n$ in characteristic $0$. We also study local $μ_n$-actions on rational double points.

研究の動機と目的

• 特性 0 における K3 表面のシンプレクティック自己同型の理論を、特に群の位数が特性によって割り切れる場合に正の特性へと拡張すること。
• 滑らかな K3 表面が $\u03bc_p$-作用を持たないため、RDP K3 表面における $\u03bc_n$-作用のシンプレクティック性を定義し、その研究を行うこと。
• RDP および滑らか点における $\u03bc_n$-作用の局所分類を、特に $\u03bc_p$ および $\u03bc_{p^e}$ の場合に実施し、固定点集合と商特異点を同定すること。
• 正の特性における RDP K3 表面における $\u03bc_n$-作用の最大可能な位数を特定し、そのような作用が存在する条件を同定すること。
• 古典的な特性 0 の結果（例：ニコリンの商定理）の類似を、特に野生的作用に対しても正の特性において確立すること。

提案手法

• 滑らか点および RDP における表面の局所環における $\u03bc_n$-作用のシンプレクティック性の概念を導入し、古典的なシンプレクティック自己同型条件を一般化する。
• 形式的冪級数と不変式論を用いて局所 $\u03bc_n$-作用を分析し、重み付き座標と貼り合わせデータを用いて同型を除く可能な作用を分類する。
• 固定点の像における特異点の性質を調べるために、商写像 $\pi: X \to X/\u03bc_n$ を用いる。RDP と非 RDP を区別する。
• 特に特性 2, 3, 5 において双対グラフが完全に分類しない場合に、アーティンによる RDP 及びその形式的同型類の分類を適用する。
• 代数的閉体上の正の特性における明示的例を用いて、楕円的、二重六次、四次的モデルを含む、さまざまな $\u03bc_n$-作用を K3 表面に実現する。
• 特に $n = p^e$ の場合に、群スキーム理論および $\u03bc_n$ の表現論の結果を用いて、固定点構造と商特異点を分析する。

実験結果

リサーチクエスチョン

• RQ1 正の特性における K3 表面における $\u03bc_n$-作用がシンプレクティックであるための条件は何か、特に $p \mid n$ の場合に。
• RQ2 シンプレクティックおよび非シンプレクティック $\u03bc_n$-作用の下で、商 $X/\u03bc_n$ はどのように振る舞い、どのような特異点を示すか。
• RQ3 RDP K3 表面におけるシンプレクティック $\u03bc_n$-作用が存在するための最大可能な位数 $n$ は何か。
• RQ4 $p$ および整数 $n$ に対して、$\u03bc_n$-作用を持つ RDP K3 表面が存在する条件は何か。固定点は商にどのように影響するか。
• RQ5 RDP における $\u03bc_n$-作用の局所構造は完全に分類可能か。この分類は K3 表面全体の挙動をどのように決定するか。

主な発見

• RDP K3 表面をシンプレクティック $\u03bc_n$-作用で割った商は、再び RDP K3 表面となる。これは特性 0 におけるニコリンの結果を一般化する。
• $n = p$ の場合、固定点をもたない非シンプレクティック $\u03bc_p$-作用は、$p = 2$ のみで RDP エンリケス面をもたらす。そうでなければ有理型面となる。
• RDP K3 表面が $\u03bc_p$-作用を持つための必要十分条件は $p \leq 19$ であり、このような作用は $p$ に依存する特定の $n$ のみで存在する。
• RDP K3 表面におけるシンプレクティック $\u03bc_n$-作用の最大位数は $n = 8$ であり、$n \leq 8$ のみでこのような作用が存在する。
• シンプレクティック $\u03bc_n$-作用の固定点数は次のように決定される：$n = 8$ のとき 8 個の孤立固定点、$n = 4$ のとき 4 個の固定点、など。
• RDP における局所的シンプレクティック $\u03bc_n$-作用の完全な分類が与えられ、表 3 および表 4 に $\u03bc_p$-作用の明示的標準形が示されている。