On the homotopy groups of a finite dimensional space (Q793399)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the homotopy groups of a finite dimensional space |
scientific article |
Statements
On the homotopy groups of a finite dimensional space (English)
0 references
1984
0 references
This paper settles a 30 years old conjecture of \textit{J. P. Serre} in the affirmative. The following result is proved. Theorem: Let X be a 1- connected space and p a prime such that (i) \(H_ n(X;Z/p)\neq 0\) for some \(n>0\), and (ii) \(H_ n(X;Z/p)=0\) for all n sufficiently large. Then for infinitely many n, \(\pi_ nX\) contains a subgroup of order p. Serre conjectured such a result for \(p=2\) in his paper in ibid. 27, 198-232 (1953; Zbl 0052.195). The key ingredient in our proof is the recent powerful result of Haynes Miller: Let X and p be as above. Let \(B=BZ/p\), the classifying space for the group Z/p. Then the space of pointed maps from B to X is weakly contractible; that is, \(\pi_ n(map_*(B,X))=0\) for all \(n\geq 0\). Miller's theorem implies a remarkable property of the iterated loop spaces \(\Omega^ nX\), of such a space X. His result implies that every map from B to \(\Omega^ nX\) is homotopic to the constant map. The proof of our theorem relies on this fact together with some elementary arguments using Postnikov towers. We now conjecture that the following related result is true; given X and p as above, and \(t>1\), if \(p^ t\)-torsion occurs at least once in \(\pi_*X\), then for infinitely many n, \(\pi_ nX\) contains an element of order \(p^ t\).
0 references
Eilenberg-MacLane space
0 references
p-torsion in homology groups
0 references
mod p finite dimensional spaces
0 references
maps from classifying spaces of cyclic groups into finite dimensional spaces
0 references
iterated loop spaces
0 references
Postnikov towers
0 references