Equivariant Tate-Vogel homology (Q1207519): Difference between revisions

The purpose of this paper is to extend the Tate equivariant homology to infinite groups and infinite dimensional CW-complexes. Let us first say that a complex of modules \(C\) is called projective if the functor \(\text{Hom}(C,-)\) preserves quasi-isomorphisms and is injective if \(\text{Hom}(-,C)\) transforms injective quasi-isomorphisms into surjective ones. A projective resolution of a complex \(M\) is a quasi-isomorphism \(P \to M\) with \(M\) projective. An injective resolution of \(M\) is a quasi- isomorphism \(M \to I\), with \(I\) injective. Let \(M\) and \(N\) be complexes of \(A\)-modules, let \(P_ M\) be a projective resolution of \(M\) and \(I_ N\) an injective resolution of \(N\), then we can form \(P_ M\check\otimes I_ N = P_ M \hat\otimes I_ N/P_ M \otimes I_ N\) where \((P_ M \hat\otimes I_ N) = \prod_{p+q=n} P_ p \otimes I_ q\). The equivariant Tor is then defined by \(\text{Tor}^{V^ A}_ *(M,N) = H_{*+1}(P_ M \check\otimes I_ N)\) and does not depend on the choices of \(P_ M\) and \(I_ N\). Extending the classical finite dimensional case, the author defines then the Tate-Vogel equivariant homology of a \(G\)-CW complex by putting \[ \widetilde H_ *^ G(X) = \text{Tor}^{V^{k[G]}}_ *(k,S_ *(X)). \] An equivariant Tate (Farrel) equivariant cohomology is defined in a similar way.