Minimal Resolutions of $k$-divisible and $(k-1)$-dominant Ideals

Abstract

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.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.