On the collapse of certain Eilenberg-Moore spectral sequences. (Q1398693)

The collapse of the Eilenberg-Moore spectral sequence has interested topologists since the 1960's. The relation between the algebraic conditions on the cohomology of a space and the result of applying the Eilenberg-Moore spectral sequence gives some notion of how close the algebra is to topology. In this paper, the spaces considered are connected H-spaces for which the mod~\(p\) cohomology is concentrated in even degrees. Then the Eilenberg-Moore spectral sequences converging to the cohomology of fibres of the path-loop fibrations over such a space \(Z\) and over its based loop space \(\Omega Z\) collapse, giving isomorphisms \[ \text{ Tor}_{H^*(Z;{\mathbb Z}_p)}({\mathbb Z}_p, {\mathbb Z}_p) \cong \mathit{Gr}H^*(\Omega Z; {\mathbb Z}_p) \] and \[ \text{ Tor}_{H^*(\Omega Z;{\mathbb Z}_p)}({\mathbb Z}_p, {\mathbb Z}_p) \cong \mathit{Gr}H^*(\Omega^2 Z; {\mathbb Z}_p). \] When \(Z = \Omega X\) for \(X\) a simply-connected finite H-space, then the theorem applies giving collapse of the Eilenberg-Moore spectral sequence for double and triple loop spaces on \(X\). The collapse result follows from the condition that the suspension mapping \[ \sigma^*\colon QH^*(Z;{\mathbb Z}_p) \to PH^{*-1}(\Omega Z; {\mathbb Z}_p) \] is a monomorphism. By analyzing \(QH^{2k}(Z;{\mathbb Z}_p)\), the author obtains this condition.