[论文解读] The moduli stack and motivic Hall algebra for the bounded derived category

Parker E. Lowrey|arXiv (Cornell University)|Oct 24, 2011

Algebraic structures and combinatorial models参考文献 14被引用 4

一句话总结

本文建立了导出模堆栈 $σ\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ 的存在性，该堆栈用于分类一个在交换单纯环 $k$ 上的导出射影概形 $X$ 的有界导出范畴中的伪凝聚对象。通过相对 Tor-幅度和 $∞$-范畴技术，证明了该堆栈是局部几何的且几乎有限型，从而使得可以为 $X$ 构造一个导出 motivic Hall 代数。该工作将经典模堆栈理论扩展至包含非平凡负 Ext 群的对象。

ABSTRACT

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative Tor-amplitude we define a derived stack classifying pseudo-coherent objects. For reasonable base schemes, this classifies the bounded derived category. In the case that X is a projective derived scheme flat over the base, we show the moduli is locally geometric and locally of almost finite type. Using this result, we prove the existence of a derived motivic Hall algebra associated to X.

研究动机与目标

• 将模堆栈理论技术扩展至具有非平凡负 Ext 群的导出范畴，这些对象在经典 DT/PT 不变量中被排除。
• 为一个导出射影概形 $X$ 的有界导出范畴 $\mathrm{D}^{\mathrm{b}}(X)$ 中的伪凝聚对象定义一个行为良好的模堆栈。
• 在 $X$ 关于基的射影性和平坦性条件下，建立该模堆栈的几何有限性性质（局部几何，几乎有限型）。
• 利用模堆栈的几何结构，为 $X$ 构造一个导出 motivic Hall 代数。
• 提供一种基于 $∞$-范畴的伪凝聚性重新定义，以促进函子性构造，并将经典结果推广至导出设定。

提出的方法

• 通过滤过对象和相对 Tor-幅度，引入一种使用导出堆栈的伪凝聚性新概念，将 Illusie 和 Thomason 的有限性条件推广至导出堆栈。
• 应用 $∞$-范畴和高阶导出堆栈来处理同伦一致性与高阶自同构，避免使用模型结构。
• 使用在 $k$-代数上的笛卡尔纤维丛与双笛卡尔纤维丛形式，定义导出堆栈上拟相干层的 $∞$-范畴。
• 通过基变换函子 $X \times -$ 将模堆栈 $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ 构造为一个普遍笛卡尔纤维丛的拉回。
• 利用 Lurie 的 $∞$-范畴理论与对称单峰结构，将拟相干层的赋值提升为在点函数上的保持极限的函子。
• 应用 Lurie 的《高阶代数》和《高阶拓扑理论》中的结果，证明拉回的右伴随存在，从而确保纤维丛为双笛卡尔。

实验结果

研究问题

• RQ1 能否为一个在交换单纯环 $k$ 上的导出射影概形的有界导出范畴构造一个行为良好的模堆栈，即使其对象具有非平凡的负 Ext 群？
• RQ2 对于一个在基上平坦的导出射影概形 $X$，其在 $\mathrm{D}^{\mathrm{b}}(X)$ 中的伪凝聚对象的模堆栈是否为局部几何且几乎有限型？
• RQ3 该模堆栈的存在性是否允许在无完美性假设下构造一个导出 motivic Hall 代数？
• RQ4 如何在导出设定中重新定义伪凝聚性，以保持函子性并兼容经典有限性条件？
• RQ5 在 $X$ 不完美时，紧致性、对偶性与伪凝聚性之间有何关系？

主要发现

• 分类一个在交换单纯环 $k$ 上平坦的导出射影概形 $X$ 的有界导出范畴的模堆栈 $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ 是局部几何的且几乎有限型。
• 对于任意在 $k$ 上平坦的导出射影概形 $X$，堆栈 $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ 关于 $k$ 是几乎有限型的，即当限制在任意 $n$-截断的单纯 $k$-代数上时，其为有限型。
• 本文提供了一种基于滤过对象与截断的导出设定下伪凝聚性的替代定义，该定义保持了模结构，并允许直接推广经典结果。
• 由于 $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ 的几何有限性，与 $X$ 关联的导出 motivic Hall 代数存在，从而将框架扩展至非完美复形之外。
• 对于一个完美且拟紧的导出堆栈 $X$，其 $F \in \mathrm{QCoh}(X)$ 是伪凝聚的，当且仅当其第 $n$ 个截断关于 $n$-截断的列极限是紧致的。
• 通过 Kan 扩张和仿射拉回的右伴随存在性，将拟相干层 $σ\widetilde{\mathrm{QCoh}}(X)$ 构造为在 $k$-代数上的双笛卡尔纤维丛，从而确保与对称单峰结构的兼容性。