The loop cohomology of a space with the polynomial cohomology algebra

From MaRDI portal
Publication:2409669



Abstract: Given a simply connected space X with the cohomology H∗(X;mathbbZ2) to be polynomial, we calculate the loop cohomology algebra H∗(OmegaX;mathbbZ2) by means of the action of the Steenrod cohomology operation Sq1 on H∗(X;mathbbZ2). As a consequence we obtain that H∗(OmegaX;mathbbZ2) is the exterior algebra if and only if Sq1 is multiplicatively decomposable on Hast(X;mathbbZ2). The last statement in fact contains a converse of a theorem of A. Borel.


Let \(X\) (resp. \(\Omega X\)) be a simply connected topological space (resp. the loop space of \(X\)). The aim of this paper is to calculate the algebra \(H^{*}(\Omega X; \; \mathbb{Z}/2\mathbb{Z})\) when the algebra \(H^{*}(X; \; \mathbb{Z}/2\mathbb{Z})\) is polynomial, by means of the Steenrod operation \(Sq_{1}\) on \(H^{*}(X; \; \mathbb{Z}/2\mathbb{Z})\) (compare with [\textit{A. Borel}, Ann. Math. (2) 57, 115--207 (1953; Zbl 0052.40001)]). The author gives also a criterion for \(H^{*}(\Omega X; \; \mathbb{Z}/2\mathbb{Z})\) to be an exterior algebra. The method used is based on the filtered Hirsch model for \(X\) (see: [\textit{S. Saneblidze}, Trans. A. Razmadze Math. Inst. 170, No. 1, 114--136 (2016; Zbl 1385.55011)]).











This page was built for publication: The loop cohomology of a space with the polynomial cohomology algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409669)