[論文レビュー] 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-巡回自己同型を分類し、コホロロジー的および幾何的手段を用いて固定点集合の構造を、Kodaira 次元に基づいて分析する。固定点集合が有限の場合、そのサイズは 2 以下であると証明する。固定点集合が 1 次元である場合、自己同型の型と可能なファイバー型は p とファイブレーションの幾何的性質によって制約され、Kodaira 次元 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-巡回自己同型を分類すること。
• 固定点集合 X^g の Kodaira 次元 κ(X, X^g) = 0, 1, 2 に応じてその構造を分析すること。
• 各場合における商表面 Y = X/(g) の可能な位数 p と幾何的型を同定すること。
• Oguiso (2000) の非可約固定曲線に関する結果を一般化し、一般の場合に拡張すること。
• Kodaira 次元 2 の場合に、d = h⁰(O_X(D - X^g)) や N = 1/2 D² + 1 などの不変量に対するコホロロジー的制約を確立すること。

提案手法

• G-不変層のための Grothendieck のスペクトル系列を用いて、商写像 π: X → Y = X/G のコホロロジーを分析する。
• 商特異点および有理特異点の理論を適用し、Y が有理特異点をもつ正則な反 canonical 表面であることを示す。
• D² > 0 を満たすネフな除釈 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 がネフな除釈で D² > 0 を満たす場合、不変量 N = 1/2 D² + 1 および d = h⁰(O_X(D - X^g)) に対する鋭い境界は何か？
• RQ4 Oguiso (2000) の非可約固定曲線の場合に限らない、野生的 p-巡回作用の分類は一般化可能か？
• RQ5 X^g が 1 次元で p ≠ 2 のとき、商表面 Y = X/(g) の構造は何か？

主な発見

• X^g が有限集合の場合、|X^g| ≤ 2 である。|X^g| = 0 の場合、p = 2 であり、Y は μ₂ 型の非古典的エンリケス表面である。
• 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 の場合、それは算術 genus > 1 の特異な有理曲線であり、写像 φ_{|2D|} は双有理的である。