Amazing: Karim Adiprasito proved the g-conjecture for spheres!

Karim in his youth with a fan

Congratulations, Karim!

Update: Here is the link to the paper

From the arXive, Dec 26, 2018. (Link will be added tomorrow.)


by Karim Adiprasito

Abstract: Consider a simplicial complex that allows for an embedding into \mathbb R^d. How many faces of dimension d/2 or higher can it have? How dense can they be?

This basic question goes back to Descartes. Using it and other fundamental combinatorial
problems, we will introduce a version of the Kähler package beyond positivity,
allowing us to prove the Lefschetz theorem for toric varieties even when the ample
cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a
non-degeneracy relation at torus-invariant subspaces, allowing us to state and prove a
generalization of the theorems of Hall and Laman in the setting of toric varieties. Of
the many applications, we highlight two main applications, one because it is the most
well-known, the other because it provided the most guiding light.

(1) We fully characterize the possible face numbers of simplicial spheres, resolving the
so called g-conjecture of McMullen in full generality and generalizing Stanley’s
earlier proof for simplicial polytopes.

(2) We prove that for a simplicial complex K that embeds into \mathbb R^{2d}, the number of d-dimensional simplices exceeds the number of (d − 1)-dimensional simplices by a factor of at most d + 2. This generalizes a result of Descartes, and resolves the Grünbaum-Kalai-Sarkaria conjecture.


(GK:) A few further comments. Probably the g-conjecture for spheres is the single problem I knock my head against the most. It is great to see it settled and it is even greater to see it settled by my friend and colleague Karim Adiprasito.

To the three ingredients of the standard conjectures (See also the previous post), Poincare duality (PD), Hard Lefschetz (HL) and Hodge-Riemann (HR), Karim adds the Hall-Laman relations. Very roughly, the Hall-Laman relations  substitute (HR) and apply genericity (rather than definiteness) toward (HL).

(We still need a good acronym for Hall-Laman, maybe (AHL).)

One very nice feature of Karim’s proof is that vertex decomposable spheres play a special role in the path toward the proof. Those were introduced by Provan and Billera in the context of the Hirsch conjecture.

We have devoted plenty of posts to the g-conjecture for spheres, and mentioned it in even more posts.  For an introduction to the conjecture see Eran Nevo introductory post, and the post How the g-Conjecture Came About. There is also plenty left to be done beyond the g-conjecture.

Merry X-mas and Happy new year 2019 to all our readers.

This entry was posted in Combinatorics, Updates and tagged , . Bookmark the permalink.

10 Responses to Amazing: Karim Adiprasito proved the g-conjecture for spheres!

  1. Pingback: Not Mentioned on The Aperiodical, 2018 | The Aperiodical

  2. Naive question: the g-conjecture (now theorem) completely classifies the possible f-vectors (f_0,f_1,...,f_d) of a d-dimensional triangulated sphere. Does it also completely classify for such spheres the possible collections of f_S for S\subseteq \{0,1,..,d\}, where f_S for S=\{i_1<i_2<...<i_k\} is the number of chains of i_1-dimensional face contained in an i_2-dimensional face contained in …? I know this is somehow related to the "cd-index" but don't know the specifics.

    GK: For latex write the expression (just with one dollar sign and start with the word latex. E.g. %latex f_0% replace % to $ to get f_i

  3. Pingback: Predictions For 2019 | Gödel's Lost Letter and P=NP

Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )

Connecting to %s