Transition-system conjecture 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 MSVwsym\mathsf{MSV}^{\mathrm{sym}}_w be the corresponding symmetric matrix Schubert variety, with ideals I(MSVwsym)I(\mathsf{MSV}^{\mathrm{sym}}_w) and JwsymJ^{\mathrm{sym}}_w. Transition-system conjecture. There exists a transition system containing

{(I(MSVwsym),Jwsym):wMatn×nsym}.\left\{\left(I(\mathsf{MSV}^{\mathrm{sym}}_w),J^{\mathrm{sym}}_w\right):w\in\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n}\right\}.

The naive family is too small because it need not even be a partial transition system, and non-radical ideals are required. The conjecture is verified computationally for n4n\leq4, while its validity in general is open.

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.