[论文解读] Simplicial localization of homotopy algebras over a prop

Sinan Yalin|arXiv (Cornell University)|Jul 18, 2013

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

一句话总结

本论文证明了，弱等价于可约 dg 伴流（dg props）的代数范畴的单纯局部化诱导出 Dwyer-Kan 等价，从而证明了同伦代数在同伦代数结构上的同伦理论与可约化分解的选择无关。该结果通过单纯局部化与完全塞加空间（complete Segal spaces）技术证明，将同伦不变性推广至组合性张量 dg 范畴中的着色 dg 伴流代数。

ABSTRACT

We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base change implies that the homotopy category of homotopy algebras over a prop P does not depend on the choice of a cofibrant resolution of P, and gives thus a coherence to the notion of algebra up to homotopy in this setting. The result is established more generally for algebras in combinatorial monoidal dg categories.

研究动机与目标

• 建立在弱等价下的基变换中，同伦代数结构上的同伦理论在同伦代数上的不变性。
• 解决同伦代数的同伦范畴是否依赖于底层伴流的可约化分解选择的协调性问题。
• 将现有关于操作子与伴流的结果推广至组合性张量 dg 范畴中的着色 dg 伴流的更广泛设定。
• 通过单纯局部化技术，为同伦代数结构上的基变换不变性问题提供最终答案。
• 将先前依赖强假设（如自由代数函子的存在性）的结果推广至任意域上的链复形的设定。

提出的方法

• 利用相对范畴的单纯局部化构造，以建立编码伴流代数同伦理论的单纯范畴。
• 应用完全塞加空间框架，比较单纯局部化的分类图。
• 在图范畴上使用外张量积与注射模型结构，将同伦性质从基范畴提升。
• 依赖 Yalin（2017）定理 3.14，以建立代数范畴中同调等价的神经空间的弱等价性。
• 应用注射模型结构中模型结构的传递性与推出积公理，以验证张量性质。
• 结合高阶范畴理论与同伦代数技术，证明 Dwyer-Kan 等价，而无需假设代数范畴上存在模型结构。

实验结果

研究问题

• RQ1 同伦代数结构上的同伦范畴是否依赖于伴流的可约化分解选择？
• RQ2 能否使 cofibrant dg 伴流上代数范畴的单纯局部化在基伴流的弱等价下保持不变？
• RQ3 在不假设自由代数函子存在性的前提下，能否实现同伦代数结构在基变换下的同伦不变性？
• RQ4 在任意域上的链复形中，能否证明着色伴流的同伦代数的同伦理论与分解选择无关？
• RQ5 单纯局部化与完全塞加空间技术如何协同作用，以在代数范畴上无模型结构的条件下建立不变性？

主要发现

• 可约 dg 伴流之间的弱等价诱导出其代数范畴单纯局部化的 Dwyer-Kan 等价。
• 同伦代数结构的同伦范畴与可约化分解的选择无关，从而确立了‘同伦意义下代数’概念的协调性。
• 该结果适用于组合性张量 dg 范畴中的代数，包括任意域上的链复形。
• 该证明避免依赖于代数范畴上的模型结构，从而绕过了先前方法的关键限制。
• 该方法适用于单色与着色伴流，其中着色情形在一般性上要求特征为零。
• 推论 3.17 确认：在特征为零的域上的着色 dg 伴流上，同伦代数的同伦理论在通过可约化分解的弱等价进行基变换下保持不变。