Homotopy decomposition of a suspended real toric space (Q2398328)

For an abstract simplicial complex \(K\) on \(m\) vertices \([m]=\{1,2,\dots ,m\}\), let \(\mathbb{R}\mathcal{Z}_K\) denote the real moment-angle complex of \(K\) defined by \[ \mathbb{R}\mathcal{Z}_K=\bigcup_{\sigma\in K}\{(x_1,\dots ,x_m)\in [0,1]^m:\;x_i\in \{0,1\}\text{ if }i\notin \sigma\}. \] It is known that there is a homotopy equivalence (due to Bahri-Bendersky-Cohen-Gitler) \[ \Sigma \mathbb{R}\mathcal{Z}_K\simeq\Sigma \bigvee_{I\notin K}\Sigma | K_I| ,\tag{1} \] where \(K_I\) denotes the full subcomplex of \(K\) on the vertex set \(I\) and \(| K_I|\) is its geometric realization. For \(n\leq m\), let \(\lambda :[m]\to (\mathbb{F}_2)^n\) be a characteristic function of \(K\) such that the vectors \(\{\lambda (i)\}_{i\in \sigma}\) are always linearly independent in \((\mathbb{F}_2)^n\) if \(\sigma\in K\), and let \(\Lambda\) be its characteristic matrix given by the \((n\times m)\)-matrix \(\Lambda =(\lambda (1),\dots ,\lambda (m)).\) If we identify \(\Lambda\) with the homomorphism \((\mathbb{F}_2)^m\to (\mathbb{F}_2)^n\) given by the matrix multiplication \(\Lambda\), it is known that \(\mathrm{Ker }\Lambda\cong (\mathbb{F}_2)^{m-n}\) and that the group \(\mathrm{Ker }\Lambda\) acts on \(\mathbb{R}\mathcal{Z}_K\) freely. Define the real toric space \(M_{\lambda}\) by the orbit space \(M_{\lambda}=\mathbb{R}\mathcal{Z}_K/\mathrm{Ker }\Lambda\). In this paper the authors study the homotopy type of the real toric space \(M_{\lambda}\) and they consider whether there is a homotopy splitting analogous to (1) for it. In particular, when the spaces are localized at the odd prime \(p\) or the rationals (in this case denoted by \(p=0\)), they show that there is a homotopy equivalence \[ \Sigma M_{\lambda}\simeq_p\Sigma \bigvee_{I\in\operatorname{Row}(\lambda)}\Sigma| K_I| ,\tag{2} \] where \(\operatorname{Row}(\lambda)\) is the space of \(m\)-dimensional \(\mathbb{F}_2\)-vectors spanned by rows of \(\Lambda\). They also give a counter example of the mod \(p\) homotopy decomposition (2) for the case \(p=2\).