Dehn-Sommerville equations

From Wikipedia, the free encyclopedia

In geometry, Dehn-Sommerville equations are linear equations that apply to the numbers of faces of simple polytopes.

Their existence was conjectured by Max Dehn in 1905 who found them in dimension at most 5. They were discovered and proved by Duncan Sommerville in 1927.

[edit] Formulation

Let P be a d-dimensional convex polytope. Denote by f_i the number of i-dimensional faces of P, i = 0,1,..,d. Then:

for all

When k=0, this equation is the Euler characteristic of a (d-1)-sphere.

There is an easier way to write these equations. Let F(t) be a generating polynomial for f_i:

Define g-vector g_i as follows:

Now the Dehn-Sommerville equations can be written as

for all

[edit] References

• A. Barvinok, A Course in Convexity, American Mathematical Society, Providence, 2002. ISBN 0-8218-2968-8
• M. Bayer, A review of "A Course in Convexity", The American Mathematical Monthly, February 2004.
• G. Ziegler, Lectures on Polytopes, Springer, 1998. ISBN 0-387-94365-X.