The realizability criterion for complete intersection rings
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.