Groebner-basis conjecture for symmetric matrix Schubert ideals

From papers

Let nn be a positive integer, let Matn×nsym\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n} be the space of symmetric n×nn\times n matrices, and let IwsymI^{\mathrm{sym}}_w and JwsymJ^{\mathrm{sym}}_w be the minor ideal and antidiagonal ideal associated to a symmetric matrix wMatn×nsymw\in\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n}. Groebner-basis conjecture. For every such ww,

init(Iwsym)=Jwsym,\operatorname{init}(I^{\mathrm{sym}}_w)=J^{\mathrm{sym}}_w,

and the minors generating IwsymI^{\mathrm{sym}}_w form a Groebner basis in the reverse lexicographic term order. This would give explicit Groebner bases and initial ideals for the symmetric matrix Schubert ideals. It is verified computationally for n7n\leq7 over any field, but remains open in general.

Progress summary

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

Sources & referencesView supporting material

Primary source

Eric Marberg and Brendan Pawlowski, “Ideal transition systems”, arXiv:2412.17320 (2026).

Solutions 0

No solutions have been posted yet.