Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of K\"onig type

TL;DR

This paper investigates the algebraic and combinatorial properties of certain clutters with perfect matchings of K"onig type, establishing conditions for shellability, Cohen-Macaulayness, and linear resolutions, especially in the absence of small cycles.

Contribution

It characterizes when the Stanley-Reisner complex of such clutters is pure shellable and extends Cohen-Macaulay criteria to broader classes of clutters without small cycles.

Findings

$ riangle_ ext{C}$ is pure shellable under certain conditions.

Complete admissible uniform clutters are Cohen-Macaulay with linear resolutions.

Edge ideals of these clutters are facet ideals of shellable complexes.

Abstract

Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of K\"onig type and let $\Delta_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $\Delta_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $\Delta_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $\Delta_\mathcal{C}$ is pure if and only if $\Delta_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $\Delta_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $\Delta_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the K\"onig property without 3-cycles or 4-cycles.