Minimal cellular resolutions of complementary edge ideals

Abstract

We construct an explicit minimal cellular resolution for every squarefree monomial ideal generated in degree $n-2$ in the polynomial ring $S=K[x_1,\ldots,x_n]$. Such an ideal is the complementary edge ideal $I_c(G)$ of a simple graph $G$ on $[n]$, and the resolution is supported on a labeled regular CW complex $X_G$ of dimension at most $2$. This yields closed formulas for the differentials and for the multigraded Betti numbers of $I_c(G)$ in terms of graph invariants. We then determine the $a$-invariant of $S/I_c(G)$ in terms of the vertex connectivity of $G$. Finally, when $S/I_c(G)$ is Cohen--Macaulay, we describe the canonical module and its Hilbert series, and recover the known characterizations of the Gorenstein and level cases.