[论文解读] Homotopy Algebras for Operads

Tom Leinster|ArXiv.org|Feb 22, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 44被引用 28

一句话总结

本文在任意带有同伦等价概念的张量范畴中，为操作子代数引入了一个通用定义，无需依赖额外结构（如纤维化或解析）。其核心贡献是一个统一框架，将各类弱化代数结构（如 $A_\infty$-空间、$A_\infty$-代数及环路空间）作为同伦代数的特例，表明环路空间自然地构成同伦幺半，而迭代环路空间则是更高阶的同伦幺半。

ABSTRACT

We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically, suppose that M is a monoidal category in which it makes sense to talk about algebras for some operad P. Then our definition says what a homotopy P-algebra in M is, provided only that some of the morphisms in M have been marked out as `homotopy equivalences'. The bulk of the paper consists of examples of homotopy algebras. We show that any loop space is a homotopy monoid, and, in fact, that any n-fold loop space is an n-fold homotopy monoid in an appropriate sense. We try to compare weakened algebraic structures such as A_infinity-spaces, A_infinity-algebras and non-strict monoidal categories to our homotopy algebras, with varying degrees of success. We also prove results on `change of base', e.g. that the classifying space of a homotopy monoidal category is a homotopy topological monoid. Finally, we reflect on the advantages and disadvantages of our definition, and on how the definition really ought to be replaced by a more subtle infinity-categorical version.

研究动机与目标

• 为任意带有指定同伦等价类的张量范畴中的操作子代数，提供一个通用的范畴论定义，使其适用于所有此类范畴。
• 在单一概念框架下统一多种弱化代数结构，如 $A_\infty$-空间、$A_\infty$-代数及非严格幺半范畴。
• 证明环路空间与迭代环路空间自然地作为结合操作子代数的同伦代数出现，特别是作为同伦幺半与高阶同伦幺半。
• 建立基底变换的基础结果，例如同伦幺半范畴的分类空间是同伦拓扑幺半。
• 批判性反思当前定义的局限性，并倡导采用更精细的 $\infty$-范畴替代定义，以完整捕捉高阶一致性数据。

提出的方法

• 仅利用范畴 $\mathcal{M}$ 中的同伦等价数据，定义操作子 $P$ 在张量范畴 $\mathcal{M}$ 上的同伦代数，无需纤维化、柱状复形或解析。
• 通过弱化严格代数公理来构建定义：不强调交换图，而仅要求图在指定同伦等价下保持交换。
• 利用丰富范畴论与多重范畴理论，将定义推广至丰富设定，特别是 $\mathbf{Cat}$ 与张量 2-范畴。
• 证明操作子的自由幺半范畴为在 2-范畴语境下理解同伦代数提供了一个通用框架。
• 将定义应用于关键示例：环路空间作为同伦幺半，$A_\infty$-空间与 $A_\infty$-代数作为结合操作子的同伦代数。
• 证明分类空间函子保持同伦幺半结构，表明同伦幺半范畴的分类空间是同伦拓扑幺半。

实验结果

研究问题

• RQ1 如何在不依赖纤维化或解析等辅助结构的前提下，为一般张量范畴中的操作子代数定义同伦代数？
• RQ2 环路空间与迭代环路空间在何种意义上自然地成为结合操作子的同伦代数？
• RQ3 所提出的同伦代数定义与既有的概念（如 $A_\infty$-空间、$A_\infty$-代数及非严格幺半范畴）有何关联？
• RQ4 该定义对基底变换有何影响，特别是对同伦幺半范畴与同伦拓扑幺半之间的关系？
• RQ5 为何当前定义不足？$\infty$-范畴定义在完整捕捉高阶一致性数据方面有何优势？

主要发现

• 任何环路空间都是拓扑空间范畴中同伦幺半（以同伦等价为结构），任何 $n$ 重环路空间都是 $n$ 重同伦幺半。
• 同伦幺半范畴的分类空间是同伦拓扑幺半，建立了范畴论与拓扑学中同伦代数之间的强关联。
• 该定义将 $A_\infty$-空间与 $A_\infty$-代数作为结合操作子同伦代数的特例完整捕捉，且无需在复合中引入任意选择。
• 该框架足够通用，可应用于微分分次代数（通过链同伦等价）、拓扑空间（通过同伦等价）及范畴（通过范畴等价）。
• 当前定义被视为 $\infty$-范畴理论的 1 维近似，其中一致性公理仅被部分捕捉。
• 本文识别出一种根本性二分：‘代数’定义（选择复合）与‘概念’定义（复合仅在等价意义下唯一），而所提定义更倾向于后者。