Combinatorics of Topological Posets:\ Homotopy complementation formulas

We show that the well known {\em homotopy complementation formula} of Bj\"orner and Walker admits several closely related generalizations on different classes of topological posets (lattices). The utility of this technique is demonstrated on some classes of topological posets including the Grassmannian and configuration posets, $\widetilde{\mathbf G}_n(R)$ and $\exp_n(X)$ which were introduced and studied by V.~Vassiliev. Among other applications we present a reasonably complete description, in terms of more standard spaces, of homology types of configuration posets $\exp_n(S^m)$ which leads to a negative answer to a question of Vassilev raised at the workshop ``Geometric Combinatorics'' (MSRI, February 1997)

Polytopal Bier spheres and Kantorovich-Rubinstein polytopes of weighted cycles

The problem of deciding if a given triangulation of a sphere can be realized as the boundary sphere of a simplicial, convex polytope is known as the "Simplicial Steinitz problem". It is known by an indirect and non-constructive argument that a vast majority of Bier spheres are non-polytopal. Contrary to that, we demonstrate that the Bier spheres associated to threshold simplicial complexes are all polytopal. Moreover, we show that all Bier spheres are starshaped. We also establish a connection between Bier spheres and Kantorovich-Rubinstein polytopes by showing that the boundary sphere of the KR-polytope associated to a polygonal linkage (weighted cycle) is isomorphic to the Bier sphere of the associated simplicial complex of "short sets"

Generalized Tonnetz and discrete Abel-Jacobi map

Motivated by classical Euler's $Tonnetz$, we introduce and study the combinatorics and topology of more general simplicial complexes $Tonn^{n,k}(L)$ of "Tonnetz type". Out main result is that for a sufficiently generic choice of parameters the generalized tonnetz $Tonn^{n,k}(L)$ is a triangulation of a $(k-1)$-dimensional torus $T^{k-1}$. In the proof we construct and use the properties of a "discrete Abel-Jacobi map", which takes values in the torus $T^{k-1} \cong \mathbb{R}^{k-1}/\Lambda$ where $\Lambda \cong \mathbb{A}^\ast_{k-1}$ is the permutohedral lattice