English

Minimal resolutions of monomial ideals

Commutative Algebra 2020-05-25 v2 Algebraic Topology Combinatorics

Abstract

An explicit combinatorial minimal free resolution of an arbitrary monomial ideal II in a polynomial ring in nn variables over a field of characteristic 00 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 II at lattice points in Zn\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 the Moore-Penrose pseudoinverses of the differentials in any CW complex as weighted averages of splittings defined by hedges. This "Hedge Formula" also yields a projection formula from CW chains to boundaries. 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.

Keywords

Cite

@article{arxiv.1906.08837,
  title  = {Minimal resolutions of monomial ideals},
  author = {John Eagon and Ezra Miller and Erika Ordog},
  journal= {arXiv preprint arXiv:1906.08837},
  year   = {2020}
}

Comments

v1: 45 pages, 4 figures; v2: 30 pages, 3 figures, cuts 15 pages from v1 by (i) using determinants instead of orders of torsion subgroups and deriving the Hedge formula as a corollary of a theorem due to Berg, (ii) omitting redundant proofs related to Wall complexes, (iii) streamlining exposition related to Koszul bicomplexes, and (iv) shortening the examples

R2 v1 2026-06-23T09:59:24.802Z