Abstract:We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This extends to a parallelism between the $Z$-polynomial of a matroid and the Hilbert series of its augmented Chow ring. This suggests to bring ideas from one framework to the other. Our two main motivations are the real-rootedness conjecture for all of these polynomials, and the problem of computing them. We provide several intrinsic definitions of these invariants; also, by leveraging that they are valuations under matroid polytope subdivisions, we deduce a fast way for computing them for a large class of matroids. Uniform matroids are a case of combinatorial interest; we link the resulting polynomials with certain real-rooted families such as the (binomial) Eulerian polynomials, and we settle a conjecture of Hameister, Rao, and Simpson. Furthermore, we prove the real-rootedness of the Hilbert series of the augmented Chow rings of uniform matroids via a result of Haglund and Zhang; and in addition, we prove a version of a conjecture of Gedeon in the Chow setting: uniform matroids maximize coefficient-wisely these polynomials for matroids with fixed rank and size. By relying on the nonnegativity of the Kazhdan-Lusztig polynomials and the semi-small decompositions of Braden, Huh, Matherne, Proudfoot, and Wang, we strengthen the unimodality of the Hilbert series of Chow rings, augmented Chow rings, and intersection cohomologies to $\gamma$-positivity, a property for palindromic polynomials that lies between unimodality and real-rootedness; this settles a conjecture of Ferroni, Nasr, and Vecchi.

Matroids, Feynman categories, and Koszul duality

Koszul duality for operadic categories

Koszul duality and a conjecture of Francis-Gaitsgory

Koszul duality for monoids and the operad of enriched rooted trees

Combinatorial and algebraic structure in Orlik-Solomon algebras

Koszul duality of affine kac -

Circuit algebras, modular operads and invariant theory

Koszul duality and the Poincaré-Birkhoff-Witt theorem

Hilbert-Poincaré series of matroid Chow rings and intersection cohomology

Koszul duality and a classification of stable Weiss towers

Koszul Monoids in Quasi-abelian Categories

Koszul duality for non-graded derived categories

Koszul duality for Coxeter groups

Koszul Feynman Categories

Categorifications of rational Hilbert series and characters of $FS^{op}$ modules

Topological Koszulity for Category Algebras

An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods

The Koszul complex is the cotangent complex

A Representation theoretic perspective of Koszul theory

Koszulity, supersolvability, and Stirling representations

Intersection theory of matroids: variations on a theme