MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Also related to polytopes, there is Richter-Gebert's universality theorem for 4-polytopes (which i quote from Ziegler's book): Every elementary semialgebraic set defined over $\mathbb{Z}$ is stably equivalent to the realization space of some 4-dimensional polytope.