The characteristic bound conjecture for Cohen–Macaulay Specht ideals

About 7 years old · traced to

Let KK be a field, let R=K[x1,…,xn]R=K[x_1,\ldots,x_n], and let λ=(λ1,…,λl)\lambda=(\lambda_1,\ldots,\lambda_l) be a partition of nn satisfying condition (2) or (3) of the stated classification proposition, namely l=2l=2, or l=3l=3, λ1=λ2\lambda_1=\lambda_2, and λ3=1\lambda_3=1. Characteristic bound conjecture. The quotient R/IλSpR/I^{\rm Sp}_\lambda is Cohen–Macaulay if and only if

char⁡(K)=0orchar⁡(K)≥n−λ1.\operatorname{char}(K)=0\quad\text{or}\quad \operatorname{char}(K)\ge n-\lambda_1.

The conjecture is motivated by computer experiments on the characteristic dependence of Specht ideals; the source does not report a proof or disproof.

References

Primary source

Kohji Yanagawa, “When is a Specht ideal Cohen-Macaulay?”, arXiv:1902.06577 (2019).

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.