Higher structure maps for free resolutions of length 3 and linkage

arXiv2208.05934MaRDI QIDQ6407640FDOQ6407640

Authors: Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman 

Publication date: 11 August 2022

Abstract: Let $I$ be a perfect ideal of height 3 in a Gorenstein local ring $R$. Let $mathbbF$ be the minimal free resolution of $I$. A sequence of linear maps, which generalize the multiplicative structure of $mathbbF$, can be defined using the generic ring associated to the format of $mathbbF$. Let $J$ be an ideal linked to $I$. We provide formulas to compute some of these maps for the free resolution of $J$ in terms of those of the free resolution of $I$. We apply our results to describe classes of licci ideals, showing that a perfect ideal with Betti numbers $(1,5,6,2)$ is licci if and only if at least one of these maps is nonzero modulo the maximal ideal of $R$.

Has companion code repository: https://github.com/xlni/higherstructurelinkage

Mathematics Subject Classification ID

Structure, classification theorems for modules and ideals in commutative rings (13C05) Syzygies, resolutions, complexes and commutative rings (13D02) Linkage, complete intersections and determinantal ideals (13C40)

This page was built for publication: Higher structure maps for free resolutions of length 3 and linkage

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