Constructing homogeneous Gorenstein ideals (Q397975): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
By the work of \textit{A. R. Kustin} and \textit{M. Miller} [J. Algebra 85, 303--322 (1983; Zbl 0522.13011)], one can construct a new Gorenstein ideal \(I\) of grade \(g\) in a Gorenstein ring \(R[v]\) where \(v\) is a new indeterminate and \(R\) is a Gorenstein local ring, when given Gorenstein ideals \(\mathfrak{b}\subseteq\mathfrak{a}\) with grades \(g\) and \(g-1\), respectively, in \(R\). Instead of introducing a new indeterminate, the authors use a suitable homogeneous element \(f\) in \(R\) to construct a homogeneous ideal \(I=\mathfrak{b}+(\alpha_{g-1}^{*}+(-1)^{g}fa_{g}^{*})\) in the ring \(R\). Here \(\alpha_{g-1}^{*}\) and \(a_{g}^{*}\) are row vectors derived from comparing the resolutions of \(\mathfrak{a}\) and \(\mathfrak{b}\) and the second ideal is generated by the entries of the specified row vector (Theorem 3.1). The authors adapt the original Kustin-Miller construction and its proof to obtain a graded free resolution of \(I\) that is often minimal (Theorem 4.1) which is not the case when one uses liaison theory. The paper ends with illustrating the flexibility of the homogeneous construction by producing examples in Section 5. | |||
Property / review text: By the work of \textit{A. R. Kustin} and \textit{M. Miller} [J. Algebra 85, 303--322 (1983; Zbl 0522.13011)], one can construct a new Gorenstein ideal \(I\) of grade \(g\) in a Gorenstein ring \(R[v]\) where \(v\) is a new indeterminate and \(R\) is a Gorenstein local ring, when given Gorenstein ideals \(\mathfrak{b}\subseteq\mathfrak{a}\) with grades \(g\) and \(g-1\), respectively, in \(R\). Instead of introducing a new indeterminate, the authors use a suitable homogeneous element \(f\) in \(R\) to construct a homogeneous ideal \(I=\mathfrak{b}+(\alpha_{g-1}^{*}+(-1)^{g}fa_{g}^{*})\) in the ring \(R\). Here \(\alpha_{g-1}^{*}\) and \(a_{g}^{*}\) are row vectors derived from comparing the resolutions of \(\mathfrak{a}\) and \(\mathfrak{b}\) and the second ideal is generated by the entries of the specified row vector (Theorem 3.1). The authors adapt the original Kustin-Miller construction and its proof to obtain a graded free resolution of \(I\) that is often minimal (Theorem 4.1) which is not the case when one uses liaison theory. The paper ends with illustrating the flexibility of the homogeneous construction by producing examples in Section 5. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Kuei-Nuan Lin / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13H10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13C40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M12 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6329174 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein ideal | |||
Property / zbMATH Keywords: Gorenstein ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
liaison | |||
Property / zbMATH Keywords: liaison / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free resolution | |||
Property / zbMATH Keywords: free resolution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elementary biliaison | |||
Property / zbMATH Keywords: elementary biliaison / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2033697970 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1311.0327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fano 3-folds in codimension 4, Tom and Jerry. Part I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tutorial on Tom and Jerry: the two smoothings of the anticanonical cone over \(\mathbb{P} (1, 2, 3)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein liaison and ACM sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5648459 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalized Gaeta’s theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized divisors and biliaison / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing big Gorenstein ideals from small ones / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deformation and Linkage of Gorenstein Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gorenstein liaison, complete intersection liaison invariants and unobstructedness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Even liaison classes generated by Gorenstein linkage / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to liaison theory and deficiency modules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kustin--Miller unprojection with complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kustin--Miller unprojection with complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Liaison des variétés algébriques. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stretched Gorenstein Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296949 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 22:04, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing homogeneous Gorenstein ideals |
scientific article |
Statements
Constructing homogeneous Gorenstein ideals (English)
0 references
12 August 2014
0 references
By the work of \textit{A. R. Kustin} and \textit{M. Miller} [J. Algebra 85, 303--322 (1983; Zbl 0522.13011)], one can construct a new Gorenstein ideal \(I\) of grade \(g\) in a Gorenstein ring \(R[v]\) where \(v\) is a new indeterminate and \(R\) is a Gorenstein local ring, when given Gorenstein ideals \(\mathfrak{b}\subseteq\mathfrak{a}\) with grades \(g\) and \(g-1\), respectively, in \(R\). Instead of introducing a new indeterminate, the authors use a suitable homogeneous element \(f\) in \(R\) to construct a homogeneous ideal \(I=\mathfrak{b}+(\alpha_{g-1}^{*}+(-1)^{g}fa_{g}^{*})\) in the ring \(R\). Here \(\alpha_{g-1}^{*}\) and \(a_{g}^{*}\) are row vectors derived from comparing the resolutions of \(\mathfrak{a}\) and \(\mathfrak{b}\) and the second ideal is generated by the entries of the specified row vector (Theorem 3.1). The authors adapt the original Kustin-Miller construction and its proof to obtain a graded free resolution of \(I\) that is often minimal (Theorem 4.1) which is not the case when one uses liaison theory. The paper ends with illustrating the flexibility of the homogeneous construction by producing examples in Section 5.
0 references
Gorenstein ideal
0 references
liaison
0 references
free resolution
0 references
elementary biliaison
0 references
0 references
0 references