Algebraic matroid basis conjecture for Grassmannians and coherent matching fields

Let Gr(k,n)\operatorname{Gr}(k,n) be the Grassmannian, and let MGr(k,n)M_{\operatorname{Gr}(k,n)} be its algebraic matroid. For a coherent matching field LL, let MLM_L be the algebraic matroid realised by the linear span of the relevant Gröbner-fan cone. Algebraic matroid basis conjecture. Every basis of the algebraic matroid of the Grassmannian is a basis of MLM_L for some coherent matching field LL, i.e.,

B(MGr(k,n))=L coherentB(ML).\mathcal B(M_{\operatorname{Gr}(k,n)})=\bigcup_{L\text{ coherent}}\mathcal B(M_L).

The inclusion from each matching-field matroid into the Grassmannian matroid is known; the conjecture asserts the reverse inclusion. It is motivated by computations in all small examples considered, while non-matching-field cones of the tropical Grassmannian show that the claim is not immediate.

Sources & referencesView supporting material

Primary source

Oliver Clarke, “Matching Fields in Macaulay2”, arXiv:2306.09693 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.