No Arabic abstract
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
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.
In algebraic quantum field theory the spacetime manifold is replaced by a suitable base for its topology ordered under inclusion. We explain how certain topological invariants of the manifold can be computed in terms of the base poset. We develop a theory of connections and curvature for bundles over posets in search of a formulation of gauge theories in algebraic quantum field theory.
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.
What remains of a geometrical notion like that of a principal bundle when the base space is not a manifold but a coarse graining of it, like the poset formed by a base for the topology ordered under inclusion? Motivated by finding a geometrical framework for developing gauge theories in algebraic quantum field theory, we give, in the present paper, a first answer to this question. The notions of transition function, connection form and curvature form find a nice description in terms of cohomology, in general non-Abelian, of a poset with values in a group $G$. Interpreting a 1--cocycle as a principal bundle, a connection turns out to be a 1--cochain associated in a suitable way with this 1--cocycle; the curvature of a connection turns out to be its 2--coboundary. We show the existence of nonflat connections, and relate flat connections to homomorphisms of the fundamental group of the poset into $G$. We discuss holonomy and prove an analogue of the Ambrose-Singer theorem.