pith. sign in

arxiv: 1902.06577 · v1 · pith:52SCWEO3new · submitted 2019-02-18 · 🧮 math.AC

When is a Specht ideal Cohen-Macaulay?

classification 🧮 math.AC
keywords lambdacharcohen--macaulayidealldotsspechtcohen-macaulayconverse
0
0 comments X
read the original abstract

For a partition $\lambda$ of $n$, let $I^{\rm Sp}_\lambda$ be the ideal of $R=K[x_1, \ldots, x_n]$ generated by all Specht polynomials of shape $\lambda$. We show that if $R/I^{\rm Sp}_\lambda$ is Cohen--Macaulay then $\lambda$ is of the form either $(a, 1, \ldots, 1)$, $(a,b)$, or $(a,a,1)$. We also prove that the converse is true if ${\rm char}(K)=0$. To show the latter statement, the radicalness of these ideals and a result of Etingof et al. are crucial. We also remark that $R/I^{\rm Sp}_{(n-3,3)}$ is NOT Cohen--Macaulay if and only if ${\rm char}(K)=2$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.