[论文解读] T-model structures on chain complexes of presheaves

Halvard Fausk|ArXiv.org|Dec 14, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 6

一句话总结

该论文在格罗滕迪克拓扑上的R-模预层链复形上构建了一个张量模型结构，推广了射影模型结构，并通过逐点同调同构进行局部化。当该拓扑具有足够多的点时，该模型结构的同伦范畴与导出范畴等价，且某些t-结构——推广了奇异t-结构——可上移至链复形范畴形成t-模型结构。

ABSTRACT

A tensor model structure is constructed on the category of chain complexes of presheaves of R-modules for a sheaf of rings R in a Grothendieck topos. If the topos has enough points, then the homotopy category is equivalent to the derived category. Some t-structures, generalizing the perverse t-structures, are constructed on the derived category.

研究动机与目标

• 将R-模上的射影模型结构从R-模推广至格罗滕迪克拓扑上的R-模预层链复形范畴。
• 通过以逐点同调同构为局部化对象，对射影模型结构进行局部化，从而在该范畴上构造张量模型结构。
• 证明当该拓扑具有足够多的点时，所得同伦范畴与层的R-模的导出范畴等价。
• 将某些t-结构（包括推广的奇异t-结构）从导出范畴上移到链复形范畴的模型范畴中，形成t-模型结构。

提出的方法

• 通过将弱等价定义为预层同调同构，将射影模型结构推广至预层链复形范畴。
• 证明推广后的射影模型结构具有张量性，保持其单峰结构。
• 引入拟单纯模型结构，并证明射影模型结构满足拟单纯公理。
• 通过以逐点同调同构为局部化对象，对射影模型结构进行局部化，得到逐点模型结构。
• 证明逐点模型结构是一个张量模型范畴，且当拓扑具有足够多的点时，其弱等价与层同调同构一致。
• 通过在每个点处分配一个截断值，构造导出范畴上的t-结构，并证明其可上移到链复形范畴上的t-模型结构。

实验结果

研究问题

• RQ1 能否在保持张量结构的前提下，将R-模上的射影模型结构扩展至格罗滕迪克拓扑上的预层链复形？
• RQ2 在何种条件下，链复形预层上逐点模型结构的同伦范畴与R-模层的导出范畴一致？
• RQ3 如何将导出范畴上的t-结构上移到链复形范畴的模型范畴中，形成t-模型结构？
• RQ4 在具有足够多点的拓扑中，逐点同调同构与层同调同构之间存在何种关系？
• RQ5 推广的奇异t-结构在导出范畴中在多大程度上可上移到链复形范畴的模型范畴中形成t-模型结构？

主要发现

• 预层链复形上R-模的射影模型结构被推广，并证明其具有张量性，从而确保与单峰结构的相容性。
• 通过以逐点同调同构为局部化对象对射影模型结构进行局部化而得到的逐点模型结构，是一个张量模型范畴。
• 当拓扑具有足够多的点时，逐点模型结构中的弱等价恰好是层同调同构，且其同伦范畴与导出范畴D_R等价。
• 通过在拓扑的每个点处分配一个取值于Z ∪ {±∞} 的截断值，构造了一类D_R上的t-结构，推广了标准t-结构与奇异t-结构。
• 这些t-结构可上移到链复形范畴上的t-模型结构，为导出t-结构提供了模型论实现。
• 给出了特别良好行为的t-结构所关联的子范畴(D_R)≥0与(D_R)≤0的显式描述。