I’m speaking tomorrow in the AMS Current Events Bulletin about the work of Adiprasito, Huh, and Katz on the Rota-Welsh conjecture and Hodge theory for matroids. See this previous post for an introduction to their work. [Note added 9/21/17: My write-up for the Current Events Bulletin can be found here.]
Here’s an excerpt from the last section of my slides which I may or may not have time to discuss in tomorrow’s talk. It concerns this recent paper of June Huh and Botong Wang. (Note added: As anticipated I did not have time to cover this material! Here are the slides themselves: ceb_talk)
Let be a simple matroid of rank with lattice of flats (see this post for the relevant definitions). Let be the number of flats in of rank ; these numbers are called the Whitney numbers of the second kind for . (The Whitney numbers of the first kind are the coefficients of the characteristic polynomial of , which Adiprasito, Huh, and Katz prove form a log-concave sequence.) The reason for the terminology is that if is the matroid associated to the complete graph on vertices, the Whitney numbers of the first (second) kind coincide with the Stirling numbers of the first (second) kind.
The following two conjectures remain open:
Conjecture (Welsh): The Whitney numbers of the second kind for form a log-concave, and hence unimodal, sequence.
Conjecture (Dowling and Wilson’s “Top-Heavy” conjecture): For all we have .
The top-heavy conjecture can be viewed as a vast generalization of the de Bruijn-Erdos theorem that every non-collinear set of points in the plane determines at least lines.
There has been significant recent progress by Huh and Wang on the representable case of the above conjectures. They prove:
Theorem (Huh–Wang, 2016): For all simple matroids representable over some field:
- The first half of the sequence of Whitney numbers of the second kind is unimodal, i.e., .
- The top-heavy conjecture is true.
Unlike the situation with Whitney numbers of the first kind (e.g. in the work of Huh-Katz), the projective algebraic variety which one associates to in this case is highly singular; thus instead of invoking the Kahler package for smooth projective varieties, Huh and Wang have to use analogous but much harder results about intersection cohomology which are formulated and proved using perverse sheaves. (Specifically, they require the Bernstein–Beilinson–Deligne–Gabber decomposition theorem for intersection complexes and the Hard Lefschetz theorem for l-adic intersection cohomology of projective varieties.)
To extend the arguments of Huh and Wang to the non-representable case, the first of several serious challenges would be to construct a combinatorial model for the intersection cohomology of the variety .