[论文解读] The accessibility rank of weak equivalences

George Raptis, Jir̆ı́ Rosický|arXiv (Cornell University)|Mar 12, 2014

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

一句话总结

该论文在特定条件下证明了在 $κ$-组合模型范畴中，弱等价类是 $κ$-可及的——具体而言，当存在一组 $κ$-表示性可约对象，通过 $κ$-过滤列生成所有对象，且 $κ$-表示性可约对象具有 $κ$-表示性柱体对象时成立。关键结果是，单纯集之间的弱等价范畴是有限可及的，通过一种基于粗小对象构造的新方法，而非伪上拉，解决了长期存在的可及性秩估计问题。

ABSTRACT

We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility rank of weak equivalences. In particular, we show that the class of weak equivalences between simplicial sets is finitely accessible.

研究动机与目标

• 确定组合模型范畴中弱等价类的可及性秩的精确估计，特别是当以往方法给出次优界时的情况。
• 提出一种基于粗小对象构造的新证明技术，避免依赖通常导致更高可及性秩的伪上拉定理。
• 在 $κ$-组合模型范畴中，建立弱等价全子范畴为 $κ$-可及的条件，改进已知结果。
• 将可及性结果扩展到具体例子，包括单纯集、半单环上链复形的拟同构，以及诺特诺维安弗罗贝尼乌斯环上的稳定同构。

提出的方法

• 作者引入一种基于粗小对象构造的新方法，证明在 $κ$-组合模型范畴中，每个平凡上闭包都是 $κ$-定向列的 $κ$-表示性对象之间的平凡上闭包的列。
• 他们证明在假设 (i)–(iii) 下——包括 $κ$-表示性可约对象具有 $κ$-表示性柱体对象——弱等价范畴是 $κ$-可及的。
• 该证明依赖于一个因式分解条件：若复合映射 $i' = qi$ 是两个可约对象之间的上闭包，则 $i$ 是一个形式上闭包。
• 该方法避免使用伪上拉，转而利用 $κ$-表示性对象及其柱体构造的结构特性来建立可及性。
• 该方法被应用于各种模型范畴，包括单纯集和半单或弗罗贝尼乌斯环上的模范畴，以推导出有限可及性结果。

实验结果

研究问题

• RQ1 组合模型范畴中弱等价类的最优可及性秩是什么？
• RQ2 能否比使用伪上拉定理更精确地估计弱等价的可及性秩？
• RQ3 在 $κ$-组合模型范畴中，弱等价范畴为 $κ$-可及的条件是什么？
• RQ4 单纯集之间的弱等价范畴是否是有限可及的，且能否在不使用伪上拉的情况下证明这一点？
• RQ5 弱等价的可及性性质在图范畴和左博斯菲尔德局部化下如何表现？

主要发现

• 单纯集模型范畴中弱等价的范畴是有限可及的，解决了一个关键关注案例。
• 单纯集之间弱等价的类是 $̅_0$-可及的，且该结果通过一种不依赖伪上拉的新方法证明。
• 对于满足条件 (i)–(iii) 的 $κ$-组合模型范畴，弱等价范畴是 $κ$-可及的，为可及性秩提供了精确估计。
• 当 $R$ 为半单环时，$R$-模链复形的拟同构范畴是有限可及的。
• 当 $R$ 为诺特诺维安弗罗贝尼乌斯环时，$R$-模的稳定同构范畴是有限可及的。
• 可及性结果可推广至左博斯菲尔德局部化：若 $L_S\mathcal{M}$ 是 $λ$-组合的且满足条件，则其 $S$-局部等价是 $λ$-可及的。