The Steenrod problem of realizing polynomial cohomology rings

From MaRDI portal
Publication:5502829

DOI10.1112/JTOPOL/JTN021zbMATH Open1160.55001arXiv0704.4002OpenAlexW3101132608MaRDI QIDQ5502829FDOQ5502829

Kasper K. S. Andersen, Jesper Grodal

Publication date: 9 January 2009

Published in: Journal of Topology (Search for Journal in Brave)

Abstract: In this paper we completely classify which graded polynomial R-algebras in finitely many even degree variables can occur as the singular cohomology of a space with coefficients in R, a 1960 question of N. E. Steenrod, for a commutative ring R satisfying mild conditions. In the fundamental case R = Z, our result states that the only polynomial cohomology rings over Z which can occur, are tensor products of copies of H^*(CP^infty;Z) = Z[x_2], H^*(BSU(n);Z) = Z[x_4,x_6,...,x_{2n}], and H^*(BSp(n):Z) = Z[x_4,x_8,...,x_{4n}] confirming an old conjecture. Our classification extends Notbohm's solution for R = F_p, p odd. Odd degree generators, excluded above, only occur if R is an F_2-algebra and in that case the recent classification of 2-compact groups by the authors can be used instead of the present paper. Our proofs are short and rely on the general theory of p-compact groups, but not on classification results for these.


Full work available at URL: https://arxiv.org/abs/0704.4002





Cites Work


Cited In (10)






This page was built for publication: The Steenrod problem of realizing polynomial cohomology rings

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