[论文解读] Classification of stable model categories

Stefan Schwede, Brooke Shipley|arXiv (Cornell University)|Aug 21, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 46被引用 8

一句话总结

本文通过证明具有单一紧生成元的稳定模型范畴与环谱上的模范畴之间存在Quillen等价，建立了稳定模型范畴的分类；更一般地，具有紧生成元集合的稳定模型范畴等价于谱范畴（具有多个对象的环谱上的模范畴）。其核心贡献是为稳定同伦论建立了一种类莫代尔定理，将加布里埃尔与里卡尔德的经典定理推广至谱与模型范畴的设定。

ABSTRACT

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent `the same homotopy theory'. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a `ring spectrum with several objects', i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.

研究动机与目标

• 发展加布里埃尔关于模范畴定理的同伦论推广，适用于稳定模型范畴的设定。
• 通过Quillen等价性，刻画两个稳定模型范畴何时代表相同的同伦论。
• 将经典环的莫代尔理论推广至环谱及其模范畴的语境。
• 将里卡尔德关于环的导出等价定理推广至稳定模型范畴的设定。
• 建立Eilenberg-Mac Lane谱HR上的模范畴与R-模的无界链复形范畴之间的精确Quillen等价性。

提出的方法

• 在稳定模型范畴中定义紧生成元的自同态环谱，以构造一个其模范畴与原始模型范畴等价的环谱。
• 使用对称谱作为谱的基础模型，以确保其具有增强与张量结构，从而实现同伦意义下良好的构造。
• 通过有限集上的同伦余极限，从对称谱到对称谱构造谱函子M与D，利用有限集与单射构成的范畴I。
• 通过涉及与球谱的 smash 积的同伦余极限定义检测函子D，并证明其能检测稳定等价。
• 通过Γ-空间的延拓与限制，从对称谱X构造一个对称谱EX，并证明对连通的Ω-谱，β²_X是水平等价。
• 通过延拓从Γ-空间到其Eilenberg-Mac Lane Γ-空间的典范映射，建立自然映射γ_X: EX → Hπ₀X，并证明其与同伦群相容。

实验结果

研究问题

• RQ1 在何种条件下，稳定模型范畴与某个环谱上的模范畴存在Quillen等价？
• RQ2 如何利用谱范畴对具有紧生成元集合的稳定模型范畴进行分类？
• RQ3 在何种条件下，两个环谱上的模范畴之间存在Quillen等价？
• RQ4 里卡尔德的导出等价定理如何推广至稳定模型范畴的设定？
• RQ5 HR-模与R-模的无界链复形范畴之间的精确Quillen等价性是什么？

主要发现

• 具有单一紧生成元的稳定模型范畴，与该生成元的自同态环谱上的模范畴之间存在Quillen等价。
• 具有紧生成元集合的稳定模型范畴，与谱范畴（具有多个对象的环谱）上的模范畴之间存在Quillen等价。
• 建立了类莫代尔定理：环谱上模范畴之间的Quillen等价性可通过与一对双模的smash积实现。
• 对任意环R，HR-模的模型范畴与R-模的无界链复形范畴之间存在Quillen等价。
• 对稳定纤维化且连通的对称谱，复合映射β_X: EX → MX 是水平等价，从而确立了关键的同伦等价。
• 谱函子D能检测稳定等价，且对稳定纤维化谱，映射β¹_X: DX → MX 是水平等价。