The Moore complex of a simplicial group – also known in its normalized version as the complex of normalized chains – is a chain complex whose differential is built from the face maps of the simplicial group.
Recall that a simplicial group , being in particular a Kan complex, may be thought of, in the sense of the homotopy hypothesis, as a combinatorial space equipped with a group structure. The Moore complex of is a chain complex
whose -cells are the “-disks with basepoint on their boundary” in this space, with the basepoint sitting on the identity element of the space;
the boundary map on which acts literally like a boundary map should: it sends an -disk to its boundary, read as an -disk whose entire boundary is concentrated at the identity point.
This is entirely analogous to how a crossed complex is obtained from a strict ω-groupoid. In fact it is a special case of that, as discussed at Dold-Kan correspondence in the section on the nonabelian version.
Given a simplicial group , the -graded chain complex complex of (possibly nonabelian) groups is
in degree the joint kernel
of all face maps except the 0-face
with differential given by the remaining 0-face
Equivalently one can take the joint kernel of all but the -face map and take that remaining face map, , to be the differential.
It is important to note, and simple to prove, that is a normal complex of groups, so that it is easy to take the homology of the complex, even though the groups involved may be non-abelian.
We may think of the elements of the complex in degree as being -dimensional disks in :
an element in degree 1 element is a 1-disk
an element is a 2-disk
a degree 2 element in the kernel of the boundary map is such a 2-disk that is closed to a 2-sphere
For every simplicial group the complex is a normal complex of groups.
There are two other chain complexes naturally associated with :
The alternating face map complex of is
in degree given by the group itself
with the differential given by the alternating sum of face maps (using the abelian group structure on )
The complex modulo degeneracies, is the complex
which in degree is given by the quotient group obtained by dividing out the group
generated by the degenerate elements in
with differential being the induced action of the alternating sum of faces on the quotient.
This is indeed well defined in that the alternating face boundary map satisfies in and restricts to a boundary map on the degenerate subcomplex .
For the first statement one checks
using the simplicial identity for .
Similarly, using the mixed simplicial identities we find that for a degenerate element, its boundary is
which is again a combination of elements in the image of the degeneracy maps.
Let be a simplicial abelian group.
There is a splitting
where the first summand is naturally isomorphic to the Moore complex as defined above.
The evident composite of natural morphisms
(inclusion followed by projection to the quotient) is a natural isomorphism of chain complexes.
This appears as theorem 2.1 in (GoerssJardine).
Following the proof of theorem 2.1 in (GoerssJardine) we look for each and each at the groups
and similarly at
the subgroup generated by the first degeneracies.
For these coincide with and with , respectively. We show by induction on that the composite
is an isomorphism of all . For this is then the desired result.
The functor is an equivalence of categories.
This is the statement of the Dold-Kan correspondence. See there for details.
for the -th simplicial homotopy group of . Notice that due to the group structure of in this case also is indeed canonically a group, not just a set.
For a simplicial abelian group there are natural isomorphisms
Both as well as are naturally categories with weak equivalences given by those morphisms that induce isomorphisms on all simplicial homotopy group and on all chain homology groups, respectively. So the above statement says that the Moore complex functor respects these weak equivalences.
In fact, it induces an equivalence of categories also on the corresponding homotopy categories. And even better, it induces a Quillen equivalence with respect to the standard model category structures that refine the structures of categories of weak equivalences. All this is discussed at Dold-Kan correspondence.
This has been established in (Carrasco-Cegarra). In fact, the analysis of the Moore complex and what is necessary to rebuild the simplicial group from its Moore complex is the origin of the abstract motion of hypercrossed complex, so our stated proposition is almost a tautology!
These Moore complexes are easily understood in low dimensions:
Suppose that is a simplicial group with Moore complex , which satisfies for , then has the structure of a 2-group. The interchange law is satisfied since the corresponding equation in is always the image of an element in , and here that must be trivial. If one thinks of the 2-group as being specified by a crossed module , then in terms of the original simplicial group, , , , and the action of on translates to an action of on using conjugation by , i.e., for and ,
Suppose next that for , then the Moore complex is a 2-crossed module.
Original sources are
John Moore, Semi-simplicial complexes and Postnikov systems , Symposium international de topologia algebraica, Mexico 1958, p. 243].
John Moore, Semi-simplicial Complexes, seminar notes , Princeton University 1956]
There is also a never published
A proof by Cartan is in
A standard textbook reference for the abelian version is
Notice that these authors write “normalized chain complex” for the complex that elsewhere in the literature would be called just “Moore complex”, whereas what Goerss–Jardine call “Moore complex” is sometime maybe just called “alternating sum complex”.
A discussion with an emphasis of the generalization to non-abelian simplicial groups is in section 1.3.3 of
The discusson of the hypercrossed complex structure on the Moore complex of a general simplicial group is in