[论文解读] Group Operads and Homotopy Theory

Wen-Bin Zhang|arXiv (Cornell University)|Nov 30, 2011

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

一句话总结

本文引入了群操作代数（group operads）——在操作代数语境下对群的推广——以统一并扩展经典同伦论构造。它证明了拓扑操作代数的基本群是一个群操作代数，且高阶同伦群在该基本群操作代数作用下具有结构，从而建立起覆盖操作代数理论，并可从其基本群操作代数重构 $K(\pi,1)$ 操作代数。关键贡献在于，利用对称群操作代数与辫群操作代数，构建了典范稳定化映射 $\Omega^2\Sigma^2X \hookrightarrow \Omega^\infty\Sigma^\infty X$ 的同伦纤维的自由群模型。

ABSTRACT

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of group operads, extending the classical theories of groups, spaces with actions of groups, covering spaces and classifying spaces of groups. In particular, the fundamental groups of a topological operad is naturally a group operad and its higher homotopy groups are naturally operads with actions of its fundamental groups operad, and a topological $K(π,1)$ operad is characterized by and can be reconstructed from its fundamental groups operad. Two most important examples of group operads are the symmetric groups operad and the braid groups operad which provide group models for $Ω^{\infty} Σ^{\infty} X$ (due to Barratt and Eccles) and $Ω^2 Σ^2 X$ (due to Fiedorowicz) respectively. We combine the two models together to produce a free group model for the canonical stabilization $Ω^2 Σ^2 X \hookrightarrow Ω^{\infty} Σ^{\infty} X$, in particular a free group model for its homotopy fibre.

研究动机与目标

• 开发一个群操作代数的一般理论，将经典群-拓扑对偶性推广至操作代数范畴。
• 将覆盖空间理论推广至覆盖操作代数，建立群操作代数与 $K(\pi,1)$ 操作代数之间的联系。
• 利用群操作代数构建典型同伦论对象（如 $\Omega^\infty\Sigma^\infty X$ 与 $\Omega^2\Sigma^2X$）的代数模型。
• 为稳定化映射 $\Omega^2\Sigma^2X \to \Omega^\infty\Sigma^\infty X$ 的同伦纤维提供自由群模型。

提出的方法

• 将群操作代数定义为一个操作代数 $\mathscr{G} = \{G_n\}_{n \geq 0}$，其中每个 $G_n$ 装备群结构，存在指向对称群操作代数 $\mathscr{S}$ 的同态，并且复合映射满足交叉同态条件。
• 证明拓扑操作代数的基本群自然构成一个群操作代数，且高阶同伦群是该基本群操作代数作用下的操作代数。
• 构造群操作代数 $\mathscr{G}$ 的分类操作代数，作为其基本群操作代数为 $\mathscr{G}$ 的拓扑 $K(\pi,1)$ 操作代数。
• 利用 Barratt-Eccles 模型 ($\mathscr{S}X$) 表示 $\Omega^\infty\Sigma^\infty X$，并利用 Fiedorowicz 模型 ($\mathscr{B}X$) 表示 $\Omega^2\Sigma^2X$，从而构造映射 $U\pi: U\mathscr{B}X \to U\mathscr{S}X$。
• 通过 $\mathscr{S}X$ 的操作代数滤过结构的原像，在 $\mathscr{B}X$ 上建立滤过结构，从而为 $\Omega^2\Sigma^2X$ 赋予新的滤过结构。
• 通过辫群之间的群同态（如反射与幂映射）表示 $\Omega^2\Sigma^2X$ 的自同态。

实验结果

研究问题

• RQ1 群论与拓扑学之间的相互作用能否通过统一的群操作代数概念，从空间推广至操作代数？
• RQ2 拓扑操作代数的同伦群如何继承操作代数结构？基本群在此过程中起什么作用？
• RQ3 覆盖空间理论能否推广至操作代数？$K(\pi,1)$ 操作代数能否从其基本群操作代数重构？
• RQ4 能否利用群操作代数对稳定化映射 $\Omega^2\Sigma^2X \to \Omega^\infty\Sigma^\infty X$ 进行代数建模？其同伦纤维的结构如何？
• RQ5 如何通过辫群操作代数中的群同态表示 $\Omega^2\Sigma^2X$ 的自同态（如度 $k$ 映射与幂 $k$ 映射）？

主要发现

• 拓扑操作代数的基本群自然构成一个群操作代数，且高阶同伦群是该基本群操作代数作用下的操作代数。
• 一个拓扑 $K(\pi,1)$ 操作代数被特征化，并可从其基本群操作代数重构，推广了经典 $K(\pi,1)$ 空间理论。
• 对称群操作代数 $\mathscr{S}$ 与辫群操作代数 $\mathscr{B}$ 分别为 $\Omega^\infty\Sigma^\infty X$ 与 $\Omega^2\Sigma^2X$ 提供了代数模型。
• 通过映射 $U\pi: U\mathscr{B}X \to U\mathscr{S}X$，为稳定化映射 $\Omega^2\Sigma^2X \hookrightarrow \Omega^\infty\Sigma^\infty X$ 的同伦纤维构建了自由群模型，且该纤维为自由群。
• 如度 $k$ 与幂 $k$ 映射等 $\Omega^2\Sigma^2X$ 的自同态，可通过辫群之间的特定群同态（包括反射与缩放映射）表示。
• 通过 $\mathscr{S}X$ 的操作代数滤过结构及其在 $\mathscr{B}X$ 中的原像，为 $\Omega^2\Sigma^2X$ 赋予新的典范滤过结构，从而揭示了该空间的深层结构。