Groebner-basis conjecture for symmetric matrix Schubert ideals

About 2 years old · traced to

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 w∈Matn×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 n≤7n\leq7 over any field, but remains open in general.

References

Primary source

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

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.