[論文レビュー] The automorphism group of a supersingular K3 surface with Artin invariant 1 in characteristic 3

Shigeyuki Kondō, Ichiro Shimada|arXiv (Cornell University)|May 29, 2012

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

ひとこと要約

本稿では、特徴値3におけるアーティン不変量1をもつ上記の特異K3表面の自己同型群の有限生成集合を明示的に決定する。具体的には、フェルマー四次曲面を対象とする。ネロン＝セベリ格子の直交群に基づく計算的手法を用い、ボルチャーデスおよびコンウェイの反射群に関する結果を活用することで、射影的自己同型群PGU₄(𝔽₉)、2つの追加の対称性、フロベニウス自己同型、および(-2)-反射を含む生成元を同定し、非反射的ケースにおけるこの無限自己同型群の初めての明示的記述を提供する。

ABSTRACT

We present a finite set of generators of the automorphism group of a supersingular K3 surface with Artin invariant 1 in characteristic 3.

研究の動機と目的

• 特徴値3におけるアーティン不変量1をもつ特異K3表面の自己同型群の明示的有限生成集合を決定すること。
• ネロン＝セベリ格子が反射的でない場合、自己同型群を記述する困難さを克服すること。これは、従来一般的手法が存在しなかったケースである。
• ボルチャーデスおよびコンウェイの反射群に関する研究に基づく計算的手法を、符号型(1,25)の偶標数単位格子に適用し、特定のK3表面に適用すること。
• 自己同型群が無限大であり、かつ格子が非反射的である設定において、自己同型群の明確かつ計算的に検証可能な記述を提供すること。

提案手法

• 著者たちは、代数的閉体上、w⁴ + x⁴ + y⁴ + z⁴ = 0 で定義されるフェルマー四次曲面Xのネロン＝セベリ格子Sを分析する。
• 射影的自己同型群PGU₄(𝔽₉)のネロン＝セベリ格子への作用を計算し、これはO⁺(S)の有限部分群として作用する。
• フロベニウス自己同型Fを用いて、格子D_{S0}の自己同型群の作用を拡張し、PGU₄(𝔽₉)を基とするℤ/2ℤによる分裂拡大を構成する。
• ネロン＝セベリ格子内に存在する直線類[ℓ₁]に関連する(-2)-反射s₁を同定し、これはO⁺(S)に属する。
• 射影的自己同型群、2つの追加対称性g₁とg₂、フロベニウス自己同型F、および反射s₁を組み合わせることで、O⁺(S)の生成集合を構成する。
• この手法は、生成元の群構造および関係を検証するためのコンピュータ支援計算に強く依存している。

実験結果

リサーチクエスチョン

• RQ1 ネロン＝セベリ格子が反射的でない場合、特徴値3におけるアーティン不変量1をもつ特異K3表面の自己同型群の構造は何か？
• RQ2 計算的格子理論的手法を用いて、このような表面の自己同型群に対して明示的有限生成集合を構成できるか？
• RQ3 射影的自己同型、フロベニウス作用、および反射は、この非反射的ケースにおいて、どのようにして完全な自己同型群を生成するか？
• RQ4 本稿で用いられた手法は、非反射的ネロン＝セベリ格子をもつ他のK3表面へどの程度一般化可能か？

主な発見

• 特徴値3におけるアーティン不変量1をもつ特異K3表面Xの自己同型群Aut(X)は、PGU₄(𝔽₉)、2つの追加対称性g₁とg₂、フロベニウス自己同型F、および(-2)-反射s₁によって生成される。
• 完全な自己同型群は、PGU₄(𝔽₉)を基とするℤ/2ℤによる分裂拡大と同型であり、フロベニウス自己同型が非自明な外部自己同型として作用する。
• Xのネロン＝セベリ格子Sの判別式は-9であり、フェルマー四次曲面の112本の直線の類によって生成される。
• 自己同型群は、O⁺(S)を介してネロン＝セベリ格子に作用し、著者たちはこの作用の明示的行列表現を提供する。
• 群O⁺(S)は、位数13,063,680の射影的自己同型群PGU₄(𝔽₉)、対称性g₁とg₂、フロベニウス自己同型F、および反射s₁によって生成される。
• 計算により、自己同型群が無限大であり、かつ生成集合が有限かつ明示的に記述されていることが確認され、正の特徴値におけるK3表面幾何学における長年の未解決事例が解決された。