Eran Nevo: g-conjecture part 4, Generalizations and Special Cases

This is the fourth in a series of posts by Eran Nevo on the g-conjecture. Eran’s first post was devoted to the combinatorics of the g-conjecture and was followed by a further post by me on the origin of the g-conjecture. Eran’s second post was about the commutative-algebra content of the conjecture. It described the Cohen-Macaulay property known to hold for simplicial spheres and the Lefshetz property which is known for simplicial polytopes and is wide open for simplicial spheres. Eran’s third post was about the connection to algebraic shifting. The fifth and last post is planned to deal with connections to rigidity, a fascinating topic on its own which is related also like yesterday’s post  to architecture and art.

(From right): Udo Pachner, Peter Kleinschmidt, and Günter Ewald. (Oberwolfach photo collection)

All kinds of spheres

It is possible that the link of a vertex in a simplicial sphere is no longer a sphere. This is not good if we look for a proof by induction. A subfamily which is closed under links is the piecewise linear spheres. Another advantage of this family for inductive proof is given by Pachner: any PL-(d-1)-sphere can be obtained from the boundary of the d-simplex by a finite sequence of bistellar moves aka Pachner moves.  This is a family of d+1 possible local moves, defined combinatorially.

However, so far no proof of the g-conjecture for PL-spheres is known.

A superfamily of simplicial spheres, closed under links, is that of homology spheres, where we just require that the homology of all face links are as of the sphere of the appropriate dimension. The hard Lefschetz property is conjectured for this family too.

What we can show is that the hard Lefschetz property is preserved under some combinatorial constructions on spheres, namely: connected sum, join, stellar subdivision – or more generally the inverse moves of topology preserving edge contractions, which are exactly the admissible contractions defined above for minors. Let us just mention two remarks:

1. These last moves played a role in Murai’s refinement of Billera-Lee theorem. He showed that any squeezed sphere can be obtained from the boundary of the simplex in this way, hence squeezed spheres have the hard Lefschetz property.

2. Any PL-sphere can be obtained from the boundary of a simplex by a finite sequence of stellar and inverse-stellar moves, so it remains to show that inverse-stellar moves on PL-spheres preserve the hard Lefschetz property.

2-CM

L is doubly Cohen-Macaulay (2-CM) if L is CM and deleting any vertex v of L, the induced complex on the rest of the vertices is also CM of the same dimension as L. Examples include all homology spheres, as well as other examples where the g vector is known to be an M-vector. This led Björner and Swartz to conjecture that the g-vector of any 2-CM complex is an M-vector. Note that the h-vector need not be symmetric anymore. Algebraically, the weak Lefschetz property may hold, i.e. injections
w: (k[K]/(\Theta))_{i-1}\rightarrow (k[K]/(\Theta))_{i} for 1\leq i\leq \frac{d}{2}.

What we can show is only that (g_0,g_1,g_2) is an M-vector for 2-CM complexes. This is done using rigidity theory for graphs, to be discussed next time.

Another case were g(K) is an M-vector is when K is the barycentric subdivision of a simplicial sphere, or more generally of any CM complex!
This was shown recently in a work with Martina Kubitzke, by proving a hard Lefschetz type result.

Manifolds

Let N a finite triangulation of a connected orientalble (d-1)-manifold without boundary. We have seen that h_0(N)=1 and h_d(N) depends on the Euler characteristic of N, so h(N) may not be symmetric. Neither it is an M-vector.

Can we fix that?

Kalai defined a new vector h"(N) which is a function of h(N) and of the Betti numbers of N

h"_i(N)=h_i(N)-\binom{d}{i}\sum_{1\leq j\leq i} (-1)^{i-j}\beta_{j-1}(N)

where \beta_j(N) is the dimension of the reduced j-th homology of N with k coefficients.

The vector h"(N) is symmetric and an M-vector, and recently Isabella Novik and Ed Swartz figured out its algebraic meaning:

The socle of a graded standard ring R is the ideal of elements in R annihilated by the maximal ideal (generated by the variables). Let \Theta=\{\theta_1,...,\theta_d\} be generic d elements on k[N]_1, so they make hilb(k[N]/(\Theta)) as small as possible (it is a finite vector. Such \Theta, that makes this quotient ring of zero Krull-dimension is called a linear system of parameters).

Let S be the part of the degree at most d-1 in the socle of this ring. Then

h"(N)=hilb(k[N]/(\Theta,S)).

Now define g"_0=1 and g"_i=h"_i-h"_{i-1} for 1\leq i \leq \frac{d}{2} as for the g-vector.

Kalai conjectured that g"(N) is an M-vector, and it is possible that k[N]/(\Theta,S) has the hard Lefschetz property. Novik and Swartz showed further that the hard Lefschetz property for the vertex links of N implies that g"(N) is an M-vector.

So we are back to the algebraic g-conjecture.

To end, even g_3\geq 0 is not known for say PL-5-spheres.

Advertisements
This entry was posted in Combinatorics, Convex polytopes, Guest blogger, Open problems and tagged , . Bookmark the permalink.

2 Responses to Eran Nevo: g-conjecture part 4, Generalizations and Special Cases

  1. Eran Nevo says:

    Let me just mention that all 5 parts were written at the same time, ~8 years ago. There were some developments and new approaches to the g-conjecture since then. Notably Bagchi’s mu-vector, and a very recent claim for a proof of the conjecture, posted on the arXiv by Chong and Tay that await fixing (the algebra structure as *currently* appears there is not well defined).

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s