Acyclicity conjecture for Gröbner-smoothable simplicial complexes
Acyclicity conjecture for Gröbner-smoothable simplicial complexes
Let be a field, and let be a -dimensional simplicial complex. Say that is Gröbner smoothable over if there exists a homogeneous ideal and a monomial order such that
and the projective variety is connected and smooth over .
Acyclicity conjecture. If is Gröbner smoothable over , then is acyclic over .
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
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.