[论文解读] Two results from Morita theory of stable model categories

Andreas Heider|ArXiv.org|Jul 4, 2007

Algebraic structures and combinatorial models参考文献 27被引用 16

一句话总结

本文在稳定模型范畴的背景下，建立了代数莫代尔理论结果的两个拓扑类比。它提供了一个判据，用于判断对称环谱的导出范畴何时能通过另外两个对称环谱实现recollement，并证明一个拓扑三角范畴是良好生成的，当且仅当它与一个具有多个对象的对称环谱的导出范畴的局部化三角等价。

ABSTRACT

We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case by Jørgensen. We give a criterion which answers the following question: When is there a recollement for the derived category of a given symmetric ring spectrum in terms of two other symmetric ring spectra? The other result is on well generated triangulated categories in the sense of Neeman. Porta characterizes the algebraic well generated categories as localizations of derived categories of DG categories. We prove a topological analogon: a topological triangulated category is well generated if and only if it is triangulated equivalent to a localization of the derived category of a symmetric ring spectrum with several objects. Here `topological' means triangulated equivalent to the homotopy category of a spectral model category. Moreover, we show that every well generated spectral model category is Quillen equivalent to a Bousfield localization of a category of modules via a single Quillen functor.

研究动机与目标

• 通过稳定模型范畴将代数莫代尔理论结果推广到拓扑设定中。
• 解决对称环谱的导出范畴何时能通过另外两个对称环谱实现recollement的问题。
• 将良好生成的拓扑三角范畴表征为具有多个对象的对称环谱的导出范畴的局部化。
• 在良好生成的谱模型范畴与模范畴的博斯菲尔德局部化之间建立奎伦等价。

提出的方法

• 利用稳定模型范畴和谱模型范畴的框架来建模拓扑导出范畴。
• 应用奎伦的模型范畴理论和奎伦函子，构造模范畴之间的伴随对和奎伦对。
• 通过标量限制和标量扩张函子，关联不同环谱上的模范畴。
• 使用Hom-函子和评估函子分析模范畴中的纤维化、平凡纤维化以及弱等价。
• 利用好生成对象和逐点好生成性，确保函子下模型结构的保持。
• 利用博斯菲尔德局部化和正则性条件，构造良好生成范畴与局部化模范畴之间的奎伦等价。

实验结果

研究问题

• RQ1 在什么条件下，对称环谱的导出范畴能通过另外两个对称环谱实现recollement？
• RQ2 何时一个拓扑三角范畴与一个具有多个对象的对称环谱的导出范畴的局部化三角等价？
• RQ3 如何通过一个单一的奎伦函子，使良好生成的谱模型范畴与模范畴的博斯菲尔德局部化奎伦等价？
• RQ4 何种条件可确保由稳定模型范畴导出的三角范畴是良好生成的？
• RQ5 好生成对象的性质以及在合理稳定模型范畴上的丰富模型结构如何影响recollement的存在性？

主要发现

• 对称环谱的导出范畴存在recollement，当且仅当存在另外两个对称环谱，以及满足特定伴随与同伦条件的奎伦对。
• 一个拓扑三角范畴是良好生成的，当且仅当它与一个具有多个对象的对称环谱的导出范畴的局部化三角等价。
• 每个良好生成的谱模型范畴都通过一个单一的奎伦函子与一个模范畴的博斯菲尔德局部化奎伦等价。
• 当源对象是好生成的且单位在底范畴中是好生成的时，对称环谱上模范畴之间的Hom-函子保持纤维化和平凡纤维化。
• 在谱范畴对象上的评估函子保持纤维化、弱等价、极限和余极限，并在好生成性假设下也保持好生成和平凡好生成。
• recollement的存在性由模范畴之间诱导出在同伦水平上的三角recollement的奎伦对的存在性所表征。