Elementary construction of the minimal free resolution of the Specht ideal of shape \((n -d,d)\) (Q6052922)

For a partitition \(\lambda\) of \(n \in \mathbb{N}\) let \(I^{Sp}_{\lambda} \subset R = k[x_1,\ldots,x_n]\) be the ideal generated by all Specht polynomials of shape \(\lambda\). For a tableau \(T\) of \(\lambda\) its Specht polynomial in \(R\) is the product of all \(x_i - x_j\) such that \(i\) and \(j\) are in the same column of \(T\) and \(j\) is in a lower position than \(i\). The authors have shown (see [\textit{K. Yanagawa}, J. Commut. Algebra 13, No. 4, 589--608 (2021; Zbl 1481.13026)]) that \(R/I^{Sp}_{\lambda} \) is Cohen-Macaulay if and only if \(\lambda \in \{(n-d,1,\ldots,1), (n-d,d),(d,d,1)\}\). In the paper (see [Commun. Math. Phys. 330, No. 1, 415--434 (2014; Zbl 1294.81387)]) \textit{C. B. Zamaere} et al. computed the Betti numbers of \(R/I^{Sp}_{(n-d,d)} \). In the present paper the authors construct an explicit resolution of \(R/I^{Sp}_{(n-d,d)} \) including the differential maps, and also give an elementary proof of some of the results of [loc. cit.]. For the minimal free resolution of \(R/I^{Sp}_{\lambda}\) for \(\lambda = (n-2,2), (d,d,1)\) see the authors paper [\textit{K. Shibata} and \textit{K. Yanagawa}, J. Algebra Appl. 22, No. 9, Article ID 2350199, 26 p. (2023; Zbl 1528.13012)].