[论文解读] Algebraic model structures

Emily Riehl|arXiv (Cornell University)|Oct 14, 2009

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

一句话总结

本文引入代数模型结构——即使用代数弱因子分解系统（awfs）而非经典弱因子分解系统构建的模型范畴。它证明了每个胞状生成的模型结构均可通过加尔纳的极小对象构造法获得代数精化，从而实现自然比较映射在纤维化-余纤维化替换之间的构造，并建立具有增强自然性的代数 Quillen 伴随关系。

ABSTRACT

We define a new notion of an algebraic model structure, in which the cofibrations and fibrations are retracts of coalgebras for comonads and algebras for monads, and prove "algebraic" analogs of classical results. Using a modified version of Quillen's small object argument, we show that every cofibrantly generated model structure in the usual sense underlies a cofibrantly generated algebraic model structure. We show how to pass a cofibrantly generated algebraic model structure across an adjunction, and we characterize the algebraic Quillen adjunction that results. We prove that pointwise natural weak factorization systems on diagram categories are cofibrantly generated if the original ones are, and we give an algebraic generalization of the projective model structure. Finally, we prove that certain fundamental comparison maps present in any cofibrantly generated model category are cofibrations when the cofibrations are monomorphisms, a conclusion that does not seem to be provable in the classical, non-algebraic, theory.

研究动机与目标

• 通过代数弱因子分解系统（awfs）定义并形式化代数模型结构，扩展经典模型范畴理论。
• 证明每个胞状生成的模型结构均可通过修改的极小对象构造法，基于生成数据构造出代数模型结构。
• 将 Kan 的伴随关系结果推广至代数设定，定义代数 Quillen 伴随关系，其在 awfs 代数之间的函子具有自然提升。
• 证明当基 awfs 为胞状生成时，图示范畴上的逐点 awfs 也是胞状生成的，并据此构造代数射影模型结构。
• 确立在胞状生成模型范畴中，某些纤维化-余纤维化替换之间的比较映射为余纤维化，当余纤维化为单射时成立——此结果在经典理论中无法获得。

提出的方法

• 将代数模型结构定义为：余纤维化与纤维化分别为余代数与代数的退化映射，分别对应于余模态与模态，且其函子性因子分解源自 awfs。
• 使用加尔纳极小对象构造法的修改版本，从生成数据构造出胞状生成的 awfs，确保代数结构得以保持。
• 引入纤维化-余纤维化替换之间的自然比较映射，从而定义代数双纤维化对象。
• 证明模型范畴之间的伴随关系可提升为 awfs 代数范畴之间的函子，从而定义代数 Quillen 伴随关系。
• 证明图示范畴上的逐点 awfs 若其基 awfs 为胞状生成，则自身亦为胞状生成，并由此构造代数射影模型结构。
• 利用对偶对应关系及单位与余单位的泛性质，证明代数 Quillen 伴随关系中提升的自然性，以及关键图表的交换性。

实验结果

研究问题

• RQ1 每个胞状生成的模型结构是否均可通过 awfs 获得代数精化，且保持其底层模型结构？
• RQ2 模型范畴之间的伴随关系如何被提升为 awfs 代数范畴之间的函子？这些提升满足何种性质？
• RQ3 在何种条件下，图示范畴上的逐点 awfs 为胞状生成？如何构造代数射影模型结构？
• RQ4 在胞状生成模型范畴中，纤维化-余纤维化替换之间的比较映射是否自然为余纤维化？在何种条件下成立？
• RQ5 Quillen 伴随关系中提升的自然性能否通过代数方式增强？这对伴随关系的结构有何含义？

主要发现

• 每个胞状生成的模型结构均存在底层代数模型结构，该结构通过修改的极小对象构造法生成，其 awfs 具有代数结构。
• 在胞状生成模型范畴中，若余纤维化为单射，则纤维化-余纤维化替换之间的比较映射为余纤维化——此结果在经典模型范畴理论中无法证明。
• 模型范畴之间的伴随关系可提升为代数 Quillen 伴随关系，其中右伴随保持模态代数，左伴随保持余模态余代数，且自然提升由对偶关系诱导。
• 若基 awfs 为胞状生成，则图示范畴上的逐点 awfs 亦为胞状生成，从而可构造代数射影模型结构。
• 代数 Quillen 伴随关系中函子提升之间的自然变换与伴随关系的单位和余单位交换，确保结构的一致性与自然性。
• 代数结构允许对提升问题给出自然的典范解，且该解关于余代数与代数之间的映射保持自然性，从而推广了经典路径提升构造。