Nonzero higher structure map conjecture for Dynkin-type ideals

Let RR be a local Gorenstein ring and let IRI\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 j1j\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.

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

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.