[论文解读] Mori cones of holomorphic symplectic varieties of K3 type

Arend Bayer, Brendan Hassett+1 more|arXiv (Cornell University)|Jul 8, 2013

Algebraic Geometry and Number Theory参考文献 32被引用 14

一句话总结

本文通过利用 Markman 的扩展 Hodge 格和 Bridgeland 稳定性条件，确定了与 K3 表面的点态 Hilbert 模丛变形等价的全纯辛流形的 Mori 锥。研究发现，极射线对应于扩展格对偶中满足特定正性和整数性条件的类，通过可移动锥分解和并行传输，实现了完整的双有理分类。

ABSTRACT

We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.

研究动机与目标

• 描述与 K3 表面的点态 Hilbert 模丛 $S^{[n]}$ 变形等价的全息辛流形的 Mori 锥。
• 将关于 K3 表面上层的模空间的有效锥和 nef 锥的已知结果，推广至 $S^{[n]}$ 的所有变形类型。
• 以 Markman 的扩展 Hodge 格 $\widetilde{\Lambda}$ 为基础，系统地给出极射线的格理论表征。
• 通过可移动锥和墙-墙分解，实现完整的双有理分类。

提出的方法

• 利用 Markman 的扩展 Hodge 格 $\widetilde{\Lambda}$，其在 $H^2(X,\mathbb{Z})$ 的基础上通过一个平方为 $2n-2$ 的秩一正交补进行扩展。
• 应用并行传输算子将 $X$ 变形为一个 Hilbert 模丛 $X'$，使得类变为代数类，从而可应用模空间的已知结果。
• 利用 Bridgeland 稳定性条件及墙交叉理论分析极射线和有效曲线。
• 利用 $\widetilde{\Lambda}$ 的 Torelli 型定理，将双有理等价性与保持 $H^2(X,\mathbb{Z})$ 的 Hodge 同构联系起来。
• 应用推论 6 将流形变形至一个双有理模型 $X''$，使得某类的像满足正性或反射性质，从而确保其极性。
• 依赖于可移动锥具有墙-墙分解的性质，其房间对应于标记极小模型的 nef 锥。

实验结果

研究问题

• RQ1 对于与 $S^{[n]}$ 变形等价的全息辛流形，Mori 锥的完整描述是什么？
• RQ2 如何利用扩展 Hodge 格 $\widetilde{\Lambda}$ 的格理论数据表征 Mori 锥中的极射线？
• RQ3 哪些类属于 $H_2(X,\mathbb{Z})$ 对应于有效曲线，且在何种条件下它们是极射线？
• RQ4 能否通过可移动锥及其房间分解，完全分类此类流形的双有理几何？
• RQ5 Bridgeland 稳定性条件与并行传输算子如何相互作用，以确定 Mori 锥的结构？

主要发现

• 与 $S^{[n]}$ 变形等价的 $X$ 的 Mori 锥完全由类 $R = \theta^\vee(a)$ 确定，其中 $a \in \widetilde{\Lambda}_{X,\text{alg}}$ 满足 $a^2 = 2n-2$，$(a,h) > 0$，且 $(a,\delta) \geq -2$。
• 极射线来源于扩展格 $\widetilde{\Lambda}$ 中满足正性与整数性条件的代数类 $a$，这些条件是有效曲线所必需的。
• 可移动锥被分解为房间，每个房间对应一个标记极小模型，墙由极射线正交补给出。
• 证明表明，任何满足上述条件的 $R = \theta^\vee(a)$ 都是有效且极射线的，其依据是变形至 Hilbert 模丛及稳定性条件。
• 结果证实，$X$ 的双有理几何由扩展 Hodge 格 $\widetilde{\Lambda}$ 所控制，推广了来自层模空间的已知结果。
• 该表征是 nef 锥的对偶，通过格理论约束，提供了曲面锥的完整描述。