Whitehead products in moment-angle complexes (Q826471)

Let \(K\) be a simplicial complex on the vertex set \([m]\). In the paper [Duke Math. J. 62, No. 2, 417--451 (1991; Zbl 0733.52006)], \textit{M. W. Davis} and \textit{T. Januszkiewicz} have defined two spaces \(\mathcal{Z}_{K}\subset (D^{2})^{m}\) (called the \textit{moment-angle complex}) and \(DJ_{K}\subset (\mathbb{C}P^{\infty})^{m}\) (called the \textit{Davis-Januszkiewicz space}). By definition, the moment-angle complex \(\mathcal{Z}_{K}\) has an \(m\)-dimensional torus action and the Davis-Januszkiewicz space \(DJ_{K}\) is homotopy equivalent to the Borel constrution of \(\mathcal{Z}_{K}\). In particular, there is the fundamental homotopy fibration \[ \mathcal{Z}_{K}\stackrel{\widetilde{w}}{\to} DJ_{K}\to (\mathbb{C}P^{\infty})^{m}. \] If \(K=\{p,q\}\), then the map \[ \widetilde{w}:\mathcal{Z}_{K}=S^{3}\to (S^{2}\vee S^{2}\to) \mathbb{C}P^{\infty}\vee \mathbb{C}P^{\infty}=DJ_{K} \] is the Whithead product of the bottom cell inclusion \(S^{2}\to \mathbb{C}P^{\infty}\). So it is natural to ask the following question: For which simplicial complex \(K\) is the map \(\widetilde{w}\) described by higher Whithead products? In the paper under review, the authors give an answer to this question when \(K\) is totally fillable, where a simplicial complex \(K\) is said to be \textit{totally fillable} if any full subcomplex \(K_{I}\) of \(K\) for \(I\subset [m]\) is \textit{fillable}, i.e., there is a collection of minimal non-faces \(\{\sigma_{1},\ldots, \sigma_{s}\}\subset I\) (called a \textit{filling} and denoted by \(\mathcal{F}(K_{I})\)) such that the geometric realization \(|K_{I}\cup \sigma_{1}\cup\cdots \cup \sigma_{s}|\) is contractible. One of the key points when \(K\) is totally fillable is the following homotopy equivalence which was proved by the authors [Kyoto J. Math. 59, No. 1, 1--51 (2019; Zbl 1455.55007)]: \[ \mathcal{Z}_{K}\simeq \bigvee_{\emptyset\not=I\subset [m]}\bigvee_{\sigma\in \mathcal{F}(K_{I})}S^{|\sigma|+|I|-1}. \] In this paper, the authors prove that this equivalence can be chosen so that the composition \[ S^{|\sigma|+|I|-1}\to \bigvee_{\emptyset\not=I\subset [m]}\bigvee_{\sigma\in \mathcal{F}(K_{I})}S^{|\sigma|+|I|-1}\simeq \mathcal{Z}_{K}\stackrel{\widetilde{w}}{\to} DJ_{K} \] is the iterated Whitehead product. To prove this, the authors precisely analyze the properties of the fat wedge filtration of \(\mathcal{Z}_{K}\) which is studied in their previous paper [loc. cit.]. In the final section of the paper, the authors give an application of this theorem to obtain the explicit homotopy type of some totally fillable complex.