Minimal resolutions of monomial ideals
- 1University of Minnesota, Minneapolis, USA
- 2Duke University, Durham, USA
Abstract
An explicit, closed-form combinatorial minimal free resolution of an arbitrary monomial ideal I in a polynomial ring in n variables over a field of characteristic 0 (and almost all positive characteristics) is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles ( hedges ) in the upper Koszul simplicial complexes of I at lattice points in \mathbb{Z}^{n} . The differentials in these sylvan resolutions are expressed as matrices whose entries are sums over lattice paths of weights determined combinatorially by sequences of hedges ( hedgerows ) along each lattice path. This combinatorics enters via an explicit matroidal expression for Moore–Penrose pseudoinverses as weighted averages of splittings defined by hedges. The translation from Moore–Penrose combinatorics to free resolutions relies on Wall complexes, which construct minimal free resolutions of graded ideals from vertical splittings of Koszul bicomplexes. The algebra of Wall complexes applied to individual hedgerows yields explicit but noncanonical combinatorial minimal free resolutions of arbitrary monomial ideals in any characteristic.
Related
BibTeX
@article{eagon2026minimal,
title = {{Minimal resolutions of monomial ideals}},
author = {J. A. Eagon and Ezra Miller and Erika Ordog},
journal = {Journal of the European Mathematical Society},
year = {2026},
month = jul,
doi = {10.4171/jems/1803},
url = {https://doi.org/10.4171/jems/1803},
note = {CC BY},
}
RIS
TY - JOUR
TI - Minimal resolutions of monomial ideals
AU - J. A. Eagon
AU - Ezra Miller
AU - Erika Ordog
PY - 2026
DA - 2026/07/10
JO - Journal of the European Mathematical Society
DO - 10.4171/jems/1803
UR - https://doi.org/10.4171/jems/1803
AB - An explicit, closed-form combinatorial minimal free resolution of an arbitrary monomial ideal I in a polynomial ring in n variables over a field of characteristic 0 (and almost all positive characteristics) is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles ( hedges ) in the upper Koszul simplicial complexes of I at lattice points in \mathbb{Z}^{n} . The differentials in these sylvan resolutions are expressed as matrices whose entries are sums over lattice paths of weights determined combinatorially by sequences of hedges ( hedgerows ) along each lattice path. This combinatorics enters via an explicit matroidal expression for Moore–Penrose pseudoinverses as weighted averages of splittings defined by hedges. The translation from Moore–Penrose combinatorics to free resolutions relies on Wall complexes, which construct minimal free resolutions of graded ideals from vertical splittings of Koszul bicomplexes. The algebra of Wall complexes applied to individual hedgerows yields explicit but noncanonical combinatorial minimal free resolutions of arbitrary monomial ideals in any characteristic.
SN - 1435-9855
SN - 1435-9863
ER -