[论文解读] Higher-dimensional analogues of K3 surfaces

Kieran G. O’Grady|arXiv (Cornell University)|May 18, 2010

Algebraic Geometry and Number Theory参考文献 84被引用 6

一句话总结

本文研究了K3曲面的高维类比，重点关注双复结构（HK）流形，特别是与K3曲面的希尔伯特平方形变等价的流形。研究证明，数值型$K3^{[2]}$流形——即其整系数上同调环与$K3^{[2]}$匹配的流形——表现出K3类性质：无阻碍形变、通过节点类描述的凯勒锥，以及双EPW六次曲面和四次超曲面的强全局Torelli定理。

ABSTRACT

In the first part we survey some of the known results and conjectures on compact Hyperkaehler (HK) manifolds. In the second part we presents a program which aims to show that HK four-folds whose second cohomology (with 4-tuple cup-product) is isomorphic to that of the Hilbert square of a K3 enjoy many of the beautiful properties of K3 surfaces, in particular they should form a single deformations class.

研究动机与目标

• 将K3曲面的基础性质——形变等价性、凯勒锥描述和全局Torelli定理——推广至高维双复结构流形。
• 定义并研究“数值型$K3^{[2]}$”流形，即其上同调环同构于$K3^{[2]}$的流形。
• 证明双EPW六次曲面和四次超曲面满足强全局Torelli定理，与K3情形相一致。
• 分析双EPW六次曲面的周期映射，并通过周期域和GIT稳定性将其与四次超曲面的模空间联系起来。

提出的方法

• 利用Beauville-Bogomolov形式与Hodge理论工具，通过与$K3^{[2]}$的上同调同构来定义数值型$K3^{[2]}$流形。
• 应用周期映射$rak{p}$于双EPW六次曲面，并分析其在周期域$rak{D}$中的像，识别出关键子集如$rak{M}^{ADE}$和$rak{N}^{ADE}$。
• 采用希尔伯特概形$S^{[2]}$和广义Kummer构造作为$K3^{[2]}$型双复结构流形的模型情形。
• 通过节点类$rak{N}_X$分析凯勒锥，其中节点类定义为自交为$-2$且与凯勒类正交的整系数$(1,1)$类。
• 将K3曲面上的无穷小Torelli定理与Riemann-Roch定理应用于$rak{N}^{ADE}$和$rak{T}^{ADE}$，推导出周期映射的单射性与有限性。
• 改编Voisin对四次超曲面的论证，表明周期映射的有限纤维与单射性意味着其度为1，暗示全局Torelli定理成立。

实验结果

研究问题

• RQ1 由与$K3^{[2]}$上同调同构定义的数值型$K3^{[2]}$流形是否继承了K3曲面的形变与Torelli性质？
• RQ2 双EPW六次曲面的周期映射在ADE奇点集上是否单射，且是否具有有限纤维？
• RQ3 在GIT稳定性假设下，能否证明双EPW六次曲面的周期映射度为1，从而推出强全局Torelli定理？
• RQ4 双EPW六次曲面与四次超曲面的周期映射如何比较？它们的模空间与除子结构存在何种类比？
• RQ5 凯勒锥在刻画$K3^{[2]}$型双复结构流形几何性质中起何作用？

主要发现

• 任何双复结构流形的形变空间光滑，维数为$h^1(T_X)$，确认了与K3情形一致的无阻碍形变。
• $K3^{[2]}$型双复结构流形的凯勒锥被刻画为实$(1,1)$类的集合，其自交为正，且与所有自交为$-2$的节点类正交。
• 双EPW六次曲面的周期映射$rak{p}$在$rak{N}^{ADE}$上是单射，其像包含周期域中的一个不可约分支${b S}_2^lat$。
• $rak{p}$在$rak{N}^{ADE}$上的限制是无分支的，且具有有限纤维；在假设$rak{M} \backslash rak{M}^lat$的余维数至少为7的条件下，$rak{p}$的度为1。
• 在$|{rak O}_{{b P}^5}(3)|^{spl}$中的四次超曲面的周期映射具有纤维基数为1，Voisin的全局Torelli结果表明该周期映射是双有理的。
• $rak{M}^{ADE}$参数化具有ADE奇点的双EPW六次曲面，且周期映射限制在$rak{M}^{ADE}$上是有限且单射的，暗示该类流形满足强Torelli性质。