Moment-angle manifolds corresponding to three-dimensional simplicial spheres, chordality and connected sums of products of spheres

Victoria Oganisian,Taras Panov
2024-08-09
Abstract:We prove that the moment-angle complex $\mathcal Z_K$ corresponding to a 3-dimensional simplicial sphere $K$ has the cohomology ring isomorphic to the cohomology ring of a connected sum of products of spheres if and only if either (a) $K$ is the boundary of a 4-dimensional cross-polytope, or (b) the one-skeleton of $K$ is a chordal graph, or (c) there are only two missing edges in $K$ and they form a chordless 4-cycle. For simplicial spheres $K$ of arbitrary dimension, we obtain a sufficient condition for the ring isomorphism $H^*(\mathcal Z_K)\cong H^*(M)$ where $M$ is a connected sum of products of spheres.
Algebraic Topology,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to address is to determine which 3-dimensional simplicial spheres \( K \) have their moment-angle manifold \( Z_K \) with a cohomology ring isomorphic to the cohomology ring of a connected sum of several products of spheres. Specifically, the authors prove that for a 3-dimensional simplicial sphere \( K \), the cohomology ring of its moment-angle manifold \( Z_K \) is isomorphic to the cohomology ring of a connected sum of several products of spheres if and only if one of the following conditions is satisfied: 1. \( K \) is the boundary of a 4-dimensional cross polytope (i.e., \( K = S^0 * S^0 * S^0 * S^0 \)). 2. The 1-skeleton of \( K \) is a chordal graph. 3. The 1-skeleton of \( K \) has exactly 2 missing edges, and these 2 missing edges form a chordless 4-cycle. In addition, the authors provide a sufficient condition for a simplicial sphere \( K \) of any dimension such that the cohomology ring of \( Z_K \) is isomorphic to the cohomology ring of a connected sum of several products of spheres. This research is not only significant in topology but also closely related to certain problems in combinatorics and homotopy theory.