The characteristic bound conjecture for Cohen–Macaulay Specht ideals

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.

Sources & referencesView supporting material

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.