Search papers, labs, and topics across Lattice.
This paper introduces combinatorial invariants, $k$-divisibility and $d$-dominance, for monomial ideals and establishes their relationship with projective dimension. It proves that $k$-divisible ideals have projective dimension at most $k$, and $d$-dominant ideals have projective dimension at least $d$. The authors then construct an explicit minimal resolution for $k$-divisible, $(k-1)$-dominant monomial ideals using a Lyubeznik resolution, resolving a conjecture by Alesandroni and characterizing ideals whose minimal free resolution arises from a single consecutive cancellation in the Taylor resolution.
A new combinatorial framework for monomial ideals directly bounds their projective dimension, enabling explicit minimal resolutions and resolving long-standing conjectures.
We introduce invariants we call $k$-divisibility and $d$-dominance, which are combinatorial constraints on the minimal generators of monomial ideals. We then prove that $k$ (respectively, $d$) is an upper bound (respectively, lower bound) for the projective dimension of a $k$-divisible (respectively, $d$-dominant) monomial ideal. This leads us to an explicit minimal resolution of $k$-divisible, $d$-dominant ideals when $d=k-1$ via a Lyubeznik resolution. This framework allows us to prove a conjecture made by Alesandroni. Using these invariants, we also provide a characterization of monomial ideals whose minimal free resolution is attainable from the Taylor resolution by performing exactly one consecutive cancellation. We also prove that for all $q,k,d$ in the range $1\leq d<k \leq q-1$, there exist monomial ideals that are $k$-divisible and $d$-dominant with $q$ minimal generators.