On the topology of the Baues poset of polyhedral subdivisions (Q1599621)

Given an affine projection \(\pi:P\to Q\) of convex polytopes, let \(\omega(P,Q)\) be the refinement poset of proper polyhedral subdivisions of \(Q\) which are induced by \(\pi\). The authors prove that the inclusion into \(\omega(P,Q)\) of the spherical subposet of \(\pi\)-coherent subdivisions induces injections in homology and homotopy, implying in particular that the poset \(\omega(P,Q)\) is homotopically nontrivial. Some applications of these results are given.