Equidimensionality conjecture for polarized diagonal initial ideals

Let IwI_w be the relevant matrix Schubert ideal, let \prec' be the lex-diagonal term order, and let J~\widetilde{J} be the ideal obtained by polarizing initIw\operatorname{init}_{\prec'} I_w. The associated Stanley–Reisner complex is denoted by ΔJ~\Delta_{\widetilde{J}}. Equidimensionality conjecture. Under \prec', the ideal J~\widetilde{J} is equidimensional. This conjecture is verified for n7n\leq 7 when \prec' is the lex-diagonal order. It motivates questions about whether ΔJ~\Delta_{\widetilde{J}} is Cohen–Macaulay, shellable, vertex-decomposable, or a subword complex; these properties are known in the antidiagonal case and for diagonal term orders under the vexillary hypothesis.

Sources & referencesView supporting material

Primary source

Ada Stelzer and Alexander Yong, “Combinatorial commutative algebra rules”, arXiv:2306.00737 (2023).

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.