The resolution of \((x^N,y^N,z^N,w^N)\) (Q2240461)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The resolution of \((x^N,y^N,z^N,w^N)\) |
scientific article |
Statements
The resolution of \((x^N,y^N,z^N,w^N)\) (English)
0 references
4 November 2021
0 references
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.
0 references
almost complete intersection ring
0 references
compressed algebra
0 references
free resolution
0 references
Gorenstein ring
0 references
Hilbert function
0 references
hypersurface ring
0 references
linkage
0 references
maximal Cohen-Macaulay module
0 references
matrix factorization
0 references
socle degrees
0 references
weak Lefschetz property
0 references
strong Lefschetz property
0 references
0 references
0 references
0 references
0 references
0 references