[論文レビュー] Moduli spaces of sheaves on K3 surfaces of degree 8 and their associated K3 surfaces of degree 2

Colin Ingalls, Madeeha Khalid|arXiv (Cornell University)|Mar 3, 2008

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

ひとこと要約

本稿は、c₁ = H、c₂ = 4 を満たす次数8のK3表面 X 上のランク2のベクトル束のモジュライ空間 M と、6次曲線を分岐曲線とする ℙ² 上の2重被覆として得られるもう一つのK3表面 M の間に双対性を確立する。Mukaiの枠組みを用いて、M が良い（fine）、コンパクトで、空でない条件を証明し、X に直線を含み、Picard数が2である場合、X 自身が明示的なFourier-Mukai変換を介して M 上の層のモジュライ空間として現れることを示す。

ABSTRACT

Abstract. Let X be a K3 surface of degree 8 in P 5 with hyperplane section H. Given X we can associate to it another K3 surface M which is a double cover of P 2 ramified on a sextic curve C. We study the relation between M and the moduli space M of rank two vector bundles on X with Chern classes c1 = H and c2 = 4 We build on previous work of Mukai and others, giving conditions and examples where M is fine, compact, non-empty; and birational or isomorphic to M. We also present X as a moduli space of sheaves on M with explicit Fourier-Mukai transform when X contains a line and has ρ(X) = 2. 1.

研究の動機と目的

• 次数8のK3表面 X 上のランク2ベクトル束のモジュライ空間 M と、ℙ² 上の2重被覆として得られる次数2のK3表面 M の間の関係を調査すること。
• モジュライ空間 M が良い（fine）、コンパクトで、空でない条件を特定すること。
• X に直線が存在し、Picard数が2である場合に、M と M が双有理的または同型である条件を調べること。
• 明示的なFourier-Mukai変換を用いて、X を M 上の層のモジュライ空間として実現すること。
• MukaiのK3表面上の層のモジュライ空間に関する基礎的業績を、次数8および次数2のK3表面の設定へと拡張すること。

提案手法

• X が次数8で c₁ = H、c₂ = 4 を満たす場合に、K3表面上の層のモジュライ空間のMukai理論を用いて M の構造を分析する。
• X の幾何的性質から導かれる6次曲線 C を分岐曲線とする ℙ² 上の2重被覆として、関連するK3表面 M を構成する。
• X に直線が存在し、ρ(X) = 2 であるといった幾何的制約を適用して、モジュライ空間の構造を単純化する。
• Fourier-Mukai変換を用いて、X と M の導来カテゴリの同値性を確立し、X が M 上の層のモジュライ空間として同定可能であることを可能にする。
• 幾何的およびコhomologicalな基準を用いて、M と M 間の双有理的性や同型性を分析する。
• 安定層の理論とウォールクロッシング技法を暗黙的に用いて、指定された条件下でモジュライ空間 M が良い（fine）かつコンパクトであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 次数8のK3表面 X 上のランク2ベクトル束のモジュライ空間 M が、どのような条件下で良い（fine）、コンパクトで、空でないか？
• RQ2 モジュライ空間 M が、関連する次数2のK3表面 M と双有理的または同型となるのはいつか？
• RQ3 X に直線が存在し、ρ(X) = 2 である場合、M の構造および M との関係にどのような影響を与えるか？
• RQ4 明示的なFourier-Mukai変換を用いて、X を M 上の層のモジュライ空間として実現できるか？
• RQ5 Mukaiの双対性枠組みの文脈において、M と M 間の正確な幾何的およびコhomologicalな対応関係は何か？

主な発見

• c₁ = H かつ c₂ = 4 を満たす X 上のランク2ベクトル束のモジュライ空間 M は、X に直線が存在し、ρ(X) = 2 であるなどの適切な幾何的条件下で、良い（fine）、コンパクトで、空でない。
• ℙ² 上の2重被覆として、6次曲線を分岐曲線とする関連するK3表面 M は、同じ条件下で M と双有理的または同型である。
• X に直線が存在し、Picard数が2である場合、X は M 上の層のモジュライ空間と同型であり、その同値性は明示的なFourier-Mukai変換によって実現される。
• この構成により、次数8と次数2のK3表面間の双対性が、層のモジュライ空間を通じて幾何的に実現される。
• 本稿は、Mukaiの結果を次数8および次数2の設定に拡張し、特定の状況下でのこのような双対性の存在を確認する。
• 結果として、X の導来カテゴリが M のそれと同値であることが示され、2つのK3表面間のFourier-Mukai同値性の存在を支持する。