Primality 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 for each symmetric matrix wMatn×nsymw\in\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n} let IwsymI^{\mathrm{sym}}_w be the ideal generated by the specified minors in the coordinate ring K[Matn×nsym]\mathbb{K}[\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n}]. Primality conjecture. For every symmetric matrix ww, IwsymI^{\mathrm{sym}}_w is a prime ideal of K[Matn×nsym]\mathbb{K}[\boldsymbol{\rm Mat}^{\mathrm{sym}}_{n\times n}]. Since the corresponding symmetric matrix Schubert varieties are irreducible, this would follow from the ideal-equality conjecture. It is computationally verified for n5n\leq5 over Q\mathbb{Q}, F2\mathbb{F}_2, and F3\mathbb{F}_3, 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.