[论文解读] 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 表面的 Hilbert 栈上两点的 4 维不可约辛流形进行分类，证明其在形变等价下可变形为以下两类之一：类型 A（六次超曲面的双重覆盖）或类型 B（在 ℙ⁵ 中度数为 6 至 12 的超曲面的双有理等价对象）。作者猜想类型 B 不存在，并通过霍奇理论与双有理几何的论证提供了强有力证据，其中包括关于包含平面的三次 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-流形是否可形变为 ℙ⁵ 中六次超曲面的双重覆盖（类型 A），或可双有理等价于 ℙ⁵ 中度数不超过 12 的超曲面（类型 B）。
• 研究类型 B 4-流形的存在性，猜想其不存在。
• 建立与超平面类相关的有理映射的像的霍奇理论与双有理几何约束。

提出的方法

• 利用周期映射的满射性与 Huybrechts 的投影性准则，将给定的 4-流形形变为满足关键上同调与霍奇理论性质的对象。
• 应用 Hirzebruch-Riemann-Roch 公式与 Kodaira 有理消去定理，证明存在一个非常 ample 的除子 H，使得 ∫c₁(H)⁴ = 12 且 h⁰(𝒪(H)) = 6。
• 证明超平面类 H 生成 H¹¹_ℤ(X)，且 H⁴(X) 不含意外的霍奇子结构。
• 利用线性系统 |H| 的不可约性，分析有理映射 f: X ⇢ ℙ⁵ 及其像 Y。
• 通过反证法排除 Y 为度数 ≤6 的 3-流形或度数 ≤4 的 4-流形的情况，利用霍奇结构约束与分歧除子的结构。
• 证明若一个四次 4-流形的奇点维数 ≥3，则其必包含一个平面，并利用此结论排除到四次超曲面的度数为 3 的映射。

实验结果

研究问题

• RQ1 每个数值 (K3)^[2] 4-流形是否都形变等价于 ℙ⁵ 中六次超曲面的双重覆盖（类型 A）？
• RQ2 是否存在数值 (K3)^[2] 4-流形，其双有理等价于 ℙ⁵ 中度数在 6 到 12 之间的超曲面（类型 B）？
• RQ3 对于一个数值 (K3)^[2] 4-流形 X，若 |H| 的维数为 5，其有理映射 f: X ⇢ |H|∨ 的像具有怎样的霍奇理论与双有理几何约束？
• RQ4 在给定的上同调条件下，若存在一个度数为 3 的有理映射 f: X → Y 到 ℙ⁵ 中的四次超曲面 Y，是否会导致矛盾？
• RQ5 对于 ℙ⁵ 中不包含平面的三次 4-流形，其几何结构（特别是其霍奇结构）可作何结论？

主要发现

• 任意一个数值 (K3)^[2] 4-流形均可形变为类型 A（六次超曲面的双重覆盖）或类型 B（在 ℙ⁵ 中度数为 6 至 12 的超曲面的双有理等价对象）的 4-流形。
• 在形变后的 4-流形上，超平面类 H 满足 ∫c₁(H)⁴ = 12 且 h⁰(𝒪(H)) = 6，这意味着有理映射 f: X ⇢ ℙ⁵ 是由维数为 5 的线性系统定义的。
• 映射 f 的像 Y 不可能是度数 ≤6 的 3-流形，或度数 ≤4 的 4-流形，除非 Y 是一个正规的四次 4-流形，此时需使用特殊论证。
• 若一个 4-流形 X 允许一个到四次超曲面 Y ⊂ ℙ⁵ 的度数为 3 的映射 f: X → Y，则 Y 必须包含一个平面；若 Y 假设为奇点维数 ≥3 的奇异流形，则此结论导致矛盾。
• 若一个四次 4-流形 Y ⊂ ℙ⁵ 满足 dim(sing Y) ≥ 3，则其必包含一个平面，此结论通过从一个二次曲面 3-流形投影并应用 Debarre-Manivel 关于两个二次曲面的完全交定理得到证明。
• 本文提供了强有力的证据表明类型 B 4-流形不存在，并猜想所有数值 (K3)^[2] 4-流形均形变等价于类型 A 4-流形。