Published online by Cambridge University Press: 24 October 2008
This paper studies the homology of the homotopy quotient of a G-manifold. We start by formulating a complex based on differential forms to compute this homology. This leads to a topological version of integration formulas over fibred products of G-manifolds. In particular the TQFT formulas studied by Witten and Atiyah–Jeffrey now appear as a pairing of homology and cohomology classes. We compare our construction with both the double complex of Axelrod and Witten and with the distributional complex of Duflo and Vergne.