The realizability criterion for complete intersection rings
Assume that a local ring has minimal regular presentation , let be its residue field, and fix minimal generators of . Let
and let
where each has cohomological degree . For an -complex with finitely generated homology, write for its support variety in . Realizability conjecture. The ring is complete intersection if and only if is realizable as for some -complex with finitely generated. This proposes a converse to the known obstruction: over Cohen–Macaulay rings that are not complete intersections, every such complex with nonzero finitely generated homology has support variety of dimension at least , so the origin is not realizable. The complete-intersection direction follows from the established realizability of every closed subset, while the converse remains open in the stated generality.
References
Primary source
Benjamin Briggs, Eloísa Grifo and Josh Pollitz, “The embedded deformation problem for monomial ideals”, arXiv:2506.10827 (2025).
Progress summary
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.