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

From MaRDI portal
Publication:2631629



Abstract: Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type formula, which generalizes the usual Hochster's formula for the cohomology groups of moment-angle complexes. In addition, we show that the stable decomposition of moment-angle complexes can also be extended to such spaces. This type of spaces include all the quasitoric manifolds that are pullback from the linear models. And we prove that the moment-angle complex associated to a finite simplicial poset is always homotopy equivalent to one of such spaces.


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.











This page was built for publication: On Hochster's formula for a class of quotient spaces of moment-angle complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631629)