Nonzero higher structure map conjecture for Dynkin-type ideals

About 4 years old · traced to

Let RR be a local Gorenstein ring and let I⊂RI\subset R be a perfect ideal of Dynkin type. A structure map wj,k(i)(I)w^{(i)}_{j,k}(I) has strictly positive rank modulo the maximal ideal if its reduction modulo the maximal ideal of RR has positive rank. Dynkin structure-map conjecture. Some structure map wj,k(i)(I)w^{(i)}_{j,k}(I), with i=2,3i=2,3 and j≥1j\geq1, has strictly positive rank modulo the maximal ideal of RR. The conjecture predicts nontrivial higher structure in every Dynkin-type resolution; the source discusses computed cases and the expected relevance to generic perfect ideals, but 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.