English

When is a Specht ideal Cohen-Macaulay?

Commutative Algebra 2019-02-19 v1

Abstract

For a partition λ\lambda of nn, let IλSpI^{\rm Sp}_\lambda be the ideal of R=K[x1,,xn]R=K[x_1, \ldots, x_n] generated by all Specht polynomials of shape λ\lambda. We show that if R/IλSpR/I^{\rm Sp}_\lambda is Cohen--Macaulay then λ\lambda is of the form either (a,1,,1)(a, 1, \ldots, 1), (a,b)(a,b), or (a,a,1)(a,a,1). We also prove that the converse is true if char(K)=0{\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(n3,3)SpR/I^{\rm Sp}_{(n-3,3)} is NOT Cohen--Macaulay if and only if char(K)=2{\rm char}(K)=2.

Keywords

Cite

@article{arxiv.1902.06577,
  title  = {When is a Specht ideal Cohen-Macaulay?},
  author = {Kohji Yanagawa},
  journal= {arXiv preprint arXiv:1902.06577},
  year   = {2019}
}

Comments

21 pages

R2 v1 2026-06-23T07:43:43.708Z