arXiv++ Combinatorics

We first construct the total simplicial complex (TSC) of a finite simple graph $G$ in order to generalize the total graph $T(G)$. We show that $Δ_T(G)$ is not Cohen-Macaulay (CM) in general. For a connected graph $G$, we prove that the TSC is Buchsbaum. We demonstrate that the vanishing of first homology group of TSC associated to a connected graph $G$ is both a necessary and sufficient condition for it to be CM. We find the primary decomposition of the TSC associated to a family of friendship graphs $F_{5n+1}$ and prove it to be CM.

A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $Δ_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$.