Generic subideals of graph ideals and free resolutions (Q2477976)

Let \(R = k[x_1,\ldots, x_n]\) be a polynomial ring over a field \(k\). \textit{W. Bruns} showed [J. Algebra 39, 429--439 (1976; Zbl 0329.13010)] that for any ideal \(I\subset R\) and any integer \(r\), there exists an ideal \(J\subset R\) generated by 3 elements such that the resolution of \(r\)-th syzygies \(\text{Syz}_r(I)\) and \(\text{Syz}_r(J)\) are identical. In this paper, the author considers the special case of \(I = (x_1,x_2,\ldots, x_n)\) and \(r=2\). The highlight is an explicit construction of the ideal \(J\) and its free resolution. Let \(\Delta\) be a cycle. Choose three generic elements \(f,g,h\) from the Stanley-Reisner ideal \(I_{\Delta^*}\) corresponding to the Alexander dual \(\Delta^*\) of \(\Delta\). Then we set \(J:= (f,g,h)\subset R\). The proposed free resolution \({\mathcal J}\) is a modification of a Koszul complex of \(R/(x_1,\ldots, x_n)\). Most part of the paper is devoted to the proof that \({\mathcal J}\) is really a free resolution of \(J\). Finally, the author shows some experimental results for the possibility that \(f, g, h\) can be chosen to be binomials.