Ideal and initial-ideal equality for symmetric matrix Schubert varieties

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 wMatn×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 wMatn×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.

Sources & referencesView supporting material

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.