Moment-angle complexes from simplicial posets

From MaRDI portal



Abstract: We extend the construction of moment-angle complexes to simplicial posets by associating a certain T^m-space Z_S to an arbitrary simplicial poset S on m vertices. Face rings Z[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen--Macaulay rings. Our primary motivation is to study the face rings Z[S] by topological methods. The space Z_S has many important topological properties of the original moment-angle complex Z_K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z_S is isomorphic to the Tor-algebra of the face ring Z[S]. This leads directly to a generalisation of Hochster's theorem, expressing the algebraic Betti numbers of the ring Z[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of Z_S from below by proving the toral rank conjecture for the moment-angle complexes Z_S.


The moment-angle complex was originally introduced by \textit{V. M. Buchstaber} and \textit{T. E. Panov}, [Proc. Steklov Inst. Math. 225, No. 2, 87--120 (1999; Zbl 0996.52012)] as a disc-circle decomposition of the Davis-Januszkiewicz universal space \({\mathcal Z}_{\mathcal K}\) associated to a simplicial complex \({\mathcal K}\). Face rings \({\mathbb{Z}}[{\mathcal S}]\) of simplicial posets \({\mathcal S}\) generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen-Macaulay rings. In the paper under review the authors use topological methods to study the face rings \({\mathbb{Z}}[{\mathcal S}]\). They extend the construction of moment-angle complexes to simplicial posets. The moment-angle complex of a simplicial poset \({\mathcal S}\) on \(m\) vertices is a certain \(T^m\)-space \({\mathcal Z}_{\mathcal S}\), where \(T^m\) denotes the \(m\)-dimensional torus. The space \({\mathcal Z}_{\mathcal S}\) is constructed by gluing products of discs and circles. The moment-angle complex \({\mathcal Z}_{\mathcal S}\) has many important topological properties of \({\mathcal Z}_{\mathcal K}\). In particular, the authors prove that the integral cohomology algebra of \({\mathcal Z}_{\mathcal S}\) is isomorphic to the Tor-algebra of the face ring \({\mathbb{Z}}[S]\). This leads to a generalisation of Hochter's theorem, expressing the algebraic Betti numbers of \({\mathbb{Z}}[{\mathcal S}]\) in terms of the homology of full subposets in \({\mathcal S}\). Moreover, the authors estimate the total amount of homology of \({\mathcal Z}_{\mathcal S}\) from below by proving the toral rank conjecture for the moment-angle complexes \({\mathcal Z}_{\mathcal S}\) .











This page was built for publication: Moment-angle complexes from simplicial posets

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