A connection between cellularization for groups and spaces via two-complexes

From MaRDI portal
Publication:2481806



Abstract: Let M denote a two-dimensional Moore space (so ), with fundamental group G. The M-cellular spaces are those one can build from M by using wedges, push-outs, and telescopes (and hence all pointed homotopy colimits). The question we address here is to characterize the class of M-cellular spaces by means of algebraic properties derived from the group G. We show that the cellular type of the fundamental group and homological information does not suffice, and one is forced to study a certain universal extension.


Let \(M\) be a two-dimensional Moore space (so \(H_2(M,\mathbb Z)=0\)), with fundamental group \(G\). The \(M\)-cellular spaces are those one can build from \(M\) using wedges, push-outs, and telescopes (and hence all pointed homotopy colimits). Denote by \(J\) the set of primes \(p\) for which \(G_{ab}\) is uniquely \(p\)-divisible, and define \(R=\mathbb Z_{(J)}\), the integers localized at \(J\), if \(G_{ab}\) is torsion, and \(R=\oplus_{p\in J}\mathbb Z/p\) otherwise. The purpose of the text is to characterize \(M\)-cellular spaces in terms of \(G\). For a group \(G\), the class of \(G\)-cellular groups is the smallest class of groups containing \(G\) and closed under colimits. Theorem. If \(G\) is either finite abelian or a subring of \(\mathbb Q\), then a space \(X\) is \(M\)-cellular if and only if \(\pi_1X\) is \(G\)-cellular and \(X\) is \(H\, R\)-acyclic. In particular a simply connected space \(X\) is \(M\)-cellular if and only if \(X\) is \(H\,R\)-acyclic. In general it is not possible to characterize the class of \(M\)-cellular spaces by means of algebraic properties derived from the group \(G\) and homological information, and the authors are forced to study a certain universal extension. Consider for instance the group \(G=\mathbb Z[1/p]*\mathbb Z/p\), and \(X=K(\mathbb Z, 2)\). Then, as shown by the authors, \(K(\mathbb Z,2)\) is \(H\, R\)-acyclic but not \(M\)-cellular.











This page was built for publication: A connection between cellularization for groups and spaces via two-complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481806)