Involution pipe-dream decomposition conjecture for symmetric initial ideals

From papers

Let nn be a positive integer, let I(n)I_\infty^{(n)} be the set of involutions indexing symmetric n×nn\times n partial permutation matrices, and let JysymJ^{\mathrm{sym}}_y be the associated ideal for yI(n)y\in I_\infty^{(n)}. For an involution pipe dream DD for zI(n)z\in I_\infty^{(n)}, let mD(i,j){1,2}m_D(i,j)\in\{1,2\} be its crossing multiplicity and define

JDsym:=uijmD(i,j):(i,j)D.J^{\mathrm{sym}}_D:=\left\langle u_{ij}^{m_D(i,j)}:(i,j)\in D\right\rangle.

Involution pipe-dream conjecture. If yI(n)y\in I_\infty^{(n)}, then

Jysym=DJDsym,J^{\mathrm{sym}}_y=\bigcap_D J^{\mathrm{sym}}_D,

where DD ranges over all involution pipe dreams for all zI(n)z\in I_\infty^{(n)} with zyz\geq y in Bruhat order. This would provide a primary decomposition of the symmetric initial ideals analogous to known decompositions for ordinary and skew-symmetric matrix Schubert varieties. The statement is supported by computations, but its general validity remains open.

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.