The minimal free resolution of the Migliore-Peterson rings in the case that the reflexive sheaf has even rank (Q1270050): Difference between revisions

Let \(R\) be a commutative noetherian ring and \(F,G\) free \(R\)-modules of ranks \(m\) and \(n\) respectively, \(m\leq n\). Suppose \(\varphi:F\to G\) is an \(R\)-linear map such that the ideal of \(M\)-minors of \(\varphi\) has the maximal possible grade \(n-m+1\). Then one has an exact sequence \(0\to F\to G\to E\) where \(E=\bigwedge^{m+1}F\) and the image of the dual map \(E^*\to G^*\) is the dual \(M^*\) of \(M=\text{Cok}(\varphi)\). The Migliore-Peterson rings are the residue class rings \(R/J\) where \(J=\text{Im}(\psi)\) for a generic element \(\psi\in M^*\). These residue rings can be interpreted in various ways. They have been investigated thoroughly by \textit{U. Nagel}, \textit{J. C. Migliore} and \textit{C. Peterson} [J. Algebra 219, No. 1, 378-420 (1999)]. Under suitable conditions on \(R\) the residue class ring \(R/J^{\text{unm}}\) modulo the unmixed part of \(J\) is Cohen-Macaulay. If \(n-m\) is odd, then \(R/J^{\text{unm}}\) is even Gorenstein, but \(J\neq J^{\text{unm}}\), whereas \(J=J^{\text{unm}}\) if \(n-m\) is even. By a virtuoso application of multilinear algebra, the author constructs a free resolution of \(R/J\) for \(n-m\) even (under a mild assumption on the characteristic). In the local or graded situation the resolution is minimal.