Ideal and initial-ideal equality for symmetric matrix Schubert varieties

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 for w∈Matn×nsymw\in\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n} let IwsymI^{\mathrm{sym}}_w be the ideal generated by the specified minors, MSVwsym\mathsf{MSV}^{\mathrm{sym}}_w the corresponding symmetric matrix Schubert variety, and JwsymJ^{\mathrm{sym}}_w the specified antidiagonal ideal. Ideal-equality conjecture. For every w∈Matn×nsymw\in\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n},

Iwsym=I(MSVwsym)andJwsym=init⁡(I(MSVwsym)).I^{\mathrm{sym}}_w=I(\mathsf{MSV}^{\mathrm{sym}}_w)\quad\text{and}\quad J^{\mathrm{sym}}_w=\operatorname{init}\left(I(\mathsf{MSV}^{\mathrm{sym}}_w)\right).

The equalities would identify the determinantal equations and their initial ideals for symmetric matrix Schubert varieties. They are consequences of the proposed transition-system construction and remain 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.