On the homology of mapping spaces (Q651297): Difference between revisions

Let \(\Omega\) denote the category whose objects are finite sets \(\langle s\rangle\) \((s=1,2,3,\dots )\) and whose morphisms are surjective functions. Let \(X\) and \(R\) be a fixed simplicial space and a commutative ring. For each \(n\geq 0\), let \(M_n(X)\) denote the functor from the dual category of \(\Omega\) to the category of \(R\)-modules given by \(M_n(X)(\langle s\rangle )=C_n(X^{\wedge s})\) (\(X^{\wedge s}\): the \(s\)-th smash power) and \(M_n(X)(h)=C_n(h^{\#})\) for a morphism \(h:\langle t\rangle \to \langle s\rangle\), where \(h^{\#}:X^{\wedge s}\to X^{\wedge t}\) is given by \(h^{\#}(x_1\cdots x_s)=x_{h(1)}\cdots x_{h(t)}.\) (Here \(x_1\cdots x_s\in (X^{\wedge s})_n\) denotes the simplex given by the projection of the image of the simplex \(\{x_1,\dots ,x_s)\in (X^S)_n\).) Note that the functors \(M_n(X)\) are projective objects of the abelian category of functors from the dual category of \(\Omega\) to the category of \(R\)-modules and that the boundary operators \(\partial :C_n(X^{\wedge s})\to C_{n-1}(X^{\wedge s})\) form a functor morphism \(\partial :M_n(X)\to M_{n-1}(X)\) (so \(M_*(X)\) is a chain complex of functors). In this paper the author studies the unbounded chain complex of \(R\)-modules \(G_*(X,Y)=\text{Hom}_*(M_*(X),M_*(Y))\) and defines a chain homomorphism \(\lambda (X,Y):C_*(Y^X)\to G_*(X,Y)\) following some ideas due to Bendersky-Gitler. In particular, for \(R={\mathbb Z}/l\) \((l\): fixed prime) he shows that \(\lambda (X,Y)\) is a quasi-isomorphism if \(X\) is essentially compact and \(\pi_0(Y,y)\) is a finite \(l\)-group for any \(y\in Y\), and he constructs an isomorphism between Anderson's and Arone's complexes modeling the chain complexes of a mapping space.