[论文解读] A relation between higher-rank PT stable objects and quotients of coherent sheaves

Jason Lo|arXiv (Cornell University)|Oct 2, 2018

Algebraic structures and combinatorial models参考文献 23被引用 1

一句话总结

本论文在光滑射影三fold的有界导出范畴中，建立了从高秩PT稳定对象到相干层商的函子F，证明在秩与次数互素条件下该函子本质上是满射。其核心贡献是通过一种推广秩一稳定对的对偶构造，将Toda的高秩DT/PT对应关系与Gholampour-Kool的商概形公式联系起来。

ABSTRACT

On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series of topological Euler characteristics of two types of quot schemes.

研究动机与目标

• 在光滑射影三fold上，建立高秩PT稳定对象与相干层商之间的范畴桥梁。
• 统一Toda的高秩DT/PT对应关系与Gholampour-Kool的商概形生成函数公式。
• 利用导出范畴技巧与对偶性，将秩一稳定对的构造推广至高秩对象。
• 分析所构造函子的纤维，厘清导出范畴中的同构与相干层态射范畴中同构的区别。
• 将已知的通过Cohen-Macaulay曲线理想层构造稳定对的方法推广至高秩层商，从而生成高秩PT稳定对象。

提出的方法

• 定义D^b(Coh(X))中两段复形的范畴E₀，其上同调位于-1与0度，包含所有PT半稳定对象。
• 构造一个反变函子F: E₀ → ∐_{F ∈ Coh(X), hd(F)≤1} S(Ext¹(F, O_X))^{op}，将对象映射到0维层的满同态。
• 在秩与次数互素的假设下证明F的实质满射性，将PT稳定对象与Gholampour-Kool公式中的商联系起来。
• 利用导出范畴中的对偶性与正四面体公理，将函子F与从层商构造高秩PT稳定对象的构造联系起来。
• 使用同调技术与正合三角形分析F的纤维，区分D^b(X)中的同构与Coh(X)中态射范畴的同构。
• 通过构建由Ext²(K, O_X)构成的两段复形，将秩一稳定对的构造（通过Ext¹(IC, O_X) ։ Q）推广至高秩，其中K = ker(q)。

实验结果

研究问题

• RQ1 如何系统地将高秩PT稳定对象与相干层的商联系起来？
• RQ2 能否通过导出范畴构造，将Gholampour-Kool的商概形公式与Toda的高秩DT/PT对应关系联系起来？
• RQ3 导出范畴中的同构与相干层态射范畴中的同构之间的确切关系是什么？
• RQ4 如何将秩一稳定对的构造推广，以生成高秩PT稳定对象？
• RQ5 将PT稳定对象映射到商的函子F的纤维结构是怎样的？

主要发现

• 函子F: E₀ → ∐_{F, hd(F)≤1} S(Ext¹(F, O_X))^{op} 是本质上满射的，建立了高秩PT稳定对象与相干层商之间的范畴联系。
• 在秩r与Dω²互素的假设下，F限制在ch₀ = −r且ch₁ = −D的PT稳定对象上时，同样是本质上满射的。
• 从满同态q: Ext¹(H⁻¹(E), O_X) ։ Q构造的两段复形H⁻¹(E)∗∗ → Ext²(K, O_X)，当H⁻¹(E)为无扭且其双重对偶为局部自由时，可生成高秩PT稳定对象。
• 该两段复形中的态射s恰好对应于正合三角形(H⁻¹(E)∗)∨ → K∨[2] → G → (H⁻¹(E)∗)∨[1]中的H⁰(φ)，从而将函子F与广义稳定对构造联系起来。
• 当H⁻¹(E)非局部自由但其对偶为局部自由时，三角形中的态射φ与两段复形中的态射s重合，推广了秩一情形。
• 当H⁻¹(E) = I_C为Cohen-Macaulay曲线C的理想层时，该构造恢复了已知的秩一稳定对，并通过层商与对偶性推广至高秩。