The minimal free resolutions of the Huneke-Ulrich deviation two Gorenstein ideals
type: Item
instance of: scholarly article
title: The minimal free resolutions of the Huneke-Ulrich deviation two Gorenstein ideals
zbMATH Open document ID: 0646.13011
DOI: 10.1016/0021-8693(86)90078-5
author: Andrew Kustin
published in: Journal of Algebra
publication date: 1986-01-01T00:00:00Z
review text: The deviation of the ideal I is the minimal number of generators of I minus the grade of I. A deviation zero ideal is a complete intersection. \textit{E. Kunz} [J. Algebra 28, 111-115 (1974; Zbl 0275.13025)] proved that there are no deviation one Gorenstein ideals. A hypersurface section of a grade \(g-1\) deviation two Gorenstein ideal is a grade g deviation two Gorenstein ideal. We consider this to be a trivial example. Very few non- trivial examples of deviation two Gorenstein ideals are known. The only known non-trivial deviation two Gorenstein ideals of grade at least four are the ideals of \textit{C. Huneke} and \textit{B. Ulrich} [Am. J. Math. 107, 1265-1303 (1985; Zbl 0587.13006)], which are the ideals studied in this paper. For each integer s, let \(\underline y^{(s)}\) be a \(1\times s\) matrix of indeterminates, \(X^{(s)}\) be an \(s\times s\) alternating matrix of indeterminates, \(\underline g^{(s)}\) be the product \(\underline y^{(s)}X^{(s)}\), and \(\underline c^{(s)}\) be the sequence \(g_ 1^{(s)},...,g^{(s)}_{s-1}\). Let \(A_ s\) be the ideal of the ring \({\mathbb{Z}}[X^{(s)},\underline y^{(s)}]\) generated by the entries of \b{g}\({}^{(s)}\) together with the pfaffian of \(X^{(s)}.\) In this paper we produce the minimal free resolution of the algebra defined by \(A_{2n}\). Once and for all we fix an integer \(n\geq 2\), X a 2n\(\times 2n\) alternating matrix of indeterminates, and \b{y} a \(1\times 2n\) matrix of indeterminates. Let \(R=R_ n\) be the ring \({\mathbb{Z}}[X,\underline y]\) and let \(A=A_{2n}\) be the ideal of R generated by the entries of the product \(\underline g = \underline yX\) together with the pfaffian of X. The ideal A is prime and Gorenstein. It has grade \(2n-1\) and has \(2n+1\) generators. We will produce two resolutions \({\mathbb{F}}={\mathbb{F}}^{(n)}\) and \({\mathbb{M}}={\mathbb{M}}^{(n)}\) of \(R/A\) by free R-modules. The resolution \({\mathbb{M}}\) will be minimal; however, \({\mathbb{F}}\) will be easier to man…
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13D99
Mathematics Subject Classification ID: 14M10
Mathematics Subject Classification ID: 13E15
zbMATH DE Number: 4053767
zbMATH Keywords: complete intersection
zbMATH Keywords: deviation two Gorenstein ideals of grade at least four
zbMATH Keywords: minimal free resolution
MaRDI profile type: MaRDI publication profile
full work available at URL: 0021-8693(86)90078-5
OpenAlex ID: W2083435917
cites work: Q4039891
cites work: Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
cites work: Gorenstein ideals of deviation two
cites work: Divisor Class Groups and Deformations
cites work: Almost complete intersections are not Gorenstein rings
cites work: New examples of rigid gorenstein unique factorization domains
cites work: A general resolution for grade four Gorenstein ideals
cites work: Constructing big Gorenstein ideals from small ones
cites work: Deformation and Linkage of Gorenstein Algebras
cites work: Multiplicative Structure on Resolutions of Algebras Defined by Herzog Ideals
cites work: Structure Theory for a Class of Grade Four Gorenstein Ideals
cites work: Tight double linkage of Gorenstein algebras
Recommended article: THE MINIMAL FREE RESOLUTION OF CERTAIN DETERMINANTAL IDEA
Recommended article: On the minimal free resolution of the universal ring for resolutions of length two
Recommended article: Q4245153
Recommended article: Minimal free resolutions of certain equigenerated monomial ideals
Recommended article: Q4257799
Recommended article: The hilbert function and the minimal free resolution of some gorenstein ideals of codimension 4
Recommended article: On minimal free resolutions of projective varieties of degree = codimension + 2
Recommended article: Minimal Free Resolutions of the Tangent Cones of Gorenstein Monomial Curves
Recommended article: Minimal free resolutions of homogenized \(D\)-modules
Recommended article: On the structure of Gorenstein ideals of deviation two
description: scientific article; zbMATH DE number 4053767