Involution pipe-dream decomposition conjecture for symmetric initial ideals

At least 1 year old · documented by

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 y∈I∞(n)y\in I_\infty^{(n)}. For an involution pipe dream DD for z∈I∞(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 y∈I∞(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 z∈I∞(n)z\in I_\infty^{(n)} with z≥yz\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.

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.