[论文解读] Right Bousfield Localization and Operadic Algebras

David White, Donald Yau|arXiv (Cornell University)|Dec 23, 2015

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

一句话总结

本文建立了在单一半单模型范畴中，右博斯菲尔德局部化保持由彩色操作数编码的代数结构的一般条件。证明了若局部化是单一半的，且操作数在逐项意义下是局部化的，则在操作数代数上的诱导模型结构存在，并且在局部化下保持不变，从而恢复经典结果，并在拓扑空间、链复形、等变范畴和小范畴中证明了新的保持定理。

ABSTRACT

It is well known that under some general conditions right Bousfield localization exists. We provide general conditions under which right Bousfield localization yields a monoidal model category. Then we address the questions of when this monoidal model structure on a right Bousfield localization induces a model structure on the category of algebras over a colored operad and when a right Bousfield localization preserves colored operadic algebras. We give numerous applications, to topological spaces, equivariant spaces, chain complexes, stable module categories, and to the category of small categories. We recover a wide range of classical results as special cases of our theory, and prove several new preservation results.

研究动机与目标

• 确定在单一半模型范畴中，右博斯菲尔德局部化在何时保持彩色操作数代数的结构。
• 建立局部化范畴继承与操作数代数兼容的单一半模型结构的充分条件。
• 证明逐项局部化的彩色操作数在局部化范畴中诱导其代数上的模型结构。
• 将已知的保持结果作为特例恢复，并在拓扑空间、链复形和小范畴等不同范畴中证明新的结果。
• 将操作数代数的理论扩展到具有非平凡单一半结构和局部化函子的设定中。

提出的方法

• 引入单一半右博斯菲尔德局部化的概念，确保局部化模型结构中满足推出积公理。
• 使用在彩色操作数代数范畴上的转移模型结构和半模型结构，依赖于半群公理和交换半群公理。
• 应用逐项局部化的彩色操作数理论，其中每个分量相对于局部化集合 K 是局部化的。
• 通过 [BR14] 和 [SS00] 的结果，验证局部化范畴中半群公理的成立，适用于结合和交换操作数。
• 在 Cat 等范畴中，通过所有对象均为双纤维的性质，构建如 Barrat-Eccles 和 A∞-操作数的代数上的模型结构。
• 利用右博斯菲尔德局部化的普遍性质，确保保持 K-局部化等价的函子能通过局部化因子化，从而实现保持结果。

实验结果

研究问题

• RQ1 在何种条件下，右博斯菲尔德局部化保持彩色操作数代数上的模型结构？
• RQ2 在单一半模型范畴中，右博斯菲尔德局部化在何时仍保持单一半结构？
• RQ3 哪些彩色操作数能确保其代数在局部化下保持不变，特别是当操作数在逐项意义下是局部化时？
• RQ4 如何将操作数代数的理论扩展到小范畴、等变空间和稳定模范畴等设定下，尤其是在局部化背景下？
• RQ5 是否可以通过此框架恢复并推广经典结果，如拓扑空间的细胞化或链复形上的注射模型结构？

主要发现

• 若彩色操作数相对于局部化集合 K 是逐项局部化的，则右博斯菲尔德局部化保持其代数结构。
• 若原范畴满足半群公理，且局部化保持推出积条件，则局部化范畴继承单一半模型结构。
• 对于结合操作数，由于 [BR14] 和 [SS00] 的结果，局部化范畴中半群公理成立，从而保证结合代数上的模型结构。
• 对于交换操作数，其保持性由局部化范畴中的交换半群公理和半群公理保证，如 [Whi14a] 所示。
• 在小范畴范畴中，所有对象均为双纤维，因此操作数代数的半模型结构与完整模型结构一致，简化了构造过程。
• 在稳定模范畴和等变同伦论中的应用表明，当生成集 K 在单一半运算下适当封闭时，局部化保持交换与结合幺半元。