Power-cancellation of \(CW\)-complexes with few cells (Q1802393)

Let \(X=\bigvee^ k S^ n\cup_ f e^ m\), \(Y=\bigvee^ k S^ n\cup_ g e^ m\), where the attaching maps \(f\), \(g\) are suspension elements of infinite order in \(\pi_{m-1}(\bigvee^ k S^ n)\). It is proved that if \(X\), \(Y\) belong to the same genus, i.e. have homotopy equivalent \(p\)-localizations for all primes \(p\), then there is an integer \(t\) such that \(\bigvee^ t X\) and \(\bigvee^ t Y\) are homotopy equivalent. The converse of this statement holds by a theorem of \textit{C. Wilkerson} [Topology 14, 29-36 (1975; Zbl 0315.55016)]. The other main result of the paper is too complicated to state here; it concerns wedges of spaces of the form \(\bigvee^ k S^{2n}\cup e^{4n}\).