Schubert coefficients of sparse paving matroids

Jon Pål Hamre

2024-06-08

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 for all sparse paving matroids, and confirm their non-negativity.

Combinatorics,Algebraic Geometry

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to verify and calculate the Schubert coefficients of sparse paving matroids and confirm the non - negativity of these coefficients. Specifically, the main contributions of the paper include:

1. **Definition and Background**:
- Schubert coefficients are defined by the expansion in the Schubert basis of the Grassmannian \(G(r,n)\).
- These coefficients appear in the expressions of the Chern classes of the Grassmannian in the description of the orbit closure \(T_x\) of a point \(x\in G(r,n)\).

2. **Problem Statement**:
- Berget and Fink conjectured that the Schubert coefficients of all matroids are non - negative.
- The author aims to verify whether this conjecture holds for sparse paving matroids and calculate the specific values of these coefficients.

3. **Main Results**:
- **Theorem 1.1**: For a connected sparse paving matroid \(M\), its Schubert coefficient \(d_{\lambda}(M)\) is the same as the Schubert coefficient of the uniform matroid \(U_{r,n}\), except for the hook - complement partition \(h_c\), where \(d_{h_c}(M)=\beta(M)\).
- **Corollary 1.2**: The Schubert coefficients of all connected sparse paving matroids are non - negative.

4. **Further Conjecture**:
- The author proposes Conjecture 1.3, believing that sparse paving matroids are the only matroids that satisfy \(d_{\lambda}(M) = d_{\lambda}(U_{r,n})\) for all partitions \(\lambda\neq h_c\).

5. **Methods and Proofs**:
- The author utilizes the properties of matroid polytope subdivisions and valuative invariants, combined with the existing results on minimal matroids, and finally proves the above - mentioned theorem.

Through these works, the paper not only verifies the non - negativity of the Schubert coefficients of sparse paving matroids but also provides a theoretical basis for further research on the Schubert coefficients of a wider range of matroid categories.