On higher Massey products and rational formality for moment-angle manifolds over multiwedges (Q2285399): Difference between revisions

In toric topology, there are important spaces called moment-angle complexes and moment-angle manifolds. Let \(K\) be a simplicial complex on \(n\) vertices. A moment-angle complex \({\mathcal{Z}}_K\) is a finite cellular complex equipped with a natural action of the \(n\)-torus such that the orbit space is the cone over \(K\). A moment angle-manifold \({\mathcal{Z}}_P\) is a space associated to a simple polytope \(P\). The manifold \({\mathcal{Z}}_P\) admits an \(m\)-torus action such that the orbit space equals \(P\), where \(m\) is the number of facets of \(P\). The author shows that if certain multigraded Betti numbers of a simplicial complex \(K\) vanish, then there is a strictly defined higher Massey product in \(H^\ast({\mathcal{Z}}_K)\). He then applies this result to construct a family \({\mathcal{F}}\) of moment-angle manifolds. For any \(l,r\geq 2\), the family \({\mathcal{F}}\) contains an \(l\)-connected manifold \(M\) with a nontrivial strictly defined \(r\)-fold Massey product in \(H^\ast(M)\). Any nonformal toric space \(M\) in \({\mathcal{F}}\) is the total space of a principal toric bundle over a nonsingular projective toric variety. As an application to homological algebra, the author determines a wide class of triangulated spheres \(K\) such that a nontrivial higher Massey product of any order may exist in the Koszul homology of their Stanley-Reisner rings. As an application to rational homotopy theory, he finds a combinatorial criterion for a simple graph to provide a (rationally) formal generalized moment-angle manifold over the graph-associahedron determined by the graph. He also computes all the diffeomorphism types of formal moment-angle manifolds over graph-associahedra.