[论文解读] Pure exact structures and the pure derived category of a scheme

Sergio Estrada, James Gillespie+1 more|arXiv (Cornell University)|Aug 12, 2014

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

一句话总结

本文通过在闭对称张量的格罗滕迪克范畴中使用 $λ$-纯性，引入了概形的 $⋯$-纯导出范畴，构建了一个在无界链复形范畴上的可生成、内射的模型结构，其平凡对象为 $⋯$-纯acyclic复形。关键贡献是通过 $⋯$-纯内射模型结构，以同伦理论方式实现纯导出范畴，其应用包括拟分离概形上的拟相干层，以及纯导出范畴与平坦层的导出范畴之间的等价性。

ABSTRACT

Let $\mathcal C$ be closed symmetric monoidal Grothendieck category. We define the pure derived category with respect to the monoidal structure via a relative injective model category structure on the category $\mathbf{C}(\mathcal C)$ of unbounded chain complexes in $\mathcal C$. We use $λ$-Purity techniques to get this. As application we define the stalkwise pure derived category of the category of quasi--coherent sheaves on a quasi-separated scheme. We also give a different approach by using the category of flat quasi--coherent sheaves.

研究动机与目标

• 通过 stalk-wise 精确性而非范畴纯性，为概形上的拟相干层定义一种几何上有意义的纯性概念。
• 解决在非仿射概形中范畴纯性与几何纯性之间的差异，其中范畴纯性严格更强。
• 通过 $⋯$-纯acyclic复形和内射模型结构，构建纯导出范畴的同伦理论模型。
• 证明局部有限表示范畴的纯导出范畴与该范畴平坦模的导出范畴等价。
• 通过在闭对称张量的格罗滕迪克范畴中利用 $λ$-纯性和 $⋯$-纯内射模型结构，将纯导出范畴理论扩展至概形。

提出的方法

• 在局部 $λ$-表示的格罗滕迪克范畴中使用 $λ$-纯性理论，定义 $⋯$-纯单射与精确序列。
• 在闭对称张量的格罗滕迪克范畴 $\mathcal{C}$ 的无界链复形范畴 $\mathbf{C}(\mathcal{C})$ 上构建一个可生成、内射的模型结构，其平凡对象为 $⋯$-纯acyclic复形。
• 将纤维对象定义为具有 $⋯$-纯内射分量且在所有 $S \in \mathcal{C}$ 上关于 $\otimes$-函子保持精确的复形，从而推广 DG-内射复形。
• 通过 Hovey 对应关系，从精确范畴 $\mathbf{C}(\mathcal{C})_{⋯}$ 中的内射余对偶对建立模型结构。
• 利用概形 $X$ 上拟相干层的平坦层范畴 $\mathrm{Flat}(X)$ 的可构造性，构建 $\mathbf{C}(\mathrm{Flat}(X))$ 上的内射模型结构。
• 证明该模型结构的同伦范畴与导出范畴 $\mathcal{D}(\mathrm{Flat}(X))$ 同伦等价，且该范畴与纯导出范畴 $\mathcal{D}_{\otimes\text{-pur}}(\mathfrak{Qcoh}(X))$ 等价。

实验结果

研究问题

• RQ1 如何在非仿射概形上的拟相干层语境中重新定义纯性，以反映其局部几何结构？
• RQ2 何种模型范畴结构能通过几何纯性而非范畴纯性实现概形的纯导出范畴？
• RQ3 局部有限表示范畴的纯导出范畴是否与该范畴平坦模的导出范畴等价？
• RQ4 能否通过闭对称张量的格罗滕迪克范畴中无界链复形范畴上的可生成、内射模型结构，构建 $⋯$-纯导出范畴？
• RQ5 概形 $X$ 上拟相干层的平坦层的导出范畴是否与 $\mathbf{C}(\mathrm{Flat}(X))$ 上某一适当模型结构的同伦范畴一致？

主要发现

• 在 $\mathbf{C}(\mathcal{C})$ 上，$⋯$-纯导出范畴 $\mathcal{D}_{⋯\text{-pur}}(\mathcal{C})$ 被实现为一个可生成、内射的模型结构的同伦范畴，其平凡对象为 $⋯$-纯acyclic复形。
• 该模型结构中的纤维对象恰好是具有 $⋯$-纯内射分量的可缩复形，从而推广了 DG-内射复形。
• 对于拟分离概形 $X$，$\mathfrak{Qcoh}(X)$ 的 $⋯$-纯导出范畴与平坦拟相干层的导出范畴 $\mathcal{D}(\mathrm{Flat}(X))$ 等价，从而建立了几何上有意义的纯导出范畴。
• $\mathbf{C}(\mathrm{Flat}(X))$ 上的内射模型结构的纤维对象是具有平坦分量的 dg-余对偶复形，其平凡对象为具有平坦循环的acyclic复形。
• 当 $\mathcal{A}$ 局部有限表示时，$\mathbf{C}(\mathcal{C})$ 上 $⋯$-纯内射模型结构的同伦范畴与纯导出范畴 $\mathcal{D}_{\mathrm{pur}}(\mathcal{A})$ 同伦等价。
• 通过各自模型结构中内射余对偶对与弱等价的对应关系，建立了 $\mathcal{D}_{\mathrm{pur}}(\mathcal{A})$ 与 $\mathcal{D}(\mathrm{Flat}(A))$ 之间的等价性。