14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

278 <strong>Convex</strong> Polytopes<br />

For d = 3 it follows from Steinitz’ representation theorem that each combinatorial<br />

type of a convex polytope is rather simple. For d > 3 the universality theorem<br />

of Richter-Gebert says that combinatorial types may be arbitrarily complicated. For<br />

d = 3 there are asymptotic formulae due to Bender, Richmond <strong>and</strong> Wormald for the<br />

number of combinatorial types of convex polytopes with n vertices, edges, or facets,<br />

respectively, as n →∞.Ford > 3 upper <strong>and</strong> lower estimates for the number of<br />

combinatorial types of convex polytopes with n vertices are due to the joint efforts<br />

of Shemer, Goodman <strong>and</strong> Pollack <strong>and</strong> Alon.<br />

In the following, we describe these results but give no proofs. All polytopes considered<br />

in this section are proper convex polytopes in E d .<br />

For more information we refer to Grünbaum [453] <strong>and</strong> the surveys of Bender<br />

[92], Bayer <strong>and</strong> Lee [83] <strong>and</strong> Klee <strong>and</strong> Kleinschmidt [595].<br />

Combinatorial Types <strong>and</strong> Realization Spaces<br />

Two (proper) convex polytopes in E d are of the same combinatorial type if they have<br />

isomorphic boundary complexes. The equivalence classes of convex polytopes of the<br />

same combinatorial type are the combinatorial types of convex polytopes.<br />

A more geometric way to express the fact that two convex polytopes P <strong>and</strong> Q<br />

are of the same combinatorial type is the following. It is possible to represent P <strong>and</strong><br />

Q in the form<br />

P = conv{x1,...,xn}, Q = conv{y1,...,yn},<br />

where the xi <strong>and</strong> the yi are the vertices of P <strong>and</strong> Q, respectively, which correspond<br />

to each other <strong>and</strong> such that<br />

conv{xi1 ,...,xim }∈C(P) ⇔ conv{yi1 ,...,yim }∈C(Q)<br />

for each set {i1,...,im} ⊆{1,...,n}.<br />

For the investigation of a combinatorial type it is sometimes more convenient<br />

to study a proper sub-space (which easily yields the whole combinatorial type). Fix<br />

affinely independent points x1,...,xd+1 in E d <strong>and</strong> let P = conv{x1,...,xn} be<br />

a proper convex polytope with vertices xi such that the vertices x2,...,xd+1 are<br />

adjacent to the vertex x1.Therealization space R(P) of P is the family of all d × n<br />

matrices (y1,...,yn) ∈ E dn such that the convex polytopes P = conv{x1,...,xn}<br />

<strong>and</strong> Q = conv{y1,...,yn} are of the same combinatorial type with corresponding<br />

vertices xi <strong>and</strong> yi, where x1 = y1,...,xd+1 = yd+1. See Richter-Gebert <strong>and</strong> Ziegler<br />

[834] <strong>and</strong> Richter-Gebert [833].<br />

Primary Semi-Algebraic Sets<br />

A primary semi-algebraic set A (over Z)inE N is a set of the form<br />

A = � x ∈ E N : p1(x) =···= pk(x) = 0, q1(x),...,ql(x) >0 � ,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!