We define the Buchberger resolution, which is a graded free resolution of a monomial ideal in a polynomial ring. Its construction uses a generalization of the Buchberger graph and encodes much of the combinatorics of the Buchberger algorithm. The Buchberger resolution is a cellular resolution that, when it is minimal, coincides with the Scarf resolution. The simplicial complex underlying the Buchberger resolution is of interest for its own sake, and its combinatorics is not fully understood. We close with a conjecture on the clique complex of the Buchberger graph.
"The Buchberger resolution." J. Commut. Algebra 8 (4) 571 - 587, 2016. https://doi.org/10.1216/JCA-2016-8-4-571