Moment angle complexes and big Cohen-Macaulayness (Q390355): Difference between revisions

The moment angle complex \(\mathcal{Z}_K\subset \mathbb{C}^m\) associated to a simplicial complex \(K\) is invariant under the natural action of \(T=U(1)^m\) on \(\mathbb{C}^m\). In the paper under review the \(G\)-equivariant cohomology \(H_G^*(\mathcal{Z}_K;\mathbb{Z})\) for a closed subgroup \(G\) of \(T\) is computed. The main result is as follows: \(H_G^*(\mathcal{Z}_K;\mathbb{Z})\) is isomorphic to \(\mathrm{Tor}^*_{\mathbb{Z}[R^*]}(\mathbb{Z}[K],\mathbb{Z})\) as a graded \(\mathbb{Z}[T^*]=H^*(BT;\mathbb{Z})\)-module, where \(\mathbb{Z}[K]\) is the Stanley-Reisner ring of \(K\), \(R=T/G\) and \(\mathbb{Z}[R^*]=H^*(BR;\mathbb{Z})\). Based on this it is shown that \(H_G^*(\mathcal{Z}_K;\mathbb{Z})\) is isomorphic to a quotient of \(H_T^*(\mathcal{Z}_K;\mathbb{Z})=\mathbb{Z}[K]\) by linear forms if and only if \(\mathrm{Tor}_1^{\mathbb{Z}[R^*]}(\mathbb{Z}[K],\mathbb{Z})=0\). If \(\mathcal{X}\) is a toric orbifold, i.e. \(\mathcal{X}\) is a quasitoric orbifold or a toric Deligne-Mumford stack, then it is known that the cohomology of \(\mathcal{X}\) can be identified with \(H_G^*(\mathcal{Z}_K;\mathbb{Z})\) for suitable \(G\) and \(K\). The consequences of the above results for \(H^*(\mathcal{X};\mathbb{Z})\) are discussed in the paper.