[论文解读] Wild p-cyclic actions on K3 surfaces

Igor Dolgachev, JongHae Keum|ArXiv.org|Dec 16, 1998

Graph theory and applications参考文献 17被引用 17

一句话总结

本文在正特征 p 下对 K3 曲面的野生 p-循环自同构进行分类，通过亏格分析不动点集。证明当不动点集有限时，其大小至多为 2；当其为一维时，自同构类型及可能的纤维类型受 p 和纤维化几何的约束，且在亏格为 2 的情况下，对 N 和 d 等不变量有精确界限。

ABSTRACT

We consider algebraic actions of a cyclic group of order p on a K3 surface defined over an algebraically closed field of characteristic p. We classify possible loci of fixed points as well as possible quotient surfaces.

研究动机与目标

• 对代数闭域上正特征 p 的 K3 曲面的野生 p-循环自同构进行分类。
• 基于其 Kodaira 亏格 κ(X, X^g) = 0, 1 或 2，分析不动点集 X^g 的结构。
• 在每种情况下，确定商曲面 Y = X/(g) 的可能阶数 p 和几何类型。
• 将 Oguiso (2000) 关于不可约不动点曲线的结果推广至一般情形。
• 在 κ = 2 时，建立对不变量如 d = h⁰(O_X(D - X^g)) 和 N = 1/2 D² + 1 的上同调约束。

提出的方法

• 使用 Grothendieck 的 G-等变层的谱序列分析商映射 π: X → Y = X/G 的上同调。
• 应用商奇点与有理奇点的理论，证明 Y 是具有有理奇点的法向反 canonical 曲面。
• 对满足 D² > 0 的 nef 除子 D 使用线性系统 |D| 构造一个态射 φ_D: X → ℙ^N，其次数有界于 2。
• 利用 g 在 H⁰(O_X(D)) 上的作用定义一个 G-不变线性系统，并构造一个到维数为 N - d - 1 的子空间 H 的投影 f: ℙ^N → H。
• 应用不等式 deg(f ∘ φ_D) ≥ N - d - 1 及 deg(f ∘ φ_D) 可被 p 整除的事实，推导出不等式 p(N - d - 1) ≤ 2N - 2。
• 利用对偶性与消去定理（如 H¹(O_Y(-B)) = 0）证明当 p > 2 时分支曲线 B 为有理曲线，从而推出 F 的正规化为有理曲线。

实验结果

研究问题

• RQ1 对于正特征 p > 0 的 K3 曲面的野生 p-循环自同构 g，其不动点集 X^g 的可能大小为何？
• RQ2 不动点集 D = X^g 的 Kodaira 亏格如何约束 X 上椭圆或拟椭圆纤维化的可能类型？
• RQ3 当 X^g 为 nef 除子且 D² > 0 时，不变量 N = 1/2 D² + 1 和 d = h⁰(O_X(D - X^g)) 的精确界限为何？
• RQ4 能否将 Oguiso (2000) 中仅限于不可约不动点曲线的情形推广至一般情况？
• RQ5 当 X^g 为一维且 p ≠ 2 时，商曲面 Y = X/(g) 的结构如何？

主要发现

• 若 X^g 有限，则 |X^g| ≤ 2；若 |X^g| = 0，则 p = 2，且 Y 为 μ₂ 型的非经典 Enriques 曲面。
• 若 X^g 有限且 |X^g| = 1 或 2，则 Y 的最小解析解为有理曲面或 K3 曲面，其中 K3 情形仅在 p ≤ 5 时可能。
• 若 κ(X, X^g) = 0，则 X^g 为 A-D-E 型节点环，且 X′/(g) 为具有单个有理或椭圆奇点的有理或椭圆曲面。
• 若 κ(X, X^g) = 1，则 p ≤ 11，纤维化类型（椭圆或拟椭圆）及纤维类型（如 II, III, IV, II*, III*）由 p 决定。
• 若 κ(X, X^g) = 2，则不等式 p(N - d - 1) ≤ 2N - 2 成立，且当 X^g 不可约且 p ≠ 2 时，唯一可能的对为 (p, N) = (3,2), (3,3), (3,4)，或 (s,2)（s ≥ 5）。
• 当 X^g 不可约且 p > 2 时，其为算术亏格 > 1 的奇异有理曲线，且映射 φ_{|2D|} 为双有理映射。