[论文解读] Good degeneration of Quot-schemes and coherent systems

Jun Li, Baosen Wu|arXiv (Cornell University)|Oct 3, 2011

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

一句话总结

该论文利用展开扩张的堆栈构造了射影三复形上 Quot-概形与相干系统的好退化，证明其构成有限型的合适、分离的 Deligne-Mumford 堆栈。关键结果是通过在展开对的相对理想层模空间上的虚拟卡特尔除子结构，建立了理想层的唐纳森-托马斯不变量与 PT 稳定对不变量的退化公式。

ABSTRACT

We construct good degenerations of Quot-schemes and coherent systems using the stack of expanded degenerations. We show that these good degenerations are separated and proper DM stacks of finite type. Applying to the projective threefolds, we derive degeneration formulas for DT-invariants of ideal sheaves and PT stable pair invariants.

研究动机与目标

• 利用展开扩张的堆栈，在三复形的简单退化上构造 Quot-概形与相干系统的良好退化。
• 证明这些退化构成有限型的合适、分离的 Deligne-Mumford 堆栈。
• 推导射影三复形上理想层的唐纳森-托马斯不变量与 PT 稳定对不变量的退化公式。
• 定义展开对上理想层的相对模空间，并在中心纤维上构造虚拟卡特尔除子结构。
• 建立涉及奇异点上到希尔伯特概形的取值映射的纤维积公式，从而通过拼接数据计算不变量。

提出的方法

• 利用展开扩张的堆栈，在三复形族的简单退化上构造相对 Quot-概形的良好退化。
• 将中心纤维定义为在展开退化 $X[n]_0$ 中，相对于奇异点正常且具有有限自同构群的闭子概形集合，其希尔伯特多项式固定。
• 利用堆栈 $π: π_{∞} → π_{∞}$，在展开对 $(Y_\bullet, D_\bullet)$ 上构造相对理想层的模堆栈，其中 $D_\bullet$ 为奇异点。
• 通过限制到 $D_\pm$，从相对模空间定义到奇异点 $D$ 的希尔伯特概形的取值态射。
• 构造纤维积 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger} = \mathfrak{I}^{\delta_-}_{\mathfrak{Y}_- / \mathfrak{A}_\diamond} \times_{\mathrm{Hilb}_D^{\delta_0}} \mathfrak{I}^{\delta_+}_{\mathfrak{Y}_+ / \mathfrak{A}_\diamond}$，其在总模空间中构成一个虚拟卡特尔除子。
• 通过研究展开扩张的堆栈结构并分析 $A = \mathbf{k}[t,z_1,z_2]/(z_1 z_2)$ 上的等变模，证明中心纤维是有限型的合适、分离的 Deligne-Mumford 堆栈。

实验结果

研究问题

• RQ1 如何在三复形的简单退化上构造 Quot-概形与相干系统的良好退化？
• RQ2 此类退化的中心纤维的堆栈结构为何？其是否合适且分离？
• RQ3 能否从该构造推导出理想层的唐纳森-托马斯不变量的退化公式？
• RQ4 当退化为两个光滑三复形分量的并时，PT 稳定对不变量的行为如何？
• RQ5 到奇异点上希尔伯特概形的取值映射在拼接两个分量的不变量时起什么作用？

主要发现

• 在简单退化上，Quot-概形的良好退化是有限型的合适、分离的 Deligne-Mumford 堆栈。
• 退化的中心纤维被描述为展开退化 $X[n]_0$ 中相对于奇异点正常且具有有限自同构群的闭子概形的商。
• 在展开对 $(Y_\pm, D_\pm)$ 上的相对理想层模空间是有限型的合适、分离的 Deligne-Mumford 堆栈。
• 到希尔伯特概形 $\mathrm{Hilb}_D^{\delta_0}$ 的取值态射是良定义的，且与拼接构造相容。
• 纤维积 $\mathfrak{I}^{\delta}_{\mathfrak{X}_0^\dagger/\mathfrak{C}_0^\dagger}$ 在总模空间 $\mathfrak{I}^P_{\mathfrak{X}/\mathfrak{C}}$ 中构成一个虚拟卡特尔除子。
• DT 不变量与 PT 稳定对不变量的退化公式表示为对分裂 $\delta = (\delta_-, \delta_0, \delta_+)$ 的求和，其贡献来自相对模空间的纤维积。