[论文解读] dw-n-Projective model structures on chain complexes

Marco A. Pérez|arXiv (Cornell University)|Feb 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 1

一句话总结

本文通过利用同调维数，特别是投射维数和平坦维数，构建了环 R 上链复形的唯一阿贝尔模型结构。研究证明，当精确复形为平凡对象时，各项投射维数至多为 n 的复形构成平凡上纤维对象，从而扩展了以往使用投射项作为上纤维对象的研究结果。

ABSTRACT

We construct Abelian model structures on the category of chain complexes over a ring $R$, from the notion homological dimensions of modules. Given an integer $n > 0$, we prove that the left modules over a ringoid $\mathfrak{R}$ with projective dimension at most $n$ form the left half of a complete cotorsion pair. Using this result we prove that there is a unique Abelian model structure on the category of chain complexes where the exact complexes are the trivial objects and the complexes with projective dimension at most $n$ form the class of trivially cofibrant objects. In the paper Cotorsion pairs in C($R$-Mod), the authors construct an Abelian model structure on chain complexes, where the trivial objects are the exact complexes and the class of cofibrant objects is given by the complexes whose terms are all projective. We extend this result by finding a new Abelian model structure with the same trivial objects and where the cofibrant objects are given by the class of complexes whose terms are modules with projective dimension at most $n$. We also prove similar results concerning the flat dimension.

研究动机与目标

• 通过用各项投射维数至多为 n 的复形替代以往使用投射项作为上纤维对象的方法，扩展现有的链复形上的阿贝尔模型结构。
• 在环oid R 上左模范畴中，建立投射维数 ≤ n 的模构成完全余挠对的左半部分。
• 证明在链复形范畴上存在唯一的阿贝尔模型结构，其中精确复形为平凡对象，且各项投射维数 ≤ n 的复形为平凡上纤维对象。
• 将类似结果推广至平坦维数情形，提供平坦维数约束下的对偶构造。

提出的方法

• 利用模的同调维数概念，特别是投射维数，来定义链复形的类别。
• 证明投射维数至多为 n 的左 R-模构成 R-模范畴中完全余挠对的左半部分。
• 通过设定精确复形为平凡对象，且各项投射维数 ≤ n 的复形为平凡上纤维对象，构造 R 上链复形范畴的阿贝尔模型结构。
• 利用完全余挠对建立该模型结构的存在性与唯一性。
• 通过将方法对偶化，使用平坦模替代投射模，将构造推广至平坦维数情形。
• 验证所得结构满足阿贝尔模型结构的公理，包括分解与提升性质。

实验结果

研究问题

• RQ1 是否可以基于复形各项的有界投射维数条件，构造链复形上的阿贝尔模型结构？
• RQ2 是否存在唯一的阿贝尔模型结构，使得精确复形为平凡对象，且各项投射维数 ≤ n 的复形为平凡上纤维对象？
• RQ3 将投射维数 ≤ n 作为复形项的条件，与使用投射模作为上纤维类相比，有何差异？
• RQ4 能否在平坦维数而非投射维数下获得类似结果？
• RQ5 完全余挠对在构造此类模型结构中起什么作用？

主要发现

• 在环 R 上链复形范畴上存在唯一的阿贝尔模型结构，其中平凡对象为精确复形，且平凡上纤维对象为各项投射维数至多为 n 的复形。
• 投射维数至多为 n 的模类构成左 R-模范畴中完全余挠对的左半部分。
• 该构造推广了以往使用投射模作为上纤维类的研究，将之替换为有界投射维数的模。
• 针对平坦维数建立了对偶构造，得到类似的阿贝尔模型结构，其中平坦维数 ≤ n 为平凡上纤维复形的条件。
• 该模型结构由其平凡对象以及复形各项的同调维数界完全表征。