arXiv++ Combinatorics

We introduce the notion of a \emph{resolution supported on a poset}. When the poset is a CW-poset, i.e. the face poset of a regular CW-complex, we recover the notion of cellular resolution as introduced by Bayer and Sturmfels. Work of Reiner and Welker, and of Velasco, has shown that there are monomial ideals whose minimal free resolutions are not cellular, hence cannot be supported on any CW-poset. We show that for any monomial ideal there is a \emph{homology CW-poset} that supports a minimal free resolution of the ideal. This allows one to extend to every minimal resolution, essentially verbatim, techniques initially developed to study cellular resolutions. As two demonstrations of this process, we show that minimal resolutions of toric rings are supported on what we call toric hcw-posets, and we give a new combinatorial proof of a fundamental result of Miller on the relationship between Artininizations and Alexander duality of monomial ideals.

Let $P$ be a finite partially ordered set with unique minimal element $\hat{0}$. We study the Betti poset of $P$, created by deleting elements $q\in P$ for which the open interval $(\hat{0}, q)$ is acyclic. Using basic simplicial topology, we demonstrate an isomorphism in homology between open intervals of the form $(\hat{0},p)\subset P$ and corresponding open intervals in the Betti poset. Our motivating application is that the Betti poset of a monomial ideal's lcm-lattice encodes both its $\mathbb{Z}^{d}$-graded Betti numbers and the structure of its minimal free resolution. In the case of rigid monomial ideals, we use the data of the Betti poset to explicitly construct the minimal free resolution. Subsequently, we introduce the notion of rigid deformation, a generalization of Bayer, Peeva, and Sturmfels' generic deformation.