Elementary construction of minimal free resolutions of the Specht ideals of shapes (n-2,2) and (d,d,1)
Abstract
For a partition λ of n ∈ N, let I Spλ be the ideal of R=K[x1,…,xn] generated by all Specht polynomials of shape λ. We assume that char(K)=0. Then R/I Sp(n-2,2) is Gorenstein, and R/I Sp(d,d,1) is a Cohen-Macaulay ring with a linear free resolution. In this paper, we construct minimal free resolutions of these rings. Berkesch Zamaere, Griffeth, and Sam had already studied minimal free resolutions of R/I Sp(n-d,d), which are also Cohen-Macaulay, using heighly advanced technique of the representation theory. However we only use the basic theory of Specht modules, and explicitly describe the differential maps.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.