[论文解读] Stable pairs on curves and surfaces

Daniel Huybrechts, Manfred Lehn|ArXiv.org|Nov 9, 1992

Algebraic Geometry and Number Theory参考文献 8被引用 100

一句话总结

本文通过几何不变性理论（GIT）建立了光滑射影曲线与曲面上稳定对 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$ 的精细准射影模空间的存在性，引入了一个以多项式 $\delta$ 参数化的稳定性条件。主要贡献在于对带框架丛与希格斯对的模空间进行了紧化，将先前关于代数空间的结果推广至准射影概形。

ABSTRACT

We describe stability conditions for pairs consisting of a coherent sheaf and a homomorphism to a fixed coherent sheaf on a projective variety. The corresponding moduli spaces are constructed for pairs on curves and surfaces. We consider two examples. The fixed sheaf is the structure sheaf or is a vector bundle on a divisor, i.e. Higgs pairs or framed bundles, resp. (unencoded version)

研究动机与目标

• 构建光滑射影曲线与曲面上稳定对 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$ 的精细准射影模空间。
• 通过引入参数 $\delta$ 推广对的稳定性概念，扩展经典向量丛的稳定性。
• 提供带框架丛与希格斯对模空间的紧化，此前这些模空间仅被构造为代数空间。
• 通过对偶化与稳定性条件，建立带框架丛、层结构与希格斯对之间的联系。
• 将波戈莫洛夫限制定理推广至曲面上高次曲线上的稳定对。

提出的方法

• 通过涉及希尔伯特多项式与子层秩的两个不等式，基于多项式 $\delta > 0$ 定义对 $({\cal E}, \alpha)$ 的稳定性。
• 利用几何不变性理论（GIT）构造曲线与曲面上稳定对的射影模空间。
• 运用有界性结果与截面稳定性，确保精细模空间的存在性。
• 通过不变量理论分析模空间构造，证明技术性命题1.18以保证良态性与分离性。
• 对希格斯对构造进行对偶化，获得映射到 $\mathcal{O}_X$ 的带框架丛，通过扭性自由层实现紧化。
• 应用稳定性参数 $\delta$ 在极限下逼近半稳定丛的模空间，推广塔德乌斯对曲面的方法。

实验结果

研究问题

• RQ1 能否为曲线与曲面上的稳定对 $({\cal E}, \alpha: {\cal E} \to {\cal E}_0)$ 构造一个准射影模空间？
• RQ2 对的稳定性条件如何依赖于附加参数 $\delta$，其几何意义为何？
• RQ3 能否在此框架下对带框架丛的模空间实现紧化并证明其为准射影概形？
• RQ4 在模空间语境下，希格斯对及其对偶与带框架丛及层结构有何关联？
• RQ5 稳定对在限制到高次曲线时的行为如何？是否存在类似波戈莫洛夫的不等式？

主要发现

• 对于光滑射影曲线与曲面，存在关于多项式 $\delta$ 的稳定对 $({\cal E}, \alpha)$ 的精细准射影模空间，如定理1.21所述。
• 模空间可通过包含扭性自由层的对自然紧化，将构造从局部自由层推广至更广范围。
• 当 ${\cal E}_0 \cong \mathcal{O}_X$ 时，稳定对对应于希格斯对，且曲线上秩为二的希格斯对模空间被实现为一个准射影概形。
• 对于满足 ${\cal E}_0 \cong \mathcal{O}_C^{\oplus r}$ 的带框架丛，当 $\delta_1 < (r-1)(C.H)$ 时，模空间为准射影概形，推广了早期结果。
• 条件 $\max_{0<s<r} \left\{ \frac{r s}{r-s} \sum a_i \nu_s({\cal E}_0, C_i) \right\} < \delta_1 < (r-1)(C.H)$ 确保了带框架丛的 $\mu$-稳定性，从而证明了模空间的准射影性。
• 本文将波戈莫洛夫限制定理推广至稳定对，表明稳定对在足够高次的曲线上限制为稳定丛。