We give elementary and non-inductive proofs of three fundamental theorems about Chow rings of matroids: the standard monomial basis, Poincare duality, and the dragon-Hall-Rado formula. Our approach, which also works for augmented Chow rings of matroids, is based on a straightening law. This approach also gives a decomposition of the Chow ring of a matroid into pieces indexed by flats.
Chow rings of matroids were instrumental in the resolution of the Heron-Rota-Welsh Conjecture by Adiprasito, Huh, and Katz and in the resolution of the Top-Heavy Conjecture by Braden, Huh, Matherne, Proudfoot, and Wang. The Chow ring of a matroid is a commutative, graded, Artinian, Gorenstein algebra with linear and quadratic relations defined by the matroid. Dotsenko conjectured that the Chow ring of any matroid is Koszul. The purpose of this paper is to prove Dotsenko's conjecture. We also show that the augmented Chow ring of a matroid is Koszul. As a corollary, we show that the Chow rings a…
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.
Motivated by the intersection theory of moduli spaces of curves, we introduce psi classes in matroid Chow rings and prove a number of properties that naturally generalize properties of psi classes in Chow rings of Losev-Manin spaces. We use these properties of matroid psi classes to give new proofs of (1) a Chow-theoretic interpretation for the coefficients of the reduced characteristic polynomials of matroids, (2) explicit formulas for the volume polynomials of matroids, and (3) Poincare duality for matroid Chow rings.
Building sets, Chow rings, and their Hilbert series
Carnegie Mellon University（卡内基梅隆大学）；Università di Pisa（比萨大学）；North Carolina State University（北卡罗来纳州立大学）；Università di Bologna（博洛尼亚大学）；KTH Royal Institute of Technology（皇家理工学院）
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutohedral variety. We answer a question of Stembridge on finding a geometric explanation of the \emph{permutation representation} this cohomology carries. Our explanation involves an $\mathfrak{S}_n$-equivariant bijection between a basis for the Chow ring of the Boolean matroid and codes introduced by Stembridge. There are analogous results for the stellohedral variety. We provide a geometric explanation of the permutation representation that its cohomology carries. This involves the augmented Chow…
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciproca…
We give a short proof of the log-concavity of the coefficients of the reduced characteristic polynomial of a matroid. The proof uses an extension of the theory of Lorentzian polynomials to convex cones, and reproves the Hodge-Riemann relations of degree one for the Chow ring of a matroid.
Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is …
