The resolution of \((x^N,y^N,z^N,w^N)\) (Q2240461): Difference between revisions

Let \(k\) be a field of characteristic zero and fix positive integers \(n < N\). Let \(P = k[x,y,z,w]\), \(F = x^n+y^n+z^n+w^n\) and \(\overline{P} = P/(F)\). Let \(K\) be the ideal \((x^N,y^N,z^N,w^N)\). This paper studies the quotient \(\overline{P}/ K \overline{P}\) as an algebra over \(\overline{P}\). The authors describe the minimal multi-homogeneous resolution of \(\overline{P}/K\overline{P}\) by free \(\overline{P}\)-modules, the socle degrees of \(\overline{P}/K \overline{P}\), and the minimal multi-homogeneous resolution of \(P/(K:F)\) (which is Gorenstein since \(K\) is Gorenstein) by free \(P\)-modules. Indeed, the latter is their main result. An important tool used is a theorem of Stanley that implies that \(P/F\) has the strong Lefschetz property. Another important ingredient is a multi-grading on \(P\) for which both \(K\) and \((F)\) are homogeneous. They also give an interesting reduction to three variables, where the computations are easier, and then lift to get their results.