[论文解读] The cellularization principle for Quillen adjunctions

J. P. C. Greenlees, Brooke Shipley|arXiv (Cornell University)|Jan 23, 2013

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

一句话总结

本文建立了稳定模型范畴中Quillen伴随的Cellularization原理：在温和条件下，若导出单位或余单位在对应的小对象上是等价的，则Quillen伴随在关于这些小对象的细胞化后诱导出Quillen等价。关键贡献是提出了一个普遍准则，用于判断细胞化后的Quillen伴随何时产生Quillen等价，该准则在DG代数的图范畴和同伦拉直积中有应用。

ABSTRACT

The Cellularization Principle states that under rather weak conditions a Quillen adjunction of stable model categories induces a Quillen equivalence on cellularizations provided there is a derived equivalence on cells. We give a proof together with a range of examples. The main result here was originally presented as an appendix of arXiv:1101.2511. However, the Cellularization Principle has many other applications which are explored here. The material in arXiv:1101.2511v3 will be revised to refer to this paper.

研究动机与目标

• 建立一个普遍原则，使得稳定模型范畴之间的Quillen伴随在细胞化后能诱导出Quillen等价。
• 识别出细胞化保持Quillen伴随结构并产生Quillen等价的温和条件。
• 提供一个通过在细胞对象上导出等价性来检测Quillen等价性的框架。
• 将该原则应用于具体例子，特别是DG代数的图范畴与同伦拉直积的背景之下。
• 形式化并公开一个类似于经典事实的结果：若一个上同调理论的自然变换在球面上诱导出同构，则其为等价。

提出的方法

• 作者通过同伦函数复形，或在稳定情形下通过映射的同伦群，定义了相对于一组对象的模型范畴的细胞化。
• 他们证明：若一个Quillen伴随在一组小的生成对象上保持导出单位或余单位的等价性，则其在细胞化后的诱导伴随是一个Quillen等价。
• 该证明依赖于细胞对象在同伦列极限和弱等价下封闭，且细胞模型结构是右固执且细胞的这一事实。
• 他们利用细胞对象被定义为包含生成集的、在同伦列极限和弱等价下封闭的最小类这一特征。
• 该方法适用于稳定模型范畴，其中细胞等价性由同调群上的同构来检测。
• 该框架被应用于DG代数的图范畴，通过图-注入模型结构和同伦上拉直积来验证小性和导出等价性。

实验结果

研究问题

• RQ1 在何种条件下，稳定模型范畴之间的Quillen伴随在关于对应对象的细胞化后会诱导出Quillen等价？
• RQ2 Quillen伴随的导出单位或余单位在何时是细胞对象上的等价？这对其细胞化后的伴随意味着什么？
• RQ3 如何利用细胞化过程来检测DG代数图范畴中的Quillen等价？
• RQ4 生成对象的小性在确保细胞化后的伴随是Quillen等价中起什么作用？
• RQ5 在何种情况下，DG代数的同伦拉直积会在细胞化后诱导出相应模范畴之间的Quillen等价？

主要发现

• Cellularization原理成立：若一个Quillen伴随在稳定、右固执、细胞的模型范畴之间，且在细胞上诱导出导出等价，则其细胞化后的伴随是Quillen等价。
• 相对于一个稳定的小对象集进行细胞化，可保持Quillen伴随结构，并在导出单位或余单位于生成对象上为等价时，产生Quillen等价。
• 对于DG代数，$R$-模与$R^{oxempty}$-模之间的伴随在关于$R$的像进行细胞化后，成为Quillen等价。
• 通过同伦上拉直积分解，证明了对象$R^{oxempty}$在$R^{oxempty}$-模的同伦范畴中是小的。
• 在DG代数的同伦拉直积情形下，导出单位在$R$上是等价的，满足Cellularization原理的关键假设。
• 该结果提供了经典事实的同伦类比：若一个上同调理论的自然变换在球面上是同构，则其为等价。