Large final polynomials from integer programming

We introduce a new method for finding a non-realizability certificate of a simplicial sphere Σ. It enables us to prove for the first time the non-realizability of a balanced 2-neighborly 3-sphere by Zheng, a family of highly neighborly centrally symmetric spheres by Novik and Zheng, and several combinatorial prismatoids introduced by Criado and Santos. The method, implemented in the polymake framework, uses integer programming to find a monomial combination of classical 3-term Plücker relations that must be positive in any realization of Σ; but since this combination should also vanish identically, the realization cannot exist. Previous approaches by Firsching, implemented using SCIP, and by Gouveia, Macchia and Wiebe, implemented using Singular and Macaulay2, are not able to process these examples.

Ear Decomposition and Balanced Neighborly Simplicial Manifolds

We find the first non-octahedral balanced 2-neighborly 3-sphere and the balanced 2-neighborly triangulation of the lens space $L(3,1)$. Each construction has 16 vertices. We show that there exists a balanced 3-neighborly non-spherical 5-manifold with 18 vertices. We also show that the rank-selected subcomplexes of a balanced simplicial sphere do not necessarily have an ear decomposition.

Wedge Operations and Torus Symmetries II

A fundamental idea in toric topology is that classes of manifolds with well-behaved torus actions (simply, toric spaces) are classified by pairs of simplicial complexes and (non-singular) characteristic maps. In a previous paper, the authors provided a new way to find all characteristic maps on a simplicial complex K(J) obtainable by a sequence of wedgings from K.The main idea was that characteristic maps on K theoretically determine all possible characteristic maps on a wedge of K.We further develop our previous work for classification of toric spaces. For a star-shaped simplicial sphere K of dimension n-1 with m vertices, the Picard number Pic(K) of K is m-n. We call K a seed if K cannot be obtained by wedgings. First, we show that for a fixed positive integer 𝓁, there are at most finitely many seeds of Picard 𝓁 number supporting characteristic maps. As a corollary, the conjecture proposed by V. V. Batyrev in is solved affirmatively.Secondly, we investigate a systematicmethod to find all characteristic maps on K(J) using combinatorial objects called (realizable) puzzles that only depend on a seed K. These two facts lead to a practical way to classify the toric spaces of fixed Picard number.

Algebraic shifting and strongly edge decomposable complexes

International audience Let $\Gamma$ be a simplicial complex with $n$ vertices, and let $\Delta (\Gamma)$ be either its exterior algebraic shifted complex or its symmetric algebraic shifted complex. If $\Gamma$ is a simplicial sphere, then it is known that (a) $\Delta (\Gamma)$ is pure and (b) $h$-vector of $\Gamma$ is symmetric. Kalai and Sarkaria conjectured that if $\Gamma$ is a simplicial sphere then its algebraic shifting also satisfies (c) $\Delta (\Gamma) \subset \Delta (C(n,d))$, where $C(n,d)$ is the boundary complex of the cyclic $d$-polytope with $n$ vertices. We show this conjecture for strongly edge decomposable spheres introduced by Nevo. We also show that any shifted simplicial complex satisfying (a), (b) and (c) is the algebraic shifted complex of some simplicial sphere.