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.

Stirling Decomposition of Graph Homology in Genus 1

Lie graph homology model for $\mathfrak{grt}_1$

Homology Generators and Relations for the Ordered Configuration Space of a Star Graph

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

Graphs and the (co)homology of Lie Algebras

Basic representations of genus zero nonabelian Hodge spaces

Decomposing highly edge-connected graphs into homomorphic copies of a fixed tree

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

A splitting property of the chromatic homology of the complete graph

Homology tests for graph colorings

Diamonds: Homology and the Central Series of Groups

Homogeneous Hypercomplex Structures I - the compact Lie groups

A structure theorem for homology 4-manifolds with $g_2\leq 5$

Combinatorial Göttsche-Schroeter invariants in any genus

Fixed point Floer cohomology and closed-string mirror symmetry for nodal curves

On the topology and combinatorics of decomposable arrangements

Homological representations of low genus mapping class groups

Hodge theory in combinatorics

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect

Graphing, homotopy groups of spheres, and spaces of long links and knots