On Hochster's formula for a class of quotient spaces of moment-angle complexes (Q2631629)

Given a finite simplicial complex \(\mathcal{K}\) on a set \([m]=\{1,\ldots, m\}\), one can construct a topological space \(\mathcal{Z}_{\mathcal{K}}\) with \(T^{m}\)-action, called a moment-angle complex. Let \(V(\mathcal{K})\) be the set of vertices of \(\mathcal{K}\) and \(\lambda:V(\mathcal{K})\to \mathbb{Z}^{r}\) be any map on \(\mathcal{K}\) (called a \(\mathbb{Z}^{r}\)-coloring of \(\mathcal{K}\)). Then, there is an \((m-r)\)-dimensional subtorus \(H_{\lambda}\subset T^{m}\) which is determined by the \(\mathbb{Z}^{r}\)-coloring \(\lambda\) and we can define a topological space with \(T^{r}=T^{m}/H_{\lambda}\)-action by the quotient space \(\mathcal{Z}_{\mathcal{K}}/H_{\lambda}\), say \(X(\mathcal{K},\lambda)\). One of the important classes of \(X(\mathcal{K},\lambda)\) is the class where \(H_{\lambda}\) acts on \(\mathcal{Z}_{\mathcal{K}}\) freely, e.g. all quasitoric manifolds can be obtained by this way (proved by \textit{M. W. Davis} and \textit{T. Januszkiewicz} [Duke Math. J. 62, No. 2, 417--451 (1991; Zbl 0733.52006)]). It is known that the cohomology of \(\mathcal{Z}_{\mathcal{K}}\) can be computed via a Hochster's type formula (see e.g. the book of \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)]). In the paper under review, the author studies the cohomology of \(X(\mathcal{K},\lambda_{\alpha})\) defined by the special type of coloring \(\lambda_{\alpha}\), where \(\lambda_{\alpha}\) is the \(\mathbb{Z}^{k}\)-coloring determined by the partition \(\alpha=\{\alpha_{1},\ldots, \alpha_{k}\}\) of \(V(\mathcal{K})\), i.e., \(V(\mathcal{K})=\alpha_{1}\sqcup \cdots \sqcup \alpha_{k}\). He proves that the cohomology of \(X(\mathcal{K},\lambda_{\alpha})\) also can be computed via a Hochster's type formula. Since the moment-angle manifold \(\mathcal{Z}_{\mathcal{K}}\) can be defined by \(X(\mathcal{K},\lambda_{\alpha})\) with \(|\alpha_{i}|=1\) and \(k=m\), the cohomology formula in this paper is the generalization of the cohomology formula of \(\mathcal{Z}_{\mathcal{K}}\). Moreover, the space \(X(\mathcal{K},\lambda_{\alpha})\) also contains the pull-back from the linear model (see [Davis and Januszkiewicz, loc. cit.]); therefore, the author also obtains a Hochster's type formula for the cohomology of the pull-back from the linear model. The author also studies the stable decomposition of \(X(\mathcal{K},\lambda_{\alpha})\) which was first studied by Bahri-Bendersky-Cohen-Gitler [\textit{A. Bahri} et al., Adv. Math. 225, No. 3, 1634--1668 (2010; Zbl 1197.13021)] for the polyhedral product, and he shows that the suspension of \(X(\mathcal{K},\lambda_{\alpha})\) is homotopy equivalent to the wedges of the suspensions of some moment-angle complexes.