[論文レビュー] K3 surfaces with an order 60 automorphism and a characterization of supersingular K3 surfaces with Artin invariant 1

JongHae Keum|arXiv (Cornell University)|Apr 8, 2012

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

ひとこと要約

特性 0 もしくは p > 5 の場合、位数 60 の自己同型を持つ K3 表面は同型を除いて一意であり、非シンプレクティック位数 5.12 を持つ。これは、位数 60 の巡回的作用を持つワイエルシュトラス方程式によって定義される一意の K3 表面 X₆₀ を実現する。この結果により、特性 p ≡ 11 mod 12 におけるアーティン不変量 1 の超特異 K3 表面が 60 重の対称性によって特徴づけられる。

ABSTRACT

In characteristic $p=0$ or $p>5$, we show that a K3 surface with an order 60 automorphism is unique up to isomorphism. As a consequence, we characterize the supersingular K3 surface with Artin invariant 1 in characteristic $p=11$ (mod 12) by a cyclic symmetry of order 60.

研究の動機と目的

• 特性 0 または p > 5 における位数 60 の自己同型を持つ K3 表面を分類すること。
• 特性 p ≡ 11 mod 12 におけるアーティン不変量 1 の超特異 K3 表面を、位数 60 の巡回的対称性によって特徴づけること。
• K3 表面における非シンプレクティック自己同型の位数の分類を正の特性に拡張すること。
• 位数 60 の自己同型を持つ唯一の K3 表面は X₆₀ であり、特定のワイエルシュトラス方程式によって定義されることを証明すること。
• このような自己同型は非シンプレクティック位数 5.12 を持つ必要があり、H⁰(X, Ω²) 上の作用の核の位数が 5 であることを確立すること。

提案手法

• l-進コホモロジーとトレース公式を用いて、H² 上での自己同型の固有値を解析し、特性多項式が整数係数を持つことを利用する。
• 複素数の場合にホロモーフィック Lefschetz 公式を適用し、エタールコホモロジーを用いて正の特性に適応する。
• 固定集合のオイラー標数 e(g) を解析し、上限を用いて可能な固有値配置を除外する。
• K3 表面のワイエルシュトラスモデルを、g-不変構造を持つ楕円曲線ファイブレーションとして扱い、底空間への作用が位数 10 であることを特定する。
• 判別式多項式 Δ = -4A³ - 27B² を用いて A = 0 かつ B が t₀t₁(t₁¹⁰ - t₀¹⁰) に比例することを導出し、標準形 X₆₀ に至る。
• 特異点を持つファイバーにおける局所的作用を検証し、g(x,y,t₀,t₁) = (ζ₆₀²x, ζ₆₀³y, t₀, ζ₆₀⁶t₁) としてグローバル自己同型を再構成する。

実験結果

リサーチクエスチョン

• RQ1 特性 0 または p > 5 において、位数 60 の自己同型を持つ K3 表面は一意か？
• RQ2 特性 p ≡ 11 mod 12 におけるアーティン不変量 1 の超特異 K3 表面は、位数 60 の巡回的対称性によって特徴づけられるか？
• RQ3 正の特性における K3 表面の自己同型の可能な非シンプレクティック位数は何か？
• RQ4 特性 0 において位数 60 の純粋な非シンプレクティック自己同型が存在しないという事実は、正の特性に拡張されないのはなぜか？
• RQ5 位数 60 の自己同型の作用は、K3 表面のワイエルシュトラスモデルにどのような制約を与えるか？

主な発見

• 特性 0 または p > 5 において、位数 60 の自己同型を持つ K3 表面は同型を除いて一意であり、X₆₀ に同型である。
• このような表面における自己同型 g は非シンプレクティック位数 5.12 を持ち、H⁰(X, Ω²) 上の作用の核の位数が 5 である。
• 表面 X₆₀ は特性 p ≡ 11 mod 12 において超特異的であり、アーティン不変量 1 であり、フェルマー四次曲面と同型である。
• 特性 p ≡ 11 mod 12 において、位数 60 の自己同型を持つ唯一の K3 表面はフェルマー四次曲面である。
• 正の特性において、正の整数 N が K3 表面の自己同型の非シンプレクティック位数であるための必要十分条件は、p ∤ N、N ≠ 60、かつ φ(N) ≤ 20 である。
• X₆₀ 上の自己同型 g は (t₀, t₁, x, y) ↦ (t₀, ζ₆₀⁶t₁, ζ₆₀²x, ζ₆₀³y) として作用し、ワイエルシュトラスモデル y² + x³ + t₀t₁¹¹ - t₀¹¹t₁ = 0 を保存する。