Conjecture on licci ideals and nonzero structure maps

From papers

Let II be a perfect ideal of height 33 in a Gorenstein local ring RR with infinite residue field. For a structure map wj,k(i)(J)w^{(i)}_{j,k}(J), write “nonzero modulo the maximal ideal” for nonvanishing after reduction modulo the maximal ideal of RR. Structure-map criterion conjecture. The following are equivalent: (1) II is licci; (2) for every ideal JJ in the linkage class of II, there exists a structure map wj,k(i)(J)w^{(i)}_{j,k}(J), with i=1,2,3i=1,2,3 and j1j\geq1, that is nonzero modulo the maximal ideal of RR; (3) there exists a structure map wj,k(1)(I)w^{(1)}_{j,k}(I), with j1j\geq1, that is nonzero modulo the maximal ideal of RR. Here licci means linked to a complete intersection by finitely many links. This conjecture proposes a characterization of licci ideals through higher structure maps and extends the preceding sufficient conditions; the supplied source gives no resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Lorenzo Guerrieri, Xianglong Ni and Jerzy Weyman, “Higher structure maps for free resolutions of length 3 and linkage”, arXiv:2208.05934 (2023).

Solutions 0

No solutions have been posted yet.