[论文解读] Intersection numbers of extremal rays on holomorphic symplectic varieties

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Sep 25, 2009

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

一句话总结

本文提出一个普遍适用的有理常数 $ c_X $，用于控制不可约全纯对称形式流形上极小射线的交数，推广了K3曲面的情形。证明了曲线的伪有效锥 $ \overline{\mathrm{NE}}_1(X) $ 由满足 $ (R,R) \geq -c_X $ 且与极化类正交的类 $ R \in \mathrm{N}_1(X,\mathbb{Z}) $ 生成，该结论在点态希尔伯特概形 $ S^{[n]} $ 和库默尔簇 $ K_n(A) $ 上成立，其中分别有 $ c_X = (n+3)/2 $ 和 $ c_X = 2/(g+1) $。

ABSTRACT

We propose a general framework governing the intersection properties of extremal rays of irreducible holomorphic symplectic manifolds under the Beauville-Bogomolov form. Our main thesis is that extremal rays associated to Lagrangian projective subspaces control the behavior of the cone of curves. We explore implications of this philosophy for examples like Hilbert schemes of points on K3 surfaces and generalized Kummer varieties. We also collect evidence supporting our conjectures in specific cases.

研究动机与目标

• 将K3曲面上 ample 与伪有效锥的显式描述推广至更高维不可约全纯对称流形。
• 识别一个仅依赖于 $ X $ 的形变类型的普遍有理常数 $ c_X $，以界定极小曲线类的自交数。
• 通过交数理论条件刻画有效曲线锥 $ \mathrm{NE}_1(X) $：$ (R,R) \geq -c_X $ 且对极化类 $ g $ 满足 $ R \cdot g > 0 $。
• 验证特定形变类型（点态希尔伯特概形 $ S^{[n]} $、库默尔簇 $ K_n(A) $、拉格朗日 $ \mathbb{P}^n $-纤维丛）上的猜想。
• 将极小射线的几何结构与双有理收缩（特别是除子性收缩）联系起来，并确定有效除子锥的结构。

提出的方法

• 利用 $ H^2(X,\mathbb{Z}) $ 上的 Beauville-Bogomolov 形式，在 $ H_2(X,\mathbb{Z}) $ 上定义一个取值于 $ \mathbb{Q} $ 的交数形式，该形式控制曲线与除子的交数。
• 对于希尔伯特概形 $ S^{[n]} $，将 $ H^2(X,\mathbb{Z}) $ 分解为 $ H^2(S,\mathbb{Z}) \oplus_\perp \mathbb{Z}\delta $，其中 $ (\delta,\delta) = -2(n-1) $，并对其对偶 $ \delta^\vee $ 满足 $ (\delta^\vee,\delta^\vee) = -1/2(n-1) $。
• 对于库默尔簇 $ K_n(A) $，利用由 $ \Theta $ 和 $ e $ 生成的尼隆-塞弗尔群，其中 $ (\Theta,\Theta) = 2g-2 $，$ (e,e) = -2(g+1) $，并分析相对雅可比簇纤维上的族。
• 将极小射线 $ R $ 构造为曲线上线丛模空间上 $ \mathbb{P}^k $-丛的横截类，通过与 $ \Theta $ 和 $ e $ 的交数计算 $ (R,R) $。
• 定义 $ \rho = kR $ 为 $ \mathrm{H}^2(X,\mathbb{Z}) $ 中最小的正倍数，并验证 $ (\rho,\rho) = (e,e) $，从而与普遍常数 $ c_X $ 建立联系。
• 利用形变理论与曲线模空间，构造长度固定的子概形 $ Z \subset A $ 的族，纤维化于雅可比簇上，将极小射线实现为 $ \mathbb{P}^1 $-丛的纤维。

实验结果

研究问题

• RQ1 对于全纯对称流形 $ X $，是否存在一个普遍的有理常数 $ c_X $，使得所有极小曲线类 $ R \in \overline{\mathrm{NE}}_1(X) $ 满足 $ (R,R) \geq -c_X $？
• RQ2 如何通过涉及极化类 $ g $ 的交数理论条件来描述伪有效锥 $ \overline{\mathrm{NE}}_1(X) $？
• RQ3 猜想 $ \mathrm{NE}_1(X) = \langle R \in \mathrm{N}_1(X,\mathbb{Z}) : (R,R) \geq -c_X, R \cdot g > 0 \rangle $ 是否对形变类型如 $ S^{[n]} $ 和 $ K_n(A) $ 成立？
• RQ4 具有负自交数的极小射线的几何意义是什么？它们与双有理收缩有何关联？
• RQ5 能否从相关收缩的几何结构显式计算极小射线 $ R $ 的交数 $ (R,R) $？

主要发现

• 当 $ X $ 与 $ S^{[n]} $ 形变等价时，曲线的伪有效锥为 $ \mathrm{NE}_1(X) = \langle R \in \mathrm{N}_1(X,\mathbb{Z}) : (R,R) \geq -(n+3)/2, R \cdot g > 0 \rangle $，其中 $ c_X = (n+3)/2 $。
• 当 $ X = K_n(A) $ 时，常数 $ c_X = 2/(g+1) $，且来自雅可比簇上 $ \mathbb{P}^1 $-丛的极小射线 $ R $ 满足 $ (R,R) = -2/(g+1) $，与 $ c_X $ 一致。
• 在 $ (1,g) $-极化情形下，库默尔簇 $ K_n(A) $ 的极小射线 $ R = \Theta - \frac{g}{g+1}e $ 满足 $ (R,R) = -2/(g+1) $，且 $ \rho = (g+1)R $ 满足 $ (\rho,\rho) = -2(g+1) = (e,e) $。
• 当 $ X = K_n(A) $ 且 $ A = E_1 \times E_2 $ 时，$ \mathbb{P}^n $-纤维丛中的直线 $ \ell $ 满足 $ R = E_1 - \frac{1}{2}e $，且 $ (R,R) = -(n+1)/2 $，故 $ c_X = (n+1)/2 $，而 $ \rho = 2R $ 满足 $ (\rho,\rho) = -2(n+1) = (e,e) $。
• 在所有研究的情形中，极小射线 $ R $ 的最小正倍数 $ \rho $ 均满足 $ (\rho,\rho) = (e,e) $，支持了常数 $ c_X $ 的普遍性。
• 来自 $ (2g-2) $-维线丛模空间上 $ \mathbb{P}^1 $-丛的极小射线 $ R $ 满足 $ R = \Theta - \frac{g}{g+1}e $，且 $ (R,R) = -2/(g+1) $，证实了对 $ K_g(A) $ 的猜想。