[論文レビュー] Rational double points on supersingular K3 surfaces

Ichiro Shimada|ArXiv.org|Nov 5, 2003

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

ひとこと要約

本稿は、正標数における超特異K3表面に存在する、全ミルナー数21の有理二重点のすべての可能な構成を、格子論的技法を用いて分類する。このような構成が幾何学的に実現可能であるための必要十分条件は、それが完全なリストに含まれることであると示され、その結果、特徴標数p ≤ 19の超特異K3表面は、明示的な不変量をもつ極大（準）楕円曲線族を有することを示している。

ABSTRACT

We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular $K3$ surfaces.

研究の動機と目的

• 正標数における超特異K3表面に、全ミルナー数21の有理二重点のすべての可能な構成を分類すること。
• ADE型R、Néron-Severi類のノルムn、Artin不変量σからなるRDP三重組(R, n, σ)の幾何学的実現可能性を特定すること。
• このような構成の分類を通じて、超特異K3表面における極大（準）楕円曲線族の完全なリストを提供すること。
• 特徴標数p ≤ 19の超特異K3表面が、21個の通常二重点を持つ曲面と双有理同型であることを示すこと。
• 特徴標数2のすべての超特異K3表面が、21個の通常ノードを持つP²の純分離的2重被覆として実現可能であり、その結果として無理理的性の別証明を与えること。

提案手法

• 本稿は、超特異K3表面XのNéron-Severi格子S_Xを用い、最小解消f:X→Yによる(−2)-曲線から生成される負定値部分格子T_Yの直交補空間を分析する格子論的技法を用いる。
• RDP三重組(R, n, σ)を定義する。ここでRはランク21のADE型、nはS_XにおいてT_Yに直交するクラスh_Yのノルム、σはArtin不変量である。
• RDP三重組の幾何学的実現可能性は、S_Xの判別形式との整合性を確認することで決定され、S_Xの判別形式は特徴標数pに対して−p^{2σ}である。
• 既知の超特異K3表面に関する結果を用い、格子Q(R)の可能な同型型と、それらのNéron-Severi格子内での直交補空間の分析により分類を達成する。
• 既知の双有理モデル（例えば四次曲面やP²の純分離的2重被覆）を用いて具体的な例を構成し、実現可能性を検証する。
• 各特徴標数における超特異K3表面の既知の不変量と照合することで、必要な不変量(n, σ)が一致するかを検証する。

実験結果

リサーチクエスチョン

• RQ1 正標数における超特異K3表面に、全ミルナー数21の有理二重点のADE型構成として現れるのはどのタイプか？
• RQ2 どの三重組(R, n, σ)に対して、特徴標数pにおけるRDP型R、Néron-Severi類のノルムn、Artin不変量σをもつ超特異K3表面が存在するか？
• RQ3 正標数における超特異K3表面に存在する極大（準）楕円曲線族の完全なリストは何か？
• RQ4 どの特徴標数pに対して、21個の有理二重点を持つ超特異K3表面が存在するか？
• RQ5 特徴標数2のすべての超特異K3表面が、21個の通常ノードを持つP²の純分離的2重被覆として実現可能か？

主な発見

• 本稿は、正標数におけるすべての幾何学的に実現可能なRDP三重組(R, n, σ)の完全なリストを提供し、そのリストは明示的に表RDPに示されている。
• RDP三重組(R, n, σ)が特徴標数pで幾何学的に実現可能であるための必要十分条件は、それがリストに含まれることであり、この実現可能性は、同一のArtin不変量σをもつすべての超特異K3表面において同値である。
• 最大の有理二重点数を持つ超特異K3表面は、特徴標数p ≤ 19でのみ存在し、p = 2の場合は、すべてのそれらの表面が21個の通常ノードを持つ曲面と双有理同型である。
• 特徴標数2のすべての超特異K3表面は、w² = x₀x₁x₂(x₀³ + x₁³ + x₂³)で定義されるP²の純分離的2重被覆として双有理同型であり、21個のA₁型通常二重点を持つ。
• 分類から得られたリストに基づき、超特異K3表面に存在する極大（準）楕円曲線族の完全なリストが導かれる。各曲線族は、リスト内の一意なRDP三重組に対応する。
• p = 2の場合、三重組(21A₁, 2, σ)はすべてのσ = 1, ..., 10に対して実現可能であり、すべての特徴標数2の超特異K3表面が21個の通常ノードを持つ曲面と双有理同型であることが確認された。