On the facet ideal of an expanded simplicial complex

Abstract

For a simplicial complex $Δ$, the affect of the expansion functor on combinatorial properties of $Δ$ and algebraic properties of its Stanley-Reisner ring has been studied in some previous papers. In this paper, we consider the facet ideal $I(Δ)$ and its Alexander dual which we denote by $J_Δ$ to see how the expansion functor alter the algebraic properties of these ideals. It is shown that for any expansion $Δ^α$ the ideals $J_Δ$ and $J_{Δ^α}$ have the same total Betti numbers and their Cohen-Macaulayness are equivalent, which implies that the regularities of the ideals $I(Δ)$ and $I(Δ^α)$ are equal. Moreover, the projective dimensions of $I(Δ)$ and $I(Δ^α)$ are compared. In the sequel for a graph $G$, some properties that are equivalent in $G$ and its expansions are presented and for a Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable) graph $G$, we give some conditions for adding or removing a vertex from $G$, so that the remaining graph is still Cohen-Macaulay (resp. sequentially Cohen-Macaulay and shellable).