No Arabic abstract
The construction of a simplicial complex given by polyhedral joins (introduced by Anton Ayzenberg), generalizes Bahri, Bendersky, Cohen and Gitlers $J$-construction and simplicial wedge construction. This article gives a cohomological decomposition of a polyhedral product over a polyhedral join for certain families of pairs of simplicial complexes. A formula for the Hilbert-Poincar{e} series is given, which generalizes Ayzenbergs formula for the moment-angle complex.
Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy theoretic construction of polyhedral products over arbitrary pointed posets. We show that under certain restrictions on the poset $calp$, that include all known cases, the cohomology of the resulting spaces can be computed as an inverse limit over $calp$ of the cohomology of the building blocks. This motivates the definition of an analogous algebraic construction - the polyhedral tensor product. We show that for a large family of posets, the cohomology of the polyhedral product is given by the polyhedral tensor product. We then restrict attention to polyhedral posets, a family of posets that include face posets of simplicial complexes, and simplicial posets, as well as many others. We define the Stanley-Reisner ring of a polyhedral poset and show that, like in the classical cases, these rings occur as the cohomology of certain polyhedral products over the poset in question. For any pointed poset $calp$ we construct a simplicial poset $s(calp)$, and show that if $calp$ is a polyhedral poset then polyhedral products over $calp$ coincide up to homotopy with the corresponding polyhedral products over $s(calp)$.
A generalised Postnikov tower for a space $X$ is a tower of principal fibrations with fibres generalised Eilenberg-MacLane spaces, whose inverse limit is weakly homotopy equivalent to $X$. In this paper we give a characterisation of a polyhedral product $Z_K(X,A)$ whose universal cover either admits a generalised Postnikov tower of finite length, or is a homotopy retract of a space admitting such a tower. We also include $p$-local and ration
A panel structure on a topological space is just a locally finite family of closed subspaces. A space together with a panel structure is called a space with faces. In this paper, we define the notion of polyhedral product over a space with faces. This notion provides a unifying viewpoint on the constructions of polyhedral products and generalized moment-angle complexes in various settings. We compute the stable decomposition of these spaces and use it to study their cohomology ring structures by the partial diagonal maps. Besides, we can compute the equivariant cohomology ring of the moment-angle complex over a space with faces with respect to the canonical torus action. The calculation leads to a notion of topological face ring of a space with faces, which generalizes the classical notion of face ring of a simplicial complex. We will see that many known results in the study of polyhedral products and moment-angle complexes can be reinterpreted from our general theorems on the polyhedral product over a space with faces. Moreover, we can derive some new results via our approach in some settings.
For a d-dimensional polyhedral complex P, the dimension of the space of piecewise polynomial functions (splines) on P of smoothness r and degree k is given, for k sufficiently large, by a polynomial f(P,r,k) of degree d. When d=2 and P is simplicial, Alfeld and Schumaker determined a formula for all three coefficients of f. However, in the polyhedral case, no formula is known. Using localization techniques and specialized dual graphs associated to codimension--2 linear spaces, we obtain the first three coefficients of f(P,r,k), giving a complete answer when d=2.
For every knot K with stick number k there is a knotted polyhedral torus of knot type K with 3k vertices. We prove that at least 3k-2 vertices are necessary.