arXiv++ Combinatorics

Volume polynomials form a distinguished class of log-concave polynomials with remarkable analytic and combinatorial properties. I will survey realization problems related to them, review fundamental inequalities they satisfy, and discuss applications to the combinatorics of algebraic matroids. These notes are based on lectures given at the 2025 Summer Research Institute in Algebraic Geometry at Colorado State University.

We show that a set function $ν$ satisfies the gross substitutes property if and only if its homogeneous generating polynomial $Z_{q,ν}$ is a Lorentzian polynomial for all positive $q \le 1$, answering a question of Eur-Huh. We achieve this by giving a rank 1 upper bound for the distance matrix of an ultrametric tree, refining a classical result of Graham-Pollak. This characterization enables us to resolve two open problems that strengthen Mason's log-concavity conjectures for the number of independent sets of a matroid: one posed by Giansiracusa-Rincón-Schleis-Ulirsch for valuated matroids, and two posed by Dowling in 1980 and Zhao in 1985 for ordinary matroids.

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincaré duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one part of $A$. We analyze its decomposition into indecomposable modules over subrings of $A$ that are generated by elements in the closure of $\mathscr{K}$, establishing structural results that parallel the decomposition theorem for morphisms of complex projective varieties. We use our theorems to recover key statements in combinatorial Hodge theory and illuminate the Hodge-theoretic aspects of the decomposition theorem in algebraic geometry.

We study multiplicative inequalities among entries of Lorentzian matrices, referred to as bounded ratios. These inequalities can be viewed as generalizations of the classical Alexandrov--Fenchel inequalities for mixed volumes. Our main structural result identifies the cone of all bounded ratios on Lorentzian matrices with the dual of the cut cone, a finitely generated integral polyhedral cone extensively studied in metric geometry and graph theory. We examine in detail the pentagonal ratio, which first appears for Lorentzian matrices of size at least five. For Lorentzian matrices of size three, we determine the optimal bounding constants across the entire cone of bounded ratios, obtaining an explicit entropy-like formula. We conjecture that any normalized bounded ratio is, in fact, bounded by 2.

Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Brändén in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.

