SNP conjecture for matrix Schubert coefficient supports

Fix a permutation ww. Identify each partition-tuple (λμ)(\underline\lambda|\underline\mu) with a point in Rm+n{\mathbb R}^{m+n}, and let

Fw:={(λμ)cλμw0}.{\mathcal F}_w:=\{(\underline\lambda|\underline\mu)\mid c^w_{\underline\lambda|\underline\mu}\neq 0\}.

A lattice point means a point of the ambient lattice Zm+n{\mathbb Z}^{m+n}. SNP conjecture. Every lattice point (λμ)(\underline\lambda|\underline\mu) in the convex hull of Fw{\mathcal F}_w belongs to Fw{\mathcal F}_w:

(λμ)conv(Fw)Zm+n(λμ)Fw.(\underline\lambda|\underline\mu)\in\operatorname{conv}({\mathcal F}_w)\cap{\mathbb Z}^{m+n}\quad\Longrightarrow\quad(\underline\lambda|\underline\mu)\in{\mathcal F}_w.

This is a normality or saturation-type property for the coefficient support. The source presents it as a third conjecture and does not state a general proof or disproof.

Sources & referencesView supporting material

Primary source

Abigail Price, Ada Stelzer and Alexander Yong, “Representations from matrix varieties, and filtered RSK”, arXiv:2403.09938 (2025).

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.