Acyclicity conjecture for Gröbner-smoothable simplicial complexes

Let KK be a field, and let Γ\Gamma be a dd-dimensional simplicial complex. Say that Γ\Gamma is Gröbner smoothable over KK if there exists a homogeneous ideal JSJ\subseteq S and a monomial order << such that

in<(J)=IΓ\operatorname{in}_<(J)=I_\Gamma

and the projective variety V(J)Pn\mathbb{V}(J)\subseteq\mathbb{P}^n is connected and smooth over KK.

Acyclicity conjecture. If Γ\Gamma is Gröbner smoothable over KK, then Γ\Gamma is acyclic over KK.

This is an equivalent formulation of the cohomological Herzog conjecture used in the paper's proof of the curve case. The source does not state that this formulation has been resolved in general, so its status beyond the proved curve case is open.

Sources & referencesView supporting material

Primary source

Hang Huang, Yevgeniya Tarasova, Matteo Varbaro and Emily Witt, “Smooth Herzog projective curves”, arXiv:2512.00584 (2025).

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.