Perfect modules with Betti numbers (2,6,5,1)

DOI10.1016/J.JALGEBRA.2022.02.005MaRDI QIDQ2118937zbMATH OpenOpenAlexFDO

Authors Andrew Kustin

Publication date 23 March 2022

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.06540

zbMATH Keywords

codimension threeCohen-Macaulaycomplete intersectioncotangent cohomologylinkage classperfect idealrigid algebrasstrongly unobstructed algebras

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Deformations and infinitesimal methods in commutative ring theory (13D10) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: In 2018 Celikbas, Laxmi, Kra'skiewicz, and Weyman exhibited an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two with trivial multiplication on the Tor algebra. All previously known perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two had been found by Brown in 1987. Brown's ideals all have non-trivial multiplication on the Tor algebra. We prove that all of the ideals of Brown are obtained from the ideals of Celikbas, Laxmi, Kra'skiewicz, and Weyman by (non-homogeneous) specialization. We also prove that both families of ideals, when built using power series variables over a field, define rigid algebras in the sense of Lichtenbaum and Schlessinger.

Review text

In the paper under review, the author studies structure theorems about finite free resolutions in commutative algebra. More precisely, it is about resolutions of perfect modules of Betti number format \((b_3,b_2,b_1,b_0) = (2, 6, 5, 1)\). \textit{E. Celikbas} et al. [Proc. Am. Math. Soc. 148, No. 7, 2745--2755 (2020; Zbl 1459.13012)] exhibited an interesting family of perfect ideals of codimension three, with five generators, of Cohen-Macaulay type two, with trivial multiplication on the Tor algebra. All previously known perfect ideals of similar kind had been found by \textit{A. E. Brown} [J. Algebra 105, 308--327 (1987; Zbl 0624.13010)]. Brown's ideals all have non-trivial multiplication on the Tor algebra. The author proves that all of the ideals of Brown are obtained from the ideals of Celikbas, Laxmi, Kraśkiewicz and Weyman by (non-homogeneous) specialization. This provides an affirmative answer to a question posed by Jerzy Weyman at the ``Structure of length 3 resolutions workshop at the University of California, San Diego in August 2019. The author also proves that both families of ideals, when built using power series variables over a field, define rigid algebras in the sense of Lichtenbaum and Schlessinger.

Recommendations

• Betti numbers of perfect homogeneous ideals
• Expanding the socle of a codimension 3 complete intersection
• A structure theorem for type 3, grade 3 perfect ideals
• A structure theorem for a class of grade three perfect ideals
• Structure theory for some classes of grade three perfect ideals

Cites work

• A matrix of linear forms which is annihilated by a vector of indeterminates
• A structure theorem for a class of grade three perfect ideals
• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Deformation and Linkage of Gorenstein Algebras
• Deformation Theory
• Deformation von Cohen-Macaulay Algebren.
• Deformations of Cohen-Macaulay Schemes of Codimension 2 and Non-Singular Deformations of Space Curves
• Determinantal rings
• Free resolutions of Dynkin format and the licci property of grade 3 perfect ideals
• Generic free resolutions and a family of generically perfect ideals
• Generic free resolutions and root systems
• scientific article; zbMATH DE number 3670574 (Why is no real title available?)
• scientific article; zbMATH DE number 3781309 (Why is no real title available?)
• scientific article; zbMATH DE number 3274799 (Why is no real title available?)
• Ideals associated to two sequences and a matrix
• Lectures on deformations of singularities. Notes by C. S. Seshadri, Allen Tannenbaum
• Liaison des variétés algébriques. I
• On the structure of free resolutions of length 3
• The Cotangent Complex of a Morphism
• The existence of generic free resolutions and related objects.
• The family of perfect ideals of codimension 3, of type 2 with 5 generators

Cited in

(2)

• Mapping free resolutions of length three. II: Module formats
• Higher structure maps for free resolutions of length 3 and linkage

This page was built for publication: Perfect modules with Betti numbers (2,6,5,1)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118937)