Equidimensionality conjecture for polarized diagonal initial ideals

About 3 years old · traced to

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 init⁡≺′Iw\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 n≤7n\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.

References

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.