Equivariant homotopical homology with coefficients in a Mackey functor (Q2381639)

Let \(G\) be a finite group. The first model of a \(G\)-equivariant homology theory was introduced by [\textit{E. Bredon}, Equivariant cohomology theories. Berlin-Heidelberg-New York: Springer-Verlag (1967; Zbl 0162.27202)] and later on it was developed by [\textit{S. Illman}, Equivariant singular homology and cohomology. I, Mem. Am. Math. Soc. 156 (1975; Zbl 0297.55003)] into a homology theory \(H^G_*(- ; M_*)\) with a covariant coefficient system \(M_*\) associated to a Mackey functor \(M\). The functor \(M\) acts both covariantly and contravariantly on the category of canonical orbits of \(G\). In this paper, by making use of this bifunctorial property of \(M\), the authors construct a topological abelian group \(F^G(X, M)\) for any (pointed) \(G\)-space \(X\), and show that this defines an ordinary \(G\)-equivariant homology theory \(\mathbb{H}^G_*(- ; M)\) on the category of \(G\)-spaces by setting \(\mathbb{H}^G_q(X; M)=\pi_q(F^G(X^+, M))\). The main results of this paper are the following two theorems. Theorem 3.16: The bifunctor \(F^G(-^+, M)\) restricted to the category of finite \(G\)-sets is naturally isomorphic to \(M\). Hence \(\mathbb{H}^G_q(S; M)\cong M(S)\) when \(q=0\) and 0 otherwise for a finite \(G\)-set \(S\). Theorem 4.1: \(\widetilde{\mathbb{H}}^G_q(X; M)\) is naturally isomorphic to \(\widetilde{H}^G_q(X; M_*)\) for any \(G\)-space \(X\) having the homotopy type of a \(G\)-\(CW\)-complex. Putting together these two results one finds immediately that the equivariant Dold-Thom theorem for the Bredon-Illman homology \(H^G_*(- ; M_*)\) on the homotopy category of \(G\)-\(CW\)-complexes has already been proved. Let \(X\) be a pointed \(G\)-space. The group \(F^G(X, M)\) consists of pointed almost-zero \(G\)-maps \(u : X \to \widehat{M}=\bigcup_{H\subset G}M(G/H)\) with \(u(x)\in M(G/G_x)\) where the sum \(u+v\) is given by \((u+v)(x)=u(x)+v(x)\in M(G/G_x)\). Let \(\mathcal{S}(X)\) be the singular simplicial set of \(X\) and \(\rho : | \mathcal{S}(X)| \to X\) be a canonical \(G\)-map. Then \(\rho\) defines a surjective homomorphism \(\rho_*^G : F^G(| \mathcal{S}(X)| , M) \to F^G(X, M)\), and so let \(F^G(X, M)\) be given the identification topology of \(\rho_*^G\) where \(F^G(| \mathcal{S}(X)| , M)\) is endowed with a certain union topology. Under this topology any continuous \(G\)-map \(f : X \to Y\) and \(G\)-covering map \(p : E \to X\) induce continuous homomorphisms \(f^G_* : F^G(X^+, M) \to F^G(Y^+, M)\) and \(t^G_p : F^G(X^+, M) \to F^G(E^+, M)\) (called the transfer), respectively. Incidentally there is a formula for the composite \(p^G_*t^G_p\) which characterizes Mackey functors with values in vector spaces over the field of characteristic zero or prime to \(| G| \) (Theorems 5.7 and 5.8). The simplicial group \(F^G(\mathcal{S}(X), M)\), which can be thought of as a chain complex, plays a principal role in the discussion here. In particular this provides a useful technique for proving the second main result. Indeed the authors prove that it is isomorphic to Illman's chain complex, and so one has \(\widetilde{H}^G_q(X; M) \cong H_q(F^G(\mathcal{S}(X), M))\). In addition it is shown that there are two natural isomorphisms \(H_q(F^G(\mathcal{S}(X), M))\cong \pi_q(F^G(\mathcal{S}(X), M))\cong \pi_q(F^G(| \mathcal{S}(X)| , M))\). But now \(| \mathcal{S}(X)| \simeq_GX\) since \(X\) has the homotopy type of a \(G\)-\(CW\)-complex. So it follows that \(H_q(F^G(\mathcal{S}(X), M))\cong \pi_q(F^G(X), M))\), and thus one obtains \(\widetilde{H}^G_q(X; M)\cong \widetilde{\mathbb{H}}^G_*(X; M)\).