[論文レビュー] Fourier-Mukai partners of a K3 surface of Picard number one

Shinobu Hosono, Bong H. Lian+2 more|ArXiv.org|Nov 16, 2002

Meromorphic and Entire Functions被引用数 4

ひとこと要約

本稿では、Picard数1のK3表面のFourier-Mukai (FM)パートナを、特別なMukaiベクトルを持つ安定層のモジュライ空間によってパrameter化することを示すことによって分類する。このようなパートナは、r > 0、(r,s)=1、(H²)=2rs を満たす原始的Mukaiベクトル (r, H, s) に対応し、さらにそのFMパートナの集合が、n を表面の次数として、2-基本的群 (Z/2)^{τ(n)−1} による主同次空間をなすことを示している。この結果は、MukaiベクトルにおけるNéron-Severi因子の原始性を保証することで、以前の記述を精緻化する。

ABSTRACT

We shall give a complete geometrical description of the FM partners of a K3 surface of Picard number 1 and its applications.

研究の動機と目的

• 複素射影的K3表面でPicard数1のもののすべてのFourier-Mukaiパートナを分類すること。
• このようなK3表面のFMパートナの集合に、モジュライ理論的解釈を与えること。
• Mukai-Orlovの記述を精緻化することで、任意の射影的K3表面のFMパートナを幾何学的に記述すること。
• Picard数ρ(X)=1 かつ deg X=2n であるK3表面のFMパートナの集合が、(Z/2)^{τ(n)−1} による主同次空間であることを確立すること。

提案手法

• FM同値性が超越的格子上のホッジ等長写像に一致するMukaiとOrlovの基本定理を用いる。
• FMパートナが、(H²)=2rs かつ (r,s)=1 を満たす原始的Mukaiベクトル (r, H, s) を持つ安定層のモジュライ空間として生じることを特徴づける。
• 極分類K3表面のKuranishi族上での相対的モジュライ空間構成を用い、一般ファイバーから中心ファイバーへの同型を拡張する。
• Kuranishi族におけるPicard数1のファイバーの稠密性を用い、極限点から中心ファイバーへの定数Mukaiベクトルの持ち上げを行う。
• 周期領域のハウスドルフ性を活用し、稠密な系列での一致から中心ファイバーの同型を結論づける。
• O(Λ_{K3}) による原始的ベクトルの固定平方長さへの推移的作用を用い、モジュライ空間における極分類のNéron-Severi類を正規化する。

実験結果

リサーチクエスチョン

• RQ1 Picard数1のK3表面の完全なFMパートナの集合は何か？
• RQ2 FMパートナの集合は、トーラスなどの幾何的対象として自然に解釈できるか？
• RQ3 FMパートナのMukaiベクトル記述を、Néron-Severi成分の原始性を保証するように精緻化できるか？
• RQ4 Picard数1で次数2nのK3表面のFMパートナの集合の群構造は何か？

主な発見

• Picard数ρ(X)=1 かつ deg X=2n であるK3表面XのFMパートナの集合は、n の素因数の個数を表すτ(n) を用いて、2-基本的群 (Z/2)^{τ(n)−1} による主同次空間である。
• Picard数ρ(X)=1 であるK3表面XのすべてのFMパートナは、r>0、(r,s)=1、(H²)=2rs を満たす特別なMukaiベクトル (r,H,s) に対応する、ファインモジュライ空間 M_H((r,H,s)) として現れる。
• 任意の射影的K3表面Xに対して、すべてのFMパートナYは、H が原始的かつ非常に、特別なMukaiベクトル (r,H,s) に対応するモジュライ空間 M_H((r,H,s)) と同型である。
• 証明により、Kuranishi族における特異化においてモジュライ空間の同型型が保存されることを示し、稠密な開集合から中心ファイバーへの定数Mukaiベクトルの持ち上げが可能である。
• Kuranishi基底上の周期写像はハウスドルフ的であるため、稠密な系列での一致から全体的な同型が得られ、中心ファイバーが望ましいモジュライ空間と同型であることが保証される。