2011/11/30 by Wenbin Zhang, Zhang, Wenbin
Mathematics · #55P48 #Algebraic Topology (math.AT) #FOS: Mathematics #Group Theory (math.GR) #math.AT #math.GR #msc:55P48
paper · pdf · doi:10.48550/arxiv.1111.7090
submitted; 39 pages; part of the author's Ph.D. thesis; Abstract and Introduction rewritten; Remarks 2.14 and 2.32 added concerning extending any group and G-space to a group operad and G-operad; Acknowledgements added; numerous minor corrections and changes made
arxiv created 2012/06/19 · arxiv updated 2012/06/20
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 Ω∞ Σ∞ 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 Ω∞ Σ∞ X, in particular a free group model for its homotopy fibre.