On the homotopy decomposition for the quotient of a moment-angle complex and its applications (Q2095474)

Let \(K\) be a simplicial complex on the vertex set \([m]:=\{1,\ldots, m\}\). A moment-angle complex (or manifold) \(\mathcal{Z}_{K}=(D^{d},S^{d-1})^{K}\) for \(d=1,2\) is a space with a \((G_{d})^{m}\)-action, where \(G_{2}=S^{1}\) and \(G_{1}=\mathbb{Z}/2\mathbb{Z}\). The notion of moment-angle manifold has been introduced by \textit{M. W. Davis} and \textit{T. Januszkiewicz} [Duke Math. J. 62, No. 2, 417--451 (1991; Zbl 0733.52006)], and they proved that all quasitoric manifolds (resp. small covers) can be obtained by the quotient of a free \(T_{d}\)-action \(\mathcal{Z}_{K}/T_{d}\) for \(d=2\) (resp. \(d=1\)), where \(T_{d}\) is a subtorus of \((G_{d})^{m}\). The partial quotient \(\mathcal{Z}_{K}/H_{d}\) by a free action \(H_{d}\) has also been studied in toric topology, where \(H_{d}\subset (G_{d})^{m}\) is any closed subgroup which acts on \(\mathcal{Z}_{K}\) freely (e.g. [\textit{V. M. Buchstaber} and \textit{T. E. Panov}, Torus actions and their applications in topology and combinatorics. Providence, RI: American Mathematical Society (AMS) (2002; Zbl 1012.52021)]). Let \(\text{cat } K\) be the small category which consists of the simplicial complex \(K\) and the morphism \(I\to J\in\text{cat } K\) defined by the inclusion \(I\subset J\). In the paper under review, the authors introduce the following class, say \((K,H_{d})\): for any morphism \(I\to J\in\text{cat } K\), there is the homomorphism \(G_{d}^{J}\cap H_{d}\to G_{d}^{I}\cap H_{d}\) under the natural projection \(G_{d}^{J}\to G_{d}^{I}\), where \(G_{d}^{I}:=\prod_{i\in I}G_{d}\times \prod_{j\in [m]\setminus I}1_{j}\subset G_{d}^{[m]}:=(G_{d})^{m}\). The authors study the quotient \(\mathcal{Z}_{K}/H_{d}\) for this class. This quotient contains not only every partial quotient of a free action on the moment-angle complex but also contains a certain quotient \(\mathcal{Z}_{K}/H_{d}\) by non-free actions on the moment-angle complex. The main purpose of this paper is to generalize some results for partial quotients by free actions to the quotients of the above class. The authors first show that such a quotient \(\mathcal{Z}_{K}/H_{d}\) can also be obtained by a homotopy colimit of a certain (\(\text{cat } K\))-diagram, say \(Q_{d}:\text{cat } K\to \mathrm{Top}\), up to equivariant homotopy equivalence (Theorem 3.3). As a technical benefit (see Theorem 4.12), the above class \((K,H_{d})\) gives a twin (\(\text{cat}^{op}\ K\))-diagram \(S_{d}^{\vee}\) of the (\(\text{cat } K\))-diagram \(S_{d}:\text{cat } K\to \mathrm{Top}\) defined by \(S_{d}(I\to J):G_{d}^{I}/(G_{d}^{I}\cap H_{d})\to G_{d}^{J}/(G_{d}^{J}\cap H_{d})\). This shows that for the diagram \(S_{d}:\text{cat } K\to Top\) and its classfying space \(BS_{d}\), the equality \(\widetilde{H}^{i}(\mathrm{colim} D)=\lim \widetilde{H}^{i}(D)\) holds, where \(D=S_{d}, BS_{d}\) (Theorem 4.14). This is a generalization of Notbohm-Ray's result in [\textit{D. Notbohm} and \textit{N. Ray}, Algebr. Geom. Topol. 5, 31--51 (2005; Zbl 1065.55006)]. Moreover, the authors show the following results: \begin{itemize} \item[1.] a description of the cohomology of \(\mathcal{Z}_{K}/H_{2}\) (Theorem 4.22); \item[2.] the weak toral rank conjecture for partial quotients of the moment-angle complex by free diagonal circle actions when \(d=2\) (Theorem 5.5); \item[3.] every finitely generated abelian group \(G\) can be contained in the cohomology of some moment-angle manifold which is the quotient by the free \(H_{2}\)-action \(\mathcal{Z}_{P}/H_{2}\), where \(P\) is a simple convex polytope (Theorem 5.7). As a consequence, for every finite abelian group \(G\), there is a moment-angle manifold \(\mathcal{Z}_{P}/H_{2}\) such that \(G\) is a torsion subgroup of \(H^{*}(\mathcal{Z}_{P}/H_{2})\). \end{itemize}