[论文解读] A curious example of two model categories and some associated differential graded algebras

Daniel Dugger, Brooke Shipley|arXiv (Cornell University)|Oct 16, 2007

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

一句话总结

本文通过使用同伦自同态环谱而非代数K-理论，提供了关于$ℚ/\mathbb{Z}/p^2$与$ℚ/\mathbb{Z}/p[\epsilon]/(\epsilon^2)$上稳定模的模型范畴不Quillen等价性的新、更初等的证明。它构造了两个导出等价的微分分次代数，其模模型范畴不Quillen等价，并展示了一对导出等价的dga，其K-理论不构同，揭示了代数K-理论中导出等价性之外的细微差别。

ABSTRACT

The paper gives a new proof that the model categories of stable modules for the rings Z/(p^2) and (Z/p)[ε]/(ε^2) are not Quillen equivalent. The proof uses homotopy endomorphism ring spectra. Our considerations lead to an example of two differential graded algebras which are derived equivalent but whose associated model categories of modules are not Quillen equivalent. As a bonus, we also obtain derived equivalent dgas with non-isomorphic K-theories.

研究动机与目标

• 提供一个更初等的证明，表明模型范畴$\mathcal{M} = \mathrm{Stmod}(\mathbb{Z}/p^2)$与$\mathcal{M}_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$不Quillen等价，避免依赖复杂的K-理论计算。
• 详细研究这些模型范畴的同伦理论，重点关注同伦范畴之外的高阶不变量。
• 构造一对导出等价但其关联模的模型范畴不Quillen等价的微分分次代数。
• 展示一对导出等价的dga，其K-理论不构同，凸显代数K-理论中导出等价性之外的细微差别。

提出的方法

• 证明利用同伦自同态环谱来检测模型范畴中更高阶同伦结构的差异，这些差异在同伦范畴中不可见。
• 利用两个模型范畴均Quillen等价于某些微分分次代数上的模这一事实，将问题转化为dga上同调与K-理论的分析。
• 采用谱序列论证来分析图范畴中的映射空间，依赖于指标范畴的${\mathbb{Z}}/p$-上同调维数。
• 作者利用低上同调维数下谱序列的坍缩，比较$\mathrm{Ho}({\mathcal{M}}^I)$与$\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$，证明其作为$\mathbb{Z}/p$-向量空间的同伦群同构。
• 从同伦交换图构造总复形中的$0$-循环，确保同伦范畴中存在映射，依赖于上同调维数$\leq 1$导致的上消去障碍。
• 关键的技术工具是比较$\mathcal{M}^I$与$\mathcal{M}_\epsilon^I$中映射空间的谱序列，证明其$E_2$-项相同且在低度坍缩，从而得出同伦群同构。

实验结果

研究问题

• RQ1 尽管同伦范畴等价，模型范畴$\mathrm{Stmod}(\mathbb{Z}/p^2)$与$\mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$是否Quillen等价？
• RQ2 是否可不借助代数K-理论（特别是$K_4$计算）检测其非Quillen等价性？
• RQ3 是否存在导出等价的微分分次代数，但其关联模的模型范畴不Quillen等价？
• RQ4 能否构造导出等价但K-理论不构同的dga，揭示导出等价性之外的更精细不变量？

主要发现

• 通过同伦自同态环谱证明，模型范畴$\mathcal{M} = \mathrm{Stmod}(\mathbb{Z}/p^2)$与$\mathcal{M}_\epsilon = \mathrm{Stmod}(\mathbb{Z}/p[\epsilon]/(\epsilon^2))$不Quillen等价，提供了比以往K-理论论证更初等的证明。
• 存在两个导出等价的微分分次代数，但其关联模的模型范畴不Quillen等价，表明导出等价与Quillen等价之间存在严格区分。
• $\mathbb{Z}/p^2$与$\mathbb{Z}/p[\epsilon]/(\epsilon^2)$相关dga的K-理论不构同：$K_4(\mathcal{M}) \cong \mathbb{Z}/p^2$且$K_4(\mathcal{M}_\epsilon) \cong \mathbb{Z}/p \oplus \mathbb{Z}/p$，确认K-理论可检测到该差异。
• 对于$\mathbb{Z}/p$-上同调维数$\leq 1$的指标范畴，同伦范畴$\mathrm{Ho}({\mathcal{M}}^I)$与$\mathrm{Ho}({\mathcal{M}}_\epsilon^I)$作为三角范畴同构，且作为$\mathbb{Z}/p$-向量空间的同伦群同构。
• $\mathcal{M}^I$与$\mathcal{M}_\epsilon^I$中映射空间的谱序列因上同调维数较低而在$E_2$坍缩，且$E_2$-项相同，导致同伦群同构。
• 从双复形的同伦交换图构造的总复形中$0$-循环的存在，确保$\mathrm{Ho}({\mathcal{M}}^I)$中的每个图都弱等价于$ k $-向量空间的图，从而实现同伦群的比较。