[論文レビュー] On normal K3 surfaces

Ichiro Shimada|ArXiv.org|Jul 19, 2006

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

ひとこと要約

本稿は、特定のラティスへの格子的埋め込みを用いて、正の特性における複素数および超特異K3表面のすべての可能な有理二重特異点の配置を分類する。主な結果は、与えられたルートラティスが超特異K3表面のピカールラティスに原始的に入り込むための明確な条件を、アーティン不変量、判別式、および二次相互法則に基づいて確立する。

ABSTRACT

We determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.

研究の動機と目的

• 特異点のない複素正則K3表面および特性p > 19の超特異K3表面における有理二重特異点のすべての可能な配置を特定すること。
• 特異K3表面が滑らかなK3表面に解体されることに起因する幾何的制約を理解すること。
• 超特異K3表面のピカールラティスへのルートラティスの原始的埋め込みの存在に関する基準を確立すること。
• ピカールラティスのアーティン不変量および判別式を、二次相互法則を含む算術的条件に関連付けること。

提案手法

• 複素数K3表面のためのΛ₀および特性pにおける超特異K3表面のためのΛₚ,σを含む、偶標高ユニモジュラーラティスの理論を用いる。
• 与えられたラティス内での部分ラティスの原始的閉包の概念を適用し、埋め込み条件を分析する。
• 埋め込みの可能性を決定するためのLegendre記号を含む算術的条件Arth(p, σ, d)を導入する。
• Nikulinのラティスおよび判別群の理論を用いて、ルートラティスの構造とその上位ラティスとの関係を関連付ける。
• 特にKummer表面の文脈において、16A₁のようなルートラティスのオーバーラティスの構造を分析するために、𝔽₂上の中間コードを用いる。
• 還元理論を用いて、数体上で定義された特異K3表面が特定の条件下でアーティン不変量1の超特異K3表面に還元されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのディンキン型の有理二重特異点が正則K3表面に現れることができるか？
• RQ2 特性pにおける超特異K3表面のピカールラティスへのルートラティスRの原始的埋め込みが成立する条件は何か？
• RQ3 アーティン不変量σ、ルートラティスの判別式d、およびそのような埋め込みの存在との関係は何か？
• RQ4 特異K3表面を素数pで還元することと、そのアーティン不変量および判別式との関係は何か？
• RQ5 16個の互いに交わらない(−2)-曲線を持つK3表面の二重被覆の存在を、幾何学的およびラティス論的観点から特徴づけられるか？

主な発見

• 符号型が(t₊, t₋)でt₊ ≤ 1かつt₋ ≤ 19であるラティスMがΛₚ,σに原始的に入り込むのは、定理1.1の条件が満たされる場合に限る。これは2σと22 − rank(M)の関係に依存する。
• 2σ = 22 − rank(M)のとき、Λ₀への埋め込みと算術的条件Arth(p, σ, d_M)の両方が成立する場合に限り、埋め込みが存在する。
• 16A₁特異点の場合は、関連する二進コードにおける重み16の語の存在が、K3表面の二重被覆の存在を示し、Kummer表面構造に繋がる。
• 数体上で定義された特異K3表面Xのp進還元が超特異であるならば、その還元のアーティン不変量は1であり、かつLegendre記号(−disc(T_X)/p) = −1である。
• Arth(p, σ, d)を満たす素数pの集合は、(−1)^(σ+1)dが平方でないとき、自然密度1/2を有する。
• 長さ16の𝔽₂上における最小重量4および等質性を有する唯一の極値コードは、16A₁構成に対応し、Kummer構成と関連している。