[论文解读] Homotopy theory of modules over diagrams of rings

J. P. C. Greenlees, Brooke Shipley|arXiv (Cornell University)|Sep 26, 2013

Algebraic structures and combinatorial models参考文献 9被引用 3

一句话总结

该论文在图范畴中为不同环上的模建立了模型结构，利用Quillen伴随和局部化，证明了环谱图的模的同伦理论与该图的同伦逆极限的模的同伦理论之间存在Quillen等价。关键贡献在于提出了一套通用框架，通过局部化后利用Quillen等价关系关联不同图形状的同伦理论，其应用涵盖有理等变稳定同伦理论和Hasse平方构造。

ABSTRACT

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we consider the category of diagrams where the object X(s) at s comes from M(s). We develop model structures on such categories of diagrams, and Quillen adjunctions that relate categories based on different diagram shapes. Under certain conditions, cellularizations (or right Bousfield localizations) of these adjunctions induce Quillen equivalences. As an application we show that a cellularization of a category of modules over a diagram of ring spectra (or differential graded rings) is Quillen equivalent to modules over the associated inverse limit of the rings. Another application of the general machinery here is given in work by the authors on algebraic models of rational equivariant spectra. Some of this material originally appeared in the preprint "An algebraic model for rational torus-equivariant stable homotopy theory", arXiv:1101.2511, but has been generalized here.

研究动机与目标

• 为每个对象来自不同模型范畴（由图形状索引）的图范畴建立模型结构。
• 在不同形状的图范畴之间构造Quillen伴随，特别是通过子图诱导的限制函子。
• 在适当条件下，证明这些伴随在局部化后成为Quillen等价，从而关联不同的同伦理论。
• 将该框架应用于证明图环谱上的模范畴与该图同伦逆极限上的模范畴之间存在Quillen等价。
• 将有理环面等变稳定同伦理论中的技术推广至更广泛的图环与模的设定。

提出的方法

• 在由小范畴索引的图范畴上构造图-投影和图-注入模型结构，其中每个顶点范畴均为模型范畴。
• 通过图形状包含关系诱导的限制函子，定义图范畴之间的函子，从而产生Quillen伴随。
• 应用局部化原理，证明在局部化后，当导出函子在选定的细胞上保持小对象和弱等价时，Quillen伴随成为Quillen等价。
• 利用导出函子和同伦极限，将图环上模的同伦理论与图逆极限上模的同伦理论关联。
• 利用稳定模型范畴理论和小性条件，确保局部化过程保持Quillen等价。
• 将结果应用于Hasse平方例子，证明图环上模的范畴在局部化后与逆极限（如ℤ）上模的范畴Quillen等价。

实验结果

研究问题

• RQ1 在何种条件下，图环上模范畴之间的Quillen伴随在局部化后成为Quillen等价？
• RQ2 如何将图环谱上模的同伦理论与该图同伦逆极限上模的同伦理论关联起来？
• RQ3 何种条件可确保限制与扩张标量的导出函子在局部化过程中保持小对象和弱等价？
• RQ4 局部化原理是否可应用于模型范畴图，其中范畴随图位置变化？
• RQ5 通过子图包含改变图形状时，模的同伦理论如何变化？在何种情况下，所得范畴为Quillen等价？

主要发现

• 该论文在由小范畴索引、每个顶点来自不同模型范畴的图对象范畴上，构造了图-投影和图-注入模型结构。
• 通过图形状包含关系（特别是限制函子）诱导的函子，建立了图范畴之间的Quillen伴随。
• 在局部化后，当导出函子保持所选细胞上的小对象和弱等价时，这些Quillen伴随成为Quillen等价。
• 主要应用表明，图环谱上模的范畴与该图同伦逆极限上模的范畴之间存在Quillen等价，通过局部化实现。
• Hasse平方例子满足所有条件，因此ℚ、ℤ_p及其张量积构成的图上模的范畴在局部化后与ℤ上模的范畴Quillen等价。
• 该框架推广了有理环面等变稳定同伦理论中的早期结果，并为构造稳定同伦范畴的代数模型提供了一套系统化方法。