[论文解读] Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves

Jan Šťovíček|arXiv (Cornell University)|Jan 22, 2013

Algebraic structures and combinatorial models参考文献 47被引用 43

一句话总结

本论文通过利用格罗滕迪克型精确范畴中的完备遗传余挠对，建立了一个在概形上拟 coherent 线丛导出范畴上构造遗传张量模型结构的框架。它将逼近理论与奎伦的小对象构造方法推广至精确范畴，从而实现与张量积相容的、由小对象生成的张量模型结构，关键结果涉及拟紧、分离概形上平坦层与局部投影层的构造。

ABSTRACT

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close connection of this theory to approximation theory and cotorsion pairs. We also discuss the motivating applications with the emphasis on constructing monoidal model structures for the derived category of quasi-coherent sheaves of modules over a scheme.

研究动机与目标

• 开发一个系统性框架，用于在精确范畴与对称张量精确范畴上构造相容的模型结构。
• 将逼近理论与余挠对技术推广至格罗滕迪克型精确范畴，从而能够应用奎伦的小对象构造。
• 为概形上拟 coherent 线丛的导出范畴提供一个与张量积相容的张量模型结构。
• 通过模型论与同调代数工具，统一并拓展现有关于拟 coherent 线丛导出范畴的结果。
• 为在 Gorenstein 同调代数、格罗滕迪克对偶性与奇点范畴中应用模型结构奠定基础。

提出的方法

• 以 (Flat-R, Cot-R) 与 (Vect-R, Vect-R⊥) 两类完备遗传余挠对为核心代数输入，用于模型结构的构造。
• 应用定理 7.16，从精确范畴中的完备余挠对生成遗传模型结构。
• 采用小对象构造与可分解性技术，构造预纤维化与纤维化替换。
• 利用 Enochs-Estrada 的方法，将拟 coherent 线丛表示为环的偏序集上的模，以分析格罗滕迪克范畴结构。
• 通过伴随函子 F∗ 与 F∗，将局部截面的提升至全局线丛，构造 Čech 分解与适当的平坦分解。
• 通过验证：与平坦复形张量化保持正合性，从而验证模型结构的张量性，确保与对称张量结构相容。

实验结果

研究问题

• RQ1 能否在一般概形上拟 coherent 线丛的导出范畴上构造一个与张量积相容的张量模型结构？
• RQ2 逼近理论与余挠对技术如何从模范畴推广至格罗滕迪克型精确范畴？
• RQ3 在精确范畴中，小对象构造在何种条件下可生成完备余挠对？
• RQ4 平坦层、向量丛与导出范畴中所得模型结构之间的精确关系为何？
• RQ5 该理论能否通过模型论方法推广至奇点范畴与 dg 范畴？

主要发现

• 对于任意连续平坦表示 R 的有限上半格 I，C(Qcoh(R)) 上存在一个遗传张量模型结构，其预纤维化对象为由平坦 R-模构建的滤子复形的退化子。
• 当 Qcoh(R) ≅ Qcoh(X) 成立，其中 X 为仿射概形上的拟投影概形时，存在第二种遗传张量模型结构，其预纤维化对象由局部投影 R-模构建。
• 两种模型结构中的平凡对象类均为 Cac(Qcoh(R))，即无环复形的精确范畴。
• 纤维化对象分别被表征为平坦或局部投影模类的正交补，依据记号 7.6 中的构造。
• 两种模型结构的同伦范畴均与 D(Qcoh(R))，即拟 coherent 线丛的无界导出范畴，同伦等价。
• 两种模型结构均为由小对象生成，其生成集由平坦或局部投影模的移位构成。