arXiv++ Combinatorics

Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the higher dimensional edge either has no effect on the projective dimension or the projective dimension only goes up by one with the extra higher dimensional edge.

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.

We introduce the package Posets for Macaulay2. This package provides a data structure and the necessary methods for working with partially ordered sets, also called posets. In particular, the package implements methods to enumerate many commonly studied classes of posets, perform operations on posets, and calculate various invariants associated to posets.