Modular representations and the homotopy of low rank \(p\)-local \(CW\)-complexes (Q1944814): Difference between revisions

The authors investigate the homotopy decomposition of some loop-suspension of a space. More precisely, let \(p\) be a prime, \(X\) be the \(p\)-localization of a finite suspended CW complex. Set \(V=\widetilde H_*(X)\). Let \(M\) denote the sum of the degrees of generators of \(V\) and \((b_i)\) the sequence defined by: \[ b_0= 0,\quad b_{i+1}= (1+ \dim V)b_i+ M. \] Suppose either \(V_{\text{odd}}= \{0\}\) or else \(V_{\text{even}}= \{0\}\) and \(2\leq\dim V\leq p\). With the hypotheses and notation above, the authors prove: (i) If \(\dim V\leq p- 2\), then each \(\Omega\Sigma^{b_i+1}X\), \(i\geq 1\), is a homotopy retract of \(\Omega\Sigma X\). (ii) If \(\dim V= p\), then there exists spaces \(Y_i\), \(i\geq 1\), such that each \(\Omega\Sigma Y_i\) is a homotopy retract of \(\Omega\Sigma X\) and \(\widetilde H_*(Y_i)=\widetilde H_*(\Sigma^{b_i} X)\). (iii) If \(\dim V=\dim V_{\text{odd}}\) is an even integer \(\leq p- 2\), then there exists a homotopy decomposition \[ \Omega\Sigma X\simeq\Biggl(\prod_{i\geq 0} A_i\Biggr)\times (\text{some other space}), \] where \(A_i\) is a finite \(H\)-space that is a homotopy retract of \(\Omega\Sigma^{b_i+1}X\) with \(H_*(A_i)\) isomorphic to the primitively generated algebra \(\wedge(\Sigma^{b_i} V)\).