Monomial ideals whose all matching powers are Cohen-Macaulay
Antonino Ficarra, Somayeh Moradi
TL;DR
This work addresses the problem of classifying monomial ideals whose matching powers are Cohen–Macaulay, focusing on edge ideals and the generalized notion of matching powers $I(G)^{[k]}$. It develops a hereditary framework showing CM for $I(G)^{[k]}$ passes to connected components and to subgraphs $G\setminus N_G[x]$, and provides a Tutte‑style combinatorial criterion for the last non‑vanishing power $I(G)^{[\nu(G)]}$. The authors obtain complete CM characterizations for graphs with a perfect matching under a dimension constraint, and extend the analysis to chordal and Cameron–Walker graphs, yielding explicit classifications. They complement the theory with computational results for small graphs (up to seven vertices), identifying exceptional cases and conjecturing field‑independence of the phenomenon.
Abstract
In the present paper, we aim to classify monomial ideals whose all matching powers are Cohen-Macaulay. We especially focus our attention on edge ideals. The Cohen-Macaulayness of the last matching power of an edge ideal is characterized, providing an algebraic analogue of the famous Tutte theorem regarding graphs having a perfect matching. For chordal graphs, very well-covered graphs and Cameron-Walker graphs, we completely solve our problem.
