Nerve complexes and moment-angle spaces of convex polytopes

Abstract

We introduce spherical nerve complexes that are a far-reaching generalization of simplicial spheres, and consider the differential ring of simplicial complexes. We show that spherical nerve complexes form a subring of this ring, and define a homomorphism from the ring of polytopes to this subring that maps each polytope P to the nerve KP of the cover of the boundary ∂P by facets. We develop a theory of nerve complexes and apply it to the moment-angle spaces ZP of convex polytopes P. In the case of a polytope P with m facets, its moment-angle space ZP is defined by the canonical embedding in the cone ℝ≥m. It is well-known that the space ZP is homeomorphic to the polyhedral product (D2, S1)∂P* if the polytope P is simple. We show that the homotopy equivalence \(\mathcal{Z}_P \simeq (D^2 ,S^1 )^{K_P }\) holds in the general case. On the basis of bigraded Betti numbers of simplicial complexes, we construct a new class of combinatorial invariants of convex polytopes. These invariants take values in the ring of polynomials in two variables and are multiplicative with respect to the direct product or join of polytopes. We describe the relation between these invariants and the well-known f-polynomials of polytopes. We also present examples of convex polytopes whose flag numbers (in particular, f-polynomials) coincide, while the new invariants are different.