Topic summary
G-theorem
Extracted from the Wikipedia article Simplicial sphere.
Properties
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 was proved by Karim Adiprasito in December 2018.