Table of Contents
Fetching ...

Schubert coefficients of sparse paving matroids

Jon Pål Hamre

TL;DR

The paper develops a matroidal Schubert calculus by interpreting the Chow class of torus orbit closures in Grassmannians as a valuative matroid invariant, with Schubert coefficients $d_\\lambda(M)$ encoding its expansion in the Schubert basis. It proves a structural formula for disconnected matroids and provides a complete computation of Schubert coefficients for sparse paving matroids, establishing non-negativity and revealing a canonical pattern: for connected sparse paving $M$, $d_\\lambda(M)=d_\\lambda(U_{r,n})$ for all $\lambda\neq h^c$ while $d_{h^c}(M)=\beta(M)$. A conjecture posits that sparse paving mats are precisely those with this property, supported by a detailed treatment via matroid polytopes, volumes, and subdivision arguments; the work also clarifies limitations through a Panhandle example. Together, these results connect matroid theory, Grassmannian geometry, and Schubert calculus, advancing the Berget–Fink positivity program and offering tools for computing matroid invariants in a geometric setting.

Abstract

The Chow class of the closure of the torus orbit of a point in a Grassmannian only depends on the matroid associated to the point. The Chow class can be extended to a matroid invariant of arbitrary matroids. We call the coefficients appearing in the expansion of the Chow class in the Schubert basis the Schubert coefficients of the matroid. These Schubert coefficients are conjectured by Berget and Fink to be non-negative. We compute the Schubert coefficients of a disconnected matroid in terms of the Schubert coefficients of its connected components. And we compute the Schubert coefficients for all sparse paving matroids, and confirm their non-negativity.

Schubert coefficients of sparse paving matroids

TL;DR

The paper develops a matroidal Schubert calculus by interpreting the Chow class of torus orbit closures in Grassmannians as a valuative matroid invariant, with Schubert coefficients encoding its expansion in the Schubert basis. It proves a structural formula for disconnected matroids and provides a complete computation of Schubert coefficients for sparse paving matroids, establishing non-negativity and revealing a canonical pattern: for connected sparse paving , for all while . A conjecture posits that sparse paving mats are precisely those with this property, supported by a detailed treatment via matroid polytopes, volumes, and subdivision arguments; the work also clarifies limitations through a Panhandle example. Together, these results connect matroid theory, Grassmannian geometry, and Schubert calculus, advancing the Berget–Fink positivity program and offering tools for computing matroid invariants in a geometric setting.

Abstract

The Chow class of the closure of the torus orbit of a point in a Grassmannian only depends on the matroid associated to the point. The Chow class can be extended to a matroid invariant of arbitrary matroids. We call the coefficients appearing in the expansion of the Chow class in the Schubert basis the Schubert coefficients of the matroid. These Schubert coefficients are conjectured by Berget and Fink to be non-negative. We compute the Schubert coefficients of a disconnected matroid in terms of the Schubert coefficients of its connected components. And we compute the Schubert coefficients for all sparse paving matroids, and confirm their non-negativity.
Paper Structure (11 sections, 13 theorems, 63 equations)

This paper contains 11 sections, 13 theorems, 63 equations.

Key Result

Theorem 1.1

Let $M$ be a connected sparse paving matroid of rank $r$ on $[n]$ then $d_\lambda(M) = d_\lambda(U_{r,n})$ for all partitions $\lambda$ except for the complement of the hook partition $h^c$ for which $d_{h^c}(M) = \beta(M)$.

Theorems & Definitions (38)

  • Theorem 1.1
  • Corollary 1.2
  • Conjecture 1.3
  • Definition 2.1
  • Definition 2.2
  • Example 2.3
  • Example 2.4
  • Example 2.5
  • Definition 2.6
  • Definition 2.7
  • ...and 28 more