Higher structure maps for free resolutions of length 3 and linkage

MaRDI QIDQ6407640zbMATH OpenFDO

Authors Lorenzo Guerrieri, Xianglong Ni, Jerzy Weyman

Publication date 11 August 2022

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)

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$.

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)