We develop a theory of representations of (discrete) polymatroids over tracts in terms of Plücker coordinates and suitable Plücker relations. As special cases, we recover polymatroids themselves as polymatroid representations over the Krasner hyperfield K and M-convex functions as polymatroid representations over the tropical hyperfield. We introduce and study several useful operations for polymatroid representations, such as translation and refined notions of minors and duality which have better properties than the existing definitions; for example, deletion and contraction become dual operations (up to translation) in our setting. We also prove an idempotency principle which asserts that polymatroids which are not translates of matroids are representable only over tracts that are idempotent in a certain specific sense (in particular -1 = 1). The space of all representations of a polymatroid J, which we call the thin Schubert cell of J, is represented by an algebraic object called {universal tract of J. When we restrict to just the 3-term Plücker relations, we obtain the weak thin Schubert cell, and passing to torus orbits yields the realization space. These are represented by the universal pasture and the foundation of J, respectively. We exhibit a canonical bijection between the universal tract and the universal pasture, which is new even in the case of matroids, and we show that the foundation of a polymatroid is generated by cross ratios. We also describe a (possibly incomplete) list of multiplicative relations between cross ratios. Thin Schubert cells and realization spaces are canonically embedded in certain tori. Over idempotent tracts, we show that thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus.

Volume polynomials measure the growth of Minkowski sums of convex bodies and of tensor powers of positive line bundles on projective varieties. We show that Aluffi's covolume polynomials are precisely the polynomial differential operators that preserve volume polynomials, reflecting a duality between homology and cohomology. We then present several applications to matroid theory.

The relationship between convex geometry and algebraic geometry has deep historical roots, tracing back to classical works in enumerative geometry. In this paper, we continue this theme by studying two interconnected problems regarding projections of geometric objects in four-dimensional spaces: (1) Let $A$ be a convex body in $\mathbb{R}^4$, and let $(p_{12}, p_{13}, p_{14}, p_{23}, p_{24}, p_{34})$ be the areas of the six coordinate projections of $A$ in $\mathbb{R}^2$. Which tuples of six nonnegative real numbers can arise in this way? (2) Let $S$ be an irreducible surface in $(\mathbb{P}^1)^4$, and let $(p_{12}, p_{13}, p_{14}, p_{23}, p_{24}, p_{34})$ be the degrees of the six coordinate projections from $S$ to $(\mathbb{P}^1)^2$. Which tuples of six nonnegative integers can arise in this way? We show that these questions are governed by the Plücker relations for the Grassmannian $\text{Gr}(2,4)$ over the triangular hyperfield $\mathbb{T}_2$. We extend our analysis by determining the homology classes in $(\mathbb{P}^m)^n$ proportional to the fundamental classes of irreducible algebraic surfaces, resolving the algebraic Steenrod problem in this setting. Our results lead to several conjectures on realizable homology classes in smooth projective varieties and on the projection volumes of convex bodies.

We use the geometry of the stellahedral toric variety to study matroids. We identify the valuative group of matroids with the cohomology ring of the stellahedral toric variety, and show that valuative, homological, and numerical equivalence relations for matroids coincide. We establish a new log-concavity result for the Tutte polynomial of a matroid, answering a question of Wagner and Shapiro-Smirnov-Vaintrob on Postnikov-Shapiro algebras, and calculate the Chern-Schwartz-MacPherson classes of matroid Schubert cells. The central construction is the "augmented tautological classes of matroids," modeled after certain vector bundles on the stellahedral toric variety.

We introduce the Bergman fan of a polymatroid and prove that the Chow ring of the Bergman fan is isomorphic to the Chow ring of the polymatroid. Using the Bergman fan, we establish the Kähler package for the Chow ring of the polymatroid, recovering and strengthening a result of Pagaria-Pezzoli.

The Lagrangian geometry of matroids was introduced in [ADH20] through the construction of the conormal fan of a matroid M. We used the conormal fan to give a Lagrangian-geometric interpretation of the h-vector of the broken circuit complex of M: its entries are the degrees of the mixed intersections of certain convex piecewise linear functions $γ$ and $δ$ on the conormal fan of M. By showing that the conormal fan satisfies the Hodge-Riemann relations, we proved Brylawski's conjecture that this h-vector is a log-concave sequence. This sequel explores the Lagrangian combinatorics of matroids, further developing the combinatorics of biflats and biflags of a matroid, and relating them to the theory of basis activities developed by Tutte, Crapo, and Las Vergnas. Our main result is a combinatorial strengthening of the $h$-vector computation: we write the k-th mixed intersection of $γ$ and $δ$ explicitly as a sum of biflags corresponding to the nbc-bases of internal activity k+1.

We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.

We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when combined with the Hodge-Riemann relations for the conormal fan of M, implies Brylawski's and Dawson's conjectures that the h-vectors of the broken circuit complex and the independence complex of M are log-concave sequences.

We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.

We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.

Morphisms of matroids are combinatorial abstractions of linear maps and graph homomorphisms. We introduce the notion of basis for morphisms of matroids, and show that its generating function is strongly log-concave. As a consequence, we obtain a generalization of Mason's conjecture on the $f$-vectors of independent subsets of matroids to arbitrary morphisms of matroids. To establish this, we define multivariate Tutte polynomials of morphisms of matroids, and show that they are Lorentzian in the sense of [BH19] for sufficiently small positive parameters.

We study the class of Lorentzian polynomials. The class contains homogeneous stable polynomials as well as volume polynomials of convex bodies and projective varieties. We prove that the Hessian of a nonzero Lorentzian polynomial has exactly one positive eigenvalue at any point on the positive orthant. This property can be seen as an analog of Hodge--Riemann relations for Lorentzian polynomials. Lorentzian polynomials are intimately connected to matroid theory and negative dependence properties. We show that matroids, and more generally M-convex sets, are characterized by the Lorentzian property, and develop a theory around Lorentzian polynomials. In particular, we provide a large class of linear operators that preserve the Lorentzian property and prove that Lorentzian measures enjoy several negative dependence properties. We also prove that the class of tropicalized Lorentzian polynomials coincides with the class of M-convex functions in the sense of discrete convex analysis. The tropical connection is used to produce Lorentzian polynomials from M-convex functions. We give two applications of the general theory. First, we prove that the homogenized multivariate Tutte polynomial of a matroid is Lorentzian whenever the parameter q satisfies $0 < q \le 1$. Consequences are proofs of the strongest Mason's conjecture from 1972 and negative dependence properties of the random cluster model model in statistical physics. Second, we prove that the multivariate characteristic polynomial of an M-matrix is Lorentzian. This refines a result of Holtz who proved that the coefficients of the characteristic polynomial of an M-matrix form an ultra log-concave sequence.

We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0<q\leq 1$. Consequences are proofs of the strongest conjecture of Mason and negative dependence properties for $q$-state Potts model partition functions.

Let $G$ be a finite connected graph, and let $T$ be a spanning tree of $G$ chosen uniformly at random. The work of Kirchhoff on electrical networks can be used to show that the events $e_1 \in T$ and $e_2 \in T$ are negatively correlated for any distinct edges $e_1$ and $e_2$. What can be said for such events when the underlying matroid is not necessarily graphic? We use Hodge theory for matroids to bound the correlation between the events $e \in B$, where $B$ is a randomly chosen basis of a matroid. As an application, we prove Mason's conjecture that the number of $k$-element independent sets of a matroid forms an ultra-log-concave sequence in $k$.

Why do natural and interesting sequences often turn out to be log-concave? We give one of many possible explanations, from the viewpoint of "standard conjectures". We illustrate with several examples from combinatorics.