Conjecture on licci ideals and nonzero structure maps

At least 3 years old · documented by

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 j≥1j\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 j≥1j\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.