(also nonabelian homological algebra)
Let be the chains/Moore complex functor of the Dold-Kan correspondence.
Let be the standard monoidal category structure given degreewise by the tensor product on Ab and let be the standard monoidal structure on the category of chain complexes.
For two abelian simplicial groups, the Eilenberg-Zilber map or Eilenberg-MacLane map or shuffle map is the natural transformation on chain complexes
defined on two -simplices and by
where the sum is over all -shuffles
and the corresponding degeneracy maps are
and
(The shift in the indices is to be coherent with the convention that the shuffle is a permutation of . In many references the shift disappears by making it a permutation of instead.) The sign is the signature of the corresponding permutation.
The sum may be understood as being over all non-degenerate simplices in the product . See products of simplices for more on this.
This map restricts to the normalized chain complex
The Eilenberg-Zilber map is a lax monoidal transformation that makes and into lax monoidal functors.
See monoidal Dold-Kan correspondence for details.
On normalized chain complexes the EZ map has a left inverse, given by the Alexander-Whitney map :
For all the EZ map is a quasi-isomorphism and in fact a chain homotopy equivalence.
This is in 29.10 of (May).
For the next statement notice that both and are in fact symmetric monoidal categories.
The EZ map is symmetric in that for all the square
commutes, where denotes the symmetry isomorphism in and .
Eilenberg-Zilber map
In the context of filtered spaces and their associated fundamental crossed complex?es there is a natural Eilenberg-Zilber morphism
which is difficult to define directly because of the complications of the tensor product of crossed complexes, but has a direct definition in terms of the associated cubical homotopy –groupoids. This morphism is an isomorphism of free crossed complexes if are the skeletal filtrations of CW-complexes. For more on all this, see the book Nonabelian Algebraic Topology p. 533.
The Eilenberg-Zilber map was introduced in (5.3) of
See also
Peter May, 29.7 of Simplicial objects in algebraic topology , Chicago Lectures in Mathematics, Chicago, (1967) (djvu)
A.P. Tonks, On the Eilenberg-Zilber Theorem for crossed complexes. J. Pure Appl. Algebra, 179~(1-2) (2003) 199–220,
Tim Porter, section 11.2 of Crossed Menagerie,
Jean-Louis Loday, section 1.6 of Cyclic Homology, Grund. Math. Wiss. 301, Springer, 1992.
Dan Quillen, part I, section 4 of Rational homotopy theory, The Annals of Mathematics, Second Series, Vol. 90, No. 2 (Sep., 1969), pp. 205-295 (JSTOR)
The specific maps introduced by Eilenberg-Mac Lane have stronger properties which for simplicial sets make a strong deformation retract of . This is exploited in
Last revised on November 19, 2018 at 09:48:53. See the history of this page for a list of all contributions to it.