Stable retraction of \(CW\)-complexes whose cohomologies are small exterior algebras (Q1326740)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stable retraction of \(CW\)-complexes whose cohomologies are small exterior algebras |
scientific article |
Statements
Stable retraction of \(CW\)-complexes whose cohomologies are small exterior algebras (English)
0 references
2 May 1995
0 references
In [Q. J. Math., Oxf. II. Ser. 35, 115-119 (1984; Zbl 0555.55010)], \textit{F. R. Cohen} and \textit{F. P. Peterson} studied three cell complexes \(X= S^{a_ 1} \cup e^{a_ 2}\cup e^{a_ 1+ a_ 2}\) satisfying the following conditions: SR1 \(H^* (X,{\mathbf F}_ 2) \cong \Lambda (u_{a_ 1}, u_{a_ 2})\) where \(\deg u_{a_ i}= a_ i\) for \(i=1,2\) and \(a_ 2> a_ 1\), SR2 \(Sq^{a_ 2- a_ 1} u_{a_ 1}= u_{a_ 2}\), SR3 \(Y= S^{a_ 1}\cup e^{a_ 2}\) is a stable retract of \(X\). They proved that if such a space \(X\) exists, then \(a_ 2- a_ 1=2^ t\) for \(t=0\), 1, 2, or 3 and \({{a_ 1}\choose {2^ t}} \equiv 1\bmod 2\). In this note we determine necessary and sufficient conditions for the existence of such a three cell complex in terms of the degrees of the generators of the cohomology. Theorem: There exists a CW-complex \(X\) satisfying the above three conditions if and only if \(a_ 2- a_ 1= 2^ t\) and \(a_ 1\equiv -1\bmod 2^{t+1}\) for \(t=0\), 1, 2, or 3. Corollary: \(E_ 6/ F_ 4\) never retracts stably to its 17-skeleton. Thus \(E_ 6/ F_ 4\) is not stably parallelizable.
0 references
Steenrod squares
0 references
atomic spaces
0 references
three cell complexes
0 references
stable retract
0 references
stably parallelizable
0 references