[论文解读] The MMP for deformations of Hilbert schemes of points on the projective plane

Chunyi Li, Xiaolei Zhao|arXiv (Cornell University)|Dec 6, 2013

Nonlinear Waves and Solitons参考文献 5被引用 20

一句话总结

本文在射影平面点的希尔伯特概形的有效锥中，建立了布里奇兰稳定性墙与稳定基 locus 墙之间的完整对应关系，证明了在不同墙之间模空间的 $σ$-稳定复形是光滑的、不可约的且彼此有理等价。通过几何不变理论（GIT）确认了墙交叉对应于翻转（flips），解决了这些模空间在双有理几何中的一个关键问题，并给出了以稳定性参数表示的基 locus 墙的显式公式。

ABSTRACT

We study the birational geometry of deformations of Hilbert schemes of points on the projective plane P2. We complete the picture in the paper of Daniele Arcara, Aaron Bertram, Izzet Coskun and Jack Huizenga by giving an explicit correspondence between the stable base locus walls on the Neron-Severi space and the actual walls on the Bridgeland stability space. We show that the birational geometry of a deformed Hilb P2 is different from that of Hilb P2.

研究动机与目标

• 通过在尼龙-塞弗空间中显式关联布里奇兰稳定性墙与稳定基 locus 分解墙，完成对 $P^2$ 上点的希尔伯特概形的双有理几何程序。
• 通过证明当 $σ$ 不在任何墙上时，模空间 $Σ_{σ}(n)$ 是光滑且不可约的，解决模空间程序中的第一个问题——即确定模空间 $Σ_{σ}(n)$ 何时为光滑不可约代数簇。
• 证明同一墙内不同稳定性条件所对应的模空间彼此有理等价，且墙交叉诱导了关于一个充分线丛的翻转。
• 为布里奇兰稳定性空间中每个半圆墙（尤其在第二象限）在有效锥中对应的稳定基 locus 墙提供显式公式。
• 表明形变希尔伯特概形的双有理几何与原始希尔伯特概形 Hilb^n(P^2) 不同，凸显了稳定性条件在塑造模空间结构中的作用。

提出的方法

• 作者使用几何不变理论（GIT）将模空间 $Σ_{σ}(n)$ 构造为商空间，当 $σ$ 不在任何墙上时，确保其光滑性与不可约性。
• 他们分析墙交叉映射的例外集，并利用变性 GIT（VGIT）框架，证明每个墙交叉对应于关于一个充分线丛的翻转。
• 通过在墙室边界处计算特征 $ρ_{s,t,k}$，他们推导出尼龙-塞弗空间中对应除子的显式表达式，例如中心位于 $-m - \frac{3}{2}$ 的墙上对应的 $mH - \frac{\Delta}{2}$。
• 他们采用 quiver 表示和 $D^b(Coh(P^2))$ 上的稳定性条件，聚焦于数值类型 $(1,0,1-n)$，对不稳定子复形进行分类，并推导出墙候选的必要不等式。
• 通过递归计算系数 $A_k$ 和 $B_k$，在 $t \to 0^+$ 的极限下确定除子类，从而得到以 $s$、$n$ 和 $k$ 表示的基 locus 墙的显式公式。
• 他们应用一组不等式（引理 4.3）以限制可能的不稳定子复形类型，确保仅相关候选者参与墙的计算。

实验结果

研究问题

• RQ1 布里奇兰稳定性空间中的墙与 Hilb^n(P^2) 的尼龙-塞弗空间中稳定基 locus 分解墙之间存在何种精确对应关系？
• RQ2 在何种条件下，$σ$-稳定复形的模空间 $Σ_{σ}(n)$ 是光滑且不可约的？
• RQ3 形变希尔伯特概形的双有理几何与原始希尔伯特概形 Hilb^n(P^2) 有何不同？
• RQ4 布里奇兰稳定性空间中的墙交叉是否可在极小模型程序（MMP）的意义下实现为翻转？
• RQ5 如何显式描述布里奇兰稳定性空间中给定半圆墙在有效锥中对应的基 locus 墙？

主要发现

• 当 $σ$ 不在任何墙上时，模空间 $Σ_{σ}(n)$ 是光滑且不可约的，维数为 $2n$；否则为空集。
• 当 $σ$ 与 $σ'$ 均不在任何墙上时，若两者均非空，则 $Σ_{σ}(n)$ 与 $Σ_{σ'}(n)$ 彼此有理等价。
• 布里奇兰稳定性空间中的每道墙交叉均对应于关于一个充分线丛的翻转，从而在稳定性墙与基 locus 墙之间建立了唯一对应关系。
• 对于位于第二象限、中心在 $-m - \frac{3}{2}$ 的半圆墙，其对应的基 locus 墙由除子 $mH - \frac{\Delta}{2}$ 张成。
• 在 $t \to 0^+$ 的极限下，除子类为 $-2s(2n - (k-1)(k+1))\left(\left(-\frac{2n+s^2}{2s} - \frac{3}{2}\right)H - \frac{1}{2}\Delta\right)$，与预期的基 locus 墙一致。
• 作者推导出一组不等式（引理 4.3），限制了不稳定子复形的可能类型，确保仅相关墙对基 locus 分解有贡献。