Abstract:If GG is a finite graph, a proper coloring of GG is a way to color the vertices of the graph using nn colors so that no two vertices connected by an edge have the same color. (The celebrated four-color theorem asserts that if GG is planar, then there is at least one proper coloring of GG with four colors.) By a classical result of Birkhoff, the number of proper colorings of GG with nn colors is a polynomial in nn, called the chromatic polynomial of GG. Read conjectured in 1968 that for any graph GG, the sequence of absolute values of coefficients of the chromatic polynomial is unimodal: it goes up, hits a peak, and then goes down. Read’s conjecture was proved by June Huh in a 2012 paper making heavy use of methods from algebraic geometry. Huh’s result was subsequently refined and generalized by Huh and Katz (also in 2012), again using substantial doses of algebraic geometry. Both papers in fact establish log-concavity of the coefficients, which is stronger than unimodality. The breakthroughs of the Huh and Huh–Katz papers left open the more general Rota–Welsh conjecture, where graphs are generalized to (not necessarily representable) matroids, and the chromatic polynomial of a graph is replaced by the characteristic polynomial of a matroid. The Huh and Huh–Katz techniques are not applicable in this level of generality, since there is no underlying algebraic geometry to which to relate the problem. But in 2015 Adiprasito, Huh, and Katz announced a proof of the Rota–Welsh conjecture based on a novel approach motivated by but not making use of any results from algebraic geometry. The authors first prove that the Rota–Welsh conjecture would follow from combinatorial analogues of the hard Lefschetz theorem and Hodge–Riemann relations in algebraic geometry. They then implement an elaborate inductive procedure to prove the combinatorial hard Lefschetz theorem and Hodge–Riemann relations using purely combinatorial arguments. We will survey these developments.

Singular Hodge theory for combinatorial geometries

Hodge theory in combinatorics

The Hodge theory of the Hecke category

Hodge Moduli Algebras and Complete Invariants of Singularities

Essence of independence: Hodge theory of matroids since June Huh

Mixed Hodge modules and real groups

Hodge theory of degenerations, (II): vanishing cohomology and geometric applications

Formulae in noncommutative Hodge theory

On the cohomology of certain subspaces of $\mathit{Sym}^n(¶^1)$ and Occam's razor for Hodge structures

Cohomology and Hodge Theory on Symplectic Manifolds: III

Hodge-to-singular correspondence for reduced curves

A Hodge Theory for Entanglement Cohomology

Determinants of Hodge-Riemann forms

The Hodge structure on the singularity category of a complex hypersurface

Duality for Hodge-Witt cohomology with modulus

Hodge Theory And A(Infinity)-Structures On Cohomology

Hodge Theory and A ∞ -Structures on Cohomology

Intersection theory of polymatroids

Wild Hodge theory and Hitchin-Kobayashi correspondence [after T. Mochizuki]

Lefschetz theorems, Q-factoriality, and Hodge symmetry for singular varieties

Intersection cohomology of moduli spaces of vector bundles over curves