Given a based simplicial group, you can find its reduced homology with coefficients in a field, homotopy, and geometric realization. These are functors. If I have a free product of based simplicial groups, does these associated functors split into coproducts? More generally, does these functors preserve colimits?
Does the homology, homotopy, and geometric realization functors of a simplicial group preserve colimits?
4
$\begingroup$
algebraic-topology
simplicial-stuff
1 Answers
3
The answer to all of your questions is "yes", in general, if you're talking about filtered colimits -but the free product is NOT a colimit of that kind. More specifically,
- As for the homology functor, it preserves filtered colimits.
- Homotopy groups preserve filtered colimits too. This you can find in J.P. May's "A Concise Course in Algebraic Topology".
- The realization functor preserves all kind of colimits. This follows from the fact that it is left adjoint to the total singular complex functor -see, for instance, Simplicial objects in Algebraic Topology, page 61, also by J.P. May-, and functors which are left adjoints preserve all colimits (S. Mac Lane, "Categories for the working mathematician", first edition, page 115).
-
0Does the forgetful functor from the category of simplicial groups to the category of simplicial sets preserve colimits? What I want to ask is that is seems your response also holds true whether for the category of simplicial groups or simplicial sets. – 2011-10-22
-
0For general colimits, the answer is "no". For filtered colimits, the answer is "yes". Since limits and colimits in the category of simplicial "something" are computed pointwise, the answer depends just on the preservation of colimits by the forgetful functor from groups to sets. General colimits are not preserved by this forgetful functor (the coproduct of two groups is NOT just the union of the underlying sets), but filtered colimits are preserved: see for instance the book "Abstract and concrete categories", http://katmat.math.uni-bremen.de/acc/acc.pdf . – 2011-10-22
-
0Thank you Augsti. It seems that "filtered" is the key word here. – 2011-10-23
-
0@a.r. where can I find the result that homology preserves *all* kinds of colimit? – 2015-02-18
-
0@Exterior Nowhere, because it doesn't. Consider the pushout that constructs $S^1$ as the interval with its endpoints glued. $H_1$ does obviously not preserve that pushout. – 2016-02-01
-
0@a.r. Homology commutes with filtered colimits, but not with all of them. – 2016-02-01