Tag Archives: face rings

This post is authored by Eran Nevo. (It is the second in a series of five posts.)

The g-conjecture: the commutative algebra connection

Let be a triangulation of a -dimensional sphere. Stanley’s idea was to associate with a ring , and study the relations between algebraic properties of and combinatorial properties of .

Face ring

Fix a field . The face ring (Stanley-Reisner ring) of over is where is the homogenous ideal generated by the monomials whose support is not in , . For example, if is the boundary of a triangle, then . is graded by degree (variables have degree one, has degree zero), and let’s denote the degree part by . This part is a finite dimensional -vector space and we can collect all these dimensions in a sequence, or a series, called the Hilbert series of , which carries the same information as . More precisely,

(recall that is -dimensional).

Cohen-Macaulay (CM) ring

The ring is called Cohen Macaulay (CM) if there are elements in such that is a free -module. As , the numerical consequence is that (we use both as a vector and as a polynomial, with the obvious identification).

Macaulay (revisited) showed that the Hilbert series of standard rings (=quatient of the polynomial ring by a homogenous ideal) are exactly the -vectors (sequences).

A theorem of Riesner characterizes the simplicial complexes with a CM face ring over a fixed field in terms of the homology of and its face links (with $k$-coefficients). It follows that if is a simplicial sphere then is CM, hence is an $M$ vector! This gives more inequalities on . This is also how Stanley proved the Upper Bound Conjecture, for face number of spheres: It follows that if is a -sphere with vertices, and is the boundary of the cyclic -polytope with vertices, then for every , . This is as .

Hard Lefschetz

Let be the boundary of a simplicial -polytope. Stanley observed that the hard Lefschetz theorem for toric varieties, an important theorem in algebraic geometry, translates in the language of face rings as follows: there exists as above and such that the maps

are isomorphisms between those vector spaces for any integer . In particular, is injective for . Thus, the quotient ring has Hilbert series starting with . This means, again by Macaulay theorem, that is an -vector!

Later, in 1993, McMullen gave a different proof of this part of his conjectured -theorem. His proof actually proves hard Lefschetz for this case. See McMullen’s survey paper `Polyhedra and polytopes: algebra and combinatorics’.

Problems

Does hard Lefschetz theorem hold for non polytopal spheres?

Can you think of examples of simplicial spheres which cannot be realized as the boundary of convex polytopes?

This post is authored by Eran Nevo. (It is the first in a series of five posts.)

Peter McMullen

The g-conjecture

What are the possible face numbers of triangulations of spheres?

There is only one zero-dimensional sphere and it consists of 2 points.

The one-dimensional triangulations of spheres are simple cycles, having vertices and edges, where .

The 2-spheres with vertices have edges and triangles, and can be any integer . This follows from Euler formula.

For higher-dimensional spheres the number of vertices doesn’t determine all the face numbers, and for spheres of dimension a characterization of the possible face numbers is only conjectured! This problem has interesting relations to other mathematical fields, as we shall see. Continue reading →