55 research outputs found
The universality theorem for neighborly polytopes
In this note, we prove that every open primary basic semialgebraic set is
stably equivalent to the realization space of an even-dimensional neighborly
polytope. This in particular provides the final step for Mn\"ev's proof of the
universality theorem for simplicial polytopes.Comment: 5 pages, 1 figure. Small change
Dyck path triangulations and extendability
We introduce the Dyck path triangulation of the cartesian product of two
simplices . The maximal simplices of this
triangulation are given by Dyck paths, and its construction naturally
generalizes to produce triangulations of
using rational Dyck paths. Our study of the Dyck path triangulation is
motivated by extendability problems of partial triangulations of products of
two simplices. We show that whenever , any triangulation of
extends to a unique triangulation of
. Moreover, with an explicit construction, we
prove that the bound is optimal. We also exhibit interesting
interpretations of our results in the language of tropical oriented matroids,
which are analogous to classical results in oriented matroid theory.Comment: 15 pages, 14 figures. Comments very welcome
- β¦