The complex of $r$-co-connected subgraphs, chordality and Fr\"oberg's theorem

TL;DR

This paper introduces the $r$-co-connected complex of a graph, exploring its topological, combinatorial, and algebraic properties, extending Fr"oberg's theorem to $r$-connected ideals for various graph classes.

Contribution

It defines the $r$-co-connected complex, proves vertex decomposability under certain conditions, and extends Fr"oberg's theorem to $r$-connected ideals in multiple graph classes.

Findings

Vertex decomposability when $G[A]$ is connected and nonempty

Equivalence of properties for certain graph classes when $A= ext{empty}$ and $r extgreater=2$

Extension of Fr"oberg's theorem to $r$-connected ideals

Abstract

We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $\Sigma_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices. Interestingly, when $A$ is empty, this complex is precisely the Alexander dual of the $r$-independence complex of $G$. We focus on uncovering the relationship between the topological and combinatorial properties of the complex and the algebraic and homological properties of the Stanley-Reisner ideal of the dual complex. First, we prove that $\Sigma_r(A,G)$ is vertex decomposable whenever the induced subgraph $G[A]$ is connected and nonempty, yielding a versatile deletion-link calculus for higher independence via Alexander duality. Furthermore, when $A=\emptyset$ and $r \ge 2$, we establish that for several significant classes of graphs - including chordal, co-chordal, cographs, cycles, complements of cycles, and certain grid graphs - the properties of vertex decomposability, shellability, and Cohen-Macaulayness are equivalent and precisely characterized by the co-chordality of the associated clutter $\mathrm{Con}_r(G)$. These results extend Fr\"oberg's theorem to the setting of $r$-connected ideals for these graph classes and motivate a conjecture concerning the linear resolution property of $r$-connected ideals in general. We also construct examples separating shellability from vertex decomposability.