Related papers: Simplicial vs. cubical spheres, polyhedral product…
We present a first example of a flag vector of a polyhedral sphere that is not the flag vector of any polytope. Namely, there is a unique 3-sphere with the parameters $(f_0,f_1,f_2,f_3;f_{02})=(12,40,40,12;120)$, but this sphere is not…
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…
We compute the real and complex Buchstaber numbers of an arbitrary Bier sphere. In dimension two, we identify all the 13 different combinatorial types of Bier spheres and show that 12 of them are nerve complexes of nestohedra, while the…
A simplicial complex $\Delta$ is called flag if all minimal nonfaces of $\Delta$ have at most two elements. The following are proved: First, if $\Delta$ is a flag simplicial pseudomanifold of dimension $d-1$, then the graph of $\Delta$ (i)…
We construct many nonpolytopal nonsimplicial Gorenstein* meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by…
We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let…
A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani in 1987, via a non-constructive proof…
Refining a basic result of Alexander, we show that two flag simplicial complexes are piecewise linearly homeomorphic if and only if they can be connected by a sequence of flag complexes, each obtained from the previous one by either an edge…
We consider families of simple polytopes $P$ and simplicial complexes $K$ well-known in polytope theory and convex geometry, and show that their moment-angle complexes have some remarkable homotopy properties which depend on combinatorics…
Using an intuition from metric geometry, we prove that any flag and normal simplicial complex satisfies the non-revisiting path conjecture. As a consequence, the diameter of its facet-ridge graph is smaller than the number of vertices minus…
For any flag simplicial complex $\Theta$ obtained by stellar subdividing the boundary of the cross polytope in edges, we define a flag simplicial complex $\Gamma(\Theta)$ (dependent on the sequence of subdivisions) whose $f$-vector is the…
For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n},…
In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex $\Delta$ on the vertex set $V$ with $\Delta \ne 2^V$, the deleted join of $\Delta$ with…
A Bier sphere $Bier(K) = K\ast_\Delta K^\circ$, defined as the deleted join of a simplicial complex and its Alexander dual $K^\circ$, is a purely combinatorial object (abstract simplicial complex). Here we study a hidden geometry of Bier…
Full subcomplexes of a simplicial complex encode essential structure for understanding the complex itself. For a simplicial complex $K$, possibly with a ghost vertex, the Bier sphere of $K$ is a simplicial sphere obtained as the deleted…
We present a discrete Morse-theoretic method for proving that a regular CW complex is homeomorphic to a sphere. We use this method to define bisimplices, the cells of a class of regular CW complexes we call bisimplicial complexes. The…
We classify the combinatorial types of Murai spheres in dimensions $1$ and $2$, thereby showing that the corresponding convex simple polytopes have Delzant realizations. Then we describe all chordal Murai spheres $\mathrm{Bier}_c(M)$ with…
The construction of the Bier sphere Bier(K) for a simplicial complex K is due to Bier. Bj\"orner, Paffenholz, Sj\"ostrand and Ziegler generalize this construction to obtain a Bier poset Bier(P,I) from any bounded poset P and any proper…
In this note we construct a flag simplicial $3$-sphere $\Delta$ with the following properties: - $\Delta$ is not a suspension; - $\Delta$ has no edge that can be contracted to obtain another flag sphere; - The only equators (induced…
A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties.…