[論文レビュー] Irreducible symplectic 4-folds numerically equivalent to Hilb^2(K3)

Kieran G. O’Grady|ArXiv.org|Apr 21, 2005

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

ひとこと要約

この論文は、K3表面の2点ヒルベルトス킴に数値的に同値な非可約シンプレクティック4次元多様体を分類し、それらが変形して、6次超曲面の2重被覆（タイプA）またはℙ⁵内の6次から12次までの超曲面に双有理な多様体（タイプB）のいずれかに至ることを示している。著者らはタイプBが存在しないと予想し、ホッジ理論的および双有理幾何的議論、特に平面を含む3次4次元多様体に関する新しい結果を用いて強く裏付けている。

ABSTRACT

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hypersurface and a 4-fold of Type B is birational to a hypersurface of degree at most 12. We conjecture that 4-folds of Type B do not exist.

研究の動機と目的

• 数値的に(K3)^[2]に同値な非可約シンプレクティック4次元多様体を変形同値性まで分類すること。
• そのような4次元多様体が6次超曲面の2重被覆（タイプA）に変形可能かどうか、またはℙ⁵内での6次から12次までの超曲面に双有理な多様体（タイプB）に変形可能かどうかを特定すること。
• タイプBの4次元多様体の存在を調査し、それらが存在しないと予想すること。
• ハイパーフラット線分の有理写像に関連する像にかかるホッジ理論的および双有理的制約を確立すること。

提案手法

• 周期写像の上への性質とHuybrechtsの特徴付けを用いて、与えられた4次元多様体を、重要なコhomologicalおよびホッジ理論的性質を満たすものに変形する。
• Hirzebruch–Riemann–Rochの定理とKodairaの消滅定理を適用し、∫c₁(H)⁴ = 12 かつ h⁰(𝒪(H)) = 6 を満たすアーマーイド・ドライバー H の存在を示す。
• ハイパーフラット線分 H が H¹¹_ℤ(X) を生成すること、および H⁴(X) に予期しないホッジ部分構造が存在しないことを証明する。
• 線形系統 |H| の既約性を用いて、有理写像 f: X ⇢ ℙ⁵ 及びその像 Y を分析する。
• Y が次数 ≤6 の3次元多様体または次数 ≤4 の4次元多様体である場合を背理法で除外する。これにはホッジ構造の制約および分岐被覆の構造を用いる。
• 次数4の4次元多様体で dim(sing Y) ≥ 3 を満たすものには平面が含まれることを証明し、これにより4次超曲面への3次写像を除外する。

実験結果

リサーチクエスチョン

• RQ1 任意の数値的(K3)^[2] 4次元多様体は、ℙ⁵内の6次超曲面の2重被覆（タイプA）に変形同値可能か？
• RQ2 ℙ⁵内の6次から12次までの超曲面に双有理な数値的(K3)^[2] 4次元多様体は存在するか（タイプB）？
• RQ3 数値的(K3)^[2] 4次元多様体 X に対して、|H| が次元5であるとき、有理写像 f: X ⇢ |H|∨ の像にかかるホッジ理論的および双有理的制約は何か？
• RQ4 4次超曲面 Y ⊂ ℙ⁵ への3次写像 f: X → Y が、与えられたコhomological条件のもとで存在する場合、矛盾が生じるか？
• RQ5 平面を含まないℙ⁵内の3次4次元多様体の幾何的性質、特にそのホッジ構造に関して何が言えるか？

主な発見

• 任意の数値的(K3)^[2] 4次元多様体は、タイプA（6次超曲面の2重被覆）またはタイプB（ℙ⁵内での6次から12次までの超曲面に双有理）の4次元多様体に変形可能である。
• 変形後の4次元多様体上のハイパーフラット線分 H は、∫c₁(H)⁴ = 12 かつ h⁰(𝒪(H)) = 6 を満たし、有理写像 f: X ⇢ ℙ⁵ が次元5の線形系統によって定義されることを示唆する。
• f の像 Y が次数 ≤6 の3次元多様体または次数 ≤4 の4次元多様体であることは不可能であるが、正規な4次超曲面の場合は別途の議論が必要である。
• 4次元多様体 X が4次超曲面 Y ⊂ ℙ⁵ への3次写像 f: X → Y を持つならば、Y は平面を含む必要がある。Y が dim(sing Y) ≥ 3 であると仮定すると、これは矛盾を引き起こす。
• ℙ⁵内の4次超曲面 Y ⊂ ℙ⁵ で dim(sing Y) ≥ 3 を満たすものには、必ず平面が含まれる。これは、二次3次元多様体からの射影とDebarre–Manivelの定理（2つの二次曲面の完全交差）を用いて証明される。
• 本論文はタイプBの4次元多様体が存在しないという証拠を提供し、すべての数値的(K3)^[2] 4次元多様体がタイプAの4次元多様体に変形同値であると予想している。