The minimal free resolution of a Borel ideal (Q935408)

Let \(S=k[x_1,\ldots,x_n]\) be a polynomial ring over a field \(k\). A monomial ideal \(N\subseteq S\) is Borel if for every monomial \(g\in N\) such that \(gx_i\in N\) one has \(gx_j\in N\) whenever \(j<i\). The minimal free resolution of a Borel ideal is given by the so-called Eliahou-Kervaire resolution [\textit{S. Eliahou, M. Kervaire}, J. Algebra 129, No. 1, 1--25 (1990; Zbl 0701.13006)]. Various proofs of this resolution have been given. The authors provide a new proof using iterated mapping cones and recall some applications; in particular they give a new proof of the Eisenbud-Goto conjecture for Cohen-Macaulay ideals.