Simplicial sphere

In geometry and combinatorics, a simplicial (or combinatorial) d-sphere is a simplicial complex homeomorphic to the d-dimensional sphere. Some simplicial spheres arise as the boundaries of convex polytopes, however, in higher dimensions most simplicial spheres cannot be obtained in this way.

The most important open problem in the field is the g-conjecture, formulated by Peter McMullen, which asks about possible numbers of faces of different dimensions of a simplicial sphere.

Examples

• For any n ≥ 3, the simple n-cycle C_n is a simplicial circle, i.e. a simplicial sphere of dimension 1. This construction produces all simplicial circles.
• The boundary of a convex polyhedron in R³ with triangular faces, such as an octahedron or icosahedron, is a simplicial 2-sphere.
• More generally, the boundary of any (d+1)-dimensional compact (or bounded) simplicial convex polytope in the Euclidean space is a simplicial sphere.

Properties

It follows from Euler's formula that any simplicial 2-sphere with n vertices has 3n − 6 edges and 2n − 4 faces. The case of n = 4 is realized by the tetrahedron. By repeatedly performing the barycentric subdivision, it is easy to construct a simplicial sphere for any n ≥ 4. Moreover, Ernst Steinitz gave a characterization of 1-skeleta (or edge graphs) of convex polytopes in R³ implying that any simplicial 2-sphere is a boundary of a convex polytope.

Branko Grünbaum constructed an example of a non-polytopal simplicial sphere. Gil Kalai proved that, in fact, "most" simplicial spheres are non-polytopal. The smallest example is of dimension d = 4 and has f₀ = 8 vertices.

The upper bound theorem gives upper bounds for the numbers f_i of i-faces of any simplicial d-sphere with f₀ = n vertices. This conjecture was proved for polytopal spheres by Peter McMullen in 1970^[1] and by Richard Stanley for general simplicial spheres in 1975.

The g-conjecture, formulated by McMullen in 1970, asks for a complete characterization of f-vectors of simplicial d-spheres. In other words, what are the possible sequences of numbers of faces of each dimension for a simplicial d-sphere? In the case of polytopal spheres, the answer is given by the g-theorem, proved in 1979 by Billera and Lee (existence) and Stanley (necessity). It has been conjectured that the same conditions are necessary for general simplicial spheres. The conjecture is open for d at least 5 (as of 2015).

See also

• Dehn–Sommerville equations

References

1. McMullen, P. On the upper-bound conjecture for convex polytopes. J. Combinatorial Theory Ser. B 10 1971 187–200.

• Richard Stanley, Combinatorics and commutative algebra. Second edition. Progress in Mathematics, 41. Birkhäuser Boston, Inc., Boston, MA, 1996. x+164 pp. ISBN 0-8176-3836-9