[论文解读] Bridgeland-Stable Moduli Spaces for K-Trivial Surfaces

Daniele Arcara, Aaron Bertram+1 more|ArXiv.org|Aug 16, 2007

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

一句话总结

本文通过在导出范畴上定义一个一参量稳定性条件族，构建了K-平凡曲面——特别是K3曲面和阿贝尔曲面——的布里格兰德-稳定模空间。它利用稳定性参数变化时的墙穿跃行为，通过Mukai翻转和全息层的广义初等变换构造了精细模空间，从而得到相对雅可比簇的新双有理模型，并自然推广了Thaddeus对曲线的稳定对构造。

ABSTRACT

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable objects via Mukai flops and generalized elementary modifications of the universal coherent sheaf. We also discover a natural generalization of Thaddeus' stable pairs for curves embedded in the moduli spaces.

研究动机与目标

• 在Picard秩为一的光滑射影K-平凡曲面上，定义导出范畴上自然的一参量布里格兰德稳定性条件族。
• 描述具有与 $\mathcal{O}_C(H)$ 相同陈类的物象在 $C \in |H|$ 时，随着稳定性参数变化的墙穿跃行为。
• 通过Mukai翻转在稳定性参数 $t$ 穿越临界墙时，构造布里格兰德-稳定对象的精细模空间。
• 将Thaddeus的稳定对构造推广到稳定对象模空间的导出范畴设定中。
• 通过广义初等变换和线丛扭量，建立模空间上普遍相干层的存在性。

提出的方法

• 使用指数陈示性类和复化极化类 $D+iF$，在导出范畴的K-群上定义中心化量 $Z$，其中 $F=tH$ 且 $D=\frac{1}{2}H$。
• 在导出范畴 $\mathcal{D}(S)$ 上构造一个塔结构，其心 $\mathcal{A}^\#$ 与 $Z$ 兼容，从而形成布里格兰德稳定性条件。
• 分析当 $t$ 变化时，具有陈特征 $\mathrm{ch}(E) = H + H^2/2$ 的物象的墙穿跃行为，识别出稳定性发生变化的临界值。
• 利用心 $\mathcal{A}^\#$ 中的Hartshorne-Narasimhan和Jordan-Hölder滤子对稳定物象进行分类，并追踪其在墙之间的不稳定化过程。
• 通过涉及 $\mathcal{O}_S(H)$、$\mathcal{O}_S[1]$ 和 $i_*\mathcal{O}_C(H)$ 的典型三角形，对全息层进行修改，利用Mukai翻转构造模空间。
• 通过线丛扭量匹配不同双有理模型间的全息族，利用相对Picard群和余维数一的匹配确保兼容性。

实验结果

研究问题

• RQ1 当一参量布里格兰德稳定性条件族中的稳定性参数 $t$ 变化时，具有陈特征 $H + H^2/2$ 的物象的稳定性如何变化？
• RQ2 在心 $\mathcal{A}^\#$ 中，$i_*\mathcal{O}_C(H)$ 何时变得不稳定？它被何种稳定物象所取代？
• RQ3 能否通过由墙穿跃触发的Mukai翻转，系统地将K-平凡曲面的相对雅可比簇变形为新的双有理模空间？
• RQ4 如何在布里格兰德-稳定对象的模空间上构造一个普遍相干层？它在翻转过程中如何变换？
• RQ5 是否存在一个自然源于K3或阿贝尔曲面上墙穿跃结构的导出范畴推广的Thaddeus稳定对构造？

主要发现

• 当 $t > \frac{1}{2}$ 时，$\mathcal{O}_S(H)$ 在 $\mathcal{A}^\#$ 中是稳定的；而当 $t < \frac{1}{2}$ 时，$i_*\mathcal{O}_C(H)$ 变得不稳定，被形如 $0 \to \mathcal{O}_S[1] \to E \to \mathcal{O}_S(H) \to 0$ 的扩张所取代，其中参数空间为 $\mathbb{P}(H^0(S, \mathcal{O}_S(H))^*) \cong \mathbb{P}^{g-1}$。
• 布里格兰德-稳定对象的模空间通过一系列Mukai翻转被构造为精细模空间，每个对应于稳定性参数 $t$ 的一次墙穿跃事件。
• 模空间上的全息层通过广义初等变换获得，其结构由涉及 $\mathcal{I}_{\mathcal{Z}_{12}}(H)$ 和 $\mathcal{I}_{\mathcal{Z}_{13}}^\vee[1]$ 的典型三角形编码。
• 模空间在 $S^{[d]} \times S^{[d]}$ 上的相对Picard群由 $\mathcal{O}_{\mathbb{P}^{g-2d}}(1)$ 的拉回生成，确保了在双有理模型之间的兼容性。
• 在 $S \times \mathcal{M}$ 上存在一个Poincaré型全息层 $\mathcal{U}$，满足 $\mathcal{U}|_{S \times \mathbb{P}_d} \cong \mathcal{E}_d \otimes \mathcal{L}$，其中 $\mathcal{L}$ 是 $S^{[d]} \times S^{[d]}$ 上的某个线丛，确保了在翻转过程中全息族的一致性。
• 该构造自然推广了Thaddeus对曲线的稳定对构造，其形式为导出范畴中具有与 $\mathcal{O}_C(H)$ 相同不变量的稳定对象。