Minimal resolutions of monomial ideals

MaRDI QIDQ6320813zbMATH OpenFDO

Authors John A. Eagon, Ezra Miller, Erika Ordog

Publication date 20 June 2019

Trees (05C05) Combinatorial aspects of commutative algebra (05E40) Combinatorial aspects of simplicial complexes (05E45) Other special types of modules and ideals in commutative rings (13C13) Syzygies, resolutions, complexes and commutative rings (13D02) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Chain complexes in algebraic topology (55U15) Relations of low-dimensional topology with graph theory (57M15) General topology of complexes (57Q05)

Abstract: An explicit combinatorial minimal free resolution of an arbitrary monomial ideal

I

in a polynomial ring in

n

variables over a field of characteristic

0

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

m a t h b b 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.

This page was built for publication: Minimal resolutions of monomial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6320813)