On the collapse of certain Eilenberg-Moore spectral sequences. (Q1398693)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the collapse of certain Eilenberg-Moore spectral sequences. |
scientific article |
Statements
On the collapse of certain Eilenberg-Moore spectral sequences. (English)
0 references
7 August 2003
0 references
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.
0 references
H-space
0 references
Eilenberg-Moore spectral sequence
0 references
path-loop fibration
0 references