On the complexes of Hirsch and Eilenberǵ–Moore

Abstract

Both Hirsch (cf. (5), (3)) and Eilenberg and Moore (cf. (7)) have described filtered complexes for the cohomology of a fibre space, under different hypotheses. Provided both complexes are defined, we shall give an explicit filtration-preserving map of the first into the second which induces homology isomorphisms. In section 3 we shall use this to transfer the action of the group in a principal bundle from the Hirsch complex (as computed by the author in (1)) to that of Eilenberg and Moore. The latter complex has certain advantages, for example, it is natural, and admits a cup-product structure.