DG structure on length 3 trimming complexes and applications to Tor algebras

DOI10.1016/J.JPAA.2022.107053MaRDI QIDQ2125178zbMATH OpenOpenAlexFDO

Authors Keller VandeBogert

Publication date 13 April 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

DG-algebrasFree resolutionsRealizability questionTor-algebrasTrimming complexes

Mathematics Subject Classification ID

Other special types of modules and ideals in commutative rings (13C13) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07)

Abstract: In this paper, we consider the iterated trimming complex associated to data yielding a complex of length $3$. We compute an explicit algebra structure in this complex in terms of the algebra structures of the associated input data. Moreover, it is shown that many of these products become trivial after descending to homology. We apply these results to the problem of realizability for Tor-algebras of grade $3$ perfect ideals, and show that under mild hypotheses, the process of "trimming" an ideal preserves Tor-algebra class. In particular, we construct new classes of ideals in arbitrary regular local rings defining rings realizing Tor-algebra classes $G(r)$ and $H(p,q)$ for a prescribed set of homological data.

Review text

Over a regular local ring, the author of this paper considers the iterated trimming chain complex associated to data yielding a chain complex of length 3. He computes an explicit algebra structure in this chain complex in terms of the algebra structures of the associated input data. Moreover, it is shown that many of these products become trivial after descending to homology. He applies these results to the problem of realizability for Tor algebras of grade 3 perfect ideals, and shows that under mild hypotheses, the process of trimming an ideal preserves the Tor algebra class. In particular, he constructs new classes of ideals in arbitrary regular local rings defining rings realizing Tor algebra classes \(G(r)\) and \(H(p,q)\) for a prescribed set of homological data.

Recommendations

• Resolution and Tor algebra structures of grade 3 ideals defining compressed rings
• Trimming complexes and applications to resolutions of determinantal facet ideals
• Structure theory for a class of grade 3 homogeneous ideals defining type 2 compressed rings
• Trimming a Gorenstein ideal
• Homology over trivial extensions of commutative DG algebras

Cites work

• A cohomological study of local rings of embedding codepth 3
• Algebra Structures for Finite Free Resolutions, and Some Structure Theorems for Ideals of Codimension 3
• Expanding the socle of a codimension 3 complete intersection
• scientific article; zbMATH DE number 1305007 (Why is no real title available?)
• Linkage classes of grade 3 perfect ideals
• Local rings of embedding codepth 3. Examples
• On the structure of free resolutions of length 3
• Poincaré series of modules over local rings of small embedding codepth or small linking number
• Trimming a Gorenstein ideal

Cited in

(9)

• Trimming a Gorenstein ideal
• Resolution and Tor algebra structures of grade 3 ideals defining compressed rings
• Canonical resolutions over Koszul algebras
• Structure theory for a class of grade 3 homogeneous ideals defining type 2 compressed rings
• Products of ideals and Golod rings
• DG structure on the length 4 big from small construction
• The Tor algebra of trimmings of Gorenstein ideals
• Tor algebra of local rings with decomposable maximal ideal
• Realizing algebra structures on free resolutions of grade 3 perfect ideals

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: DG structure on length 3 trimming complexes and applications to Tor algebras

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